runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3727338-1338656929/watcher-3727338-1338656929 -o /tmp/evaluation-result-3727338-1338656929/solver-3727338-1338656929 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727338-1338656929.opb
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.02 2.01 2.00 3/177 22418
/proc/meminfo: memFree=27592560/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=3380 CPUtime=0 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) R 22416 22418 20159 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 331759946 3461120 289 33554432000 4194304 5964350 140734180995072 140735708049064 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 845 290 168 433 0 386 0
[startup+0.0502741 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22418
/proc/meminfo: memFree=27592560/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=0.04 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 1206 0 0 0 4 0 0 0 20 0 2 0 331759946 86028288 1135 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 1135 187 433 0 20567 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84012
[startup+0.100158 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22418
/proc/meminfo: memFree=27592560/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=0.09 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 1240 0 0 0 9 0 0 0 20 0 2 0 331759946 86028288 1168 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 1168 187 433 0 20567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84012
[startup+0.300121 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22418
/proc/meminfo: memFree=27592560/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=0.29 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 1588 0 0 0 29 0 0 0 20 0 2 0 331759946 86028288 1456 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 1456 190 433 0 20567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84012
[startup+0.700115 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22418
/proc/meminfo: memFree=27592560/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=0.68 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 2089 0 0 0 68 0 0 0 20 0 2 0 331759946 86028288 1836 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 1836 192 433 0 20567 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84012
[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22420
/proc/meminfo: memFree=27584096/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=1.48 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 2963 0 0 0 148 0 0 0 20 0 2 0 331759946 86028288 2710 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 2710 192 433 0 20567 0
[pid=22418/tid=22420] ppid=22416 vsize=84012 CPUtime=1.47 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 2132 0 0 0 147 0 0 0 20 0 2 0 331759947 86028288 2710 33554432000 4194304 5964350 140734180995072 140059771648040 4403225 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84012
[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22498
/proc/meminfo: memFree=28147384/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84156 CPUtime=3.09 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 3837 0 0 0 308 1 0 0 20 0 2 0 331759946 86175744 3584 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21039 3584 192 433 0 20603 0
[pid=22418/tid=22420] ppid=22416 vsize=84156 CPUtime=3.06 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 3006 0 0 0 306 0 0 0 20 0 2 0 331759947 86175744 3584 33554432000 4194304 5964350 140734180995072 140059771647800 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84156
[startup+6.30021 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22498
/proc/meminfo: memFree=28128280/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84228 CPUtime=6.28 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 6441 0 0 0 627 1 0 0 20 0 2 0 331759946 86249472 6188 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21057 6188 192 433 0 20621 0
[pid=22418/tid=22420] ppid=22416 vsize=84228 CPUtime=6.26 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 5610 0 0 0 625 1 0 0 20 0 2 0 331759947 86249472 6188 33554432000 4194304 5964350 140734180995072 140059771647800 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84228
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22498
/proc/meminfo: memFree=28107312/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=12.68 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 7305 0 0 0 1267 1 0 0 20 0 2 0 331759946 86028288 7000 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 7000 192 433 0 20567 0
[pid=22418/tid=22420] ppid=22416 vsize=84012 CPUtime=12.64 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 6474 0 0 0 1263 1 0 0 20 0 2 0 331759947 86028288 7000 33554432000 4194304 5964350 140734180995072 140059771648952 4389067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84012
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22498
/proc/meminfo: memFree=28090272/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84012 CPUtime=25.47 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 8205 0 0 0 2545 2 0 0 20 0 2 0 331759946 86028288 7893 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21003 7893 192 433 0 20567 0
[pid=22418/tid=22420] ppid=22416 vsize=84012 CPUtime=25.4 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 7374 0 0 0 2539 1 0 0 20 0 2 0 331759947 86028288 7893 33554432000 4194304 5964350 140734180995072 140059771648360 4392802 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 84012
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22498
/proc/meminfo: memFree=28064132/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=84496 CPUtime=51.06 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 14536 0 0 0 5102 4 0 0 20 0 2 0 331759946 86523904 14586 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 21124 14586 192 433 0 20688 0
[pid=22418/tid=22420] ppid=22416 vsize=84496 CPUtime=50.92 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 13705 0 0 0 5089 3 0 0 20 0 2 0 331759947 86523904 14586 33554432000 4194304 5964350 140734180995072 140059771647800 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 84496
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22501
/proc/meminfo: memFree=28008584/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=149548 CPUtime=102.25 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 20307 0 0 0 10219 6 0 0 20 0 2 0 331759946 153137152 20231 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 37387 20231 192 433 0 36951 0
[pid=22418/tid=22420] ppid=22416 vsize=149548 CPUtime=102 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 19476 0 0 0 10193 7 0 0 20 0 2 0 331759947 153137152 20231 33554432000 4194304 5964350 140734180995072 140059771647800 4400009 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149548
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22501
/proc/meminfo: memFree=27932348/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=215084 CPUtime=162.22 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 36030 0 0 0 16211 11 0 0 20 0 2 0 331759946 220246016 36107 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 53771 36107 192 433 0 53335 0
[pid=22418/tid=22420] ppid=22416 vsize=215084 CPUtime=161.81 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 35199 0 0 0 16169 12 0 0 20 0 2 0 331759947 220246016 36107 33554432000 4194304 5964350 140734180995072 140059771647800 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215084
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22501
/proc/meminfo: memFree=27865892/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=216168 CPUtime=222.2 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 44428 0 0 0 22207 13 0 0 20 0 2 0 331759946 221356032 44997 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 54042 44997 192 433 0 53606 0
[pid=22418/tid=22420] ppid=22416 vsize=216168 CPUtime=221.65 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 43597 0 0 0 22150 15 0 0 20 0 2 0 331759947 221356032 44997 33554432000 4194304 5964350 140734180995072 140059771647800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 216168
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22502
/proc/meminfo: memFree=27827072/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=216168 CPUtime=282.19 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 49556 0 0 0 28203 16 0 0 20 0 2 0 331759946 221356032 50122 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 54042 50122 192 433 0 53606 0
[pid=22418/tid=22420] ppid=22416 vsize=216168 CPUtime=281.5 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 48725 0 0 0 28131 19 0 0 20 0 2 0 331759947 221356032 50122 33554432000 4194304 5964350 140734180995072 140059771648040 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 216168
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22502
/proc/meminfo: memFree=27765504/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=281704 CPUtime=342.15 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 59182 0 0 0 34194 21 0 0 20 0 2 0 331759946 288464896 60062 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 70426 60062 192 433 0 69990 0
[pid=22418/tid=22420] ppid=22416 vsize=281704 CPUtime=341.31 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 58351 0 0 0 34106 25 0 0 20 0 2 0 331759947 288464896 60062 33554432000 4194304 5964350 140734180995072 140059771647992 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 281704
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 22502
/proc/meminfo: memFree=27732752/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=281704 CPUtime=402.13 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 62534 0 0 0 40191 22 0 0 20 0 2 0 331759946 288464896 63552 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 70426 63552 192 433 0 69990 0
[pid=22418/tid=22420] ppid=22416 vsize=281704 CPUtime=401.15 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 61703 0 0 0 40087 28 0 0 20 0 2 0 331759947 288464896 63552 33554432000 4194304 5964350 140734180995072 140059771647992 4400023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 281704
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22502
/proc/meminfo: memFree=27704288/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=280620 CPUtime=462.12 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22511
/proc/meminfo: memFree=27099604/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=741804 CPUtime=1421.84 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 161990 0 0 0 142118 66 0 0 20 0 2 0 331759946 759607296 164959 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 185451 164959 192 433 0 185015 0
[pid=22418/tid=22420] ppid=22416 vsize=741804 CPUtime=1418.42 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 161159 0 0 0 141755 87 0 0 20 0 2 0 331759947 759607296 164959 33554432000 4194304 5964350 140734180995072 140059771648040 4400355 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 741804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22511
/proc/meminfo: memFree=27061132/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=741804 CPUtime=1481.78 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 168939 0 0 0 148109 69 0 0 20 0 2 0 331759946 759607296 172196 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 185451 172196 192 433 0 185015 0
[pid=22418/tid=22420] ppid=22416 vsize=741804 CPUtime=1478.22 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 168108 0 0 0 147731 91 0 0 20 0 2 0 331759947 759607296 172196 33554432000 4194304 5964350 140734180995072 140059771647800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 741804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22512
/proc/meminfo: memFree=27005984/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1541.73 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 180383 0 0 0 154098 75 0 0 20 0 2 0 331759946 826716160 184648 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 184648 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1538.02 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 179552 0 0 0 153704 98 0 0 20 0 2 0 331759947 826716160 184648 33554432000 4194304 5964350 140734180995072 140059771648040 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 807340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22512
/proc/meminfo: memFree=26984160/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1601.72 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 181012 0 0 0 160097 75 0 0 20 0 2 0 331759946 826716160 185274 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 185274 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1597.87 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 180181 0 0 0 159688 99 0 0 20 0 2 0 331759947 826716160 185274 33554432000 4194304 5964350 140734180995072 140059771647864 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 807340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22512
/proc/meminfo: memFree=26921912/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1661.71 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 189321 0 0 0 166092 79 0 0 20 0 2 0 331759946 826716160 193578 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 193578 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1657.72 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 188490 0 0 0 165668 104 0 0 20 0 2 0 331759947 826716160 193578 33554432000 4194304 5964350 140734180995072 140059771647800 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 807340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22512
/proc/meminfo: memFree=26894756/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1721.71 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 190385 0 0 0 172091 80 0 0 20 0 2 0 331759946 826716160 194639 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 194639 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1717.56 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 189554 0 0 0 171651 105 0 0 20 0 2 0 331759947 826716160 194639 33554432000 4194304 5964350 140734180995072 140059771647864 4399906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 807340
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22512
/proc/meminfo: memFree=26865368/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1781.69 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192631 0 0 0 178089 80 0 0 20 0 2 0 331759946 826716160 196882 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 196882 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1777.41 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 191800 0 0 0 177634 107 0 0 20 0 2 0 331759947 826716160 196882 33554432000 4194304 5964350 140734180995072 140059771647800 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 807340
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22512
/proc/meminfo: memFree=26860656/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1791.3 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192854 0 0 0 179050 80 0 0 20 0 2 0 331759946 826716160 197105 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197105 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1786.99 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192023 0 0 0 178592 107 0 0 20 0 2 0 331759947 826716160 197105 33554432000 4194304 5964350 140734180995072 140059771647800 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 807340
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22512
/proc/meminfo: memFree=26860160/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1794.5 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192855 0 0 0 179370 80 0 0 20 0 2 0 331759946 826716160 197106 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197106 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1790.18 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192024 0 0 0 178911 107 0 0 20 0 2 0 331759947 826716160 197106 33554432000 4194304 5964350 140734180995072 140059771647800 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 807340
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22512
/proc/meminfo: memFree=26859920/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1797.69 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192919 0 0 0 179689 80 0 0 20 0 2 0 331759946 826716160 197170 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197170 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1793.37 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192088 0 0 0 179230 107 0 0 20 0 2 0 331759947 826716160 197170 33554432000 4194304 5964350 140734180995072 140059771647800 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 807340
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22512
/proc/meminfo: memFree=26859796/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1798.49 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192976 0 0 0 179769 80 0 0 20 0 2 0 331759946 826716160 197227 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197227 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1794.17 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192145 0 0 0 179310 107 0 0 20 0 2 0 331759947 826716160 197227 33554432000 4194304 5964350 140734180995072 140059771647800 4399906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 807340
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22512
/proc/meminfo: memFree=26859424/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1798.9 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192977 0 0 0 179810 80 0 0 20 0 2 0 331759946 826716160 197228 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197228 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1794.57 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192146 0 0 0 179350 107 0 0 20 0 2 0 331759947 826716160 197228 33554432000 4194304 5964350 140734180995072 140059771647800 4400352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 807340
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22512
/proc/meminfo: memFree=26859424/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1799.29 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192977 0 0 0 179849 80 0 0 20 0 2 0 331759946 826716160 197228 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197228 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1794.97 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192146 0 0 0 179390 107 0 0 20 0 2 0 331759947 826716160 197228 33554432000 4194304 5964350 140734180995072 140059771647800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 807340
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22512
/proc/meminfo: memFree=26859424/32873844 swapFree=7128/7128
[pid=22418] ppid=22416 vsize=807340 CPUtime=1799.39 cores=0,2,4,6
/proc/22418/stat : 22418 (wbo1.72) S 22416 22418 20159 0 -1 4202496 192977 0 0 0 179859 80 0 0 20 0 2 0 331759946 826716160 197228 33554432000 4194304 5964350 140734180995072 140734180994592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22418/statm: 201835 197228 192 433 0 201399 0
[pid=22418/tid=22420] ppid=22416 vsize=807340 CPUtime=1795.07 cores=0,2,4,6
/proc/22418/task/22420/stat : 22420 (wbo1.72) R 22416 22418 20159 0 -1 4202560 192146 0 0 0 179400 107 0 0 20 0 2 0 331759947 826716160 197228 33554432000 4194304 5964350 140734180995072 140059771647800 4400704 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 807340
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22418 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=13268
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=91834
# CPU time returned by wait4() is 1795.11
# while last known CPU time is 1799.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.39
CPU user time (s): 1798.59
CPU system time (s): 0.8
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 807340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 1.09183
maximum resident set size= 788920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192979
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= 327
involuntary context switches= 2029
runsolver used 2.76658 second user time and 7.05993 second system time
The end