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-3478800-1307441380/watcher-3478800-1307441380 -o /tmp/evaluation-result-3478800-1307441380/solver-3478800-1307441380 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478800-1307441380.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: 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.63 3.64 3.80 3/452 18936
/proc/meminfo: memFree=24187720/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=15064 CPUtime=0 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 1193 0 0 0 0 0 0 0 22 0 1 0 836553901 15425536 1060 33554432000 4194304 4933572 140737050734048 18446744073709551615 220815897285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 3766 1061 333 181 0 775 0
[startup+0.1028 s]
/proc/loadavg: 2.63 3.64 3.80 3/452 18936
/proc/meminfo: memFree=24187720/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=24948 CPUtime=0.09 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 4126 0 0 0 9 0 0 0 22 0 1 0 836553901 25546752 3520 33554432000 4194304 4933572 140737050734048 18446744073709551615 220816236288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 6237 3521 333 181 0 3246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24948
[startup+0.200794 s]
/proc/loadavg: 2.63 3.64 3.80 3/452 18936
/proc/meminfo: memFree=24187720/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=34728 CPUtime=0.19 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 6849 0 0 0 18 1 0 0 23 0 1 0 836553901 35561472 5882 33554432000 4194304 4933572 140737050734048 18446744073709551615 4587776 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 8682 5882 343 181 0 5691 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34728
[startup+0.300759 s]
/proc/loadavg: 2.63 3.64 3.80 3/452 18936
/proc/meminfo: memFree=24187720/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=36588 CPUtime=0.29 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7743 0 0 0 28 1 0 0 23 0 1 0 836553901 37466112 6426 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9147 6426 367 181 0 6156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36588
[startup+0.700692 s]
/proc/loadavg: 2.63 3.64 3.80 3/452 18936
/proc/meminfo: memFree=24187720/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=36588 CPUtime=0.69 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7754 0 0 0 68 1 0 0 25 0 1 0 836553901 37466112 6437 33554432000 4194304 4933572 140737050734048 18446744073709551615 4648384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9147 6437 374 181 0 6156 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36588
[startup+1.50055 s]
/proc/loadavg: 2.63 3.64 3.80 3/456 18944
/proc/meminfo: memFree=24093608/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=36588 CPUtime=1.49 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7754 0 0 0 148 1 0 0 25 0 1 0 836553901 37466112 6437 33554432000 4194304 4933572 140737050734048 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9147 6437 374 181 0 6156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36588
[startup+3.10022 s]
/proc/loadavg: 2.63 3.64 3.80 3/456 18944
/proc/meminfo: memFree=24018092/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=36588 CPUtime=3.09 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7754 0 0 0 308 1 0 0 25 0 1 0 836553901 37466112 6437 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9147 6437 374 181 0 6156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36588
[startup+6.30065 s]
/proc/loadavg: 2.58 3.62 3.79 3/456 18944
/proc/meminfo: memFree=24006748/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=36588 CPUtime=6.29 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7756 0 0 0 628 1 0 0 25 0 1 0 836553901 37466112 6439 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9147 6439 376 181 0 6156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36588
[startup+12.7005 s]
/proc/loadavg: 2.53 3.59 3.78 3/456 18944
/proc/meminfo: memFree=24005168/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=37476 CPUtime=12.69 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 7996 0 0 0 1268 1 0 0 25 0 1 0 836553901 38375424 6679 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9369 6679 376 181 0 6378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37476
[startup+25.5011 s]
/proc/loadavg: 2.41 3.51 3.75 3/456 18944
/proc/meminfo: memFree=24003312/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=38964 CPUtime=25.49 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 8339 0 0 0 2548 1 0 0 25 0 1 0 836553901 39899136 7022 33554432000 4194304 4933572 140737050734048 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 9741 7022 376 181 0 6750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38964
[startup+51.1004 s]
/proc/loadavg: 2.27 3.39 3.70 3/456 18945
/proc/meminfo: memFree=23998932/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=41552 CPUtime=51.09 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 8939 0 0 0 5108 1 0 0 25 0 1 0 836553901 42549248 7622 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 10388 7622 376 181 0 7397 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41552
[startup+102.301 s]
/proc/loadavg: 2.12 3.17 3.61 3/456 18946
/proc/meminfo: memFree=23992308/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=43868 CPUtime=102.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 9488 0 0 0 10229 1 0 0 25 0 1 0 836553901 44920832 8171 33554432000 4194304 4933572 140737050734048 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 10967 8171 376 181 0 7976 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43868
[startup+162.301 s]
/proc/loadavg: 2.04 2.96 3.51 3/456 18948
/proc/meminfo: memFree=23984848/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=48364 CPUtime=162.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 10532 0 0 0 16228 2 0 0 25 0 1 0 836553901 49524736 9215 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 12091 9215 376 181 0 9100 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 48364
[startup+222.317 s]
/proc/loadavg: 2.01 2.78 3.41 3/456 18949
/proc/meminfo: memFree=23980356/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=51208 CPUtime=222.32 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 11225 0 0 0 22230 2 0 0 25 0 1 0 836553901 52436992 9908 33554432000 4194304 4933572 140737050734048 18446744073709551615 4629736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 12802 9908 376 181 0 9811 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 51208
[startup+282.301 s]
/proc/loadavg: 2.16 2.67 3.33 3/456 18951
/proc/meminfo: memFree=23977984/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=52964 CPUtime=282.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 11650 0 0 0 28228 2 0 0 25 0 1 0 836553901 54235136 10333 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 13241 10333 376 181 0 10250 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52964
[startup+342.301 s]
/proc/loadavg: 2.13 2.56 3.25 3/456 18953
/proc/meminfo: memFree=23973128/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=54896 CPUtime=342.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 12128 0 0 0 34228 2 0 0 25 0 1 0 836553901 56213504 10811 33554432000 4194304 4933572 140737050734048 18446744073709551615 4711019 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 13724 10811 376 181 0 10733 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54896
[startup+402.301 s]
/proc/loadavg: 2.05 2.46 3.17 3/456 18954
/proc/meminfo: memFree=23970628/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=56488 CPUtime=402.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 12469 0 0 0 40228 2 0 0 25 0 1 0 836553901 57843712 11152 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 14122 11152 376 181 0 11131 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 56488
[startup+462.301 s]
/proc/loadavg: 2.02 2.37 3.09 3/456 18956
/proc/meminfo: memFree=23967020/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=57400 CPUtime=462.3 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 12673 0 0 0 46228 2 0 0 25 0 1 0 836553901 58777600 11356 33554432000 4194304 4933572 140737050734048 18446744073709551615 4330137 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 14350 11356 376 181 0 11359 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 57400
[startup+522.301 s]
/proc/loadavg: 2.04 2.31 3.03 3/456 18957
/proc/meminfo: memFree=23964516/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=58340 CPUtime=522.31 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 12891 0 0 0 52229 2 0 0 25 0 1 0 836553901 59740160 11574 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 14585 11574 376 181 0 11594 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 58340
[startup+582.3 s]
/proc/loadavg: 2.01 2.25 2.96 3/456 18959
/proc/meminfo: memFree=23960776/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=59588 CPUtime=582.31 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 13205 0 0 0 58229 2 0 0 25 0 1 0 836553901 61018112 11888 33554432000 4194304 4933572 140737050734048 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 14897 11888 376 181 0 11906 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 59588
[startup+642.3 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.08 2.11 2.69 3/456 18967
/proc/meminfo: memFree=23949996/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=65064 CPUtime=882.33 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 14556 0 0 0 88231 2 0 0 25 0 1 0 836553901 66625536 13239 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 16266 13239 376 181 0 13275 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 65064
[startup+942.301 s]
/proc/loadavg: 2.13 2.12 2.66 3/456 18972
/proc/meminfo: memFree=23948340/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=65688 CPUtime=942.32 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 14711 0 0 0 94230 2 0 0 25 0 1 0 836553901 67264512 13394 33554432000 4194304 4933572 140737050734048 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 16422 13394 376 181 0 13431 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 65688
[startup+1002.3 s]
/proc/loadavg: 2.15 2.13 2.62 3/456 18973
/proc/meminfo: memFree=23946748/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=66888 CPUtime=1002.33 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 14996 0 0 0 100230 3 0 0 25 0 1 0 836553901 68493312 13679 33554432000 4194304 4933572 140737050734048 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 16722 13679 376 181 0 13731 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 66888
[startup+1062.3 s]
/proc/loadavg: 2.10 2.12 2.59 3/456 18976
/proc/meminfo: memFree=23945356/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=68084 CPUtime=1062.33 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15283 0 0 0 106230 3 0 0 25 0 1 0 836553901 69718016 13966 33554432000 4194304 4933572 140737050734048 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17021 13966 376 181 0 14030 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 68084
[startup+1122.3 s]
/proc/loadavg: 2.04 2.09 2.55 3/456 18977
/proc/meminfo: memFree=23944588/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=68284 CPUtime=1122.33 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15301 0 0 0 112230 3 0 0 25 0 1 0 836553901 69922816 13984 33554432000 4194304 4933572 140737050734048 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17071 13984 376 181 0 14080 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 68284
[startup+1182.3 s]
/proc/loadavg: 2.01 2.07 2.51 3/456 18979
/proc/meminfo: memFree=23942824/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=68424 CPUtime=1182.33 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15364 0 0 0 118230 3 0 0 25 0 1 0 836553901 70066176 14047 33554432000 4194304 4933572 140737050734048 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17106 14047 376 181 0 14115 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 68424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.06 2.48 3/456 18981
/proc/meminfo: memFree=23942428/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=68792 CPUtime=1242.34 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15445 0 0 0 124231 3 0 0 25 0 1 0 836553901 70443008 14128 33554432000 4194304 4933572 140737050734048 18446744073709551615 4718193 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17198 14128 376 181 0 14207 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 68792
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.44 3/456 18982
/proc/meminfo: memFree=23940540/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=70256 CPUtime=1302.34 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15779 0 0 0 130231 3 0 0 25 0 1 0 836553901 71942144 14462 33554432000 4194304 4933572 140737050734048 18446744073709551615 4711040 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17564 14462 376 181 0 14573 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 70256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.41 3/456 18984
/proc/meminfo: memFree=23939160/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=70404 CPUtime=1362.34 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15840 0 0 0 136231 3 0 0 25 0 1 0 836553901 72093696 14523 33554432000 4194304 4933572 140737050734048 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17601 14523 376 181 0 14610 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 70404
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.39 3/456 18985
/proc/meminfo: memFree=23939620/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=70544 CPUtime=1422.35 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15877 0 0 0 142232 3 0 0 25 0 1 0 836553901 72237056 14560 33554432000 4194304 4933572 140737050734048 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17636 14560 376 181 0 14645 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 70544
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.36 3/456 18987
/proc/meminfo: memFree=23938732/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=70724 CPUtime=1482.34 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 15924 0 0 0 148231 3 0 0 25 0 1 0 836553901 72421376 14607 33554432000 4194304 4933572 140737050734048 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17681 14607 376 181 0 14690 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 70724
[startup+1542.32 s]
/proc/loadavg: 2.08 2.04 2.34 3/456 18989
/proc/meminfo: memFree=23938444/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=71748 CPUtime=1542.36 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16150 0 0 0 154233 3 0 0 25 0 1 0 836553901 73469952 14833 33554432000 4194304 4933572 140737050734048 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 17937 14833 376 181 0 14946 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 71748
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.32 3/456 18990
/proc/meminfo: memFree=23936676/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=72432 CPUtime=1602.34 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16334 0 0 0 160231 3 0 0 25 0 1 0 836553901 74170368 15017 33554432000 4194304 4933572 140737050734048 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18108 15017 376 181 0 15117 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 72432
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.30 3/456 18992
/proc/meminfo: memFree=23935152/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=73668 CPUtime=1662.35 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16588 0 0 0 166232 3 0 0 25 0 1 0 836553901 75436032 15271 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18417 15271 376 181 0 15426 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 73668
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.28 3/456 18993
/proc/meminfo: memFree=23933384/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=73984 CPUtime=1722.35 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16659 0 0 0 172232 3 0 0 25 0 1 0 836553901 75759616 15342 33554432000 4194304 4933572 140737050734048 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18496 15342 376 181 0 15505 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 73984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.26 3/456 18995
/proc/meminfo: memFree=23930508/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=74596 CPUtime=1782.35 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16804 0 0 0 178232 3 0 0 25 0 1 0 836553901 76386304 15487 33554432000 4194304 4933572 140737050734048 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18649 15487 376 181 0 15658 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 74596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.25 3/456 18995
/proc/meminfo: memFree=23931616/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=74596 CPUtime=1800.06 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16832 0 0 0 180003 3 0 0 25 0 1 0 836553901 76386304 15515 33554432000 4194304 4933572 140737050734048 18446744073709551615 4668821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18649 15515 376 181 0 15658 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 74596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.25 3/456 18995
/proc/meminfo: memFree=23931616/32951124 swapFree=60476376/67111528
[pid=18936] ppid=18934 vsize=74596 CPUtime=1800.06 cores=0,2,4,6
/proc/18936/stat : 18936 (clasp) R 18934 18936 18265 0 -1 4202496 16832 0 0 0 180003 3 0 0 25 0 1 0 836553901 76386304 15515 33554432000 4194304 4933572 140737050734048 18446744073709551615 4668821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18936/statm: 18649 15515 376 181 0 15658 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 74596
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.04
CPU system time (s): 0.036994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 74596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 2533
runsolver used 8.38273 second user time and 17.8253 second system time
The end