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-3468656-1307081693/watcher-3468656-1307081693 -o /tmp/evaluation-result-3468656-1307081693/solver-3468656-1307081693 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468656-1307081693.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: 1.40 1.83 1.94 3/382 26622
/proc/meminfo: memFree=23864168/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=12844 CPUtime=0 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 628 0 0 0 0 0 0 0 24 0 1 0 819772085 13152256 560 33554432000 4194304 4933572 140733668966448 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3211 561 374 181 0 220 0
[startup+0.0617471 s]
/proc/loadavg: 1.40 1.83 1.94 3/382 26622
/proc/meminfo: memFree=23864168/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=13628 CPUtime=0.05 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 829 0 0 0 5 0 0 0 24 0 1 0 819772085 13955072 761 33554432000 4194304 4933572 140733668966448 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3407 761 381 181 0 416 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13628
[startup+0.100741 s]
/proc/loadavg: 1.40 1.83 1.94 3/382 26622
/proc/meminfo: memFree=23864168/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=13892 CPUtime=0.09 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 904 0 0 0 9 0 0 0 24 0 1 0 819772085 14225408 836 33554432000 4194304 4933572 140733668966448 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3473 836 381 181 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892
[startup+0.30071 s]
/proc/loadavg: 1.40 1.83 1.94 3/382 26622
/proc/meminfo: memFree=23864168/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=14288 CPUtime=0.29 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 1011 0 0 0 29 0 0 0 25 0 1 0 819772085 14630912 943 33554432000 4194304 4933572 140733668966448 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3572 943 385 181 0 581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14288
[startup+0.700634 s]
/proc/loadavg: 1.40 1.83 1.94 3/382 26622
/proc/meminfo: memFree=23864168/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=15064 CPUtime=0.69 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 1189 0 0 0 69 0 0 0 25 0 1 0 819772085 15425536 1121 33554432000 4194304 4933572 140733668966448 18446744073709551615 4718157 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3766 1121 385 181 0 775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15064
[startup+1.50048 s]
/proc/loadavg: 1.40 1.83 1.94 3/387 26628
/proc/meminfo: memFree=23852000/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=15260 CPUtime=1.49 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 1227 0 0 0 149 0 0 0 25 0 1 0 819772085 15626240 1159 33554432000 4194304 4933572 140733668966448 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 3815 1159 385 181 0 824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15260
[startup+3.10021 s]
/proc/loadavg: 1.45 1.83 1.94 3/387 26628
/proc/meminfo: memFree=23848652/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=17608 CPUtime=3.09 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 1821 0 0 0 309 0 0 0 25 0 1 0 819772085 18030592 1753 33554432000 4194304 4933572 140733668966448 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 4402 1753 385 181 0 1411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17608
[startup+6.30063 s]
/proc/loadavg: 1.45 1.83 1.94 3/387 26628
/proc/meminfo: memFree=23846964/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=18400 CPUtime=6.29 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 2032 0 0 0 629 0 0 0 25 0 1 0 819772085 18841600 1964 33554432000 4194304 4933572 140733668966448 18446744073709551615 4330153 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 4600 1964 385 181 0 1609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18400
[startup+12.7005 s]
/proc/loadavg: 1.53 1.84 1.94 3/387 26628
/proc/meminfo: memFree=23842784/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=20156 CPUtime=12.69 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 2458 0 0 0 1269 0 0 0 25 0 1 0 819772085 20639744 2389 33554432000 4194304 4933572 140733668966448 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 5039 2389 385 181 0 2048 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20156
[startup+25.5002 s]
/proc/loadavg: 1.60 1.84 1.94 3/387 26629
/proc/meminfo: memFree=23836836/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=20948 CPUtime=25.49 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 2842 0 0 0 2549 0 0 0 25 0 1 0 819772085 21450752 2607 33554432000 4194304 4933572 140733668966448 18446744073709551615 4664558 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 5237 2607 385 181 0 2246 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20948
[startup+51.1007 s]
/proc/loadavg: 1.74 1.86 1.94 3/387 26629
/proc/meminfo: memFree=23832492/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=22340 CPUtime=51.09 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 3314 0 0 0 5109 0 0 0 25 0 1 0 819772085 22876160 2950 33554432000 4194304 4933572 140733668966448 18446744073709551615 4637201 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 5585 2950 385 181 0 2594 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22340
[startup+102.315 s]
/proc/loadavg: 1.89 1.88 1.94 3/387 26631
/proc/meminfo: memFree=23828864/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=24344 CPUtime=102.29 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 4237 0 0 0 10229 0 0 0 25 0 1 0 819772085 24928256 3447 33554432000 4194304 4933572 140733668966448 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6086 3447 385 181 0 3095 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24344
[startup+162.301 s]
/proc/loadavg: 1.96 1.90 1.94 3/387 26632
/proc/meminfo: memFree=23827320/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=24564 CPUtime=162.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 4589 0 0 0 16227 1 0 0 25 0 1 0 819772085 25153536 3516 33554432000 4194304 4933572 140733668966448 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6141 3516 385 181 0 3150 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 24564
[startup+222.3 s]
/proc/loadavg: 1.98 1.91 1.94 3/387 26634
/proc/meminfo: memFree=23825052/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=26736 CPUtime=222.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 5257 0 0 0 22227 1 0 0 25 0 1 0 819772085 27377664 4057 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717631 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6684 4057 385 181 0 3693 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 26736
[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.94 3/387 26636
/proc/meminfo: memFree=23824876/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=26800 CPUtime=282.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 5744 0 0 0 28227 1 0 0 25 0 1 0 819772085 27443200 4073 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717622 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6700 4073 385 181 0 3709 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 26800
[startup+342.301 s]
/proc/loadavg: 1.99 1.94 1.94 3/387 26637
/proc/meminfo: memFree=23824096/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=26800 CPUtime=342.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 5893 0 0 0 34227 1 0 0 25 0 1 0 819772085 27443200 4073 33554432000 4194304 4933572 140733668966448 18446744073709551615 4649696 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6700 4073 385 181 0 3709 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 26800
[startup+402.3 s]
/proc/loadavg: 1.99 1.95 1.94 3/387 26639
/proc/meminfo: memFree=23822064/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=26800 CPUtime=402.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 5893 0 0 0 40227 1 0 0 25 0 1 0 819772085 27443200 4073 33554432000 4194304 4933572 140733668966448 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6700 4073 385 181 0 3709 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 26800
[startup+462.301 s]
/proc/loadavg: 2.04 1.97 1.95 3/387 26640
/proc/meminfo: memFree=23821520/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=27128 CPUtime=462.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 6290 0 0 0 46227 1 0 0 25 0 1 0 819772085 27779072 4155 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717653 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6782 4155 385 181 0 3791 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 27128
[startup+522.301 s]
/proc/loadavg: 2.06 1.99 1.95 3/387 26642
/proc/meminfo: memFree=23821356/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=27848 CPUtime=522.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 6474 0 0 0 52226 1 0 0 25 0 1 0 819772085 28516352 4329 33554432000 4194304 4933572 140733668966448 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6962 4329 385 181 0 3971 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 27848
[startup+582.3 s]
/proc/loadavg: 2.02 1.99 1.95 3/387 26644
/proc/meminfo: memFree=23816596/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=27848 CPUtime=582.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 6513 0 0 0 58226 1 0 0 25 0 1 0 819772085 28516352 4333 33554432000 4194304 4933572 140733668966448 18446744073709551615 4340572 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 6962 4333 385 181 0 3971 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 27848
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/387 26652
/proc/meminfo: memFree=23814892/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=28732 CPUtime=882.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 8148 0 0 0 88226 1 0 0 25 0 1 0 819772085 29421568 4553 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7183 4553 385 181 0 4192 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 28732
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/387 26653
/proc/meminfo: memFree=23814340/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=28780 CPUtime=942.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 9216 0 0 0 94226 1 0 0 25 0 1 0 819772085 29470720 4565 33554432000 4194304 4933572 140733668966448 18446744073709551615 4630335 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7195 4565 385 181 0 4204 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 28780
[startup+1002.3 s]
/proc/loadavg: 2.07 2.00 1.96 3/387 26655
/proc/meminfo: memFree=23814036/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=28868 CPUtime=1002.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 10057 0 0 0 100226 2 0 0 25 0 1 0 819772085 29560832 4587 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717885 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7217 4587 385 181 0 4226 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 28868
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/387 26656
/proc/meminfo: memFree=23813388/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29088 CPUtime=1062.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 10511 0 0 0 106226 2 0 0 25 0 1 0 819772085 29786112 4642 33554432000 4194304 4933572 140733668966448 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7272 4642 385 181 0 4281 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 29088
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/387 26658
/proc/meminfo: memFree=23813968/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=28868 CPUtime=1122.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 11221 0 0 0 112226 2 0 0 25 0 1 0 819772085 29560832 4587 33554432000 4194304 4933572 140733668966448 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7217 4587 385 181 0 4226 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 28868
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/387 26660
/proc/meminfo: memFree=23813180/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29324 CPUtime=1182.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 12068 0 0 0 118226 2 0 0 25 0 1 0 819772085 30027776 4701 33554432000 4194304 4933572 140733668966448 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7331 4701 385 181 0 4340 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 29324
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26661
/proc/meminfo: memFree=23811404/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29324 CPUtime=1242.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 12351 0 0 0 124225 2 0 0 25 0 1 0 819772085 30027776 4701 33554432000 4194304 4933572 140733668966448 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7331 4701 385 181 0 4340 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 29324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26663
/proc/meminfo: memFree=23811864/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29756 CPUtime=1302.29 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 12760 0 0 0 130227 2 0 0 25 0 1 0 819772085 30470144 4808 33554432000 4194304 4933572 140733668966448 18446744073709551615 4718611 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7439 4808 385 181 0 4448 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 29756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26664
/proc/meminfo: memFree=23811072/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29756 CPUtime=1362.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 12760 0 0 0 136225 2 0 0 25 0 1 0 819772085 30470144 4808 33554432000 4194304 4933572 140733668966448 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7439 4808 385 181 0 4448 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 29756
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26666
/proc/meminfo: memFree=23812016/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29756 CPUtime=1422.28 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13246 0 0 0 142226 2 0 0 25 0 1 0 819772085 30470144 4808 33554432000 4194304 4933572 140733668966448 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7439 4808 385 181 0 4448 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 29756
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26668
/proc/meminfo: memFree=23811484/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=29860 CPUtime=1482.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13564 0 0 0 148225 2 0 0 25 0 1 0 819772085 30576640 4834 33554432000 4194304 4933572 140733668966448 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7465 4834 385 181 0 4474 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 29860
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/387 26669
/proc/meminfo: memFree=23810664/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1542.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13867 0 0 0 154225 2 0 0 25 0 1 0 819772085 30834688 4880 33554432000 4194304 4933572 140733668966448 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4880 385 181 0 4537 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 30112
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/387 26671
/proc/meminfo: memFree=23809484/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1602.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13867 0 0 0 160225 2 0 0 25 0 1 0 819772085 30834688 4880 33554432000 4194304 4933572 140733668966448 18446744073709551615 4332762 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4880 385 181 0 4537 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 30112
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/387 26672
/proc/meminfo: memFree=23809324/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1662.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13868 0 0 0 166225 2 0 0 25 0 1 0 819772085 30834688 4881 33554432000 4194304 4933572 140733668966448 18446744073709551615 4718255 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4881 385 181 0 4537 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 30112
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/387 26674
/proc/meminfo: memFree=23809276/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1722.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13868 0 0 0 172225 2 0 0 25 0 1 0 819772085 30834688 4881 33554432000 4194304 4933572 140733668966448 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4881 385 181 0 4537 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 30112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/387 26676
/proc/meminfo: memFree=23807860/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1782.27 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13868 0 0 0 178225 2 0 0 25 0 1 0 819772085 30834688 4881 33554432000 4194304 4933572 140733668966448 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4881 385 181 0 4537 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 30112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 1.97 2/386 26677
/proc/meminfo: memFree=23838220/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1800.08 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13868 0 0 0 180006 2 0 0 25 0 1 0 819772085 30834688 4881 33554432000 4194304 4933572 140733668966448 18446744073709551615 4718611 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4881 385 181 0 4537 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 30112
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.01 1.97 2/386 26677
/proc/meminfo: memFree=23838220/32951124 swapFree=49244120/67111528
[pid=26622] ppid=26619 vsize=30112 CPUtime=1800.08 cores=0,2,4,6
/proc/26622/stat : 26622 (clasp) R 26619 26622 23490 0 -1 4202496 13868 0 0 0 180006 2 0 0 25 0 1 0 819772085 30834688 4881 33554432000 4194304 4933572 140733668966448 18446744073709551615 4718611 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26622/statm: 7528 4881 385 181 0 4537 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 30112
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.029995
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 30256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13876
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= 13
involuntary context switches= 3177
runsolver used 7.08092 second user time and 14.5418 second system time
The end