runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4083672-1465326596/watcher-4083672-1465326596 -o /tmp/evaluation-result-4083672-1465326596/solver-4083672-1465326596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465326371-24673 --watchdog 1960 open-wbo-lsu HOME/instance-4083672-1465326596.opb 

pid=25071
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 1.68 1.82 3/176 25074
/proc/meminfo: memFree=29176956/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=2548 CPUtime=0 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 114591431 2609152 258 33554432000 4194304 6058637 140735717915472 140735162425480 4235333 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 637 258 188 456 0 120 0

[startup+0.10017 s]
/proc/loadavg: 2.03 1.68 1.82 3/176 25074
/proc/meminfo: memFree=29176956/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=21464 CPUtime=0.09 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 3985 0 0 0 9 0 0 0 20 0 1 0 114591431 21979136 4207 33554432000 4194304 6058637 140735717915472 140735162425480 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 5366 4207 176 456 0 4902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21464

[startup+0.200375 s]
/proc/loadavg: 2.03 1.68 1.82 3/176 25074
/proc/meminfo: memFree=29176956/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=21596 CPUtime=0.19 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 4075 0 0 0 19 0 0 0 20 0 1 0 114591431 22114304 4297 33554432000 4194304 6058637 140735717915472 140735162425480 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 5399 4297 176 456 0 4935 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21596

[startup+0.300321 s]
/proc/loadavg: 2.03 1.68 1.82 3/176 25074
/proc/meminfo: memFree=29176956/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=21728 CPUtime=0.29 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 4164 0 0 0 29 0 0 0 20 0 1 0 114591431 22249472 4385 33554432000 4194304 6058637 140735717915472 140735162425480 4277663 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 5432 4385 176 456 0 4968 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21728

[startup+0.700282 s]
/proc/loadavg: 2.03 1.68 1.82 3/176 25074
/proc/meminfo: memFree=29176956/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=24712 CPUtime=0.69 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 4450 0 0 0 69 0 0 0 20 0 1 0 114591431 25305088 4667 33554432000 4194304 6058637 140735717915472 140735717914088 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 6178 4667 177 456 0 5714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24712

[startup+1.50025 s]
/proc/loadavg: 2.03 1.68 1.82 3/177 25075
/proc/meminfo: memFree=29159144/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=24976 CPUtime=1.49 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 5627 0 0 0 148 1 0 0 20 0 1 0 114591431 25575424 4732 33554432000 4194304 6058637 140735717915472 140735717914504 4277687 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 6244 4732 178 456 0 5780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24976

[startup+3.1003 s]
/proc/loadavg: 2.03 1.68 1.82 3/177 25075
/proc/meminfo: memFree=29157160/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=29952 CPUtime=3.09 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 7018 0 0 0 308 1 0 0 20 0 1 0 114591431 30670848 5926 33554432000 4194304 6058637 140735717915472 140735717914072 4254941 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 7488 5926 179 456 0 7024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29952

[startup+6.3003 s]
/proc/loadavg: 2.03 1.69 1.82 3/178 25078
/proc/meminfo: memFree=29143044/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=44444 CPUtime=6.29 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 8200 0 0 0 628 1 0 0 20 0 1 0 114591431 45510656 8486 33554432000 4194304 6058637 140735717915472 140735717914536 4277676 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 11111 8486 179 456 0 10647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44444

[startup+12.7002 s]
/proc/loadavg: 2.03 1.69 1.82 3/178 25078
/proc/meminfo: memFree=29126824/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=51628 CPUtime=12.68 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 9114 0 0 0 1267 1 0 0 20 0 1 0 114591431 52867072 11935 33554432000 4194304 6058637 140735717915472 140735717914808 4277697 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 12907 11935 179 456 0 12443 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51628

[startup+25.5004 s]
/proc/loadavg: 2.10 1.72 1.83 4/178 25079
/proc/meminfo: memFree=29139352/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=44444 CPUtime=25.48 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 10294 0 0 0 2546 2 0 0 20 0 1 0 114591431 45510656 8487 33554432000 4194304 6058637 140735717915472 140735717914200 4278177 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 11111 8487 179 456 0 10647 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44444

[startup+51.1004 s]
/proc/loadavg: 2.14 1.76 1.84 3/178 25079
/proc/meminfo: memFree=29099764/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=74904 CPUtime=51.08 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 10901 0 0 0 5105 3 0 0 20 0 1 0 114591431 76701696 17269 33554432000 4194304 6058637 140735717915472 140735717914808 4254924 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 18726 17269 179 456 0 18262 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74904

[startup+102.3 s]
/proc/loadavg: 2.26 1.86 1.87 3/177 25080
/proc/meminfo: memFree=29048096/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=124224 CPUtime=102.28 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 12368 0 0 0 10223 5 0 0 20 0 1 0 114591431 127205376 27878 33554432000 4194304 6058637 140735717915472 140735717914248 4278162 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 31056 27878 179 456 0 30592 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 124224

