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-3727563-1338662151/watcher-3727563-1338662151 -o /tmp/evaluation-result-3727563-1338662151/solver-3727563-1338662151 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727563-1338662151.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/174 3197
/proc/meminfo: memFree=30887308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83584 CPUtime=0 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 2 0 332340926 85590016 700 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20896 700 189 433 0 20460 0
[pid=3196/tid=3199] ppid=3192 vsize=83584 CPUtime=0 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 332340927 85590016 701 33554432000 4194304 5964350 140735077431056 140735077431056 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.01617 s]
/proc/loadavg: 2.00 2.01 2.00 4/174 3197
/proc/meminfo: memFree=30887308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83584 CPUtime=0.01 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 777 0 0 0 1 0 0 0 20 0 2 0 332340926 85590016 728 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20896 728 190 433 0 20460 0
[pid=3196/tid=3199] ppid=3192 vsize=83584 CPUtime=0 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 2 0 332340927 85590016 728 33554432000 4194304 5964350 140735077431056 140735077431056 5136340 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) 83584
[startup+0.100186 s]
/proc/loadavg: 2.00 2.01 2.00 4/174 3197
/proc/meminfo: memFree=30887308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83584 CPUtime=0.09 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 979 0 0 0 9 0 0 0 20 0 2 0 332340926 85590016 930 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20896 930 190 433 0 20460 0
[pid=3196/tid=3199] ppid=3192 vsize=83584 CPUtime=0.08 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 275 0 0 0 8 0 0 0 20 0 2 0 332340927 85590016 930 33554432000 4194304 5964350 140735077431056 140735077431056 5136340 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) 83584
[startup+0.300142 s]
/proc/loadavg: 2.00 2.01 2.00 4/174 3197
/proc/meminfo: memFree=30887308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83584 CPUtime=0.29 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 1340 0 0 0 29 0 0 0 20 0 2 0 332340926 85590016 1291 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20896 1291 190 433 0 20460 0
[pid=3196/tid=3199] ppid=3192 vsize=83584 CPUtime=0.28 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 636 0 0 0 28 0 0 0 20 0 2 0 332340927 85590016 1291 33554432000 4194304 5964350 140735077431056 140735077431056 4221120 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) 83584
[startup+0.700144 s]
/proc/loadavg: 2.00 2.01 2.00 4/174 3197
/proc/meminfo: memFree=30887308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83728 CPUtime=0.69 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 1696 0 0 0 69 0 0 0 20 0 2 0 332340926 85737472 1647 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20932 1647 190 433 0 20496 0
[pid=3196/tid=3199] ppid=3192 vsize=83728 CPUtime=0.68 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 992 0 0 0 68 0 0 0 20 0 2 0 332340927 85737472 1647 33554432000 4194304 5964350 140735077431056 140324899551272 5142878 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) 83728
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30874556/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83728 CPUtime=1.49 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 2278 0 0 0 149 0 0 0 20 0 2 0 332340926 85737472 2229 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20932 2230 190 433 0 20496 0
[pid=3196/tid=3199] ppid=3192 vsize=83728 CPUtime=1.48 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 1575 0 0 0 148 0 0 0 20 0 2 0 332340927 85737472 2230 33554432000 4194304 5964350 140735077431056 140324899551032 4400458 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) 83728
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30869348/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=83800 CPUtime=3.08 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 3234 0 0 0 308 0 0 0 20 0 2 0 332340926 85811200 3195 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 20950 3195 190 433 0 20514 0
[pid=3196/tid=3199] ppid=3192 vsize=83800 CPUtime=3.07 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 2530 0 0 0 307 0 0 0 20 0 2 0 332340927 85811200 3195 33554432000 4194304 5964350 140735077431056 140324899550744 4399872 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83800
[startup+6.3002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30856176/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=84052 CPUtime=6.29 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 4413 0 0 0 628 1 0 0 20 0 2 0 332340926 86069248 4374 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 21013 4374 190 433 0 20577 0
[pid=3196/tid=3199] ppid=3192 vsize=84052 CPUtime=6.26 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 3709 0 0 0 626 0 0 0 20 0 2 0 332340927 86069248 4374 33554432000 4194304 5964350 140735077431056 140324899550744 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) 84052
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30841308/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=85328 CPUtime=12.68 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 6606 0 0 0 1267 1 0 0 20 0 2 0 332340926 87375872 6775 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 21332 6775 190 433 0 20896 0
[pid=3196/tid=3199] ppid=3192 vsize=85328 CPUtime=12.65 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 5902 0 0 0 1264 1 0 0 20 0 2 0 332340927 87375872 6775 33554432000 4194304 5964350 140735077431056 140324899551272 4399906 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) 85328
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30814648/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=87080 CPUtime=25.48 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 9730 0 0 0 2546 2 0 0 20 0 2 0 332340926 89169920 9899 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 21770 9899 190 433 0 21334 0
[pid=3196/tid=3199] ppid=3192 vsize=87080 CPUtime=25.41 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 9026 0 0 0 2539 2 0 0 20 0 2 0 332340927 89169920 9899 33554432000 4194304 5964350 140735077431056 140324899551272 4221120 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) 87080
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3206
/proc/meminfo: memFree=30777816/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=89184 CPUtime=51.08 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 14465 0 0 0 5102 6 0 0 20 0 2 0 332340926 91324416 14634 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 22296 14634 190 433 0 21860 0
[pid=3196/tid=3199] ppid=3192 vsize=89184 CPUtime=50.95 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 13761 0 0 0 5089 6 0 0 20 0 2 0 332340927 91324416 14634 33554432000 4194304 5964350 140735077431056 140324899551032 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89184
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 3206
/proc/meminfo: memFree=30719556/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=157992 CPUtime=102.26 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 22539 0 0 0 10212 14 0 0 20 0 2 0 332340926 161783808 22742 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 39498 22742 190 433 0 39062 0
[pid=3196/tid=3199] ppid=3192 vsize=157992 CPUtime=102.01 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 21835 0 0 0 10186 15 0 0 20 0 2 0 332340927 161783808 22742 33554432000 4194304 5964350 140735077431056 140324899550744 4221120 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) 157992
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3206
/proc/meminfo: memFree=30668460/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=159380 CPUtime=162.24 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 30081 0 0 0 16201 23 0 0 20 0 2 0 332340926 163205120 30284 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 39845 30284 190 433 0 39409 0
[pid=3196/tid=3199] ppid=3192 vsize=159380 CPUtime=161.85 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 29377 0 0 0 16160 25 0 0 20 0 2 0 332340927 163205120 30284 33554432000 4194304 5964350 140735077431056 140324899551272 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 159380
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3206
/proc/meminfo: memFree=30617744/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=227452 CPUtime=222.2 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 37445 0 0 0 22189 31 0 0 20 0 2 0 332340926 232910848 37631 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 56863 37631 190 433 0 56427 0
[pid=3196/tid=3199] ppid=3192 vsize=227452 CPUtime=221.67 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 36741 0 0 0 22133 34 0 0 20 0 2 0 332340927 232910848 37631 33554432000 4194304 5964350 140735077431056 140324899551224 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 227452
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3210
/proc/meminfo: memFree=30575412/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=228768 CPUtime=282.2 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 43486 0 0 0 28182 38 0 0 20 0 2 0 332340926 234258432 44175 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 57192 44175 190 433 0 56756 0
[pid=3196/tid=3199] ppid=3192 vsize=228768 CPUtime=281.51 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 42782 0 0 0 28109 42 0 0 20 0 2 0 332340927 234258432 44175 33554432000 4194304 5964350 140735077431056 140324899551272 4379231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 228768
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3210
/proc/meminfo: memFree=30537508/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=230832 CPUtime=342.19 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 48207 0 0 0 34173 46 0 0 20 0 2 0 332340926 236371968 48896 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 57708 48896 190 433 0 57272 0
[pid=3196/tid=3199] ppid=3192 vsize=230832 CPUtime=341.36 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 47503 0 0 0 34085 51 0 0 20 0 2 0 332340927 236371968 48896 33554432000 4194304 5964350 140735077431056 140324899550744 4379168 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 230832
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3288
/proc/meminfo: memFree=30610976/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=231412 CPUtime=402.18 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 52592 0 0 0 40166 52 0 0 20 0 2 0 332340926 236965888 53281 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3295
/proc/meminfo: memFree=30287696/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=506388 CPUtime=1421.95 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 111959 0 0 0 142058 137 0 0 20 0 2 0 332340926 518541312 112576 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 126597 112576 190 433 0 126161 0
[pid=3196/tid=3199] ppid=3192 vsize=506388 CPUtime=1418.51 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 111255 0 0 0 141693 158 0 0 20 0 2 0 332340927 518541312 112576 33554432000 4194304 5964350 140735077431056 140324899550744 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 506388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3299
/proc/meminfo: memFree=30268456/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=508668 CPUtime=1481.93 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 115803 0 0 0 148050 143 0 0 20 0 2 0 332340926 520876032 116420 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 127167 116420 190 433 0 126731 0
[pid=3196/tid=3199] ppid=3192 vsize=508668 CPUtime=1478.35 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 115099 0 0 0 147670 165 0 0 20 0 2 0 332340927 520876032 116420 33554432000 4194304 5964350 140735077431056 140324899551272 4379168 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 508668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3322
/proc/meminfo: memFree=30265696/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=509068 CPUtime=1541.91 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 115912 0 0 0 154048 143 0 0 20 0 2 0 332340926 521285632 116513 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 127267 116513 190 433 0 126831 0
[pid=3196/tid=3199] ppid=3192 vsize=509068 CPUtime=1538.18 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 115208 0 0 0 153652 166 0 0 20 0 2 0 332340927 521285632 116513 33554432000 4194304 5964350 140735077431056 140324899550744 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 509068
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3322
/proc/meminfo: memFree=30244176/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=509428 CPUtime=1601.89 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 119165 0 0 0 160041 148 0 0 20 0 2 0 332340926 521654272 119766 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 127357 119766 190 433 0 126921 0
[pid=3196/tid=3199] ppid=3192 vsize=509428 CPUtime=1598.02 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 118461 0 0 0 159630 172 0 0 20 0 2 0 332340927 521654272 119766 33554432000 4194304 5964350 140735077431056 140324899550744 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 509428
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3322
/proc/meminfo: memFree=30226944/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=509428 CPUtime=1661.88 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 121940 0 0 0 166036 152 0 0 20 0 2 0 332340926 521654272 122541 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 127357 122541 190 433 0 126921 0
[pid=3196/tid=3199] ppid=3192 vsize=509428 CPUtime=1657.86 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 121236 0 0 0 165609 177 0 0 20 0 2 0 332340927 521654272 122541 33554432000 4194304 5964350 140735077431056 140324899550744 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 509428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3322
/proc/meminfo: memFree=30224836/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1721.87 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 122396 0 0 0 172034 153 0 0 20 0 2 0 332340926 588763136 122997 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 122997 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1717.71 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 121692 0 0 0 171592 179 0 0 20 0 2 0 332340927 588763136 122997 33554432000 4194304 5964350 140735077431056 140324899550744 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 574964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30211444/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1781.87 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 124164 0 0 0 178030 157 0 0 20 0 2 0 332340926 588763136 124765 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 124765 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1777.56 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 123460 0 0 0 177573 183 0 0 20 0 2 0 332340927 588763136 124765 33554432000 4194304 5964350 140735077431056 140324899551272 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 574964
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 3323
/proc/meminfo: memFree=30204996/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1791.47 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 125268 0 0 0 178989 158 0 0 20 0 2 0 332340926 588763136 125869 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 125869 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1787.14 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 124564 0 0 0 178529 185 0 0 20 0 2 0 332340927 588763136 125869 33554432000 4194304 5964350 140735077431056 140324899550744 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 574964
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30202888/32873648 swapFree=6864/6864
[pid=3196] ppid=3192 vsize=574964 CPUtime=1794.67 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 125594 0 0 0 179308 159 0 0 20 0 2 0 332340926 588763136 126195 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126195 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1790.33 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 124890 0 0 0 178847 186 0 0 20 0 2 0 332340927 588763136 126195 33554432000 4194304 5964350 140735077431056 140324899551224 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 574964
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30201524/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1797.86 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 125946 0 0 0 179627 159 0 0 20 0 2 0 332340926 588763136 126547 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126547 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1793.52 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 125242 0 0 0 179166 186 0 0 20 0 2 0 332340927 588763136 126547 33554432000 4194304 5964350 140735077431056 140324899551272 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 574964
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30200904/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1798.66 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 126034 0 0 0 179707 159 0 0 20 0 2 0 332340926 588763136 126635 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126635 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1794.32 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 125331 0 0 0 179246 186 0 0 20 0 2 0 332340927 588763136 126636 33554432000 4194304 5964350 140735077431056 140324899551272 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 574964
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30200160/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1799.06 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 126077 0 0 0 179747 159 0 0 20 0 2 0 332340926 588763136 126678 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126678 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1794.72 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 125373 0 0 0 179286 186 0 0 20 0 2 0 332340927 588763136 126678 33554432000 4194304 5964350 140735077431056 140324899550744 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 574964
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30200160/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1799.46 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 126120 0 0 0 179787 159 0 0 20 0 2 0 332340926 588763136 126721 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126721 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1795.11 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 125416 0 0 0 179325 186 0 0 20 0 2 0 332340927 588763136 126721 33554432000 4194304 5964350 140735077431056 140324899550744 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 574964
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3323
/proc/meminfo: memFree=30200160/32873648 swapFree=6860/6860
[pid=3196] ppid=3192 vsize=574964 CPUtime=1799.56 cores=1,3,5,7
/proc/3196/stat : 3196 (wbo1.72) S 3192 3196 986 0 -1 4202496 126130 0 0 0 179797 159 0 0 20 0 2 0 332340926 588763136 126731 33554432000 4194304 5964350 140735077431056 140735077430576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3196/statm: 143741 126731 190 433 0 143305 0
[pid=3196/tid=3199] ppid=3192 vsize=574964 CPUtime=1795.21 cores=1,3,5,7
/proc/3196/task/3199/stat : 3199 (wbo1.72) R 3192 3196 986 0 -1 4202560 125426 0 0 0 179335 186 0 0 20 0 2 0 332340927 588763136 126731 33554432000 4194304 5964350 140735077431056 140324899550744 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 574964
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3196 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=358368
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=876714
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1797.97
CPU system time (s): 1.59
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 574964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.36
system time used= 1.87671
maximum resident set size= 506936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126133
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= 181
involuntary context switches= 1969
runsolver used 3.2595 second user time and 8.83866 second system time
The end