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-3468169-1307085297/watcher-3468169-1307085297 -o /tmp/evaluation-result-3468169-1307085297/solver-3468169-1307085297 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468169-1307085297.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: 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: 2.00 2.01 2.00 3/383 26841
/proc/meminfo: memFree=23829092/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/26841/stat : 26841 (runsolver) R 26839 26841 23490 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 820132560 12079104 50 33554432000 4194304 5432328 140737022256464 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/26841/statm: 2949 50 31 303 0 2643 0
[startup+0.106879 s]
/proc/loadavg: 2.00 2.01 2.00 3/383 26841
/proc/meminfo: memFree=23829092/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=22472 CPUtime=0.09 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 3792 0 0 0 8 1 0 0 25 0 1 0 820132560 23011328 2911 33554432000 4194304 4933572 140737026054848 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 5618 2912 332 181 0 2627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22472
[startup+0.200859 s]
/proc/loadavg: 2.00 2.01 2.00 3/383 26841
/proc/meminfo: memFree=23829092/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=31360 CPUtime=0.17 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 6938 0 0 0 16 1 0 0 25 0 1 0 820132560 32112640 5043 33554432000 4194304 4933572 140737026054848 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 7840 5044 332 181 0 4849 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 31360
[startup+0.300856 s]
/proc/loadavg: 2.00 2.01 2.00 3/383 26841
/proc/meminfo: memFree=23829092/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=40444 CPUtime=0.28 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 10121 0 0 0 26 2 0 0 25 0 1 0 820132560 41414656 7314 33554432000 4194304 4933572 140737026054848 18446744073709551615 218370957056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 10111 7315 332 181 0 7120 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40444
[startup+0.700777 s]
/proc/loadavg: 2.00 2.01 2.00 3/383 26841
/proc/meminfo: memFree=23829092/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=55560 CPUtime=0.68 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 13984 0 0 0 65 3 0 0 25 0 1 0 820132560 56893440 11081 33554432000 4194304 4933572 140737026054848 18446744073709551615 4587391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 55560
[startup+1.50063 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23739904/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=55560 CPUtime=1.48 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 13984 0 0 0 145 3 0 0 25 0 1 0 820132560 56893440 11081 33554432000 4194304 4933572 140737026054848 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55560
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23738312/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=50088 CPUtime=3.08 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 14081 0 0 0 305 3 0 0 25 0 1 0 820132560 51290112 9894 33554432000 4194304 4933572 140737026054848 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50088
[startup+6.30078 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23719160/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=69976 CPUtime=6.28 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 18864 0 0 0 624 4 0 0 25 0 1 0 820132560 71655424 14677 33554432000 4194304 4933572 140737026054848 18446744073709551615 4342518 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 17494 14677 381 181 0 14503 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69976
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26849
/proc/meminfo: memFree=23681860/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=86452 CPUtime=12.68 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 23147 0 0 0 1264 4 0 0 25 0 1 0 820132560 88526848 18960 33554432000 4194304 4933572 140737026054848 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 21613 18960 381 181 0 18622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86452
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26849
/proc/meminfo: memFree=23625816/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=112316 CPUtime=25.48 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 29169 0 0 0 2543 5 0 0 25 0 1 0 820132560 115011584 24982 33554432000 4194304 4933572 140737026054848 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 28079 24982 383 181 0 25088 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112316
[startup+51.1008 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 26850
/proc/meminfo: memFree=23570156/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=140160 CPUtime=51.07 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 36134 0 0 0 5101 6 0 0 25 0 1 0 820132560 143523840 31947 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330841 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 35040 31947 383 181 0 32049 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140160
[startup+102.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26851
/proc/meminfo: memFree=23493036/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=178200 CPUtime=102.3 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 45713 0 0 0 10222 8 0 0 25 0 1 0 820132560 182476800 41526 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 44550 41526 383 181 0 41559 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178200
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 26853
/proc/meminfo: memFree=23489040/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=178200 CPUtime=162.29 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 46046 0 0 0 16221 8 0 0 25 0 1 0 820132560 182476800 41859 33554432000 4194304 4933572 140737026054848 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 44550 41859 383 181 0 41559 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178200
[startup+222.314 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 26854
/proc/meminfo: memFree=23463204/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=191532 CPUtime=222.3 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 49403 0 0 0 22222 8 0 0 25 0 1 0 820132560 196128768 45216 33554432000 4194304 4933572 140737026054848 18446744073709551615 4341613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 47883 45216 383 181 0 44892 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191532
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26856
/proc/meminfo: memFree=23459180/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=193688 CPUtime=282.28 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 49935 0 0 0 28220 8 0 0 25 0 1 0 820132560 198336512 45748 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330304 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 48422 45748 383 181 0 45431 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 193688
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 26857
/proc/meminfo: memFree=23386724/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=229840 CPUtime=342.28 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 58974 0 0 0 34219 9 0 0 25 0 1 0 820132560 235356160 54787 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 57460 54787 383 181 0 54469 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 229840
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26859
/proc/meminfo: memFree=23368204/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=239104 CPUtime=402.28 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 61279 0 0 0 40219 9 0 0 25 0 1 0 820132560 244842496 57092 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 59776 57092 383 181 0 56785 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 239104
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26861
/proc/meminfo: memFree=23362072/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=242036 CPUtime=462.29 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 62029 0 0 0 46219 10 0 0 25 0 1 0 820132560 247844864 57842 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 60509 57842 383 181 0 57518 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 242036
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26862
/proc/meminfo: memFree=23362164/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=242036 CPUtime=522.29 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 62029 0 0 0 52219 10 0 0 25 0 1 0 820132560 247844864 57842 33554432000 4194304 4933572 140737026054848 18446744073709551615 4340168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 60509 57842 383 181 0 57518 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 242036
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 26864
/proc/meminfo: memFree=23362596/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=242036 CPUtime=582.3 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 62029 0 0 0 58220 10 0 0 25 0 1 0 820132560 247844864 57842 33554432000 4194304 4933572 140737026054848 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 60509 57842 383 181 0 57518 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 242036
[startup+642.301 s]
################
# More data... #
################
[startup+882.314 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26872
/proc/meminfo: memFree=22971296/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=882.32 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110766 0 0 0 88215 17 0 0 25 0 1 0 820132560 449187840 106579 33554432000 4194304 4933572 140737026054848 18446744073709551615 4631990 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106579 383 181 0 106674 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 438660
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26873
/proc/meminfo: memFree=22971384/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=942.3 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110767 0 0 0 94213 17 0 0 25 0 1 0 820132560 449187840 106580 33554432000 4194304 4933572 140737026054848 18446744073709551615 4637201 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106580 383 181 0 106674 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 438660
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26875
/proc/meminfo: memFree=22971320/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1002.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110768 0 0 0 100214 17 0 0 25 0 1 0 820132560 449187840 106581 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106581 383 181 0 106674 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 438660
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26877
/proc/meminfo: memFree=22971156/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1062.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 106214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 438660
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/387 26878
/proc/meminfo: memFree=22971476/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1122.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 112214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 438660
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/387 26880
/proc/meminfo: memFree=22970920/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1182.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 118214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 438660
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 26881
/proc/meminfo: memFree=22969908/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1242.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 124214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 438660
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26883
/proc/meminfo: memFree=22969248/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1302.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 130214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 438660
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/387 26885
/proc/meminfo: memFree=22970212/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1362.31 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 136214 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4635426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 438660
[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 26886
/proc/meminfo: memFree=22970164/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1422.33 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 142216 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 438660
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26888
/proc/meminfo: memFree=22969872/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1482.32 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110774 0 0 0 148215 17 0 0 25 0 1 0 820132560 449187840 106587 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106587 383 181 0 106674 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 438660
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26889
/proc/meminfo: memFree=22970816/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1542.33 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110775 0 0 0 154216 17 0 0 25 0 1 0 820132560 449187840 106588 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330277 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106588 383 181 0 106674 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 438660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26891
/proc/meminfo: memFree=22970912/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1602.32 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110775 0 0 0 160215 17 0 0 25 0 1 0 820132560 449187840 106588 33554432000 4194304 4933572 140737026054848 18446744073709551615 4319386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106588 383 181 0 106674 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 438660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26893
/proc/meminfo: memFree=22970980/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1662.32 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110775 0 0 0 166215 17 0 0 25 0 1 0 820132560 449187840 106588 33554432000 4194304 4933572 140737026054848 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106588 383 181 0 106674 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 438660
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 26894
/proc/meminfo: memFree=22970920/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1722.32 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110775 0 0 0 172215 17 0 0 25 0 1 0 820132560 449187840 106588 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330304 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106588 383 181 0 106674 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 438660
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26896
/proc/meminfo: memFree=22969008/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1782.33 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110776 0 0 0 178216 17 0 0 25 0 1 0 820132560 449187840 106589 33554432000 4194304 4933572 140737026054848 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106589 383 181 0 106674 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 438660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26896
/proc/meminfo: memFree=22969860/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1800.04 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110776 0 0 0 179987 17 0 0 25 0 1 0 820132560 449187840 106589 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106589 383 181 0 106674 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 438660
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.02 2.01 2.00 3/387 26896
/proc/meminfo: memFree=22969860/32951124 swapFree=49244120/67111528
[pid=26841] ppid=26839 vsize=438660 CPUtime=1800.04 cores=1,3,5,7
/proc/26841/stat : 26841 (clasp) R 26839 26841 23490 0 -1 4202496 110776 0 0 0 179987 17 0 0 25 0 1 0 820132560 449187840 106589 33554432000 4194304 4933572 140737026054848 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26841/statm: 109665 106589 383 181 0 106674 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 438660
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.07
CPU user time (s): 1799.88
CPU system time (s): 0.189971
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 438660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110788
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= 10
involuntary context switches= 4816
runsolver used 6.27405 second user time and 15.2947 second system time
The end