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-3469497-1307104509/watcher-3469497-1307104509 -o /tmp/evaluation-result-3469497-1307104509/solver-3469497-1307104509 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469497-1307104509.opb --solu --heu=VSIDS
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.04 2.02 2.00 2/461 13662
/proc/meminfo: memFree=28497184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=13872 CPUtime=0 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 932 0 0 0 0 0 0 0 25 0 1 0 822048915 14204928 824 33554432000 4194304 4933572 140736337363664 18446744073709551615 228122713984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 3468 824 365 181 0 477 0
[startup+0.056674 s]
/proc/loadavg: 2.04 2.02 2.00 2/461 13662
/proc/meminfo: memFree=28497184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=15452 CPUtime=0.05 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 1326 0 0 0 5 0 0 0 25 0 1 0 822048915 15822848 1218 33554432000 4194304 4933572 140736337363664 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 3863 1219 372 181 0 872 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15452
[startup+0.100655 s]
/proc/loadavg: 2.04 2.02 2.00 2/461 13662
/proc/meminfo: memFree=28497184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=15708 CPUtime=0.09 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 1387 0 0 0 9 0 0 0 25 0 1 0 822048915 16084992 1279 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648537 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 3927 1279 374 181 0 936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15708
[startup+0.300618 s]
/proc/loadavg: 2.04 2.02 2.00 2/461 13662
/proc/meminfo: memFree=28497184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=15708 CPUtime=0.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 1387 0 0 0 29 0 0 0 25 0 1 0 822048915 16084992 1279 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648652 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 3927 1279 374 181 0 936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15708
[startup+0.700545 s]
/proc/loadavg: 2.04 2.02 2.00 2/461 13662
/proc/meminfo: memFree=28497184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=17404 CPUtime=0.69 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 1807 0 0 0 69 0 0 0 25 0 1 0 822048915 17821696 1699 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648652 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 4351 1699 374 181 0 1360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17404
[startup+1.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 13663
/proc/meminfo: memFree=28491104/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=17328 CPUtime=1.49 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 1807 0 0 0 149 0 0 0 25 0 1 0 822048915 17743872 1697 33554432000 4194304 4933572 140736337363664 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 4332 1697 374 181 0 1341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17328
[startup+3.10011 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 13663
/proc/meminfo: memFree=28490020/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=19240 CPUtime=3.09 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 2300 0 0 0 309 0 0 0 25 0 1 0 822048915 19701760 2151 33554432000 4194304 4933572 140736337363664 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 4810 2151 374 181 0 1819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19240
[startup+6.30054 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 13663
/proc/meminfo: memFree=28487144/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=21872 CPUtime=6.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 2973 0 0 0 629 0 0 0 25 0 1 0 822048915 22396928 2824 33554432000 4194304 4933572 140736337363664 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 5468 2824 374 181 0 2477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21872
[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 13663
/proc/meminfo: memFree=28482924/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=23912 CPUtime=12.69 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 3532 0 0 0 1269 0 0 0 25 0 1 0 822048915 24485888 3341 33554432000 4194304 4933572 140736337363664 18446744073709551615 4637161 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 5978 3341 374 181 0 2987 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23912
[startup+25.5011 s]
/proc/loadavg: 2.03 2.02 2.00 3/462 13663
/proc/meminfo: memFree=28481076/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=25816 CPUtime=25.49 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 4015 0 0 0 2549 0 0 0 25 0 1 0 822048915 26435584 3817 33554432000 4194304 4933572 140736337363664 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 6454 3817 374 181 0 3463 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25816
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 13664
/proc/meminfo: memFree=28477932/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=29024 CPUtime=51.09 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 4852 0 0 0 5109 0 0 0 25 0 1 0 822048915 29720576 4618 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 7256 4618 374 181 0 4265 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29024
[startup+102.317 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 13665
/proc/meminfo: memFree=28475668/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=30648 CPUtime=102.31 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 5241 0 0 0 10230 1 0 0 25 0 1 0 822048915 31383552 4948 33554432000 4194304 4933572 140736337363664 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 7662 4948 374 181 0 4671 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 30648
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13667
/proc/meminfo: memFree=28468936/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=36880 CPUtime=162.3 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 6998 0 0 0 16229 1 0 0 25 0 1 0 822048915 37765120 6566 33554432000 4194304 4933572 140736337363664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 9220 6566 374 181 0 6229 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 36880
[startup+222.3 s]
/proc/loadavg: 1.93 1.99 1.99 4/462 13696
/proc/meminfo: memFree=28648176/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=38320 CPUtime=222.3 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 7520 0 0 0 22229 1 0 0 25 0 1 0 822048915 39239680 6934 33554432000 4194304 4933572 140736337363664 18446744073709551615 47305770287712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13662/statm: 9580 6934 374 181 0 6589 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 38320
[startup+282.3 s]
/proc/loadavg: 2.15 2.03 2.01 4/462 13698
/proc/meminfo: memFree=28641076/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=39540 CPUtime=282.25 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 7836 0 0 0 28224 1 0 0 25 0 1 0 822048915 40488960 7218 33554432000 4194304 4933572 140736337363664 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 9885 7218 374 181 0 6894 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 39540
[startup+342.301 s]
/proc/loadavg: 2.16 2.06 2.01 4/462 13700
/proc/meminfo: memFree=28636304/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=39540 CPUtime=342.25 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 7846 0 0 0 34224 1 0 0 25 0 1 0 822048915 40488960 7228 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 9885 7228 374 181 0 6894 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 39540
[startup+402.301 s]
/proc/loadavg: 2.06 2.04 2.01 4/462 13701
/proc/meminfo: memFree=28630700/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=40440 CPUtime=402.25 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 8017 0 0 0 40224 1 0 0 25 0 1 0 822048915 41410560 7399 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 10110 7399 374 181 0 7119 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 40440
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 4/462 13703
/proc/meminfo: memFree=28625576/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=45008 CPUtime=462.25 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 9560 0 0 0 46224 1 0 0 25 0 1 0 822048915 46088192 8566 33554432000 4194304 4933572 140736337363664 18446744073709551615 4342456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 11252 8566 374 181 0 8261 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 45008
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/462 13704
/proc/meminfo: memFree=28623320/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=46204 CPUtime=522.25 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 10757 0 0 0 52224 1 0 0 25 0 1 0 822048915 47312896 8872 33554432000 4194304 4933572 140736337363664 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 11551 8872 374 181 0 8560 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 46204
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/462 13706
/proc/meminfo: memFree=28622780/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=46324 CPUtime=582.26 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 11618 0 0 0 58225 1 0 0 25 0 1 0 822048915 47435776 8887 33554432000 4194304 4933572 140736337363664 18446744073709551615 4622112 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 11581 8887 374 181 0 8590 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 46324
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.23 2.07 2.02 4/462 13714
/proc/meminfo: memFree=28615524/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=50292 CPUtime=882.27 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 13988 0 0 0 88225 2 0 0 25 0 1 0 822048915 51499008 9852 33554432000 4194304 4933572 140736337363664 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 12573 9852 374 181 0 9582 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 50292
[startup+942.301 s]
/proc/loadavg: 2.08 2.05 2.02 4/462 13716
/proc/meminfo: memFree=28615236/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=50824 CPUtime=942.27 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14138 0 0 0 94225 2 0 0 25 0 1 0 822048915 52043776 9981 33554432000 4194304 4933572 140736337363664 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 12706 9981 374 181 0 9715 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 50824
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.01 4/462 13717
/proc/meminfo: memFree=28614708/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=50824 CPUtime=1002.27 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14138 0 0 0 100225 2 0 0 25 0 1 0 822048915 52043776 9981 33554432000 4194304 4933572 140736337363664 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 12706 9981 374 181 0 9715 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 50824
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/462 13719
/proc/meminfo: memFree=28611952/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=53092 CPUtime=1062.27 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14668 0 0 0 106225 2 0 0 25 0 1 0 822048915 54366208 10511 33554432000 4194304 4933572 140736337363664 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13273 10511 374 181 0 10282 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 53092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/462 13720
/proc/meminfo: memFree=28609184/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=53092 CPUtime=1122.28 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14671 0 0 0 112226 2 0 0 25 0 1 0 822048915 54366208 10514 33554432000 4194304 4933572 140736337363664 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13273 10514 374 181 0 10282 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 53092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/462 13722
/proc/meminfo: memFree=28607916/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=53092 CPUtime=1182.28 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14673 0 0 0 118226 2 0 0 25 0 1 0 822048915 54366208 10516 33554432000 4194304 4933572 140736337363664 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13273 10516 374 181 0 10282 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 53092
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/462 13724
/proc/meminfo: memFree=28607520/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=53540 CPUtime=1242.28 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14785 0 0 0 124226 2 0 0 25 0 1 0 822048915 54824960 10628 33554432000 4194304 4933572 140736337363664 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13385 10628 374 181 0 10394 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 53540
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/462 13725
/proc/meminfo: memFree=28606872/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=54044 CPUtime=1302.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14894 0 0 0 130227 2 0 0 25 0 1 0 822048915 55341056 10737 33554432000 4194304 4933572 140736337363664 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13511 10737 374 181 0 10520 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 54044
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/462 13727
/proc/meminfo: memFree=28605984/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=54216 CPUtime=1362.28 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14931 0 0 0 136226 2 0 0 25 0 1 0 822048915 55517184 10774 33554432000 4194304 4933572 140736337363664 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13554 10774 374 181 0 10563 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 54216
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 4/462 13729
/proc/meminfo: memFree=28604460/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=54384 CPUtime=1422.3 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14963 0 0 0 142228 2 0 0 25 0 1 0 822048915 55689216 10806 33554432000 4194304 4933572 140736337363664 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13596 10806 374 181 0 10605 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 54384
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.02 4/462 13730
/proc/meminfo: memFree=28604552/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=54552 CPUtime=1482.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 14980 0 0 0 148227 2 0 0 25 0 1 0 822048915 55861248 10823 33554432000 4194304 4933572 140736337363664 18446744073709551615 4637189 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13638 10823 374 181 0 10647 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 54552
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/462 13732
/proc/meminfo: memFree=28604528/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55020 CPUtime=1542.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15196 0 0 0 154227 2 0 0 25 0 1 0 822048915 56340480 10970 33554432000 4194304 4933572 140736337363664 18446744073709551615 4664045 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13755 10970 374 181 0 10764 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 55020
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 5/462 13742
/proc/meminfo: memFree=28603180/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55252 CPUtime=1602.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15547 0 0 0 160227 2 0 0 25 0 1 0 822048915 56578048 11024 33554432000 4194304 4933572 140736337363664 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13813 11024 374 181 0 10822 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 55252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/462 13744
/proc/meminfo: memFree=28599048/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55544 CPUtime=1662.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15590 0 0 0 166227 2 0 0 25 0 1 0 822048915 56877056 11067 33554432000 4194304 4933572 140736337363664 18446744073709551615 4342503 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13886 11067 374 181 0 10895 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 55544
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/462 13745
/proc/meminfo: memFree=28598024/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55544 CPUtime=1722.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15618 0 0 0 172227 2 0 0 25 0 1 0 822048915 56877056 11095 33554432000 4194304 4933572 140736337363664 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13886 11095 374 181 0 10895 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 55544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/462 13750
/proc/meminfo: memFree=28596364/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55604 CPUtime=1782.29 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15659 0 0 0 178227 2 0 0 25 0 1 0 822048915 56938496 11119 33554432000 4194304 4933572 140736337363664 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13901 11119 374 181 0 10910 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 55604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13751
/proc/meminfo: memFree=28596708/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55744 CPUtime=1800.1 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15683 0 0 0 180008 2 0 0 25 0 1 0 822048915 57081856 11143 33554432000 4194304 4933572 140736337363664 18446744073709551615 4718431 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13936 11143 374 181 0 10945 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13751
/proc/meminfo: memFree=28596708/32951124 swapFree=41830676/67111528
[pid=13662] ppid=13660 vsize=55744 CPUtime=1800.1 cores=1,3,5,7
/proc/13662/stat : 13662 (clasp) R 13660 13662 12829 0 -1 4202496 15683 0 0 0 180008 2 0 0 25 0 1 0 822048915 57081856 11143 33554432000 4194304 4933572 140736337363664 18446744073709551615 4718431 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13662/statm: 13936 11143 374 181 0 10945 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55744
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.12
CPU user time (s): 1800.09
CPU system time (s): 0.028995
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 55744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15694
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= 6
involuntary context switches= 2898
runsolver used 7.38688 second user time and 18.9221 second system time
The end