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-3467879-1307115108/watcher-3467879-1307115108 -o /tmp/evaluation-result-3467879-1307115108/solver-3467879-1307115108 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467879-1307115108.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.95 2.02 2.00 2/535 19011
/proc/meminfo: memFree=29088200/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=13892 CPUtime=0.01 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 933 0 0 0 1 0 0 0 25 0 1 0 823108769 14225408 823 33554432000 4194304 4933572 140734385225376 18446744073709551615 4630748 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 3473 823 359 181 0 482 0
[startup+0.0825341 s]
/proc/loadavg: 1.95 2.02 2.00 2/535 19011
/proc/meminfo: memFree=29088200/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=13892 CPUtime=0.08 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 948 0 0 0 8 0 0 0 25 0 1 0 823108769 14225408 838 33554432000 4194304 4933572 140734385225376 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 3473 838 373 181 0 482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13892
[startup+0.100532 s]
/proc/loadavg: 1.95 2.02 2.00 2/535 19011
/proc/meminfo: memFree=29088200/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=13892 CPUtime=0.09 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 948 0 0 0 9 0 0 0 25 0 1 0 823108769 14225408 838 33554432000 4194304 4933572 140734385225376 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 3473 838 373 181 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892
[startup+0.300496 s]
/proc/loadavg: 1.95 2.02 2.00 2/535 19011
/proc/meminfo: memFree=29088200/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=17684 CPUtime=0.29 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 1873 0 0 0 29 0 0 0 25 0 1 0 823108769 18108416 1763 33554432000 4194304 4933572 140734385225376 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 4421 1763 376 181 0 1430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17684
[startup+0.700427 s]
/proc/loadavg: 1.95 2.02 2.00 2/535 19011
/proc/meminfo: memFree=29088200/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=17636 CPUtime=0.69 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 1873 0 0 0 69 0 0 0 25 0 1 0 823108769 18059264 1763 33554432000 4194304 4933572 140734385225376 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 4409 1763 376 181 0 1418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636
[startup+1.50028 s]
/proc/loadavg: 1.95 2.02 2.00 3/536 19012
/proc/meminfo: memFree=29081752/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=18300 CPUtime=1.49 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 2041 0 0 0 149 0 0 0 25 0 1 0 823108769 18739200 1931 33554432000 4194304 4933572 140734385225376 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 4575 1931 376 181 0 1584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18300
[startup+3.101 s]
/proc/loadavg: 1.95 2.02 2.00 3/536 19012
/proc/meminfo: memFree=29080264/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=18948 CPUtime=3.09 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 2192 0 0 0 309 0 0 0 25 0 1 0 823108769 19402752 2082 33554432000 4194304 4933572 140734385225376 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 4737 2082 376 181 0 1746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18948
[startup+6.30044 s]
/proc/loadavg: 1.95 2.01 2.00 3/536 19012
/proc/meminfo: memFree=29076724/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=22160 CPUtime=6.29 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 2999 0 0 0 629 0 0 0 25 0 1 0 823108769 22691840 2889 33554432000 4194304 4933572 140734385225376 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 5540 2889 376 181 0 2549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22160
[startup+12.7003 s]
/proc/loadavg: 1.95 2.01 2.00 3/536 19012
/proc/meminfo: memFree=29073984/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=23572 CPUtime=12.69 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 3348 0 0 0 1269 0 0 0 25 0 1 0 823108769 24137728 3226 33554432000 4194304 4933572 140734385225376 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 5893 3226 376 181 0 2902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23572
[startup+25.5011 s]
/proc/loadavg: 1.96 2.01 2.00 3/536 19012
/proc/meminfo: memFree=29072860/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=25216 CPUtime=25.49 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 3787 0 0 0 2549 0 0 0 25 0 1 0 823108769 25821184 3643 33554432000 4194304 4933572 140734385225376 18446744073709551615 4363283 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 6304 3643 376 181 0 3313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25216
[startup+51.1006 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 19013
/proc/meminfo: memFree=29068104/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=29648 CPUtime=51.09 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 4996 0 0 0 5109 0 0 0 25 0 1 0 823108769 30359552 4747 33554432000 4194304 4933572 140734385225376 18446744073709551615 4632831 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 7412 4747 376 181 0 4421 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29648
[startup+102.32 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 19014
/proc/meminfo: memFree=29064856/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=33100 CPUtime=102.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 5822 0 0 0 10231 0 0 0 25 0 1 0 823108769 33894400 5553 33554432000 4194304 4933572 140734385225376 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 8275 5553 376 181 0 5284 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 33100
[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/536 19016
/proc/meminfo: memFree=29061600/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=34988 CPUtime=162.29 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 6376 0 0 0 16229 0 0 0 25 0 1 0 823108769 35827712 6056 33554432000 4194304 4933572 140734385225376 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 8747 6056 376 181 0 5756 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34988
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 19018
/proc/meminfo: memFree=29058204/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=39476 CPUtime=222.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 7508 0 0 0 22229 1 0 0 25 0 1 0 823108769 40423424 7173 33554432000 4194304 4933572 140734385225376 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 9869 7173 376 181 0 6878 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 39476
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 19019
/proc/meminfo: memFree=29055648/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=41424 CPUtime=282.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 7994 0 0 0 28229 1 0 0 25 0 1 0 823108769 42418176 7643 33554432000 4194304 4933572 140734385225376 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 10356 7643 376 181 0 7365 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 41424
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19021
/proc/meminfo: memFree=29049752/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=42424 CPUtime=342.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 8506 0 0 0 34229 1 0 0 25 0 1 0 823108769 43442176 7904 33554432000 4194304 4933572 140734385225376 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 10606 7904 376 181 0 7615 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 42424
[startup+402.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/536 19022
/proc/meminfo: memFree=29045216/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=43112 CPUtime=402.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 8895 0 0 0 40229 1 0 0 25 0 1 0 823108769 44146688 8095 33554432000 4194304 4933572 140734385225376 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 10778 8095 376 181 0 7787 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43112
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 19024
/proc/meminfo: memFree=29044300/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=44160 CPUtime=462.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 9209 0 0 0 46229 1 0 0 25 0 1 0 823108769 45219840 8351 33554432000 4194304 4933572 140734385225376 18446744073709551615 228244007784 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 11040 8351 376 181 0 8049 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 44160
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 19026
/proc/meminfo: memFree=29036284/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=49276 CPUtime=522.3 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10421 0 0 0 52229 1 0 0 25 0 1 0 823108769 50458624 9511 33554432000 4194304 4933572 140734385225376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12319 9511 376 181 0 9328 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 49276
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19027
/proc/meminfo: memFree=29035604/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=49276 CPUtime=582.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10422 0 0 0 58230 1 0 0 25 0 1 0 823108769 50458624 9512 33554432000 4194304 4933572 140734385225376 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12319 9512 376 181 0 9328 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 49276
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 19224
/proc/meminfo: memFree=29076256/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=49348 CPUtime=822.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10508 0 0 0 82230 1 0 0 25 0 1 0 823108769 50532352 9544 33554432000 4194304 4933572 140734385225376 18446744073709551615 4711013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12337 9544 376 181 0 9346 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 49348
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 19225
/proc/meminfo: memFree=29074464/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=49932 CPUtime=882.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10868 0 0 0 88230 1 0 0 25 0 1 0 823108769 51130368 9690 33554432000 4194304 4933572 140734385225376 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12483 9690 376 181 0 9492 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 49932
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19227
/proc/meminfo: memFree=29074172/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=49972 CPUtime=942.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10873 0 0 0 94230 1 0 0 25 0 1 0 823108769 51171328 9695 33554432000 4194304 4933572 140734385225376 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12493 9695 376 181 0 9502 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 49972
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19228
/proc/meminfo: memFree=29073984/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=50280 CPUtime=1002.31 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10928 0 0 0 100230 1 0 0 25 0 1 0 823108769 51486720 9750 33554432000 4194304 4933572 140734385225376 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12570 9750 376 181 0 9579 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 50280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 19230
/proc/meminfo: memFree=29074672/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=50588 CPUtime=1062.32 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 10974 0 0 0 106231 1 0 0 25 0 1 0 823108769 51802112 9796 33554432000 4194304 4933572 140734385225376 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12647 9796 376 181 0 9656 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 50588
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 19232
/proc/meminfo: memFree=29072632/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=51068 CPUtime=1122.32 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 11065 0 0 0 112231 1 0 0 25 0 1 0 823108769 52293632 9887 33554432000 4194304 4933572 140734385225376 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12767 9887 376 181 0 9776 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 51068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 19233
/proc/meminfo: memFree=29072084/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=51264 CPUtime=1182.32 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 11124 0 0 0 118231 1 0 0 25 0 1 0 823108769 52494336 9946 33554432000 4194304 4933572 140734385225376 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12816 9946 376 181 0 9825 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 51264
[startup+1242.3 s]
/proc/loadavg: 2.23 2.06 2.02 3/536 19235
/proc/meminfo: memFree=29071904/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=51404 CPUtime=1242.32 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 11153 0 0 0 124231 1 0 0 25 0 1 0 823108769 52637696 9975 33554432000 4194304 4933572 140734385225376 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 12851 9975 376 181 0 9860 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 51404
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/536 19236
/proc/meminfo: memFree=29069476/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=52084 CPUtime=1302.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 11382 0 0 0 130232 1 0 0 25 0 1 0 823108769 53334016 10162 33554432000 4194304 4933572 140734385225376 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13021 10162 376 181 0 10030 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 52084
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 19238
/proc/meminfo: memFree=29070676/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=52232 CPUtime=1362.32 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 11813 0 0 0 136231 1 0 0 25 0 1 0 823108769 53485568 10197 33554432000 4194304 4933572 140734385225376 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13058 10197 376 181 0 10067 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 52232
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/536 19240
/proc/meminfo: memFree=29069260/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53400 CPUtime=1422.35 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12242 0 0 0 142233 2 0 0 25 0 1 0 823108769 54681600 10473 33554432000 4194304 4933572 140734385225376 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13350 10473 376 181 0 10359 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 53400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 19241
/proc/meminfo: memFree=29068704/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53400 CPUtime=1482.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12242 0 0 0 148231 2 0 0 25 0 1 0 823108769 54681600 10473 33554432000 4194304 4933572 140734385225376 18446744073709551615 4340876 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13350 10473 376 181 0 10359 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 53400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19243
/proc/meminfo: memFree=29068276/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53488 CPUtime=1542.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12471 0 0 0 154231 2 0 0 25 0 1 0 823108769 54771712 10498 33554432000 4194304 4933572 140734385225376 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13372 10498 376 181 0 10381 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 53488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 19244
/proc/meminfo: memFree=29067464/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53804 CPUtime=1602.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12627 0 0 0 160231 2 0 0 25 0 1 0 823108769 55095296 10583 33554432000 4194304 4933572 140734385225376 18446744073709551615 4632049 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13451 10583 376 181 0 10460 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 53804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 19246
/proc/meminfo: memFree=29067156/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53804 CPUtime=1662.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12627 0 0 0 166231 2 0 0 25 0 1 0 823108769 55095296 10583 33554432000 4194304 4933572 140734385225376 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13451 10583 376 181 0 10460 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 53804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 19248
/proc/meminfo: memFree=29067100/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=53804 CPUtime=1722.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12627 0 0 0 172231 2 0 0 25 0 1 0 823108769 55095296 10583 33554432000 4194304 4933572 140734385225376 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13451 10583 376 181 0 10460 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 53804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 19258
/proc/meminfo: memFree=29065048/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=54064 CPUtime=1782.33 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12872 0 0 0 178231 2 0 0 25 0 1 0 823108769 55361536 10641 33554432000 4194304 4933572 140734385225376 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13516 10641 376 181 0 10525 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 54064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/536 19259
/proc/meminfo: memFree=29065632/32951124 swapFree=58212616/67111528
[pid=19011] ppid=19009 vsize=54064 CPUtime=1800.05 cores=1,3,5,7
/proc/19011/stat : 19011 (clasp) R 19009 19011 17375 0 -1 4202496 12872 0 0 0 180003 2 0 0 25 0 1 0 823108769 55361536 10641 33554432000 4194304 4933572 140734385225376 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19011/statm: 13516 10641 376 181 0 10525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 54064
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.06
CPU user time (s): 1800.04
CPU system time (s): 0.024996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 54456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 20688
runsolver used 9.02463 second user time and 22.0946 second system time
The end