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-3468280-1307100111/watcher-3468280-1307100111 -o /tmp/evaluation-result-3468280-1307100111/solver-3468280-1307100111 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468280-1307100111.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.18 2.06 2.02 1/515 5295
/proc/meminfo: memFree=21379404/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=13076 CPUtime=0 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 636 0 0 0 0 0 0 0 25 0 1 0 821607776 13389824 570 33554432000 4194304 4933572 140737092607456 18446744073709551615 254500691712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 3269 570 331 181 0 278 0
[startup+0.047611 s]
/proc/loadavg: 2.18 2.06 2.02 1/515 5295
/proc/meminfo: memFree=21379404/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=15984 CPUtime=0.04 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 1568 0 0 0 4 0 0 0 25 0 1 0 821607776 16367616 1323 33554432000 4194304 4933572 140737092607456 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 3996 1323 348 181 0 1005 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15984
[startup+0.100593 s]
/proc/loadavg: 2.18 2.06 2.02 1/515 5295
/proc/meminfo: memFree=21379404/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=15500 CPUtime=0.09 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 1584 0 0 0 9 0 0 0 25 0 1 0 821607776 15872000 1224 33554432000 4194304 4933572 140737092607456 18446744073709551615 254504235696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 3875 1224 364 181 0 884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15500
[startup+0.300562 s]
/proc/loadavg: 2.18 2.06 2.02 1/515 5295
/proc/meminfo: memFree=21379404/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=19460 CPUtime=0.29 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 2579 0 0 0 29 0 0 0 25 0 1 0 821607776 19927040 2219 33554432000 4194304 4933572 140737092607456 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 4865 2219 384 181 0 1874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19460
[startup+0.700476 s]
/proc/loadavg: 2.18 2.06 2.02 1/515 5295
/proc/meminfo: memFree=21379404/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=31744 CPUtime=0.69 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 5660 0 0 0 69 0 0 0 25 0 1 0 821607776 32505856 5300 33554432000 4194304 4933572 140737092607456 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 7936 5301 384 181 0 4945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31744
[startup+1.50032 s]
/proc/loadavg: 2.18 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21344408/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=53556 CPUtime=1.49 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 11118 0 0 0 148 1 0 0 25 0 1 0 821607776 54841344 10758 33554432000 4194304 4933572 140737092607456 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 13389 10758 384 181 0 10398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53556
[startup+3.101 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21301008/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=59364 CPUtime=3.09 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 12547 0 0 0 307 2 0 0 25 0 1 0 821607776 60788736 12187 33554432000 4194304 4933572 140737092607456 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 14841 12187 384 181 0 11850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59364
[startup+6.30036 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21258772/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=69680 CPUtime=6.29 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 15130 0 0 0 627 2 0 0 25 0 1 0 821607776 71352320 14770 33554432000 4194304 4933572 140737092607456 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 17420 14770 384 181 0 14429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69680
[startup+12.7011 s]
/proc/loadavg: 2.14 2.06 2.01 3/518 5323
/proc/meminfo: memFree=21219984/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=79132 CPUtime=12.69 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 17503 0 0 0 1266 3 0 0 25 0 1 0 821607776 81031168 17143 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 19783 17143 386 181 0 16792 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79132
[startup+25.5005 s]
/proc/loadavg: 2.12 2.06 2.01 3/518 5323
/proc/meminfo: memFree=21192340/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=88356 CPUtime=25.49 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 19789 0 0 0 2546 3 0 0 25 0 1 0 821607776 90476544 19429 33554432000 4194304 4933572 140737092607456 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 22089 19429 386 181 0 19098 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88356
[startup+51.1004 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 5324
/proc/meminfo: memFree=21145092/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=111556 CPUtime=51.09 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 25594 0 0 0 5106 3 0 0 25 0 1 0 821607776 114233344 25234 33554432000 4194304 4933572 140737092607456 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 27889 25234 386 181 0 24898 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111556
[startup+102.319 s]
/proc/loadavg: 2.03 2.04 2.01 3/518 5325
/proc/meminfo: memFree=21104632/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=126892 CPUtime=102.31 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 29604 0 0 0 10227 4 0 0 25 0 1 0 821607776 129937408 29033 33554432000 4194304 4933572 140737092607456 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 31723 29033 387 181 0 28732 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 126892
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5327
/proc/meminfo: memFree=21070144/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=141096 CPUtime=162.3 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 33102 0 0 0 16225 5 0 0 25 0 1 0 821607776 144482304 32531 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 35274 32531 387 181 0 32283 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 141096
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/518 5328
/proc/meminfo: memFree=21035772/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=156676 CPUtime=222.3 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 37493 0 0 0 22224 6 0 0 25 0 1 0 821607776 160436224 36450 33554432000 4194304 4933572 140737092607456 18446744073709551615 4342518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 39169 36450 387 181 0 36178 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 156676
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5330
/proc/meminfo: memFree=21021108/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=166688 CPUtime=282.3 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 41688 0 0 0 28224 6 0 0 25 0 1 0 821607776 170688512 38944 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 41672 38944 387 181 0 38681 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 166688
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5332
/proc/meminfo: memFree=20998508/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=175060 CPUtime=342.3 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 43769 0 0 0 34223 7 0 0 25 0 1 0 821607776 179261440 41025 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 43765 41025 387 181 0 40774 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 175060
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5333
/proc/meminfo: memFree=20979516/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=182608 CPUtime=402.3 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 46641 0 0 0 40223 7 0 0 25 0 1 0 821607776 186990592 42944 33554432000 4194304 4933572 140737092607456 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 45652 42944 387 181 0 42661 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 182608
[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 5335
/proc/meminfo: memFree=20963980/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=193432 CPUtime=462.31 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 49358 0 0 0 46223 8 0 0 25 0 1 0 821607776 198074368 45661 33554432000 4194304 4933572 140737092607456 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 48358 45661 387 181 0 45367 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 193432
[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/518 5336
/proc/meminfo: memFree=20957368/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=193432 CPUtime=522.31 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 49358 0 0 0 52223 8 0 0 25 0 1 0 821607776 198074368 45661 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 48358 45661 387 181 0 45367 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 193432
[startup+582.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/518 5338
/proc/meminfo: memFree=20936880/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=197020 CPUtime=582.31 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 50243 0 0 0 58223 8 0 0 25 0 1 0 821607776 201748480 46546 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 49255 46546 387 181 0 46264 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 197020
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5346
/proc/meminfo: memFree=20886728/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=221392 CPUtime=882.33 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 56490 0 0 0 88224 9 0 0 25 0 1 0 821607776 226705408 52590 33554432000 4194304 4933572 140737092607456 18446744073709551615 4340868 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 55348 52590 387 181 0 52357 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 221392
[startup+942.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 5348
/proc/meminfo: memFree=20871192/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=233628 CPUtime=942.33 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 59546 0 0 0 94223 10 0 0 25 0 1 0 821607776 239235072 55646 33554432000 4194304 4933572 140737092607456 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 58407 55646 387 181 0 55416 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 233628
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/518 5349
/proc/meminfo: memFree=20865588/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=239248 CPUtime=1002.33 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 63784 0 0 0 100223 10 0 0 25 0 1 0 821607776 244989952 57049 33554432000 4194304 4933572 140737092607456 18446744073709551615 4342175 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 59812 57049 387 181 0 56821 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 239248
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 5351
/proc/meminfo: memFree=20865304/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=239248 CPUtime=1062.34 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 63790 0 0 0 106224 10 0 0 25 0 1 0 821607776 244989952 57055 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 59812 57055 387 181 0 56821 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 239248
[startup+1122.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/518 5352
/proc/meminfo: memFree=20861672/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=241756 CPUtime=1122.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 64417 0 0 0 112217 10 0 0 25 0 1 0 821607776 247558144 57682 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/5295/statm: 60439 57682 387 181 0 57448 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 241756
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/518 5354
/proc/meminfo: memFree=20842172/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=241888 CPUtime=1182.25 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 64420 0 0 0 118215 10 0 0 25 0 1 0 821607776 247693312 57685 33554432000 4194304 4933572 140737092607456 18446744073709551615 4318072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 60472 57685 387 181 0 57481 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 241888
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 5356
/proc/meminfo: memFree=20830592/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=243208 CPUtime=1242.26 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 64766 0 0 0 124216 10 0 0 25 0 1 0 821607776 249044992 58031 33554432000 4194304 4933572 140737092607456 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 60802 58031 387 181 0 57811 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 243208
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5357
/proc/meminfo: memFree=20827828/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=244660 CPUtime=1302.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 65137 0 0 0 130217 10 0 0 25 0 1 0 821607776 250531840 58402 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 61165 58402 387 181 0 58174 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 244660
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5359
/proc/meminfo: memFree=20829048/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=244084 CPUtime=1362.26 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 65198 0 0 0 136216 10 0 0 25 0 1 0 821607776 249942016 58273 33554432000 4194304 4933572 140737092607456 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 61021 58273 387 181 0 58030 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 244084
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5360
/proc/meminfo: memFree=20824916/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=245536 CPUtime=1422.28 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 65563 0 0 0 142218 10 0 0 25 0 1 0 821607776 251428864 58638 33554432000 4194304 4933572 140737092607456 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 61384 58638 387 181 0 58393 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 245536
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 5362
/proc/meminfo: memFree=20815224/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=251480 CPUtime=1482.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 68661 0 0 0 148217 10 0 0 25 0 1 0 821607776 257515520 60125 33554432000 4194304 4933572 140737092607456 18446744073709551615 4622687 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 62870 60125 387 181 0 59879 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 251480
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 5364
/proc/meminfo: memFree=20805400/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=263228 CPUtime=1542.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 71594 0 0 0 154216 11 0 0 25 0 1 0 821607776 269545472 63058 33554432000 4194304 4933572 140737092607456 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 65807 63058 387 181 0 62816 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 263228
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 5365
/proc/meminfo: memFree=20800644/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=267216 CPUtime=1602.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 72542 0 0 0 160216 11 0 0 25 0 1 0 821607776 273629184 64006 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 66804 64006 387 181 0 63813 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 267216
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 5367
/proc/meminfo: memFree=20799360/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=269196 CPUtime=1662.27 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 73044 0 0 0 166216 11 0 0 25 0 1 0 821607776 275656704 64508 33554432000 4194304 4933572 140737092607456 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 67299 64508 387 181 0 64308 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 269196
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 5368
/proc/meminfo: memFree=20798088/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=269196 CPUtime=1722.28 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 73066 0 0 0 172217 11 0 0 25 0 1 0 821607776 275656704 64530 33554432000 4194304 4933572 140737092607456 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 67299 64530 387 181 0 64308 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 269196
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5370
/proc/meminfo: memFree=20794704/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=269328 CPUtime=1782.28 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 73094 0 0 0 178217 11 0 0 25 0 1 0 821607776 275791872 64558 33554432000 4194304 4933572 140737092607456 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 67332 64558 387 181 0 64341 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 269328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5371
/proc/meminfo: memFree=20776096/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=269328 CPUtime=1800.09 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 73094 0 0 0 179998 11 0 0 25 0 1 0 821607776 275791872 64558 33554432000 4194304 4933572 140737092607456 18446744073709551615 4319337 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 67332 64558 387 181 0 64341 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 269328
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.02 2.04 2.00 3/518 5371
/proc/meminfo: memFree=20776096/32950928 swapFree=34259960/67111528
[pid=5295] ppid=5293 vsize=269328 CPUtime=1800.09 cores=0,2,4,6
/proc/5295/stat : 5295 (clasp) R 5293 5295 4893 0 -1 4202496 73094 0 0 0 179998 11 0 0 25 0 1 0 821607776 275791872 64558 33554432000 4194304 4933572 140737092607456 18446744073709551615 4319337 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5295/statm: 67332 64558 387 181 0 64341 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 269328
Child status: 10
Real time (s): 1800.13
CPU time (s): 1800.12
CPU user time (s): 1799.99
CPU system time (s): 0.12798
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 269328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73102
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= 21000
runsolver used 9.36458 second user time and 20.1659 second system time
The end