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-3468601-1307079153/watcher-3468601-1307079153 -o /tmp/evaluation-result-3468601-1307079153/solver-3468601-1307079153 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468601-1307079153.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.07 2.05 2.01 2/477 19820
/proc/meminfo: memFree=21482288/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=12704 CPUtime=0.01 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 600 0 0 0 1 0 0 0 25 0 1 0 800330639 13008896 532 33554432000 4194304 4933572 140737392322016 18446744073709551615 254261277381 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3176 532 373 181 0 185 0
[startup+0.110777 s]
/proc/loadavg: 2.07 2.05 2.01 2/477 19820
/proc/meminfo: memFree=21482288/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=13364 CPUtime=0.1 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 754 0 0 0 10 0 0 0 25 0 1 0 800330639 13684736 686 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3341 686 374 181 0 350 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13364
[startup+0.200762 s]
/proc/loadavg: 2.07 2.05 2.01 2/477 19820
/proc/meminfo: memFree=21482288/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=13628 CPUtime=0.19 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 833 0 0 0 19 0 0 0 25 0 1 0 800330639 13955072 765 33554432000 4194304 4933572 140737392322016 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3407 765 374 181 0 416 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13628
[startup+0.300746 s]
/proc/loadavg: 2.07 2.05 2.01 2/477 19820
/proc/meminfo: memFree=21482288/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=13892 CPUtime=0.29 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 890 0 0 0 29 0 0 0 25 0 1 0 800330639 14225408 822 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3473 822 374 181 0 482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13892
[startup+0.700673 s]
/proc/loadavg: 2.07 2.05 2.01 2/477 19820
/proc/meminfo: memFree=21482288/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=14288 CPUtime=0.69 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 991 0 0 0 69 0 0 0 25 0 1 0 800330639 14630912 923 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319386 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3572 923 374 181 0 581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14288
[startup+1.50053 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 19821
/proc/meminfo: memFree=21478732/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=14816 CPUtime=1.49 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 1137 0 0 0 149 0 0 0 25 0 1 0 800330639 15171584 1069 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3704 1069 374 181 0 713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14816
[startup+3.10025 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 19821
/proc/meminfo: memFree=21477244/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=15780 CPUtime=3.09 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 1349 0 0 0 309 0 0 0 25 0 1 0 800330639 16158720 1281 33554432000 4194304 4933572 140737392322016 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 3945 1281 374 181 0 954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15780
[startup+6.30068 s]
/proc/loadavg: 2.06 2.04 2.01 3/478 19821
/proc/meminfo: memFree=21475876/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=16440 CPUtime=6.29 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 1515 0 0 0 629 0 0 0 25 0 1 0 800330639 16834560 1447 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 4110 1447 374 181 0 1119 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16440
[startup+12.7006 s]
/proc/loadavg: 2.05 2.04 2.00 3/478 19821
/proc/meminfo: memFree=21474740/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=17072 CPUtime=12.69 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 1674 0 0 0 1269 0 0 0 25 0 1 0 800330639 17481728 1606 33554432000 4194304 4933572 140737392322016 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 4268 1606 375 181 0 1277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17072
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 19822
/proc/meminfo: memFree=21472996/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=18660 CPUtime=25.49 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 2095 0 0 0 2549 0 0 0 25 0 1 0 800330639 19107840 2027 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 4665 2027 375 181 0 1674 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18660
[startup+51.1008 s]
/proc/loadavg: 2.17 2.07 2.01 3/478 19822
/proc/meminfo: memFree=21472096/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=19820 CPUtime=51.09 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 2377 0 0 0 5109 0 0 0 25 0 1 0 800330639 20295680 2309 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 4955 2309 375 181 0 1964 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19820
[startup+102.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/478 19824
/proc/meminfo: memFree=21470180/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=20760 CPUtime=102.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 2610 0 0 0 10230 0 0 0 25 0 1 0 800330639 21258240 2533 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319380 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5190 2533 375 181 0 2199 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20760
[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/478 19825
/proc/meminfo: memFree=21468412/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=21572 CPUtime=162.29 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 2811 0 0 0 16229 0 0 0 25 0 1 0 800330639 22089728 2733 33554432000 4194304 4933572 140737392322016 18446744073709551615 4631855 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5393 2733 375 181 0 2402 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21572
[startup+222.318 s]
/proc/loadavg: 2.09 2.06 2.01 3/478 19827
/proc/meminfo: memFree=21469000/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=22132 CPUtime=222.31 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 2930 0 0 0 22231 0 0 0 25 0 1 0 800330639 22663168 2852 33554432000 4194304 4933572 140737392322016 18446744073709551615 4717624 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5533 2852 375 181 0 2542 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 22132
[startup+282.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/478 19828
/proc/meminfo: memFree=21468200/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=22624 CPUtime=282.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3070 0 0 0 28230 0 0 0 25 0 1 0 800330639 23166976 2992 33554432000 4194304 4933572 140737392322016 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5656 2992 375 181 0 2665 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22624
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 19830
/proc/meminfo: memFree=21467176/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=23208 CPUtime=342.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3274 0 0 0 34230 0 0 0 25 0 1 0 800330639 23764992 3152 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5802 3152 375 181 0 2811 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23208
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 19832
/proc/meminfo: memFree=21467244/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=23208 CPUtime=402.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3302 0 0 0 40230 0 0 0 25 0 1 0 800330639 23764992 3152 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5802 3152 375 181 0 2811 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23208
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19833
/proc/meminfo: memFree=21466828/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=23588 CPUtime=462.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3403 0 0 0 46230 0 0 0 25 0 1 0 800330639 24154112 3247 33554432000 4194304 4933572 140737392322016 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5897 3247 375 181 0 2906 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23588
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19835
/proc/meminfo: memFree=21466420/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=23724 CPUtime=522.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3428 0 0 0 52230 0 0 0 25 0 1 0 800330639 24293376 3272 33554432000 4194304 4933572 140737392322016 18446744073709551615 4717646 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 5931 3272 375 181 0 2940 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23724
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 19836
/proc/meminfo: memFree=21465124/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=24308 CPUtime=582.3 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3556 0 0 0 58230 0 0 0 25 0 1 0 800330639 24891392 3399 33554432000 4194304 4933572 140737392322016 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6077 3399 375 181 0 3086 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24308
[startup+642.3 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 19899
/proc/meminfo: memFree=21422024/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25004 CPUtime=882.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3927 0 0 0 88232 0 0 0 25 0 1 0 800330639 25604096 3600 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6251 3600 375 181 0 3260 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25004
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 19901
/proc/meminfo: memFree=21419464/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25072 CPUtime=942.31 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 3983 0 0 0 94231 0 0 0 25 0 1 0 800330639 25673728 3617 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649174 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6268 3617 375 181 0 3277 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25072
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 19903
/proc/meminfo: memFree=21418792/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25280 CPUtime=1002.31 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4070 0 0 0 100231 0 0 0 25 0 1 0 800330639 25886720 3670 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6320 3670 375 181 0 3329 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 19904
/proc/meminfo: memFree=21418980/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25536 CPUtime=1062.31 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4143 0 0 0 106231 0 0 0 25 0 1 0 800330639 26148864 3733 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6384 3733 375 181 0 3393 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25536
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/478 19906
/proc/meminfo: memFree=21410988/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25552 CPUtime=1122.31 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4149 0 0 0 112231 0 0 0 25 0 1 0 800330639 26165248 3737 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6388 3737 375 181 0 3397 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25552
[startup+1182.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/478 19907
/proc/meminfo: memFree=21410556/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25816 CPUtime=1182.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4192 0 0 0 118232 0 0 0 25 0 1 0 800330639 26435584 3780 33554432000 4194304 4933572 140737392322016 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6454 3780 375 181 0 3463 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 25816
[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/478 19909
/proc/meminfo: memFree=21410500/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25856 CPUtime=1242.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4234 0 0 0 124232 0 0 0 25 0 1 0 800330639 26476544 3812 33554432000 4194304 4933572 140737392322016 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6464 3812 375 181 0 3473 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 25856
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/478 19911
/proc/meminfo: memFree=21410312/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=25856 CPUtime=1302.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4234 0 0 0 130232 0 0 0 25 0 1 0 800330639 26476544 3812 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6464 3812 375 181 0 3473 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25856
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 19912
/proc/meminfo: memFree=21409996/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26004 CPUtime=1362.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4256 0 0 0 136232 0 0 0 25 0 1 0 800330639 26628096 3834 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6501 3834 375 181 0 3510 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 26004
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 19914
/proc/meminfo: memFree=21406704/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26132 CPUtime=1422.33 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4307 0 0 0 142233 0 0 0 25 0 1 0 800330639 26759168 3880 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6533 3880 375 181 0 3542 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 19915
/proc/meminfo: memFree=21406520/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26132 CPUtime=1482.32 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4307 0 0 0 148232 0 0 0 25 0 1 0 800330639 26759168 3880 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6533 3880 375 181 0 3542 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 26132
[startup+1542.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/478 19917
/proc/meminfo: memFree=21406576/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26272 CPUtime=1542.34 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4332 0 0 0 154234 0 0 0 25 0 1 0 800330639 26902528 3905 33554432000 4194304 4933572 140737392322016 18446744073709551615 4717568 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6568 3905 375 181 0 3577 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 26272
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/478 19919
/proc/meminfo: memFree=21406520/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26272 CPUtime=1602.33 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4338 0 0 0 160233 0 0 0 25 0 1 0 800330639 26902528 3911 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6568 3911 375 181 0 3577 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 26272
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/478 19920
/proc/meminfo: memFree=21403488/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26464 CPUtime=1662.33 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4382 0 0 0 166233 0 0 0 25 0 1 0 800330639 27099136 3955 33554432000 4194304 4933572 140737392322016 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6616 3955 375 181 0 3625 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 26464
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/478 19931
/proc/meminfo: memFree=21402480/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26580 CPUtime=1722.33 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4401 0 0 0 172233 0 0 0 25 0 1 0 800330639 27217920 3974 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6645 3974 375 181 0 3654 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 26580
[startup+1782.3 s]
/proc/loadavg: 2.17 2.09 2.02 3/478 19932
/proc/meminfo: memFree=21400664/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26696 CPUtime=1782.33 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4445 0 0 0 178233 0 0 0 25 0 1 0 800330639 27336704 4015 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6674 4015 375 181 0 3683 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 26696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.08 2.02 3/478 19933
/proc/meminfo: memFree=21401268/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26696 CPUtime=1800.04 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4445 0 0 0 180004 0 0 0 25 0 1 0 800330639 27336704 4015 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6674 4015 375 181 0 3683 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26696
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.12 2.08 2.02 3/478 19933
/proc/meminfo: memFree=21401268/32951124 swapFree=67057928/67111528
[pid=19820] ppid=19818 vsize=26696 CPUtime=1800.04 cores=1,3,5,7
/proc/19820/stat : 19820 (clasp) R 19818 19820 17530 0 -1 4202496 4445 0 0 0 180004 0 0 0 25 0 1 0 800330639 27336704 4015 33554432000 4194304 4933572 140737392322016 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19820/statm: 6674 4015 375 181 0 3683 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26696
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.010998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 26712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
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= 4458
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= 2620
runsolver used 7.57585 second user time and 18.6362 second system time
The end