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-3712803-1338211916/watcher-3712803-1338211916 -o /tmp/evaluation-result-3712803-1338211916/solver-3712803-1338211916 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712803-1338211916.wbo
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 1527
/proc/meminfo: memFree=27195840/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=3980 CPUtime=0 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) R 1525 1527 32463 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 287318913 4075520 413 33554432000 4194304 5964318 140736101443952 140733914813368 4395243 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 995 413 161 433 0 529 0
[startup+0.0295019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1527
/proc/meminfo: memFree=27195840/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=0.02 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 2154 0 0 0 2 0 0 0 20 0 2 0 287318913 87887872 1932 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 1932 192 433 0 21021 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 85828
[startup+0.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1527
/proc/meminfo: memFree=27195840/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=0.09 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 2371 0 0 0 9 0 0 0 20 0 2 0 287318913 87887872 2149 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 2149 194 433 0 21021 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85828
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1527
/proc/meminfo: memFree=27195840/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=0.29 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 2744 0 0 0 29 0 0 0 20 0 2 0 287318913 87887872 2522 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 2522 194 433 0 21021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85828
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1527
/proc/meminfo: memFree=27195840/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=0.68 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 3432 0 0 0 68 0 0 0 20 0 2 0 287318913 87887872 3210 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 3210 194 433 0 21021 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85828
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1529
/proc/meminfo: memFree=27180748/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=1.49 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 4702 0 0 0 148 1 0 0 20 0 2 0 287318913 87887872 4480 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 4480 194 433 0 21021 0
[pid=1527/tid=1529] ppid=1525 vsize=85828 CPUtime=1.47 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 3446 0 0 0 145 2 0 0 20 0 2 0 287318914 87887872 4480 33554432000 4194304 5964318 140736101443952 139746280806440 4381933 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) 85828
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1529
/proc/meminfo: memFree=27173804/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=3.09 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 7093 0 0 0 307 2 0 0 20 0 2 0 287318913 87887872 6871 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 6871 194 433 0 21021 0
[pid=1527/tid=1529] ppid=1525 vsize=85828 CPUtime=3.06 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 5837 0 0 0 304 2 0 0 20 0 2 0 287318914 87887872 6871 33554432000 4194304 5964318 140736101443952 139746280806200 4222416 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) 85828
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1529
/proc/meminfo: memFree=27159232/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=6.28 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 9359 0 0 0 626 2 0 0 20 0 2 0 287318913 87887872 9137 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 9137 194 433 0 21021 0
[pid=1527/tid=1529] ppid=1525 vsize=85828 CPUtime=6.25 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 8103 0 0 0 623 2 0 0 20 0 2 0 287318914 87887872 9137 33554432000 4194304 5964318 140736101443952 139746280806392 4381912 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) 85828
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1529
/proc/meminfo: memFree=27147540/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=85828 CPUtime=12.69 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 12763 0 0 0 1265 4 0 0 20 0 2 0 287318913 87887872 12541 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 21457 12541 194 433 0 21021 0
[pid=1527/tid=1529] ppid=1525 vsize=85828 CPUtime=12.64 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 11507 0 0 0 1261 3 0 0 20 0 2 0 287318914 87887872 12541 33554432000 4194304 5964318 140736101443952 139746280806392 4381897 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) 85828
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1529
/proc/meminfo: memFree=27116896/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=151364 CPUtime=25.48 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 19801 0 0 0 2542 6 0 0 20 0 2 0 287318913 154996736 19579 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 37841 19579 194 433 0 37405 0
[pid=1527/tid=1529] ppid=1525 vsize=151364 CPUtime=25.4 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 18545 0 0 0 2534 6 0 0 20 0 2 0 287318914 154996736 19579 33554432000 4194304 5964318 140736101443952 139746280806392 4399995 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) 151364
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1532
/proc/meminfo: memFree=27070412/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=151688 CPUtime=51.08 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 31438 0 0 0 5098 10 0 0 20 0 2 0 287318913 155328512 31216 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 37922 31216 194 433 0 37486 0
[pid=1527/tid=1529] ppid=1525 vsize=151688 CPUtime=50.94 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 30182 0 0 0 5084 10 0 0 20 0 2 0 287318914 155328512 31216 33554432000 4194304 5964318 140736101443952 139746280806392 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151688
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1532
/proc/meminfo: memFree=26968184/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=282920 CPUtime=102.26 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 56808 0 0 0 10209 17 0 0 20 0 2 0 287318913 289710080 56638 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 70730 56638 194 433 0 70294 0
[pid=1527/tid=1529] ppid=1525 vsize=282920 CPUtime=102 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 55552 0 0 0 10182 18 0 0 20 0 2 0 287318914 289710080 56638 33554432000 4194304 5964318 140736101443952 139746280806392 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 282920
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1532
/proc/meminfo: memFree=26810616/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=414232 CPUtime=162.23 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 95899 0 0 0 16195 28 0 0 20 0 2 0 287318913 424173568 95713 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 103558 95713 194 433 0 103122 0
[pid=1527/tid=1529] ppid=1525 vsize=414232 CPUtime=161.81 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 94643 0 0 0 16152 29 0 0 20 0 2 0 287318914 424173568 95713 33554432000 4194304 5964318 140736101443952 139746280806392 4400019 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 414232
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1532
/proc/meminfo: memFree=26797668/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=414232 CPUtime=222.21 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 95932 0 0 0 22193 28 0 0 20 0 2 0 287318913 424173568 95978 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 103558 95978 194 433 0 103122 0
[pid=1527/tid=1529] ppid=1525 vsize=414232 CPUtime=221.64 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 94676 0 0 0 22134 30 0 0 20 0 2 0 287318914 424173568 95978 33554432000 4194304 5964318 140736101443952 139746280806392 4399995 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 414232
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1532
/proc/meminfo: memFree=26788988/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=414232 CPUtime=282.2 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 95934 0 0 0 28192 28 0 0 20 0 2 0 287318913 424173568 95979 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 103558 95979 194 433 0 103122 0
[pid=1527/tid=1529] ppid=1525 vsize=414232 CPUtime=281.48 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 94678 0 0 0 28117 31 0 0 20 0 2 0 287318914 424173568 95979 33554432000 4194304 5964318 140736101443952 139746280806392 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 414232
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1533
/proc/meminfo: memFree=26745744/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=479768 CPUtime=342.16 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 105814 0 0 0 34184 32 0 0 20 0 2 0 287318913 491282432 105855 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 119942 105855 194 433 0 119506 0
[pid=1527/tid=1529] ppid=1525 vsize=479768 CPUtime=341.3 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 104558 0 0 0 34093 37 0 0 20 0 2 0 287318914 491282432 105855 33554432000 4194304 5964318 140736101443952 139746280806392 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 479768
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1533
/proc/meminfo: memFree=26745484/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=479768 CPUtime=402.13 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 105851 0 0 0 40181 32 0 0 20 0 2 0 287318913 491282432 105863 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 119942 105863 194 433 0 119506 0
[pid=1527/tid=1529] ppid=1525 vsize=479768 CPUtime=401.12 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 104595 0 0 0 40074 38 0 0 20 0 2 0 287318914 491282432 105863 33554432000 4194304 5964318 140736101443952 139746280806392 4381925 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 479768
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1533
/proc/meminfo: memFree=26683732/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=545304 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 1591
/proc/meminfo: memFree=26006160/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=807808 CPUtime=1421.92 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 185543 0 0 0 142133 59 0 0 20 0 2 0 287318913 827195392 186080 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 201952 186080 194 433 0 201516 0
[pid=1527/tid=1529] ppid=1525 vsize=807808 CPUtime=1418.44 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 184287 0 0 0 141764 80 0 0 20 0 2 0 287318914 827195392 186080 33554432000 4194304 5964318 140736101443952 139746280806424 4381713 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 807808
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 1591
/proc/meminfo: memFree=26004608/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=807808 CPUtime=1481.91 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 185543 0 0 0 148132 59 0 0 20 0 2 0 287318913 827195392 186080 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 201952 186080 194 433 0 201516 0
[pid=1527/tid=1529] ppid=1525 vsize=807808 CPUtime=1478.28 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 184287 0 0 0 147747 81 0 0 20 0 2 0 287318914 827195392 186080 33554432000 4194304 5964318 140736101443952 139746280806424 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 807808
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1591
/proc/meminfo: memFree=25970164/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=807808 CPUtime=1541.89 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 194279 0 0 0 154127 62 0 0 20 0 2 0 287318913 827195392 194816 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 201952 194816 194 433 0 201516 0
[pid=1527/tid=1529] ppid=1525 vsize=807808 CPUtime=1538.12 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 193023 0 0 0 153727 85 0 0 20 0 2 0 287318914 827195392 194816 33554432000 4194304 5964318 140736101443952 139746280806392 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 807808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1592
/proc/meminfo: memFree=25876076/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=939528 CPUtime=1601.89 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 218488 0 0 0 160117 72 0 0 20 0 2 0 287318913 962076672 219025 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 234882 219025 194 433 0 234446 0
[pid=1527/tid=1529] ppid=1525 vsize=939528 CPUtime=1597.97 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 217232 0 0 0 159701 96 0 0 20 0 2 0 287318914 962076672 219025 33554432000 4194304 5964318 140736101443952 139746280806392 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 939528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1592
/proc/meminfo: memFree=25628104/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1136136 CPUtime=1661.87 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 267509 0 0 0 166101 86 0 0 20 0 2 0 287318913 1163403264 268046 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 284034 268046 194 433 0 283598 0
[pid=1527/tid=1529] ppid=1525 vsize=1136136 CPUtime=1657.81 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 266253 0 0 0 165670 111 0 0 20 0 2 0 287318914 1163403264 268046 33554432000 4194304 5964318 140736101443952 139746280806392 4220675 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1136136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1595
/proc/meminfo: memFree=25538492/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1721.87 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289544 0 0 0 172095 92 0 0 20 0 2 0 287318913 1231065088 290081 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290081 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1717.66 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288288 0 0 0 171649 117 0 0 20 0 2 0 287318914 1231065088 290081 33554432000 4194304 5964318 140736101443952 139746280806392 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1202212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538496/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1781.86 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289552 0 0 0 178094 92 0 0 20 0 2 0 287318913 1231065088 290089 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290089 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1777.51 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288296 0 0 0 177632 119 0 0 20 0 2 0 287318914 1231065088 290089 33554432000 4194304 5964318 140736101443952 139746280806392 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1202212
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538480/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1791.47 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289552 0 0 0 179055 92 0 0 20 0 2 0 287318913 1231065088 290089 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290089 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1787.09 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288296 0 0 0 178590 119 0 0 20 0 2 0 287318914 1231065088 290089 33554432000 4194304 5964318 140736101443952 139746280806392 4381912 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 1202212
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538728/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1794.66 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289552 0 0 0 179374 92 0 0 20 0 2 0 287318913 1231065088 290089 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290089 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1790.28 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288296 0 0 0 178909 119 0 0 20 0 2 0 287318914 1231065088 290089 33554432000 4194304 5964318 140736101443952 139746280806392 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 1202212
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538728/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1797.86 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289552 0 0 0 179694 92 0 0 20 0 2 0 287318913 1231065088 290089 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290089 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1793.47 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288296 0 0 0 179228 119 0 0 20 0 2 0 287318914 1231065088 290089 33554432000 4194304 5964318 140736101443952 139746280806392 4399900 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1202212
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538852/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1798.66 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289552 0 0 0 179774 92 0 0 20 0 2 0 287318913 1231065088 290089 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290089 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1794.26 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288296 0 0 0 179307 119 0 0 20 0 2 0 287318914 1231065088 290089 33554432000 4194304 5964318 140736101443952 139746280806392 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 1202212
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538852/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1799.06 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289555 0 0 0 179814 92 0 0 20 0 2 0 287318913 1231065088 290092 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290092 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1794.67 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288299 0 0 0 179348 119 0 0 20 0 2 0 287318914 1231065088 290092 33554432000 4194304 5964318 140736101443952 139746280806392 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 1202212
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538852/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1799.46 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289555 0 0 0 179854 92 0 0 20 0 2 0 287318913 1231065088 290092 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290092 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1795.06 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288299 0 0 0 179387 119 0 0 20 0 2 0 287318914 1231065088 290092 33554432000 4194304 5964318 140736101443952 139746280806392 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 1202212
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1619
/proc/meminfo: memFree=25538852/32873648 swapFree=6336/6336
[pid=1527] ppid=1525 vsize=1202212 CPUtime=1799.56 cores=1,3,5,7
/proc/1527/stat : 1527 (wbo1.71) S 1525 1527 32463 0 -1 4202496 289555 0 0 0 179864 92 0 0 20 0 2 0 287318913 1231065088 290092 33554432000 4194304 5964318 140736101443952 140736101443472 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1527/statm: 300553 290092 194 433 0 300117 0
[pid=1527/tid=1529] ppid=1525 vsize=1202212 CPUtime=1795.16 cores=1,3,5,7
/proc/1527/task/1529/stat : 1529 (wbo1.71) R 1525 1527 32463 0 -1 4202560 288299 0 0 0 179397 119 0 0 20 0 2 0 287318914 1231065088 290092 33554432000 4194304 5964318 140736101443952 139746280806392 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 1202212
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1527 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=988272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=229813
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.03
CPU time (s): 1799.56
CPU user time (s): 1798.64
CPU system time (s): 0.92
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1202212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.22981
maximum resident set size= 1160380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289558
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= 291
involuntary context switches= 4348
runsolver used 8.71667 second user time and 15.4666 second system time
The end