[startup+162.3 s]
/proc/loadavg: 2.26 1.93 1.89 4/177 25081
/proc/meminfo: memFree=29098888/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=124224 CPUtime=162.26 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 14404 0 0 0 16217 9 0 0 20 0 1 0 114591431 127205376 27366 33554432000 4194304 6058637 140735717915472 140735717914248 4277378 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 31056 27366 179 456 0 30592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 124224

[startup+222.307 s]
/proc/loadavg: 2.27 1.98 1.91 3/177 25082
/proc/meminfo: memFree=29090124/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=124224 CPUtime=222.27 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 17254 0 0 0 22212 15 0 0 20 0 1 0 114591431 127205376 26854 33554432000 4194304 6058637 140735717915472 140735717914248 4255000 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 31056 26854 179 456 0 30592 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 124224

[startup+282.3 s]
/proc/loadavg: 2.19 2.01 1.92 4/177 25083
/proc/meminfo: memFree=29060812/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=155044 CPUtime=282.25 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 19750 0 0 0 28206 19 0 0 20 0 1 0 114591431 158765056 32041 33554432000 4194304 6058637 140735717915472 140735717914504 4277779 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 38761 32041 179 456 0 38297 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 155044

[startup+342.3 s]
/proc/loadavg: 2.24 2.05 1.94 4/178 25086
/proc/meminfo: memFree=29035892/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=155044 CPUtime=342.24 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 21672 0 0 0 34201 23 0 0 20 0 1 0 114591431 158765056 36137 33554432000 4194304 6058637 140735717915472 140735717914504 4278096 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 38761 36137 179 456 0 38297 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 155044

[startup+402.3 s]
/proc/loadavg: 2.20 2.07 1.95 3/177 25087
/proc/meminfo: memFree=29025048/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=155044 CPUtime=402.22 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 23891 0 0 0 40195 27 0 0 20 0 1 0 114591431 158765056 37161 33554432000 4194304 6058637 140735717915472 140735717914504 4246183 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 38761 37161 179 456 0 38297 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 155044

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 1.95 3/177 25088
/proc/meminfo: memFree=29028372/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=155044 CPUtime=462.22 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 26411 0 0 0 46190 32 0 0 20 0 1 0 114591431 158765056 33577 33554432000 4194304 6058637 140735717915472 140735717914504 4277672 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 38761 33577 179 456 0 38297 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 155044

[startup+522.3 s]
/proc/loadavg: 2.23 2.10 1.97 4/177 25089
/proc/meminfo: memFree=29082156/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=124224 CPUtime=522.21 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 28345 0 0 0 52185 36 0 0 20 0 1 0 114591431 127205376 25830 33554432000 4194304 6058637 140735717915472 140735717914536 4277589 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 31056 25830 179 456 0 30592 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 124224

[startup+582.3 s]
/proc/loadavg: 2.25 2.13 1.98 3/177 25090
/proc/meminfo: memFree=29050084/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=155044 CPUtime=582.2 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 30217 0 0 0 58181 39 0 0 20 0 1 0 114591431 158765056 37161 33554432000 4194304 6058637 140735717915472 140735717914504 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 38761 37161 179 456 0 38297 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 155044


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.16 2.15 2.03 3/177 25101
/proc/meminfo: memFree=29058328/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=93960 CPUtime=942.15 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 39583 0 0 0 94153 62 0 0 20 0 1 0 114591431 96215040 17917 33554432000 4194304 6058637 140735717915472 140735717914536 4246099 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 23490 17917 179 456 0 23026 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 93960

[startup+1002.3 s]
/proc/loadavg: 2.10 2.14 2.03 3/177 25102
/proc/meminfo: memFree=29069716/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=143280 CPUtime=1002.13 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 42028 0 0 0 100148 65 0 0 20 0 1 0 114591431 146718720 28284 33554432000 4194304 6058637 140735717915472 140735717914248 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 35820 28284 179 456 0 35356 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 143280

[startup+1062.3 s]
/proc/loadavg: 2.21 2.16 2.04 4/177 25103
/proc/meminfo: memFree=29060064/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=143280 CPUtime=1062.12 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 43320 0 0 0 106143 69 0 0 20 0 1 0 114591431 146718720 28306 33554432000 4194304 6058637 140735717915472 140735717914248 4277357 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 35820 28306 179 456 0 35356 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 143280

[startup+1122.3 s]
/proc/loadavg: 2.18 2.16 2.04 3/177 25104
/proc/meminfo: memFree=29050264/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=143280 CPUtime=1122.1 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 45053 0 0 0 112137 73 0 0 20 0 1 0 114591431 146718720 28306 33554432000 4194304 6058637 140735717915472 140735717914248 4278162 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 35820 28306 179 456 0 35356 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 143280

[startup+1182.3 s]
/proc/loadavg: 2.18 2.15 2.05 3/177 25105
/proc/meminfo: memFree=29043964/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=143280 CPUtime=1182.09 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 46853 0 0 0 118133 76 0 0 20 0 1 0 114591431 146718720 28306 33554432000 4194304 6058637 140735717915472 140735717914248 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 35820 28306 179 456 0 35356 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 143280

