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-3705400-1338105709/watcher-3705400-1338105709 -o /tmp/evaluation-result-3705400-1338105709/solver-3705400-1338105709 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705400-1338105709.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 2/178 17516
/proc/meminfo: memFree=29810692/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=5620 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) R 17514 17516 16265 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 276695337 5754880 381 33554432000 4194304 5963574 140735249055424 140734377709336 4344432 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 1405 381 172 432 0 462 0
[startup+0.0435871 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 17516
/proc/meminfo: memFree=29810692/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=7200 CPUtime=0.03 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) R 17514 17516 16265 0 -1 4202496 920 0 0 0 3 0 0 0 20 0 1 0 276695337 7372800 872 33554432000 4194304 5963574 140735249055424 140734377709336 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 1800 872 314 432 0 857 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7200
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 17516
/proc/meminfo: memFree=29810692/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=9312 CPUtime=0.09 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) R 17514 17516 16265 0 -1 4202496 1701 0 0 0 9 0 0 0 20 0 1 0 276695337 9535488 1620 33554432000 4194304 5963574 140735249055424 140734377709336 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 2328 1620 531 432 0 1385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9312
[startup+0.300156 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 17516
/proc/meminfo: memFree=29810692/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=0.29 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 5354 0 0 0 28 1 0 0 20 0 2 0 276695337 90824704 4093 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 4093 193 432 0 21739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88696
[startup+0.700155 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 17516
/proc/meminfo: memFree=29810692/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=0.69 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 6634 0 0 0 68 1 0 0 20 0 2 0 276695337 90824704 4095 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 4095 193 432 0 21739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88696
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17518
/proc/meminfo: memFree=29794936/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=1.49 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 8906 0 0 0 147 2 0 0 20 0 2 0 276695337 90824704 4783 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 4783 193 432 0 21739 0
[pid=17516/tid=17518] ppid=17514 vsize=88696 CPUtime=1.34 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 6293 0 0 0 133 1 0 0 20 0 2 0 276695350 90824704 4783 33554432000 4194304 5963574 140735249055424 140316969949720 5134809 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) 88696
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17518
/proc/meminfo: memFree=29792060/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=3.09 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 11185 0 0 0 307 2 0 0 20 0 2 0 276695337 90824704 5469 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 5469 197 432 0 21739 0
[pid=17516/tid=17518] ppid=17514 vsize=88696 CPUtime=2.94 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 8572 0 0 0 292 2 0 0 20 0 2 0 276695350 90824704 5469 33554432000 4194304 5963574 140735249055424 140316969949592 4392365 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) 88696
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17518
/proc/meminfo: memFree=29783256/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=6.28 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 12650 0 0 0 626 2 0 0 20 0 2 0 276695337 90824704 6934 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 6934 197 432 0 21739 0
[pid=17516/tid=17518] ppid=17514 vsize=88696 CPUtime=6.13 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 10037 0 0 0 611 2 0 0 20 0 2 0 276695350 90824704 6934 33554432000 4194304 5963574 140735249055424 140316969949528 4399537 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) 88696
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17518
/proc/meminfo: memFree=29772608/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=12.68 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 15554 0 0 0 1265 3 0 0 20 0 2 0 276695337 90824704 9838 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 9838 197 432 0 21739 0
[pid=17516/tid=17518] ppid=17514 vsize=88696 CPUtime=12.51 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 12941 0 0 0 1248 3 0 0 20 0 2 0 276695350 90824704 9838 33554432000 4194304 5963574 140735249055424 140316969949176 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88696
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17518
/proc/meminfo: memFree=29755348/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=88696 CPUtime=25.48 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 19420 0 0 0 2542 6 0 0 20 0 2 0 276695337 90824704 13768 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 22174 13768 197 432 0 21739 0
[pid=17516/tid=17518] ppid=17514 vsize=88696 CPUtime=25.27 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 16807 0 0 0 2522 5 0 0 20 0 2 0 276695350 90824704 13768 33554432000 4194304 5963574 140735249055424 140316969948984 4399456 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) 88696
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17518
/proc/meminfo: memFree=29720472/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=155316 CPUtime=51.05 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 27940 0 0 0 5095 10 0 0 20 0 2 0 276695337 159043584 22563 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 38829 22563 197 432 0 38394 0
[pid=17516/tid=17518] ppid=17514 vsize=155316 CPUtime=50.79 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 25327 0 0 0 5070 9 0 0 20 0 2 0 276695350 159043584 22563 33554432000 4194304 5963574 140735249055424 140316969948984 4399505 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 155316
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17518
/proc/meminfo: memFree=29713540/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=154232 CPUtime=102.25 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 28730 0 0 0 10215 10 0 0 20 0 2 0 276695337 157933568 23596 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 38558 23596 198 432 0 38123 0
[pid=17516/tid=17518] ppid=17514 vsize=154232 CPUtime=101.86 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 26117 0 0 0 10176 10 0 0 20 0 2 0 276695350 157933568 23596 33554432000 4194304 5963574 140735249055424 140316969950136 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154232
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17519
/proc/meminfo: memFree=29681080/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=154232 CPUtime=162.23 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 36770 0 0 0 16207 16 0 0 20 0 2 0 276695337 157933568 31635 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 38558 31635 198 432 0 38123 0
[pid=17516/tid=17518] ppid=17514 vsize=154232 CPUtime=161.7 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 34157 0 0 0 16152 18 0 0 20 0 2 0 276695350 157933568 31635 33554432000 4194304 5963574 140735249055424 140316969949176 4399937 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154232
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17519
/proc/meminfo: memFree=29615740/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=221392 CPUtime=222.23 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 44066 0 0 0 22201 22 0 0 20 0 2 0 276695337 226705408 38918 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 55348 38918 198 432 0 54913 0
[pid=17516/tid=17518] ppid=17514 vsize=221392 CPUtime=221.55 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 41453 0 0 0 22131 24 0 0 20 0 2 0 276695350 226705408 38918 33554432000 4194304 5963574 140735249055424 140316969948984 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 221392
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17519
/proc/meminfo: memFree=29554400/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=219768 CPUtime=282.22 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 49636 0 0 0 28198 24 0 0 20 0 2 0 276695337 225042432 44199 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 54942 44199 198 432 0 54507 0
[pid=17516/tid=17518] ppid=17514 vsize=219768 CPUtime=281.4 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 47023 0 0 0 28113 27 0 0 20 0 2 0 276695350 225042432 44199 33554432000 4194304 5963574 140735249055424 140316969950136 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 219768
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17519
/proc/meminfo: memFree=29543860/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=219768 CPUtime=342.21 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 49725 0 0 0 34197 24 0 0 20 0 2 0 276695337 225042432 44288 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 54942 44288 198 432 0 54507 0
[pid=17516/tid=17518] ppid=17514 vsize=219768 CPUtime=341.24 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 47112 0 0 0 34096 28 0 0 20 0 2 0 276695350 225042432 44288 33554432000 4194304 5963574 140735249055424 140316969950136 4372631 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 219768
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 17558
/proc/meminfo: memFree=30285492/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=219768 CPUtime=402.17 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 50108 0 0 0 40193 24 0 0 20 0 2 0 276695337 225042432 44667 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 54942 44667 198 432 0 54507 0
[pid=17516/tid=17518] ppid=17514 vsize=219768 CPUtime=401.07 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 47495 0 0 0 40078 29 0 0 20 0 2 0 276695350 225042432 44667 33554432000 4194304 5963574 140735249055424 140316969950136 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 219768
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 17559
/proc/meminfo: memFree=30233604/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=219768 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17568
/proc/meminfo: memFree=29767980/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=485560 CPUtime=1421.87 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 118887 0 0 0 142087 100 0 0 20 0 2 0 276695337 497213440 115363 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 121390 115363 198 432 0 120955 0
[pid=17516/tid=17518] ppid=17514 vsize=485560 CPUtime=1418.32 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 116274 0 0 0 141711 121 0 0 20 0 2 0 276695350 497213440 115363 33554432000 4194304 5963574 140735249055424 140316969949224 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 485560
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17568
/proc/meminfo: memFree=29749132/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1481.85 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 122901 0 0 0 148079 106 0 0 20 0 2 0 276695337 564322304 119377 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 119377 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1478.16 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 120288 0 0 0 147688 128 0 0 20 0 2 0 276695350 564322304 119377 33554432000 4194304 5963574 140735249055424 140316969949176 4399505 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 551096
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17568
/proc/meminfo: memFree=29705484/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1541.85 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 124384 0 0 0 154076 109 0 0 20 0 2 0 276695337 564322304 120860 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 120860 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1538.01 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 121771 0 0 0 153669 132 0 0 20 0 2 0 276695350 564322304 120860 33554432000 4194304 5963574 140735249055424 140316969948984 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 551096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17568
/proc/meminfo: memFree=29666868/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1601.84 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 124422 0 0 0 160075 109 0 0 20 0 2 0 276695337 564322304 120898 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 120898 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1597.85 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 121809 0 0 0 159652 133 0 0 20 0 2 0 276695350 564322304 120898 33554432000 4194304 5963574 140735249055424 140316969948984 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 551096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17568
/proc/meminfo: memFree=29629304/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1661.83 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 124653 0 0 0 166074 109 0 0 20 0 2 0 276695337 564322304 121128 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121128 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1657.7 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122040 0 0 0 165636 134 0 0 20 0 2 0 276695350 564322304 121128 33554432000 4194304 5963574 140735249055424 140316969948984 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 551096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17572
/proc/meminfo: memFree=29599512/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1721.82 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 124804 0 0 0 172073 109 0 0 20 0 2 0 276695337 564322304 121278 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121278 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1717.55 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122191 0 0 0 171620 135 0 0 20 0 2 0 276695350 564322304 121278 33554432000 4194304 5963574 140735249055424 140316969949048 4400055 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 551096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29592824/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1781.82 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125241 0 0 0 178072 110 0 0 20 0 2 0 276695337 564322304 121715 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121715 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1777.39 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122628 0 0 0 177604 135 0 0 20 0 2 0 276695350 564322304 121715 33554432000 4194304 5963574 140735249055424 140316969948984 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 551096
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 17572
/proc/meminfo: memFree=29592204/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1791.42 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125272 0 0 0 179032 110 0 0 20 0 2 0 276695337 564322304 121745 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121745 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1786.98 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122659 0 0 0 178562 136 0 0 20 0 2 0 276695350 564322304 121745 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 551096
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29592204/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1794.62 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125287 0 0 0 179352 110 0 0 20 0 2 0 276695337 564322304 121760 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121760 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1790.17 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122674 0 0 0 178881 136 0 0 20 0 2 0 276695350 564322304 121760 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 551096
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29591832/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1797.81 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125288 0 0 0 179671 110 0 0 20 0 2 0 276695337 564322304 121761 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121761 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1793.35 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122675 0 0 0 179199 136 0 0 20 0 2 0 276695350 564322304 121761 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 551096
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29591832/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1798.61 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125288 0 0 0 179751 110 0 0 20 0 2 0 276695337 564322304 121761 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121761 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1794.15 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122675 0 0 0 179279 136 0 0 20 0 2 0 276695350 564322304 121761 33554432000 4194304 5963574 140735249055424 140316969949048 4399462 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 551096
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29591832/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1799.02 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125288 0 0 0 179792 110 0 0 20 0 2 0 276695337 564322304 121761 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121761 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1794.56 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122675 0 0 0 179320 136 0 0 20 0 2 0 276695350 564322304 121761 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 551096
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29591832/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1799.41 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125288 0 0 0 179831 110 0 0 20 0 2 0 276695337 564322304 121761 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121761 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1794.95 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122675 0 0 0 179359 136 0 0 20 0 2 0 276695350 564322304 121761 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 551096
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=29591832/32873844 swapFree=7388/7388
[pid=17516] ppid=17514 vsize=551096 CPUtime=1799.51 cores=1,3,5,7
/proc/17516/stat : 17516 (wbo1.7) S 17514 17516 16265 0 -1 4202496 125288 0 0 0 179841 110 0 0 20 0 2 0 276695337 564322304 121761 33554432000 4194304 5963574 140735249055424 140735249054944 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17516/statm: 137774 121761 198 432 0 137339 0
[pid=17516/tid=17518] ppid=17514 vsize=551096 CPUtime=1795.05 cores=1,3,5,7
/proc/17516/task/17518/stat : 17518 (wbo1.7) R 17514 17516 16265 0 -1 4202560 122675 0 0 0 179369 136 0 0 20 0 2 0 276695350 564322304 121761 33554432000 4194304 5963574 140735249055424 140316969949048 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 551096
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17516 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=825297
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=386789
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.51
CPU user time (s): 1798.41
CPU system time (s): 1.1
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 551096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 1.38679
maximum resident set size= 487044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125288
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= 209
involuntary context switches= 1920
runsolver used 3.47447 second user time and 9.1816 second system time
The end