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-3468209-1307098309/watcher-3468209-1307098309 -o /tmp/evaluation-result-3468209-1307098309/solver-3468209-1307098309 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468209-1307098309.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.04 2.01 2/517 5205
/proc/meminfo: memFree=21368928/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=13008 CPUtime=0 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 616 0 0 0 0 0 0 0 18 0 1 0 821427629 13320192 553 33554432000 4194304 4933572 140734330310816 18446744073709551615 254500691712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 3252 554 331 181 0 261 0
[startup+0.0835889 s]
/proc/loadavg: 1.95 2.04 2.01 2/517 5205
/proc/meminfo: memFree=21368928/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=14448 CPUtime=0.08 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 1081 0 0 0 8 0 0 0 18 0 1 0 821427629 14794752 980 33554432000 4194304 4933572 140734330310816 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 3612 981 385 181 0 621 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14448
[startup+0.100586 s]
/proc/loadavg: 1.95 2.04 2.01 2/517 5205
/proc/meminfo: memFree=21368928/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=14976 CPUtime=0.09 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 1206 0 0 0 9 0 0 0 18 0 1 0 821427629 15335424 1105 33554432000 4194304 4933572 140734330310816 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 3744 1105 385 181 0 753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14976
[startup+0.300545 s]
/proc/loadavg: 1.95 2.04 2.01 2/517 5205
/proc/meminfo: memFree=21368928/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=20916 CPUtime=0.29 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 2685 0 0 0 29 0 0 0 18 0 1 0 821427629 21417984 2584 33554432000 4194304 4933572 140734330310816 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 5229 2585 385 181 0 2238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20916
[startup+0.700463 s]
/proc/loadavg: 1.95 2.04 2.01 2/517 5205
/proc/meminfo: memFree=21368928/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=24112 CPUtime=0.69 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 3483 0 0 0 69 0 0 0 18 0 1 0 821427629 24690688 3382 33554432000 4194304 4933572 140734330310816 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 6028 3382 385 181 0 3037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24112
[startup+1.50031 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21349688/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=29052 CPUtime=1.49 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 4704 0 0 0 149 0 0 0 20 0 1 0 821427629 29749248 4603 33554432000 4194304 4933572 140734330310816 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 7263 4603 385 181 0 4272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29052
[startup+3.10098 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21341752/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=33416 CPUtime=3.09 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 5803 0 0 0 309 0 0 0 25 0 1 0 821427629 34217984 5702 33554432000 4194304 4933572 140734330310816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 8354 5702 385 181 0 5363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33416
[startup+6.30035 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21330896/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=36892 CPUtime=6.29 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 6676 0 0 0 629 0 0 0 25 0 1 0 821427629 37777408 6575 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 9223 6575 385 181 0 6232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36892
[startup+12.7011 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21318684/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=41512 CPUtime=12.69 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 7789 0 0 0 1268 1 0 0 25 0 1 0 821427629 42508288 7688 33554432000 4194304 4933572 140734330310816 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 10378 7688 385 181 0 7387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41512
[startup+25.5005 s]
/proc/loadavg: 1.96 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21302440/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=49432 CPUtime=25.49 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 9749 0 0 0 2548 1 0 0 25 0 1 0 821427629 50618368 9648 33554432000 4194304 4933572 140734330310816 18446744073709551615 4340549 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 12358 9648 385 181 0 9367 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49432
[startup+51.1004 s]
/proc/loadavg: 1.97 2.03 2.00 3/518 5208
/proc/meminfo: memFree=21288400/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=57112 CPUtime=51.09 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 11716 0 0 0 5107 2 0 0 25 0 1 0 821427629 58482688 11580 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 14278 11580 387 181 0 11287 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57112
[startup+102.32 s]
/proc/loadavg: 1.99 2.03 2.00 3/518 5209
/proc/meminfo: memFree=21264936/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=68448 CPUtime=102.31 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 14511 0 0 0 10229 2 0 0 25 0 1 0 821427629 70090752 14375 33554432000 4194304 4933572 140734330310816 18446744073709551615 4622140 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 17112 14375 387 181 0 14121 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 68448
[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/518 5211
/proc/meminfo: memFree=21248400/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=75664 CPUtime=162.3 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 16378 0 0 0 16227 3 0 0 25 0 1 0 821427629 77479936 16181 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 18916 16181 387 181 0 15925 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 75664
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/518 5212
/proc/meminfo: memFree=21244144/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=79256 CPUtime=222.3 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 17317 0 0 0 22227 3 0 0 25 0 1 0 821427629 81158144 17088 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 19814 17088 387 181 0 16823 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 79256
[startup+282.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/518 5214
/proc/meminfo: memFree=21231968/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=84596 CPUtime=282.3 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 18680 0 0 0 28227 3 0 0 25 0 1 0 821427629 86626304 18436 33554432000 4194304 4933572 140734330310816 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 21149 18436 387 181 0 18158 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 84596
[startup+342.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/518 5216
/proc/meminfo: memFree=21226852/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=89404 CPUtime=342.3 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 19875 0 0 0 34227 3 0 0 25 0 1 0 821427629 91549696 19577 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 22351 19577 387 181 0 19360 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 89404
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/518 5217
/proc/meminfo: memFree=21213924/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=95444 CPUtime=402.3 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 21394 0 0 0 40227 3 0 0 25 0 1 0 821427629 97734656 21096 33554432000 4194304 4933572 140734330310816 18446744073709551615 4632867 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 23861 21096 387 181 0 20870 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95444
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5219
/proc/meminfo: memFree=21210052/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=97880 CPUtime=462.31 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 22003 0 0 0 46228 3 0 0 25 0 1 0 821427629 100229120 21705 33554432000 4194304 4933572 140734330310816 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 24470 21705 387 181 0 21479 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 97880
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5220
/proc/meminfo: memFree=21208528/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=98936 CPUtime=522.31 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 22264 0 0 0 52228 3 0 0 25 0 1 0 821427629 101310464 21966 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 24734 21966 387 181 0 21743 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 98936
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5231
/proc/meminfo: memFree=21190708/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=108012 CPUtime=582.31 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 24737 0 0 0 58227 4 0 0 25 0 1 0 821427629 110604288 24198 33554432000 4194304 4933572 140734330310816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 27003 24198 387 181 0 24012 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 108012
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.22 2.09 2.02 3/518 5240
/proc/meminfo: memFree=21181696/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=110568 CPUtime=822.32 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 25490 0 0 0 82228 4 0 0 25 0 1 0 821427629 113221632 24813 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 27642 24813 387 181 0 24651 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 110568
[startup+882.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/518 5242
/proc/meminfo: memFree=21165792/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=117960 CPUtime=882.33 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 27648 0 0 0 88228 5 0 0 25 0 1 0 821427629 120791040 26641 33554432000 4194304 4933572 140734330310816 18446744073709551615 4323072 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 29490 26641 387 181 0 26499 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 117960
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/518 5244
/proc/meminfo: memFree=21163888/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=120548 CPUtime=942.33 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 28348 0 0 0 94228 5 0 0 25 0 1 0 821427629 123441152 27266 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30137 27266 387 181 0 27146 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 120548
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/518 5245
/proc/meminfo: memFree=21162864/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=120548 CPUtime=1002.34 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 28351 0 0 0 100229 5 0 0 25 0 1 0 821427629 123441152 27269 33554432000 4194304 4933572 140734330310816 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30137 27269 387 181 0 27146 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 120548
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5247
/proc/meminfo: memFree=21160720/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=122552 CPUtime=1062.34 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 28864 0 0 0 106229 5 0 0 25 0 1 0 821427629 125493248 27782 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30638 27782 387 181 0 27647 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 122552
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5248
/proc/meminfo: memFree=21160428/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=122668 CPUtime=1122.34 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 29010 0 0 0 112229 5 0 0 25 0 1 0 821427629 125612032 27842 33554432000 4194304 4933572 140734330310816 18446744073709551615 4631830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30667 27842 387 181 0 27676 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 122668
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5250
/proc/meminfo: memFree=21160016/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=122948 CPUtime=1182.34 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 29115 0 0 0 118229 5 0 0 25 0 1 0 821427629 125898752 27884 33554432000 4194304 4933572 140734330310816 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30737 27884 387 181 0 27746 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 122948
[startup+1242.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/518 5252
/proc/meminfo: memFree=21157496/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=123360 CPUtime=1242.35 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 29306 0 0 0 124230 5 0 0 25 0 1 0 821427629 126320640 28013 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 30840 28013 387 181 0 27849 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 123360
[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5253
/proc/meminfo: memFree=21143444/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=129992 CPUtime=1302.36 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 31589 0 0 0 130230 6 0 0 25 0 1 0 821427629 133111808 29653 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 32498 29653 387 181 0 29507 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 129992
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/518 5255
/proc/meminfo: memFree=21140428/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=132908 CPUtime=1362.36 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 32343 0 0 0 136230 6 0 0 25 0 1 0 821427629 136097792 30407 33554432000 4194304 4933572 140734330310816 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 33227 30407 387 181 0 30236 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 132908
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/518 5256
/proc/meminfo: memFree=21139520/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=133480 CPUtime=1422.38 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 32481 0 0 0 142232 6 0 0 25 0 1 0 821427629 136683520 30545 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 33370 30545 387 181 0 30379 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 133480
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5258
/proc/meminfo: memFree=21138244/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=133480 CPUtime=1482.36 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 32481 0 0 0 148230 6 0 0 25 0 1 0 821427629 136683520 30545 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 33370 30545 387 181 0 30379 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 133480
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5260
/proc/meminfo: memFree=21138332/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=133480 CPUtime=1542.36 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 32490 0 0 0 154230 6 0 0 25 0 1 0 821427629 136683520 30554 33554432000 4194304 4933572 140734330310816 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 33370 30554 387 181 0 30379 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 133480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5261
/proc/meminfo: memFree=21135816/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=135328 CPUtime=1602.37 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 32954 0 0 0 160231 6 0 0 25 0 1 0 821427629 138575872 31018 33554432000 4194304 4933572 140734330310816 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 33832 31018 387 181 0 30841 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 135328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5263
/proc/meminfo: memFree=21134164/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=136388 CPUtime=1662.37 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 33312 0 0 0 166231 6 0 0 25 0 1 0 821427629 139661312 31260 33554432000 4194304 4933572 140734330310816 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 34097 31260 387 181 0 31106 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 136388
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5264
/proc/meminfo: memFree=21133504/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=136596 CPUtime=1722.37 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 33441 0 0 0 172231 6 0 0 25 0 1 0 821427629 139874304 31321 33554432000 4194304 4933572 140734330310816 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 34149 31321 387 181 0 31158 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 136596
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/518 5266
/proc/meminfo: memFree=21131608/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=136208 CPUtime=1782.37 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 33461 0 0 0 178231 6 0 0 25 0 1 0 821427629 139476992 31249 33554432000 4194304 4933572 140734330310816 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 34052 31249 387 181 0 31061 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 136208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.18 2.06 2.02 2/516 5267
/proc/meminfo: memFree=21252516/32950928 swapFree=34259960/67111528
[pid=5205] ppid=5203 vsize=136208 CPUtime=1800.08 cores=1,3,5,7
/proc/5205/stat : 5205 (clasp) R 5203 5205 4893 0 -1 4202496 33461 0 0 0 180002 6 0 0 25 0 1 0 821427629 139476992 31249 33554432000 4194304 4933572 140734330310816 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5205/statm: 34052 31249 387 181 0 31061 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 136208
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.11
CPU user time (s): 1800.04
CPU system time (s): 0.072988
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 136596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33470
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= 2688
runsolver used 8.79566 second user time and 22.3166 second system time
The end