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-3727281-1338652610/watcher-3727281-1338652610 -o /tmp/evaluation-result-3727281-1338652610/solver-3727281-1338652610 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727281-1338652610.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: 1.92 1.98 1.90 3/175 16291
/proc/meminfo: memFree=28109900/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 830 0 0 0 0 0 0 0 20 0 2 0 331386887 85585920 782 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 782 191 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 331386888 85585920 782 33554432000 4194304 5964350 140735167267392 140735127557256 4395259 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0234121 s]
/proc/loadavg: 1.92 1.98 1.90 3/175 16291
/proc/meminfo: memFree=28109900/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=0.01 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 996 0 0 0 1 0 0 0 20 0 2 0 331386887 85585920 948 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 948 193 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=0.01 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 297 0 0 0 1 0 0 0 20 0 2 0 331386888 85585920 948 33554432000 4194304 5964350 140735167267392 140735127557256 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83580
[startup+0.100288 s]
/proc/loadavg: 1.92 1.98 1.90 3/175 16291
/proc/meminfo: memFree=28109900/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=0.09 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 1445 0 0 0 9 0 0 0 20 0 2 0 331386887 85585920 1352 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 1352 194 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=0.08 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 2 0 331386888 85585920 1352 33554432000 4194304 5964350 140735167267392 140735127557256 5133600 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) 83580
[startup+0.300253 s]
/proc/loadavg: 1.92 1.98 1.90 3/175 16291
/proc/meminfo: memFree=28109900/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=84156 CPUtime=0.29 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 2765 0 0 0 29 0 0 0 20 0 2 0 331386887 86175744 1867 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 21039 1867 195 433 0 20603 0
[pid=16291/tid=16292] ppid=16289 vsize=84156 CPUtime=0.28 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 2066 0 0 0 28 0 0 0 20 0 2 0 331386888 86175744 1867 33554432000 4194304 5964350 140735167267392 140735127557256 4403337 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) 84156
[startup+0.700278 s]
/proc/loadavg: 1.92 1.98 1.90 3/175 16291
/proc/meminfo: memFree=28109900/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=0.69 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 3902 0 0 0 69 0 0 0 20 0 2 0 331386887 85585920 2455 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 2455 195 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=0.68 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 3203 0 0 0 68 0 0 0 20 0 2 0 331386888 85585920 2455 33554432000 4194304 5964350 140735167267392 140735127557256 4403544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83580
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 16293
/proc/meminfo: memFree=28096600/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=1.49 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 5919 0 0 0 149 0 0 0 20 0 2 0 331386887 85585920 3236 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 3236 195 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=1.48 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 5220 0 0 0 148 0 0 0 20 0 2 0 331386888 85585920 3236 33554432000 4194304 5964350 140735167267392 140061038119752 4392627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83580
[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 16293
/proc/meminfo: memFree=28088716/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=3.09 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 7398 0 0 0 308 1 0 0 20 0 2 0 331386887 85585920 4166 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 4166 195 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=3.08 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 6699 0 0 0 308 0 0 0 20 0 2 0 331386888 85585920 4166 33554432000 4194304 5964350 140735167267392 140061038119864 4400007 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) 83580
[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.90 3/177 16293
/proc/meminfo: memFree=28079564/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=6.29 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 8185 0 0 0 628 1 0 0 20 0 2 0 331386887 85585920 4952 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 4952 195 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=6.28 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 7486 0 0 0 627 1 0 0 20 0 2 0 331386888 85585920 4952 33554432000 4194304 5964350 140735167267392 140061038119272 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83580
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 16293
/proc/meminfo: memFree=28063136/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=83580 CPUtime=12.69 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 9933 0 0 0 1268 1 0 0 20 0 2 0 331386887 85585920 6699 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 20895 6699 195 433 0 20459 0
[pid=16291/tid=16292] ppid=16289 vsize=83580 CPUtime=12.69 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 9234 0 0 0 1267 2 0 0 20 0 2 0 331386888 85585920 6699 33554432000 4194304 5964350 140735167267392 140061038119240 4400539 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83580
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 16293
/proc/meminfo: memFree=28038924/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=85508 CPUtime=25.49 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 12868 0 0 0 2547 2 0 0 20 0 2 0 331386887 87560192 9308 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 21377 9308 195 433 0 20941 0
[pid=16291/tid=16292] ppid=16289 vsize=85508 CPUtime=25.49 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 12169 0 0 0 2546 3 0 0 20 0 2 0 331386888 87560192 9308 33554432000 4194304 5964350 140735167267392 140061038119272 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85508
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 16293
/proc/meminfo: memFree=28015528/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=85508 CPUtime=51.07 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 14379 0 0 0 5105 2 0 0 20 0 2 0 331386887 87560192 10851 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 21377 10851 195 433 0 20941 0
[pid=16291/tid=16292] ppid=16289 vsize=85508 CPUtime=51.07 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 13680 0 0 0 5104 3 0 0 20 0 2 0 331386888 87560192 10851 33554432000 4194304 5964350 140735167267392 140061038118904 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) 85508
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 16293
/proc/meminfo: memFree=27966804/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=151768 CPUtime=102.27 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 21590 0 0 0 10221 6 0 0 20 0 2 0 331386887 155410432 18302 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 37942 18302 195 433 0 37506 0
[pid=16291/tid=16292] ppid=16289 vsize=151768 CPUtime=102.28 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 20891 0 0 0 10220 8 0 0 20 0 2 0 331386888 155410432 18302 33554432000 4194304 5964350 140735167267392 140061038118712 4400552 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) 151768
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 16293
/proc/meminfo: memFree=27897392/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=152128 CPUtime=162.25 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 30141 0 0 0 16214 11 0 0 20 0 2 0 331386887 155779072 26905 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 38032 26905 195 433 0 37596 0
[pid=16291/tid=16292] ppid=16289 vsize=152128 CPUtime=162.27 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 29442 0 0 0 16213 14 0 0 20 0 2 0 331386888 155779072 26905 33554432000 4194304 5964350 140735167267392 140061038118904 4403462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152128
[startup+222.307 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 16296
/proc/meminfo: memFree=27818596/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=217664 CPUtime=222.24 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 41250 0 0 0 22209 15 0 0 20 0 2 0 331386887 222887936 38014 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 54416 38014 195 433 0 53980 0
[pid=16291/tid=16292] ppid=16289 vsize=217664 CPUtime=222.27 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 40551 0 0 0 22208 19 0 0 20 0 2 0 331386888 222887936 38014 33554432000 4194304 5964350 140735167267392 140061038118968 4481056 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) 217664
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/178 16320
/proc/meminfo: memFree=27777120/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=216580 CPUtime=282.23 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 44733 0 0 0 28207 16 0 0 20 0 2 0 331386887 221777920 40594 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 54145 40594 195 433 0 53709 0
[pid=16291/tid=16292] ppid=16289 vsize=216580 CPUtime=282.26 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 44034 0 0 0 28205 21 0 0 20 0 2 0 331386888 221777920 40594 33554432000 4194304 5964350 140735167267392 140061038119864 4390798 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 216580
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 16320
/proc/meminfo: memFree=27747272/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=216580 CPUtime=342.21 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 44745 0 0 0 34205 16 0 0 20 0 2 0 331386887 221777920 40609 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 54145 40609 195 433 0 53709 0
[pid=16291/tid=16292] ppid=16289 vsize=216580 CPUtime=342.26 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 44046 0 0 0 34204 22 0 0 20 0 2 0 331386888 221777920 40609 33554432000 4194304 5964350 140735167267392 140061038119864 4403501 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 216580
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 16320
/proc/meminfo: memFree=27717476/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=216580 CPUtime=402.2 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 44746 0 0 0 40204 16 0 0 20 0 2 0 331386887 221777920 40708 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 88801 0 0 0 124166 60 0 0 20 0 2 0 331386888 424767488 86173 33554432000 4194304 5964350 140735167267392 140061038118712 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 414812
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16327
/proc/meminfo: memFree=27241140/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=414812 CPUtime=1302.03 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 90669 0 0 0 130160 43 0 0 20 0 2 0 331386887 424767488 87342 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 103703 87342 195 433 0 103267 0
[pid=16291/tid=16292] ppid=16289 vsize=414812 CPUtime=1302.26 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 89970 0 0 0 130164 62 0 0 20 0 2 0 331386888 424767488 87342 33554432000 4194304 5964350 140735167267392 140061038118712 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 414812
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16327
/proc/meminfo: memFree=27220804/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=414812 CPUtime=1362.02 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 90711 0 0 0 136159 43 0 0 20 0 2 0 331386887 424767488 87384 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 103703 87384 195 433 0 103267 0
[pid=16291/tid=16292] ppid=16289 vsize=414812 CPUtime=1362.26 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 90012 0 0 0 136163 63 0 0 20 0 2 0 331386888 424767488 87384 33554432000 4194304 5964350 140735167267392 140061038118712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 414812
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16330
/proc/meminfo: memFree=27202320/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=414812 CPUtime=1422.02 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 91409 0 0 0 142159 43 0 0 20 0 2 0 331386887 424767488 88082 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 103703 88082 195 433 0 103267 0
[pid=16291/tid=16292] ppid=16289 vsize=414812 CPUtime=1422.27 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 90710 0 0 0 142162 65 0 0 20 0 2 0 331386888 424767488 88082 33554432000 4194304 5964350 140735167267392 140061038118952 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 414812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16331
/proc/meminfo: memFree=27161160/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=414812 CPUtime=1482.01 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 99442 0 0 0 148152 49 0 0 20 0 2 0 331386887 424767488 96115 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 103703 96115 195 433 0 103267 0
[pid=16291/tid=16292] ppid=16289 vsize=414812 CPUtime=1482.27 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 98743 0 0 0 148156 71 0 0 20 0 2 0 331386888 424767488 96115 33554432000 4194304 5964350 140735167267392 140061038118712 4400342 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 414812
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16331
/proc/meminfo: memFree=27132344/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=414812 CPUtime=1541.99 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 101198 0 0 0 154149 50 0 0 20 0 2 0 331386887 424767488 98107 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 103703 98107 195 433 0 103267 0
[pid=16291/tid=16292] ppid=16289 vsize=414812 CPUtime=1542.26 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 100499 0 0 0 154153 73 0 0 20 0 2 0 331386888 424767488 98107 33554432000 4194304 5964350 140735167267392 140061038118904 4388770 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 414812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16331
/proc/meminfo: memFree=27098196/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=480348 CPUtime=1601.94 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 106734 0 0 0 160140 54 0 0 20 0 2 0 331386887 491876352 103722 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120087 103722 195 433 0 119651 0
[pid=16291/tid=16292] ppid=16289 vsize=480348 CPUtime=1602.23 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 106035 0 0 0 160144 79 0 0 20 0 2 0 331386888 491876352 103722 33554432000 4194304 5964350 140735167267392 140061038118712 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 480348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16331
/proc/meminfo: memFree=27086156/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=480348 CPUtime=1661.93 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 109347 0 0 0 166137 56 0 0 20 0 2 0 331386887 491876352 106335 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120087 106335 195 433 0 119651 0
[pid=16291/tid=16292] ppid=16289 vsize=480348 CPUtime=1662.23 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 108648 0 0 0 166141 82 0 0 20 0 2 0 331386888 491876352 106335 33554432000 4194304 5964350 140735167267392 140061038118904 4389005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 480348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16331
/proc/meminfo: memFree=27043500/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1721.92 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 114559 0 0 0 172131 61 0 0 20 0 2 0 331386887 492703744 111547 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 111547 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1722.23 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 113860 0 0 0 172135 88 0 0 20 0 2 0 331386888 492703744 111547 33554432000 4194304 5964350 140735167267392 140061038118712 4399926 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 481156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16332
/proc/meminfo: memFree=27029072/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1781.91 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 114848 0 0 0 178130 61 0 0 20 0 2 0 331386887 492703744 111836 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 111836 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1782.24 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 114149 0 0 0 178135 89 0 0 20 0 2 0 331386888 492703744 111836 33554432000 4194304 5964350 140735167267392 140061038118712 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 481156
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16332
/proc/meminfo: memFree=27028572/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1791.63 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 114983 0 0 0 179101 62 0 0 20 0 2 0 331386887 492703744 111971 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 111971 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1791.94 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 114284 0 0 0 179105 89 0 0 20 0 2 0 331386888 492703744 111971 33554432000 4194304 5964350 140735167267392 140061038118904 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (KiB) 481156
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16332
/proc/meminfo: memFree=27027084/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1794.82 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 115371 0 0 0 179420 62 0 0 20 0 2 0 331386887 492703744 112359 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 112359 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1795.15 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 114672 0 0 0 179426 89 0 0 20 0 2 0 331386888 492703744 112359 33554432000 4194304 5964350 140735167267392 140061038118904 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 481156
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16332
/proc/meminfo: memFree=27025596/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1798.01 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 115868 0 0 0 179739 62 0 0 20 0 2 0 331386887 492703744 112856 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 112856 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1798.34 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 115169 0 0 0 179744 90 0 0 20 0 2 0 331386888 492703744 112856 33554432000 4194304 5964350 140735167267392 140061038118904 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 481156
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16371
/proc/meminfo: memFree=27660680/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1798.81 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 116024 0 0 0 179819 62 0 0 20 0 2 0 331386887 492703744 113012 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 113012 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1799.14 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 115325 0 0 0 179824 90 0 0 20 0 2 0 331386888 492703744 113012 33554432000 4194304 5964350 140735167267392 140061038118904 4399774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 481156
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16371
/proc/meminfo: memFree=27652248/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1799.22 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 116065 0 0 0 179860 62 0 0 20 0 2 0 331386887 492703744 113053 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 113053 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1799.55 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 115366 0 0 0 179865 90 0 0 20 0 2 0 331386888 492703744 113053 33554432000 4194304 5964350 140735167267392 140061038118904 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 481156
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16371
/proc/meminfo: memFree=27652248/32873852 swapFree=6856/6856
[pid=16291] ppid=16289 vsize=481156 CPUtime=1799.62 cores=1,3,5,7
/proc/16291/stat : 16291 (wbo1.72) S 16289 16291 14594 0 -1 4202496 116112 0 0 0 179899 63 0 0 20 0 2 0 331386887 492703744 113100 33554432000 4194304 5964350 140735167267392 140735167266912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16291/statm: 120289 113100 195 433 0 119853 0
[pid=16291/tid=16292] ppid=16289 vsize=481156 CPUtime=1799.94 cores=1,3,5,7
/proc/16291/task/16292/stat : 16292 (wbo1.72) R 16289 16291 14594 0 -1 4202560 115413 0 0 0 179904 90 0 0 20 0 2 0 331386888 492703744 113100 33554432000 4194304 5964350 140735167267392 140061038118904 4222464 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) 481156
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.97
CPU user time (s): 1799.05
CPU system time (s): 0.91886
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 481156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 0.91886
maximum resident set size= 452408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116114
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= 163
involuntary context switches= 1844
runsolver used 3.14352 second user time and 8.78666 second system time
The end