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-3468693-1307089380/watcher-3468693-1307089380 -o /tmp/evaluation-result-3468693-1307089380/solver-3468693-1307089380 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468693-1307089380.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 0.92 1.02 1.28 4/571 22884
/proc/meminfo: memFree=23646988/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=12572 CPUtime=0 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 562 0 0 0 0 0 0 0 22 0 1 0 820535767 12873728 496 33554432000 4194304 4933572 140735709423184 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3143 496 378 181 0 152 0
[startup+0.084937 s]
/proc/loadavg: 0.92 1.02 1.28 4/571 22884
/proc/meminfo: memFree=23646988/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=12836 CPUtime=0.07 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 631 0 0 0 7 0 0 0 22 0 1 0 820535767 13144064 565 33554432000 4194304 4933572 140735709423184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3209 565 385 181 0 218 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12836
[startup+0.100937 s]
/proc/loadavg: 0.92 1.02 1.28 4/571 22884
/proc/meminfo: memFree=23646988/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=12836 CPUtime=0.09 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 646 0 0 0 9 0 0 0 22 0 1 0 820535767 13144064 580 33554432000 4194304 4933572 140735709423184 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3209 580 385 181 0 218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836
[startup+0.300898 s]
/proc/loadavg: 0.92 1.02 1.28 4/571 22884
/proc/meminfo: memFree=23646988/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=13104 CPUtime=0.29 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 704 0 0 0 29 0 0 0 23 0 1 0 820535767 13418496 638 33554432000 4194304 4933572 140735709423184 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3276 638 385 181 0 285 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13104
[startup+0.700836 s]
/proc/loadavg: 0.92 1.02 1.28 4/571 22884
/proc/meminfo: memFree=23646988/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=13368 CPUtime=0.69 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 780 0 0 0 69 0 0 0 25 0 1 0 820535767 13688832 714 33554432000 4194304 4933572 140735709423184 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3342 714 386 181 0 351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13368
[startup+1.50068 s]
/proc/loadavg: 0.92 1.02 1.28 3/576 22890
/proc/meminfo: memFree=23641508/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=13788 CPUtime=1.49 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 890 0 0 0 149 0 0 0 25 0 1 0 820535767 14118912 824 33554432000 4194304 4933572 140735709423184 18446744073709551615 4649139 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3447 824 386 181 0 456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13788
[startup+3.10039 s]
/proc/loadavg: 0.92 1.02 1.28 3/576 22890
/proc/meminfo: memFree=23638068/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=14336 CPUtime=3.09 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 1006 0 0 0 309 0 0 0 25 0 1 0 820535767 14680064 940 33554432000 4194304 4933572 140735709423184 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3584 940 386 181 0 593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14336
[startup+6.3008 s]
/proc/loadavg: 1.01 1.03 1.28 3/576 22890
/proc/meminfo: memFree=23636404/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=15124 CPUtime=6.29 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 1207 0 0 0 629 0 0 0 25 0 1 0 820535767 15486976 1141 33554432000 4194304 4933572 140735709423184 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3781 1141 386 181 0 790 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15124
[startup+12.7006 s]
/proc/loadavg: 1.09 1.05 1.28 3/576 22890
/proc/meminfo: memFree=23632972/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=15968 CPUtime=12.69 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 1410 0 0 0 1269 0 0 0 25 0 1 0 820535767 16351232 1344 33554432000 4194304 4933572 140735709423184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 3992 1344 386 181 0 1001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15968
[startup+25.5003 s]
/proc/loadavg: 1.29 1.10 1.29 3/576 22890
/proc/meminfo: memFree=23631864/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=16780 CPUtime=25.49 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 1615 0 0 0 2549 0 0 0 25 0 1 0 820535767 17182720 1549 33554432000 4194304 4933572 140735709423184 18446744073709551615 4637531 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22884/statm: 4195 1549 386 181 0 1204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16780
[startup+51.1006 s]
/proc/loadavg: 1.53 1.17 1.31 3/576 22891
/proc/meminfo: memFree=23630076/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=17888 CPUtime=51.01 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 1873 0 0 0 5101 0 0 0 25 0 1 0 820535767 18317312 1807 33554432000 4194304 4933572 140735709423184 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 4472 1807 386 181 0 1481 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 17888
[startup+102.321 s]
/proc/loadavg: 1.79 1.29 1.35 3/576 22892
/proc/meminfo: memFree=23624968/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=19468 CPUtime=102.23 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 2235 0 0 0 10223 0 0 0 25 0 1 0 820535767 19935232 2169 33554432000 4194304 4933572 140735709423184 18446744073709551615 4649696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 4867 2169 386 181 0 1876 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 19468
[startup+162.3 s]
/proc/loadavg: 1.92 1.42 1.38 3/576 22894
/proc/meminfo: memFree=23622448/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=20396 CPUtime=162.21 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 2447 0 0 0 16221 0 0 0 25 0 1 0 820535767 20885504 2381 33554432000 4194304 4933572 140735709423184 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5099 2381 386 181 0 2108 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 20396
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.42 3/576 22895
/proc/meminfo: memFree=23621808/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=21540 CPUtime=222.21 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 2720 0 0 0 22221 0 0 0 25 0 1 0 820535767 22056960 2654 33554432000 4194304 4933572 140735709423184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5385 2654 386 181 0 2394 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 21540
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.45 3/576 22897
/proc/meminfo: memFree=23621160/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=21988 CPUtime=282.21 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 2822 0 0 0 28221 0 0 0 25 0 1 0 820535767 22515712 2756 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5497 2756 386 181 0 2506 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21988
[startup+342.3 s]
/proc/loadavg: 2.29 1.74 1.50 3/576 22899
/proc/meminfo: memFree=23621144/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=22544 CPUtime=342.21 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 2955 0 0 0 34221 0 0 0 25 0 1 0 820535767 23085056 2889 33554432000 4194304 4933572 140735709423184 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5636 2889 386 181 0 2645 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 22544
[startup+402.301 s]
/proc/loadavg: 2.31 1.83 1.55 3/576 22900
/proc/meminfo: memFree=23620484/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=22972 CPUtime=402.22 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3058 0 0 0 40222 0 0 0 25 0 1 0 820535767 23523328 2992 33554432000 4194304 4933572 140735709423184 18446744073709551615 4331743 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5743 2992 386 181 0 2752 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 22972
[startup+462.301 s]
/proc/loadavg: 2.11 1.86 1.57 3/576 22902
/proc/meminfo: memFree=23621572/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=23120 CPUtime=462.22 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3096 0 0 0 46222 0 0 0 25 0 1 0 820535767 23674880 3030 33554432000 4194304 4933572 140735709423184 18446744073709551615 4655845 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5780 3030 386 181 0 2789 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 23120
[startup+522.301 s]
/proc/loadavg: 2.04 1.88 1.60 3/576 22903
/proc/meminfo: memFree=23621164/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=23408 CPUtime=522.22 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3143 0 0 0 52222 0 0 0 25 0 1 0 820535767 23969792 3077 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5852 3077 386 181 0 2861 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 23408
[startup+582.301 s]
/proc/loadavg: 2.01 1.90 1.62 3/576 22905
/proc/meminfo: memFree=23620768/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=23556 CPUtime=582.22 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3176 0 0 0 58222 0 0 0 25 0 1 0 820535767 24121344 3110 33554432000 4194304 4933572 140735709423184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 5889 3110 386 181 0 2898 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 23556
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.71 3/576 22913
/proc/meminfo: memFree=23617648/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=24768 CPUtime=882.23 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3443 0 0 0 88223 0 0 0 25 0 1 0 820535767 25362432 3377 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6192 3377 386 181 0 3201 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 24768
[startup+942.301 s]
/proc/loadavg: 2.11 2.00 1.74 3/576 22915
/proc/meminfo: memFree=23618492/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=24916 CPUtime=942.23 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3485 0 0 0 94223 0 0 0 25 0 1 0 820535767 25513984 3419 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6229 3419 386 181 0 3238 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 24916
[startup+1002.3 s]
/proc/loadavg: 2.11 2.03 1.76 3/576 22916
/proc/meminfo: memFree=23618344/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25052 CPUtime=1002.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3507 0 0 0 100224 0 0 0 25 0 1 0 820535767 25653248 3441 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6263 3441 386 181 0 3272 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 25052
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 1.78 3/576 22918
/proc/meminfo: memFree=23618072/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25204 CPUtime=1062.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3554 0 0 0 106224 0 0 0 25 0 1 0 820535767 25808896 3488 33554432000 4194304 4933572 140735709423184 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6301 3488 386 181 0 3310 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 25204
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.79 3/576 22919
/proc/meminfo: memFree=23617812/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25352 CPUtime=1122.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3578 0 0 0 112224 0 0 0 25 0 1 0 820535767 25960448 3512 33554432000 4194304 4933572 140735709423184 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6338 3512 386 181 0 3347 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 25352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/576 22921
/proc/meminfo: memFree=23616432/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25504 CPUtime=1182.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3594 0 0 0 118224 0 0 0 25 0 1 0 820535767 26116096 3528 33554432000 4194304 4933572 140735709423184 18446744073709551615 4371424 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6376 3528 386 181 0 3385 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 25504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/576 22923
/proc/meminfo: memFree=23614792/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25504 CPUtime=1242.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3609 0 0 0 124224 0 0 0 25 0 1 0 820535767 26116096 3543 33554432000 4194304 4933572 140735709423184 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6376 3543 386 181 0 3385 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 25504
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/576 22924
/proc/meminfo: memFree=23615876/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25504 CPUtime=1302.26 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3617 0 0 0 130226 0 0 0 25 0 1 0 820535767 26116096 3551 33554432000 4194304 4933572 140735709423184 18446744073709551615 4631827 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6376 3551 386 181 0 3385 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 25504
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/576 22926
/proc/meminfo: memFree=23617212/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25652 CPUtime=1362.24 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3635 0 0 0 136224 0 0 0 25 0 1 0 820535767 26267648 3569 33554432000 4194304 4933572 140735709423184 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6413 3569 386 181 0 3422 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 25652
[startup+1422.32 s]
/proc/loadavg: 2.11 2.03 1.84 3/576 22927
/proc/meminfo: memFree=23616700/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=25952 CPUtime=1422.27 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3710 0 0 0 142227 0 0 0 25 0 1 0 820535767 26574848 3644 33554432000 4194304 4933572 140735709423184 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6488 3644 386 181 0 3497 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 25952
[startup+1482.3 s]
/proc/loadavg: 2.20 2.07 1.87 3/576 22929
/proc/meminfo: memFree=23615432/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26104 CPUtime=1482.25 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3736 0 0 0 148225 0 0 0 25 0 1 0 820535767 26730496 3670 33554432000 4194304 4933572 140735709423184 18446744073709551615 4649207 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6526 3670 386 181 0 3535 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 26104
[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 1.88 3/576 22931
/proc/meminfo: memFree=23616280/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26404 CPUtime=1542.25 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3799 0 0 0 154225 0 0 0 25 0 1 0 820535767 27037696 3733 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6601 3733 386 181 0 3610 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 26404
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 1.88 3/576 22932
/proc/meminfo: memFree=23616008/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26552 CPUtime=1602.25 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3821 0 0 0 160225 0 0 0 25 0 1 0 820535767 27189248 3755 33554432000 4194304 4933572 140735709423184 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6638 3755 386 181 0 3647 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 26552
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.89 3/576 22934
/proc/meminfo: memFree=23616108/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26552 CPUtime=1662.25 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3822 0 0 0 166225 0 0 0 25 0 1 0 820535767 27189248 3756 33554432000 4194304 4933572 140735709423184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6638 3756 386 181 0 3647 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 26552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.89 3/576 22935
/proc/meminfo: memFree=23615960/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26552 CPUtime=1722.26 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3824 0 0 0 172226 0 0 0 25 0 1 0 820535767 27189248 3758 33554432000 4194304 4933572 140735709423184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6638 3758 386 181 0 3647 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 26552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.90 3/576 22937
/proc/meminfo: memFree=23613340/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26552 CPUtime=1782.26 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3840 0 0 0 178226 0 0 0 25 0 1 0 820535767 27189248 3774 33554432000 4194304 4933572 140735709423184 18446744073709551615 4429002 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6638 3774 386 181 0 3647 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 26552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 1.90 2/575 22939
/proc/meminfo: memFree=23623628/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26704 CPUtime=1800.07 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3856 0 0 0 180007 0 0 0 25 0 1 0 820535767 27344896 3790 33554432000 4194304 4933572 140735709423184 18446744073709551615 4369150 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6676 3790 386 181 0 3685 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 26704
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 1.90 2/575 22939
/proc/meminfo: memFree=23623628/32951124 swapFree=58940260/67111528
[pid=22884] ppid=22882 vsize=26704 CPUtime=1800.07 cores=0,2,4,6
/proc/22884/stat : 22884 (clasp) R 22882 22884 14548 0 -1 4202496 3856 0 0 0 180007 0 0 0 25 0 1 0 820535767 27344896 3790 33554432000 4194304 4933572 140735709423184 18446744073709551615 4369150 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22884/statm: 6676 3790 386 181 0 3685 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 26704
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1800.08
CPU system time (s): 0.007998
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 26704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3864
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= 8
involuntary context switches= 2692
runsolver used 10.6644 second user time and 22.7305 second system time
The end