0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452715-1307090221.opb>
0.69/0.72 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
0.69/0.72 c problem read
0.69/0.72 c presolving settings loaded
0.89/1.01 o 0
0.89/1.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/1.01 c presolving:
1.49/1.58 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 126163 upgd conss, 252326 impls, 0 clqs
3.49/3.56 c (3.6s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.49/3.56 c (3.6s) probing aborted: 100/100 successive totally useless probings
3.49/3.56 c presolving (2 rounds):
3.49/3.56 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.49/3.56 c 252326 implications, 0 cliques
3.49/3.56 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
3.49/3.56 c 126163 constraints of type <setppc>
3.49/3.56 c transformed objective value is always integral (scale: 1)
3.49/3.56 c Presolving Time: 2.76
3.49/3.56 c - non default parameters ----------------------------------------------------------------------
3.49/3.56 c # SCIP version 2.0.1.4
3.49/3.56 c
3.49/3.56 c # frequency for displaying node information lines
3.49/3.56 c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.56 c display/freq = 10000
3.49/3.56 c
3.49/3.56 c # maximal time in seconds to run
3.49/3.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.56 c limits/time = 1800
3.49/3.56 c
3.49/3.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.56 c limits/memory = 13950
3.49/3.56 c
3.49/3.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.49/3.56 c # [type: int, range: [1,2], default: 1]
3.49/3.56 c timing/clocktype = 2
3.49/3.56 c
3.49/3.56 c # belongs reading time to solving time?
3.49/3.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.56 c timing/reading = TRUE
3.49/3.56 c
3.49/3.56 c # should presolving try to simplify inequalities
3.49/3.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.56 c constraints/linear/simplifyinequalities = TRUE
3.49/3.56 c
3.49/3.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.49/3.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.56 c constraints/indicator/addCouplingCons = TRUE
3.49/3.56 c
3.49/3.56 c # should presolving try to simplify knapsacks
3.49/3.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.56 c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.56 c
3.49/3.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.56 c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.56 c separating/rapidlearning/freq = 0
3.49/3.56 c
3.49/3.56 c -----------------------------------------------------------------------------------------------
3.49/3.56 c start solving
3.49/3.56 c
6.61/6.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.61/6.63 c t 6.6s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 | 0.000000e+00 | 100.00%
6.69/6.74 o -1
6.69/6.74 c R 6.7s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 |-1.000000e+00 | 99.87%
6.79/6.85 o -2
6.79/6.85 c s 6.8s| 1 | 0 | 1534 | - | 146M| 0 |1534 |1534 | 126k|1534 | 126k| 0 | 0 | 0 |-7.670000e+02 |-2.000000e+00 | 99.74%
9.19/9.29 c 9.3s| 1 | 0 | 1846 | - | 146M| 0 |1460 |1534 | 126k|1534 | 126k| 7 | 0 | 0 |-7.300000e+02 |-2.000000e+00 | 99.73%
9.29/9.33 o -40
9.29/9.33 c b 9.3s| 1 | 0 | 1846 | - | 146M| 0 |1460 |1534 | 126k|1534 | 126k| 7 | 0 | 0 |-7.300000e+02 |-4.000000e+01 | 94.52%
12.79/12.85 c 12.8s| 1 | 0 | 2000 | - | 146M| 0 |1396 |1534 | 126k|1534 | 126k| 28 | 0 | 0 |-6.980000e+02 |-4.000000e+01 | 94.27%
18.67/18.74 c 18.7s| 1 | 0 | 2334 | - | 146M| 0 |1320 |1534 | 126k|1534 | 126k| 66 | 0 | 0 |-6.592500e+02 |-4.000000e+01 | 93.93%
25.17/25.24 c 25.2s| 1 | 0 | 2560 | - | 146M| 0 |1245 |1534 | 126k|1534 | 126k| 86 | 0 | 0 |-6.217500e+02 |-4.000000e+01 | 93.57%
32.45/32.53 c 32.5s| 1 | 0 | 2748 | - | 146M| 0 |1193 |1534 | 126k|1534 | 126k| 103 | 0 | 0 |-5.952500e+02 |-4.000000e+01 | 93.28%
40.75/40.85 c 40.8s| 1 | 0 | 2877 | - | 146M| 0 |1167 |1534 | 126k|1534 | 126k| 118 | 0 | 0 |-5.822500e+02 |-4.000000e+01 | 93.13%
50.14/50.27 c 50.3s| 1 | 0 | 3169 | - | 146M| 0 |1114 |1534 | 126k|1534 | 126k| 130 | 0 | 0 |-5.557500e+02 |-4.000000e+01 | 92.80%
59.15/59.24 c 59.2s| 1 | 0 | 3381 | - | 146M| 0 |1062 |1534 | 126k|1534 | 126k| 141 | 0 | 0 |-5.310000e+02 |-4.000000e+01 | 92.47%
69.45/69.54 c 69.5s| 1 | 0 | 4329 | - | 146M| 0 | 988 |1534 | 126k|1534 | 126k| 156 | 0 | 0 |-4.932500e+02 |-4.000000e+01 | 91.89%
79.06/79.17 c 79.2s| 1 | 0 | 4849 | - | 146M| 0 | 909 |1534 | 126k|1534 | 126k| 174 | 0 | 0 |-4.545000e+02 |-4.000000e+01 | 91.20%
82.75/82.87 c 82.9s| 1 | 0 | 6252 | - | 146M| 0 | 857 |1534 | 126k|1534 | 126k| 185 | 0 | 0 |-4.285000e+02 |-4.000000e+01 | 90.67%
85.84/85.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.84/85.93 c 85.9s| 1 | 0 | 7553 | - | 146M| 0 | 804 |1534 | 126k|1534 | 126k| 200 | 0 | 0 |-4.020000e+02 |-4.000000e+01 | 90.05%
89.85/89.97 c 90.0s| 1 | 0 | 9823 | - | 146M| 0 | 746 |1534 | 126k|1534 | 126k| 218 | 0 | 0 |-3.730000e+02 |-4.000000e+01 | 89.28%
91.35/91.49 c 91.5s| 1 | 0 | 10094 | - | 146M| 0 | 693 |1534 | 126k|1534 | 126k| 231 | 0 | 0 |-3.457500e+02 |-4.000000e+01 | 88.43%
96.85/96.91 c 96.9s| 1 | 0 | 12719 | - | 146M| 0 | 629 |1534 | 126k|1534 | 126k| 247 | 0 | 0 |-3.145000e+02 |-4.000000e+01 | 87.28%
102.05/102.15 c 102s| 1 | 0 | 15360 | - | 146M| 0 | 595 |1534 | 126k|1534 | 126k| 263 | 0 | 0 |-2.975000e+02 |-4.000000e+01 | 86.55%
104.14/104.21 c 104s| 1 | 0 | 16189 | - | 146M| 0 | 547 |1534 | 126k|1534 | 126k| 280 | 0 | 0 |-2.735000e+02 |-4.000000e+01 | 85.37%
106.25/106.36 c 106s| 1 | 0 | 17232 | - | 146M| 0 | 500 |1534 | 126k|1534 | 126k| 294 | 0 | 0 |-2.500000e+02 |-4.000000e+01 | 84.00%
107.84/107.95 c 108s| 1 | 0 | 17622 | - | 146M| 0 | 452 |1534 | 126k|1534 | 126k| 311 | 0 | 0 |-2.260000e+02 |-4.000000e+01 | 82.30%
113.34/113.45 c 113s| 1 | 0 | 21152 | - | 146M| 0 | 389 |1534 | 126k|1534 | 126k| 326 | 0 | 0 |-1.945000e+02 |-4.000000e+01 | 79.43%
117.44/117.58 c 118s| 1 | 0 | 23424 | - | 146M| 0 | 349 |1534 | 126k|1534 | 126k| 341 | 0 | 0 |-1.745000e+02 |-4.000000e+01 | 77.08%
120.97/121.02 c 121s| 1 | 0 | 25470 | - | 146M| 0 | 327 |1534 | 126k|1534 | 126k| 353 | 0 | 0 |-1.635000e+02 |-4.000000e+01 | 75.54%
122.15/122.21 c 122s| 1 | 0 | 25930 | - | 146M| 0 | 287 |1534 | 126k|1534 | 126k| 362 | 0 | 0 |-1.435000e+02 |-4.000000e+01 | 72.13%
124.04/124.19 c 124s| 1 | 0 | 27339 | - | 146M| 0 | 248 |1534 | 126k|1534 | 126k| 371 | 0 | 0 |-1.240000e+02 |-4.000000e+01 | 67.74%
127.84/127.92 c 128s| 1 | 0 | 30595 | - | 147M| 0 | 245 |1534 | 126k|1534 | 126k| 383 | 0 | 0 |-1.150000e+02 |-4.000000e+01 | 65.22%
130.45/130.57 c 131s| 1 | 0 | 32895 | - | 147M| 0 | 211 |1534 | 126k|1534 | 126k| 392 | 0 | 0 |-1.055000e+02 |-4.000000e+01 | 62.09%
131.45/131.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.45/131.50 c 132s| 1 | 0 | 33260 | - | 147M| 0 | 193 |1534 | 126k|1534 | 126k| 401 | 0 | 0 |-9.650000e+01 |-4.000000e+01 | 58.55%
132.55/132.60 c 133s| 1 | 0 | 33780 | - | 147M| 0 | 161 |1534 | 126k|1534 | 126k| 410 | 0 | 0 |-8.025000e+01 |-4.000000e+01 | 50.16%
134.34/134.41 c 134s| 1 | 0 | 35087 | - | 147M| 0 | 155 |1534 | 126k|1534 | 126k| 419 | 0 | 0 |-7.200000e+01 |-4.000000e+01 | 44.44%
135.16/135.28 c 135s| 1 | 0 | 35317 | - | 147M| 0 | 152 |1534 | 126k|1534 | 126k| 425 | 0 | 0 |-6.500000e+01 |-4.000000e+01 | 38.46%
135.84/135.98 c 136s| 1 | 0 | 35449 | - | 147M| 0 | 148 |1534 | 126k|1534 | 126k| 435 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
136.64/136.78 c 137s| 1 | 0 | 35600 | - | 147M| 0 | 194 |1534 | 126k|1534 | 126k| 449 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
143.85/144.00 c 144s| 1 | 0 | 40633 | - | 147M| 0 | 215 |1534 | 126k|1534 | 126k| 461 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
144.85/144.98 c 145s| 1 | 0 | 40811 | - | 147M| 0 | 236 |1534 | 126k|1534 | 126k| 470 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
145.85/145.95 c 146s| 1 | 0 | 40974 | - | 147M| 0 | 215 |1534 | 126k|1534 | 126k| 485 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
154.54/154.68 c 155s| 1 | 0 | 41347 | - | 147M| 0 | 225 |1534 | 126k|1534 | 126k| 499 | 0 | 0 |-5.900000e+01 |-4.000000e+01 | 32.20%
185.76/185.91 c 186s| 1 | 2 | 41347 | - | 147M| 0 | 225 |1534 | 126k|1534 | 126k| 499 | 0 | 33 |-5.900000e+01 |-4.000000e+01 | 32.20%
423.26/423.37 o -41
423.26/423.37 c c 423s| 17 | 18 | 46386 | 314.9 | 151M| 15 | - |1534 | 126k|1534 | 126k| 499 | 0 | 454 |-5.900000e+01 |-4.100000e+01 | 30.51%
431.07/431.15 o -42
431.07/431.15 c p 431s| 30 | 31 | 50535 | 316.8 | 153M| 15 | - |1534 | 126k|1534 | 126k| 499 | 0 | 454 |-5.900000e+01 |-4.200000e+01 | 28.81%
431.07/431.19 o -45
431.07/431.19 c p 431s| 30 | 31 | 50537 | 316.9 | 154M| 15 | - |1534 | 126k|1534 | 126k| 499 | 0 | 454 |-5.900000e+01 |-4.500000e+01 | 23.73%
470.06/470.17 o -46
470.06/470.17 c o 470s| 69 | 70 | 63295 | 322.8 | 157M| 16 | 0 |1534 | 126k|1534 | 126k| 499 | 0 | 480 |-5.900000e+01 |-4.600000e+01 | 22.03%
480.26/480.39 o -47
480.26/480.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.26/480.39 c l 480s| 94 | 95 | 68933 | 296.6 | 159M| 17 | - |1534 | 126k|1534 | 126k| 499 | 0 | 480 |-5.900000e+01 |-4.700000e+01 | 20.34%
488.65/488.74 o -48
488.65/488.74 c c 489s| 119 | 120 | 70825 | 249.8 | 160M| 21 | - |1534 | 126k|1534 | 126k| 499 | 0 | 493 |-5.900000e+01 |-4.800000e+01 | 18.64%
506.16/506.23 o -49
506.16/506.23 c v 506s| 160 | 161 | 77175 | 225.3 | 164M| 23 | - |1534 | 126k|1534 | 126k| 499 | 0 | 507 |-5.900000e+01 |-4.900000e+01 | 16.95%
968.17/968.29 o -50
968.17/968.29 c l 968s| 638 | 639 |233885 | 302.3 | 194M| 23 | - |1534 | 126k|1534 | 126k| 499 | 0 | 693 |-5.900000e+01 |-5.000000e+01 | 15.25%
1543.99/1544.09 o -51
1543.99/1544.09 c p1544s| 1103 | 1096 |410002 | 334.5 | 221M| 24 | - |1534 | 126k|1534 | 126k| 499 | 0 |1038 |-5.900000e+01 |-5.100000e+01 | 13.56%
1800.00/1800.01 c
1800.00/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.01 c Solving Time (sec) : 1800.02
1800.00/1800.01 c Solving Nodes : 1404
1800.00/1800.01 c Primal Bound : -5.10000000000000e+01 (462 solutions)
1800.00/1800.01 c Dual Bound : -5.90000000000000e+01
1800.00/1800.01 c Gap : 13.56 %
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-3452715-1307090221/watcher-3452715-1307090221 -o /tmp/evaluation-result-3452715-1307090221/solver-3452715-1307090221 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452715-1307090221.opb -t 1800 -m 15500
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.02 2.04 2.00 2/521 22594
/proc/meminfo: memFree=21317140/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=11924 CPUtime=0.01 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 1979 0 0 0 1 0 0 0 25 0 1 0 801437620 12210176 1932 33554432000 4194304 9128323 140733983683072 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22594/statm: 2981 1932 400 1205 0 1772 0
[startup+0.052992 s]
/proc/loadavg: 2.02 2.04 2.00 2/521 22594
/proc/meminfo: memFree=21317140/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=14048 CPUtime=0.05 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 2518 0 0 0 5 0 0 0 25 0 1 0 801437620 14385152 2470 33554432000 4194304 9128323 140733983683072 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22594/statm: 3512 2470 400 1205 0 2303 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14048
[startup+0.100982 s]
/proc/loadavg: 2.02 2.04 2.00 2/521 22594
/proc/meminfo: memFree=21317140/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=16260 CPUtime=0.09 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 3084 0 0 0 9 0 0 0 25 0 1 0 801437620 16650240 3035 33554432000 4194304 9128323 140733983683072 18446744073709551615 8011678 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22594/statm: 4065 3035 400 1205 0 2856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16260
[startup+0.300942 s]
/proc/loadavg: 2.02 2.04 2.00 2/521 22594
/proc/meminfo: memFree=21317140/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=27084 CPUtime=0.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 5792 0 0 0 29 0 0 0 25 0 1 0 801437620 27734016 5738 33554432000 4194304 9128323 140733983683072 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22594/statm: 6771 5738 400 1205 0 5562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27084
[startup+0.700871 s]
/proc/loadavg: 2.02 2.04 2.00 2/521 22594
/proc/meminfo: memFree=21317140/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=45640 CPUtime=0.69 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 10419 0 0 0 69 0 0 0 25 0 1 0 801437620 46735360 10357 33554432000 4194304 9128323 140733983683072 18446744073709551615 7952307 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22594/statm: 11410 10357 400 1205 0 10201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45640
[startup+1.50075 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 22595
/proc/meminfo: memFree=21177256/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=198076 CPUtime=1.49 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 56369 0 0 0 143 6 0 0 25 0 1 0 801437620 202829824 47780 33554432000 4194304 9128323 140733983683072 18446744073709551615 6581170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22594/statm: 49519 47780 514 1205 0 48310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 198076
[startup+3.10045 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 22595
/proc/meminfo: memFree=21134972/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=187488 CPUtime=3.09 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 60568 0 0 0 303 6 0 0 25 0 1 0 801437620 191987712 45238 33554432000 4194304 9128323 140733983683072 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22594/statm: 46872 45238 533 1205 0 45663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187488
[startup+6.30085 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 22595
/proc/meminfo: memFree=20992712/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=364520 CPUtime=6.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 105737 0 0 0 618 11 0 0 25 0 1 0 801437620 373268480 86212 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22594/statm: 91130 86212 1691 1205 0 89921 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 364520
[startup+12.7007 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 22595
/proc/meminfo: memFree=20960996/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=376024 CPUtime=12.69 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 111629 0 0 0 1257 12 0 0 25 0 1 0 801437620 385048576 90172 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315436 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22594/statm: 94006 90172 1312 1205 0 92797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 376024
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 22595
/proc/meminfo: memFree=20952556/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=376024 CPUtime=25.45 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 112212 0 0 0 2532 13 0 0 25 0 1 0 801437620 385048576 90387 33554432000 4194304 9128323 140733983683072 18446744073709551615 8012681 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 94006 90387 946 1205 0 92797 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 376024
[startup+51.1007 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 22596
/proc/meminfo: memFree=20949476/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=379932 CPUtime=51.04 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 112606 0 0 0 5091 13 0 0 25 0 1 0 801437620 389050368 90781 33554432000 4194304 9128323 140733983683072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 94983 90781 946 1205 0 93774 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 379932
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22598
/proc/meminfo: memFree=20850568/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=380488 CPUtime=102.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 119800 0 0 0 10208 19 0 0 25 0 1 0 801437620 389619712 91824 33554432000 4194304 9128323 140733983683072 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 95122 91824 803 1205 0 93913 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 380488
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/522 22599
/proc/meminfo: memFree=20762444/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=162.25 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 16187 38 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7380171 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 462920
[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/522 22601
/proc/meminfo: memFree=20763664/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=222.25 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 22179 46 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 462920
[startup+282.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/522 22602
/proc/meminfo: memFree=20759900/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=282.25 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 28169 56 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315572 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 462920
[startup+342.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 22604
/proc/meminfo: memFree=20759600/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=342.25 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 34162 63 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 462920
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 22605
/proc/meminfo: memFree=20758320/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=402.25 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 40154 71 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 462920
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 22607
/proc/meminfo: memFree=20751668/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=462.26 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 46146 80 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 462920
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22609
/proc/meminfo: memFree=20751744/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=522.26 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 52137 89 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7191357 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 462920
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22610
/proc/meminfo: memFree=20751956/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=462920 CPUtime=582.26 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 148447 0 0 0 58130 96 0 0 25 0 1 0 801437620 474030080 113673 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 115730 113673 736 1205 0 114521 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 462920
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 22617
/proc/meminfo: memFree=20708152/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=822.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 82098 129 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 496496
[startup+882.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 22618
/proc/meminfo: memFree=20699428/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=882.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 88090 137 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7366230 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 496496
[startup+942.301 s]
/proc/loadavg: 1.53 1.92 1.96 2/516 22638
/proc/meminfo: memFree=21180372/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=942.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 94082 145 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 8012674 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 496496
[startup+1002.3 s]
/proc/loadavg: 1.19 1.75 1.90 2/516 22640
/proc/meminfo: memFree=21182044/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1002.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 100075 152 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7083209 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 496496
[startup+1062.3 s]
/proc/loadavg: 1.07 1.61 1.84 2/516 22641
/proc/meminfo: memFree=21182132/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1062.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 106069 158 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 496496
[startup+1122.3 s]
/proc/loadavg: 1.02 1.50 1.79 2/516 22643
/proc/meminfo: memFree=21182212/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1122.27 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 112064 163 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7205152 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 496496
[startup+1182.3 s]
/proc/loadavg: 1.01 1.40 1.73 2/516 22644
/proc/meminfo: memFree=21181188/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1182.28 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 118058 170 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 6713628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 496496
[startup+1242.3 s]
/proc/loadavg: 1.00 1.33 1.68 2/516 22646
/proc/meminfo: memFree=21180552/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1242.28 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 124052 176 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 8012888 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 496496
[startup+1302.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/516 22648
/proc/meminfo: memFree=21180656/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1302.3 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 130049 181 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 496496
[startup+1362.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/516 22649
/proc/meminfo: memFree=21181628/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1362.28 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 136043 185 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7315385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 496496
[startup+1422.32 s]
/proc/loadavg: 1.10 1.20 1.57 2/516 22651
/proc/meminfo: memFree=21181856/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1422.3 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156913 0 0 0 142040 190 0 0 25 0 1 0 801437620 508411904 122132 33554432000 4194304 9128323 140733983683072 18446744073709551615 7176926 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122132 736 1205 0 122915 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 496496
[startup+1482.3 s]
/proc/loadavg: 1.08 1.18 1.53 2/516 22661
/proc/meminfo: memFree=21181052/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1482.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156916 0 0 0 148032 197 0 0 25 0 1 0 801437620 508411904 122135 33554432000 4194304 9128323 140733983683072 18446744073709551615 7013774 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122135 736 1205 0 122915 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 496496
[startup+1542.3 s]
/proc/loadavg: 1.03 1.14 1.50 2/516 22663
/proc/meminfo: memFree=21181532/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1542.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156916 0 0 0 154025 204 0 0 25 0 1 0 801437620 508411904 122135 33554432000 4194304 9128323 140733983683072 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122135 736 1205 0 122915 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 496496
[startup+1602.3 s]
/proc/loadavg: 1.01 1.11 1.46 2/516 22664
/proc/meminfo: memFree=21181504/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1602.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156917 0 0 0 160018 211 0 0 25 0 1 0 801437620 508411904 122136 33554432000 4194304 9128323 140733983683072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122136 736 1205 0 122915 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 496496
[startup+1662.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/516 22666
/proc/meminfo: memFree=21181724/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1662.3 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156917 0 0 0 166011 219 0 0 25 0 1 0 801437620 508411904 122136 33554432000 4194304 9128323 140733983683072 18446744073709551615 7025289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122136 736 1205 0 122915 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 496496
[startup+1722.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/516 22668
/proc/meminfo: memFree=21181456/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1722.29 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156917 0 0 0 172005 224 0 0 25 0 1 0 801437620 508411904 122136 33554432000 4194304 9128323 140733983683072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122136 736 1205 0 122915 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 496496
[startup+1782.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/516 22669
/proc/meminfo: memFree=21180572/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1782.3 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156917 0 0 0 177998 232 0 0 25 0 1 0 801437620 508411904 122136 33554432000 4194304 9128323 140733983683072 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122136 736 1205 0 122915 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 496496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.05 1.37 2/516 22670
/proc/meminfo: memFree=21181308/32951124 swapFree=58800704/67111528
[pid=22594] ppid=22592 vsize=496496 CPUtime=1800.01 cores=0,2,4,6
/proc/22594/stat : 22594 (scip-2.0.1.4.li) R 22592 22594 18505 0 -1 4202496 156917 0 0 0 179767 234 0 0 25 0 1 0 801437620 508411904 122136 33554432000 4194304 9128323 140733983683072 18446744073709551615 4232915 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22594/statm: 124124 122136 736 1205 0 122915 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 496496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.05
CPU user time (s): 1797.68
CPU system time (s): 2.36664
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 496496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.68
system time used= 2.36664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156917
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= 6
involuntary context switches= 3262
runsolver used 9.96548 second user time and 21.0978 second system time
The end