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-3704923-1338115743/watcher-3704923-1338115743 -o /tmp/evaluation-result-3704923-1338115743/solver-3704923-1338115743 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704923-1338115743.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 18004
/proc/meminfo: memFree=28886004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=5884 CPUtime=0 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) R 18002 18004 15878 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 277698824 6025216 555 33554432000 4194304 5963574 140734325386944 140736029551112 4395185 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 1471 556 165 432 0 634 0
[startup+0.00978796 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18004
/proc/meminfo: memFree=28886004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=7264 CPUtime=0 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) R 18002 18004 15878 0 -1 4202496 847 0 0 0 0 0 0 0 20 0 1 0 277698824 7438336 799 33554432000 4194304 5963574 140734325386944 140736029551112 4395185 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 1816 800 174 432 0 979 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7264
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18004
/proc/meminfo: memFree=28886004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=13728 CPUtime=0.09 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) R 18002 18004 15878 0 -1 4202496 2684 0 0 0 9 0 0 0 20 0 1 0 277698824 14057472 2636 33554432000 4194304 5963574 140734325386944 140736029551112 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 3432 2637 479 432 0 2595 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13728
[startup+0.300195 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18004
/proc/meminfo: memFree=28886004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=0.28 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 7161 0 0 0 28 0 0 0 20 0 2 0 277698824 98435072 6100 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 6100 187 432 0 23597 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 96128
[startup+0.700145 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18004
/proc/meminfo: memFree=28886004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=0.69 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 7366 0 0 0 68 1 0 0 20 0 2 0 277698824 98435072 6547 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 6547 187 432 0 23597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96128
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28859928/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=1.49 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 7778 0 0 0 148 1 0 0 20 0 2 0 277698824 98435072 6959 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 6959 187 432 0 23597 0
[pid=18004/tid=18006] ppid=18002 vsize=96128 CPUtime=1.35 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 4223 0 0 0 135 0 0 0 20 0 2 0 277698837 98435072 6959 33554432000 4194304 5963574 140734325386944 139695956195256 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96128
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28857176/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=3.08 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 8867 0 0 0 307 1 0 0 20 0 2 0 277698824 98435072 8048 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 8048 187 432 0 23597 0
[pid=18004/tid=18006] ppid=18002 vsize=96128 CPUtime=2.95 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 5312 0 0 0 294 1 0 0 20 0 2 0 277698837 98435072 8048 33554432000 4194304 5963574 140734325386944 139695956195128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 96128
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28849116/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=6.28 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 10725 0 0 0 626 2 0 0 20 0 2 0 277698824 98435072 9906 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 9906 187 432 0 23597 0
[pid=18004/tid=18006] ppid=18002 vsize=96128 CPUtime=6.15 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 7170 0 0 0 613 2 0 0 20 0 2 0 277698837 98435072 9906 33554432000 4194304 5963574 140734325386944 139695956195320 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 96128
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28838956/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=12.67 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 13238 0 0 0 1265 2 0 0 20 0 2 0 277698824 98435072 12418 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 12418 187 432 0 23597 0
[pid=18004/tid=18006] ppid=18002 vsize=96128 CPUtime=12.54 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 9683 0 0 0 1251 3 0 0 20 0 2 0 277698837 98435072 12418 33554432000 4194304 5963574 140734325386944 139695956195320 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 96128
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28813528/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=96128 CPUtime=25.46 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 18785 0 0 0 2542 4 0 0 20 0 2 0 277698824 98435072 17958 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 24032 17958 187 432 0 23597 0
[pid=18004/tid=18006] ppid=18002 vsize=96128 CPUtime=25.33 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 15230 0 0 0 2528 5 0 0 20 0 2 0 277698837 98435072 17958 33554432000 4194304 5963574 140734325386944 139695956195128 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 96128
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18006
/proc/meminfo: memFree=28801100/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=161664 CPUtime=51.04 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 21760 0 0 0 5098 6 0 0 20 0 2 0 277698824 165543936 20956 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 40416 20956 187 432 0 39981 0
[pid=18004/tid=18006] ppid=18002 vsize=161664 CPUtime=50.92 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 18205 0 0 0 5085 7 0 0 20 0 2 0 277698837 165543936 20956 33554432000 4194304 5963574 140734325386944 139695956195368 4388683 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 161664
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18010
/proc/meminfo: memFree=28728420/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=227200 CPUtime=102.25 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 38259 0 0 0 10210 15 0 0 20 0 2 0 277698824 232652800 37455 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 56800 37455 187 432 0 56365 0
[pid=18004/tid=18006] ppid=18002 vsize=227200 CPUtime=102.13 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 34704 0 0 0 10197 16 0 0 20 0 2 0 277698837 232652800 37455 33554432000 4194304 5963574 140734325386944 139695956195128 4381510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 227200
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18010
/proc/meminfo: memFree=28709332/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=228284 CPUtime=162.23 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 42454 0 0 0 16206 17 0 0 20 0 2 0 277698824 233762816 41650 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 57071 41650 187 432 0 56636 0
[pid=18004/tid=18006] ppid=18002 vsize=228284 CPUtime=162.13 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 38899 0 0 0 16194 19 0 0 20 0 2 0 277698837 233762816 41650 33554432000 4194304 5963574 140734325386944 139695956195320 4381256 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 228284
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18010
/proc/meminfo: memFree=28682272/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=228284 CPUtime=222.21 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 48517 0 0 0 22202 19 0 0 20 0 2 0 277698824 233762816 47699 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 57071 47699 187 432 0 56636 0
[pid=18004/tid=18006] ppid=18002 vsize=228284 CPUtime=222.11 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 44962 0 0 0 22188 23 0 0 20 0 2 0 277698837 233762816 47699 33554432000 4194304 5963574 140734325386944 139695956195320 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 228284
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18010
/proc/meminfo: memFree=28633940/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=294360 CPUtime=282.15 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 57697 0 0 0 28190 25 0 0 20 0 2 0 277698824 301424640 56872 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 73590 56872 187 432 0 73155 0
[pid=18004/tid=18006] ppid=18002 vsize=294360 CPUtime=282.07 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 54142 0 0 0 28177 30 0 0 20 0 2 0 277698837 301424640 56872 33554432000 4194304 5963574 140734325386944 139695956195128 4381529 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 294360
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 18010
/proc/meminfo: memFree=28609508/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=294360 CPUtime=342.14 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 58904 0 0 0 34189 25 0 0 20 0 2 0 277698824 301424640 58583 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 73590 58583 187 432 0 73155 0
[pid=18004/tid=18006] ppid=18002 vsize=294360 CPUtime=342.07 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 55349 0 0 0 34176 31 0 0 20 0 2 0 277698837 301424640 58583 33554432000 4194304 5963574 140734325386944 139695956195320 4400064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 294360
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 18011
/proc/meminfo: memFree=28543200/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=359896 CPUtime=402.13 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 73451 0 0 0 40181 32 0 0 20 0 2 0 277698824 368533504 73130 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 89974 73130 187 432 0 89539 0
[pid=18004/tid=18006] ppid=18002 vsize=359896 CPUtime=402.08 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 69896 0 0 0 40169 39 0 0 20 0 2 0 277698837 368533504 73130 33554432000 4194304 5963574 140734325386944 139695956195368 4408735 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 359896
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18011
/proc/meminfo: memFree=28539720/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=359896 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 125971 0 0 0 130132 75 0 0 20 0 2 0 277698837 570687488 129301 33554432000 4194304 5963574 140734325386944 139695956195320 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 557312
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18082
/proc/meminfo: memFree=28261660/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=557312 CPUtime=1361.9 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 129543 0 0 0 136135 55 0 0 20 0 2 0 277698824 570687488 129360 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 139328 129360 187 432 0 138893 0
[pid=18004/tid=18006] ppid=18002 vsize=557312 CPUtime=1362.05 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 125988 0 0 0 136129 76 0 0 20 0 2 0 277698837 570687488 129360 33554432000 4194304 5963574 140734325386944 139695956195320 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 557312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18082
/proc/meminfo: memFree=28237868/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=557312 CPUtime=1421.87 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 129566 0 0 0 142132 55 0 0 20 0 2 0 277698824 570687488 129419 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 139328 129419 187 432 0 138893 0
[pid=18004/tid=18006] ppid=18002 vsize=557312 CPUtime=1422.04 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 126011 0 0 0 142127 77 0 0 20 0 2 0 277698837 570687488 129419 33554432000 4194304 5963574 140734325386944 139695956195320 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 557312
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18082
/proc/meminfo: memFree=28176612/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=622848 CPUtime=1481.86 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 145309 0 0 0 148124 62 0 0 20 0 2 0 277698824 637796352 145162 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 155712 145162 187 432 0 155277 0
[pid=18004/tid=18006] ppid=18002 vsize=622848 CPUtime=1482.03 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 141754 0 0 0 148119 84 0 0 20 0 2 0 277698837 637796352 145162 33554432000 4194304 5963574 140734325386944 139695956195320 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 622848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18082
/proc/meminfo: memFree=28131228/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=688384 CPUtime=1541.84 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 156154 0 0 0 154118 66 0 0 20 0 2 0 277698824 704905216 156007 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 172096 156007 187 432 0 171661 0
[pid=18004/tid=18006] ppid=18002 vsize=688384 CPUtime=1542.04 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 152599 0 0 0 154114 90 0 0 20 0 2 0 277698837 704905216 156007 33554432000 4194304 5963574 140734325386944 139695956195128 4381793 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 688384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18082
/proc/meminfo: memFree=28035004/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=753920 CPUtime=1601.84 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 180490 0 0 0 160110 74 0 0 20 0 2 0 277698824 772014080 180343 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 188480 180343 187 432 0 188045 0
[pid=18004/tid=18006] ppid=18002 vsize=753920 CPUtime=1602.04 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 176935 0 0 0 160105 99 0 0 20 0 2 0 277698837 772014080 180343 33554432000 4194304 5963574 140734325386944 139695956195320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 753920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18083
/proc/meminfo: memFree=27954088/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1661.83 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 196172 0 0 0 166103 80 0 0 20 0 2 0 277698824 839122944 196025 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 196025 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1662.04 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 192617 0 0 0 166098 106 0 0 20 0 2 0 277698837 839122944 196025 33554432000 4194304 5963574 140734325386944 139695956195128 4399401 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 819456
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27916192/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1721.82 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 196459 0 0 0 172102 80 0 0 20 0 2 0 277698824 839122944 196312 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 196312 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1722.05 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 192904 0 0 0 172098 107 0 0 20 0 2 0 277698837 839122944 196312 33554432000 4194304 5963574 140734325386944 139695956195128 4390923 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 819456
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27906580/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1781.81 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 198865 0 0 0 178100 81 0 0 20 0 2 0 277698824 839122944 198718 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198718 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1782.05 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195310 0 0 0 178096 109 0 0 20 0 2 0 277698837 839122944 198718 33554432000 4194304 5963574 140734325386944 139695956195128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 819456
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905960/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1791.41 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199011 0 0 0 179060 81 0 0 20 0 2 0 277698824 839122944 198864 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198864 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1791.66 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195456 0 0 0 179057 109 0 0 20 0 2 0 277698837 839122944 198864 33554432000 4194304 5963574 140734325386944 139695956195128 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 819456
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905836/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1794.61 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199053 0 0 0 179380 81 0 0 20 0 2 0 277698824 839122944 198906 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198906 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1794.86 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195498 0 0 0 179377 109 0 0 20 0 2 0 277698837 839122944 198906 33554432000 4194304 5963574 140734325386944 139695956195128 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 819456
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905712/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1797.81 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199071 0 0 0 179699 82 0 0 20 0 2 0 277698824 839122944 198924 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198924 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1798.05 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195516 0 0 0 179696 109 0 0 20 0 2 0 277698837 839122944 198924 33554432000 4194304 5963574 140734325386944 139695956195128 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 819456
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905712/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1798.61 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199087 0 0 0 179779 82 0 0 20 0 2 0 277698824 839122944 198940 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198940 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1798.85 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195532 0 0 0 179776 109 0 0 20 0 2 0 277698837 839122944 198940 33554432000 4194304 5963574 140734325386944 139695956195128 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 819456
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905588/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1799.02 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199094 0 0 0 179820 82 0 0 20 0 2 0 277698824 839122944 198947 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198947 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1799.26 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195539 0 0 0 179817 109 0 0 20 0 2 0 277698837 839122944 198947 33554432000 4194304 5963574 140734325386944 139695956195128 4392243 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 819456
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905588/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1799.41 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199094 0 0 0 179859 82 0 0 20 0 2 0 277698824 839122944 198947 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198947 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1799.65 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195539 0 0 0 179856 109 0 0 20 0 2 0 277698837 839122944 198947 33554432000 4194304 5963574 140734325386944 139695956195128 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 819456
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18083
/proc/meminfo: memFree=27905588/32873844 swapFree=7900/7900
[pid=18004] ppid=18002 vsize=819456 CPUtime=1799.51 cores=1,3,5,7
/proc/18004/stat : 18004 (wbo1.7) S 18002 18004 15878 0 -1 4202496 199094 0 0 0 179869 82 0 0 20 0 2 0 277698824 839122944 198947 33554432000 4194304 5963574 140734325386944 140734325386464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18004/statm: 204864 198947 187 432 0 204429 0
[pid=18004/tid=18006] ppid=18002 vsize=819456 CPUtime=1799.75 cores=1,3,5,7
/proc/18004/task/18006/stat : 18006 (wbo1.7) R 18002 18004 15878 0 -1 4202560 195539 0 0 0 179866 109 0 0 20 0 2 0 277698837 839122944 198947 33554432000 4194304 5963574 140734325386944 139695956195128 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 819456
Child status: 255
Real time (s): 1800.03
CPU time (s): 1799.92
CPU user time (s): 1798.79
CPU system time (s): 1.12783
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 819456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.12783
maximum resident set size= 795792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199095
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= 221
involuntary context switches= 1852
runsolver used 3.17052 second user time and 8.73867 second system time
The end