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-3469333-1307091084/watcher-3469333-1307091084 -o /tmp/evaluation-result-3469333-1307091084/solver-3469333-1307091084 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469333-1307091084.opb --solu --heu=VSIDS
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.95 2.01 2.00 2/469 6125
/proc/meminfo: memFree=24212136/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=18724 CPUtime=0 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 1978 0 0 0 0 0 0 0 25 0 1 0 899338850 19173376 1743 33554432000 4194304 4933572 140734172509744 18446744073709551615 4659426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 4681 1747 309 181 0 1690 0
[startup+0.0980549 s]
/proc/loadavg: 1.95 2.01 2.00 2/469 6125
/proc/meminfo: memFree=24212136/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=30404 CPUtime=0.08 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 5946 0 0 0 8 0 0 0 25 0 1 0 899338850 31133696 4741 33554432000 4194304 4933572 140734172509744 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 7601 4742 340 181 0 4610 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30404
[startup+0.101038 s]
/proc/loadavg: 1.95 2.01 2.00 2/469 6125
/proc/meminfo: memFree=24212136/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=30536 CPUtime=0.09 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 5980 0 0 0 9 0 0 0 25 0 1 0 899338850 31268864 4775 33554432000 4194304 4933572 140734172509744 18446744073709551615 4596023 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 7634 4775 340 181 0 4643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30536
[startup+0.301001 s]
/proc/loadavg: 1.95 2.01 2.00 2/469 6125
/proc/meminfo: memFree=24212136/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=32404 CPUtime=0.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 7075 0 0 0 29 0 0 0 25 0 1 0 899338850 33181696 5365 33554432000 4194304 4933572 140734172509744 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 8101 5365 374 181 0 5110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32404
[startup+0.700925 s]
/proc/loadavg: 1.95 2.01 2.00 2/469 6125
/proc/meminfo: memFree=24212136/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=34256 CPUtime=0.69 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 7572 0 0 0 69 0 0 0 25 0 1 0 899338850 35078144 5862 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 8564 5862 374 181 0 5573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34256
[startup+1.50078 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24186344/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=36020 CPUtime=1.49 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 7991 0 0 0 149 0 0 0 25 0 1 0 899338850 36884480 6281 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 9005 6281 374 181 0 6014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36020
[startup+3.10048 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24182376/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=39088 CPUtime=3.09 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 8757 0 0 0 308 1 0 0 25 0 1 0 899338850 40026112 7047 33554432000 4194304 4933572 140734172509744 18446744073709551615 4429157 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 9772 7047 374 181 0 6781 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39088
[startup+6.30088 s]
/proc/loadavg: 1.95 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24176192/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=41892 CPUtime=6.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 9442 0 0 0 628 1 0 0 25 0 1 0 899338850 42897408 7732 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 10473 7732 374 181 0 7482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41892
[startup+12.7007 s]
/proc/loadavg: 1.96 2.01 2.00 3/470 6126
/proc/meminfo: memFree=24165084/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=47136 CPUtime=12.69 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 10754 0 0 0 1268 1 0 0 25 0 1 0 899338850 48267264 9044 33554432000 4194304 4933572 140734172509744 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 11784 9044 374 181 0 8793 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47136
[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 2.00 3/470 6127
/proc/meminfo: memFree=24157524/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=51404 CPUtime=25.49 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 11790 0 0 0 2548 1 0 0 25 0 1 0 899338850 52637696 10080 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 12851 10080 374 181 0 9860 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51404
[startup+51.1005 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 6128
/proc/meminfo: memFree=24143832/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=59896 CPUtime=51.09 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 13865 0 0 0 5108 1 0 0 25 0 1 0 899338850 61333504 12155 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 14974 12155 374 181 0 11983 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 59896
[startup+102.318 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 6129
/proc/meminfo: memFree=24122848/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=71152 CPUtime=102.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 16574 0 0 0 10229 2 0 0 25 0 1 0 899338850 72859648 14864 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 17788 14864 374 181 0 14797 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 71152
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6130
/proc/meminfo: memFree=24108176/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=80408 CPUtime=162.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 18728 0 0 0 16227 2 0 0 25 0 1 0 899338850 82337792 17018 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 20102 17018 374 181 0 17111 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 80408
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6132
/proc/meminfo: memFree=24094868/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=90024 CPUtime=222.3 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 21055 0 0 0 22227 3 0 0 25 0 1 0 899338850 92184576 19345 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6125/statm: 22506 19345 374 181 0 19515 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 90024
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6134
/proc/meminfo: memFree=24082564/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=96808 CPUtime=282.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 22705 0 0 0 28226 3 0 0 25 0 1 0 899338850 99131392 20995 33554432000 4194304 4933572 140734172509744 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 24202 20995 374 181 0 21211 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 96808
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6135
/proc/meminfo: memFree=24076964/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=101136 CPUtime=342.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 23648 0 0 0 34226 3 0 0 25 0 1 0 899338850 103563264 21938 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 25284 21938 374 181 0 22293 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 101136
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6137
/proc/meminfo: memFree=24068372/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=104440 CPUtime=402.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 24382 0 0 0 40226 3 0 0 25 0 1 0 899338850 106946560 22672 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 26110 22672 374 181 0 23119 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 104440
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6138
/proc/meminfo: memFree=24059040/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=112112 CPUtime=462.29 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 26268 0 0 0 46226 3 0 0 25 0 1 0 899338850 114802688 24558 33554432000 4194304 4933572 140734172509744 18446744073709551615 4625216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 28028 24558 374 181 0 25037 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 112112
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6140
/proc/meminfo: memFree=24053428/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=116376 CPUtime=522.3 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 27265 0 0 0 52226 4 0 0 25 0 1 0 899338850 119169024 25555 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 29094 25555 374 181 0 26103 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 116376
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 6151
/proc/meminfo: memFree=24046840/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=119264 CPUtime=582.3 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 27925 0 0 0 58226 4 0 0 25 0 1 0 899338850 122126336 26215 33554432000 4194304 4933572 140734172509744 18446744073709551615 4361999 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 29816 26215 374 181 0 26825 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 119264
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 6157
/proc/meminfo: memFree=24025444/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=133440 CPUtime=822.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 31201 0 0 0 82226 5 0 0 25 0 1 0 899338850 136642560 29491 33554432000 4194304 4933572 140734172509744 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 33360 29491 374 181 0 30369 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 133440
[startup+882.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/470 6159
/proc/meminfo: memFree=24022564/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=136608 CPUtime=882.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 31917 0 0 0 88226 5 0 0 25 0 1 0 899338850 139886592 30207 33554432000 4194304 4933572 140734172509744 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 34152 30207 374 181 0 31161 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 136608
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6160
/proc/meminfo: memFree=24017328/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=138816 CPUtime=942.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 32431 0 0 0 94226 5 0 0 25 0 1 0 899338850 142147584 30721 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 34704 30721 374 181 0 31713 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 138816
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6162
/proc/meminfo: memFree=24017292/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=139512 CPUtime=1002.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 32550 0 0 0 100226 5 0 0 25 0 1 0 899338850 142860288 30840 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 34878 30840 374 181 0 31887 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 139512
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6163
/proc/meminfo: memFree=24013920/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=141724 CPUtime=1062.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 33042 0 0 0 106226 5 0 0 25 0 1 0 899338850 145125376 31332 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 35431 31332 374 181 0 32440 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 141724
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 6165
/proc/meminfo: memFree=24003088/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=152756 CPUtime=1122.31 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 35601 0 0 0 112226 5 0 0 25 0 1 0 899338850 156422144 33891 33554432000 4194304 4933572 140734172509744 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 38189 33891 374 181 0 35198 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 152756
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 6167
/proc/meminfo: memFree=23999344/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=155500 CPUtime=1182.32 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 36231 0 0 0 118227 5 0 0 25 0 1 0 899338850 159232000 34521 33554432000 4194304 4933572 140734172509744 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 38875 34521 374 181 0 35884 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 155500
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6168
/proc/meminfo: memFree=23994480/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=159232 CPUtime=1242.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 37043 0 0 0 124227 6 0 0 25 0 1 0 899338850 163053568 35333 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 39808 35333 374 181 0 36817 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 159232
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 6170
/proc/meminfo: memFree=23990608/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=161224 CPUtime=1302.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 37505 0 0 0 130227 6 0 0 25 0 1 0 899338850 165093376 35795 33554432000 4194304 4933572 140734172509744 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 40306 35795 374 181 0 37315 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 161224
[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/470 6171
/proc/meminfo: memFree=23989716/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=163372 CPUtime=1362.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 37995 0 0 0 136227 6 0 0 25 0 1 0 899338850 167292928 36285 33554432000 4194304 4933572 140734172509744 18446744073709551615 4377210 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 40843 36285 374 181 0 37852 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 163372
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6173
/proc/meminfo: memFree=23987336/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=165456 CPUtime=1422.35 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 38422 0 0 0 142229 6 0 0 25 0 1 0 899338850 169426944 36712 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 41364 36712 374 181 0 38373 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 165456
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6175
/proc/meminfo: memFree=23982472/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=167516 CPUtime=1482.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 38907 0 0 0 148227 6 0 0 25 0 1 0 899338850 171536384 37197 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 41879 37197 374 181 0 38888 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 167516
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6176
/proc/meminfo: memFree=23979352/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=169104 CPUtime=1542.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 39248 0 0 0 154227 6 0 0 25 0 1 0 899338850 173162496 37538 33554432000 4194304 4933572 140734172509744 18446744073709551615 4637471 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 42276 37538 374 181 0 39285 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 169104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6178
/proc/meminfo: memFree=23975352/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=172580 CPUtime=1602.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 39994 0 0 0 160227 6 0 0 25 0 1 0 899338850 176721920 38284 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 43145 38284 374 181 0 40154 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 172580
[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/470 6179
/proc/meminfo: memFree=23971980/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=175488 CPUtime=1662.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 40662 0 0 0 166227 6 0 0 25 0 1 0 899338850 179699712 38952 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 43872 38952 374 181 0 40881 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 175488
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/470 6181
/proc/meminfo: memFree=23969460/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=177052 CPUtime=1722.33 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 40996 0 0 0 172227 6 0 0 25 0 1 0 899338850 181301248 39286 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 44263 39286 374 181 0 41272 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 177052
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 6183
/proc/meminfo: memFree=23961004/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=182680 CPUtime=1782.35 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 42418 0 0 0 178228 7 0 0 25 0 1 0 899338850 187064320 40708 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 45670 40708 374 181 0 42679 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 182680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 2/468 6184
/proc/meminfo: memFree=24052524/32951124 swapFree=56297244/67111528
[pid=6125] ppid=6123 vsize=186460 CPUtime=1800.05 cores=1,3,5,7
/proc/6125/stat : 6125 (clasp) R 6123 6125 1430 0 -1 4202496 43312 0 0 0 179998 7 0 0 25 0 1 0 899338850 190935040 41602 33554432000 4194304 4933572 140734172509744 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6125/statm: 46615 41602 374 181 0 43624 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 186460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1800
CPU system time (s): 0.077988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 186460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43323
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= 5
involuntary context switches= 2609
runsolver used 8.03578 second user time and 19.585 second system time
The end