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-3468247-1307098832/watcher-3468247-1307098832 -o /tmp/evaluation-result-3468247-1307098832/solver-3468247-1307098832 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468247-1307098832.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: 1.92 2.00 1.99 1/533 17804
/proc/meminfo: memFree=29138732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/17804/stat : 17804 (runsolver) R 17802 17804 17375 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 821481150 12079104 51 33554432000 4194304 5432328 140733507328272 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/17804/statm: 2949 51 31 303 0 2643 0
[startup+0.0885931 s]
/proc/loadavg: 1.92 2.00 1.99 1/533 17804
/proc/meminfo: memFree=29138732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=14920 CPUtime=0.06 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 1372 0 0 0 6 0 0 0 25 0 1 0 821481150 15278080 1049 33554432000 4194304 4933572 140733723782864 18446744073709551615 4648944 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 3730 1049 377 181 0 739 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14920
[startup+0.100592 s]
/proc/loadavg: 1.92 2.00 1.99 1/533 17804
/proc/meminfo: memFree=29138732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=14920 CPUtime=0.07 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 1372 0 0 0 7 0 0 0 25 0 1 0 821481150 15278080 1049 33554432000 4194304 4933572 140733723782864 18446744073709551615 4332762 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 3730 1049 377 181 0 739 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14920
[startup+0.300567 s]
/proc/loadavg: 1.92 2.00 1.99 1/533 17804
/proc/meminfo: memFree=29138732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=19808 CPUtime=0.27 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 2626 0 0 0 27 0 0 0 25 0 1 0 821481150 20283392 2303 33554432000 4194304 4933572 140733723782864 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 4952 2303 384 181 0 1961 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 19808
[startup+0.700506 s]
/proc/loadavg: 1.92 2.00 1.99 1/533 17804
/proc/meminfo: memFree=29138732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=32236 CPUtime=0.67 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 5748 0 0 0 67 0 0 0 25 0 1 0 821481150 33009664 5425 33554432000 4194304 4933572 140733723782864 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 8059 5425 384 181 0 5068 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 32236
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 1.99 2/534 17805
/proc/meminfo: memFree=29109240/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=42580 CPUtime=1.46 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 8318 0 0 0 146 0 0 0 25 0 1 0 821481150 43601920 7995 33554432000 4194304 4933572 140733723782864 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 10645 7995 384 181 0 7654 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42580
[startup+3.10106 s]
/proc/loadavg: 1.92 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29099020/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=53980 CPUtime=3.07 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 11153 0 0 0 306 1 0 0 25 0 1 0 821481150 55275520 10830 33554432000 4194304 4933572 140733723782864 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 13495 10830 384 181 0 10504 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 53980
[startup+6.30051 s]
/proc/loadavg: 1.93 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29049192/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=60328 CPUtime=6.27 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 12762 0 0 0 626 1 0 0 25 0 1 0 821481150 61775872 12439 33554432000 4194304 4933572 140733723782864 18446744073709551615 4319763 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 15082 12439 384 181 0 12091 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 60328
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29023136/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=72248 CPUtime=12.67 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 15719 0 0 0 1266 1 0 0 25 0 1 0 821481150 73981952 15396 33554432000 4194304 4933572 140733723782864 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 18062 15396 386 181 0 15071 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 72248
[startup+25.5001 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 17832
/proc/meminfo: memFree=28999456/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=82976 CPUtime=25.47 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 18378 0 0 0 2545 2 0 0 25 0 1 0 821481150 84967424 18055 33554432000 4194304 4933572 140733723782864 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 20744 18055 386 181 0 17753 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 82976
[startup+51.1006 s]
/proc/loadavg: 2.01 2.01 2.00 3/536 17842
/proc/meminfo: memFree=28969084/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=95532 CPUtime=51.07 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 21529 0 0 0 5105 2 0 0 25 0 1 0 821481150 97824768 21206 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 23883 21206 386 181 0 20892 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95532
[startup+102.321 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17843
/proc/meminfo: memFree=28935048/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=114152 CPUtime=102.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 26180 0 0 0 10226 3 0 0 25 0 1 0 821481150 116891648 25857 33554432000 4194304 4933572 140733723782864 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 28538 25857 386 181 0 25547 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 114152
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17845
/proc/meminfo: memFree=28903780/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=126488 CPUtime=162.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 29244 0 0 0 16224 4 0 0 25 0 1 0 821481150 129523712 28921 33554432000 4194304 4933572 140733723782864 18446744073709551615 4632761 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 31622 28921 386 181 0 28631 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 126488
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17847
/proc/meminfo: memFree=28877344/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=145496 CPUtime=222.27 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 34011 0 0 0 22223 4 0 0 25 0 1 0 821481150 148987904 33688 33554432000 4194304 4933572 140733723782864 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 36374 33688 386 181 0 33383 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 145496
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17851
/proc/meminfo: memFree=28868524/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=147872 CPUtime=282.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 34560 0 0 0 28223 5 0 0 25 0 1 0 821481150 151420928 34237 33554432000 4194304 4933572 140733723782864 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 36968 34237 386 181 0 33977 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 147872
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17853
/proc/meminfo: memFree=28867372/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=147288 CPUtime=342.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 35071 0 0 0 34223 5 0 0 25 0 1 0 821481150 150822912 34121 33554432000 4194304 4933572 140733723782864 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 36822 34121 387 181 0 33831 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 147288
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/536 17854
/proc/meminfo: memFree=28844280/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=159648 CPUtime=402.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 40919 0 0 0 40222 6 0 0 25 0 1 0 821481150 163479552 37178 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 39912 37178 387 181 0 36921 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 159648
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 17856
/proc/meminfo: memFree=28836820/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=162960 CPUtime=462.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 41719 0 0 0 46222 6 0 0 25 0 1 0 821481150 166871040 37978 33554432000 4194304 4933572 140733723782864 18446744073709551615 4341584 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 40740 37978 387 181 0 37749 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 162960
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 17858
/proc/meminfo: memFree=28815836/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=174632 CPUtime=522.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 44648 0 0 0 52221 7 0 0 25 0 1 0 821481150 178823168 40907 33554432000 4194304 4933572 140733723782864 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 43658 40907 387 181 0 40667 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 174632
[startup+582.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/536 17859
/proc/meminfo: memFree=28802296/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=180964 CPUtime=582.28 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 47688 0 0 0 58221 7 0 0 25 0 1 0 821481150 185307136 42428 33554432000 4194304 4933572 140733723782864 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 45241 42428 387 181 0 42250 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 180964
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17867
/proc/meminfo: memFree=28777396/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=187840 CPUtime=822.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 51126 0 0 0 82221 8 0 0 25 0 1 0 821481150 192348160 44082 33554432000 4194304 4933572 140733723782864 18446744073709551615 4632150 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 46960 44082 387 181 0 43969 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 187840
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17869
/proc/meminfo: memFree=28764356/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=200392 CPUtime=882.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 54272 0 0 0 88221 8 0 0 25 0 1 0 821481150 205201408 47228 33554432000 4194304 4933572 140733723782864 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 50098 47228 387 181 0 47107 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 200392
[startup+942.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/536 17871
/proc/meminfo: memFree=28756764/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=204452 CPUtime=942.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 55272 0 0 0 94221 8 0 0 25 0 1 0 821481150 209358848 48228 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 51113 48228 387 181 0 48122 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 204452
[startup+1002.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 17872
/proc/meminfo: memFree=28755004/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=204452 CPUtime=1002.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 55272 0 0 0 100221 8 0 0 25 0 1 0 821481150 209358848 48228 33554432000 4194304 4933572 140733723782864 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 51113 48228 387 181 0 48122 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 204452
[startup+1062.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17875
/proc/meminfo: memFree=28752980/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=206432 CPUtime=1062.29 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 55773 0 0 0 106221 8 0 0 25 0 1 0 821481150 211386368 48729 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 51608 48729 387 181 0 48617 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 206432
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 17877
/proc/meminfo: memFree=28750240/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=208016 CPUtime=1122.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 56185 0 0 0 112221 9 0 0 25 0 1 0 821481150 213008384 49141 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 52004 49141 387 181 0 49013 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 208016
[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 17878
/proc/meminfo: memFree=28748732/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=208016 CPUtime=1182.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 56185 0 0 0 118221 9 0 0 25 0 1 0 821481150 213008384 49141 33554432000 4194304 4933572 140733723782864 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 52004 49141 387 181 0 49013 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 208016
[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 17880
/proc/meminfo: memFree=28737184/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=207568 CPUtime=1242.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 58342 0 0 0 124221 9 0 0 25 0 1 0 821481150 212549632 49136 33554432000 4194304 4933572 140733723782864 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 51892 49136 387 181 0 48901 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 207568
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17881
/proc/meminfo: memFree=28715340/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=223592 CPUtime=1302.31 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 62281 0 0 0 130222 9 0 0 25 0 1 0 821481150 228958208 53075 33554432000 4194304 4933572 140733723782864 18446744073709551615 4341775 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 55898 53075 387 181 0 52907 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 223592
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 17884
/proc/meminfo: memFree=28714820/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=224648 CPUtime=1362.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 62570 0 0 0 136221 9 0 0 25 0 1 0 821481150 230039552 53364 33554432000 4194304 4933572 140733723782864 18446744073709551615 228244046419 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 56162 53364 387 181 0 53171 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 224648
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17886
/proc/meminfo: memFree=28713196/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=224648 CPUtime=1422.32 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 62570 0 0 0 142223 9 0 0 25 0 1 0 821481150 230039552 53364 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 56162 53364 387 181 0 53171 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 224648
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17887
/proc/meminfo: memFree=28712068/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=223676 CPUtime=1482.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 62570 0 0 0 148221 9 0 0 25 0 1 0 821481150 229044224 53123 33554432000 4194304 4933572 140733723782864 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 55919 53123 387 181 0 52928 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 223676
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 17889
/proc/meminfo: memFree=28708324/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=229088 CPUtime=1542.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 63894 0 0 0 154221 9 0 0 25 0 1 0 821481150 234586112 54447 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57272 54447 387 181 0 54281 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 229088
[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 17890
/proc/meminfo: memFree=28708436/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=229088 CPUtime=1602.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 63894 0 0 0 160221 9 0 0 25 0 1 0 821481150 234586112 54447 33554432000 4194304 4933572 140733723782864 18446744073709551615 4622122 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57272 54447 387 181 0 54281 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 229088
[startup+1662.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/536 17892
/proc/meminfo: memFree=28702208/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=229088 CPUtime=1662.3 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 63894 0 0 0 166221 9 0 0 25 0 1 0 821481150 234586112 54447 33554432000 4194304 4933572 140733723782864 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57272 54447 387 181 0 54281 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 229088
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/536 17894
/proc/meminfo: memFree=28701320/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=229616 CPUtime=1722.31 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 64027 0 0 0 172222 9 0 0 25 0 1 0 821481150 235126784 54580 33554432000 4194304 4933572 140733723782864 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57404 54580 387 181 0 54413 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 229616
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/536 17895
/proc/meminfo: memFree=28698812/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=229616 CPUtime=1782.31 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 64027 0 0 0 178222 9 0 0 25 0 1 0 821481150 235126784 54580 33554432000 4194304 4933572 140733723782864 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57404 54580 387 181 0 54413 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 229616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 17896
/proc/meminfo: memFree=28699920/32951124 swapFree=58212616/67111528
[pid=17804] ppid=17802 vsize=228564 CPUtime=1800.02 cores=1,3,5,7
/proc/17804/stat : 17804 (clasp) R 17802 17804 17375 0 -1 4202496 64027 0 0 0 179993 9 0 0 25 0 1 0 821481150 234049536 54324 33554432000 4194304 4933572 140733723782864 18446744073709551615 4341838 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17804/statm: 57141 54324 387 181 0 54150 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 228564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1799.94
CPU system time (s): 0.109983
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 229616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64035
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= 20737
runsolver used 8.79566 second user time and 22.3276 second system time
The end