runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461582-1307119446/watcher-3461582-1307119446 -o /tmp/evaluation-result-3461582-1307119446/solver-3461582-1307119446 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461582-1307119446.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.97 2.03 2.01 2/521 25085
/proc/meminfo: memFree=21593864/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=11332 CPUtime=0.01 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 982 0 0 0 1 0 0 0 25 0 1 0 804360076 11603968 935 33554432000 4194304 5714214 140734690128528 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 2833 937 209 372 0 812 0
[startup+0.11376 s]
/proc/loadavg: 1.97 2.03 2.01 2/521 25085
/proc/meminfo: memFree=21593864/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=21452 CPUtime=0.1 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 3814 0 0 0 10 0 0 0 25 0 1 0 804360076 21966848 3685 33554432000 4194304 5714214 140734690128528 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 5363 3685 544 372 0 3342 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21452
[startup+0.200743 s]
/proc/loadavg: 1.97 2.03 2.01 2/521 25085
/proc/meminfo: memFree=21593864/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=25132 CPUtime=0.19 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 5025 0 0 0 19 0 0 0 25 0 1 0 804360076 25735168 4831 33554432000 4194304 5714214 140734690128528 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 6283 4831 845 372 0 4262 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25132
[startup+0.300723 s]
/proc/loadavg: 1.97 2.03 2.01 2/521 25085
/proc/meminfo: memFree=21593864/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=32468 CPUtime=0.29 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 7193 0 0 0 28 1 0 0 25 0 1 0 804360076 33247232 6765 33554432000 4194304 5714214 140734690128528 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 8117 6765 1202 372 0 6096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32468
[startup+0.700652 s]
/proc/loadavg: 1.97 2.03 2.01 2/521 25085
/proc/meminfo: memFree=21593864/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=80564 CPUtime=0.69 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 23231 0 0 0 66 3 0 0 25 0 1 0 804360076 82497536 19429 33554432000 4194304 5714214 140734690128528 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 20141 19429 177 372 0 19766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80564
[startup+1.5005 s]
/proc/loadavg: 1.97 2.03 2.01 3/522 25113
/proc/meminfo: memFree=21532084/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=80564 CPUtime=1.49 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 23234 0 0 0 146 3 0 0 18 0 1 0 804360076 82497536 19432 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 20141 19432 180 372 0 19766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80564
[startup+3.10021 s]
/proc/loadavg: 1.97 2.03 2.01 3/522 25140
/proc/meminfo: memFree=21474200/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=80564 CPUtime=3.09 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 23234 0 0 0 305 4 0 0 19 0 1 0 804360076 82497536 19432 33554432000 4194304 5714214 140734690128528 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 20141 19432 180 372 0 19766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80564
[startup+6.30063 s]
/proc/loadavg: 1.97 2.03 2.01 3/522 25140
/proc/meminfo: memFree=21472896/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=80564 CPUtime=6.3 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 23234 0 0 0 623 7 0 0 25 0 1 0 804360076 82497536 19432 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 20141 19432 180 372 0 19766 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 80564
[startup+12.7005 s]
/proc/loadavg: 1.97 2.03 2.01 3/522 25140
/proc/meminfo: memFree=21470928/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=80564 CPUtime=12.69 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 23244 0 0 0 1259 10 0 0 25 0 1 0 804360076 82497536 19442 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 20141 19442 180 372 0 19766 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80564
[startup+25.5011 s]
/proc/loadavg: 1.98 2.02 2.00 3/522 25141
/proc/meminfo: memFree=21443852/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=92792 CPUtime=25.49 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 26249 0 0 0 2533 16 0 0 25 0 1 0 804360076 95019008 22447 33554432000 4194304 5714214 140734690128528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 23198 22447 180 372 0 22823 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92792
[startup+51.1004 s]
/proc/loadavg: 1.98 2.02 2.00 3/522 25141
/proc/meminfo: memFree=21390468/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=118336 CPUtime=51.09 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 32611 0 0 0 5082 27 0 0 25 0 1 0 804360076 121176064 28809 33554432000 4194304 5714214 140734690128528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 29584 28809 180 372 0 29209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118336
[startup+102.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/522 25143
/proc/meminfo: memFree=21321992/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=161812 CPUtime=102.31 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 43468 0 0 0 10184 47 0 0 25 0 1 0 804360076 165695488 39666 33554432000 4194304 5714214 140734690128528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 40453 39666 180 372 0 40078 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 161812
[startup+162.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/522 25144
/proc/meminfo: memFree=21290964/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=169548 CPUtime=162.29 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 45334 0 0 0 16165 64 0 0 25 0 1 0 804360076 173617152 41532 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 42387 41532 180 372 0 42012 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 169548
[startup+222.32 s]
/proc/loadavg: 2.13 2.05 2.01 3/522 25146
/proc/meminfo: memFree=21244644/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=189468 CPUtime=222.32 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 50291 0 0 0 22152 80 0 0 25 0 1 0 804360076 194015232 46489 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 47367 46489 180 372 0 46992 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 189468
[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/522 25148
/proc/meminfo: memFree=21206776/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=217652 CPUtime=282.3 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 57309 0 0 0 28135 95 0 0 25 0 1 0 804360076 222875648 53507 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 54413 53507 180 372 0 54038 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 217652
[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 25149
/proc/meminfo: memFree=21165308/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=231024 CPUtime=342.3 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 60386 0 0 0 34119 111 0 0 25 0 1 0 804360076 236568576 56584 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 57756 56584 180 372 0 57381 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 231024
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/522 25151
/proc/meminfo: memFree=21157316/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=231776 CPUtime=402.3 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 60534 0 0 0 40107 123 0 0 25 0 1 0 804360076 237338624 56732 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 57944 56732 180 372 0 57569 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 231776
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 25152
/proc/meminfo: memFree=21154436/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=232580 CPUtime=462.31 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 60732 0 0 0 46096 135 0 0 25 0 1 0 804360076 238161920 56930 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 58145 56930 180 372 0 57770 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 232580
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 25154
/proc/meminfo: memFree=21150804/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=233720 CPUtime=522.31 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 60968 0 0 0 52088 143 0 0 25 0 1 0 804360076 239329280 57166 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 58430 57166 180 372 0 58055 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 233720
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25156
/proc/meminfo: memFree=21112076/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=245532 CPUtime=582.31 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 63874 0 0 0 58079 152 0 0 25 0 1 0 804360076 251424768 60072 33554432000 4194304 5714214 140734690128528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 61383 60072 180 372 0 61008 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 245532
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 25164
/proc/meminfo: memFree=20985280/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=322320 CPUtime=882.34 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 82960 0 0 0 87996 238 0 0 25 0 1 0 804360076 330055680 79158 33554432000 4194304 5714214 140734690128528 18446744073709551615 4323020 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 80580 79158 180 372 0 80205 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 322320
[startup+942.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 25165
/proc/meminfo: memFree=20967136/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=337420 CPUtime=942.32 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 86697 0 0 0 93985 247 0 0 25 0 1 0 804360076 345518080 82895 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 84355 82895 180 372 0 83980 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 337420
[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/522 25167
/proc/meminfo: memFree=20939924/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=351808 CPUtime=1002.33 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 90261 0 0 0 99969 264 0 0 25 0 1 0 804360076 360251392 86459 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 87952 86459 180 372 0 87577 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 351808
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 25177
/proc/meminfo: memFree=20863556/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=392564 CPUtime=1062.32 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 100468 0 0 0 105949 283 0 0 25 0 1 0 804360076 401985536 96666 33554432000 4194304 5714214 140734690128528 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 98141 96666 180 372 0 97766 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 392564
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 25179
/proc/meminfo: memFree=20855340/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=393356 CPUtime=1122.32 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 100671 0 0 0 111934 298 0 0 25 0 1 0 804360076 402796544 96869 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 98339 96869 180 372 0 97964 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 393356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25181
/proc/meminfo: memFree=20849104/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=394612 CPUtime=1182.33 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 100922 0 0 0 117924 309 0 0 25 0 1 0 804360076 404082688 97120 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 98653 97120 180 372 0 98278 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 394612
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25182
/proc/meminfo: memFree=20828984/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=396212 CPUtime=1242.33 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 101252 0 0 0 123916 317 0 0 25 0 1 0 804360076 405721088 97450 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 99053 97450 180 372 0 98678 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 396212
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/522 25184
/proc/meminfo: memFree=20810948/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=397412 CPUtime=1302.33 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 101498 0 0 0 129909 324 0 0 25 0 1 0 804360076 406949888 97696 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 99353 97696 180 372 0 98978 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 397412
[startup+1362.3 s]
/proc/loadavg: 2.24 2.08 2.02 3/522 25185
/proc/meminfo: memFree=20799144/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=402304 CPUtime=1362.33 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 102701 0 0 0 135900 333 0 0 25 0 1 0 804360076 411959296 98899 33554432000 4194304 5714214 140734690128528 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 100576 98899 180 372 0 100201 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 402304
[startup+1422.3 s]
/proc/loadavg: 2.22 2.09 2.02 3/522 25187
/proc/meminfo: memFree=20762900/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=420984 CPUtime=1422.35 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 107338 0 0 0 141891 344 0 0 25 0 1 0 804360076 431087616 103536 33554432000 4194304 5714214 140734690128528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 105246 103536 180 372 0 104871 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 420984
[startup+1482.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/522 25189
/proc/meminfo: memFree=20728016/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=436716 CPUtime=1482.34 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 111254 0 0 0 147880 354 0 0 25 0 1 0 804360076 447197184 107452 33554432000 4194304 5714214 140734690128528 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 109179 107452 180 372 0 108804 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 436716
[startup+1542.32 s]
/proc/loadavg: 2.03 2.06 2.01 3/522 25190
/proc/meminfo: memFree=20725496/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=438924 CPUtime=1542.36 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 111729 0 0 0 153867 369 0 0 25 0 1 0 804360076 449458176 107927 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 109731 107927 180 372 0 109356 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 438924
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/522 25192
/proc/meminfo: memFree=20724460/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=439740 CPUtime=1602.34 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 111957 0 0 0 159853 381 0 0 25 0 1 0 804360076 450293760 108155 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 109935 108155 180 372 0 109560 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 439740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 25193
/proc/meminfo: memFree=20723304/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=441280 CPUtime=1662.35 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 112291 0 0 0 165838 397 0 0 25 0 1 0 804360076 451870720 108489 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 110320 108489 180 372 0 109945 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 441280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 25195
/proc/meminfo: memFree=20717936/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=445996 CPUtime=1722.35 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 113442 0 0 0 171826 409 0 0 25 0 1 0 804360076 456699904 109640 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 111499 109640 180 372 0 111124 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 445996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25197
/proc/meminfo: memFree=20671164/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=463976 CPUtime=1782.35 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 117868 0 0 0 177813 422 0 0 25 0 1 0 804360076 475111424 114066 33554432000 4194304 5714214 140734690128528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 115994 114066 180 372 0 115619 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 463976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.05 2.01 3/522 25197
/proc/meminfo: memFree=20666444/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=469388 CPUtime=1800.07 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 119229 0 0 0 179581 426 0 0 25 0 1 0 804360076 480653312 115427 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 117347 115427 180 372 0 116972 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 469388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.13 2.05 2.01 3/522 25197
/proc/meminfo: memFree=20666444/32951124 swapFree=58800704/67111528
[pid=25085] ppid=25083 vsize=469388 CPUtime=1800.07 cores=1,3,5,7
/proc/25085/stat : 25085 (wbo1.6) R 25083 25085 22695 0 -1 4202496 119229 0 0 0 179581 426 0 0 25 0 1 0 804360076 480653312 115427 33554432000 4194304 5714214 140734690128528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25085/statm: 117347 115427 180 372 0 116972 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 469388
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.1
CPU user time (s): 1795.82
CPU system time (s): 4.28135
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 469388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.82
system time used= 4.28135
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119229
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= 9
involuntary context switches= 1911
runsolver used 9.1846 second user time and 21.9367 second system time
The end