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-3727832-1338667755/watcher-3727832-1338667755 -o /tmp/evaluation-result-3727832-1338667755/solver-3727832-1338667755 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727832-1338667755.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/175 10644
/proc/meminfo: memFree=23586328/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=13680 CPUtime=0 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) R 10642 10644 7385 0 -1 4202496 619 0 0 0 0 0 0 0 20 0 1 0 332904137 14008320 571 33554432000 4194304 5964350 140735097500384 140736218437976 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 3420 572 163 433 0 690 0
[startup+0.0198631 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10644
/proc/meminfo: memFree=23586328/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=18208 CPUtime=0.01 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) R 10642 10644 7385 0 -1 4202496 1713 0 0 0 1 0 0 0 20 0 1 0 332904137 18644992 1665 33554432000 4194304 5964350 140735097500384 140736218437976 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 4552 1665 197 433 0 1822 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18208
[startup+0.100312 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10644
/proc/meminfo: memFree=23586328/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=42944 CPUtime=0.09 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) R 10642 10644 7385 0 -1 4202496 7973 0 0 0 8 1 0 0 20 0 1 0 332904137 43974656 7466 33554432000 4194304 5964350 140735097500384 140736218437976 5179632 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 10872 7473 377 433 0 8142 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42944
[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10644
/proc/meminfo: memFree=23586328/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=74040 CPUtime=0.29 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) R 10642 10644 7385 0 -1 4202496 15657 0 0 0 27 2 0 0 20 0 1 0 332904137 75816960 14543 33554432000 4194304 5964350 140735097500384 140736218437976 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 18543 14547 900 433 0 15813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74040
[startup+0.700311 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10644
/proc/meminfo: memFree=23586328/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=90888 CPUtime=0.69 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) R 10642 10644 7385 0 -1 4202496 20730 0 0 0 65 4 0 0 20 0 1 0 332904137 93069312 19616 33554432000 4194304 5964350 140735097500384 140735097498840 4344327 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 22722 19616 1898 433 0 19992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90888
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10646
/proc/meminfo: memFree=23466456/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=247376 CPUtime=1.48 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 55896 0 0 0 139 9 0 0 20 0 2 0 332904137 253313024 51685 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 61844 51688 189 433 0 61408 0
[pid=10644/tid=10646] ppid=10642 vsize=247376 CPUtime=0.54 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 31955 0 0 0 48 6 0 0 20 0 2 0 332904232 253313024 51690 33554432000 4194304 5964350 140735097500384 140542227229848 4419455 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 247376
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10646
/proc/meminfo: memFree=23336476/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=293456 CPUtime=3.09 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 70709 0 0 0 297 12 0 0 20 0 2 0 332904137 300498944 65563 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 73364 65563 192 433 0 72928 0
[pid=10644/tid=10646] ppid=10642 vsize=293456 CPUtime=2.14 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 46763 0 0 0 206 8 0 0 20 0 2 0 332904232 300498944 65563 33554432000 4194304 5964350 140735097500384 140542227229032 4381496 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) 293456
[startup+6.30032 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10646
/proc/meminfo: memFree=23310732/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=358992 CPUtime=6.29 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 72526 0 0 0 617 12 0 0 20 0 2 0 332904137 367607808 68913 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 89748 68913 194 433 0 89312 0
[pid=10644/tid=10646] ppid=10642 vsize=358992 CPUtime=5.34 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 48580 0 0 0 526 8 0 0 20 0 2 0 332904232 367607808 68913 33554432000 4194304 5964350 140735097500384 140542227228968 4381496 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 358992
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10646
/proc/meminfo: memFree=23310996/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=358992 CPUtime=12.68 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 72526 0 0 0 1256 12 0 0 20 0 2 0 332904137 367607808 68913 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 89748 68913 194 433 0 89312 0
[pid=10644/tid=10646] ppid=10642 vsize=358992 CPUtime=11.74 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 48580 0 0 0 1166 8 0 0 20 0 2 0 332904232 367607808 68913 33554432000 4194304 5964350 140735097500384 140542227228968 4381473 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) 358992
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10685
/proc/meminfo: memFree=23701940/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=358992 CPUtime=25.48 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 72526 0 0 0 2536 12 0 0 20 0 2 0 332904137 367607808 68913 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 89748 68913 194 433 0 89312 0
[pid=10644/tid=10646] ppid=10642 vsize=358992 CPUtime=24.53 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 48580 0 0 0 2445 8 0 0 20 0 2 0 332904232 367607808 68913 33554432000 4194304 5964350 140735097500384 140542227228968 5135289 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) 358992
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10688
/proc/meminfo: memFree=23664184/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=358992 CPUtime=51.07 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 74349 0 0 0 5095 12 0 0 20 0 2 0 332904137 367607808 73622 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 89748 73622 194 433 0 89312 0
[pid=10644/tid=10646] ppid=10642 vsize=358992 CPUtime=50.14 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 50403 0 0 0 5005 9 0 0 20 0 2 0 332904232 367607808 73622 33554432000 4194304 5964350 140735097500384 140542227229512 4399840 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) 358992
[startup+102.306 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 10688
/proc/meminfo: memFree=23634020/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=358992 CPUtime=102.26 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 74423 0 0 0 10214 12 0 0 20 0 2 0 332904137 367607808 72564 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 89748 72564 194 433 0 89312 0
[pid=10644/tid=10646] ppid=10642 vsize=358992 CPUtime=101.32 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 50477 0 0 0 10122 10 0 0 20 0 2 0 332904232 367607808 72564 33554432000 4194304 5964350 140735097500384 140542227229512 4381496 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 358992
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10688
/proc/meminfo: memFree=23529552/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=424528 CPUtime=162.23 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 87359 0 0 0 16209 14 0 0 20 0 2 0 332904137 434716672 88558 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 106132 88558 194 433 0 105696 0
[pid=10644/tid=10646] ppid=10642 vsize=424528 CPUtime=161.3 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 63413 0 0 0 16117 13 0 0 20 0 2 0 332904232 434716672 88558 33554432000 4194304 5964350 140735097500384 140542227228664 4381521 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) 424528
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 10688
/proc/meminfo: memFree=23466288/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=490064 CPUtime=222.22 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 102761 0 0 0 22204 18 0 0 20 0 2 0 332904137 501825536 104179 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 122516 104179 194 433 0 122080 0
[pid=10644/tid=10646] ppid=10642 vsize=490064 CPUtime=221.3 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 78815 0 0 0 22113 17 0 0 20 0 2 0 332904232 501825536 104179 33554432000 4194304 5964350 140735097500384 140542227228664 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 490064
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10689
/proc/meminfo: memFree=23409960/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=555600 CPUtime=282.21 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 116912 0 0 0 28200 21 0 0 20 0 2 0 332904137 568934400 118330 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 138900 118330 194 433 0 138464 0
[pid=10644/tid=10646] ppid=10642 vsize=555600 CPUtime=281.3 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 92966 0 0 0 28109 21 0 0 20 0 2 0 332904232 568934400 118330 33554432000 4194304 5964350 140735097500384 140542227228664 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 555600
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10689
/proc/meminfo: memFree=23358476/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=555600 CPUtime=342.2 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 129596 0 0 0 34196 24 0 0 20 0 2 0 332904137 568934400 131014 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 138900 131014 194 433 0 138464 0
[pid=10644/tid=10646] ppid=10642 vsize=555600 CPUtime=341.3 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 105650 0 0 0 34105 25 0 0 20 0 2 0 332904232 568934400 131014 33554432000 4194304 5964350 140735097500384 140542227228664 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 555600
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10689
/proc/meminfo: memFree=23304580/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=621136 CPUtime=402.19 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 142794 0 0 0 40192 27 0 0 20 0 2 0 332904137 636043264 144214 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 155284 144219 194 433 0 154848 0
[pid=10644/tid=10646] ppid=10642 vsize=621136 CPUtime=401.29 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 118854 0 0 0 40100 29 0 0 20 0 2 0 332904232 636043264 144220 33554432000 4194304 5964350 140735097500384 140542227228664 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 621136
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10689
/proc/meminfo: memFree=23260464/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=686672 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 243333 0 0 0 130049 77 0 0 20 0 2 0 332904232 1172914176 268758 33554432000 4194304 5964350 140735097500384 140542227228664 4382640 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1145424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10698
/proc/meminfo: memFree=22647180/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1145424 CPUtime=1362 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 273709 0 0 0 136137 63 0 0 20 0 2 0 332904137 1172914176 275188 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 286356 275188 194 433 0 285920 0
[pid=10644/tid=10646] ppid=10642 vsize=1145424 CPUtime=1361.25 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 249763 0 0 0 136045 80 0 0 20 0 2 0 332904232 1172914176 275188 33554432000 4194304 5964350 140735097500384 140542227228664 4381480 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1145424
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10698
/proc/meminfo: memFree=22625044/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1145424 CPUtime=1422 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 279153 0 0 0 142135 65 0 0 20 0 2 0 332904137 1172914176 280632 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 286356 280632 194 433 0 285920 0
[pid=10644/tid=10646] ppid=10642 vsize=1145424 CPUtime=1421.26 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 255207 0 0 0 142043 83 0 0 20 0 2 0 332904232 1172914176 280632 33554432000 4194304 5964350 140735097500384 140542227228664 4381557 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1145424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10698
/proc/meminfo: memFree=22601652/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1210960 CPUtime=1481.98 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 284987 0 0 0 148131 67 0 0 20 0 2 0 332904137 1240023040 286466 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 302740 286466 194 433 0 302304 0
[pid=10644/tid=10646] ppid=10642 vsize=1210960 CPUtime=1481.25 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 261041 0 0 0 148039 86 0 0 20 0 2 0 332904232 1240023040 286466 33554432000 4194304 5964350 140735097500384 140542227228664 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1210960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10699
/proc/meminfo: memFree=22563956/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1210960 CPUtime=1541.97 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 291113 0 0 0 154128 69 0 0 20 0 2 0 332904137 1240023040 292592 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 302740 292592 194 433 0 302304 0
[pid=10644/tid=10646] ppid=10642 vsize=1210960 CPUtime=1541.25 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 267167 0 0 0 154037 88 0 0 20 0 2 0 332904232 1240023040 292592 33554432000 4194304 5964350 140735097500384 140542227228664 4381622 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1210960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10699
/proc/meminfo: memFree=22506792/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1276496 CPUtime=1601.97 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 297855 0 0 0 160126 71 0 0 20 0 2 0 332904137 1307131904 299334 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 319124 299334 194 433 0 318688 0
[pid=10644/tid=10646] ppid=10642 vsize=1276496 CPUtime=1601.25 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 273909 0 0 0 160034 91 0 0 20 0 2 0 332904232 1307131904 299334 33554432000 4194304 5964350 140735097500384 140542227228664 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1276496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10699
/proc/meminfo: memFree=22454752/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1276496 CPUtime=1661.95 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 304704 0 0 0 166122 73 0 0 20 0 2 0 332904137 1307131904 306201 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 319124 306201 194 433 0 318688 0
[pid=10644/tid=10646] ppid=10642 vsize=1276496 CPUtime=1661.25 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 280758 0 0 0 166030 95 0 0 20 0 2 0 332904232 1307131904 306201 33554432000 4194304 5964350 140735097500384 140542227228664 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1276496
[startup+1722.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 10700
/proc/meminfo: memFree=22420176/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1276496 CPUtime=1721.94 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 310451 0 0 0 172119 75 0 0 20 0 2 0 332904137 1307131904 311959 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 319124 311959 194 433 0 318688 0
[pid=10644/tid=10646] ppid=10642 vsize=1276496 CPUtime=1721.24 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 286505 0 0 0 172027 97 0 0 20 0 2 0 332904232 1307131904 311959 33554432000 4194304 5964350 140735097500384 140542227228664 4381622 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1276496
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10700
/proc/meminfo: memFree=22394296/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1781.92 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 316888 0 0 0 178115 77 0 0 20 0 2 0 332904137 1374240768 318427 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 318427 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1781.24 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 292942 0 0 0 178023 101 0 0 20 0 2 0 332904232 1374240768 318427 33554432000 4194304 5964350 140735097500384 140542227228664 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1342032
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10700
/proc/meminfo: memFree=22389072/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1791.52 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 318069 0 0 0 179075 77 0 0 20 0 2 0 332904137 1374240768 319611 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 319611 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1790.84 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 294123 0 0 0 178983 101 0 0 20 0 2 0 332904232 1374240768 319611 33554432000 4194304 5964350 140735097500384 140542227228472 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 1342032
[startup+1795.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10700
/proc/meminfo: memFree=22387460/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1794.72 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 318454 0 0 0 179395 77 0 0 20 0 2 0 332904137 1374240768 319996 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 319996 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1794.04 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 294508 0 0 0 179303 101 0 0 20 0 2 0 332904232 1374240768 319996 33554432000 4194304 5964350 140735097500384 140542227228664 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 1342032
[startup+1798.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10700
/proc/meminfo: memFree=22386220/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1797.92 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 318898 0 0 0 179714 78 0 0 20 0 2 0 332904137 1374240768 320444 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 320444 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1797.24 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 294952 0 0 0 179623 101 0 0 20 0 2 0 332904232 1374240768 320444 33554432000 4194304 5964350 140735097500384 140542227228664 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1342032
[startup+1799.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10700
/proc/meminfo: memFree=22385596/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1798.72 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 319020 0 0 0 179794 78 0 0 20 0 2 0 332904137 1374240768 320566 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 320566 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1798.04 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 295074 0 0 0 179703 101 0 0 20 0 2 0 332904232 1374240768 320566 33554432000 4194304 5964350 140735097500384 140542227228664 4381569 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 1342032
[startup+1799.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10700
/proc/meminfo: memFree=22385100/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1799.13 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 319076 0 0 0 179835 78 0 0 20 0 2 0 332904137 1374240768 320622 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 320622 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1798.44 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 295130 0 0 0 179743 101 0 0 20 0 2 0 332904232 1374240768 320622 33554432000 4194304 5964350 140735097500384 140542227228664 4221072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 1342032
[startup+1799.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10700
/proc/meminfo: memFree=22385100/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1799.52 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 319141 0 0 0 179874 78 0 0 20 0 2 0 332904137 1374240768 320687 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 320687 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1798.84 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 295195 0 0 0 179783 101 0 0 20 0 2 0 332904232 1374240768 320687 33554432000 4194304 5964350 140735097500384 140542227228664 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 1342032
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10700
/proc/meminfo: memFree=22385100/32873844 swapFree=7112/7112
[pid=10644] ppid=10642 vsize=1342032 CPUtime=1799.62 cores=1,3,5,7
/proc/10644/stat : 10644 (wbo1.72) S 10642 10644 7385 0 -1 4202496 319141 0 0 0 179884 78 0 0 20 0 2 0 332904137 1374240768 320687 33554432000 4194304 5964350 140735097500384 140735097499904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 335508 320687 194 433 0 335072 0
[pid=10644/tid=10646] ppid=10642 vsize=1342032 CPUtime=1798.94 cores=1,3,5,7
/proc/10644/task/10646/stat : 10646 (wbo1.72) R 10642 10644 7385 0 -1 4202560 295195 0 0 0 179793 101 0 0 20 0 2 0 332904232 1374240768 320687 33554432000 4194304 5964350 140735097500384 140542227228664 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 1342032
Child status: 255
Real time (s): 1800.06
CPU time (s): 1799.95
CPU user time (s): 1798.87
CPU system time (s): 1.08583
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 1342032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.08583
maximum resident set size= 1282756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319143
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= 113
involuntary context switches= 1909
runsolver used 3.42948 second user time and 10.0085 second system time
The end