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-3727425-1338653950/watcher-3727425-1338653950 -o /tmp/evaluation-result-3727425-1338653950/solver-3727425-1338653950 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727425-1338653950.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.03 2.01 1.93 3/179 4322
/proc/meminfo: memFree=28924364/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=21256 CPUtime=0 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 331519809 21766144 548 33554432000 4194304 5964350 140733221584672 140736583150360 5181526 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 5314 548 160 433 0 670 0
[startup+0.01214 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 4322
/proc/meminfo: memFree=28924364/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=22488 CPUtime=0 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4202496 868 0 0 0 0 0 0 0 20 0 1 0 331519809 23027712 820 33554432000 4194304 5964350 140733221584672 140736583150360 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 5622 821 182 433 0 978 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 22488
[startup+0.100256 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 4322
/proc/meminfo: memFree=28924364/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=26848 CPUtime=0.09 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4202496 2283 0 0 0 9 0 0 0 20 0 1 0 331519809 27492352 2202 33554432000 4194304 5964350 140733221584672 140736583150360 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 6712 2202 500 433 0 2068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26848
[startup+0.300288 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 4322
/proc/meminfo: memFree=28924364/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=36148 CPUtime=0.29 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4202496 5382 0 0 0 29 0 0 0 20 0 1 0 331519809 37015552 5107 33554432000 4194304 5964350 140733221584672 140736583150360 5368184 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 9037 5108 1206 433 0 4393 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36148
[startup+0.700293 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 4322
/proc/meminfo: memFree=28924364/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=54508 CPUtime=0.69 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4202496 11514 0 0 0 68 1 0 0 20 0 1 0 331519809 55816192 10982 33554432000 4194304 5964350 140733221584672 140733221583160 5367107 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 13660 10985 2603 433 0 9016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54508
[startup+1.50022 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 4323
/proc/meminfo: memFree=28877040/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=206156 CPUtime=1.49 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 40296 0 0 0 142 7 0 0 20 0 2 0 331519809 211103744 35554 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 51539 35554 172 433 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206156
[startup+3.10032 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4324
/proc/meminfo: memFree=28716612/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=265364 CPUtime=3.08 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 58317 0 0 0 298 10 0 0 20 0 2 0 331519809 271732736 53384 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 66341 53384 190 433 0 65905 0
[pid=4322/tid=4324] ppid=4320 vsize=265364 CPUtime=1.88 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 39114 0 0 0 179 9 0 0 20 0 2 0 331519930 271732736 53384 33554432000 4194304 5964350 140733221584672 140648776905024 5133807 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 265364
[startup+6.30039 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4324
/proc/meminfo: memFree=28710288/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=265364 CPUtime=6.28 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 58539 0 0 0 618 10 0 0 20 0 2 0 331519809 271732736 53606 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 66341 53606 190 433 0 65905 0
[pid=4322/tid=4324] ppid=4320 vsize=265364 CPUtime=5.07 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 39336 0 0 0 498 9 0 0 20 0 2 0 331519930 271732736 53606 33554432000 4194304 5964350 140733221584672 140648776905024 5122278 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) 265364
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 4324
/proc/meminfo: memFree=28708940/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=265364 CPUtime=12.68 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 59086 0 0 0 1257 11 0 0 20 0 2 0 331519809 271732736 54153 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 66341 54153 190 433 0 65905 0
[pid=4322/tid=4324] ppid=4320 vsize=265364 CPUtime=11.45 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 39883 0 0 0 1136 9 0 0 20 0 2 0 331519930 271732736 54153 33554432000 4194304 5964350 140733221584672 140648776915480 4445491 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) 265364
[startup+25.5004 s]
/proc/loadavg: 2.09 2.03 1.93 3/181 4324
/proc/meminfo: memFree=28693256/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=265364 CPUtime=25.48 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 74250 0 0 0 2534 14 0 0 20 0 2 0 331519809 271732736 58461 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 66341 58461 193 433 0 65905 0
[pid=4322/tid=4324] ppid=4320 vsize=265364 CPUtime=24.2 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 55047 0 0 0 2409 11 0 0 20 0 2 0 331519930 271732736 58461 33554432000 4194304 5964350 140733221584672 140648776915352 4445008 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) 265364
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 4324
/proc/meminfo: memFree=28595400/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=396436 CPUtime=51.07 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 103848 0 0 0 5086 21 0 0 20 0 2 0 331519809 405950464 83644 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 99109 83644 195 433 0 98673 0
[pid=4322/tid=4324] ppid=4320 vsize=396436 CPUtime=49.74 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 84645 0 0 0 4955 19 0 0 20 0 2 0 331519930 405950464 83644 33554432000 4194304 5964350 140733221584672 140648776914936 4392637 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) 396436
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.93 3/182 4327
/proc/meminfo: memFree=28492860/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=461972 CPUtime=102.27 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 125116 0 0 0 10201 26 0 0 20 0 2 0 331519809 473059328 107976 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 115493 107976 195 433 0 115057 0
[pid=4322/tid=4324] ppid=4320 vsize=461972 CPUtime=100.81 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 105913 0 0 0 10057 24 0 0 20 0 2 0 331519930 473059328 107976 33554432000 4194304 5964350 140733221584672 140648776915288 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 461972
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/180 4327
/proc/meminfo: memFree=28362296/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=593044 CPUtime=162.26 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 158502 0 0 0 16191 35 0 0 20 0 2 0 331519809 607277056 141362 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 148261 141362 195 433 0 147825 0
[pid=4322/tid=4324] ppid=4320 vsize=593044 CPUtime=160.66 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 139299 0 0 0 16032 34 0 0 20 0 2 0 331519930 607277056 141362 33554432000 4194304 5964350 140733221584672 140648776914936 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 593044
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/181 4328
/proc/meminfo: memFree=28136276/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=855188 CPUtime=222.24 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 213447 0 0 0 22176 48 0 0 20 0 2 0 331519809 875712512 196331 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 213797 196331 195 433 0 213361 0
[pid=4322/tid=4324] ppid=4320 vsize=855188 CPUtime=220.5 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 194244 0 0 0 22002 48 0 0 20 0 2 0 331519930 875712512 196331 33554432000 4194304 5964350 140733221584672 140648776914744 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 855188
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4328
/proc/meminfo: memFree=27855072/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=1117332 CPUtime=282.21 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 277848 0 0 0 28154 67 0 0 20 0 2 0 331519809 1144147968 261514 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 279333 261514 195 433 0 278897 0
[pid=4322/tid=4324] ppid=4320 vsize=1117332 CPUtime=280.32 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 258645 0 0 0 27964 68 0 0 20 0 2 0 331519930 1144147968 261514 33554432000 4194304 5964350 140733221584672 140648776914936 4389080 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) 1117332
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4328
/proc/meminfo: memFree=27595576/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=1379476 CPUtime=342.16 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 341255 0 0 0 34135 81 0 0 20 0 2 0 331519809 1412583424 324902 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 344869 324902 195 433 0 344433 0
[pid=4322/tid=4324] ppid=4320 vsize=1379476 CPUtime=340.14 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 322052 0 0 0 33931 83 0 0 20 0 2 0 331519930 1412583424 324902 33554432000 4194304 5964350 140733221584672 140648776914936 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1379476
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4328
/proc/meminfo: memFree=27360624/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=1576084 CPUtime=402.13 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 394928 0 0 0 40117 96 0 0 20 0 2 0 331519809 1613910016 378548 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 394021 378548 195 433 0 393585 0
[pid=4322/tid=4324] ppid=4320 vsize=1576084 CPUtime=399.96 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 375725 0 0 0 39897 99 0 0 20 0 2 0 331519930 1613910016 378548 33554432000 4194304 5964350 140733221584672 140648776914936 4399998 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) 1576084
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 4328
/proc/meminfo: memFree=27106080/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=1772692 CPUtime=462.1 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 448463 0 0 0 46100 110 0 0 20 0 2 0 331519809 1815236608 432065 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 443173 432065 195 433 0 442737 0
################
# More data... #
################
Current children cumulated vsize (KiB) 4918420
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/181 4416
/proc/meminfo: memFree=24063828/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5049492 CPUtime=1541.77 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1267532 0 0 0 153856 321 0 0 20 0 2 0 331519809 5170679808 1252315 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1262373 1252315 195 433 0 1261937 0
[pid=4322/tid=4324] ppid=4320 vsize=5049492 CPUtime=1536.86 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1248329 0 0 0 153345 341 0 0 20 0 2 0 331519930 5170679808 1252315 33554432000 4194304 5964350 140733221584672 140648776914936 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 5049492
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/181 4416
/proc/meminfo: memFree=23881220/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5246100 CPUtime=1601.75 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1313410 0 0 0 159844 331 0 0 20 0 2 0 331519809 5372006400 1298190 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1311525 1298190 195 433 0 1311089 0
[pid=4322/tid=4324] ppid=4320 vsize=5246100 CPUtime=1596.69 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1294207 0 0 0 159316 353 0 0 20 0 2 0 331519930 5372006400 1298190 33554432000 4194304 5964350 140733221584672 140648776914936 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 5246100
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/181 4416
/proc/meminfo: memFree=23697092/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5442708 CPUtime=1661.73 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1358914 0 0 0 165831 342 0 0 20 0 2 0 331519809 5573332992 1343687 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1360677 1343687 195 433 0 1360241 0
[pid=4322/tid=4324] ppid=4320 vsize=5442708 CPUtime=1656.53 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1339711 0 0 0 165288 365 0 0 20 0 2 0 331519930 5573332992 1343687 33554432000 4194304 5964350 140733221584672 140648776914936 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 5442708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23475608/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5639316 CPUtime=1721.72 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1413922 0 0 0 171815 357 0 0 20 0 2 0 331519809 5774659584 1399209 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1409829 1399209 195 433 0 1409393 0
[pid=4322/tid=4324] ppid=4320 vsize=5639316 CPUtime=1716.37 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1394719 0 0 0 171257 380 0 0 20 0 2 0 331519930 5774659584 1399209 33554432000 4194304 5964350 140733221584672 140648776914936 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 5639316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23317396/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5770388 CPUtime=1781.7 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1449922 0 0 0 177803 367 0 0 20 0 2 0 331519809 5908877312 1435202 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1442597 1435202 195 433 0 1442161 0
[pid=4322/tid=4324] ppid=4320 vsize=5770388 CPUtime=1776.2 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1430719 0 0 0 177230 390 0 0 20 0 2 0 331519930 5908877312 1435202 33554432000 4194304 5964350 140733221584672 140648776914936 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 5770388
############
# WARNING:
# current cumulated CPU time (1795.17 s) is less than in the last sample (1799.39 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.21997 s) to the 'lost time'.
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23257488/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1799.39 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1462176 0 0 0 179569 370 0 0 20 0 2 0 331519809 5975986176 1447454 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1447454 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1793.86 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1442973 0 0 0 178992 394 0 0 20 0 2 0 331519930 5975986176 1447454 33554432000 4194304 5964350 140733221584672 140648776914936 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 5835924
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23257488/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=0 CPUtime=1795.17 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4203524 1462178 0 0 0 179110 407 0 0 20 0 1 0 331519809 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23280800/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1791.3 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1457210 0 0 0 178761 369 0 0 20 0 2 0 331519809 5975986176 1442488 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1442488 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1785.78 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1438007 0 0 0 178185 393 0 0 20 0 2 0 331519930 5975986176 1442488 33554432000 4194304 5964350 140733221584672 140648776914936 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 5835924
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23270384/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1794.5 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1459138 0 0 0 179081 369 0 0 20 0 2 0 331519809 5975986176 1444416 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1444416 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1788.97 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1439935 0 0 0 178504 393 0 0 20 0 2 0 331519930 5975986176 1444416 33554432000 4194304 5964350 140733221584672 140648776914936 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 5835924
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23264928/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1797.69 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1460805 0 0 0 179399 370 0 0 20 0 2 0 331519809 5975986176 1446083 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1446083 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1792.16 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1441602 0 0 0 178822 394 0 0 20 0 2 0 331519930 5975986176 1446083 33554432000 4194304 5964350 140733221584672 140648776914936 4403484 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 5835924
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23261704/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1798.49 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1461563 0 0 0 179479 370 0 0 20 0 2 0 331519809 5975986176 1446841 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1446841 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1792.96 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1442360 0 0 0 178902 394 0 0 20 0 2 0 331519930 5975986176 1446841 33554432000 4194304 5964350 140733221584672 140648776914936 4403510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 5835924
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23257488/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=5835924 CPUtime=1799.29 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) S 4320 4322 2201 0 -1 4202496 1462117 0 0 0 179559 370 0 0 20 0 2 0 331519809 5975986176 1447395 33554432000 4194304 5964350 140733221584672 140733221584192 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 1458981 1447395 195 433 0 1458545 0
[pid=4322/tid=4324] ppid=4320 vsize=5835924 CPUtime=1793.76 cores=1,3,5,7
/proc/4322/task/4324/stat : 4324 (wbo1.72) R 4320 4322 2201 0 -1 4202560 1442914 0 0 0 178982 394 0 0 20 0 2 0 331519930 5975986176 1447395 33554432000 4194304 5964350 140733221584672 140648776914936 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 5835924
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23257488/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=0 CPUtime=1795.17 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4203524 1462178 0 0 0 179110 407 0 0 20 0 1 0 331519809 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 4417
/proc/meminfo: memFree=23257488/32873844 swapFree=7620/7620
[pid=4322] ppid=4320 vsize=0 CPUtime=1795.27 cores=1,3,5,7
/proc/4322/stat : 4322 (wbo1.72) R 4320 4322 2201 0 -1 4203524 1462178 0 0 0 179110 417 0 0 20 0 1 0 331519809 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.21997
# lost CPU user time (s): 4.58997
# lost CPU system time (s): -0.37
Real time (s): 1800.25
CPU time (s): 1799.56
CPU user time (s): 1795.7
CPU system time (s): 3.85836
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 5835924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.11
system time used= 4.22836
maximum resident set size= 5789824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1462178
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= 436
involuntary context switches= 1948
runsolver used 9.02263 second user time and 16.6165 second system time
The end