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-3727405-1338653251/watcher-3727405-1338653251 -o /tmp/evaluation-result-3727405-1338653251/solver-3727405-1338653251 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727405-1338653251.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.01 1.89 3/177 16503
/proc/meminfo: memFree=31110076/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 2 0 331453595 85995520 732 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 740 172 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=0 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 2 0 331453595 85995520 755 33554432000 4194304 5964350 140736418948704 140737405548280 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0860579 s]
/proc/loadavg: 2.00 2.01 1.89 3/177 16503
/proc/meminfo: memFree=31110076/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=0.08 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 1637 0 0 0 8 0 0 0 20 0 2 0 331453595 85995520 1578 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 1578 190 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=0.06 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 847 0 0 0 6 0 0 0 20 0 2 0 331453595 85995520 1578 33554432000 4194304 5964350 140736418948704 140737405548280 5134964 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83980
[startup+0.10035 s]
/proc/loadavg: 2.00 2.01 1.89 3/177 16503
/proc/meminfo: memFree=31110076/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=0.09 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 1720 0 0 0 9 0 0 0 20 0 2 0 331453595 85995520 1661 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 1661 190 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=0.08 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 930 0 0 0 8 0 0 0 20 0 2 0 331453595 85995520 1661 33554432000 4194304 5964350 140736418948704 140737405548280 4380720 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83980
[startup+0.3003 s]
/proc/loadavg: 2.00 2.01 1.89 3/177 16503
/proc/meminfo: memFree=31110076/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=0.29 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 2017 0 0 0 29 0 0 0 20 0 2 0 331453595 85995520 1958 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 1958 192 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=0.28 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 1227 0 0 0 28 0 0 0 20 0 2 0 331453595 85995520 1958 33554432000 4194304 5964350 140736418948704 140737405548280 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83980
[startup+0.700299 s]
/proc/loadavg: 2.00 2.01 1.89 3/177 16503
/proc/meminfo: memFree=31110076/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=0.68 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 2606 0 0 0 68 0 0 0 20 0 2 0 331453595 85995520 2557 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 2557 192 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=0.67 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 1816 0 0 0 67 0 0 0 20 0 2 0 331453595 85995520 2557 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83980
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 1.89 3/179 16544
/proc/meminfo: memFree=31772828/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=1.48 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 3127 0 0 0 148 0 0 0 20 0 2 0 331453595 85995520 3053 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 3053 192 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=1.47 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 2337 0 0 0 147 0 0 0 20 0 2 0 331453595 85995520 3053 33554432000 4194304 5964350 140736418948704 140624619202552 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83980
[startup+3.10025 s]
/proc/loadavg: 2.00 2.01 1.89 3/179 16544
/proc/meminfo: memFree=31768612/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=83980 CPUtime=3.09 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 4179 0 0 0 308 1 0 0 20 0 2 0 331453595 85995520 4105 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 20995 4105 192 433 0 20559 0
[pid=16503/tid=16504] ppid=16501 vsize=83980 CPUtime=3.07 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 3389 0 0 0 306 1 0 0 20 0 2 0 331453595 85995520 4105 33554432000 4194304 5964350 140736418948704 140624619202360 4388952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83980
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 1.89 3/179 16544
/proc/meminfo: memFree=31755128/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=84196 CPUtime=6.28 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 6104 0 0 0 627 1 0 0 20 0 2 0 331453595 86216704 6030 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 21049 6030 192 433 0 20613 0
[pid=16503/tid=16504] ppid=16501 vsize=84196 CPUtime=6.26 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 5314 0 0 0 625 1 0 0 20 0 2 0 331453595 86216704 6030 33554432000 4194304 5964350 140736418948704 140624619202360 4398344 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) 84196
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.89 3/179 16544
/proc/meminfo: memFree=31732468/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=84304 CPUtime=12.68 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 8842 0 0 0 1266 2 0 0 20 0 2 0 331453595 86327296 9160 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 21076 9160 192 433 0 20640 0
[pid=16503/tid=16504] ppid=16501 vsize=84304 CPUtime=12.64 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 8052 0 0 0 1262 2 0 0 20 0 2 0 331453595 86327296 9160 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84304
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 16544
/proc/meminfo: memFree=31694472/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=84464 CPUtime=25.48 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 13623 0 0 0 2545 3 0 0 20 0 2 0 331453595 86491136 13941 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 21116 13941 192 433 0 20680 0
[pid=16503/tid=16504] ppid=16501 vsize=84464 CPUtime=25.41 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 12833 0 0 0 2538 3 0 0 20 0 2 0 331453595 86491136 13941 33554432000 4194304 5964350 140736418948704 140624619202600 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84464
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 16544
/proc/meminfo: memFree=31658676/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=150240 CPUtime=51.07 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 23379 0 0 0 5100 7 0 0 20 0 2 0 331453595 153845760 23697 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 37560 23697 192 433 0 37124 0
[pid=16503/tid=16504] ppid=16501 vsize=150240 CPUtime=50.94 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 22589 0 0 0 5087 7 0 0 20 0 2 0 331453595 153845760 23697 33554432000 4194304 5964350 140736418948704 140624619202552 4399872 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150240
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 16544
/proc/meminfo: memFree=31563112/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=215776 CPUtime=102.23 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 36708 0 0 0 10211 12 0 0 20 0 2 0 331453595 220954624 37318 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 53944 37318 192 433 0 53508 0
[pid=16503/tid=16504] ppid=16501 vsize=215776 CPUtime=101.98 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 35918 0 0 0 10185 13 0 0 20 0 2 0 331453595 220954624 37318 33554432000 4194304 5964350 140736418948704 140624619202360 4400458 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 215776
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/180 16547
/proc/meminfo: memFree=31468788/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=217592 CPUtime=162.2 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 46517 0 0 0 16203 17 0 0 20 0 2 0 331453595 222814208 47117 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 54398 47117 192 433 0 53962 0
[pid=16503/tid=16504] ppid=16501 vsize=217592 CPUtime=161.79 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 45727 0 0 0 16160 19 0 0 20 0 2 0 331453595 222814208 47117 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 217592
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16547
/proc/meminfo: memFree=31393848/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=283452 CPUtime=222.19 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 54769 0 0 0 22198 21 0 0 20 0 2 0 331453595 290254848 55369 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 70863 55369 192 433 0 70427 0
[pid=16503/tid=16504] ppid=16501 vsize=283452 CPUtime=221.64 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 53979 0 0 0 22140 24 0 0 20 0 2 0 331453595 290254848 55369 33554432000 4194304 5964350 140736418948704 140624619202360 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 283452
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16548
/proc/meminfo: memFree=31289128/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=283452 CPUtime=282.16 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 62997 0 0 0 28190 26 0 0 20 0 2 0 331453595 290254848 63896 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 70863 63896 192 433 0 70427 0
[pid=16503/tid=16504] ppid=16501 vsize=283452 CPUtime=281.46 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 62207 0 0 0 28116 30 0 0 20 0 2 0 331453595 290254848 63896 33554432000 4194304 5964350 140736418948704 140624619202360 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 283452
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16548
/proc/meminfo: memFree=31231976/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=350284 CPUtime=342.13 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 69691 0 0 0 34182 31 0 0 20 0 2 0 331453595 358690816 70874 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 87571 70874 192 433 0 87135 0
[pid=16503/tid=16504] ppid=16501 vsize=350284 CPUtime=341.28 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 68901 0 0 0 34092 36 0 0 20 0 2 0 331453595 358690816 70874 33554432000 4194304 5964350 140736418948704 140624619202360 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 350284
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 16548
/proc/meminfo: memFree=31142308/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=417492 CPUtime=402.11 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 83420 0 0 0 40173 38 0 0 20 0 2 0 331453595 427511808 85194 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16557
/proc/meminfo: memFree=30554356/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=542732 CPUtime=1421.87 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 130676 0 0 0 142116 71 0 0 20 0 2 0 331453595 555757568 130535 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 135683 130535 192 433 0 135247 0
[pid=16503/tid=16504] ppid=16501 vsize=542732 CPUtime=1418.37 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 129886 0 0 0 141745 92 0 0 20 0 2 0 331453595 555757568 130535 33554432000 4194304 5964350 140736418948704 140624619202360 4392802 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) 542732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16558
/proc/meminfo: memFree=30476732/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=542732 CPUtime=1481.85 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 130971 0 0 0 148114 71 0 0 20 0 2 0 331453595 555757568 130830 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 135683 130830 192 433 0 135247 0
[pid=16503/tid=16504] ppid=16501 vsize=542732 CPUtime=1478.21 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 130181 0 0 0 147728 93 0 0 20 0 2 0 331453595 555757568 130830 33554432000 4194304 5964350 140736418948704 140624619202360 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 542732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16558
/proc/meminfo: memFree=30457876/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=608268 CPUtime=1541.85 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 135022 0 0 0 154112 73 0 0 20 0 2 0 331453595 622866432 134880 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 152067 134880 192 433 0 151631 0
[pid=16503/tid=16504] ppid=16501 vsize=608268 CPUtime=1538.06 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 134232 0 0 0 153710 96 0 0 20 0 2 0 331453595 622866432 134880 33554432000 4194304 5964350 140736418948704 140624619202424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 608268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16558
/proc/meminfo: memFree=30361804/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=673804 CPUtime=1601.83 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 151445 0 0 0 160102 81 0 0 20 0 2 0 331453595 689975296 151303 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 168451 151303 192 433 0 168015 0
[pid=16503/tid=16504] ppid=16501 vsize=673804 CPUtime=1597.9 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 150655 0 0 0 159685 105 0 0 20 0 2 0 331453595 689975296 151303 33554432000 4194304 5964350 140736418948704 140624619202552 4400352 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 673804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16558
/proc/meminfo: memFree=30311860/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=673804 CPUtime=1661.83 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 154581 0 0 0 166099 84 0 0 20 0 2 0 331453595 689975296 154439 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 168451 154439 192 433 0 168015 0
[pid=16503/tid=16504] ppid=16501 vsize=673804 CPUtime=1657.74 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 153791 0 0 0 165665 109 0 0 20 0 2 0 331453595 689975296 154439 33554432000 4194304 5964350 140736418948704 140624619202552 4399840 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) 673804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16558
/proc/meminfo: memFree=30300128/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=673804 CPUtime=1721.82 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 156637 0 0 0 172096 86 0 0 20 0 2 0 331453595 689975296 156491 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 168451 156491 192 433 0 168015 0
[pid=16503/tid=16504] ppid=16501 vsize=673804 CPUtime=1717.59 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 155847 0 0 0 171647 112 0 0 20 0 2 0 331453595 689975296 156491 33554432000 4194304 5964350 140736418948704 140624619202552 4399840 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) 673804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30221884/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1781.8 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166260 0 0 0 178088 92 0 0 20 0 2 0 331453595 757084160 166114 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166114 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1777.43 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165470 0 0 0 177624 119 0 0 20 0 2 0 331453595 757084160 166114 33554432000 4194304 5964350 140736418948704 140624619202360 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 739340
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30221884/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1791.41 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166324 0 0 0 179049 92 0 0 20 0 2 0 331453595 757084160 166178 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166178 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1787.01 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165534 0 0 0 178582 119 0 0 20 0 2 0 331453595 757084160 166178 33554432000 4194304 5964350 140736418948704 140624619202360 4400017 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) 739340
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30221388/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1794.61 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166404 0 0 0 179369 92 0 0 20 0 2 0 331453595 757084160 166257 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166257 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1790.2 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165614 0 0 0 178901 119 0 0 20 0 2 0 331453595 757084160 166257 33554432000 4194304 5964350 140736418948704 140624619202424 4399840 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) 739340
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30220644/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1797.8 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166706 0 0 0 179688 92 0 0 20 0 2 0 331453595 757084160 166559 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166559 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1793.39 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165916 0 0 0 179220 119 0 0 20 0 2 0 331453595 757084160 166559 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 739340
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30220148/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1798.6 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166717 0 0 0 179768 92 0 0 20 0 2 0 331453595 757084160 166570 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166570 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1794.19 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165927 0 0 0 179300 119 0 0 20 0 2 0 331453595 757084160 166570 33554432000 4194304 5964350 140736418948704 140624619202360 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 739340
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30220148/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1799.01 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166717 0 0 0 179809 92 0 0 20 0 2 0 331453595 757084160 166570 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166570 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1794.59 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165927 0 0 0 179340 119 0 0 20 0 2 0 331453595 757084160 166570 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 739340
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30220148/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1799.4 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166722 0 0 0 179848 92 0 0 20 0 2 0 331453595 757084160 166575 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166575 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1794.98 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165932 0 0 0 179379 119 0 0 20 0 2 0 331453595 757084160 166575 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 739340
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 16559
/proc/meminfo: memFree=30220148/32873844 swapFree=8656/8656
[pid=16503] ppid=16501 vsize=739340 CPUtime=1799.5 cores=1,3,5,7
/proc/16503/stat : 16503 (wbo1.72) S 16501 16503 14738 0 -1 4202496 166722 0 0 0 179858 92 0 0 20 0 2 0 331453595 757084160 166575 33554432000 4194304 5964350 140736418948704 140736418948224 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16503/statm: 184835 166575 192 433 0 184399 0
[pid=16503/tid=16504] ppid=16501 vsize=739340 CPUtime=1795.08 cores=1,3,5,7
/proc/16503/task/16504/stat : 16504 (wbo1.72) R 16501 16503 14738 0 -1 4202560 165932 0 0 0 179389 119 0 0 20 0 2 0 331453595 757084160 166575 33554432000 4194304 5964350 140736418948704 140624619202360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 739340
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16503 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=900285
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=216815
# CPU time returned by wait4() is 1795.12
# while last known CPU time is 1799.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.5
CPU user time (s): 1798.58
CPU system time (s): 0.92
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 739340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 1.21681
maximum resident set size= 666308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166724
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= 224
involuntary context switches= 1963
runsolver used 7.46786 second user time and 17.4044 second system time
The end