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-3468276-1307652084/watcher-3468276-1307652084 -o /tmp/evaluation-result-3468276-1307652084/solver-3468276-1307652084 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468276-1307652084.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: 8.12 8.09 7.59 3/176 14804
/proc/meminfo: memFree=32249688/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=12728 CPUtime=0 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 564 0 0 0 0 0 0 0 23 0 1 0 955439061 13033472 495 33554432000 4194304 4933572 140735450209200 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3182 496 331 181 0 191 0
[startup+0.100919 s]
/proc/loadavg: 8.12 8.09 7.59 3/176 14804
/proc/meminfo: memFree=32249688/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=13604 CPUtime=0.09 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 843 0 0 0 9 0 0 0 23 0 1 0 955439061 13930496 763 33554432000 4194304 4933572 140735450209200 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3401 763 384 181 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13604
[startup+0.200906 s]
/proc/loadavg: 8.12 8.09 7.59 3/176 14804
/proc/meminfo: memFree=32249688/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=13736 CPUtime=0.19 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 879 0 0 0 19 0 0 0 24 0 1 0 955439061 14065664 799 33554432000 4194304 4933572 140735450209200 18446744073709551615 4330360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3434 799 384 181 0 443 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13736
[startup+0.30089 s]
/proc/loadavg: 8.12 8.09 7.59 3/176 14804
/proc/meminfo: memFree=32249688/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=13868 CPUtime=0.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 914 0 0 0 29 0 0 0 25 0 1 0 955439061 14200832 834 33554432000 4194304 4933572 140735450209200 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3467 834 384 181 0 476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13868
[startup+0.700832 s]
/proc/loadavg: 8.12 8.09 7.59 3/176 14804
/proc/meminfo: memFree=32249688/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=14264 CPUtime=0.69 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 999 0 0 0 69 0 0 0 25 0 1 0 955439061 14606336 919 33554432000 4194304 4933572 140735450209200 18446744073709551615 4648528 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3566 919 384 181 0 575 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14264
[startup+1.50067 s]
/proc/loadavg: 8.12 8.09 7.59 3/178 14806
/proc/meminfo: memFree=32246768/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=14680 CPUtime=1.49 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 1105 0 0 0 149 0 0 0 25 0 1 0 955439061 15032320 1025 33554432000 4194304 4933572 140735450209200 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3670 1025 384 181 0 679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14680
[startup+3.10041 s]
/proc/loadavg: 7.63 7.99 7.56 3/178 14806
/proc/meminfo: memFree=32245280/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=15244 CPUtime=3.09 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 1254 0 0 0 309 0 0 0 25 0 1 0 955439061 15609856 1174 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 3811 1174 384 181 0 820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15244
[startup+6.3009 s]
/proc/loadavg: 7.63 7.99 7.56 3/178 14806
/proc/meminfo: memFree=32243852/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=16168 CPUtime=6.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 1473 0 0 0 629 0 0 0 25 0 1 0 955439061 16556032 1393 33554432000 4194304 4933572 140735450209200 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 4042 1393 384 181 0 1051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16168
[startup+12.7008 s]
/proc/loadavg: 6.76 7.79 7.50 3/178 14806
/proc/meminfo: memFree=32242064/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=17124 CPUtime=12.69 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 1713 0 0 0 1269 0 0 0 25 0 1 0 955439061 17534976 1633 33554432000 4194304 4933572 140735450209200 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 4281 1633 384 181 0 1290 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17124
[startup+25.5007 s]
/proc/loadavg: 6.03 7.60 7.44 3/178 14806
/proc/meminfo: memFree=32240836/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=18116 CPUtime=25.49 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 1949 0 0 0 2549 0 0 0 25 0 1 0 955439061 18550784 1869 33554432000 4194304 4933572 140735450209200 18446744073709551615 4428616 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 4529 1869 385 181 0 1538 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18116
[startup+51.1004 s]
/proc/loadavg: 4.65 7.15 7.29 3/178 14808
/proc/meminfo: memFree=32238904/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=19560 CPUtime=51.09 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 2307 0 0 0 5109 0 0 0 25 0 1 0 955439061 20029440 2227 33554432000 4194304 4933572 140735450209200 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 4890 2227 385 181 0 1899 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19560
[startup+102.301 s]
/proc/loadavg: 3.06 6.28 6.98 3/178 14808
/proc/meminfo: memFree=32235752/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=21228 CPUtime=102.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 2711 0 0 0 10230 0 0 0 25 0 1 0 955439061 21737472 2631 33554432000 4194304 4933572 140735450209200 18446744073709551615 4429120 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 5307 2631 385 181 0 2316 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21228
[startup+162.301 s]
/proc/loadavg: 2.39 5.50 6.67 3/178 14810
/proc/meminfo: memFree=32233980/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=22816 CPUtime=162.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3067 0 0 0 16229 0 0 0 25 0 1 0 955439061 23363584 2987 33554432000 4194304 4933572 140735450209200 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 5704 2987 385 181 0 2713 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22816
[startup+222.306 s]
/proc/loadavg: 2.14 4.86 6.37 3/178 14812
/proc/meminfo: memFree=32232664/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=23940 CPUtime=222.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3339 0 0 0 22230 0 0 0 25 0 1 0 955439061 24514560 3253 33554432000 4194304 4933572 140735450209200 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 5985 3253 385 181 0 2994 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23940
[startup+282.301 s]
/proc/loadavg: 2.05 4.34 6.10 3/178 14814
/proc/meminfo: memFree=32232232/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=24536 CPUtime=282.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3519 0 0 0 28229 0 0 0 25 0 1 0 955439061 25124864 3413 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6134 3413 385 181 0 3143 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24536
[startup+342.301 s]
/proc/loadavg: 2.02 3.91 5.84 3/178 14816
/proc/meminfo: memFree=32231804/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=24976 CPUtime=342.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3626 0 0 0 34229 0 0 0 25 0 1 0 955439061 25575424 3520 33554432000 4194304 4933572 140735450209200 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6244 3520 385 181 0 3253 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24976
[startup+402.301 s]
/proc/loadavg: 2.00 3.59 5.62 3/178 14816
/proc/meminfo: memFree=32231124/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=25516 CPUtime=402.29 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3733 0 0 0 40229 0 0 0 25 0 1 0 955439061 26128384 3627 33554432000 4194304 4933572 140735450209200 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6379 3627 385 181 0 3388 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25516
[startup+462.301 s]
/proc/loadavg: 2.00 3.27 5.37 3/178 14818
/proc/meminfo: memFree=32229928/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=26280 CPUtime=462.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 3931 0 0 0 46230 0 0 0 25 0 1 0 955439061 26910720 3825 33554432000 4194304 4933572 140735450209200 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6570 3825 385 181 0 3579 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26280
[startup+522.301 s]
/proc/loadavg: 2.00 3.06 5.17 3/178 14820
/proc/meminfo: memFree=32229620/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=26876 CPUtime=522.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4080 0 0 0 52230 0 0 0 25 0 1 0 955439061 27521024 3974 33554432000 4194304 4933572 140735450209200 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6719 3974 385 181 0 3728 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26876
[startup+582.301 s]
/proc/loadavg: 2.05 2.86 4.96 3/178 14822
/proc/meminfo: memFree=32228948/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=27412 CPUtime=582.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4213 0 0 0 58230 0 0 0 25 0 1 0 955439061 28069888 4107 33554432000 4194304 4933572 140735450209200 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 6853 4107 385 181 0 3862 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27412
[startup+642.301 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.31 4.13 3/178 14830
/proc/meminfo: memFree=32227668/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=28708 CPUtime=882.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4522 0 0 0 88231 0 0 0 25 0 1 0 955439061 29396992 4416 33554432000 4194304 4933572 140735450209200 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7177 4416 385 181 0 4186 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 28708
[startup+942.301 s]
/proc/loadavg: 2.00 2.25 3.99 3/178 14832
/proc/meminfo: memFree=32227136/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29000 CPUtime=942.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4595 0 0 0 94230 0 0 0 25 0 1 0 955439061 29696000 4489 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7250 4489 385 181 0 4259 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 29000
[startup+1002.3 s]
/proc/loadavg: 2.00 2.20 3.87 3/178 14832
/proc/meminfo: memFree=32226972/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29408 CPUtime=1002.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4671 0 0 0 100230 0 0 0 25 0 1 0 955439061 30113792 4565 33554432000 4194304 4933572 140735450209200 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7352 4565 385 181 0 4361 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 29408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.16 3.75 3/178 14834
/proc/meminfo: memFree=32226808/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29408 CPUtime=1062.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4696 0 0 0 106230 0 0 0 25 0 1 0 955439061 30113792 4590 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7352 4590 385 181 0 4361 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 29408
[startup+1122.3 s]
/proc/loadavg: 2.00 2.13 3.63 3/178 14874
/proc/meminfo: memFree=32228460/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29544 CPUtime=1122.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4724 0 0 0 112230 0 0 0 25 0 1 0 955439061 30253056 4618 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649434 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7386 4618 385 181 0 4395 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 29544
[startup+1182.3 s]
/proc/loadavg: 2.03 2.12 3.53 3/178 14885
/proc/meminfo: memFree=32226412/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29696 CPUtime=1182.3 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4741 0 0 0 118230 0 0 0 25 0 1 0 955439061 30408704 4635 33554432000 4194304 4933572 140735450209200 18446744073709551615 4664536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7424 4635 385 181 0 4433 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 29696
[startup+1242.3 s]
/proc/loadavg: 2.01 2.09 3.44 3/178 14887
/proc/meminfo: memFree=32226720/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29696 CPUtime=1242.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4750 0 0 0 124231 0 0 0 25 0 1 0 955439061 30408704 4644 33554432000 4194304 4933572 140735450209200 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7424 4644 385 181 0 4433 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 29696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.08 3.35 3/178 14887
/proc/meminfo: memFree=32226772/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29696 CPUtime=1302.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4761 0 0 0 130231 0 0 0 25 0 1 0 955439061 30408704 4655 33554432000 4194304 4933572 140735450209200 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7424 4655 385 181 0 4433 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 29696
[startup+1362.3 s]
/proc/loadavg: 2.00 2.06 3.26 3/178 14889
/proc/meminfo: memFree=32226476/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29772 CPUtime=1362.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4783 0 0 0 136231 0 0 0 25 0 1 0 955439061 30486528 4677 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7443 4677 385 181 0 4452 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 29772
[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 3.17 3/178 14891
/proc/meminfo: memFree=32226560/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=29920 CPUtime=1422.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4803 0 0 0 142231 0 0 0 25 0 1 0 955439061 30638080 4697 33554432000 4194304 4933572 140735450209200 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7480 4697 385 181 0 4489 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 29920
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 3.10 3/178 14893
/proc/meminfo: memFree=32226392/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=30052 CPUtime=1482.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 4837 0 0 0 148231 0 0 0 25 0 1 0 955439061 30773248 4731 33554432000 4194304 4933572 140735450209200 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7513 4731 385 181 0 4522 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 30052
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 3.03 3/178 14895
/proc/meminfo: memFree=32225840/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=30640 CPUtime=1542.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5018 0 0 0 154231 0 0 0 25 0 1 0 955439061 31375360 4893 33554432000 4194304 4933572 140735450209200 18446744073709551615 4428960 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7660 4893 385 181 0 4669 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 30640
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.96 3/178 14895
/proc/meminfo: memFree=32225424/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31080 CPUtime=1602.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5117 0 0 0 160231 0 0 0 25 0 1 0 955439061 31825920 4991 33554432000 4194304 4933572 140735450209200 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7770 4991 385 181 0 4779 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 31080
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.90 3/178 14897
/proc/meminfo: memFree=32225244/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31204 CPUtime=1662.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5142 0 0 0 166231 0 0 0 25 0 1 0 955439061 31952896 5016 33554432000 4194304 4933572 140735450209200 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7801 5016 385 181 0 4810 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 31204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.84 3/178 14899
/proc/meminfo: memFree=32225320/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31508 CPUtime=1722.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5199 0 0 0 172231 0 0 0 25 0 1 0 955439061 32264192 5073 33554432000 4194304 4933572 140735450209200 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7877 5073 385 181 0 4886 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 31508
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.79 3/178 14901
/proc/meminfo: memFree=32225024/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31508 CPUtime=1782.31 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5199 0 0 0 178231 0 0 0 25 0 1 0 955439061 32264192 5073 33554432000 4194304 4933572 140735450209200 18446744073709551615 4319566 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7877 5073 385 181 0 4886 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 31508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.78 3/178 14901
/proc/meminfo: memFree=32225248/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31508 CPUtime=1800.02 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5224 0 0 0 180002 0 0 0 25 0 1 0 955439061 32264192 5098 33554432000 4194304 4933572 140735450209200 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7877 5098 385 181 0 4886 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 31508
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.03 2.03 2.78 3/178 14901
/proc/meminfo: memFree=32225248/32951124 swapFree=67049456/67111528
[pid=14804] ppid=14802 vsize=31508 CPUtime=1800.02 cores=0,2,4,6
/proc/14804/stat : 14804 (clasp) R 14802 14804 12325 0 -1 4202496 5224 0 0 0 180002 0 0 0 25 0 1 0 955439061 32264192 5098 33554432000 4194304 4933572 140735450209200 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14804/statm: 7877 5098 385 181 0 4886 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 31508
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.010998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 31508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5232
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= 7
involuntary context switches= 20457
runsolver used 2.74858 second user time and 5.44417 second system time
The end