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-3469342-1307092306/watcher-3469342-1307092306 -o /tmp/evaluation-result-3469342-1307092306/solver-3469342-1307092306 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469342-1307092306.opb --solu --heu=VSIDS
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/485 19955
/proc/meminfo: memFree=27277112/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=21004 CPUtime=0 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 2790 0 0 0 0 0 0 0 18 0 1 0 820829116 21508096 2436 33554432000 4194304 4933572 140734350729248 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 5251 2437 321 181 0 2260 0
[startup+0.0956329 s]
/proc/loadavg: 1.95 2.02 2.00 2/485 19955
/proc/meminfo: memFree=27277112/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=32016 CPUtime=0.09 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 6511 0 0 0 8 1 0 0 18 0 1 0 820829116 32784384 5196 33554432000 4194304 4933572 140734350729248 18446744073709551615 4592297 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 8004 5196 340 181 0 5013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32016
[startup+0.100618 s]
/proc/loadavg: 1.95 2.02 2.00 2/485 19955
/proc/meminfo: memFree=27277112/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=32280 CPUtime=0.09 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 6577 0 0 0 8 1 0 0 18 0 1 0 820829116 33054720 5262 33554432000 4194304 4933572 140734350729248 18446744073709551615 4592329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 8070 5262 340 181 0 5079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32280
[startup+0.300584 s]
/proc/loadavg: 1.95 2.02 2.00 2/485 19955
/proc/meminfo: memFree=27277112/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=42468 CPUtime=0.29 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 9086 0 0 0 28 1 0 0 18 0 1 0 820829116 43487232 7771 33554432000 4194304 4933572 140734350729248 18446744073709551615 4592251 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 10617 7771 340 181 0 7626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42468
[startup+0.700525 s]
/proc/loadavg: 1.95 2.02 2.00 2/485 19955
/proc/meminfo: memFree=27277112/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=46356 CPUtime=0.69 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 10690 0 0 0 67 2 0 0 18 0 1 0 820829116 47468544 8783 33554432000 4194304 4933572 140734350729248 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 11589 8783 374 181 0 8598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46356
[startup+1.50039 s]
/proc/loadavg: 1.95 2.02 2.00 3/490 19966
/proc/meminfo: memFree=27217536/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=46356 CPUtime=1.49 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 10697 0 0 0 147 2 0 0 20 0 1 0 820829116 47468544 8790 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 11589 8790 374 181 0 8598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46356
[startup+3.10012 s]
/proc/loadavg: 1.95 2.02 2.00 3/490 19966
/proc/meminfo: memFree=27213072/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=46356 CPUtime=3.09 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 10732 0 0 0 307 2 0 0 25 0 1 0 820829116 47468544 8825 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 11589 8825 374 181 0 8598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46356
[startup+6.30059 s]
/proc/loadavg: 1.96 2.02 2.00 3/490 19966
/proc/meminfo: memFree=27209376/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=46668 CPUtime=6.29 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 10855 0 0 0 627 2 0 0 25 0 1 0 820829116 47788032 8948 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 11667 8948 374 181 0 8676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46668
[startup+12.7005 s]
/proc/loadavg: 1.96 2.02 2.00 3/490 19966
/proc/meminfo: memFree=27201180/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=48832 CPUtime=12.69 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 11402 0 0 0 1267 2 0 0 25 0 1 0 820829116 50003968 9495 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 12208 9495 374 181 0 9217 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48832
[startup+25.5004 s]
/proc/loadavg: 1.97 2.01 2.00 3/490 19967
/proc/meminfo: memFree=27192928/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=52916 CPUtime=25.49 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 12350 0 0 0 2547 2 0 0 25 0 1 0 820829116 54185984 10443 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 13229 10443 374 181 0 10238 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52916
[startup+51.1011 s]
/proc/loadavg: 1.98 2.01 2.00 3/490 19968
/proc/meminfo: memFree=27179384/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=58264 CPUtime=51.09 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 13625 0 0 0 5106 3 0 0 25 0 1 0 820829116 59662336 11718 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 14566 11718 374 181 0 11575 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58264
[startup+102.318 s]
/proc/loadavg: 2.05 2.02 2.00 3/490 19969
/proc/meminfo: memFree=27160632/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=67412 CPUtime=102.31 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 15810 0 0 0 10228 3 0 0 25 0 1 0 820829116 69029888 13903 33554432000 4194304 4933572 140734350729248 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 16853 13903 374 181 0 13862 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 67412
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/490 19970
/proc/meminfo: memFree=27142500/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=76560 CPUtime=162.29 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 17940 0 0 0 16226 3 0 0 25 0 1 0 820829116 78397440 16033 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 19140 16033 374 181 0 16149 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 76560
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/490 19972
/proc/meminfo: memFree=27126204/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=83716 CPUtime=222.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 19611 0 0 0 22226 4 0 0 25 0 1 0 820829116 85725184 17704 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 20929 17704 374 181 0 17938 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 83716
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 19974
/proc/meminfo: memFree=27116228/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=86628 CPUtime=282.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 20306 0 0 0 28226 4 0 0 25 0 1 0 820829116 88707072 18399 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 21657 18399 374 181 0 18666 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 86628
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/490 19975
/proc/meminfo: memFree=27107384/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=90768 CPUtime=342.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 21274 0 0 0 34226 4 0 0 25 0 1 0 820829116 92946432 19367 33554432000 4194304 4933572 140734350729248 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 22692 19367 374 181 0 19701 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 90768
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/490 19977
/proc/meminfo: memFree=27102148/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=94332 CPUtime=402.29 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 22107 0 0 0 40225 4 0 0 25 0 1 0 820829116 96595968 20200 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 23583 20200 374 181 0 20592 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 94332
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 19978
/proc/meminfo: memFree=27092680/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=95336 CPUtime=462.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 22365 0 0 0 46226 4 0 0 25 0 1 0 820829116 97624064 20458 33554432000 4194304 4933572 140734350729248 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 23834 20458 374 181 0 20843 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 95336
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 19980
/proc/meminfo: memFree=27084952/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=99632 CPUtime=522.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 23377 0 0 0 52226 4 0 0 25 0 1 0 820829116 102023168 21470 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 24908 21470 374 181 0 21917 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 99632
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 19982
/proc/meminfo: memFree=27080308/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=101884 CPUtime=582.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 23934 0 0 0 58226 4 0 0 25 0 1 0 820829116 104329216 22027 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 25471 22027 374 181 0 22480 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 101884
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 19988
/proc/meminfo: memFree=27055320/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=112900 CPUtime=822.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 26491 0 0 0 82225 5 0 0 25 0 1 0 820829116 115609600 24584 33554432000 4194304 4933572 140734350729248 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 28225 24584 374 181 0 25234 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 112900
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 19990
/proc/meminfo: memFree=27050924/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=115220 CPUtime=882.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 27057 0 0 0 88225 5 0 0 25 0 1 0 820829116 117985280 25150 33554432000 4194304 4933572 140734350729248 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 28805 25150 374 181 0 25814 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 115220
[startup+942.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/490 19991
/proc/meminfo: memFree=27048540/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=116396 CPUtime=942.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 27298 0 0 0 94225 5 0 0 25 0 1 0 820829116 119189504 25391 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 29099 25391 374 181 0 26108 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 116396
[startup+1002.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/490 19993
/proc/meminfo: memFree=27047124/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=116772 CPUtime=1002.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 27380 0 0 0 100225 5 0 0 25 0 1 0 820829116 119574528 25473 33554432000 4194304 4933572 140734350729248 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 29193 25473 374 181 0 26202 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 116772
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 19994
/proc/meminfo: memFree=27045580/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=116944 CPUtime=1062.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 27432 0 0 0 106225 5 0 0 25 0 1 0 820829116 119750656 25525 33554432000 4194304 4933572 140734350729248 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 29236 25525 374 181 0 26245 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 116944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 19996
/proc/meminfo: memFree=27038092/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=118140 CPUtime=1122.31 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 27738 0 0 0 112226 5 0 0 25 0 1 0 820829116 120975360 25831 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 29535 25831 374 181 0 26544 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 118140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 19998
/proc/meminfo: memFree=27032356/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=121608 CPUtime=1182.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 28579 0 0 0 118225 5 0 0 25 0 1 0 820829116 124526592 26672 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 30402 26672 374 181 0 27411 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 121608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 19999
/proc/meminfo: memFree=27028092/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=122136 CPUtime=1242.3 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 28709 0 0 0 124225 5 0 0 25 0 1 0 820829116 125067264 26802 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 30534 26802 374 181 0 27543 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 122136
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/490 20001
/proc/meminfo: memFree=27022716/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=124568 CPUtime=1302.33 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 29278 0 0 0 130227 6 0 0 25 0 1 0 820829116 127557632 27371 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 31142 27371 374 181 0 28151 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 124568
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/490 20002
/proc/meminfo: memFree=27020324/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=125072 CPUtime=1362.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 29390 0 0 0 136226 6 0 0 25 0 1 0 820829116 128073728 27483 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 31268 27483 374 181 0 28277 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 125072
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 20004
/proc/meminfo: memFree=27019020/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=125204 CPUtime=1422.33 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 29442 0 0 0 142227 6 0 0 25 0 1 0 820829116 128208896 27535 33554432000 4194304 4933572 140734350729248 18446744073709551615 4377177 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 31301 27535 374 181 0 28310 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 125204
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/490 20006
/proc/meminfo: memFree=27015004/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=127636 CPUtime=1482.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30046 0 0 0 148226 6 0 0 25 0 1 0 820829116 130699264 28139 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 31909 28139 374 181 0 28918 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 127636
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/490 20007
/proc/meminfo: memFree=27014836/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=127824 CPUtime=1542.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30089 0 0 0 154226 6 0 0 25 0 1 0 820829116 130891776 28182 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 31956 28182 374 181 0 28965 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 127824
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/490 20009
/proc/meminfo: memFree=27011316/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=129296 CPUtime=1602.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30427 0 0 0 160226 6 0 0 25 0 1 0 820829116 132399104 28520 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 32324 28520 374 181 0 29333 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 129296
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 20010
/proc/meminfo: memFree=27008284/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=130332 CPUtime=1662.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30653 0 0 0 166226 6 0 0 25 0 1 0 820829116 133459968 28746 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 32583 28746 374 181 0 29592 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 130332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 20012
/proc/meminfo: memFree=27007752/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=130332 CPUtime=1722.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30661 0 0 0 172226 6 0 0 25 0 1 0 820829116 133459968 28754 33554432000 4194304 4933572 140734350729248 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 32583 28754 374 181 0 29592 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 130332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20014
/proc/meminfo: memFree=27004744/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=130932 CPUtime=1782.32 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30807 0 0 0 178226 6 0 0 25 0 1 0 820829116 134074368 28900 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 32733 28900 374 181 0 29742 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 130932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 20014
/proc/meminfo: memFree=27000772/32951124 swapFree=63649284/67111528
[pid=19955] ppid=19952 vsize=130932 CPUtime=1800.03 cores=1,3,5,7
/proc/19955/stat : 19955 (clasp) R 19952 19955 19900 0 -1 4202496 30810 0 0 0 179997 6 0 0 25 0 1 0 820829116 134074368 28903 33554432000 4194304 4933572 140734350729248 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19955/statm: 32733 28903 374 181 0 29742 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 130932
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.05
CPU user time (s): 1799.98
CPU system time (s): 0.067989
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 130932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30820
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= 5560
runsolver used 8.47971 second user time and 20.9148 second system time
The end