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-3469438-1307098753/watcher-3469438-1307098753 -o /tmp/evaluation-result-3469438-1307098753/solver-3469438-1307098753 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469438-1307098753.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.05 2.01 2/415 901
/proc/meminfo: memFree=25808492/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=13120 CPUtime=0 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 653 0 0 0 0 0 0 0 25 0 1 0 277484709 13434880 566 33554432000 4194304 4933572 140736029249568 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 3280 567 318 181 0 289 0
[startup+0.0342939 s]
/proc/loadavg: 2.11 2.05 2.01 2/415 901
/proc/meminfo: memFree=25808492/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=15364 CPUtime=0.03 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 1343 0 0 0 3 0 0 0 25 0 1 0 277484709 15732736 1185 33554432000 4194304 4933572 140736029249568 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 3841 1186 366 181 0 850 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15364
[startup+0.10028 s]
/proc/loadavg: 2.11 2.05 2.01 2/415 901
/proc/meminfo: memFree=25808492/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=16684 CPUtime=0.09 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 1687 0 0 0 9 0 0 0 25 0 1 0 277484709 17084416 1529 33554432000 4194304 4933572 140736029249568 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 4171 1529 374 181 0 1180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16684
[startup+0.300245 s]
/proc/loadavg: 2.11 2.05 2.01 2/415 901
/proc/meminfo: memFree=25808492/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=18152 CPUtime=0.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 2043 0 0 0 29 0 0 0 25 0 1 0 277484709 18587648 1885 33554432000 4194304 4933572 140736029249568 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 4538 1885 374 181 0 1547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18152
[startup+0.701175 s]
/proc/loadavg: 2.11 2.05 2.01 2/415 901
/proc/meminfo: memFree=25808492/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=19496 CPUtime=0.69 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 2366 0 0 0 69 0 0 0 25 0 1 0 277484709 19963904 2208 33554432000 4194304 4933572 140736029249568 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 4874 2208 374 181 0 1883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19496
[startup+1.50104 s]
/proc/loadavg: 2.11 2.05 2.01 3/416 902
/proc/meminfo: memFree=25799688/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=20816 CPUtime=1.49 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 2697 0 0 0 149 0 0 0 25 0 1 0 277484709 21315584 2539 33554432000 4194304 4933572 140736029249568 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 5204 2539 374 181 0 2213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20816
[startup+3.10075 s]
/proc/loadavg: 2.11 2.05 2.01 3/416 903
/proc/meminfo: memFree=25797332/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=22144 CPUtime=3.09 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 3058 0 0 0 309 0 0 0 25 0 1 0 277484709 22675456 2900 33554432000 4194304 4933572 140736029249568 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 5536 2900 374 181 0 2545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22144
[startup+6.30019 s]
/proc/loadavg: 2.10 2.05 2.01 3/416 903
/proc/meminfo: memFree=25794084/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=25188 CPUtime=6.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 3780 0 0 0 629 0 0 0 25 0 1 0 277484709 25792512 3622 33554432000 4194304 4933572 140736029249568 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 6297 3622 374 181 0 3306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25188
[startup+12.7011 s]
/proc/loadavg: 2.09 2.05 2.01 3/416 903
/proc/meminfo: memFree=25791000/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=27832 CPUtime=12.69 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 4460 0 0 0 1269 0 0 0 25 0 1 0 277484709 28499968 4302 33554432000 4194304 4933572 140736029249568 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 6958 4302 374 181 0 3967 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27832
[startup+25.5008 s]
/proc/loadavg: 2.07 2.05 2.01 3/416 903
/proc/meminfo: memFree=25786916/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=31232 CPUtime=25.49 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 5298 0 0 0 2549 0 0 0 25 0 1 0 277484709 31981568 5113 33554432000 4194304 4933572 140736029249568 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 7808 5113 375 181 0 4817 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31232
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.01 3/416 904
/proc/meminfo: memFree=25781768/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=36028 CPUtime=51.09 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 6488 0 0 0 5109 0 0 0 25 0 1 0 277484709 36892672 6303 33554432000 4194304 4933572 140736029249568 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 9007 6303 375 181 0 6016 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36028
[startup+102.315 s]
/proc/loadavg: 2.10 2.06 2.02 3/416 905
/proc/meminfo: memFree=25776420/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=40920 CPUtime=102.31 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 7879 0 0 0 10231 0 0 0 25 0 1 0 277484709 41902080 7566 33554432000 4194304 4933572 140736029249568 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 10230 7566 375 181 0 7239 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 40920
[startup+162.301 s]
/proc/loadavg: 2.23 2.09 2.03 3/416 946
/proc/meminfo: memFree=25968436/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=44636 CPUtime=162.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 8804 0 0 0 16229 0 0 0 25 0 1 0 277484709 45707264 8458 33554432000 4194304 4933572 140736029249568 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 11159 8458 375 181 0 8168 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44636
[startup+222.301 s]
/proc/loadavg: 2.16 2.09 2.02 3/416 947
/proc/meminfo: memFree=25939412/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=45620 CPUtime=222.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 9393 0 0 0 22229 0 0 0 25 0 1 0 277484709 46714880 8702 33554432000 4194304 4933572 140736029249568 18446744073709551615 4622128 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 11405 8702 375 181 0 8414 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45620
[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/416 949
/proc/meminfo: memFree=25922648/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=49644 CPUtime=282.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 10527 0 0 0 28229 0 0 0 25 0 1 0 277484709 50835456 9734 33554432000 4194304 4933572 140736029249568 18446744073709551615 4341800 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 12411 9734 375 181 0 9420 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 49644
[startup+342.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/416 951
/proc/meminfo: memFree=25915196/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=50600 CPUtime=342.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 10951 0 0 0 34229 0 0 0 25 0 1 0 277484709 51814400 9971 33554432000 4194304 4933572 140736029249568 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 12650 9971 375 181 0 9659 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 50600
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/416 952
/proc/meminfo: memFree=25907740/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=55700 CPUtime=402.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 12434 0 0 0 40229 0 0 0 25 0 1 0 277484709 57036800 11215 33554432000 4194304 4933572 140736029249568 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 13925 11215 375 181 0 10934 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 55700
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 954
/proc/meminfo: memFree=25901032/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=56124 CPUtime=462.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 12682 0 0 0 46229 0 0 0 25 0 1 0 277484709 57470976 11317 33554432000 4194304 4933572 140736029249568 18446744073709551615 4631801 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 14031 11317 375 181 0 11040 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 56124
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 955
/proc/meminfo: memFree=25900024/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=56492 CPUtime=522.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 12810 0 0 0 52228 0 0 0 25 0 1 0 277484709 57847808 11410 33554432000 4194304 4933572 140736029249568 18446744073709551615 4340551 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 14123 11410 375 181 0 11132 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 56492
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 957
/proc/meminfo: memFree=25897028/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=58404 CPUtime=582.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 13332 0 0 0 58228 0 0 0 25 0 1 0 277484709 59805696 11864 33554432000 4194304 4933572 140736029249568 18446744073709551615 4341626 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 14601 11864 375 181 0 11610 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 58404
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 968
/proc/meminfo: memFree=25869736/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=62200 CPUtime=882.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14373 0 0 0 88228 1 0 0 25 0 1 0 277484709 63692800 12690 33554432000 4194304 4933572 140736029249568 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15550 12690 375 181 0 12559 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 62200
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 970
/proc/meminfo: memFree=25867488/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=62568 CPUtime=942.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14547 0 0 0 94228 1 0 0 25 0 1 0 277484709 64069632 12801 33554432000 4194304 4933572 140736029249568 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15642 12801 375 181 0 12651 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 62568
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 971
/proc/meminfo: memFree=25866856/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=63032 CPUtime=1002.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14680 0 0 0 100227 1 0 0 25 0 1 0 277484709 64544768 12911 33554432000 4194304 4933572 140736029249568 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15758 12911 375 181 0 12767 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 63032
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 974
/proc/meminfo: memFree=25866224/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=63296 CPUtime=1062.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14724 0 0 0 106227 1 0 0 25 0 1 0 277484709 64815104 12955 33554432000 4194304 4933572 140736029249568 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15824 12955 375 181 0 12833 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 63296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 975
/proc/meminfo: memFree=25865464/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=63296 CPUtime=1122.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14744 0 0 0 112227 1 0 0 25 0 1 0 277484709 64815104 12975 33554432000 4194304 4933572 140736029249568 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15824 12975 375 181 0 12833 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 63296
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 977
/proc/meminfo: memFree=25862596/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=63484 CPUtime=1182.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 14785 0 0 0 118227 1 0 0 25 0 1 0 277484709 65007616 13016 33554432000 4194304 4933572 140736029249568 18446744073709551615 4341807 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 15871 13016 375 181 0 12880 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 63484
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/416 979
/proc/meminfo: memFree=25852288/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=64424 CPUtime=1242.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15046 0 0 0 124227 1 0 0 25 0 1 0 277484709 65970176 13225 33554432000 4194304 4933572 140736029249568 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16106 13225 375 181 0 13115 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 64424
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/416 980
/proc/meminfo: memFree=25849416/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=64752 CPUtime=1302.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15194 0 0 0 130227 1 0 0 25 0 1 0 277484709 66306048 13316 33554432000 4194304 4933572 140736029249568 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16188 13316 375 181 0 13197 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 64752
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/416 982
/proc/meminfo: memFree=25847544/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=65040 CPUtime=1362.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15314 0 0 0 136227 1 0 0 25 0 1 0 277484709 66600960 13367 33554432000 4194304 4933572 140736029249568 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16260 13367 375 181 0 13269 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 65040
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 983
/proc/meminfo: memFree=25847284/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=65124 CPUtime=1422.29 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15431 0 0 0 142228 1 0 0 25 0 1 0 277484709 66686976 13407 33554432000 4194304 4933572 140736029249568 18446744073709551615 4631838 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16281 13407 375 181 0 13290 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 65124
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 985
/proc/meminfo: memFree=25845528/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=65424 CPUtime=1482.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15559 0 0 0 148227 1 0 0 25 0 1 0 277484709 66994176 13460 33554432000 4194304 4933572 140736029249568 18446744073709551615 218880262794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16356 13460 375 181 0 13365 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 65424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 987
/proc/meminfo: memFree=25847000/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=65556 CPUtime=1542.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15595 0 0 0 154227 1 0 0 25 0 1 0 277484709 67129344 13496 33554432000 4194304 4933572 140736029249568 18446744073709551615 4414957 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16389 13496 375 181 0 13398 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 65556
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 988
/proc/meminfo: memFree=25846488/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66084 CPUtime=1602.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15678 0 0 0 160227 1 0 0 25 0 1 0 277484709 67670016 13579 33554432000 4194304 4933572 140736029249568 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16521 13579 375 181 0 13530 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 66084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 990
/proc/meminfo: memFree=25846604/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66084 CPUtime=1662.28 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15696 0 0 0 166227 1 0 0 25 0 1 0 277484709 67670016 13597 33554432000 4194304 4933572 140736029249568 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16521 13597 375 181 0 13530 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 66084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 991
/proc/meminfo: memFree=25844356/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66424 CPUtime=1722.27 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15743 0 0 0 172226 1 0 0 25 0 1 0 277484709 68018176 13644 33554432000 4194304 4933572 140736029249568 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16606 13644 375 181 0 13615 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 66424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 993
/proc/meminfo: memFree=25842728/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66592 CPUtime=1782.27 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15776 0 0 0 178226 1 0 0 25 0 1 0 277484709 68190208 13677 33554432000 4194304 4933572 140736029249568 18446744073709551615 4631815 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16648 13677 375 181 0 13657 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 66592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/416 993
/proc/meminfo: memFree=25843216/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66760 CPUtime=1800.08 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15811 0 0 0 180007 1 0 0 25 0 1 0 277484709 68362240 13712 33554432000 4194304 4933572 140736029249568 18446744073709551615 4622122 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16690 13712 375 181 0 13699 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 66760
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.07 2.02 2.00 3/416 993
/proc/meminfo: memFree=25843216/32950928 swapFree=52006644/67111528
[pid=901] ppid=899 vsize=66760 CPUtime=1800.08 cores=0,2,4,6
/proc/901/stat : 901 (clasp) R 899 901 32638 0 -1 4202496 15811 0 0 0 180007 1 0 0 25 0 1 0 277484709 68362240 13712 33554432000 4194304 4933572 140736029249568 18446744073709551615 4622122 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/901/statm: 16690 13712 375 181 0 13699 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 66760
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.08
CPU system time (s): 0.019996
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 66760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15821
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= 2823
runsolver used 7.67683 second user time and 16.4695 second system time
The end