runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491870-1307774702/watcher-3491870-1307774702 -o /tmp/evaluation-result-3491870-1307774702/solver-3491870-1307774702 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491870-1307774702.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.01 2.00 1.94 2/174 5548
/proc/meminfo: memFree=30921676/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=4232 CPUtime=0 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 782 0 0 0 0 0 0 0 25 0 1 0 967700676 4333568 683 33554432000 4194304 6245536 140736059093312 18446744073709551615 5418856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 1058 684 183 501 0 554 0
[startup+0.0484699 s]
/proc/loadavg: 2.01 2.00 1.94 2/174 5548
/proc/meminfo: memFree=30921676/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=6024 CPUtime=0.04 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 1466 0 0 0 4 0 0 0 25 0 1 0 967700676 6168576 1160 33554432000 4194304 6245536 140736059093312 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 1506 1160 227 501 0 1002 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6024
[startup+0.100493 s]
/proc/loadavg: 2.01 2.00 1.94 2/174 5548
/proc/meminfo: memFree=30921676/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=6684 CPUtime=0.09 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 1634 0 0 0 9 0 0 0 25 0 1 0 967700676 6844416 1328 33554432000 4194304 6245536 140736059093312 18446744073709551615 4323469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 1671 1328 228 501 0 1167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6684
[startup+0.300456 s]
/proc/loadavg: 2.01 2.00 1.94 2/174 5548
/proc/meminfo: memFree=30921676/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=7476 CPUtime=0.29 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 1851 0 0 0 29 0 0 0 25 0 1 0 967700676 7655424 1545 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 1869 1545 229 501 0 1365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7476
[startup+0.700389 s]
/proc/loadavg: 2.01 2.00 1.94 2/174 5548
/proc/meminfo: memFree=30921676/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=8536 CPUtime=0.69 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 2111 0 0 0 69 0 0 0 25 0 1 0 967700676 8740864 1805 33554432000 4194304 6245536 140736059093312 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 2134 1805 229 501 0 1630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8536
[startup+1.50023 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5549
/proc/meminfo: memFree=30915252/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=9596 CPUtime=1.49 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 2366 0 0 0 149 0 0 0 25 0 1 0 967700676 9826304 2060 33554432000 4194304 6245536 140736059093312 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 2399 2060 229 501 0 1895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9596
[startup+3.10093 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5549
/proc/meminfo: memFree=30913628/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=11180 CPUtime=3.09 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 2772 0 0 0 309 0 0 0 25 0 1 0 967700676 11448320 2466 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 2795 2466 229 501 0 2291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11180
[startup+6.30035 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5549
/proc/meminfo: memFree=30911152/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=13568 CPUtime=6.29 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 3350 0 0 0 629 0 0 0 25 0 1 0 967700676 13893632 3044 33554432000 4194304 6245536 140736059093312 18446744073709551615 4637548 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 3392 3044 229 501 0 2888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13568
[startup+12.7011 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 5549
/proc/meminfo: memFree=30906564/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=14684 CPUtime=12.69 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 3630 0 0 0 1269 0 0 0 25 0 1 0 967700676 15036416 3324 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 3671 3324 229 501 0 3167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14684
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5550
/proc/meminfo: memFree=30901964/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=17972 CPUtime=25.49 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 4447 0 0 0 2549 0 0 0 25 0 1 0 967700676 18403328 4141 33554432000 4194304 6245536 140736059093312 18446744073709551615 4628832 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 4493 4141 229 501 0 3989 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17972
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5550
/proc/meminfo: memFree=30892084/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=22948 CPUtime=51.09 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 5644 0 0 0 5109 0 0 0 25 0 1 0 967700676 23498752 5338 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 5737 5338 229 501 0 5233 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22948
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5552
/proc/meminfo: memFree=30880520/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=28344 CPUtime=102.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 6946 0 0 0 10229 1 0 0 25 0 1 0 967700676 29024256 6640 33554432000 4194304 6245536 140736059093312 18446744073709551615 4316502 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 7086 6640 229 501 0 6582 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28344
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5553
/proc/meminfo: memFree=30870444/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=32220 CPUtime=162.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 7833 0 0 0 16229 1 0 0 25 0 1 0 967700676 32993280 7527 33554432000 4194304 6245536 140736059093312 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 8055 7527 229 501 0 7551 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32220
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5555
/proc/meminfo: memFree=30862856/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=35740 CPUtime=222.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 8652 0 0 0 22229 1 0 0 25 0 1 0 967700676 36597760 8346 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 8935 8346 229 501 0 8431 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35740
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5557
/proc/meminfo: memFree=30856372/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=38912 CPUtime=282.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 9584 0 0 0 28229 1 0 0 25 0 1 0 967700676 39845888 9101 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408775 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 9728 9101 229 501 0 9224 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 38912
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5558
/proc/meminfo: memFree=30852364/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=39996 CPUtime=342.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 9820 0 0 0 34229 1 0 0 25 0 1 0 967700676 40955904 9337 33554432000 4194304 6245536 140736059093312 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 9999 9337 229 501 0 9495 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39996
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5560
/proc/meminfo: memFree=30846500/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=41072 CPUtime=402.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 10108 0 0 0 40229 1 0 0 25 0 1 0 967700676 42057728 9625 33554432000 4194304 6245536 140736059093312 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 10268 9625 229 501 0 9764 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 41072
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5561
/proc/meminfo: memFree=30839784/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=46544 CPUtime=462.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 11387 0 0 0 46229 1 0 0 25 0 1 0 967700676 47661056 10904 33554432000 4194304 6245536 140736059093312 18446744073709551615 5419248 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 11636 10904 229 501 0 11132 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 46544
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5563
/proc/meminfo: memFree=30837272/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=47872 CPUtime=522.3 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 11830 0 0 0 52229 1 0 0 25 0 1 0 967700676 49020928 11264 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408701 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 11968 11264 229 501 0 11464 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 47872
[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/175 5565
/proc/meminfo: memFree=30833884/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=48252 CPUtime=582.31 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 11901 0 0 0 58230 1 0 0 25 0 1 0 967700676 49410048 11335 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 12063 11335 229 501 0 11559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 48252
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5571
/proc/meminfo: memFree=30827060/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=52436 CPUtime=822.31 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 12827 0 0 0 82230 1 0 0 25 0 1 0 967700676 53694464 12261 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 13109 12261 229 501 0 12605 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 52436
[startup+882.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/175 5573
/proc/meminfo: memFree=30824304/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=52972 CPUtime=882.32 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 12946 0 0 0 88231 1 0 0 25 0 1 0 967700676 54243328 12380 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408741 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 13243 12380 229 501 0 12739 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 52972
[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 5574
/proc/meminfo: memFree=30822420/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=53104 CPUtime=942.32 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 12996 0 0 0 94231 1 0 0 25 0 1 0 967700676 54378496 12430 33554432000 4194304 6245536 140736059093312 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 13276 12430 229 501 0 12772 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 53104
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5585
/proc/meminfo: memFree=30817292/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=55640 CPUtime=1002.33 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 13591 0 0 0 100231 2 0 0 25 0 1 0 967700676 56975360 13025 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 13910 13025 229 501 0 13406 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 55640
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5586
/proc/meminfo: memFree=30815152/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=56676 CPUtime=1062.33 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14191 0 0 0 106231 2 0 0 25 0 1 0 967700676 58036224 13339 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635733 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14169 13339 229 501 0 13665 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 56676
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5588
/proc/meminfo: memFree=30814008/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=57732 CPUtime=1122.33 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14467 0 0 0 112231 2 0 0 25 0 1 0 967700676 59117568 13615 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635706 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14433 13615 229 501 0 13929 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 57732
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5589
/proc/meminfo: memFree=30810996/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=59820 CPUtime=1182.33 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14947 0 0 0 118231 2 0 0 25 0 1 0 967700676 61255680 14095 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14955 14095 229 501 0 14451 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 59820
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5591
/proc/meminfo: memFree=30809232/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=59820 CPUtime=1242.33 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14948 0 0 0 124231 2 0 0 25 0 1 0 967700676 61255680 14096 33554432000 4194304 6245536 140736059093312 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14955 14096 229 501 0 14451 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 59820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5593
/proc/meminfo: memFree=30808824/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=59820 CPUtime=1302.34 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14948 0 0 0 130232 2 0 0 25 0 1 0 967700676 61255680 14096 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14955 14096 229 501 0 14451 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 59820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5594
/proc/meminfo: memFree=30806188/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=59952 CPUtime=1362.34 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 14984 0 0 0 136232 2 0 0 25 0 1 0 967700676 61390848 14132 33554432000 4194304 6245536 140736059093312 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 14988 14132 229 501 0 14484 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 59952
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5596
/proc/meminfo: memFree=30805404/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=60584 CPUtime=1422.35 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15114 0 0 0 142233 2 0 0 25 0 1 0 967700676 62038016 14262 33554432000 4194304 6245536 140736059093312 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15146 14262 229 501 0 14642 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 60584
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5598
/proc/meminfo: memFree=30803388/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=60820 CPUtime=1482.34 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15187 0 0 0 148232 2 0 0 25 0 1 0 967700676 62279680 14335 33554432000 4194304 6245536 140736059093312 18446744073709551615 5419324 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15205 14335 229 501 0 14701 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 60820
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5599
/proc/meminfo: memFree=30802116/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=61328 CPUtime=1542.34 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15305 0 0 0 154232 2 0 0 25 0 1 0 967700676 62799872 14453 33554432000 4194304 6245536 140736059093312 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15332 14453 229 501 0 14828 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 61328
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5601
/proc/meminfo: memFree=30801344/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=61580 CPUtime=1602.34 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15339 0 0 0 160232 2 0 0 25 0 1 0 967700676 63057920 14487 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15395 14487 229 501 0 14891 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 61580
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/175 5602
/proc/meminfo: memFree=30799456/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=61580 CPUtime=1662.35 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15370 0 0 0 166233 2 0 0 25 0 1 0 967700676 63057920 14518 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15395 14518 229 501 0 14891 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 61580
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/175 5604
/proc/meminfo: memFree=30797684/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=61832 CPUtime=1722.35 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15402 0 0 0 172233 2 0 0 25 0 1 0 967700676 63315968 14550 33554432000 4194304 6245536 140736059093312 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15458 14550 229 501 0 14954 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 61832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5645
/proc/meminfo: memFree=30851436/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=62352 CPUtime=1782.35 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15570 0 0 0 178233 2 0 0 25 0 1 0 967700676 63848448 14718 33554432000 4194304 6245536 140736059093312 18446744073709551615 4649800 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15588 14718 229 501 0 15084 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 62352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 5645
/proc/meminfo: memFree=30836916/32951124 swapFree=67062556/67111528
[pid=5548] ppid=5546 vsize=62352 CPUtime=1800.05 cores=0,2,4,6
/proc/5548/stat : 5548 (clasp) R 5546 5548 30926 0 -1 4202496 15575 0 0 0 180003 2 0 0 25 0 1 0 967700676 63848448 14723 33554432000 4194304 6245536 140736059093312 18446744073709551615 4635764 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5548/statm: 15588 14723 229 501 0 15084 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 62352
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.01
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.030995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 62352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15586
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= 3
involuntary context switches= 2429
runsolver used 2.74058 second user time and 5.44917 second system time
The end