runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491982-1307781449/watcher-3491982-1307781449 -o /tmp/evaluation-result-3491982-1307781449/solver-3491982-1307781449 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491982-1307781449.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: 2.00 2.00 1.99 2/174 6113
/proc/meminfo: memFree=30848184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=9848 CPUtime=0 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 2078 0 0 0 0 0 0 0 25 0 1 0 968375398 10084352 1827 33554432000 4194304 6245536 140734646039248 18446744073709551615 4642358 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 2462 1832 173 501 0 1958 0
[startup+0.0663879 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 6113
/proc/meminfo: memFree=30848184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=20796 CPUtime=0.05 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 5770 0 0 0 5 0 0 0 25 0 1 0 968375398 21295104 4599 33554432000 4194304 6245536 140734646039248 18446744073709551615 4588343 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 5199 4614 197 501 0 4695 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20796
[startup+0.100369 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 6113
/proc/meminfo: memFree=30848184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=24376 CPUtime=0.09 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 6959 0 0 0 8 1 0 0 25 0 1 0 968375398 24961024 5647 33554432000 4194304 6245536 140734646039248 18446744073709551615 4344982 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 6094 5647 201 501 0 5590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24376
[startup+0.300347 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 6113
/proc/meminfo: memFree=30848184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=21636 CPUtime=0.29 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 7016 0 0 0 28 1 0 0 25 0 1 0 968375398 22155264 5069 33554432000 4194304 6245536 140734646039248 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 5409 5069 221 501 0 4905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21636
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 6113
/proc/meminfo: memFree=30848184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=21636 CPUtime=0.69 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 7022 0 0 0 68 1 0 0 25 0 1 0 968375398 22155264 5075 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 5409 5075 227 501 0 4905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21636
[startup+1.50113 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6114
/proc/meminfo: memFree=30828112/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=21636 CPUtime=1.49 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 7022 0 0 0 148 1 0 0 25 0 1 0 968375398 22155264 5075 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628357 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 5409 5075 227 501 0 4905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21636
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6114
/proc/meminfo: memFree=30827744/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=25332 CPUtime=3.09 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 7969 0 0 0 308 1 0 0 25 0 1 0 968375398 25939968 6022 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628445 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 6333 6022 227 501 0 5829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25332
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6114
/proc/meminfo: memFree=30823584/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=26540 CPUtime=6.29 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 8271 0 0 0 628 1 0 0 25 0 1 0 968375398 27176960 6324 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628280 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 6635 6324 228 501 0 6131 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26540
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6114
/proc/meminfo: memFree=30821092/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=28808 CPUtime=12.7 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 8824 0 0 0 1268 2 0 0 25 0 1 0 968375398 29499392 6877 33554432000 4194304 6245536 140734646039248 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 7202 6877 228 501 0 6698 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28808
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6115
/proc/meminfo: memFree=30819212/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=30468 CPUtime=25.49 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 9237 0 0 0 2547 2 0 0 25 0 1 0 968375398 31199232 7290 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 7617 7290 229 501 0 7113 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30468
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6115
/proc/meminfo: memFree=30819184/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=30468 CPUtime=51.1 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 9244 0 0 0 5108 2 0 0 25 0 1 0 968375398 31199232 7297 33554432000 4194304 6245536 140734646039248 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 7617 7297 229 501 0 7113 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 30468
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6120
/proc/meminfo: memFree=30811436/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=37024 CPUtime=102.3 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 10856 0 0 0 10228 2 0 0 25 0 1 0 968375398 37912576 8909 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628062 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 9256 8909 229 501 0 8752 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 37024
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6121
/proc/meminfo: memFree=30811304/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=37156 CPUtime=162.29 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 10879 0 0 0 16227 2 0 0 25 0 1 0 968375398 38047744 8932 33554432000 4194304 6245536 140734646039248 18446744073709551615 4635520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 9289 8932 229 501 0 8785 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37156
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6123
/proc/meminfo: memFree=30797256/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=37288 CPUtime=222.3 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 10916 0 0 0 22228 2 0 0 25 0 1 0 968375398 38182912 8969 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 9322 8969 229 501 0 8818 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37288
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6124
/proc/meminfo: memFree=30795976/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=38736 CPUtime=282.3 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 11267 0 0 0 28228 2 0 0 25 0 1 0 968375398 39665664 9320 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 9684 9320 229 501 0 9180 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 38736
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6126
/proc/meminfo: memFree=30727740/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=39660 CPUtime=342.3 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 11515 0 0 0 34228 2 0 0 25 0 1 0 968375398 40611840 9568 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 9915 9568 229 501 0 9411 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39660
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6128
/proc/meminfo: memFree=30708604/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=72368 CPUtime=402.31 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 19679 0 0 0 40227 4 0 0 25 0 1 0 968375398 74104832 17732 33554432000 4194304 6245536 140734646039248 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 18092 17733 229 501 0 17588 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 72368
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6129
/proc/meminfo: memFree=30614324/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=462.31 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33424 0 0 0 46225 6 0 0 25 0 1 0 968375398 130613248 31477 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31477 229 501 0 31384 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 127552
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6131
/proc/meminfo: memFree=30614152/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=522.31 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33424 0 0 0 52225 6 0 0 25 0 1 0 968375398 130613248 31477 33554432000 4194304 6245536 140734646039248 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31477 229 501 0 31384 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 127552
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6132
/proc/meminfo: memFree=30614108/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=582.31 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33425 0 0 0 58225 6 0 0 25 0 1 0 968375398 130613248 31478 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700416 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31478 229 501 0 31384 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 127552
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 6139
/proc/meminfo: memFree=30613704/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=822.32 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33432 0 0 0 82226 6 0 0 25 0 1 0 968375398 130613248 31485 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31485 229 501 0 31384 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 127552
[startup+882.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 6140
/proc/meminfo: memFree=30613540/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=882.32 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33436 0 0 0 88226 6 0 0 25 0 1 0 968375398 130613248 31489 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31489 229 501 0 31384 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 127552
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 6142
/proc/meminfo: memFree=30613264/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=942.32 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 94226 6 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4635990 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 127552
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 6144
/proc/meminfo: memFree=30592268/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1002.32 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 100226 6 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4342658 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 127552
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 6145
/proc/meminfo: memFree=30583432/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1062.33 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 106226 7 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628267 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 127552
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 6147
/proc/meminfo: memFree=30583264/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1122.33 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 112226 7 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 127552
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6148
/proc/meminfo: memFree=30583352/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1182.33 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 118226 7 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 127552
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6150
/proc/meminfo: memFree=30582932/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1242.34 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 124227 7 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628040 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 127552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6152
/proc/meminfo: memFree=30582768/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1302.34 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33437 0 0 0 130227 7 0 0 25 0 1 0 968375398 130613248 31490 33554432000 4194304 6245536 140734646039248 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31490 229 501 0 31384 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 127552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6153
/proc/meminfo: memFree=30582848/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1362.34 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33441 0 0 0 136227 7 0 0 25 0 1 0 968375398 130613248 31494 33554432000 4194304 6245536 140734646039248 18446744073709551615 4361731 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31494 229 501 0 31384 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 127552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6164
/proc/meminfo: memFree=30581420/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1422.35 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33441 0 0 0 142228 7 0 0 25 0 1 0 968375398 130613248 31494 33554432000 4194304 6245536 140734646039248 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31494 229 501 0 31384 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 127552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6165
/proc/meminfo: memFree=30581600/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1482.34 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33441 0 0 0 148227 7 0 0 25 0 1 0 968375398 130613248 31494 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31494 229 501 0 31384 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 127552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6167
/proc/meminfo: memFree=30582188/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1542.35 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33443 0 0 0 154228 7 0 0 25 0 1 0 968375398 130613248 31496 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700439 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31496 229 501 0 31384 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 127552
[startup+1602.3 s]
/proc/loadavg: 1.75 1.95 1.98 2/169 6194
/proc/meminfo: memFree=30810128/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1602.35 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33443 0 0 0 160228 7 0 0 25 0 1 0 968375398 130613248 31496 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31496 229 501 0 31384 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 127552
[startup+1662.3 s]
/proc/loadavg: 1.27 1.77 1.92 2/169 6195
/proc/meminfo: memFree=30809968/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1662.34 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33443 0 0 0 166227 7 0 0 25 0 1 0 968375398 130613248 31496 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31496 229 501 0 31384 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 127552
[startup+1722.3 s]
/proc/loadavg: 1.10 1.63 1.86 2/169 6197
/proc/meminfo: memFree=30810072/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1722.35 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33443 0 0 0 172228 7 0 0 25 0 1 0 968375398 130613248 31496 33554432000 4194304 6245536 140734646039248 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31496 229 501 0 31384 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 127552
[startup+1782.3 s]
/proc/loadavg: 1.03 1.51 1.80 2/169 6198
/proc/meminfo: memFree=30809920/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1782.35 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33443 0 0 0 178228 7 0 0 25 0 1 0 968375398 130613248 31496 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31496 229 501 0 31384 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 127552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.02 1.48 1.78 2/169 6199
/proc/meminfo: memFree=30809784/32951124 swapFree=67062556/67111528
[pid=6113] ppid=6111 vsize=127552 CPUtime=1800.05 cores=0,2,4,6
/proc/6113/stat : 6113 (clasp) R 6111 6113 5721 0 -1 4202496 33444 0 0 0 179998 7 0 0 25 0 1 0 968375398 130613248 31497 33554432000 4194304 6245536 140734646039248 18446744073709551615 4628068 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6113/statm: 31888 31497 229 501 0 31384 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 127552
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.01
CPU time (s): 1800.07
CPU user time (s): 1799.99
CPU system time (s): 0.084987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 127552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33456
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= 4
involuntary context switches= 5699
runsolver used 2.71359 second user time and 5.48616 second system time
The end