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-3468807-1307103997/watcher-3468807-1307103997 -o /tmp/evaluation-result-3468807-1307103997/solver-3468807-1307103997 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468807-1307103997.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.84 1.98 1.99 2/481 7859
/proc/meminfo: memFree=27457324/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=12836 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 621 0 0 0 0 0 0 0 25 0 1 0 821999357 13144064 545 33554432000 4194304 4933572 140734567704448 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3209 546 367 181 0 218 0
[startup+0.0544871 s]
/proc/loadavg: 1.84 1.98 1.99 2/481 7859
/proc/meminfo: memFree=27457324/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=13496 CPUtime=0.05 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 788 0 0 0 5 0 0 0 25 0 1 0 821999357 13819904 712 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3374 712 374 181 0 383 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13496
[startup+0.10048 s]
/proc/loadavg: 1.84 1.98 1.99 2/481 7859
/proc/meminfo: memFree=27457324/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=13760 CPUtime=0.09 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 879 0 0 0 9 0 0 0 25 0 1 0 821999357 14090240 803 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3440 803 374 181 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13760
[startup+0.300441 s]
/proc/loadavg: 1.84 1.98 1.99 2/481 7859
/proc/meminfo: memFree=27457324/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=14424 CPUtime=0.29 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1014 0 0 0 29 0 0 0 25 0 1 0 821999357 14770176 938 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3606 938 374 181 0 615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14424
[startup+0.700365 s]
/proc/loadavg: 1.84 1.98 1.99 2/481 7859
/proc/meminfo: memFree=27457324/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=15084 CPUtime=0.69 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1190 0 0 0 69 0 0 0 25 0 1 0 821999357 15446016 1114 33554432000 4194304 4933572 140734567704448 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3771 1114 374 181 0 780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15084
[startup+1.50021 s]
/proc/loadavg: 1.84 1.98 1.99 3/482 7860
/proc/meminfo: memFree=27449636/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=15612 CPUtime=1.49 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1316 0 0 0 149 0 0 0 25 0 1 0 821999357 15986688 1240 33554432000 4194304 4933572 140734567704448 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 3903 1240 374 181 0 912 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15612
[startup+3.10091 s]
/proc/loadavg: 1.84 1.98 1.99 3/482 7860
/proc/meminfo: memFree=27446912/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=16404 CPUtime=3.09 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1516 0 0 0 309 0 0 0 25 0 1 0 821999357 16797696 1440 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 4101 1440 374 181 0 1110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16404
[startup+6.3003 s]
/proc/loadavg: 1.85 1.98 1.99 3/482 7860
/proc/meminfo: memFree=27443640/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=17600 CPUtime=6.29 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1816 0 0 0 629 0 0 0 25 0 1 0 821999357 18022400 1740 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 4400 1740 374 181 0 1409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17600
[startup+12.7001 s]
/proc/loadavg: 1.86 1.98 1.99 3/482 7860
/proc/meminfo: memFree=27439360/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=18092 CPUtime=12.69 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 1949 0 0 0 1269 0 0 0 25 0 1 0 821999357 18526208 1873 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 4523 1873 375 181 0 1532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18092
[startup+25.5006 s]
/proc/loadavg: 1.89 1.98 1.99 3/482 7860
/proc/meminfo: memFree=27437040/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=18744 CPUtime=25.49 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2122 0 0 0 2549 0 0 0 25 0 1 0 821999357 19193856 2046 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 4686 2046 375 181 0 1695 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18744
[startup+51.1008 s]
/proc/loadavg: 1.93 1.98 1.99 3/482 7861
/proc/meminfo: memFree=27433548/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=19536 CPUtime=51.09 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2330 0 0 0 5109 0 0 0 25 0 1 0 821999357 20004864 2250 33554432000 4194304 4933572 140734567704448 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 4884 2250 375 181 0 1893 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19536
[startup+102.318 s]
/proc/loadavg: 2.09 2.01 2.00 3/482 7862
/proc/meminfo: memFree=27428436/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=20248 CPUtime=102.31 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2512 0 0 0 10231 0 0 0 25 0 1 0 821999357 20733952 2428 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5062 2428 375 181 0 2071 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20248
[startup+162.301 s]
/proc/loadavg: 2.09 2.02 2.00 3/482 7864
/proc/meminfo: memFree=27423424/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=20600 CPUtime=162.3 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2665 0 0 0 16230 0 0 0 25 0 1 0 821999357 21094400 2516 33554432000 4194304 4933572 140734567704448 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5150 2516 375 181 0 2159 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20600
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/482 7865
/proc/meminfo: memFree=27422764/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=21312 CPUtime=222.3 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2888 0 0 0 22230 0 0 0 25 0 1 0 821999357 21823488 2688 33554432000 4194304 4933572 140734567704448 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5328 2688 375 181 0 2337 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21312
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/482 7867
/proc/meminfo: memFree=27420732/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=21312 CPUtime=282.3 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 2888 0 0 0 28230 0 0 0 25 0 1 0 821999357 21823488 2688 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5328 2688 375 181 0 2337 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21312
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 7869
/proc/meminfo: memFree=27419208/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=21544 CPUtime=342.3 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 3036 0 0 0 34230 0 0 0 25 0 1 0 821999357 22061056 2752 33554432000 4194304 4933572 140734567704448 18446744073709551615 4717570 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5386 2752 375 181 0 2395 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21544
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7870
/proc/meminfo: memFree=27417812/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=21864 CPUtime=402.31 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 3223 0 0 0 40231 0 0 0 25 0 1 0 821999357 22388736 2832 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5466 2832 375 181 0 2475 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 21864
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/482 7872
/proc/meminfo: memFree=27416644/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=22072 CPUtime=462.31 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 3291 0 0 0 46231 0 0 0 25 0 1 0 821999357 22601728 2859 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5518 2859 375 181 0 2527 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22072
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 7873
/proc/meminfo: memFree=27415864/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=22148 CPUtime=522.31 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 3842 0 0 0 52231 0 0 0 25 0 1 0 821999357 22679552 2903 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5537 2903 375 181 0 2546 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22148
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7875
/proc/meminfo: memFree=27414964/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=22784 CPUtime=582.31 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4015 0 0 0 58231 0 0 0 25 0 1 0 821999357 23330816 3059 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5696 3059 375 181 0 2705 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22784
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 7881
/proc/meminfo: memFree=27408888/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=23920 CPUtime=822.32 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4327 0 0 0 82232 0 0 0 25 0 1 0 821999357 24494080 3327 33554432000 4194304 4933572 140734567704448 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5980 3327 375 181 0 2989 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 23920
[startup+882.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 7883
/proc/meminfo: memFree=27407620/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=23972 CPUtime=882.32 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4450 0 0 0 88232 0 0 0 25 0 1 0 821999357 24547328 3358 33554432000 4194304 4933572 140734567704448 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5993 3358 375 181 0 3002 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23972
[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 7885
/proc/meminfo: memFree=27407952/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=23968 CPUtime=942.33 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4486 0 0 0 94233 0 0 0 25 0 1 0 821999357 24543232 3357 33554432000 4194304 4933572 140734567704448 18446744073709551615 4328681 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 5992 3357 375 181 0 3001 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 23968
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7886
/proc/meminfo: memFree=27407916/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=24296 CPUtime=1002.33 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4642 0 0 0 100233 0 0 0 25 0 1 0 821999357 24879104 3439 33554432000 4194304 4933572 140734567704448 18446744073709551615 4330119 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6074 3439 375 181 0 3083 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 24296
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7888
/proc/meminfo: memFree=27407500/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=24616 CPUtime=1062.33 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4799 0 0 0 106233 0 0 0 25 0 1 0 821999357 25206784 3519 33554432000 4194304 4933572 140734567704448 18446744073709551615 4717502 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6154 3519 375 181 0 3163 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 24616
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7889
/proc/meminfo: memFree=27407072/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=24700 CPUtime=1122.33 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 4907 0 0 0 112233 0 0 0 25 0 1 0 821999357 25292800 3540 33554432000 4194304 4933572 140734567704448 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6175 3540 375 181 0 3184 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 24700
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/482 7891
/proc/meminfo: memFree=27405444/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=24864 CPUtime=1182.34 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5030 0 0 0 118234 0 0 0 25 0 1 0 821999357 25460736 3581 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6216 3581 375 181 0 3225 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 24864
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/482 7893
/proc/meminfo: memFree=27405904/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25300 CPUtime=1242.34 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5152 0 0 0 124234 0 0 0 25 0 1 0 821999357 25907200 3664 33554432000 4194304 4933572 140734567704448 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6325 3664 375 181 0 3334 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 25300
[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 7894
/proc/meminfo: memFree=27405752/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25088 CPUtime=1302.35 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5263 0 0 0 130235 0 0 0 25 0 1 0 821999357 25690112 3637 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6272 3637 375 181 0 3281 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 25088
[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/482 7896
/proc/meminfo: memFree=27405456/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1362.34 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5339 0 0 0 136234 0 0 0 25 0 1 0 821999357 26128384 3711 33554432000 4194304 4933572 140734567704448 18446744073709551615 4330137 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3711 375 181 0 3388 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 25516
[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 7897
/proc/meminfo: memFree=27405176/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1422.36 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5366 0 0 0 142236 0 0 0 25 0 1 0 821999357 26128384 3738 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3738 375 181 0 3388 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 25516
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 7899
/proc/meminfo: memFree=27404772/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1482.35 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5366 0 0 0 148235 0 0 0 25 0 1 0 821999357 26128384 3738 33554432000 4194304 4933572 140734567704448 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3738 375 181 0 3388 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 25516
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 7901
/proc/meminfo: memFree=27404732/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1542.35 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5366 0 0 0 154235 0 0 0 25 0 1 0 821999357 26128384 3738 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3738 375 181 0 3388 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 25516
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7902
/proc/meminfo: memFree=27404572/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1602.35 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5444 0 0 0 160235 0 0 0 25 0 1 0 821999357 26128384 3743 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649594 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3743 375 181 0 3388 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 25516
[startup+1662.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/482 7904
/proc/meminfo: memFree=27404040/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25516 CPUtime=1662.35 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5460 0 0 0 166235 0 0 0 25 0 1 0 821999357 26128384 3743 33554432000 4194304 4933572 140734567704448 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6379 3743 375 181 0 3388 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 25516
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/482 7905
/proc/meminfo: memFree=27403752/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=25712 CPUtime=1722.36 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5632 0 0 0 172236 0 0 0 25 0 1 0 821999357 26329088 3791 33554432000 4194304 4933572 140734567704448 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6428 3791 375 181 0 3437 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 25712
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 7907
/proc/meminfo: memFree=27400756/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=26484 CPUtime=1782.36 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5814 0 0 0 178236 0 0 0 25 0 1 0 821999357 27119616 3973 33554432000 4194304 4933572 140734567704448 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6621 3973 375 181 0 3630 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 26484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 2.00 2/480 7909
/proc/meminfo: memFree=27439704/32950928 swapFree=39617324/67111528
[pid=7859] ppid=7857 vsize=26484 CPUtime=1800.07 cores=1,3,5,7
/proc/7859/stat : 7859 (clasp) R 7857 7859 7025 0 -1 4202496 5814 0 0 0 180007 0 0 0 25 0 1 0 821999357 27119616 3973 33554432000 4194304 4933572 140734567704448 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7859/statm: 6621 3973 375 181 0 3630 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 26484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.08
CPU system time (s): 0.005999
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 26508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5827
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= 20597
runsolver used 8.26274 second user time and 19.2241 second system time
The end