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-3727571-1338661315/watcher-3727571-1338661315 -o /tmp/evaluation-result-3727571-1338661315/solver-3727571-1338661315 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727571-1338661315.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.00 2.00 2.00 3/177 19186
/proc/meminfo: memFree=30965824/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83692 CPUtime=0 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 2 0 332257445 85700608 706 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20923 706 188 433 0 20487 0
[pid=19186/tid=19187] ppid=19184 vsize=83692 CPUtime=0 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 332257445 85700608 707 33554432000 4194304 5964350 140735413763232 140735713806440 5143324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0991571 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19186
/proc/meminfo: memFree=30965824/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83692 CPUtime=0.09 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 943 0 0 0 9 0 0 0 20 0 2 0 332257445 85700608 892 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20923 892 190 433 0 20487 0
[pid=19186/tid=19187] ppid=19184 vsize=83692 CPUtime=0.08 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 228 0 0 0 8 0 0 0 20 0 2 0 332257445 85700608 892 33554432000 4194304 5964350 140735413763232 140735713806440 4381584 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83692
[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19186
/proc/meminfo: memFree=30965824/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83692 CPUtime=0.09 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 945 0 0 0 9 0 0 0 20 0 2 0 332257445 85700608 894 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20923 894 190 433 0 20487 0
[pid=19186/tid=19187] ppid=19184 vsize=83692 CPUtime=0.08 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 230 0 0 0 8 0 0 0 20 0 2 0 332257445 85700608 894 33554432000 4194304 5964350 140735413763232 140735713806440 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83692
[startup+0.300147 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19186
/proc/meminfo: memFree=30965824/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83692 CPUtime=0.29 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 1279 0 0 0 29 0 0 0 20 0 2 0 332257445 85700608 1228 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20923 1228 190 433 0 20487 0
[pid=19186/tid=19187] ppid=19184 vsize=83692 CPUtime=0.28 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 564 0 0 0 28 0 0 0 20 0 2 0 332257445 85700608 1228 33554432000 4194304 5964350 140735413763232 140124810639352 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83692
[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19186
/proc/meminfo: memFree=30965824/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83836 CPUtime=0.69 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 1830 0 0 0 69 0 0 0 20 0 2 0 332257445 85848064 1779 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20959 1779 190 433 0 20523 0
[pid=19186/tid=19187] ppid=19184 vsize=83836 CPUtime=0.68 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 1115 0 0 0 68 0 0 0 20 0 2 0 332257445 85848064 1779 33554432000 4194304 5964350 140735413763232 140124810639352 4400732 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83836
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30957876/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83836 CPUtime=1.48 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 2198 0 0 0 148 0 0 0 20 0 2 0 332257445 85848064 2147 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20959 2147 190 433 0 20523 0
[pid=19186/tid=19187] ppid=19184 vsize=83836 CPUtime=1.48 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 1483 0 0 0 148 0 0 0 20 0 2 0 332257445 85848064 2147 33554432000 4194304 5964350 140735413763232 140124810639160 4399976 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) 83836
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30952544/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=83908 CPUtime=3.09 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 3522 0 0 0 308 1 0 0 20 0 2 0 332257445 85921792 3471 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 20977 3471 190 433 0 20541 0
[pid=19186/tid=19187] ppid=19184 vsize=83908 CPUtime=3.08 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 2807 0 0 0 307 1 0 0 20 0 2 0 332257445 85921792 3471 33554432000 4194304 5964350 140735413763232 140124810639160 4379329 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) 83908
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30936284/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=84016 CPUtime=6.29 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 4844 0 0 0 628 1 0 0 20 0 2 0 332257445 86032384 4793 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 21004 4793 190 433 0 20568 0
[pid=19186/tid=19187] ppid=19184 vsize=84016 CPUtime=6.29 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 4129 0 0 0 627 2 0 0 20 0 2 0 332257445 86032384 4793 33554432000 4194304 5964350 140735413763232 140124810639160 4400439 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84016
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30925392/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=84320 CPUtime=12.68 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 7111 0 0 0 1267 1 0 0 20 0 2 0 332257445 86343680 7060 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 21080 7060 190 433 0 20644 0
[pid=19186/tid=19187] ppid=19184 vsize=84320 CPUtime=12.68 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 6396 0 0 0 1266 2 0 0 20 0 2 0 332257445 86343680 7060 33554432000 4194304 5964350 140735413763232 140124810638872 4399840 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) 84320
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30898152/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=85064 CPUtime=25.48 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 10420 0 0 0 2545 3 0 0 20 0 2 0 332257445 87105536 10369 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 21266 10369 190 433 0 20830 0
[pid=19186/tid=19187] ppid=19184 vsize=85064 CPUtime=25.48 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 9705 0 0 0 2544 4 0 0 20 0 2 0 332257445 87105536 10369 33554432000 4194304 5964350 140735413763232 140124810638872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85064
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30857028/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=86648 CPUtime=51.08 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 15103 0 0 0 5102 6 0 0 20 0 2 0 332257445 88727552 15052 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 21662 15052 190 433 0 21226 0
[pid=19186/tid=19187] ppid=19184 vsize=86648 CPUtime=51.08 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 14388 0 0 0 5101 7 0 0 20 0 2 0 332257445 88727552 15052 33554432000 4194304 5964350 140735413763232 140124810639352 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86648
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30781968/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=155476 CPUtime=102.25 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 23864 0 0 0 10214 11 0 0 20 0 2 0 332257445 159207424 23841 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 38869 23841 190 433 0 38433 0
[pid=19186/tid=19187] ppid=19184 vsize=155476 CPUtime=102.26 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 23149 0 0 0 10213 13 0 0 20 0 2 0 332257445 159207424 23841 33554432000 4194304 5964350 140735413763232 140124810639400 4399840 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) 155476
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30694968/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=157640 CPUtime=162.24 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 32605 0 0 0 16206 18 0 0 20 0 2 0 332257445 161423360 33381 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 39410 33381 190 433 0 38974 0
[pid=19186/tid=19187] ppid=19184 vsize=157640 CPUtime=162.25 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 31890 0 0 0 16204 21 0 0 20 0 2 0 332257445 161423360 33381 33554432000 4194304 5964350 140735413763232 140124810638872 4379168 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 157640
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19188
/proc/meminfo: memFree=30641040/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=226108 CPUtime=222.23 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 40638 0 0 0 22198 25 0 0 20 0 2 0 332257445 231534592 41409 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 56527 41409 190 433 0 56091 0
[pid=19186/tid=19187] ppid=19184 vsize=226108 CPUtime=222.25 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 39923 0 0 0 22196 29 0 0 20 0 2 0 332257445 231534592 41409 33554432000 4194304 5964350 140735413763232 140124810638872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 226108
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19190
/proc/meminfo: memFree=30588136/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=228316 CPUtime=282.2 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 46286 0 0 0 28188 32 0 0 20 0 2 0 332257445 233795584 47036 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 57079 47036 190 433 0 56643 0
[pid=19186/tid=19187] ppid=19184 vsize=228316 CPUtime=282.22 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 45571 0 0 0 28186 36 0 0 20 0 2 0 332257445 233795584 47036 33554432000 4194304 5964350 140735413763232 140124810639352 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 228316
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 19190
/proc/meminfo: memFree=30521032/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=296200 CPUtime=342.17 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 54794 0 0 0 34178 39 0 0 20 0 2 0 332257445 303308800 55539 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 74050 55539 190 433 0 73614 0
[pid=19186/tid=19187] ppid=19184 vsize=296200 CPUtime=342.21 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 54079 0 0 0 34176 45 0 0 20 0 2 0 332257445 303308800 55539 33554432000 4194304 5964350 140735413763232 140124810638872 4399898 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 296200
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19190
/proc/meminfo: memFree=30484900/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=296900 CPUtime=402.15 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 59969 0 0 0 40171 44 0 0 20 0 2 0 332257445 304025600 60714 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 126771 0 0 0 130076 135 0 0 20 0 2 0 332257445 590467072 128185 33554432000 4194304 5964350 140735413763232 140124810639352 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 576628
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19199
/proc/meminfo: memFree=29844604/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=577192 CPUtime=1361.93 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 131227 0 0 0 136072 121 0 0 20 0 2 0 332257445 591044608 131922 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 144298 131922 190 433 0 143862 0
[pid=19186/tid=19187] ppid=19184 vsize=577192 CPUtime=1362.11 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 130512 0 0 0 136069 142 0 0 20 0 2 0 332257445 591044608 131922 33554432000 4194304 5964350 140735413763232 140124810639352 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 577192
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19199
/proc/meminfo: memFree=29777956/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=578420 CPUtime=1421.93 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 136700 0 0 0 142066 127 0 0 20 0 2 0 332257445 592302080 137395 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 144605 137395 190 433 0 144169 0
[pid=19186/tid=19187] ppid=19184 vsize=578420 CPUtime=1422.11 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 135985 0 0 0 142062 149 0 0 20 0 2 0 332257445 592302080 137395 33554432000 4194304 5964350 140735413763232 140124810639400 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 578420
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19201
/proc/meminfo: memFree=29703552/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=644440 CPUtime=1481.92 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 143048 0 0 0 148057 135 0 0 20 0 2 0 332257445 659906560 143743 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 161110 143743 190 433 0 160674 0
[pid=19186/tid=19187] ppid=19184 vsize=644440 CPUtime=1482.1 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 142333 0 0 0 148053 157 0 0 20 0 2 0 332257445 659906560 143743 33554432000 4194304 5964350 140735413763232 140124810638872 4379312 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 644440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19201
/proc/meminfo: memFree=29737284/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=646488 CPUtime=1541.9 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 148843 0 0 0 154050 140 0 0 20 0 2 0 332257445 662003712 149538 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 161622 149538 190 433 0 161186 0
[pid=19186/tid=19187] ppid=19184 vsize=646488 CPUtime=1542.1 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 148129 0 0 0 154046 164 0 0 20 0 2 0 332257445 662003712 149539 33554432000 4194304 5964350 140735413763232 140124810638872 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 646488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19201
/proc/meminfo: memFree=29729024/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=646996 CPUtime=1601.89 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 150856 0 0 0 160046 143 0 0 20 0 2 0 332257445 662523904 151544 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 161749 151544 190 433 0 161313 0
[pid=19186/tid=19187] ppid=19184 vsize=646996 CPUtime=1602.1 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 150141 0 0 0 160042 168 0 0 20 0 2 0 332257445 662523904 151544 33554432000 4194304 5964350 140735413763232 140124810639400 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 646996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19201
/proc/meminfo: memFree=29699248/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=714444 CPUtime=1661.85 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 158471 0 0 0 166034 151 0 0 20 0 2 0 332257445 731590656 159134 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 178611 159134 190 433 0 178175 0
[pid=19186/tid=19187] ppid=19184 vsize=714444 CPUtime=1662.07 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 157756 0 0 0 166030 177 0 0 20 0 2 0 332257445 731590656 159134 33554432000 4194304 5964350 140735413763232 140124810638872 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 714444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19204
/proc/meminfo: memFree=29694236/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=715444 CPUtime=1721.84 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 159578 0 0 0 172031 153 0 0 20 0 2 0 332257445 732614656 160239 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 178861 160239 190 433 0 178425 0
[pid=19186/tid=19187] ppid=19184 vsize=715444 CPUtime=1722.06 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 158863 0 0 0 172026 180 0 0 20 0 2 0 332257445 732614656 160239 33554432000 4194304 5964350 140735413763232 140124810639400 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 715444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30297056/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=715444 CPUtime=1781.83 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 164769 0 0 0 178024 159 0 0 20 0 2 0 332257445 732614656 165428 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 178861 165428 190 433 0 178425 0
[pid=19186/tid=19187] ppid=19184 vsize=715444 CPUtime=1782.06 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 164054 0 0 0 178019 187 0 0 20 0 2 0 332257445 732614656 165428 33554432000 4194304 5964350 140735413763232 140124810639352 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 715444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30281580/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=716720 CPUtime=1791.43 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 165873 0 0 0 178983 160 0 0 20 0 2 0 332257445 733921280 166524 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179180 166524 190 433 0 178744 0
[pid=19186/tid=19187] ppid=19184 vsize=716720 CPUtime=1791.66 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165158 0 0 0 178978 188 0 0 20 0 2 0 332257445 733921280 166524 33554432000 4194304 5964350 140735413763232 140124810638872 4391325 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 716720
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30271220/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=716720 CPUtime=1794.62 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166219 0 0 0 179302 160 0 0 20 0 2 0 332257445 733921280 166864 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179180 166864 190 433 0 178744 0
[pid=19186/tid=19187] ppid=19184 vsize=716720 CPUtime=1794.85 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165504 0 0 0 179297 188 0 0 20 0 2 0 332257445 733921280 166864 33554432000 4194304 5964350 140735413763232 140124810638872 4400355 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 716720
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30264656/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=717528 CPUtime=1797.82 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166546 0 0 0 179621 161 0 0 20 0 2 0 332257445 734748672 167191 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179382 167191 190 433 0 178946 0
[pid=19186/tid=19187] ppid=19184 vsize=717528 CPUtime=1798.05 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165831 0 0 0 179616 189 0 0 20 0 2 0 332257445 734748672 167191 33554432000 4194304 5964350 140735413763232 140124810638872 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 717528
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30261432/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=717528 CPUtime=1798.62 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166625 0 0 0 179701 161 0 0 20 0 2 0 332257445 734748672 167270 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179382 167270 190 433 0 178946 0
[pid=19186/tid=19187] ppid=19184 vsize=717528 CPUtime=1798.85 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165910 0 0 0 179696 189 0 0 20 0 2 0 332257445 734748672 167270 33554432000 4194304 5964350 140735413763232 140124810638872 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 717528
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30257836/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=717528 CPUtime=1799.02 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166668 0 0 0 179741 161 0 0 20 0 2 0 332257445 734748672 167313 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179382 167313 190 433 0 178946 0
[pid=19186/tid=19187] ppid=19184 vsize=717528 CPUtime=1799.25 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165953 0 0 0 179736 189 0 0 20 0 2 0 332257445 734748672 167313 33554432000 4194304 5964350 140735413763232 140124810639352 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 717528
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30257836/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=717528 CPUtime=1799.41 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166705 0 0 0 179780 161 0 0 20 0 2 0 332257445 734748672 167350 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179382 167350 190 433 0 178946 0
[pid=19186/tid=19187] ppid=19184 vsize=717528 CPUtime=1799.65 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 165990 0 0 0 179776 189 0 0 20 0 2 0 332257445 734748672 167350 33554432000 4194304 5964350 140735413763232 140124810639352 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 717528
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19244
/proc/meminfo: memFree=30257836/32873648 swapFree=7628/7628
[pid=19186] ppid=19184 vsize=717528 CPUtime=1799.51 cores=0,2,4,6
/proc/19186/stat : 19186 (wbo1.72) S 19184 19186 16985 0 -1 4202496 166715 0 0 0 179790 161 0 0 20 0 2 0 332257445 734748672 167360 33554432000 4194304 5964350 140735413763232 140735413762752 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19186/statm: 179382 167360 190 433 0 178946 0
[pid=19186/tid=19187] ppid=19184 vsize=717528 CPUtime=1799.75 cores=0,2,4,6
/proc/19186/task/19187/stat : 19187 (wbo1.72) R 19184 19186 16985 0 -1 4202560 166000 0 0 0 179786 189 0 0 20 0 2 0 332257445 734748672 167360 33554432000 4194304 5964350 140735413763232 140124810639352 4400462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 717528
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.77
CPU user time (s): 1797.87
CPU system time (s): 1.90671
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 717528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 1.90671
maximum resident set size= 669452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166718
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= 269
involuntary context switches= 1905
runsolver used 5.37218 second user time and 15.9196 second system time
The end