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-3469338-1307091622/watcher-3469338-1307091622 -o /tmp/evaluation-result-3469338-1307091622/solver-3469338-1307091622 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469338-1307091622.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: 0.92 0.99 1.23 2/532 17237
/proc/meminfo: memFree=29146088/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=20840 CPUtime=0 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 2735 0 0 0 0 0 0 0 22 0 1 0 820760127 21340160 2381 33554432000 4194304 4933572 140735783839504 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 5210 2382 321 181 0 2219 0
[startup+0.0656529 s]
/proc/loadavg: 0.92 0.99 1.23 2/532 17237
/proc/meminfo: memFree=29146088/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=31312 CPUtime=0.05 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 6314 0 0 0 5 0 0 0 23 0 1 0 820760127 32063488 5000 33554432000 4194304 4933572 140735783839504 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 7828 5000 339 181 0 4837 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31312
[startup+0.100645 s]
/proc/loadavg: 0.92 0.99 1.23 2/532 17237
/proc/meminfo: memFree=29146088/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=32236 CPUtime=0.09 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 6567 0 0 0 9 0 0 0 23 0 1 0 820760127 33009664 5253 33554432000 4194304 4933572 140735783839504 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 8059 5255 340 181 0 5068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32236
[startup+0.300607 s]
/proc/loadavg: 0.92 0.99 1.23 2/532 17237
/proc/meminfo: memFree=29146088/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=42264 CPUtime=0.28 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 9068 0 0 0 28 0 0 0 24 0 1 0 820760127 43278336 7754 33554432000 4194304 4933572 140735783839504 18446744073709551615 4595752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 10566 7754 340 181 0 7575 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42264
[startup+0.700532 s]
/proc/loadavg: 0.92 0.99 1.23 2/532 17237
/proc/meminfo: memFree=29146088/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=46152 CPUtime=0.69 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 10642 0 0 0 68 1 0 0 25 0 1 0 820760127 47259648 8738 33554432000 4194304 4933572 140735783839504 18446744073709551615 4328064 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 11538 8738 374 181 0 8547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46152
[startup+1.50039 s]
/proc/loadavg: 0.92 0.99 1.23 3/536 17256
/proc/meminfo: memFree=29076100/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=46152 CPUtime=1.49 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 10647 0 0 0 148 1 0 0 25 0 1 0 820760127 47259648 8743 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 11538 8743 374 181 0 8547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46152
[startup+3.10012 s]
/proc/loadavg: 0.92 0.99 1.23 3/536 17258
/proc/meminfo: memFree=29073860/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=46152 CPUtime=3.09 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 10691 0 0 0 308 1 0 0 25 0 1 0 820760127 47259648 8787 33554432000 4194304 4933572 140735783839504 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 11538 8787 374 181 0 8547 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46152
[startup+6.30055 s]
/proc/loadavg: 1.01 1.01 1.23 3/536 17258
/proc/meminfo: memFree=29073752/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=46152 CPUtime=6.29 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 10707 0 0 0 628 1 0 0 25 0 1 0 820760127 47259648 8803 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 11538 8803 374 181 0 8547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46152
[startup+12.7004 s]
/proc/loadavg: 1.09 1.02 1.24 3/536 17258
/proc/meminfo: memFree=29068164/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=48588 CPUtime=12.69 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 11337 0 0 0 1268 1 0 0 25 0 1 0 820760127 49754112 9433 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 12147 9433 374 181 0 9156 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48588
[startup+25.5002 s]
/proc/loadavg: 1.29 1.07 1.25 3/536 17258
/proc/meminfo: memFree=29061448/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=52304 CPUtime=25.49 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 12193 0 0 0 2547 2 0 0 25 0 1 0 820760127 53559296 10289 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 13076 10289 374 181 0 10085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52304
[startup+51.1007 s]
/proc/loadavg: 1.53 1.15 1.27 3/536 17270
/proc/meminfo: memFree=29051812/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=57244 CPUtime=51.09 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 13415 0 0 0 5107 2 0 0 25 0 1 0 820760127 58617856 11511 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 14311 11511 374 181 0 11320 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57244
[startup+102.321 s]
/proc/loadavg: 1.79 1.28 1.30 3/536 17271
/proc/meminfo: memFree=29035836/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=65736 CPUtime=102.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 15400 0 0 0 10229 2 0 0 25 0 1 0 820760127 67313664 13496 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 16434 13496 374 181 0 13443 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 65736
[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.35 3/536 17274
/proc/meminfo: memFree=29015576/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=75016 CPUtime=162.29 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 17586 0 0 0 16227 2 0 0 25 0 1 0 820760127 76816384 15682 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 18754 15682 374 181 0 15763 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 75016
[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.38 3/536 17275
/proc/meminfo: memFree=29006484/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=81460 CPUtime=222.29 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 19105 0 0 0 22227 2 0 0 25 0 1 0 820760127 83415040 17201 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 20365 17201 374 181 0 17374 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 81460
[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.42 3/536 17283
/proc/meminfo: memFree=28999276/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=85348 CPUtime=282.3 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 19967 0 0 0 28227 3 0 0 25 0 1 0 820760127 87396352 18063 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 21337 18063 374 181 0 18346 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85348
[startup+342.301 s]
/proc/loadavg: 2.07 1.68 1.46 3/536 17285
/proc/meminfo: memFree=28989836/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=89012 CPUtime=342.3 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 20871 0 0 0 34227 3 0 0 25 0 1 0 820760127 91148288 18967 33554432000 4194304 4933572 140735783839504 18446744073709551615 4359871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 22253 18967 374 181 0 19262 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 89012
[startup+402.301 s]
/proc/loadavg: 2.10 1.75 1.49 3/536 17286
/proc/meminfo: memFree=28984080/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=93496 CPUtime=402.3 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 21940 0 0 0 40227 3 0 0 25 0 1 0 820760127 95739904 20036 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 23374 20036 374 181 0 20383 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 93496
[startup+462.3 s]
/proc/loadavg: 2.03 1.80 1.52 3/536 17288
/proc/meminfo: memFree=28979200/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=94624 CPUtime=462.3 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 22183 0 0 0 46227 3 0 0 25 0 1 0 820760127 96894976 20279 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 23656 20279 374 181 0 20665 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 94624
[startup+522.301 s]
/proc/loadavg: 2.08 1.86 1.56 3/536 17289
/proc/meminfo: memFree=28970352/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=99236 CPUtime=522.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 23319 0 0 0 52227 4 0 0 25 0 1 0 820760127 101617664 21415 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 24809 21415 374 181 0 21818 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 99236
[startup+582.3 s]
/proc/loadavg: 2.06 1.90 1.59 3/536 17292
/proc/meminfo: memFree=28968584/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=100412 CPUtime=582.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 23606 0 0 0 58227 4 0 0 25 0 1 0 820760127 102821888 21702 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 25103 21702 374 181 0 22112 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 100412
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.94 1.67 3/536 17300
/proc/meminfo: memFree=28954152/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=107480 CPUtime=822.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 25173 0 0 0 82227 4 0 0 25 0 1 0 820760127 110059520 23269 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 26870 23269 374 181 0 23879 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 107480
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.69 3/536 17303
/proc/meminfo: memFree=28947664/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=110984 CPUtime=882.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 26039 0 0 0 88227 4 0 0 25 0 1 0 820760127 113647616 24135 33554432000 4194304 4933572 140735783839504 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 27746 24135 374 181 0 24755 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 110984
[startup+942.301 s]
/proc/loadavg: 2.08 1.99 1.72 3/536 17305
/proc/meminfo: memFree=28947984/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=110984 CPUtime=942.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 26058 0 0 0 94227 4 0 0 25 0 1 0 820760127 113647616 24154 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 27746 24154 374 181 0 24755 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 110984
[startup+1002.3 s]
/proc/loadavg: 2.07 2.00 1.74 3/536 17306
/proc/meminfo: memFree=28945688/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=112196 CPUtime=1002.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 26353 0 0 0 100227 4 0 0 25 0 1 0 820760127 114888704 24449 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 28049 24449 374 181 0 25058 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 112196
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 1.76 3/536 17308
/proc/meminfo: memFree=28944152/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=112448 CPUtime=1062.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 26414 0 0 0 106227 4 0 0 25 0 1 0 820760127 115146752 24510 33554432000 4194304 4933572 140735783839504 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 28112 24510 374 181 0 25121 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 112448
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 1.78 3/536 17309
/proc/meminfo: memFree=28943356/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=113268 CPUtime=1122.31 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 26636 0 0 0 112227 4 0 0 25 0 1 0 820760127 115986432 24732 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 28317 24732 374 181 0 25326 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 113268
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.79 3/536 17311
/proc/meminfo: memFree=28939112/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=116548 CPUtime=1182.32 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 27446 0 0 0 118227 5 0 0 25 0 1 0 820760127 119345152 25542 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 29137 25542 374 181 0 26146 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 116548
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.80 3/536 17313
/proc/meminfo: memFree=28932604/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=118012 CPUtime=1242.32 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 27781 0 0 0 124227 5 0 0 25 0 1 0 820760127 120844288 25877 33554432000 4194304 4933572 140735783839504 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 29503 25877 374 181 0 26512 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 118012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/536 17314
/proc/meminfo: memFree=28931300/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=119204 CPUtime=1302.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 28027 0 0 0 130228 5 0 0 25 0 1 0 820760127 122064896 26123 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 29801 26123 374 181 0 26810 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 119204
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/536 17316
/proc/meminfo: memFree=28929512/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=120588 CPUtime=1362.32 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 28363 0 0 0 136227 5 0 0 25 0 1 0 820760127 123482112 26459 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 30147 26459 374 181 0 27156 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 120588
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.83 3/536 17317
/proc/meminfo: memFree=28929960/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=120588 CPUtime=1422.34 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 28388 0 0 0 142229 5 0 0 25 0 1 0 820760127 123482112 26484 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 30147 26484 374 181 0 27156 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 120588
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.84 3/536 17319
/proc/meminfo: memFree=28924344/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=123828 CPUtime=1482.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29166 0 0 0 148228 5 0 0 25 0 1 0 820760127 126799872 27262 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 30957 27262 374 181 0 27966 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 123828
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.85 3/536 17321
/proc/meminfo: memFree=28925020/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=124016 CPUtime=1542.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29221 0 0 0 154228 5 0 0 25 0 1 0 820760127 126992384 27317 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31004 27317 374 181 0 28013 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 124016
[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 1.87 3/536 17322
/proc/meminfo: memFree=28924840/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=124016 CPUtime=1602.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29226 0 0 0 160228 5 0 0 25 0 1 0 820760127 126992384 27322 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31004 27322 374 181 0 28013 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 124016
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 1.88 3/536 17324
/proc/meminfo: memFree=28924404/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=124396 CPUtime=1662.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29305 0 0 0 166228 5 0 0 25 0 1 0 820760127 127381504 27401 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31099 27401 374 181 0 28108 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 124396
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 1.88 3/536 17325
/proc/meminfo: memFree=28921396/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=125648 CPUtime=1722.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29620 0 0 0 172228 5 0 0 25 0 1 0 820760127 128663552 27716 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31412 27716 374 181 0 28421 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 125648
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.89 3/536 17327
/proc/meminfo: memFree=28918876/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=125648 CPUtime=1782.33 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29629 0 0 0 178228 5 0 0 25 0 1 0 820760127 128663552 27725 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31412 27725 374 181 0 28421 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 125648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 1.89 3/536 17327
/proc/meminfo: memFree=28919588/32951124 swapFree=58212616/67111528
[pid=17237] ppid=17235 vsize=125648 CPUtime=1800.04 cores=1,3,5,7
/proc/17237/stat : 17237 (clasp) R 17235 17237 13256 0 -1 4202496 29631 0 0 0 179999 5 0 0 25 0 1 0 820760127 128663552 27727 33554432000 4194304 4933572 140735783839504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17237/statm: 31412 27727 374 181 0 28421 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 125648
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.07
CPU user time (s): 1800.01
CPU system time (s): 0.05999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 125648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29641
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= 8
involuntary context switches= 20410
runsolver used 8.91264 second user time and 22.2176 second system time
The end