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-3727494-1338662698/watcher-3727494-1338662698 -o /tmp/evaluation-result-3727494-1338662698/solver-3727494-1338662698 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727494-1338662698.opb
running on 4 cores: 1,3,5,7
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.00 2.00 2.00 3/177 19017
/proc/meminfo: memFree=27618224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=10900 CPUtime=0 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) R 19015 19017 16576 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 332394309 11161600 318 33554432000 4194304 5964350 140737070805744 140737002530776 5136340 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 2725 318 169 433 0 415 0
[startup+0.06823 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19017
/proc/meminfo: memFree=27618224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=16616 CPUtime=0.06 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) R 19015 19017 16576 0 -1 4202496 2043 0 0 0 6 0 0 0 20 0 1 0 332394309 17014784 1995 33554432000 4194304 5964350 140737070805744 140737002530776 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 4154 1995 389 433 0 1844 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16616
[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19017
/proc/meminfo: memFree=27618224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=19404 CPUtime=0.09 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) R 19015 19017 16576 0 -1 4202496 2816 0 0 0 9 0 0 0 20 0 1 0 332394309 19869696 2768 33554432000 4194304 5964350 140737070805744 140737002530776 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 4851 2770 501 433 0 2541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19404
[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19017
/proc/meminfo: memFree=27618224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=37180 CPUtime=0.29 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) R 19015 19017 16576 0 -1 4202496 7913 0 0 0 29 0 0 0 20 0 1 0 332394309 38072320 7865 33554432000 4194304 5964350 140737070805744 140737002530776 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 9295 7866 1179 433 0 6985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37180
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19017
/proc/meminfo: memFree=27618224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=137616 CPUtime=0.69 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 28483 0 0 0 65 4 0 0 20 0 2 0 332394309 140918784 26516 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34404 26516 184 433 0 33968 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 137616
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27514040/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=1.49 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 28607 0 0 0 145 4 0 0 20 0 2 0 332394309 139526144 26322 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 26322 191 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=0.93 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 13284 0 0 0 91 2 0 0 20 0 2 0 332394364 139526144 26322 33554432000 4194304 5964350 140737070805744 140473489897400 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136256
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27513644/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=3.09 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 28611 0 0 0 305 4 0 0 20 0 2 0 332394309 139526144 26326 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 26326 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=2.52 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 13288 0 0 0 250 2 0 0 20 0 2 0 332394364 139526144 26326 33554432000 4194304 5964350 140737070805744 140473489897400 4403628 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136256
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27513168/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=6.29 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 28615 0 0 0 625 4 0 0 20 0 2 0 332394309 139526144 26330 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 26330 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=5.71 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 13292 0 0 0 569 2 0 0 20 0 2 0 332394364 139526144 26330 33554432000 4194304 5964350 140737070805744 140473489897400 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27512728/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=12.69 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 28762 0 0 0 1265 4 0 0 20 0 2 0 332394309 139526144 26477 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 26477 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=12.1 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 13439 0 0 0 1208 2 0 0 20 0 2 0 332394364 139526144 26477 33554432000 4194304 5964350 140737070805744 140473489897512 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136256
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27511224/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=25.48 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 29083 0 0 0 2544 4 0 0 20 0 2 0 332394309 139526144 26798 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 26798 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=24.86 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 13760 0 0 0 2484 2 0 0 20 0 2 0 332394364 139526144 26798 33554432000 4194304 5964350 140737070805744 140473489897512 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136256
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27506920/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=51.07 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 29844 0 0 0 5102 5 0 0 20 0 2 0 332394309 139526144 27559 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 27559 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=50.4 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 14521 0 0 0 5037 3 0 0 20 0 2 0 332394364 139526144 27559 33554432000 4194304 5964350 140737070805744 140473489897464 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 136256
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27499588/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=102.27 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 31297 0 0 0 10220 7 0 0 20 0 2 0 332394309 139526144 29012 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 29012 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=101.47 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 15974 0 0 0 10141 6 0 0 20 0 2 0 332394364 139526144 29012 33554432000 4194304 5964350 140737070805744 140473489897512 4403612 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19019
/proc/meminfo: memFree=27496640/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=136256 CPUtime=162.26 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 31713 0 0 0 16218 8 0 0 20 0 2 0 332394309 139526144 29428 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 34064 29428 193 433 0 33628 0
[pid=19017/tid=19019] ppid=19015 vsize=136256 CPUtime=161.31 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 16390 0 0 0 16123 8 0 0 20 0 2 0 332394364 139526144 29428 33554432000 4194304 5964350 140737070805744 140473489897464 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136256
[startup+222.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 19104
/proc/meminfo: memFree=28451004/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=201792 CPUtime=222.25 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 32318 0 0 0 22216 9 0 0 20 0 2 0 332394309 206635008 30235 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 50448 30235 193 433 0 50012 0
[pid=19017/tid=19019] ppid=19015 vsize=201792 CPUtime=221.15 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 16995 0 0 0 22105 10 0 0 20 0 2 0 332394364 206635008 30235 33554432000 4194304 5964350 140737070805744 140473489897512 4399774 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 201792
[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/179 19136
/proc/meminfo: memFree=28385408/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=201792 CPUtime=282.22 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 33050 0 0 0 28211 11 0 0 20 0 2 0 332394309 206635008 31553 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 50448 31553 193 433 0 50012 0
[pid=19017/tid=19019] ppid=19015 vsize=201792 CPUtime=280.97 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 17727 0 0 0 28084 13 0 0 20 0 2 0 332394364 206635008 31553 33554432000 4194304 5964350 140737070805744 140473489897272 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 201792
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/180 19140
/proc/meminfo: memFree=28313388/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=201792 CPUtime=342.21 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 33856 0 0 0 34209 12 0 0 20 0 2 0 332394309 206635008 32359 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 50448 32359 193 433 0 50012 0
[pid=19017/tid=19019] ppid=19015 vsize=201792 CPUtime=340.81 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 18533 0 0 0 34066 15 0 0 20 0 2 0 332394364 206635008 32359 33554432000 4194304 5964350 140737070805744 140473489897512 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 201792
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/179 19140
/proc/meminfo: memFree=28231808/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=202276 CPUtime=402.2 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 34860 0 0 0 40207 13 0 0 20 0 2 0 332394309 207130624 33363 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 50569 33363 193 433 0 50133 0
[pid=19017/tid=19019] ppid=19015 vsize=202276 CPUtime=400.65 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 19537 0 0 0 40048 17 0 0 20 0 2 0 332394364 207130624 33363 33554432000 4194304 5964350 140737070805744 140473489897272 4403293 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 202276
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 19140
/proc/meminfo: memFree=28195852/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=202276 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19170
/proc/meminfo: memFree=27470172/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1422.02 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48776 0 0 0 142171 31 0 0 20 0 2 0 332394309 275406848 47463 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47463 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1417.98 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33453 0 0 0 141748 50 0 0 20 0 2 0 332394364 275406848 47463 33554432000 4194304 5964350 140737070805744 140473489897464 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 268952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19170
/proc/meminfo: memFree=27457180/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1482 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48776 0 0 0 148169 31 0 0 20 0 2 0 332394309 275406848 47463 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47463 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1477.81 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33453 0 0 0 147730 51 0 0 20 0 2 0 332394364 275406848 47463 33554432000 4194304 5964350 140737070805744 140473489897464 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 268952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19174
/proc/meminfo: memFree=27457176/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1541.99 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48776 0 0 0 154168 31 0 0 20 0 2 0 332394309 275406848 47463 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47463 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1537.66 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33453 0 0 0 153714 52 0 0 20 0 2 0 332394364 275406848 47463 33554432000 4194304 5964350 140737070805744 140473489897464 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 268952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19174
/proc/meminfo: memFree=27456812/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1601.98 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48776 0 0 0 160167 31 0 0 20 0 2 0 332394309 275406848 47463 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47463 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1597.5 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33453 0 0 0 159697 53 0 0 20 0 2 0 332394364 275406848 47463 33554432000 4194304 5964350 140737070805744 140473489897464 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 268952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19174
/proc/meminfo: memFree=27456068/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1661.97 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48817 0 0 0 166166 31 0 0 20 0 2 0 332394309 275406848 47504 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47504 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1657.35 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33494 0 0 0 165681 54 0 0 20 0 2 0 332394364 275406848 47504 33554432000 4194304 5964350 140737070805744 140473489897272 4403637 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 268952
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19174
/proc/meminfo: memFree=27455204/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1721.96 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 48890 0 0 0 172165 31 0 0 20 0 2 0 332394309 275406848 47577 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 47577 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1717.19 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 33567 0 0 0 171664 55 0 0 20 0 2 0 332394364 275406848 47577 33554432000 4194304 5964350 140737070805744 140473489897272 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 268952
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27447764/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1781.95 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50087 0 0 0 178162 33 0 0 20 0 2 0 332394309 275406848 48774 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 48774 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1777.03 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 34764 0 0 0 177645 58 0 0 20 0 2 0 332394364 275406848 48774 33554432000 4194304 5964350 140737070805744 140473489897272 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 268952
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27446524/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1791.55 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50300 0 0 0 179122 33 0 0 20 0 2 0 332394309 275406848 48987 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 48987 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1786.62 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 34977 0 0 0 178604 58 0 0 20 0 2 0 332394364 275406848 48987 33554432000 4194304 5964350 140737070805744 140473489897464 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 268952
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27443300/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1794.75 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50378 0 0 0 179442 33 0 0 20 0 2 0 332394309 275406848 49065 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49065 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1789.81 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35055 0 0 0 178923 58 0 0 20 0 2 0 332394364 275406848 49065 33554432000 4194304 5964350 140737070805744 140473489897512 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 268952
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27441688/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1797.95 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50443 0 0 0 179761 34 0 0 20 0 2 0 332394309 275406848 49130 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49130 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1792.99 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35120 0 0 0 179240 59 0 0 20 0 2 0 332394364 275406848 49130 33554432000 4194304 5964350 140737070805744 140473489897464 4222474 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 268952
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27440820/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1798.75 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50460 0 0 0 179841 34 0 0 20 0 2 0 332394309 275406848 49147 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49147 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1793.79 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35137 0 0 0 179320 59 0 0 20 0 2 0 332394364 275406848 49147 33554432000 4194304 5964350 140737070805744 140473489897464 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 268952
[startup+1799.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27440572/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1799.16 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50468 0 0 0 179882 34 0 0 20 0 2 0 332394309 275406848 49155 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49155 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1794.2 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35145 0 0 0 179361 59 0 0 20 0 2 0 332394364 275406848 49155 33554432000 4194304 5964350 140737070805744 140473489897464 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 268952
[startup+1799.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27440572/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1799.55 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50476 0 0 0 179921 34 0 0 20 0 2 0 332394309 275406848 49163 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49163 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1794.59 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35153 0 0 0 179400 59 0 0 20 0 2 0 332394364 275406848 49163 33554432000 4194304 5964350 140737070805744 140473489897464 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 268952
[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19174
/proc/meminfo: memFree=27440572/32873648 swapFree=7388/7388
[pid=19017] ppid=19015 vsize=268952 CPUtime=1799.65 cores=1,3,5,7
/proc/19017/stat : 19017 (wbo1.72) S 19015 19017 16576 0 -1 4202496 50478 0 0 0 179931 34 0 0 20 0 2 0 332394309 275406848 49165 33554432000 4194304 5964350 140737070805744 140737070805264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19017/statm: 67238 49165 193 433 0 66802 0
[pid=19017/tid=19019] ppid=19015 vsize=268952 CPUtime=1794.69 cores=1,3,5,7
/proc/19017/task/19019/stat : 19019 (wbo1.72) R 19015 19017 16576 0 -1 4202560 35155 0 0 0 179410 59 0 0 20 0 2 0 332394364 275406848 49165 33554432000 4194304 5964350 140737070805744 140473489897464 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 268952
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19017 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=640173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=622905
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.65
#
# 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.65
CPU user time (s): 1799.31
CPU system time (s): 0.34
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 268952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.622905
maximum resident set size= 196680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50483
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= 60
involuntary context switches= 3670
runsolver used 3.18452 second user time and 9.1776 second system time
The end