runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3275868-1303657048/watcher-3275868-1303657048 -o /tmp/evaluation-result-3275868-1303657048/solver-3275868-1303657048 -C 5000 -W 5100 -M 15500 HOME/clasp --file=HOME/instance-3275868-1303657048.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/172 6829
/proc/meminfo: memFree=15113656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=2172 CPUtime=0 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 458120144 2224128 255 33554432000 134512640 136057169 4289633072 18446744073709551615 135443063 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/6829/statm: 543 255 145 378 0 163 0
[startup+0.0504501 s]
/proc/loadavg: 2.00 2.00 1.94 3/172 6829
/proc/meminfo: memFree=15113656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=5744 CPUtime=0.04 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 1251 0 0 0 4 0 0 0 25 0 1 0 458120144 5881856 1165 33554432000 134512640 136057169 4289633072 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/6829/statm: 1436 1166 163 378 0 1056 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5744
[startup+0.100441 s]
/proc/loadavg: 2.00 2.00 1.94 3/172 6829
/proc/meminfo: memFree=15113656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=8752 CPUtime=0.09 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 1993 0 0 0 9 0 0 0 25 0 1 0 458120144 8962048 1907 33554432000 134512640 136057169 4289633072 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/6829/statm: 2188 1907 166 378 0 1808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8752
[startup+0.300381 s]
/proc/loadavg: 2.00 2.00 1.94 3/172 6829
/proc/meminfo: memFree=15113656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=8752 CPUtime=0.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 1993 0 0 0 29 0 0 0 25 0 1 0 458120144 8962048 1907 33554432000 134512640 136057169 4289633072 18446744073709551615 134774710 0 0 4096 16386 0 0 0 17 6 0 0 0
/proc/6829/statm: 2188 1907 166 378 0 1808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8752
[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 1.94 3/172 6829
/proc/meminfo: memFree=15113656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=8752 CPUtime=0.69 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 1993 0 0 0 69 0 0 0 25 0 1 0 458120144 8962048 1907 33554432000 134512640 136057169 4289633072 18446744073709551615 134774679 0 0 4096 16386 0 0 0 17 6 0 0 0
/proc/6829/statm: 2188 1907 166 378 0 1808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8752
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6835
/proc/meminfo: memFree=15102216/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=8752 CPUtime=1.49 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 1994 0 0 0 149 0 0 0 25 0 1 0 458120144 8962048 1908 33554432000 134512640 136057169 4289633072 18446744073709551615 134774328 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 2188 1908 166 378 0 1808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8752
[startup+3.10094 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6835
/proc/meminfo: memFree=15101224/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=8872 CPUtime=3.09 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 2060 0 0 0 309 0 0 0 25 0 1 0 458120144 9084928 1913 33554432000 134512640 136057169 4289633072 18446744073709551615 134774378 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 2218 1913 166 378 0 1838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8872
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6835
/proc/meminfo: memFree=15100540/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=9280 CPUtime=6.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 2319 0 0 0 629 0 0 0 25 0 1 0 458120144 9502720 2042 33554432000 134512640 136057169 4289633072 18446744073709551615 134823838 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 2320 2042 182 378 0 1940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9280
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6836
/proc/meminfo: memFree=15096472/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=11524 CPUtime=12.69 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 2876 0 0 0 1269 0 0 0 25 0 1 0 458120144 11800576 2599 33554432000 134512640 136057169 4289633072 18446744073709551615 134813059 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 2881 2599 182 378 0 2501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11524
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6836
/proc/meminfo: memFree=15092908/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=13764 CPUtime=25.49 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 3393 0 0 0 2549 0 0 0 25 0 1 0 458120144 14094336 3116 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 3441 3116 182 378 0 3061 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13764
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6837
/proc/meminfo: memFree=15089264/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=16184 CPUtime=51.09 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 3965 0 0 0 5109 0 0 0 25 0 1 0 458120144 16572416 3688 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 4046 3688 182 378 0 3666 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16184
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6838
/proc/meminfo: memFree=15083300/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=19728 CPUtime=102.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 4729 0 0 0 10229 0 0 0 25 0 1 0 458120144 20201472 4452 33554432000 134512640 136057169 4289633072 18446744073709551615 134823841 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 4932 4452 182 378 0 4552 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19728
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6840
/proc/meminfo: memFree=15079656/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=21988 CPUtime=162.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 5243 0 0 0 16229 0 0 0 25 0 1 0 458120144 22515712 4966 33554432000 134512640 136057169 4289633072 18446744073709551615 134618404 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 5497 4966 182 378 0 5117 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21988
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6850
/proc/meminfo: memFree=15075804/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=23804 CPUtime=222.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 5659 0 0 0 22229 0 0 0 25 0 1 0 458120144 24375296 5382 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 5951 5382 182 378 0 5571 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23804
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6852
/proc/meminfo: memFree=15073280/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=25624 CPUtime=282.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 6114 0 0 0 28229 0 0 0 25 0 1 0 458120144 26238976 5837 33554432000 134512640 136057169 4289633072 18446744073709551615 134618449 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 6406 5837 182 378 0 6026 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25624
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6853
/proc/meminfo: memFree=15070768/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=27472 CPUtime=342.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 6527 0 0 0 34229 0 0 0 25 0 1 0 458120144 28131328 6250 33554432000 134512640 136057169 4289633072 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 6868 6250 182 378 0 6488 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 27472
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6855
/proc/meminfo: memFree=15067888/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=29036 CPUtime=402.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 6896 0 0 0 40229 0 0 0 25 0 1 0 458120144 29732864 6619 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 7259 6619 182 378 0 6879 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 29036
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6857
/proc/meminfo: memFree=15066736/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=29984 CPUtime=462.29 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 7101 0 0 0 46229 0 0 0 25 0 1 0 458120144 30703616 6824 33554432000 134512640 136057169 4289633072 18446744073709551615 134823919 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 7496 6824 182 378 0 7116 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 29984
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 6858
/proc/meminfo: memFree=15064464/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=31368 CPUtime=522.3 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 7408 0 0 0 52230 0 0 0 25 0 1 0 458120144 32120832 7131 33554432000 134512640 136057169 4289633072 18446744073709551615 134823873 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 7842 7131 182 378 0 7462 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31368
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 6860
/proc/meminfo: memFree=15061956/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=33044 CPUtime=582.3 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 7775 0 0 0 58229 1 0 0 25 0 1 0 458120144 33837056 7498 33554432000 134512640 136057169 4289633072 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 8261 7498 182 378 0 7881 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33044
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 1.05 1.55 1.80 2/172 6982
/proc/meminfo: memFree=15061720/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=59720 CPUtime=4062.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13778 0 0 0 406233 6 0 0 25 0 1 0 458120144 61153280 13501 33554432000 134512640 136057169 4289633072 18446744073709551615 134834227 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 14930 13501 182 378 0 14550 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 59720
[startup+4122.3 s]
/proc/loadavg: 1.02 1.45 1.75 2/172 6983
/proc/meminfo: memFree=15061684/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=59720 CPUtime=4122.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13788 0 0 0 412233 6 0 0 25 0 1 0 458120144 61153280 13511 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 14930 13511 182 378 0 14550 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 59720
[startup+4182.3 s]
/proc/loadavg: 1.00 1.36 1.70 2/172 6985
/proc/meminfo: memFree=15061916/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=59720 CPUtime=4182.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13788 0 0 0 418232 7 0 0 25 0 1 0 458120144 61153280 13511 33554432000 134512640 136057169 4289633072 18446744073709551615 134813071 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 14930 13511 182 378 0 14550 0
Current children cumulated CPU time (s) 4182.39
Current children cumulated vsize (KiB) 59720
[startup+4242.3 s]
/proc/loadavg: 1.00 1.29 1.65 2/172 6986
/proc/meminfo: memFree=15061492/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=60040 CPUtime=4242.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13859 0 0 0 424232 7 0 0 25 0 1 0 458120144 61480960 13582 33554432000 134512640 136057169 4289633072 18446744073709551615 134823788 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15010 13582 182 378 0 14630 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 60040
[startup+4302.3 s]
/proc/loadavg: 1.00 1.24 1.61 2/172 6988
/proc/meminfo: memFree=15061724/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=60040 CPUtime=4302.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13875 0 0 0 430232 7 0 0 25 0 1 0 458120144 61480960 13598 33554432000 134512640 136057169 4289633072 18446744073709551615 134823882 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15010 13598 182 378 0 14630 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 60040
[startup+4362.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/172 6990
/proc/meminfo: memFree=15061308/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=60360 CPUtime=4362.39 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 13962 0 0 0 436232 7 0 0 25 0 1 0 458120144 61808640 13685 33554432000 134512640 136057169 4289633072 18446744073709551615 134813083 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15090 13685 182 378 0 14710 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 60360
[startup+4422.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/172 6991
/proc/meminfo: memFree=15061156/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=60680 CPUtime=4422.4 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14035 0 0 0 442233 7 0 0 25 0 1 0 458120144 62136320 13758 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15170 13758 182 378 0 14790 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 60680
[startup+4482.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/172 6993
/proc/meminfo: memFree=15060988/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61000 CPUtime=4482.4 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14113 0 0 0 448233 7 0 0 25 0 1 0 458120144 62464000 13836 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15250 13836 182 378 0 14870 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 61000
[startup+4542.3 s]
/proc/loadavg: 1.00 1.10 1.46 2/172 6994
/proc/meminfo: memFree=15060832/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61000 CPUtime=4542.4 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14128 0 0 0 454233 7 0 0 25 0 1 0 458120144 62464000 13851 33554432000 134512640 136057169 4289633072 18446744073709551615 134618485 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15250 13851 182 378 0 14870 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 61000
[startup+4602.3 s]
/proc/loadavg: 1.00 1.08 1.43 2/172 6996
/proc/meminfo: memFree=15060660/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61000 CPUtime=4602.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14132 0 0 0 460234 7 0 0 25 0 1 0 458120144 62464000 13855 33554432000 134512640 136057169 4289633072 18446744073709551615 134811250 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15250 13855 182 378 0 14870 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 61000
[startup+4662.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/172 6998
/proc/meminfo: memFree=15060748/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61000 CPUtime=4662.4 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14132 0 0 0 466233 7 0 0 25 0 1 0 458120144 62464000 13855 33554432000 134512640 136057169 4289633072 18446744073709551615 134823860 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15250 13855 182 378 0 14870 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 61000
[startup+4722.31 s]
/proc/loadavg: 1.00 1.05 1.37 2/172 6999
/proc/meminfo: memFree=15060836/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61000 CPUtime=4722.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14140 0 0 0 472234 7 0 0 25 0 1 0 458120144 62464000 13863 33554432000 134512640 136057169 4289633072 18446744073709551615 134618146 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15250 13863 182 378 0 14870 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 61000
[startup+4782.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/172 7001
/proc/meminfo: memFree=15060572/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61320 CPUtime=4782.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14221 0 0 0 478233 8 0 0 25 0 1 0 458120144 62791680 13944 33554432000 134512640 136057169 4289633072 18446744073709551615 134823823 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15330 13944 182 378 0 14950 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 61320
[startup+4842.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/172 7002
/proc/meminfo: memFree=15060528/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61320 CPUtime=4842.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14231 0 0 0 484233 8 0 0 25 0 1 0 458120144 62791680 13954 33554432000 134512640 136057169 4289633072 18446744073709551615 134618267 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15330 13954 182 378 0 14950 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 61320
[startup+4902.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/172 7004
/proc/meminfo: memFree=15060264/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61640 CPUtime=4902.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14291 0 0 0 490233 8 0 0 25 0 1 0 458120144 63119360 14014 33554432000 134512640 136057169 4289633072 18446744073709551615 134618356 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15410 14014 182 378 0 15030 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 61640
[startup+4962.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/172 7006
/proc/meminfo: memFree=15060340/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61640 CPUtime=4962.41 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14293 0 0 0 496233 8 0 0 25 0 1 0 458120144 63119360 14016 33554432000 134512640 136057169 4289633072 18446744073709551615 134823870 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15410 14016 182 378 0 15030 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 61640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 1.00 1.01 1.26 2/172 7006
/proc/meminfo: memFree=15060448/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61640 CPUtime=5000.02 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14293 0 0 0 499994 8 0 0 25 0 1 0 458120144 63119360 14016 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15410 14016 182 378 0 15030 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 61640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 1.00 1.01 1.26 2/172 7006
/proc/meminfo: memFree=15060448/32951124 swapFree=67111528/67111528
[pid=6829] ppid=6827 vsize=61640 CPUtime=5000.02 cores=0,2,4,6
/proc/6829/stat : 6829 (clasp) R 6827 6829 5809 0 -1 4202496 14293 0 0 0 499994 8 0 0 25 0 1 0 458120144 63119360 14016 33554432000 134512640 136057169 4289633072 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/6829/statm: 15410 14016 182 378 0 15030 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 61640
Child status: 0
Real time (s): 4999.91
CPU time (s): 5000.03
CPU user time (s): 4999.94
CPU system time (s): 0.084987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 61640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.94
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14296
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= 5
involuntary context switches= 9862
runsolver used 8.03578 second user time and 16.1116 second system time
The end