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-3468267-1307101281/watcher-3468267-1307101281 -o /tmp/evaluation-result-3468267-1307101281/solver-3468267-1307101281 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468267-1307101281.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: 2.26 2.09 2.02 3/561 29208
/proc/meminfo: memFree=30185984/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=14292 CPUtime=0.01 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 1079 0 0 0 1 0 0 0 25 0 1 0 821726778 14635008 840 33554432000 4194304 4933572 140737224906800 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 3573 840 331 181 0 582 0
[startup+0.044076 s]
/proc/loadavg: 2.26 2.09 2.02 3/561 29208
/proc/meminfo: memFree=30185984/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=17532 CPUtime=0.04 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 2017 0 0 0 4 0 0 0 25 0 1 0 821726778 17952768 1646 33554432000 4194304 4933572 140737224906800 18446744073709551615 4595755 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 4383 1646 346 181 0 1392 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17532
[startup+0.101065 s]
/proc/loadavg: 2.26 2.09 2.02 3/561 29208
/proc/meminfo: memFree=30185984/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=17532 CPUtime=0.09 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 2042 0 0 0 9 0 0 0 25 0 1 0 821726778 17952768 1671 33554432000 4194304 4933572 140737224906800 18446744073709551615 4587862 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 4383 1671 348 181 0 1392 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17532
[startup+0.301031 s]
/proc/loadavg: 2.26 2.09 2.02 3/561 29208
/proc/meminfo: memFree=30185984/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=18128 CPUtime=0.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 2435 0 0 0 29 0 0 0 25 0 1 0 821726778 18563072 1906 33554432000 4194304 4933572 140737224906800 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 4532 1906 384 181 0 1541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18128
[startup+0.700965 s]
/proc/loadavg: 2.26 2.09 2.02 3/561 29208
/proc/meminfo: memFree=30185984/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=30424 CPUtime=0.69 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 5500 0 0 0 69 0 0 0 25 0 1 0 821726778 31154176 4971 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 7606 4971 384 181 0 4615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30424
[startup+1.50083 s]
/proc/loadavg: 2.26 2.09 2.02 3/562 29209
/proc/meminfo: memFree=30128356/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=53616 CPUtime=1.49 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 11289 0 0 0 148 1 0 0 25 0 1 0 821726778 54902784 10760 33554432000 4194304 4933572 140737224906800 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 13404 10760 384 181 0 10413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53616
[startup+3.10056 s]
/proc/loadavg: 2.26 2.09 2.02 3/562 29209
/proc/meminfo: memFree=30087064/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=64892 CPUtime=3.09 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 14121 0 0 0 308 1 0 0 25 0 1 0 821726778 66449408 13592 33554432000 4194304 4933572 140737224906800 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 16223 13592 384 181 0 13232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64892
[startup+6.30102 s]
/proc/loadavg: 2.24 2.08 2.02 3/562 29209
/proc/meminfo: memFree=30065772/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=73700 CPUtime=6.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 16295 0 0 0 627 2 0 0 25 0 1 0 821726778 75468800 15766 33554432000 4194304 4933572 140737224906800 18446744073709551615 4663994 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 18425 15766 384 181 0 15434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73700
[startup+12.701 s]
/proc/loadavg: 2.22 2.08 2.02 3/562 29209
/proc/meminfo: memFree=30031732/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=88796 CPUtime=12.69 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 20069 0 0 0 1267 2 0 0 25 0 1 0 821726778 90927104 19540 33554432000 4194304 4933572 140737224906800 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 22199 19540 386 181 0 19208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88796
[startup+25.5008 s]
/proc/loadavg: 2.17 2.08 2.02 3/562 29210
/proc/meminfo: memFree=29990416/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=108308 CPUtime=25.49 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 24958 0 0 0 2546 3 0 0 25 0 1 0 821726778 110907392 24429 33554432000 4194304 4933572 140737224906800 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 27077 24429 386 181 0 24086 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108308
[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 2.02 3/562 29210
/proc/meminfo: memFree=29964804/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=122684 CPUtime=51.09 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 28528 0 0 0 5106 3 0 0 25 0 1 0 821726778 125628416 27999 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 30671 27999 386 181 0 27680 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122684
[startup+102.321 s]
/proc/loadavg: 2.14 2.09 2.02 3/562 29212
/proc/meminfo: memFree=29920636/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=142316 CPUtime=102.31 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 33854 0 0 0 10226 5 0 0 25 0 1 0 821726778 145731584 32939 33554432000 4194304 4933572 140737224906800 18446744073709551615 4340176 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 35579 32939 387 181 0 32588 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 142316
[startup+162.301 s]
/proc/loadavg: 2.24 2.13 2.04 3/562 29213
/proc/meminfo: memFree=29885876/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=164172 CPUtime=162.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 39265 0 0 0 16222 7 0 0 25 0 1 0 821726778 168112128 38350 33554432000 4194304 4933572 140737224906800 18446744073709551615 4409509 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 41043 38350 387 181 0 38052 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 164172
[startup+222.301 s]
/proc/loadavg: 2.09 2.10 2.03 3/562 29215
/proc/meminfo: memFree=29858440/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=174560 CPUtime=222.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 42300 0 0 0 22222 7 0 0 25 0 1 0 821726778 178749440 40980 33554432000 4194304 4933572 140737224906800 18446744073709551615 4664048 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 43640 40980 387 181 0 40649 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 174560
[startup+282.301 s]
/proc/loadavg: 2.03 2.08 2.03 3/562 29216
/proc/meminfo: memFree=29843784/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=183428 CPUtime=282.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 44519 0 0 0 28222 7 0 0 25 0 1 0 821726778 187830272 43199 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 45857 43199 387 181 0 42866 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 183428
[startup+342.301 s]
/proc/loadavg: 2.01 2.06 2.02 3/562 29218
/proc/meminfo: memFree=29812012/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=203488 CPUtime=342.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 50796 0 0 0 34221 8 0 0 25 0 1 0 821726778 208371712 48163 33554432000 4194304 4933572 140737224906800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 50872 48163 387 181 0 47881 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 203488
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/562 29220
/proc/meminfo: memFree=29802072/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=206260 CPUtime=402.28 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 51492 0 0 0 40220 8 0 0 25 0 1 0 821726778 211210240 48859 33554432000 4194304 4933572 140737224906800 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 51565 48859 387 181 0 48574 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 206260
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/562 29221
/proc/meminfo: memFree=29777864/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=213812 CPUtime=462.28 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 54414 0 0 0 46220 8 0 0 25 0 1 0 821726778 218943488 50359 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341861 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29208/statm: 53453 50359 387 181 0 50462 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 213812
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29223
/proc/meminfo: memFree=29761836/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=228328 CPUtime=522.25 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 58014 0 0 0 52216 9 0 0 25 0 1 0 821726778 233807872 53959 33554432000 4194304 4933572 140737224906800 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 57082 53959 387 181 0 54091 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 228328
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29224
/proc/meminfo: memFree=29758932/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=230176 CPUtime=582.25 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 58462 0 0 0 58216 9 0 0 25 0 1 0 821726778 235700224 54407 33554432000 4194304 4933572 140737224906800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 57544 54407 387 181 0 54553 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 230176
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/562 29232
/proc/meminfo: memFree=29705288/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=254212 CPUtime=882.25 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 67749 0 0 0 88215 10 0 0 25 0 1 0 821726778 260313088 60395 33554432000 4194304 4933572 140737224906800 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 63553 60395 387 181 0 60562 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 254212
[startup+942.301 s]
/proc/loadavg: 2.01 2.06 2.01 3/562 29234
/proc/meminfo: memFree=29705368/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=254212 CPUtime=942.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 67764 0 0 0 94216 10 0 0 25 0 1 0 821726778 260313088 60410 33554432000 4194304 4933572 140737224906800 18446744073709551615 251813937786 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 63553 60410 387 181 0 60562 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 254212
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/562 29236
/proc/meminfo: memFree=29704232/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=255008 CPUtime=1002.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 67940 0 0 0 100216 10 0 0 25 0 1 0 821726778 261128192 60586 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 63752 60586 387 181 0 60761 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 255008
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29237
/proc/meminfo: memFree=29690416/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=255008 CPUtime=1062.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 67940 0 0 0 106216 10 0 0 25 0 1 0 821726778 261128192 60586 33554432000 4194304 4933572 140737224906800 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 63752 60586 387 181 0 60761 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 255008
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29239
/proc/meminfo: memFree=29681832/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=256992 CPUtime=1122.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 68432 0 0 0 112216 10 0 0 25 0 1 0 821726778 263159808 61078 33554432000 4194304 4933572 140737224906800 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 64248 61078 387 181 0 61257 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 256992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29249
/proc/meminfo: memFree=29674220/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=256992 CPUtime=1182.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 68432 0 0 0 118216 10 0 0 25 0 1 0 821726778 263159808 61078 33554432000 4194304 4933572 140737224906800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 64248 61078 387 181 0 61257 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 256992
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29251
/proc/meminfo: memFree=29671364/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=256992 CPUtime=1242.26 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 68432 0 0 0 124216 10 0 0 25 0 1 0 821726778 263159808 61078 33554432000 4194304 4933572 140737224906800 18446744073709551615 4319441 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 64248 61078 387 181 0 61257 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 256992
[startup+1302.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/562 29253
/proc/meminfo: memFree=29661024/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=265504 CPUtime=1302.28 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 71640 0 0 0 130217 11 0 0 25 0 1 0 821726778 271876096 63237 33554432000 4194304 4933572 140737224906800 18446744073709551615 4341613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 66376 63237 387 181 0 63385 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 265504
[startup+1362.3 s]
/proc/loadavg: 2.20 2.10 2.03 3/562 29254
/proc/meminfo: memFree=29649204/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=278012 CPUtime=1362.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 74743 0 0 0 136215 12 0 0 25 0 1 0 821726778 284684288 66340 33554432000 4194304 4933572 140737224906800 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 69503 66340 387 181 0 66512 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 278012
[startup+1422.32 s]
/proc/loadavg: 2.07 2.08 2.02 3/562 29259
/proc/meminfo: memFree=29647108/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=279464 CPUtime=1422.29 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75093 0 0 0 142217 12 0 0 25 0 1 0 821726778 286171136 66690 33554432000 4194304 4933572 140737224906800 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 69866 66690 387 181 0 66875 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 279464
[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/562 29260
/proc/meminfo: memFree=29644856/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=279860 CPUtime=1482.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75213 0 0 0 148215 12 0 0 25 0 1 0 821726778 286576640 66810 33554432000 4194304 4933572 140737224906800 18446744073709551615 251813907360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 69965 66810 387 181 0 66974 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 279860
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/562 29262
/proc/meminfo: memFree=29644084/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1542.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75294 0 0 0 154215 12 0 0 25 0 1 0 821726778 286973952 66891 33554432000 4194304 4933572 140737224906800 18446744073709551615 4414957 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66891 387 181 0 67071 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 280248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 29264
/proc/meminfo: memFree=29644064/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1602.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75294 0 0 0 160215 12 0 0 25 0 1 0 821726778 286973952 66891 33554432000 4194304 4933572 140737224906800 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66891 387 181 0 67071 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 280248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29265
/proc/meminfo: memFree=29631616/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1662.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75294 0 0 0 166215 12 0 0 25 0 1 0 821726778 286973952 66891 33554432000 4194304 4933572 140737224906800 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66891 387 181 0 67071 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 280248
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29267
/proc/meminfo: memFree=29616716/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1722.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75295 0 0 0 172215 12 0 0 25 0 1 0 821726778 286973952 66892 33554432000 4194304 4933572 140737224906800 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66892 387 181 0 67071 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 280248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29268
/proc/meminfo: memFree=29613852/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1782.27 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75295 0 0 0 178215 12 0 0 25 0 1 0 821726778 286973952 66892 33554432000 4194304 4933572 140737224906800 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66892 387 181 0 67071 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 280248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 2/560 29270
/proc/meminfo: memFree=29914936/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1800.1 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75295 0 0 0 179998 12 0 0 25 0 1 0 821726778 286973952 66892 33554432000 4194304 4933572 140737224906800 18446744073709551615 4358545 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66892 387 181 0 67071 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 280248
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.01 2.00 2/560 29270
/proc/meminfo: memFree=29914936/32950928 swapFree=41528364/67111528
[pid=29208] ppid=29206 vsize=280248 CPUtime=1800.1 cores=1,3,5,7
/proc/29208/stat : 29208 (clasp) R 29206 29208 28517 0 -1 4202496 75295 0 0 0 179998 12 0 0 25 0 1 0 821726778 286973952 66892 33554432000 4194304 4933572 140737224906800 18446744073709551615 4358545 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29208/statm: 70062 66892 387 181 0 67071 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 280248
Child status: 10
Real time (s): 1800.13
CPU time (s): 1800.11
CPU user time (s): 1799.98
CPU system time (s): 0.132979
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 280248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75303
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= 9806
runsolver used 9.89649 second user time and 23.0225 second system time
The end