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-3468268-1307101913/watcher-3468268-1307101913 -o /tmp/evaluation-result-3468268-1307101913/solver-3468268-1307101913 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468268-1307101913.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: 1.85 2.00 1.99 1/515 5399
/proc/meminfo: memFree=21377416/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=13004 CPUtime=0 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 616 0 0 0 0 0 0 0 25 0 1 0 821788049 13316096 552 33554432000 4194304 4933572 140734062184416 18446744073709551615 254500691712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 3251 553 332 181 0 260 0
[startup+0.0815429 s]
/proc/loadavg: 1.85 2.00 1.99 1/515 5399
/proc/meminfo: memFree=21377416/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=14092 CPUtime=0.08 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 1080 0 0 0 8 0 0 0 25 0 1 0 821788049 14430208 866 33554432000 4194304 4933572 140734062184416 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 3523 867 384 181 0 532 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14092
[startup+0.100536 s]
/proc/loadavg: 1.85 2.00 1.99 1/515 5399
/proc/meminfo: memFree=21377416/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=14620 CPUtime=0.09 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 1230 0 0 0 9 0 0 0 25 0 1 0 821788049 14970880 1016 33554432000 4194304 4933572 140734062184416 18446744073709551615 4342099 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 3655 1016 384 181 0 664 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14620
[startup+0.300497 s]
/proc/loadavg: 1.85 2.00 1.99 1/515 5399
/proc/meminfo: memFree=21377416/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=20692 CPUtime=0.29 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 2756 0 0 0 29 0 0 0 25 0 1 0 821788049 21188608 2542 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 5173 2542 385 181 0 2182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20692
[startup+0.700422 s]
/proc/loadavg: 1.85 2.00 1.99 1/515 5399
/proc/meminfo: memFree=21377416/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=32260 CPUtime=0.69 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 5639 0 0 0 69 0 0 0 25 0 1 0 821788049 33034240 5425 33554432000 4194304 4933572 140734062184416 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 8065 5425 385 181 0 5074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32260
[startup+1.50026 s]
/proc/loadavg: 1.85 2.00 1.99 3/518 5427
/proc/meminfo: memFree=21351880/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=36748 CPUtime=1.49 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 6771 0 0 0 149 0 0 0 25 0 1 0 821788049 37629952 6557 33554432000 4194304 4933572 140734062184416 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 9187 6557 385 181 0 6196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36748
[startup+3.10094 s]
/proc/loadavg: 1.85 2.00 1.99 3/518 5427
/proc/meminfo: memFree=21324352/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=45116 CPUtime=3.09 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 8842 0 0 0 308 1 0 0 25 0 1 0 821788049 46198784 8628 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 11279 8628 385 181 0 8288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45116
[startup+6.3003 s]
/proc/loadavg: 1.87 2.00 1.99 3/518 5427
/proc/meminfo: memFree=21304800/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=54232 CPUtime=6.29 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 11095 0 0 0 628 1 0 0 25 0 1 0 821788049 55533568 10881 33554432000 4194304 4933572 140734062184416 18446744073709551615 4648813 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 13558 10881 387 181 0 10567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54232
[startup+12.701 s]
/proc/loadavg: 1.88 2.00 1.99 3/518 5427
/proc/meminfo: memFree=21281700/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=62728 CPUtime=12.69 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 13203 0 0 0 1268 1 0 0 25 0 1 0 821788049 64233472 12989 33554432000 4194304 4933572 140734062184416 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 15682 12989 387 181 0 12691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62728
[startup+25.5005 s]
/proc/loadavg: 1.90 2.00 1.99 3/518 5427
/proc/meminfo: memFree=21257744/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=75188 CPUtime=25.49 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 16304 0 0 0 2548 1 0 0 25 0 1 0 821788049 76992512 16090 33554432000 4194304 4933572 140734062184416 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 18797 16090 387 181 0 15806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75188
[startup+51.1004 s]
/proc/loadavg: 1.93 2.00 1.99 3/518 5428
/proc/meminfo: memFree=21236228/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=87736 CPUtime=51.09 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 19455 0 0 0 5107 2 0 0 25 0 1 0 821788049 89841664 19241 33554432000 4194304 4933572 140734062184416 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 21934 19241 387 181 0 18943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87736
[startup+102.319 s]
/proc/loadavg: 1.97 2.00 1.99 3/518 5429
/proc/meminfo: memFree=21202856/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=101464 CPUtime=102.31 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 23599 0 0 0 10229 2 0 0 25 0 1 0 821788049 103899136 22660 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 25366 22660 387 181 0 22375 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 101464
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/518 5431
/proc/meminfo: memFree=21182612/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=111640 CPUtime=162.3 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 26330 0 0 0 16226 4 0 0 25 0 1 0 821788049 114319360 25221 33554432000 4194304 4933572 140734062184416 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 27910 25221 387 181 0 24919 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 111640
[startup+222.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/518 5433
/proc/meminfo: memFree=21163984/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=121196 CPUtime=222.3 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 30249 0 0 0 22226 4 0 0 25 0 1 0 821788049 124104704 27649 33554432000 4194304 4933572 140734062184416 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 30299 27649 387 181 0 27308 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 121196
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/518 5434
/proc/meminfo: memFree=21158992/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=124208 CPUtime=282.3 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 30960 0 0 0 28226 4 0 0 25 0 1 0 821788049 127188992 28360 33554432000 4194304 4933572 140734062184416 18446744073709551615 4622140 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 31052 28360 387 181 0 28061 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 124208
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5436
/proc/meminfo: memFree=21140992/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=133176 CPUtime=342.3 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 33702 0 0 0 34226 4 0 0 25 0 1 0 821788049 136372224 30591 33554432000 4194304 4933572 140734062184416 18446744073709551615 4622154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 33294 30591 387 181 0 30303 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 133176
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5437
/proc/meminfo: memFree=21138100/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=135552 CPUtime=402.3 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 34316 0 0 0 40226 4 0 0 25 0 1 0 821788049 138805248 31205 33554432000 4194304 4933572 140734062184416 18446744073709551615 4622118 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 33888 31205 387 181 0 30897 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 135552
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5439
/proc/meminfo: memFree=21122956/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=140024 CPUtime=462.31 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 35722 0 0 0 46227 4 0 0 25 0 1 0 821788049 143384576 32291 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 35006 32291 387 181 0 32015 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 140024
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5441
/proc/meminfo: memFree=21112876/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=147688 CPUtime=522.32 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 37612 0 0 0 52227 5 0 0 25 0 1 0 821788049 151232512 34181 33554432000 4194304 4933572 140734062184416 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 36922 34181 387 181 0 33931 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 147688
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5451
/proc/meminfo: memFree=21107728/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=151848 CPUtime=582.32 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 38639 0 0 0 58227 5 0 0 25 0 1 0 821788049 155492352 35208 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 37962 35208 387 181 0 34971 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 151848
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/518 5461
/proc/meminfo: memFree=21087340/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=157832 CPUtime=822.33 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 40133 0 0 0 82228 5 0 0 25 0 1 0 821788049 161619968 36702 33554432000 4194304 4933572 140734062184416 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 39458 36702 387 181 0 36467 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 157832
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5462
/proc/meminfo: memFree=21079988/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=162272 CPUtime=882.33 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 41920 0 0 0 88228 5 0 0 25 0 1 0 821788049 166166528 37827 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 40568 37827 387 181 0 37577 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 162272
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5464
/proc/meminfo: memFree=21073008/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=170588 CPUtime=942.33 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 43997 0 0 0 94228 5 0 0 25 0 1 0 821788049 174682112 39904 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 42647 39904 387 181 0 39656 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 170588
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5465
/proc/meminfo: memFree=21069000/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=174280 CPUtime=1002.34 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 44884 0 0 0 100228 6 0 0 25 0 1 0 821788049 178462720 40791 33554432000 4194304 4933572 140734062184416 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 43570 40791 387 181 0 40579 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 174280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5467
/proc/meminfo: memFree=21062156/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=175148 CPUtime=1062.34 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 45097 0 0 0 106228 6 0 0 25 0 1 0 821788049 179351552 41004 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 43787 41004 387 181 0 40796 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 175148
[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/518 5469
/proc/meminfo: memFree=21050220/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=176336 CPUtime=1122.34 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 45394 0 0 0 112228 6 0 0 25 0 1 0 821788049 180568064 41301 33554432000 4194304 4933572 140734062184416 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 44084 41301 387 181 0 41093 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 176336
[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/518 5470
/proc/meminfo: memFree=21042748/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=177196 CPUtime=1182.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 45584 0 0 0 118229 6 0 0 25 0 1 0 821788049 181448704 41491 33554432000 4194304 4933572 140734062184416 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 44299 41491 387 181 0 41308 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 177196
[startup+1242.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/518 5472
/proc/meminfo: memFree=21040364/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=177196 CPUtime=1242.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 45584 0 0 0 124229 6 0 0 25 0 1 0 821788049 181448704 41491 33554432000 4194304 4933572 140734062184416 18446744073709551615 4622144 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 44299 41491 387 181 0 41308 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 177196
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/518 5473
/proc/meminfo: memFree=21028532/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=188804 CPUtime=1302.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 48921 0 0 0 130229 6 0 0 25 0 1 0 821788049 193335296 44424 33554432000 4194304 4933572 140734062184416 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 47201 44424 387 181 0 44210 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 188804
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5475
/proc/meminfo: memFree=21025884/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=191604 CPUtime=1362.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 49578 0 0 0 136229 6 0 0 25 0 1 0 821788049 196202496 45081 33554432000 4194304 4933572 140734062184416 18446744073709551615 4341573 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 47901 45081 387 181 0 44910 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 191604
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5477
/proc/meminfo: memFree=21025864/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=192848 CPUtime=1422.37 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50188 0 0 0 142231 6 0 0 25 0 1 0 821788049 197476352 45396 33554432000 4194304 4933572 140734062184416 18446744073709551615 4340560 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48212 45396 387 181 0 45221 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 192848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5478
/proc/meminfo: memFree=21024448/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=193508 CPUtime=1482.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50339 0 0 0 148229 6 0 0 25 0 1 0 821788049 198152192 45547 33554432000 4194304 4933572 140734062184416 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48377 45547 387 181 0 45386 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 193508
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5480
/proc/meminfo: memFree=21024400/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=193508 CPUtime=1542.36 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50345 0 0 0 154230 6 0 0 25 0 1 0 821788049 198152192 45553 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48377 45553 387 181 0 45386 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 193508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5481
/proc/meminfo: memFree=21023508/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=194168 CPUtime=1602.35 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50515 0 0 0 160229 6 0 0 25 0 1 0 821788049 198828032 45723 33554432000 4194304 4933572 140734062184416 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48542 45723 387 181 0 45551 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 194168
[startup+1662.3 s]
/proc/loadavg: 2.23 2.07 2.02 3/518 5483
/proc/meminfo: memFree=21023332/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=194168 CPUtime=1662.36 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50515 0 0 0 166230 6 0 0 25 0 1 0 821788049 198828032 45723 33554432000 4194304 4933572 140734062184416 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48542 45723 387 181 0 45551 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 194168
[startup+1722.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/518 5485
/proc/meminfo: memFree=21006676/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=194724 CPUtime=1722.36 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50620 0 0 0 172230 6 0 0 25 0 1 0 821788049 199397376 45828 33554432000 4194304 4933572 140734062184416 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48681 45828 387 181 0 45690 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 194724
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/518 5486
/proc/meminfo: memFree=21003036/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=194724 CPUtime=1782.36 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50620 0 0 0 178230 6 0 0 25 0 1 0 821788049 199397376 45828 33554432000 4194304 4933572 140734062184416 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48681 45828 387 181 0 45690 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 194724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.02 3/518 5487
/proc/meminfo: memFree=21004268/32950928 swapFree=34259960/67111528
[pid=5399] ppid=5397 vsize=194724 CPUtime=1800.07 cores=0,2,4,6
/proc/5399/stat : 5399 (clasp) R 5397 5399 4893 0 -1 4202496 50620 0 0 0 180001 6 0 0 25 0 1 0 821788049 199397376 45828 33554432000 4194304 4933572 140734062184416 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5399/statm: 48681 45828 387 181 0 45690 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 194724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.1
CPU user time (s): 1800.03
CPU system time (s): 0.076988
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 194724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50628
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= 21007
runsolver used 9.37757 second user time and 20.1359 second system time
The end