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-3469409-1307096656/watcher-3469409-1307096656 -o /tmp/evaluation-result-3469409-1307096656/solver-3469409-1307096656 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469409-1307096656.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: 1.92 2.00 1.99 2/498 12623
/proc/meminfo: memFree=30401208/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=14296 CPUtime=0 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 1002 0 0 0 0 0 0 0 25 0 1 0 821266508 14639104 878 33554432000 4194304 4933572 140737384469712 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 3574 878 318 181 0 583 0
[startup+0.022492 s]
/proc/loadavg: 1.92 2.00 1.99 2/498 12623
/proc/meminfo: memFree=30401208/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=14564 CPUtime=0.02 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 1279 0 0 0 2 0 0 0 25 0 1 0 821266508 14913536 992 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 3641 992 366 181 0 650 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14564
[startup+0.100478 s]
/proc/loadavg: 1.92 2.00 1.99 2/498 12623
/proc/meminfo: memFree=30401208/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=19052 CPUtime=0.09 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 2412 0 0 0 9 0 0 0 25 0 1 0 821266508 19509248 2125 33554432000 4194304 4933572 140737384469712 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 4763 2126 373 181 0 1772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19052
[startup+0.300443 s]
/proc/loadavg: 1.92 2.00 1.99 2/498 12623
/proc/meminfo: memFree=30401208/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=21052 CPUtime=0.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 2885 0 0 0 29 0 0 0 25 0 1 0 821266508 21557248 2598 33554432000 4194304 4933572 140737384469712 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 5263 2598 374 181 0 2272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21052
[startup+0.700371 s]
/proc/loadavg: 1.92 2.00 1.99 2/498 12623
/proc/meminfo: memFree=30401208/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=23912 CPUtime=0.69 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 3590 0 0 0 69 0 0 0 25 0 1 0 821266508 24485888 3303 33554432000 4194304 4933572 140737384469712 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 5978 3303 374 181 0 2987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23912
[startup+1.50023 s]
/proc/loadavg: 1.93 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30387548/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=26288 CPUtime=1.49 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 4178 0 0 0 149 0 0 0 25 0 1 0 821266508 26918912 3891 33554432000 4194304 4933572 140737384469712 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 6572 3891 374 181 0 3581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26288
[startup+3.10096 s]
/proc/loadavg: 1.93 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30383956/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=28928 CPUtime=3.09 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 4846 0 0 0 309 0 0 0 25 0 1 0 821266508 29622272 4559 33554432000 4194304 4933572 140737384469712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 7232 4559 374 181 0 4241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28928
[startup+6.30038 s]
/proc/loadavg: 1.93 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30380496/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=31040 CPUtime=6.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 5387 0 0 0 629 0 0 0 25 0 1 0 821266508 31784960 5100 33554432000 4194304 4933572 140737384469712 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 7760 5100 374 181 0 4769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31040
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.99 3/499 12624
/proc/meminfo: memFree=30376396/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=35004 CPUtime=12.69 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 6377 0 0 0 1269 0 0 0 25 0 1 0 821266508 35844096 6090 33554432000 4194304 4933572 140737384469712 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 8751 6090 374 181 0 5760 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35004
[startup+25.501 s]
/proc/loadavg: 1.95 2.00 1.99 3/499 12653
/proc/meminfo: memFree=30429680/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=40840 CPUtime=25.49 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 7828 0 0 0 2549 0 0 0 25 0 1 0 821266508 41820160 7541 33554432000 4194304 4933572 140737384469712 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 10210 7541 374 181 0 7219 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40840
[startup+51.1005 s]
/proc/loadavg: 1.97 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30343228/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=45856 CPUtime=51.08 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 9104 0 0 0 5108 0 0 0 25 0 1 0 821266508 46956544 8817 33554432000 4194304 4933572 140737384469712 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 11464 8817 374 181 0 8473 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45856
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 3/499 12684
/proc/meminfo: memFree=30306012/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=55452 CPUtime=102.31 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 11467 0 0 0 10230 1 0 0 25 0 1 0 821266508 56782848 11180 33554432000 4194304 4933572 140737384469712 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 13863 11180 374 181 0 10872 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 55452
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12685
/proc/meminfo: memFree=30284908/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=60584 CPUtime=162.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 12743 0 0 0 16228 1 0 0 25 0 1 0 821266508 62038016 12456 33554432000 4194304 4933572 140737384469712 18446744073709551615 4637088 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 15146 12456 374 181 0 12155 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 60584
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12687
/proc/meminfo: memFree=30265780/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=66292 CPUtime=222.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 14157 0 0 0 22228 1 0 0 25 0 1 0 821266508 67883008 13870 33554432000 4194304 4933572 140737384469712 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 16573 13870 374 181 0 13582 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 66292
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12688
/proc/meminfo: memFree=30247292/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=67876 CPUtime=282.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 14561 0 0 0 28228 1 0 0 25 0 1 0 821266508 69505024 14274 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341762 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 16969 14274 374 181 0 13978 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 67876
[startup+342.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/499 12690
/proc/meminfo: memFree=30239572/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=74240 CPUtime=342.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 16137 0 0 0 34227 1 0 0 25 0 1 0 821266508 76021760 15850 33554432000 4194304 4933572 140737384469712 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 18560 15850 374 181 0 15569 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 74240
[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 12692
/proc/meminfo: memFree=30220324/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=75824 CPUtime=402.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 16558 0 0 0 40227 2 0 0 25 0 1 0 821266508 77643776 16271 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 18956 16271 374 181 0 15965 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 75824
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 12693
/proc/meminfo: memFree=30212248/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=81540 CPUtime=462.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 17957 0 0 0 46227 2 0 0 25 0 1 0 821266508 83496960 17670 33554432000 4194304 4933572 140737384469712 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 20385 17670 374 181 0 17394 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 81540
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12695
/proc/meminfo: memFree=30207760/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=83620 CPUtime=522.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 18433 0 0 0 52226 2 0 0 25 0 1 0 821266508 85626880 18146 33554432000 4194304 4933572 140737384469712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 20905 18146 374 181 0 17914 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 83620
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12696
/proc/meminfo: memFree=30191264/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=84280 CPUtime=582.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 18579 0 0 0 58226 2 0 0 25 0 1 0 821266508 86302720 18292 33554432000 4194304 4933572 140737384469712 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 21070 18292 374 181 0 18079 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 84280
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/499 12704
/proc/meminfo: memFree=30157148/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=94164 CPUtime=882.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 21033 0 0 0 88226 2 0 0 25 0 1 0 821266508 96423936 20746 33554432000 4194304 4933572 140737384469712 18446744073709551615 4319368 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 23541 20746 374 181 0 20550 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 94164
[startup+942.301 s]
/proc/loadavg: 2.23 2.07 2.02 3/499 12706
/proc/meminfo: memFree=30155364/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=94000 CPUtime=942.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 21110 0 0 0 94226 2 0 0 25 0 1 0 821266508 96256000 20699 33554432000 4194304 4933572 140737384469712 18446744073709551615 4625239 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 23500 20699 375 181 0 20509 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 94000
[startup+1002.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 12708
/proc/meminfo: memFree=30153356/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=94528 CPUtime=1002.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 21265 0 0 0 100226 2 0 0 25 0 1 0 821266508 96796672 20854 33554432000 4194304 4933572 140737384469712 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 23632 20854 375 181 0 20641 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 94528
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/499 12709
/proc/meminfo: memFree=30146280/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=100996 CPUtime=1062.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 22768 0 0 0 106225 3 0 0 25 0 1 0 821266508 103419904 22357 33554432000 4194304 4933572 140737384469712 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 25249 22357 375 181 0 22258 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 100996
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12711
/proc/meminfo: memFree=30142776/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=102440 CPUtime=1122.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 23297 0 0 0 112225 3 0 0 25 0 1 0 821266508 104898560 22682 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 25610 22682 375 181 0 22619 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 102440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12713
/proc/meminfo: memFree=30141140/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=103372 CPUtime=1182.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 23503 0 0 0 118225 3 0 0 25 0 1 0 821266508 105852928 22888 33554432000 4194304 4933572 140737384469712 18446744073709551615 4631824 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 25843 22888 375 181 0 22852 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 103372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12715
/proc/meminfo: memFree=30139988/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=103768 CPUtime=1242.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 23614 0 0 0 124225 3 0 0 25 0 1 0 821266508 106258432 22999 33554432000 4194304 4933572 140737384469712 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 25942 22999 375 181 0 22951 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 103768
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12717
/proc/meminfo: memFree=30119504/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=103676 CPUtime=1302.29 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 23893 0 0 0 130226 3 0 0 25 0 1 0 821266508 106164224 22976 33554432000 4194304 4933572 140737384469712 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 25919 22976 375 181 0 22928 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 103676
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12719
/proc/meminfo: memFree=30116024/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=104468 CPUtime=1362.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 24087 0 0 0 136225 3 0 0 25 0 1 0 821266508 106975232 23170 33554432000 4194304 4933572 140737384469712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 26117 23170 375 181 0 23126 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 104468
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12721
/proc/meminfo: memFree=30115244/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=104872 CPUtime=1422.3 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 24159 0 0 0 142227 3 0 0 25 0 1 0 821266508 107388928 23242 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341877 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 26218 23242 375 181 0 23227 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 104872
[startup+1482.3 s]
/proc/loadavg: 2.16 2.05 2.02 3/499 12722
/proc/meminfo: memFree=30113488/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=104872 CPUtime=1482.28 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 24179 0 0 0 148225 3 0 0 25 0 1 0 821266508 107388928 23262 33554432000 4194304 4933572 140737384469712 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 26218 23262 375 181 0 23227 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 104872
[startup+1542.3 s]
/proc/loadavg: 2.16 2.08 2.03 3/499 12724
/proc/meminfo: memFree=30113420/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=105004 CPUtime=1542.27 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 24204 0 0 0 154224 3 0 0 25 0 1 0 821266508 107524096 23287 33554432000 4194304 4933572 140737384469712 18446744073709551615 4342072 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 26251 23287 375 181 0 23260 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 105004
[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/499 12726
/proc/meminfo: memFree=30111136/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=106192 CPUtime=1602.27 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 24509 0 0 0 160224 3 0 0 25 0 1 0 821266508 108740608 23592 33554432000 4194304 4933572 140737384469712 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 26548 23592 375 181 0 23557 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 106192
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/499 12727
/proc/meminfo: memFree=30106284/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=111340 CPUtime=1662.27 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 26075 0 0 0 166224 3 0 0 25 0 1 0 821266508 114012160 24870 33554432000 4194304 4933572 140737384469712 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 27835 24870 375 181 0 24844 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 111340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/499 12729
/proc/meminfo: memFree=30104140/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=112792 CPUtime=1722.27 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 26460 0 0 0 172224 3 0 0 25 0 1 0 821266508 115499008 25255 33554432000 4194304 4933572 140737384469712 18446744073709551615 4319460 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 28198 25255 375 181 0 25207 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 112792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12730
/proc/meminfo: memFree=30100892/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=113980 CPUtime=1782.27 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 26761 0 0 0 178224 3 0 0 25 0 1 0 821266508 116715520 25556 33554432000 4194304 4933572 140737384469712 18446744073709551615 4341746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 28495 25556 375 181 0 25504 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 113980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12731
/proc/meminfo: memFree=30099400/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=114112 CPUtime=1800.08 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 26781 0 0 0 180005 3 0 0 25 0 1 0 821266508 116850688 25576 33554432000 4194304 4933572 140737384469712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 28528 25576 375 181 0 25537 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 114112
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.03 2.00 3/499 12731
/proc/meminfo: memFree=30099400/32951124 swapFree=53876548/67111528
[pid=12623] ppid=12621 vsize=114112 CPUtime=1800.08 cores=1,3,5,7
/proc/12623/stat : 12623 (clasp) R 12621 12623 12330 0 -1 4202496 26781 0 0 0 180005 3 0 0 25 0 1 0 821266508 116850688 25576 33554432000 4194304 4933572 140737384469712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12623/statm: 28528 25576 375 181 0 25537 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 114112
Child status: 10
Real time (s): 1800.13
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.037994
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 114112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26792
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= 7
involuntary context switches= 3052
runsolver used 8.26774 second user time and 21.2098 second system time
The end