[startup+1242.3 s]
/proc/loadavg: 2.28 2.19 2.07 4/178 25110
/proc/meminfo: memFree=28931288/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=305576 CPUtime=1242.08 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 48296 0 0 0 124129 79 0 0 20 0 1 0 114591431 312909824 53762 33554432000 4194304 6058637 140735717915472 140735717914504 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 76394 53762 179 456 0 75930 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 305576

[startup+1302.3 s]
/proc/loadavg: 2.21 2.18 2.07 3/177 25111
/proc/meminfo: memFree=28931220/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1302.07 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 49581 0 0 0 130125 82 0 0 20 0 1 0 114591431 229568512 51714 33554432000 4194304 6058637 140735717915472 140735717914504 4278162 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 51714 179 456 0 55583 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 224188

[startup+1362.3 s]
/proc/loadavg: 2.19 2.17 2.08 3/177 25112
/proc/meminfo: memFree=28990884/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1362.06 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 51377 0 0 0 136121 85 0 0 20 0 1 0 114591431 229568512 47106 33554432000 4194304 6058637 140735717915472 140735717914504 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 47106 179 456 0 55583 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 224188

[startup+1422.3 s]
/proc/loadavg: 2.31 2.21 2.09 4/177 25113
/proc/meminfo: memFree=28988580/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1422.06 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 53177 0 0 0 142118 88 0 0 20 0 1 0 114591431 229568512 45570 33554432000 4194304 6058637 140735717915472 140735717914504 4265266 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 45570 179 456 0 55583 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 224188

[startup+1482.3 s]
/proc/loadavg: 2.37 2.25 2.11 3/177 25114
/proc/meminfo: memFree=28998432/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1482.04 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 54981 0 0 0 148113 91 0 0 20 0 1 0 114591431 229568512 41474 33554432000 4194304 6058637 140735717915472 140735717914504 4255178 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 41474 179 456 0 55583 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 224188

[startup+1542.31 s]
/proc/loadavg: 2.33 2.25 2.11 3/176 25115
/proc/meminfo: memFree=29012084/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=174100 CPUtime=1542.05 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 56485 0 0 0 154110 95 0 0 20 0 1 0 114591431 178278400 35541 33554432000 4194304 6058637 140735717915472 140735717914504 4255174 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 43525 35541 179 456 0 43061 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 174100

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.12 4/177 25163
/proc/meminfo: memFree=29015032/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=305576 CPUtime=1602.03 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 57348 0 0 0 160106 97 0 0 20 0 1 0 114591431 312909824 59394 33554432000 4194304 6058637 140735717915472 140735717914504 4271114 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 76394 59394 179 456 0 75930 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 305576

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.12 3/177 25164
/proc/meminfo: memFree=29046372/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1662.01 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 58631 0 0 0 166101 100 0 0 20 0 1 0 114591431 229568512 51202 33554432000 4194304 6058637 140735717915472 140735717914504 4277708 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 51202 179 456 0 55583 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 224188

[startup+1722.3 s]
/proc/loadavg: 2.19 2.23 2.12 3/177 25165
/proc/meminfo: memFree=22733228/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1722.01 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 60430 0 0 0 172097 104 0 0 20 0 1 0 114591431 229568512 48130 33554432000 4194304 6058637 140735717915472 140735717914504 4277378 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 48130 179 456 0 55583 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 224188

[startup+1782.3 s]
/proc/loadavg: 2.18 2.21 2.12 4/176 25212
/proc/meminfo: memFree=29725212/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1782 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 62231 0 0 0 178093 107 0 0 20 0 1 0 114591431 229568512 43010 33554432000 4194304 6058637 140735717915472 140735717914504 4278287 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 43010 179 456 0 55583 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 224188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.20 2.12 3/176 25212
/proc/meminfo: memFree=29691736/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1800 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 62245 0 0 0 179892 108 0 0 20 0 1 0 114591431 229568512 50178 33554432000 4194304 6058637 140735717915472 140735717914504 4277378 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 50178 179 456 0 55583 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 224188

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.14 2.20 2.12 3/176 25212
/proc/meminfo: memFree=29691736/32872528 swapFree=18240/1696364
[pid=25074] ppid=25071 vsize=224188 CPUtime=1800 cores=0,2,4,6
/proc/25074/stat : 25074 (open-wbo-lsu) R 25071 25074 24657 0 -1 4202496 62245 0 0 0 179892 108 0 0 20 0 1 0 114591431 229568512 50178 33554432000 4194304 6058637 140735717915472 140735717914504 4277378 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/25074/statm: 56047 50178 179 456 0 55583 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 224188

Child status: 40
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1798.92
CPU system time (s): 1.08783
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 305576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.08783
maximum resident set size= 247816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99824 second user time and 6.46202 second system time

The end