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-3727950-1338666056/watcher-3727950-1338666056 -o /tmp/evaluation-result-3727950-1338666056/solver-3727950-1338666056 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727950-1338666056.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: 1.92 1.98 1.99 2/173 23902
/proc/meminfo: memFree=28453376/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=3684 CPUtime=0 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) R 23900 23902 23631 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 332731049 3772416 396 33554432000 4194304 5964350 140734045235472 140736259045128 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 921 396 175 433 0 459 0
[startup+0.083619 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 23902
/proc/meminfo: memFree=28453376/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=0.08 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 1526 0 0 0 8 0 0 0 20 0 2 0 332731049 86614016 1452 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 1452 194 433 0 20710 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84584
[startup+0.100169 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 23902
/proc/meminfo: memFree=28453376/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=0.09 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 1528 0 0 0 9 0 0 0 20 0 2 0 332731049 86614016 1454 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 1454 194 433 0 20710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84584
[startup+0.300112 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 23902
/proc/meminfo: memFree=28453376/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=0.29 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 1884 0 0 0 29 0 0 0 20 0 2 0 332731049 86614016 1810 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 1810 194 433 0 20710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84584
[startup+0.700108 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 23902
/proc/meminfo: memFree=28453376/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=0.69 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 2211 0 0 0 69 0 0 0 20 0 2 0 332731049 86614016 2137 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 2137 194 433 0 20710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84584
[startup+1.50014 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23955
/proc/meminfo: memFree=28431472/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=1.48 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 3313 0 0 0 148 0 0 0 20 0 2 0 332731049 86614016 3239 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 3239 194 433 0 20710 0
[pid=23902/tid=23904] ppid=23900 vsize=84584 CPUtime=1.46 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 2354 0 0 0 146 0 0 0 20 0 2 0 332731050 86614016 3239 33554432000 4194304 5964350 140734045235472 140155788646408 4389313 0 0 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84584
[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23955
/proc/meminfo: memFree=28424388/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84728 CPUtime=3.08 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 4343 0 0 0 308 0 0 0 20 0 2 0 332731049 86761472 4269 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21182 4269 194 433 0 20746 0
[pid=23902/tid=23904] ppid=23900 vsize=84728 CPUtime=3.06 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 3384 0 0 0 306 0 0 0 20 0 2 0 332731050 86761472 4269 33554432000 4194304 5964350 140734045235472 140155788645912 4389080 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84728
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 23955
/proc/meminfo: memFree=28404680/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84800 CPUtime=6.28 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 6674 0 0 0 626 2 0 0 20 0 2 0 332731049 86835200 6600 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21200 6600 194 433 0 20764 0
[pid=23902/tid=23904] ppid=23900 vsize=84800 CPUtime=6.25 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 5715 0 0 0 623 2 0 0 20 0 2 0 332731050 86835200 6600 33554432000 4194304 5964350 140734045235472 140155788646392 4399926 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84800
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 23955
/proc/meminfo: memFree=28375280/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=84584 CPUtime=12.67 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 7226 0 0 0 1265 2 0 0 20 0 2 0 332731049 86614016 7094 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21146 7094 194 433 0 20710 0
[pid=23902/tid=23904] ppid=23900 vsize=84584 CPUtime=12.62 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 6267 0 0 0 1260 2 0 0 20 0 2 0 332731050 86614016 7094 33554432000 4194304 5964350 140734045235472 140155788647352 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 84584
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 23955
/proc/meminfo: memFree=28334680/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=85068 CPUtime=25.47 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 11695 0 0 0 2543 4 0 0 20 0 2 0 332731049 87109632 11575 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 21267 11575 194 433 0 20831 0
[pid=23902/tid=23904] ppid=23900 vsize=85068 CPUtime=25.38 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 10736 0 0 0 2534 4 0 0 20 0 2 0 332731050 87109632 11575 33554432000 4194304 5964350 140734045235472 140155788646200 4388915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85068
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 23955
/proc/meminfo: memFree=28251684/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=150844 CPUtime=51.06 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 18827 0 0 0 5100 6 0 0 20 0 2 0 332731049 154464256 19405 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 37711 19405 194 433 0 37275 0
[pid=23902/tid=23904] ppid=23900 vsize=150844 CPUtime=50.92 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 17868 0 0 0 5086 6 0 0 20 0 2 0 332731050 154464256 19405 33554432000 4194304 5964350 140734045235472 140155788646200 4399728 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150844
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 23955
/proc/meminfo: memFree=28166604/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=150844 CPUtime=102.26 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 28274 0 0 0 10215 11 0 0 20 0 2 0 332731049 154464256 28852 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 37711 28852 194 433 0 37275 0
[pid=23902/tid=23904] ppid=23900 vsize=150844 CPUtime=101.99 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 27315 0 0 0 10187 12 0 0 20 0 2 0 332731050 154464256 28852 33554432000 4194304 5964350 140734045235472 140155788646392 4400023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150844
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23956
/proc/meminfo: memFree=28065712/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=216740 CPUtime=162.22 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 38480 0 0 0 16206 16 0 0 20 0 2 0 332731049 221941760 39159 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 54185 39159 194 433 0 53749 0
[pid=23902/tid=23904] ppid=23900 vsize=216740 CPUtime=161.81 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 37521 0 0 0 16163 18 0 0 20 0 2 0 332731050 221941760 39159 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 216740
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23956
/proc/meminfo: memFree=27881816/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=216740 CPUtime=222.19 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 45760 0 0 0 22198 21 0 0 20 0 2 0 332731049 221941760 46511 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 54185 46511 194 433 0 53749 0
[pid=23902/tid=23904] ppid=23900 vsize=216740 CPUtime=221.62 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 44801 0 0 0 22138 24 0 0 20 0 2 0 332731050 221941760 46511 33554432000 4194304 5964350 140734045235472 140155788646392 4400436 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 216740
[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 23956
/proc/meminfo: memFree=27767220/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=282924 CPUtime=282.18 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 53085 0 0 0 28192 26 0 0 20 0 2 0 332731049 289714176 54340 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 70731 54340 194 433 0 70295 0
[pid=23902/tid=23904] ppid=23900 vsize=282924 CPUtime=281.47 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 52126 0 0 0 28117 30 0 0 20 0 2 0 332731050 289714176 54340 33554432000 4194304 5964350 140734045235472 140155788646392 4400009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 282924
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 23956
/proc/meminfo: memFree=27670900/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=283788 CPUtime=342.17 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 60194 0 0 0 34184 33 0 0 20 0 2 0 332731049 290598912 61449 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 70947 61449 194 433 0 70511 0
[pid=23902/tid=23904] ppid=23900 vsize=283788 CPUtime=341.31 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 59235 0 0 0 34093 38 0 0 20 0 2 0 332731050 290598912 61449 33554432000 4194304 5964350 140734045235472 140155788646200 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 283788
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23956
/proc/meminfo: memFree=27487672/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=350620 CPUtime=402.16 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 67010 0 0 0 40179 37 0 0 20 0 2 0 332731049 359034880 68265 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 87655 68265 194 433 0 87219 0
[pid=23902/tid=23904] ppid=23900 vsize=350620 CPUtime=401.15 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 66051 0 0 0 40072 43 0 0 20 0 2 0 332731050 359034880 68265 33554432000 4194304 5964350 140734045235472 140155788646392 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 350620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23957
/proc/meminfo: memFree=27402532/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=351104 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23989
/proc/meminfo: memFree=25810748/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=623260 CPUtime=1421.91 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 137369 0 0 0 142083 108 0 0 20 0 2 0 332731049 638218240 139030 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 155815 139030 194 433 0 155379 0
[pid=23902/tid=23904] ppid=23900 vsize=623260 CPUtime=1418.4 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 136410 0 0 0 141711 129 0 0 20 0 2 0 332731050 638218240 139030 33554432000 4194304 5964350 140734045235472 140155788646200 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 623260
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23989
/proc/meminfo: memFree=25797880/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=623260 CPUtime=1481.86 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 140563 0 0 0 148075 111 0 0 20 0 2 0 332731049 638218240 142457 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 155815 142457 194 433 0 155379 0
[pid=23902/tid=23904] ppid=23900 vsize=623260 CPUtime=1478.2 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 139604 0 0 0 147687 133 0 0 20 0 2 0 332731050 638218240 142457 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 623260
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23989
/proc/meminfo: memFree=25785016/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=623260 CPUtime=1541.81 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 143639 0 0 0 154067 114 0 0 20 0 2 0 332731049 638218240 145637 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 155815 145637 194 433 0 155379 0
[pid=23902/tid=23904] ppid=23900 vsize=623260 CPUtime=1538.01 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 142680 0 0 0 153664 137 0 0 20 0 2 0 332731050 638218240 145637 33554432000 4194304 5964350 140734045235472 140155788646200 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 623260
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23989
/proc/meminfo: memFree=25582400/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=688796 CPUtime=1601.79 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 150832 0 0 0 160057 122 0 0 20 0 2 0 332731049 705327104 152830 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172199 152830 194 433 0 171763 0
[pid=23902/tid=23904] ppid=23900 vsize=688796 CPUtime=1597.85 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 149873 0 0 0 159639 146 0 0 20 0 2 0 332731050 705327104 152830 33554432000 4194304 5964350 140734045235472 140155788645912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 688796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23990
/proc/meminfo: memFree=25556856/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689120 CPUtime=1661.78 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 155047 0 0 0 166053 125 0 0 20 0 2 0 332731049 705658880 157045 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172280 157045 194 433 0 171844 0
[pid=23902/tid=23904] ppid=23900 vsize=689120 CPUtime=1657.7 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 154088 0 0 0 165620 150 0 0 20 0 2 0 332731050 705658880 157045 33554432000 4194304 5964350 140734045235472 140155788646392 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 689120
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23990
/proc/meminfo: memFree=25393176/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1721.77 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 161438 0 0 0 172046 131 0 0 20 0 2 0 332731049 705990656 163436 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 163436 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1717.54 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 160479 0 0 0 171597 157 0 0 20 0 2 0 332731050 705990656 163436 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 689444
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 23993
/proc/meminfo: memFree=25257024/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1781.77 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 163288 0 0 0 178043 134 0 0 20 0 2 0 332731049 705990656 165286 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 165286 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1777.38 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 162329 0 0 0 177578 160 0 0 20 0 2 0 332731050 705990656 165286 33554432000 4194304 5964350 140734045235472 140155788646392 4390080 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 689444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25249816/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1791.38 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 164988 0 0 0 179003 135 0 0 20 0 2 0 332731049 705990656 166986 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 166986 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1786.96 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 164029 0 0 0 178534 162 0 0 20 0 2 0 332731050 705990656 166986 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 689444
[startup+1795.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25247336/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1794.57 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 165574 0 0 0 179322 135 0 0 20 0 2 0 332731049 705990656 167572 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 167572 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1790.15 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 164615 0 0 0 178853 162 0 0 20 0 2 0 332731050 705990656 167572 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 689444
[startup+1798.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25245972/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1797.77 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 166153 0 0 0 179641 136 0 0 20 0 2 0 332731049 705990656 168151 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 168151 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1793.34 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 165194 0 0 0 179171 163 0 0 20 0 2 0 332731050 705990656 168151 33554432000 4194304 5964350 140734045235472 140155788646200 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 689444
[startup+1799.1 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25245352/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1798.56 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 166295 0 0 0 179720 136 0 0 20 0 2 0 332731049 705990656 168293 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 168293 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1794.14 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 165336 0 0 0 179251 163 0 0 20 0 2 0 332731050 705990656 168293 33554432000 4194304 5964350 140734045235472 140155788646200 4399987 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 689444
[startup+1799.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25244484/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1798.97 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 166377 0 0 0 179761 136 0 0 20 0 2 0 332731049 705990656 168375 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 168375 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1794.54 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 165418 0 0 0 179291 163 0 0 20 0 2 0 332731050 705990656 168375 33554432000 4194304 5964350 140734045235472 140155788646392 4399944 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 689444
[startup+1799.9 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25244484/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=689444 CPUtime=1799.36 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) S 23900 23902 23631 0 -1 4202496 166454 0 0 0 179800 136 0 0 20 0 2 0 332731049 705990656 168452 33554432000 4194304 5964350 140734045235472 140734045234992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 172361 168452 194 433 0 171925 0
[pid=23902/tid=23904] ppid=23900 vsize=689444 CPUtime=1794.93 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202560 165495 0 0 0 179330 163 0 0 20 0 2 0 332731050 705990656 168452 33554432000 4194304 5964350 140734045235472 140155788646392 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 689444
[startup+1800 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 23993
/proc/meminfo: memFree=25244484/32873852 swapFree=7624/7624
[pid=23902] ppid=23900 vsize=0 CPUtime=1799.46 cores=1,3,5,7
/proc/23902/stat : 23902 (wbo1.72) Z 23900 23902 23631 0 -1 4203532 166474 0 0 0 179810 136 0 0 20 0 2 0 332731049 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23902/statm: 0 0 0 0 0 0 0
[pid=23902/tid=23904] ppid=23900 vsize=0 CPUtime=1795.03 cores=1,3,5,7
/proc/23902/task/23904/stat : 23904 (wbo1.72) R 23900 23902 23631 0 -1 4202564 165515 0 0 0 179340 163 0 0 20 0 2 0 332731050 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23902 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=417359
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=649749
# CPU time returned by wait4() is 1795.07
# while last known CPU time is 1799.46
#
# 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.46
CPU user time (s): 1798.1
CPU system time (s): 1.36
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 689444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 1.64975
maximum resident set size= 673888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166474
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= 261
involuntary context switches= 1960
runsolver used 3.54546 second user time and 7.80081 second system time
The end