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-3469339-1307091622/watcher-3469339-1307091622 -o /tmp/evaluation-result-3469339-1307091622/solver-3469339-1307091622 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469339-1307091622.opb --solu --heu=VSIDS
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: 0.92 0.99 1.23 2/535 17255
/proc/meminfo: memFree=29121484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=20880 CPUtime=0 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 2753 0 0 0 0 0 0 0 25 0 1 0 820760145 21381120 2397 33554432000 4194304 4933572 140734460719520 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 5220 2398 321 181 0 2229 0
[startup+0.042486 s]
/proc/loadavg: 0.92 0.99 1.23 2/535 17255
/proc/meminfo: memFree=29121484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=27648 CPUtime=0.03 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 5428 0 0 0 3 0 0 0 25 0 1 0 820760145 28311552 4111 33554432000 4194304 4933572 140734460719520 18446744073709551615 4598406 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 6912 4113 337 181 0 3921 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27648
[startup+0.100501 s]
/proc/loadavg: 0.92 0.99 1.23 2/535 17255
/proc/meminfo: memFree=29121484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=32308 CPUtime=0.09 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 6574 0 0 0 9 0 0 0 25 0 1 0 820760145 33083392 5257 33554432000 4194304 4933572 140734460719520 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 8077 5259 340 181 0 5086 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32308
[startup+0.300467 s]
/proc/loadavg: 0.92 0.99 1.23 2/535 17255
/proc/meminfo: memFree=29121484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=42156 CPUtime=0.29 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 9017 0 0 0 29 0 0 0 25 0 1 0 820760145 43167744 7700 33554432000 4194304 4933572 140734460719520 18446744073709551615 228244046767 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 10539 7700 340 181 0 7548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42156
[startup+0.700393 s]
/proc/loadavg: 0.92 0.99 1.23 2/535 17255
/proc/meminfo: memFree=29121484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=46336 CPUtime=0.69 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 10698 0 0 0 68 1 0 0 25 0 1 0 820760145 47448064 8788 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 11584 8788 374 181 0 8593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46336
[startup+1.50025 s]
/proc/loadavg: 0.92 0.99 1.23 3/536 17256
/proc/meminfo: memFree=29074984/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=46336 CPUtime=1.49 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 10711 0 0 0 148 1 0 0 25 0 1 0 820760145 47448064 8801 33554432000 4194304 4933572 140734460719520 18446744073709551615 4629832 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 11584 8801 374 181 0 8593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46336
[startup+3.10097 s]
/proc/loadavg: 0.92 0.99 1.23 3/536 17258
/proc/meminfo: memFree=29073736/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=46336 CPUtime=3.1 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 10741 0 0 0 309 1 0 0 25 0 1 0 820760145 47448064 8831 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 11584 8831 374 181 0 8593 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 46336
[startup+6.30038 s]
/proc/loadavg: 1.01 1.01 1.23 3/536 17258
/proc/meminfo: memFree=29073796/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=46336 CPUtime=6.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 10771 0 0 0 629 1 0 0 25 0 1 0 820760145 47448064 8861 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 11584 8861 374 181 0 8593 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 46336
[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.24 3/536 17258
/proc/meminfo: memFree=29068164/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=49244 CPUtime=12.7 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 11491 0 0 0 1269 1 0 0 25 0 1 0 820760145 50425856 9581 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 12311 9581 374 181 0 9320 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 49244
[startup+25.501 s]
/proc/loadavg: 1.29 1.07 1.25 3/536 17258
/proc/meminfo: memFree=29061324/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=52768 CPUtime=25.5 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 12314 0 0 0 2549 1 0 0 25 0 1 0 820760145 54034432 10404 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 13192 10404 374 181 0 10201 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 52768
[startup+51.1005 s]
/proc/loadavg: 1.53 1.15 1.27 3/536 17270
/proc/meminfo: memFree=29051812/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=57384 CPUtime=51.09 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 13426 0 0 0 5108 1 0 0 25 0 1 0 820760145 58761216 11516 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 14346 11516 374 181 0 11355 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57384
[startup+102.32 s]
/proc/loadavg: 1.79 1.28 1.30 3/536 17271
/proc/meminfo: memFree=29035712/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=66788 CPUtime=102.31 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 15624 0 0 0 10230 1 0 0 25 0 1 0 820760145 68390912 13714 33554432000 4194304 4933572 140734460719520 18446744073709551615 4632896 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 16697 13714 374 181 0 13706 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66788
[startup+162.301 s]
/proc/loadavg: 1.92 1.40 1.35 3/536 17274
/proc/meminfo: memFree=29015204/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=76104 CPUtime=162.29 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 17822 0 0 0 16228 1 0 0 25 0 1 0 820760145 77930496 15912 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 19026 15912 374 181 0 16035 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 76104
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.38 3/536 17275
/proc/meminfo: memFree=29006484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=80288 CPUtime=222.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 18774 0 0 0 22228 2 0 0 25 0 1 0 820760145 82214912 16864 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 20072 16864 374 181 0 17081 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80288
[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.42 3/536 17283
/proc/meminfo: memFree=28999276/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=85692 CPUtime=282.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 20075 0 0 0 28228 2 0 0 25 0 1 0 820760145 87748608 18165 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 21423 18165 374 181 0 18432 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85692
[startup+342.3 s]
/proc/loadavg: 2.07 1.68 1.46 3/536 17285
/proc/meminfo: memFree=28989836/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=92148 CPUtime=342.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 21570 0 0 0 34228 2 0 0 25 0 1 0 820760145 94359552 19660 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 23037 19660 374 181 0 20046 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 92148
[startup+402.301 s]
/proc/loadavg: 2.10 1.75 1.49 3/536 17286
/proc/meminfo: memFree=28984080/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=93884 CPUtime=402.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 21979 0 0 0 40228 2 0 0 25 0 1 0 820760145 96137216 20069 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 23471 20069 374 181 0 20480 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 93884
[startup+462.3 s]
/proc/loadavg: 2.03 1.80 1.52 3/536 17288
/proc/meminfo: memFree=28979200/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=97900 CPUtime=462.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 22941 0 0 0 46228 2 0 0 25 0 1 0 820760145 100249600 21031 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 24475 21031 374 181 0 21484 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 97900
[startup+522.301 s]
/proc/loadavg: 2.08 1.86 1.56 3/536 17289
/proc/meminfo: memFree=28970352/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=102444 CPUtime=522.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 24021 0 0 0 52228 2 0 0 25 0 1 0 820760145 104902656 22111 33554432000 4194304 4933572 140734460719520 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 25611 22111 374 181 0 22620 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 102444
[startup+582.3 s]
/proc/loadavg: 2.06 1.90 1.59 3/536 17292
/proc/meminfo: memFree=28968212/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=102988 CPUtime=582.3 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 24194 0 0 0 58228 2 0 0 25 0 1 0 820760145 105459712 22284 33554432000 4194304 4933572 140734460719520 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 25747 22284 374 181 0 22756 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 102988
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.94 1.67 3/536 17300
/proc/meminfo: memFree=28954152/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=112344 CPUtime=822.31 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 26308 0 0 0 82228 3 0 0 25 0 1 0 820760145 115040256 24398 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 28086 24398 374 181 0 25095 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 112344
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.69 3/536 17303
/proc/meminfo: memFree=28947664/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=114096 CPUtime=882.31 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 26725 0 0 0 88228 3 0 0 25 0 1 0 820760145 116834304 24815 33554432000 4194304 4933572 140734460719520 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 28524 24815 374 181 0 25533 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 114096
[startup+942.301 s]
/proc/loadavg: 2.08 1.99 1.72 3/536 17305
/proc/meminfo: memFree=28947984/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=114824 CPUtime=942.32 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 26870 0 0 0 94229 3 0 0 25 0 1 0 820760145 117579776 24960 33554432000 4194304 4933572 140734460719520 18446744073709551615 4428404 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 28706 24960 374 181 0 25715 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 114824
[startup+1002.3 s]
/proc/loadavg: 2.07 2.00 1.74 3/536 17306
/proc/meminfo: memFree=28945688/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=115868 CPUtime=1002.32 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 27118 0 0 0 100229 3 0 0 25 0 1 0 820760145 118648832 25208 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 28967 25208 374 181 0 25976 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 115868
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 1.76 3/536 17308
/proc/meminfo: memFree=28944152/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=117112 CPUtime=1062.32 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 27440 0 0 0 106229 3 0 0 25 0 1 0 820760145 119922688 25530 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 29278 25530 374 181 0 26287 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 117112
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 1.78 3/536 17309
/proc/meminfo: memFree=28943356/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=117112 CPUtime=1122.31 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 27457 0 0 0 112228 3 0 0 25 0 1 0 820760145 119922688 25547 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 29278 25547 374 181 0 26287 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 117112
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.79 3/536 17311
/proc/meminfo: memFree=28939112/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=118116 CPUtime=1182.32 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 27679 0 0 0 118229 3 0 0 25 0 1 0 820760145 120950784 25769 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 29529 25769 374 181 0 26538 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 118116
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.80 3/536 17313
/proc/meminfo: memFree=28932604/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=121744 CPUtime=1242.32 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 28573 0 0 0 124228 4 0 0 25 0 1 0 820760145 124665856 26663 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 30436 26663 374 181 0 27445 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 121744
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/536 17314
/proc/meminfo: memFree=28931300/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=122176 CPUtime=1302.34 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 28710 0 0 0 130230 4 0 0 25 0 1 0 820760145 125108224 26800 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 30544 26800 374 181 0 27553 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 122176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/536 17316
/proc/meminfo: memFree=28929512/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=123188 CPUtime=1362.33 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 28928 0 0 0 136229 4 0 0 25 0 1 0 820760145 126144512 27018 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 30797 27018 374 181 0 27806 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 123188
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.83 3/536 17317
/proc/meminfo: memFree=28929960/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=123188 CPUtime=1422.35 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 28955 0 0 0 142231 4 0 0 25 0 1 0 820760145 126144512 27045 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 30797 27045 374 181 0 27806 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 123188
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.84 3/536 17319
/proc/meminfo: memFree=28924344/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=124892 CPUtime=1482.33 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29347 0 0 0 148229 4 0 0 25 0 1 0 820760145 127889408 27437 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31223 27437 374 181 0 28232 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 124892
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.85 3/536 17321
/proc/meminfo: memFree=28925020/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=124892 CPUtime=1542.33 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29353 0 0 0 154229 4 0 0 25 0 1 0 820760145 127889408 27443 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31223 27443 374 181 0 28232 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 124892
[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 1.87 3/536 17322
/proc/meminfo: memFree=28924840/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=125180 CPUtime=1602.33 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29415 0 0 0 160229 4 0 0 25 0 1 0 820760145 128184320 27505 33554432000 4194304 4933572 140734460719520 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31295 27505 374 181 0 28304 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 125180
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 1.88 3/536 17324
/proc/meminfo: memFree=28924404/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=125496 CPUtime=1662.33 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29483 0 0 0 166229 4 0 0 25 0 1 0 820760145 128507904 27573 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31374 27573 374 181 0 28383 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 125496
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 1.88 3/536 17325
/proc/meminfo: memFree=28921396/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=126948 CPUtime=1722.34 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29847 0 0 0 172230 4 0 0 25 0 1 0 820760145 129994752 27937 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31737 27937 374 181 0 28746 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 126948
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.89 3/536 17327
/proc/meminfo: memFree=28918876/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=127136 CPUtime=1782.34 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29901 0 0 0 178230 4 0 0 25 0 1 0 820760145 130187264 27991 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31784 27991 374 181 0 28793 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 127136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 1.89 2/534 17328
/proc/meminfo: memFree=29027484/32951124 swapFree=58212616/67111528
[pid=17255] ppid=17252 vsize=127136 CPUtime=1800.05 cores=0,2,4,6
/proc/17255/stat : 17255 (clasp) R 17252 17255 13256 0 -1 4202496 29904 0 0 0 180001 4 0 0 25 0 1 0 820760145 130187264 27994 33554432000 4194304 4933572 140734460719520 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17255/statm: 31784 27994 374 181 0 28793 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 127136
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.02
CPU system time (s): 0.047992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 127136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29915
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= 2268
runsolver used 10.1125 second user time and 21.0118 second system time
The end