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-3727833-1338667764/watcher-3727833-1338667764 -o /tmp/evaluation-result-3727833-1338667764/solver-3727833-1338667764 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727833-1338667764.opb
running on 4 cores: 0,2,4,6
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: 3.70 3.92 3.88 3/172 18379
/proc/meminfo: memFree=27761284/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=5116 CPUtime=0 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) R 18376 18379 17860 0 -1 4202496 646 0 0 0 0 0 0 0 20 0 1 0 332901323 5238784 598 33554432000 4194304 5964350 140736856793504 140736856791448 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 1279 598 160 433 0 759 0
[startup+0.0326569 s]
/proc/loadavg: 3.70 3.92 3.88 3/172 18379
/proc/meminfo: memFree=27761284/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=87308 CPUtime=0.02 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 1908 0 0 0 2 0 0 0 20 0 2 0 332901323 89403392 1776 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21827 1776 175 433 0 21391 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 87308
[startup+0.100174 s]
/proc/loadavg: 3.70 3.92 3.88 3/172 18379
/proc/meminfo: memFree=27761284/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=0.09 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 3895 0 0 0 9 0 0 0 20 0 2 0 332901323 88813568 3450 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 3450 188 433 0 21247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86732
[startup+0.300152 s]
/proc/loadavg: 3.70 3.92 3.88 3/172 18379
/proc/meminfo: memFree=27761284/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=0.29 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 7353 0 0 0 28 1 0 0 20 0 2 0 332901323 88813568 5811 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 5811 188 433 0 21247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86732
[startup+0.700163 s]
/proc/loadavg: 3.70 3.92 3.88 3/172 18379
/proc/meminfo: memFree=27761284/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=0.69 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 12203 0 0 0 67 2 0 0 20 0 2 0 332901323 88813568 8834 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 8834 190 433 0 21247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86732
[startup+1.50025 s]
/proc/loadavg: 3.70 3.92 3.88 3/179 18386
/proc/meminfo: memFree=27714076/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=1.49 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 16036 0 0 0 146 3 0 0 20 0 2 0 332901323 88813568 11174 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 11174 190 433 0 21247 0
[pid=18379/tid=18386] ppid=18376 vsize=86732 CPUtime=1.45 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 14366 0 0 0 142 3 0 0 20 0 2 0 332901326 88813568 11174 33554432000 4194304 5964350 140736856793504 140703562308424 5130834 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86732
[startup+3.10026 s]
/proc/loadavg: 3.70 3.92 3.88 3/179 18386
/proc/meminfo: memFree=27697576/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=3.09 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 26210 0 0 0 304 5 0 0 20 0 2 0 332901323 88813568 15188 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 15188 192 433 0 21247 0
[pid=18379/tid=18386] ppid=18376 vsize=86732 CPUtime=3.05 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 24540 0 0 0 300 5 0 0 20 0 2 0 332901326 88813568 15188 33554432000 4194304 5964350 140736856793504 140703562307928 5122387 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86732
[startup+6.3002 s]
/proc/loadavg: 3.56 3.89 3.87 3/179 18386
/proc/meminfo: memFree=27680588/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=6.28 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 27088 0 0 0 623 5 0 0 20 0 2 0 332901323 88813568 15481 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 15481 192 433 0 21247 0
[pid=18379/tid=18386] ppid=18376 vsize=86732 CPUtime=6.25 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 25418 0 0 0 619 6 0 0 20 0 2 0 332901326 88813568 15481 33554432000 4194304 5964350 140736856793504 140703562307912 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86732
[startup+12.7002 s]
/proc/loadavg: 3.44 3.86 3.86 3/179 18386
/proc/meminfo: memFree=27670468/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=86732 CPUtime=12.69 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 28350 0 0 0 1263 6 0 0 20 0 2 0 332901323 88813568 16742 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 21683 16742 192 433 0 21247 0
[pid=18379/tid=18386] ppid=18376 vsize=86732 CPUtime=12.65 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 26680 0 0 0 1259 6 0 0 20 0 2 0 332901326 88813568 16742 33554432000 4194304 5964350 140736856793504 140703562307944 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86732
[startup+25.5003 s]
/proc/loadavg: 3.12 3.76 3.83 3/179 18387
/proc/meminfo: memFree=27637244/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=152268 CPUtime=25.48 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 31107 0 0 0 2542 6 0 0 20 0 2 0 332901323 155922432 19499 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 38067 19499 192 433 0 37631 0
[pid=18379/tid=18386] ppid=18376 vsize=152268 CPUtime=25.45 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 29437 0 0 0 2539 6 0 0 20 0 2 0 332901326 155922432 19499 33554432000 4194304 5964350 140736856793504 140703562307912 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 152268
[startup+51.1003 s]
/proc/loadavg: 2.74 3.62 3.78 3/180 18390
/proc/meminfo: memFree=27626336/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=152268 CPUtime=51.07 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 32259 0 0 0 5101 6 0 0 20 0 2 0 332901323 155922432 20817 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 38067 20817 192 433 0 37631 0
[pid=18379/tid=18386] ppid=18376 vsize=152268 CPUtime=51.04 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 30589 0 0 0 5097 7 0 0 20 0 2 0 332901326 155922432 20817 33554432000 4194304 5964350 140736856793504 140703562307384 4400458 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152268
[startup+102.307 s]
/proc/loadavg: 2.32 3.37 3.68 3/179 18390
/proc/meminfo: memFree=27559336/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=152268 CPUtime=102.26 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 40649 0 0 0 10217 9 0 0 20 0 2 0 332901323 155922432 30142 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 38067 30142 192 433 0 37631 0
[pid=18379/tid=18386] ppid=18376 vsize=152268 CPUtime=102.23 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 38979 0 0 0 10212 11 0 0 20 0 2 0 332901326 155922432 30142 33554432000 4194304 5964350 140736856793504 140703562308120 4403510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 152268
[startup+162.3 s]
/proc/loadavg: 2.11 3.12 3.58 3/179 18390
/proc/meminfo: memFree=27536416/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=152268 CPUtime=162.23 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 40816 0 0 0 16214 9 0 0 20 0 2 0 332901323 155922432 30412 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 38067 30412 192 433 0 37631 0
[pid=18379/tid=18386] ppid=18376 vsize=152268 CPUtime=162.22 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 39146 0 0 0 16210 12 0 0 20 0 2 0 332901326 155922432 30412 33554432000 4194304 5964350 140736856793504 140703562308120 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 152268
[startup+222.3 s]
/proc/loadavg: 2.13 2.94 3.48 3/178 18390
/proc/meminfo: memFree=27495428/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=152268 CPUtime=222.22 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 41728 0 0 0 22213 9 0 0 20 0 2 0 332901323 155922432 31483 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 38067 31483 192 433 0 37631 0
[pid=18379/tid=18386] ppid=18376 vsize=152268 CPUtime=222.22 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 40058 0 0 0 22209 13 0 0 20 0 2 0 332901326 155922432 31483 33554432000 4194304 5964350 140736856793504 140703562307576 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 152268
[startup+282.3 s]
/proc/loadavg: 2.08 2.78 3.39 3/179 18391
/proc/meminfo: memFree=27438232/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=217804 CPUtime=282.21 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 47411 0 0 0 28209 12 0 0 20 0 2 0 332901323 223031296 37164 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 54451 37164 192 433 0 54015 0
[pid=18379/tid=18386] ppid=18376 vsize=217804 CPUtime=282.22 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 45741 0 0 0 28205 17 0 0 20 0 2 0 332901326 223031296 37164 33554432000 4194304 5964350 140736856793504 140703562307576 4379231 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 217804
[startup+342.3 s]
/proc/loadavg: 2.14 2.68 3.32 3/179 18392
/proc/meminfo: memFree=27411136/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=217804 CPUtime=342.2 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 50429 0 0 0 34206 14 0 0 20 0 2 0 332901323 223031296 40178 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 54451 40178 192 433 0 54015 0
[pid=18379/tid=18386] ppid=18376 vsize=217804 CPUtime=342.22 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 48759 0 0 0 34202 20 0 0 20 0 2 0 332901326 223031296 40178 33554432000 4194304 5964350 140736856793504 140703562307384 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 217804
[startup+402.3 s]
/proc/loadavg: 2.05 2.55 3.23 3/179 18392
/proc/meminfo: memFree=27358320/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=218888 CPUtime=402.17 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 54986 0 0 0 40200 17 0 0 20 0 2 0 332901323 224141312 45405 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 54722 45405 192 433 0 54286 0
[pid=18379/tid=18386] ppid=18376 vsize=218888 CPUtime=402.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 53316 0 0 0 40196 24 0 0 20 0 2 0 332901326 224141312 45405 33554432000 4194304 5964350 140736856793504 140703562307384 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 218888
[startup+462.3 s]
/proc/loadavg: 2.02 2.45 3.15 3/179 18392
/proc/meminfo: memFree=27322196/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=218888 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 92033 0 0 0 130151 70 0 0 20 0 2 0 332901326 426020864 85265 33554432000 4194304 5964350 140736856793504 140703562307384 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 416036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.42 3/180 18402
/proc/meminfo: memFree=26856208/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=416036 CPUtime=1361.99 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 96256 0 0 0 136146 53 0 0 20 0 2 0 332901323 426020864 87818 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104009 87818 192 433 0 103573 0
[pid=18379/tid=18386] ppid=18376 vsize=416036 CPUtime=1362.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 94586 0 0 0 136146 74 0 0 20 0 2 0 332901326 426020864 87818 33554432000 4194304 5964350 140736856793504 140703562307576 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 416036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.39 3/179 18402
/proc/meminfo: memFree=26829900/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=417120 CPUtime=1421.98 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 99988 0 0 0 142141 57 0 0 20 0 2 0 332901323 427130880 91848 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104280 91848 192 433 0 103844 0
[pid=18379/tid=18386] ppid=18376 vsize=417120 CPUtime=1422.21 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 98318 0 0 0 142143 78 0 0 20 0 2 0 332901326 427130880 91848 33554432000 4194304 5964350 140736856793504 140703562307384 4400003 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 417120
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/179 18402
/proc/meminfo: memFree=26797456/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=417120 CPUtime=1481.96 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 100525 0 0 0 148139 57 0 0 20 0 2 0 332901323 427130880 92467 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104280 92467 192 433 0 103844 0
[pid=18379/tid=18386] ppid=18376 vsize=417120 CPUtime=1482.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 98855 0 0 0 148140 80 0 0 20 0 2 0 332901326 427130880 92467 33554432000 4194304 5964350 140736856793504 140703562307448 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 417120
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.34 3/179 18402
/proc/meminfo: memFree=26775296/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=418204 CPUtime=1541.93 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 104659 0 0 0 154133 60 0 0 20 0 2 0 332901323 428240896 96854 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104551 96854 192 433 0 104115 0
[pid=18379/tid=18386] ppid=18376 vsize=418204 CPUtime=1542.19 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 102989 0 0 0 154135 84 0 0 20 0 2 0 332901326 428240896 96854 33554432000 4194304 5964350 140736856793504 140703562307576 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 418204
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.31 3/179 18403
/proc/meminfo: memFree=26761408/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=419828 CPUtime=1601.93 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 107729 0 0 0 160130 63 0 0 20 0 2 0 332901323 429903872 99775 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104957 99775 192 433 0 104521 0
[pid=18379/tid=18386] ppid=18376 vsize=419828 CPUtime=1602.19 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 106059 0 0 0 160132 87 0 0 20 0 2 0 332901326 429903872 99775 33554432000 4194304 5964350 140736856793504 140703562307384 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 419828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.29 3/179 18403
/proc/meminfo: memFree=26739340/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=419828 CPUtime=1661.92 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 107844 0 0 0 166129 63 0 0 20 0 2 0 332901323 429903872 99890 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104957 99890 192 433 0 104521 0
[pid=18379/tid=18386] ppid=18376 vsize=419828 CPUtime=1662.19 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 106174 0 0 0 166131 88 0 0 20 0 2 0 332901326 429903872 99890 33554432000 4194304 5964350 140736856793504 140703562307384 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 419828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/179 18403
/proc/meminfo: memFree=26720036/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=419828 CPUtime=1721.91 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 107927 0 0 0 172128 63 0 0 20 0 2 0 332901323 429903872 99973 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104957 99973 192 433 0 104521 0
[pid=18379/tid=18386] ppid=18376 vsize=419828 CPUtime=1722.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 106257 0 0 0 172130 90 0 0 20 0 2 0 332901326 429903872 99973 33554432000 4194304 5964350 140736856793504 140703562307384 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 419828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/179 18403
/proc/meminfo: memFree=26713896/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=419828 CPUtime=1781.9 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109082 0 0 0 178126 64 0 0 20 0 2 0 332901323 429903872 101128 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 104957 101128 192 433 0 104521 0
[pid=18379/tid=18386] ppid=18376 vsize=419828 CPUtime=1782.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 107412 0 0 0 178129 91 0 0 20 0 2 0 332901326 429903872 101128 33554432000 4194304 5964350 140736856793504 140703562307384 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 419828
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.25 3/179 18403
/proc/meminfo: memFree=26711912/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1791.51 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109480 0 0 0 179087 64 0 0 20 0 2 0 332901323 497012736 101526 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101526 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1791.81 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 107810 0 0 0 179089 92 0 0 20 0 2 0 332901326 497012736 101526 33554432000 4194304 5964350 140736856793504 140703562307528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 485364
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26710424/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1794.71 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109682 0 0 0 179407 64 0 0 20 0 2 0 332901323 497012736 101728 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101728 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1795.01 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108012 0 0 0 179409 92 0 0 20 0 2 0 332901326 497012736 101728 33554432000 4194304 5964350 140736856793504 140703562307576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 485364
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26710052/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1797.9 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109775 0 0 0 179726 64 0 0 20 0 2 0 332901323 497012736 101820 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101820 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1798.2 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108105 0 0 0 179728 92 0 0 20 0 2 0 332901326 497012736 101820 33554432000 4194304 5964350 140736856793504 140703562307448 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 485364
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26710052/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1798.7 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109790 0 0 0 179806 64 0 0 20 0 2 0 332901323 497012736 101835 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101835 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1799 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108120 0 0 0 179808 92 0 0 20 0 2 0 332901326 497012736 101835 33554432000 4194304 5964350 140736856793504 140703562307448 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 485364
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26709804/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1799.11 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109812 0 0 0 179847 64 0 0 20 0 2 0 332901323 497012736 101857 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101857 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1799.41 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108142 0 0 0 179849 92 0 0 20 0 2 0 332901326 497012736 101857 33554432000 4194304 5964350 140736856793504 140703562307448 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 485364
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26709804/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1799.5 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109829 0 0 0 179886 64 0 0 20 0 2 0 332901323 497012736 101874 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101874 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1799.8 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108159 0 0 0 179888 92 0 0 20 0 2 0 332901326 497012736 101874 33554432000 4194304 5964350 140736856793504 140703562307448 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 485364
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18403
/proc/meminfo: memFree=26709804/32873844 swapFree=7628/7628
[pid=18379] ppid=18376 vsize=485364 CPUtime=1799.6 cores=0,2,4,6
/proc/18379/stat : 18379 (wbo1.72) S 18376 18379 17860 0 -1 4202496 109834 0 0 0 179896 64 0 0 20 0 2 0 332901323 497012736 101879 33554432000 4194304 5964350 140736856793504 140736856793024 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18379/statm: 121341 101879 192 433 0 120905 0
[pid=18379/tid=18386] ppid=18376 vsize=485364 CPUtime=1799.9 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (wbo1.72) R 18376 18379 17860 0 -1 4202560 108164 0 0 0 179898 92 0 0 20 0 2 0 332901326 497012736 101879 33554432000 4194304 5964350 140736856793504 140703562307448 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 485364
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.95
CPU user time (s): 1799.01
CPU system time (s): 0.936857
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 485364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 0.936857
maximum resident set size= 407524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109836
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= 164
involuntary context switches= 2110
runsolver used 3.00354 second user time and 8.59169 second system time
The end