0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693270-1338031578.opb>
0.09/0.12 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.09/0.12 c problem read in 0.12
0.18/0.25 o 0
0.18/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.18/0.26 c presolving:
0.49/0.58 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 118372 impls, 0 clqs
0.79/0.85 c (0.9s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.85 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.79/0.87 c presolving (2 rounds):
0.79/0.87 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.87 c 118372 implications, 0 cliques
0.79/0.87 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.79/0.87 c 59186 constraints of type <setppc>
0.79/0.87 c transformed objective value is always integral (scale: 1)
0.79/0.87 c Presolving Time: 0.71
0.79/0.87 c - non default parameters ----------------------------------------------------------------------
0.79/0.87 c # SCIP version 2.1.1.4
0.79/0.87 c
0.79/0.87 c # maximal time in seconds to run
0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.87 c limits/time = 1797
0.79/0.87 c
0.79/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.87 c limits/memory = 13950
0.79/0.87 c
0.79/0.87 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.87 c # [type: int, range: [1,2], default: 1]
0.79/0.87 c timing/clocktype = 2
0.79/0.87 c
0.79/0.87 c # belongs reading time to solving time?
0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87 c timing/reading = TRUE
0.79/0.87 c
0.79/0.87 c -----------------------------------------------------------------------------------------------
0.79/0.87 c start solving
0.79/0.88 c
1.49/1.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.56 c t 1.6s| 1 | 0 | 946 | - | 71M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.59/1.60 o -1
1.59/1.60 c R 1.6s| 1 | 0 | 946 | - | 71M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
2.49/2.57 c 2.6s| 1 | 0 | 1297 | - | 71M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-1.000000e+00 | Large
2.49/2.58 o -32
2.49/2.58 c b 2.6s| 1 | 0 | 1297 | - | 71M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-3.200000e+01 |1289.06%
3.79/3.80 c 3.8s| 1 | 0 | 1433 | - | 71M| 0 | 848 | 945 | 59k| 945 | 59k| 12 | 0 | 0 |-4.240000e+02 |-3.200000e+01 |1225.00%
5.29/5.39 c 5.4s| 1 | 0 | 1655 | - | 71M| 0 | 809 | 945 | 59k| 945 | 59k| 18 | 0 | 0 |-4.045000e+02 |-3.200000e+01 |1164.06%
7.09/7.15 c 7.2s| 1 | 0 | 1755 | - | 71M| 0 | 769 | 945 | 59k| 945 | 59k| 25 | 0 | 0 |-3.845000e+02 |-3.200000e+01 |1101.56%
9.09/9.18 c 9.2s| 1 | 0 | 1959 | - | 71M| 0 | 728 | 945 | 59k| 945 | 59k| 34 | 0 | 0 |-3.640000e+02 |-3.200000e+01 |1037.50%
11.39/11.48 c 11.5s| 1 | 0 | 2334 | - | 71M| 0 | 686 | 945 | 59k| 945 | 59k| 43 | 0 | 0 |-3.430000e+02 |-3.200000e+01 | 971.88%
13.68/13.74 c 13.7s| 1 | 0 | 2601 | - | 71M| 0 | 646 | 945 | 59k| 945 | 59k| 52 | 0 | 0 |-3.230000e+02 |-3.200000e+01 | 909.38%
15.88/15.98 c 16.0s| 1 | 0 | 2864 | - | 71M| 0 | 604 | 945 | 59k| 945 | 59k| 65 | 0 | 0 |-3.020000e+02 |-3.200000e+01 | 843.75%
18.19/18.22 c 18.2s| 1 | 0 | 3198 | - | 71M| 0 | 577 | 945 | 59k| 945 | 59k| 77 | 0 | 0 |-2.885000e+02 |-3.200000e+01 | 801.56%
20.69/20.76 c 20.8s| 1 | 0 | 3699 | - | 71M| 0 | 535 | 945 | 59k| 945 | 59k| 92 | 0 | 0 |-2.675000e+02 |-3.200000e+01 | 735.94%
21.48/21.58 c 21.6s| 1 | 0 | 4153 | - | 71M| 0 | 497 | 945 | 59k| 945 | 59k| 111 | 0 | 0 |-2.485000e+02 |-3.200000e+01 | 676.56%
21.99/22.04 c 22.0s| 1 | 0 | 4379 | - | 71M| 0 | 470 | 945 | 59k| 945 | 59k| 129 | 0 | 0 |-2.350000e+02 |-3.200000e+01 | 634.38%
22.48/22.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.48/22.56 c 22.6s| 1 | 0 | 4655 | - | 71M| 0 | 429 | 945 | 59k| 945 | 59k| 144 | 0 | 0 |-2.145000e+02 |-3.200000e+01 | 570.31%
23.99/24.01 c 24.0s| 1 | 0 | 6179 | - | 71M| 0 | 386 | 945 | 59k| 945 | 59k| 156 | 0 | 0 |-1.930000e+02 |-3.200000e+01 | 503.12%
24.79/24.87 c 24.9s| 1 | 0 | 7045 | - | 71M| 0 | 348 | 945 | 59k| 945 | 59k| 164 | 0 | 0 |-1.740000e+02 |-3.200000e+01 | 443.75%
26.69/26.71 c 26.7s| 1 | 0 | 8958 | - | 71M| 0 | 318 | 945 | 59k| 945 | 59k| 172 | 0 | 0 |-1.590000e+02 |-3.200000e+01 | 396.88%
27.49/27.56 c 27.6s| 1 | 0 | 9815 | - | 71M| 0 | 293 | 945 | 59k| 945 | 59k| 182 | 0 | 0 |-1.465000e+02 |-3.200000e+01 | 357.81%
28.18/28.24 c 28.2s| 1 | 0 | 10404 | - | 71M| 0 | 239 | 945 | 59k| 945 | 59k| 194 | 0 | 0 |-1.195000e+02 |-3.200000e+01 | 273.44%
28.79/28.88 c 28.9s| 1 | 0 | 11179 | - | 71M| 0 | 202 | 945 | 59k| 945 | 59k| 205 | 0 | 0 |-1.010000e+02 |-3.200000e+01 | 215.62%
30.28/30.32 c 30.3s| 1 | 0 | 12920 | - | 71M| 0 | 181 | 945 | 59k| 945 | 59k| 215 | 0 | 0 |-9.050000e+01 |-3.200000e+01 | 182.81%
32.38/32.42 c 32.4s| 1 | 0 | 15558 | - | 71M| 0 | 164 | 945 | 59k| 945 | 59k| 221 | 0 | 0 |-8.200000e+01 |-3.200000e+01 | 156.25%
32.48/32.55 c 32.5s| 1 | 0 | 15702 | - | 71M| 0 | 149 | 945 | 59k| 945 | 59k| 225 | 0 | 0 |-7.450000e+01 |-3.200000e+01 | 132.81%
32.79/32.81 c 32.8s| 1 | 0 | 15979 | - | 71M| 0 | 136 | 945 | 59k| 945 | 59k| 230 | 0 | 0 |-6.800000e+01 |-3.200000e+01 | 112.50%
32.89/32.96 c 33.0s| 1 | 0 | 16149 | - | 71M| 0 | 121 | 945 | 59k| 945 | 59k| 236 | 0 | 0 |-6.050000e+01 |-3.200000e+01 | 89.06%
32.99/33.03 c 33.0s| 1 | 0 | 16216 | - | 71M| 0 | 123 | 945 | 59k| 945 | 59k| 240 | 0 | 0 |-5.550000e+01 |-3.200000e+01 | 73.44%
33.39/33.47 c 33.5s| 1 | 0 | 17047 | - | 71M| 0 | 131 | 945 | 59k| 945 | 59k| 244 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%
33.59/33.61 c 33.6s| 1 | 0 | 17186 | - | 71M| 0 | 140 | 945 | 59k| 945 | 59k| 250 | 0 | 0 |-4.911111e+01 |-3.200000e+01 | 53.47%
33.69/33.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.69/33.71 c 33.7s| 1 | 0 | 17278 | - | 71M| 0 | 137 | 945 | 59k| 945 | 59k| 259 | 0 | 0 |-4.700000e+01 |-3.200000e+01 | 46.87%
33.69/33.79 c 33.8s| 1 | 0 | 17316 | - | 71M| 0 | 139 | 945 | 59k| 945 | 59k| 267 | 0 | 0 |-4.700000e+01 |-3.200000e+01 | 46.87%
33.89/33.92 c 33.9s| 1 | 0 | 17419 | - | 71M| 0 | 151 | 945 | 59k| 945 | 59k| 272 | 0 | 0 |-4.688889e+01 |-3.200000e+01 | 46.53%
33.99/34.03 c 34.0s| 1 | 0 | 17486 | - | 71M| 0 | 157 | 945 | 59k| 945 | 59k| 283 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
33.99/34.09 c 34.1s| 1 | 0 | 17522 | - | 71M| 0 | 156 | 945 | 59k| 945 | 59k| 291 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
34.18/34.22 c 34.2s| 1 | 0 | 17597 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 297 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
34.28/34.33 c 34.3s| 1 | 0 | 17659 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 302 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
34.38/34.46 c 34.5s| 1 | 0 | 17727 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 311 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
34.58/34.65 c 34.7s| 1 | 0 | 17885 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 322 | 0 | 0 |-4.585714e+01 |-3.200000e+01 | 43.30%
34.68/34.77 c 34.8s| 1 | 0 | 17953 | - | 71M| 0 | 172 | 945 | 59k| 945 | 59k| 330 | 0 | 0 |-4.585714e+01 |-3.200000e+01 | 43.30%
34.98/35.01 c 35.0s| 1 | 0 | 18124 | - | 71M| 0 | 162 | 945 | 59k| 945 | 59k| 338 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
35.09/35.12 c 35.1s| 1 | 0 | 18190 | - | 71M| 0 | 160 | 945 | 59k| 945 | 59k| 345 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
35.19/35.29 c 35.3s| 1 | 0 | 18305 | - | 71M| 0 | 168 | 945 | 59k| 945 | 59k| 353 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
35.38/35.42 c 35.4s| 1 | 0 | 18360 | - | 71M| 0 | 170 | 945 | 59k| 945 | 59k| 362 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
35.48/35.53 c 35.5s| 1 | 0 | 18411 | - | 71M| 0 | 174 | 945 | 59k| 945 | 59k| 372 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.62%
35.58/35.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.58/35.66 c 35.7s| 1 | 0 | 18478 | - | 71M| 0 | 184 | 945 | 59k| 945 | 59k| 379 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.62%
47.49/47.52 c 47.5s| 1 | 2 | 18478 | - | 71M| 0 | 184 | 945 | 59k| 945 | 59k| 379 | 0 | 33 |-4.500000e+01 |-3.200000e+01 | 40.62%
135.35/135.41 o -33
135.35/135.41 c * 135s| 28 | 26 | 20728 | 83.3 | 74M| 21 | - | 945 | 59k| 945 | 59k| 379 | 0 | 625 |-4.500000e+01 |-3.300000e+01 | 36.36%
149.15/149.25 o -34
149.15/149.25 c * 149s| 41 | 35 | 21443 | 74.1 | 74M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 | 817 |-4.500000e+01 |-3.400000e+01 | 32.35%
164.86/165.00 o -35
164.86/165.00 c p 165s| 55 | 43 | 22087 | 66.8 | 75M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1034 |-4.500000e+01 |-3.500000e+01 | 28.57%
180.74/180.89 o -36
180.74/180.89 c v 181s| 81 | 61 | 23382 | 61.3 | 75M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1204 |-4.500000e+01 |-3.600000e+01 | 25.00%
187.24/187.35 c 187s| 100 | 80 | 24767 | 63.5 | 77M| 22 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |1237 |-4.500000e+01 |-3.600000e+01 | 25.00%
190.15/190.22 o -37
190.15/190.22 c l 190s| 120 | 92 | 26035 | 63.5 | 78M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1248 |-4.500000e+01 |-3.700000e+01 | 21.62%
203.14/203.23 c 203s| 200 | 170 | 32521 | 70.6 | 81M| 22 | 181 | 945 | 59k| 945 | 59k| 379 | 0 |1275 |-4.500000e+01 |-3.700000e+01 | 21.62%
204.64/204.75 o -38
204.64/204.75 c l 205s| 212 | 181 | 33727 | 72.3 | 82M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1275 |-4.500000e+01 |-3.800000e+01 | 18.42%
213.84/213.96 c 214s| 300 | 255 | 39866 | 71.5 | 84M| 23 | 102 | 945 | 59k| 945 | 59k| 379 | 0 |1296 |-4.500000e+01 |-3.800000e+01 | 18.42%
225.04/225.15 c 225s| 400 | 335 | 45948 | 68.8 | 86M| 27 | 104 | 945 | 59k| 945 | 59k| 379 | 0 |1344 |-4.500000e+01 |-3.800000e+01 | 18.42%
235.74/235.85 c 236s| 500 | 415 | 52065 | 67.3 | 89M| 31 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |1374 |-4.500000e+01 |-3.800000e+01 | 18.42%
243.34/243.43 c 243s| 600 | 481 | 57334 | 64.9 | 91M| 39 | - | 945 | 59k| 945 | 59k| 379 | 0 |1392 |-4.500000e+01 |-3.800000e+01 | 18.42%
252.24/252.38 c 252s| 700 | 547 | 62439 | 62.9 | 93M| 44 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |1428 |-4.500000e+01 |-3.800000e+01 | 18.42%
260.94/261.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.94/261.09 c 261s| 800 | 599 | 67827 | 61.8 | 95M| 47 | 100 | 945 | 59k| 945 | 59k| 379 | 0 |1459 |-4.500000e+01 |-3.800000e+01 | 18.42%
268.34/268.44 c 268s| 900 | 647 | 71920 | 59.4 | 96M| 53 | - | 945 | 59k| 945 | 59k| 379 | 0 |1485 |-4.500000e+01 |-3.800000e+01 | 18.42%
275.33/275.45 c 275s| 1000 | 687 | 75812 | 57.4 | 97M| 61 | 126 | 945 | 59k| 945 | 59k| 379 | 0 |1516 |-4.500000e+01 |-3.800000e+01 | 18.42%
287.83/287.92 c 288s| 1100 | 771 | 83723 | 59.4 | 99M| 61 | 108 | 945 | 59k| 945 | 59k| 379 | 0 |1552 |-4.500000e+01 |-3.800000e+01 | 18.42%
300.83/300.97 c 301s| 1200 | 871 | 91146 | 60.6 | 102M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |1584 |-4.500000e+01 |-3.800000e+01 | 18.42%
315.72/315.87 c 316s| 1300 | 971 |100168 | 62.9 | 104M| 61 | 78 | 945 | 59k| 945 | 59k| 379 | 0 |1619 |-4.500000e+01 |-3.800000e+01 | 18.42%
329.52/329.67 c 330s| 1400 | 1067 |109391 | 65.0 | 106M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |1655 |-4.500000e+01 |-3.800000e+01 | 18.42%
344.02/344.12 c 344s| 1500 | 1165 |118218 | 66.5 | 108M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |1694 |-4.500000e+01 |-3.800000e+01 | 18.42%
362.32/362.49 c 362s| 1600 | 1261 |129364 | 69.3 | 111M| 61 | 105 | 945 | 59k| 945 | 59k| 379 | 0 |1744 |-4.500000e+01 |-3.800000e+01 | 18.42%
380.32/380.47 c 380s| 1700 | 1357 |140078 | 71.6 | 114M| 61 | 127 | 945 | 59k| 945 | 59k| 379 | 0 |1793 |-4.500000e+01 |-3.800000e+01 | 18.42%
392.11/392.27 c 392s| 1800 | 1457 |146700 | 71.3 | 116M| 61 | 125 | 945 | 59k| 945 | 59k| 379 | 0 |1819 |-4.500000e+01 |-3.800000e+01 | 18.42%
405.41/405.58 c 406s| 1900 | 1553 |155255 | 72.0 | 119M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |1858 |-4.500000e+01 |-3.800000e+01 | 18.42%
424.21/424.32 c 424s| 2000 | 1647 |165970 | 73.8 | 121M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |1907 |-4.500000e+01 |-3.800000e+01 | 18.42%
436.21/436.35 c 436s| 2100 | 1747 |172982 | 73.6 | 124M| 61 | 124 | 945 | 59k| 945 | 59k| 379 | 0 |1943 |-4.500000e+01 |-3.800000e+01 | 18.42%
448.50/448.61 c 449s| 2200 | 1843 |181178 | 74.0 | 126M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |1967 |-4.500000e+01 |-3.800000e+01 | 18.42%
465.00/465.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.00/465.14 c 465s| 2300 | 1941 |191420 | 75.2 | 129M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2005 |-4.500000e+01 |-3.800000e+01 | 18.42%
483.90/484.05 c 484s| 2400 | 2039 |202609 | 76.8 | 132M| 61 | 77 | 945 | 59k| 945 | 59k| 379 | 0 |2041 |-4.500000e+01 |-3.800000e+01 | 18.42%
499.69/499.80 c 500s| 2500 | 2131 |211236 | 77.1 | 135M| 61 | 129 | 945 | 59k| 945 | 59k| 379 | 0 |2064 |-4.500000e+01 |-3.800000e+01 | 18.42%
511.70/511.82 c 512s| 2600 | 2229 |221707 | 78.2 | 137M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |2068 |-4.500000e+01 |-3.800000e+01 | 18.42%
525.99/526.14 c 526s| 2700 | 2323 |231756 | 79.0 | 140M| 61 | 78 | 945 | 59k| 945 | 59k| 379 | 0 |2084 |-4.500000e+01 |-3.800000e+01 | 18.42%
541.49/541.60 c 542s| 2800 | 2423 |243491 | 80.4 | 143M| 61 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |2096 |-4.500000e+01 |-3.800000e+01 | 18.42%
553.89/554.04 c 554s| 2900 | 2523 |253488 | 81.1 | 146M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |2107 |-4.500000e+01 |-3.800000e+01 | 18.42%
568.59/568.71 c 569s| 3000 | 2621 |264007 | 81.9 | 148M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |2120 |-4.500000e+01 |-3.800000e+01 | 18.42%
581.88/582.06 c 582s| 3100 | 2719 |274082 | 82.5 | 151M| 61 | 99 | 945 | 59k| 945 | 59k| 379 | 0 |2133 |-4.500000e+01 |-3.800000e+01 | 18.42%
593.28/593.49 c 593s| 3200 | 2815 |283110 | 82.7 | 153M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |2134 |-4.500000e+01 |-3.800000e+01 | 18.42%
605.08/605.27 c 605s| 3300 | 2911 |292294 | 83.0 | 155M| 61 | 115 | 945 | 59k| 945 | 59k| 379 | 0 |2138 |-4.500000e+01 |-3.800000e+01 | 18.42%
619.18/619.35 c 619s| 3400 | 3003 |301524 | 83.3 | 158M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2160 |-4.500000e+01 |-3.800000e+01 | 18.42%
633.07/633.24 c 633s| 3500 | 3097 |310839 | 83.6 | 160M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |2188 |-4.500000e+01 |-3.800000e+01 | 18.42%
651.28/651.47 c 651s| 3600 | 3195 |320803 | 84.0 | 163M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2235 |-4.500000e+01 |-3.800000e+01 | 18.42%
664.77/664.92 c 665s| 3700 | 3285 |329261 | 84.0 | 165M| 61 | 53 | 945 | 59k| 945 | 59k| 379 | 0 |2273 |-4.500000e+01 |-3.800000e+01 | 18.42%
678.77/678.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.77/678.98 c 679s| 3800 | 3375 |336793 | 83.8 | 167M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2332 |-4.500000e+01 |-3.800000e+01 | 18.42%
692.07/692.27 c 692s| 3900 | 3459 |344844 | 83.7 | 169M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |2368 |-4.500000e+01 |-3.800000e+01 | 18.42%
709.27/709.42 c 709s| 4000 | 3553 |355041 | 84.2 | 172M| 61 | 146 | 945 | 59k| 945 | 59k| 379 | 0 |2416 |-4.500000e+01 |-3.800000e+01 | 18.42%
725.36/725.50 c 726s| 4100 | 3645 |365418 | 84.6 | 174M| 61 | 108 | 945 | 59k| 945 | 59k| 379 | 0 |2454 |-4.500000e+01 |-3.800000e+01 | 18.42%
741.27/741.49 c 741s| 4200 | 3733 |375191 | 85.0 | 177M| 61 | 116 | 945 | 59k| 945 | 59k| 379 | 0 |2494 |-4.500000e+01 |-3.800000e+01 | 18.42%
754.36/754.58 o -39
754.36/754.58 c l 755s| 4268 | 3545 |382609 | 85.3 | 176M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2526 |-4.500000e+01 |-3.900000e+01 | 15.38%
757.86/758.01 c 758s| 4300 | 3571 |384632 | 85.2 | 176M| 61 | 77 | 945 | 59k| 945 | 59k| 379 | 0 |2540 |-4.500000e+01 |-3.900000e+01 | 15.38%
772.25/772.40 c 772s| 4400 | 3653 |394021 | 85.4 | 178M| 61 | 80 | 945 | 59k| 945 | 59k| 379 | 0 |2578 |-4.500000e+01 |-3.900000e+01 | 15.38%
784.65/784.84 c 785s| 4500 | 3727 |402280 | 85.3 | 180M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |2601 |-4.500000e+01 |-3.900000e+01 | 15.38%
798.45/798.65 c 799s| 4600 | 3815 |412656 | 85.7 | 183M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2622 |-4.500000e+01 |-3.900000e+01 | 15.38%
811.95/812.18 c 812s| 4700 | 3899 |421360 | 85.7 | 185M| 61 | 109 | 945 | 59k| 945 | 59k| 379 | 0 |2634 |-4.500000e+01 |-3.900000e+01 | 15.38%
821.34/821.56 c 822s| 4800 | 3973 |428433 | 85.4 | 187M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |2643 |-4.500000e+01 |-3.900000e+01 | 15.38%
832.74/832.99 c 833s| 4900 | 4055 |436902 | 85.4 | 189M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |2654 |-4.500000e+01 |-3.900000e+01 | 15.38%
846.34/846.54 c 847s| 5000 | 4145 |446181 | 85.6 | 192M| 61 | 134 | 945 | 59k| 945 | 59k| 379 | 0 |2662 |-4.500000e+01 |-3.900000e+01 | 15.38%
858.64/858.80 c 859s| 5100 | 4221 |455800 | 85.8 | 194M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |2662 |-4.500000e+01 |-3.900000e+01 | 15.38%
868.75/868.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.75/868.95 c 869s| 5200 | 4287 |463864 | 85.7 | 196M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |2665 |-4.500000e+01 |-3.900000e+01 | 15.38%
879.64/879.90 c 880s| 5300 | 4367 |471687 | 85.5 | 198M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |2668 |-4.500000e+01 |-3.900000e+01 | 15.38%
891.94/892.19 c 892s| 5400 | 4449 |481378 | 85.7 | 201M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |2670 |-4.500000e+01 |-3.900000e+01 | 15.38%
902.83/903.09 c 903s| 5500 | 4529 |490213 | 85.8 | 203M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
912.13/912.32 c 912s| 5600 | 4611 |497676 | 85.6 | 205M| 61 | 109 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
924.23/924.49 c 924s| 5700 | 4697 |506318 | 85.6 | 208M| 61 | 81 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
938.92/939.16 c 939s| 5800 | 4787 |515489 | 85.7 | 210M| 61 | 100 | 945 | 59k| 945 | 59k| 379 | 0 |2709 |-4.500000e+01 |-3.900000e+01 | 15.38%
956.83/957.03 c 957s| 5900 | 4881 |525238 | 85.9 | 213M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |2753 |-4.500000e+01 |-3.900000e+01 | 15.38%
967.42/967.67 c 968s| 6000 | 4957 |531963 | 85.6 | 215M| 61 | 97 | 945 | 59k| 945 | 59k| 379 | 0 |2787 |-4.500000e+01 |-3.900000e+01 | 15.38%
980.42/980.67 c 981s| 6100 | 5041 |540020 | 85.5 | 217M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |2831 |-4.500000e+01 |-3.900000e+01 | 15.38%
998.12/998.31 c 998s| 6200 | 5125 |549236 | 85.6 | 219M| 61 | 106 | 945 | 59k| 945 | 59k| 379 | 0 |2866 |-4.500000e+01 |-3.900000e+01 | 15.38%
1014.71/1014.91 c 1015s| 6300 | 5215 |559214 | 85.8 | 222M| 61 | 98 | 945 | 59k| 945 | 59k| 379 | 0 |2907 |-4.500000e+01 |-3.900000e+01 | 15.38%
1028.81/1029.02 c 1029s| 6400 | 5291 |568348 | 85.9 | 224M| 61 | 80 | 945 | 59k| 945 | 59k| 379 | 0 |2945 |-4.500000e+01 |-3.900000e+01 | 15.38%
1042.40/1042.61 c 1043s| 6500 | 5369 |576671 | 85.9 | 226M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2972 |-4.500000e+01 |-3.900000e+01 | 15.38%
1055.10/1055.30 c 1055s| 6600 | 5455 |584169 | 85.7 | 228M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3003 |-4.500000e+01 |-3.900000e+01 | 15.38%
1067.21/1067.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.21/1067.44 c 1067s| 6700 | 5533 |591731 | 85.6 | 230M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |3043 |-4.500000e+01 |-3.900000e+01 | 15.38%
1079.01/1079.21 c 1079s| 6800 | 5607 |599499 | 85.5 | 232M| 61 | 74 | 945 | 59k| 945 | 59k| 379 | 0 |3074 |-4.500000e+01 |-3.900000e+01 | 15.38%
1092.30/1092.55 c 1093s| 6900 | 5685 |607775 | 85.4 | 234M| 61 | 96 | 945 | 59k| 945 | 59k| 379 | 0 |3111 |-4.500000e+01 |-3.900000e+01 | 15.38%
1102.50/1102.75 c 1103s| 7000 | 5753 |614450 | 85.2 | 235M| 61 | 49 | 945 | 59k| 945 | 59k| 379 | 0 |3132 |-4.500000e+01 |-3.900000e+01 | 15.38%
1110.81/1111.02 c 1111s| 7100 | 5827 |620099 | 84.7 | 237M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3149 |-4.500000e+01 |-3.900000e+01 | 15.38%
1119.50/1119.73 c 1120s| 7200 | 5889 |626185 | 84.4 | 238M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3157 |-4.500000e+01 |-3.900000e+01 | 15.38%
1128.70/1128.93 c 1129s| 7300 | 5951 |632058 | 84.1 | 240M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3179 |-4.500000e+01 |-3.900000e+01 | 15.38%
1141.29/1141.53 c 1142s| 7400 | 6021 |641069 | 84.1 | 243M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3201 |-4.500000e+01 |-3.900000e+01 | 15.38%
1153.99/1154.23 c 1154s| 7500 | 6091 |649234 | 84.1 | 245M| 61 | 75 | 945 | 59k| 945 | 59k| 379 | 0 |3203 |-4.500000e+01 |-3.900000e+01 | 15.38%
1162.39/1162.67 c 1163s| 7600 | 6155 |655392 | 83.8 | 246M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |3212 |-4.500000e+01 |-3.900000e+01 | 15.38%
1170.58/1170.80 c 1171s| 7700 | 6231 |661674 | 83.5 | 248M| 61 | 85 | 945 | 59k| 945 | 59k| 379 | 0 |3213 |-4.500000e+01 |-3.900000e+01 | 15.38%
1179.59/1179.80 c 1180s| 7800 | 6303 |669530 | 83.5 | 250M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3217 |-4.500000e+01 |-3.900000e+01 | 15.38%
1189.38/1189.67 c 1190s| 7900 | 6377 |676966 | 83.4 | 251M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |3223 |-4.500000e+01 |-3.900000e+01 | 15.38%
1195.69/1195.95 c 1196s| 8000 | 6435 |682194 | 83.0 | 253M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3225 |-4.500000e+01 |-3.900000e+01 | 15.38%
1203.68/1203.96 c 1204s| 8100 | 6501 |688912 | 82.8 | 254M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |3226 |-4.500000e+01 |-3.900000e+01 | 15.38%
1213.68/1213.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.68/1213.97 c 1214s| 8200 | 6571 |696613 | 82.7 | 256M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |3228 |-4.500000e+01 |-3.900000e+01 | 15.38%
1221.18/1221.43 c 1221s| 8300 | 6629 |702522 | 82.4 | 258M| 61 | 86 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1228.68/1228.97 c 1229s| 8400 | 6693 |708592 | 82.2 | 259M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1237.18/1237.43 c 1237s| 8500 | 6757 |714203 | 81.9 | 261M| 61 | 55 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1246.08/1246.37 c 1246s| 8600 | 6819 |720602 | 81.7 | 262M| 61 | 50 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1256.38/1256.67 c 1257s| 8700 | 6877 |727441 | 81.5 | 264M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |3248 |-4.500000e+01 |-3.900000e+01 | 15.38%
1268.47/1268.73 c 1269s| 8800 | 6955 |734873 | 81.4 | 266M| 61 | 96 | 945 | 59k| 945 | 59k| 379 | 0 |3288 |-4.500000e+01 |-3.900000e+01 | 15.38%
1280.57/1280.84 c 1281s| 8900 | 7031 |743241 | 81.4 | 268M| 61 | 52 | 945 | 59k| 945 | 59k| 379 | 0 |3311 |-4.500000e+01 |-3.900000e+01 | 15.38%
1293.57/1293.81 c 1294s| 9000 | 7097 |750516 | 81.3 | 269M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3362 |-4.500000e+01 |-3.900000e+01 | 15.38%
1302.97/1303.28 c 1303s| 9100 | 7169 |757696 | 81.2 | 271M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |3380 |-4.500000e+01 |-3.900000e+01 | 15.38%
1313.86/1314.17 c 1314s| 9200 | 7239 |764375 | 81.1 | 273M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3411 |-4.500000e+01 |-3.900000e+01 | 15.38%
1323.17/1323.43 c 1323s| 9300 | 7301 |769743 | 80.8 | 274M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3444 |-4.500000e+01 |-3.900000e+01 | 15.38%
1332.26/1332.52 c 1333s| 9400 | 7367 |775194 | 80.5 | 276M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3473 |-4.500000e+01 |-3.900000e+01 | 15.38%
1339.76/1340.06 c 1340s| 9500 | 7415 |780423 | 80.2 | 277M| 61 | 43 | 945 | 59k| 945 | 59k| 379 | 0 |3496 |-4.500000e+01 |-3.900000e+01 | 15.38%
1349.37/1349.63 c 1350s| 9600 | 7475 |786741 | 80.0 | 279M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |3526 |-4.500000e+01 |-3.900000e+01 | 15.38%
1358.17/1358.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.17/1358.50 c 1358s| 9700 | 7535 |791937 | 79.7 | 280M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3540 |-4.500000e+01 |-3.900000e+01 | 15.38%
1368.86/1369.17 c 1369s| 9800 | 7611 |799587 | 79.7 | 282M| 61 | 97 | 945 | 59k| 945 | 59k| 379 | 0 |3571 |-4.500000e+01 |-3.900000e+01 | 15.38%
1381.16/1381.50 c 1381s| 9900 | 7675 |806527 | 79.6 | 284M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3617 |-4.500000e+01 |-3.900000e+01 | 15.38%
1388.96/1389.26 c 1389s| 10000 | 7733 |812040 | 79.4 | 285M| 61 | 63 | 945 | 59k| 945 | 59k| 379 | 0 |3630 |-4.500000e+01 |-3.900000e+01 | 15.38%
1398.35/1398.63 c 1399s| 10100 | 7791 |818030 | 79.2 | 287M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3663 |-4.500000e+01 |-3.900000e+01 | 15.38%
1407.35/1407.66 c 1408s| 10200 | 7845 |823917 | 79.0 | 288M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3693 |-4.500000e+01 |-3.900000e+01 | 15.38%
1416.05/1416.32 c 1416s| 10300 | 7901 |829629 | 78.8 | 290M| 61 | 122 | 945 | 59k| 945 | 59k| 379 | 0 |3714 |-4.500000e+01 |-3.900000e+01 | 15.38%
1427.04/1427.33 c 1427s| 10400 | 7971 |836625 | 78.7 | 291M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |3746 |-4.500000e+01 |-3.900000e+01 | 15.38%
1435.44/1435.79 c 1436s| 10500 | 8029 |842772 | 78.5 | 293M| 61 | 54 | 945 | 59k| 945 | 59k| 379 | 0 |3763 |-4.500000e+01 |-3.900000e+01 | 15.38%
1443.34/1443.63 c 1444s| 10600 | 8091 |848400 | 78.3 | 294M| 61 | 132 | 945 | 59k| 945 | 59k| 379 | 0 |3774 |-4.500000e+01 |-3.900000e+01 | 15.38%
1453.44/1453.77 c 1454s| 10700 | 8161 |856290 | 78.3 | 296M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3785 |-4.500000e+01 |-3.900000e+01 | 15.38%
1460.45/1460.70 c 1461s| 10800 | 8221 |862244 | 78.1 | 298M| 61 | 87 | 945 | 59k| 945 | 59k| 379 | 0 |3792 |-4.500000e+01 |-3.900000e+01 | 15.38%
1466.34/1466.63 c 1467s| 10900 | 8275 |867187 | 77.9 | 299M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |3796 |-4.500000e+01 |-3.900000e+01 | 15.38%
1474.54/1474.86 c 1475s| 11000 | 8341 |873765 | 77.8 | 300M| 61 | 42 | 945 | 59k| 945 | 59k| 379 | 0 |3799 |-4.500000e+01 |-3.900000e+01 | 15.38%
1480.04/1480.39 c 1480s| 11100 | 8391 |878248 | 77.5 | 302M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3799 |-4.500000e+01 |-3.900000e+01 | 15.38%
1487.14/1487.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.14/1487.41 c 1487s| 11200 | 8445 |884041 | 77.3 | 303M| 61 | 50 | 945 | 59k| 945 | 59k| 379 | 0 |3800 |-4.500000e+01 |-3.900000e+01 | 15.38%
1495.54/1495.83 c 1496s| 11300 | 8513 |891392 | 77.3 | 304M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3804 |-4.500000e+01 |-3.900000e+01 | 15.38%
1504.24/1504.51 c 1505s| 11400 | 8585 |897916 | 77.2 | 306M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |3810 |-4.500000e+01 |-3.900000e+01 | 15.38%
1511.04/1511.35 c 1511s| 11500 | 8651 |903252 | 76.9 | 308M| 61 | 57 | 945 | 59k| 945 | 59k| 379 | 0 |3811 |-4.500000e+01 |-3.900000e+01 | 15.38%
1519.23/1519.51 c 1520s| 11600 | 8725 |909572 | 76.8 | 310M| 61 | 69 | 945 | 59k| 945 | 59k| 379 | 0 |3813 |-4.500000e+01 |-3.900000e+01 | 15.38%
1524.83/1525.15 c 1525s| 11700 | 8777 |914283 | 76.6 | 311M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3815 |-4.500000e+01 |-3.900000e+01 | 15.38%
1534.63/1534.90 c 1535s| 11800 | 8845 |922535 | 76.6 | 313M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |3818 |-4.500000e+01 |-3.900000e+01 | 15.38%
1543.82/1544.14 c 1544s| 11900 | 8929 |930130 | 76.6 | 315M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3821 |-4.500000e+01 |-3.900000e+01 | 15.38%
1551.52/1551.81 c 1552s| 12000 | 8999 |936874 | 76.5 | 316M| 61 | 61 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1560.12/1560.40 c 1560s| 12100 | 9063 |942965 | 76.4 | 318M| 61 | 142 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1567.13/1567.48 c 1567s| 12200 | 9131 |949048 | 76.3 | 319M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1575.82/1576.12 c 1576s| 12300 | 9199 |955928 | 76.2 | 321M| 61 | 84 | 945 | 59k| 945 | 59k| 379 | 0 |3823 |-4.500000e+01 |-3.900000e+01 | 15.38%
1584.93/1585.23 c 1585s| 12400 | 9253 |961637 | 76.1 | 322M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |3851 |-4.500000e+01 |-3.900000e+01 | 15.38%
1593.53/1593.87 c 1594s| 12500 | 9315 |967291 | 75.9 | 324M| 61 | 133 | 945 | 59k| 945 | 59k| 379 | 0 |3878 |-4.500000e+01 |-3.900000e+01 | 15.38%
1603.92/1604.26 c 1604s| 12600 | 9375 |974220 | 75.9 | 325M| 61 | 160 | 945 | 59k| 945 | 59k| 379 | 0 |3897 |-4.500000e+01 |-3.900000e+01 | 15.38%
1614.32/1614.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.32/1614.66 c 1615s| 12700 | 9449 |980836 | 75.8 | 327M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |3933 |-4.500000e+01 |-3.900000e+01 | 15.38%
1623.42/1623.76 c 1624s| 12800 | 9507 |986783 | 75.7 | 328M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |3957 |-4.500000e+01 |-3.900000e+01 | 15.38%
1636.22/1636.55 c 1637s| 12900 | 9595 |994758 | 75.7 | 331M| 61 | 48 | 945 | 59k| 945 | 59k| 379 | 0 |4001 |-4.500000e+01 |-3.900000e+01 | 15.38%
1642.91/1643.21 c 1643s| 13000 | 9657 | 1000k| 75.5 | 332M| 61 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |4001 |-4.500000e+01 |-3.900000e+01 | 15.38%
1653.62/1653.93 c 1654s| 13100 | 9725 | 1006k| 75.5 | 333M| 61 | 57 | 945 | 59k| 945 | 59k| 379 | 0 |4029 |-4.500000e+01 |-3.900000e+01 | 15.38%
1665.12/1665.42 c 1665s| 13200 | 9799 | 1013k| 75.4 | 335M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4056 |-4.500000e+01 |-3.900000e+01 | 15.38%
1674.21/1674.50 c 1675s| 13300 | 9853 | 1019k| 75.3 | 337M| 61 | 48 | 945 | 59k| 945 | 59k| 379 | 0 |4088 |-4.500000e+01 |-3.900000e+01 | 15.38%
1683.61/1683.96 c 1684s| 13400 | 9917 | 1025k| 75.2 | 338M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |4110 |-4.500000e+01 |-3.900000e+01 | 15.38%
1692.90/1693.24 c 1693s| 13500 | 9991 | 1031k| 75.0 | 340M| 61 | 128 | 945 | 59k| 945 | 59k| 379 | 0 |4133 |-4.500000e+01 |-3.900000e+01 | 15.38%
1701.80/1702.14 c 1702s| 13600 | 10049 | 1037k| 74.9 | 341M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |4155 |-4.500000e+01 |-3.900000e+01 | 15.38%
1710.21/1710.53 c 1711s| 13700 | 10107 | 1043k| 74.8 | 343M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4178 |-4.500000e+01 |-3.900000e+01 | 15.38%
1718.70/1719.01 c 1719s| 13800 | 10177 | 1048k| 74.7 | 344M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |4208 |-4.500000e+01 |-3.900000e+01 | 15.38%
1726.20/1726.53 c 1727s| 13900 | 10235 | 1054k| 74.5 | 346M| 61 | 66 | 945 | 59k| 945 | 59k| 379 | 0 |4229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1734.20/1734.59 c 1735s| 14000 | 10297 | 1059k| 74.3 | 347M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |4255 |-4.500000e+01 |-3.900000e+01 | 15.38%
1742.50/1742.81 c 1743s| 14100 | 10353 | 1064k| 74.2 | 349M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |4285 |-4.500000e+01 |-3.900000e+01 | 15.38%
1752.50/1752.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.50/1752.81 c 1753s| 14200 | 10419 | 1071k| 74.1 | 350M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |4311 |-4.500000e+01 |-3.900000e+01 | 15.38%
1761.40/1761.76 c 1762s| 14300 | 10481 | 1077k| 74.1 | 352M| 61 | 66 | 945 | 59k| 945 | 59k| 379 | 0 |4332 |-4.500000e+01 |-3.900000e+01 | 15.38%
1768.19/1768.52 c 1769s| 14400 | 10531 | 1082k| 73.9 | 353M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |4355 |-4.500000e+01 |-3.900000e+01 | 15.38%
1777.39/1777.79 c 1778s| 14500 | 10587 | 1088k| 73.8 | 354M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |4372 |-4.500000e+01 |-3.900000e+01 | 15.38%
1782.99/1783.33 c 1783s| 14600 | 10631 | 1092k| 73.6 | 355M| 61 | 92 | 945 | 59k| 945 | 59k| 379 | 0 |4375 |-4.500000e+01 |-3.900000e+01 | 15.38%
1792.09/1792.40 c 1792s| 14700 | 10689 | 1098k| 73.5 | 357M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4387 |-4.500000e+01 |-3.900000e+01 | 15.38%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 14769
1796.69/1797.00 c Primal Bound : -3.90000000000000e+01 (557 solutions)
1796.69/1797.00 c Dual Bound : -4.50000000000000e+01
1796.69/1797.00 c Gap : 15.38 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28
1796.69/1797.01 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1796.69/1797.01 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.69/1797.01 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1796.69/1797.01 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1796.69/1797.01 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.69/1797.01 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166
1796.69/1797.01 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187
1796.69/1797.01 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.69/1797.01 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229
1796.69/1797.01 v -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.69/1797.01 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271
1796.69/1797.01 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292
1796.69/1797.01 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.69/1797.01 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.69/1797.01 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1796.69/1797.01 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.01 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397
1796.69/1797.01 v -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.69/1797.01 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.69/1797.01 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460
1796.69/1797.01 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481
1796.69/1797.01 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1796.69/1797.01 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.69/1797.01 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.69/1797.01 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.69/1797.01 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.69/1797.01 v x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1796.69/1797.01 v -x607 -x608 x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.69/1797.01 v -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.69/1797.01 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.69/1797.01 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690
1796.69/1797.01 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1796.69/1797.01 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.69/1797.01 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1796.69/1797.01 v -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.69/1797.01 v -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.69/1797.01 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.69/1797.01 v -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.69/1797.01 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1796.69/1797.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.69/1797.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.69/1797.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1796.69/1797.02 v -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1796.69/1797.02 v -x943 -x944 -x945
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.00
1796.69/1797.02 c solving : 1797.00
1796.69/1797.02 c presolving : 0.71 (included in solving)
1796.69/1797.02 c reading : 0.12 (included in solving)
1796.69/1797.02 c copying : 0.90 (11 #copies) (minimal 0.08, maximal 0.09, average 0.08)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3693270-1338031578.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 59186 initial, 59186 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3693270-1338031578.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 59186 initial, 59186 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c setppc : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.30 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 12999 0 560 0 7 204 0 0 25778
1796.69/1797.02 c setppc : 59186 59186 43 49636 2 2 555 0 0 381497 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 2 2 558 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 384.21 0.00 0.00 0.00 384.20 0.00 0.01 0.00
1796.69/1797.02 c setppc : 12.44 0.00 0.15 11.30 0.00 0.00 0.99 0.00
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 8 0 0 0
1796.69/1797.02 c pseudoobj : 62586 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 13065 0 0 33
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.02 c pseudoobj : 8.63 0.02 0.00 8.62 0.00
1796.69/1797.02 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.02 c redcost : 0.30 0.00 0.00 0.30 0.00
1796.69/1797.02 c probing : 0.21 0.00 0.21 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 0 0.0 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 42 - - 99 - (maximal pool size: 592)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.03 0.00 43 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 0.21 0.00 10 0 0 500 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 3.73 0.00 20 0 0 10000 0
1796.69/1797.02 c cmir : 6.17 0.00 10 0 0 0 0
1796.69/1797.02 c flowcover : 6.52 0.00 10 0 0 0 0
1796.69/1797.02 c clique : 0.88 0.00 43 0 0 378 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.09 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 384.17 0.00 12997 7 204 0 0 25778
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 2
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c feaspump : 0.00 0.00 0 0
1796.69/1797.02 c oneopt : 0.08 0.00 9 1
1796.69/1797.02 c crossover : 3.13 0.00 10 3
1796.69/1797.02 c guideddiving : 67.97 0.00 125 3
1796.69/1797.02 c coefdiving : 72.37 0.00 166 32
1796.69/1797.02 c linesearchdiving : 41.25 0.00 166 28
1796.69/1797.02 c veclendiving : 116.27 0.00 166 1
1796.69/1797.02 c pscostdiving : 39.19 0.00 166 11
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.01 0.00 2 1
1796.69/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.02 c simplerounding : 0.31 0.00 13040 70
1796.69/1797.02 c zirounding : 32.96 0.00 6751 135
1796.69/1797.02 c rounding : 19.06 0.00 5010 1
1796.69/1797.02 c shifting : 2.64 0.00 621 1
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.01 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c fracdiving : 68.33 0.00 129 1
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c objpscostdiving : 50.98 0.00 84 149
1796.69/1797.02 c rootsoldiving : 31.09 0.00 84 117
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 2.32 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.01 0.00 0 0
1796.69/1797.02 c trysol : 0.01 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.08 7 0 0.00 0.00 0.08 7
1796.69/1797.02 c dual LP : 708.81 15103 824385 55.28 1163.06 2.51 191
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 386.05 18231 277757 15.24 719.48
1796.69/1797.02 c strong branching : 381.64 4392 327758 74.63 858.82
1796.69/1797.02 c (at root node) : - 33 7277 220.52 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 14769
1796.69/1797.02 c nodes (total) : 14769
1796.69/1797.02 c nodes left : 10736
1796.69/1797.02 c max depth : 61
1796.69/1797.02 c max depth (total): 61
1796.69/1797.02 c backtracks : 1890 (12.8%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 5.50
1796.69/1797.02 c switching time : 24.93
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 557 (10 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -3.90000000000000e+01 (in run 1, after 4268 nodes, 754.57 seconds, depth 45, found by <linesearchdiving>)
1796.69/1797.02 c Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Gap : 15.38 %
1796.69/1797.02 c Root Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Root Iterations : 18478
1797.00/1797.31 c Time complete: 1797.01.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3693270-1338031578/watcher-3693270-1338031578 -o /tmp/evaluation-result-3693270-1338031578/solver-3693270-1338031578 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693270-1338031578.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.03 1.95 3/177 32686
/proc/meminfo: memFree=28593400/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=10992 CPUtime=0 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 1486 0 0 0 0 0 0 0 20 0 1 0 269283841 11255808 1440 33554432000 4194304 10169799 140733227147008 140733227146536 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 2748 1445 412 1459 0 1280 0
[startup+0.055541 s]
/proc/loadavg: 2.02 2.03 1.95 3/177 32686
/proc/meminfo: memFree=28593400/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=18008 CPUtime=0.04 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 3268 0 0 0 4 0 0 0 20 0 1 0 269283841 18440192 3222 33554432000 4194304 10169799 140733227147008 140733227146536 8860080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 4502 3222 412 1459 0 3034 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18008
[startup+0.100256 s]
/proc/loadavg: 2.02 2.03 1.95 3/177 32686
/proc/meminfo: memFree=28593400/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=24696 CPUtime=0.09 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 4929 0 0 0 9 0 0 0 20 0 1 0 269283841 25288704 4883 33554432000 4194304 10169799 140733227147008 140733227146536 7171954 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 6174 4883 412 1459 0 4706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24696
[startup+0.300228 s]
/proc/loadavg: 2.02 2.03 1.95 3/177 32686
/proc/meminfo: memFree=28593400/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=81988 CPUtime=0.29 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 21094 0 0 0 27 2 0 0 20 0 1 0 269283841 83955712 18793 33554432000 4194304 10169799 140733227147008 140733227145160 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 20497 18793 545 1459 0 19029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81988
[startup+0.700243 s]
/proc/loadavg: 2.02 2.03 1.95 3/177 32686
/proc/meminfo: memFree=28593400/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=105744 CPUtime=0.69 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 29453 0 0 0 60 9 0 0 20 0 1 0 269283841 108281856 24736 33554432000 4194304 10169799 140733227147008 140733227145160 4777685 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 26436 24736 581 1459 0 24968 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105744
[startup+1.50029 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28438416/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=194016 CPUtime=1.49 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 49368 0 0 0 138 11 0 0 20 0 1 0 269283841 198672384 45050 33554432000 4194304 10169799 140733227147008 140733227141800 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 48504 45050 724 1459 0 47036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194016
[startup+3.10019 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28422472/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=191320 CPUtime=3.09 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 51642 0 0 0 295 14 0 0 20 0 1 0 269283841 195911680 43753 33554432000 4194304 10169799 140733227147008 140733227141416 7271364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 47830 43753 774 1459 0 46362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191320
[startup+6.30018 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28415092/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=192592 CPUtime=6.29 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 52441 0 0 0 614 15 0 0 20 0 1 0 269283841 197214208 45063 33554432000 4194304 10169799 140733227147008 140733227143544 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 48148 45063 774 1459 0 46680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192592
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28413640/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=193132 CPUtime=12.69 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 52899 0 0 0 1254 15 0 0 20 0 1 0 269283841 197767168 45521 33554432000 4194304 10169799 140733227147008 140733227143544 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 48283 45521 774 1459 0 46815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 193132
[startup+25.5002 s]
/proc/loadavg: 2.01 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28405308/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=199688 CPUtime=25.49 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 55142 0 0 0 2532 17 0 0 20 0 1 0 269283841 204480512 47764 33554432000 4194304 10169799 140733227147008 140733227141416 8009831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 49922 47764 774 1459 0 48454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 199688
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 1.95 3/178 32687
/proc/meminfo: memFree=28353600/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=249248 CPUtime=51.08 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 68058 0 0 0 5079 29 0 0 20 0 1 0 269283841 255229952 60664 33554432000 4194304 10169799 140733227147008 140733227141112 8009472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62312 60664 823 1459 0 60844 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 249248
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 32688
/proc/meminfo: memFree=28352548/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=249248 CPUtime=102.28 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 68066 0 0 0 10191 37 0 0 20 0 1 0 269283841 255229952 60752 33554432000 4194304 10169799 140733227147008 140733227142072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62312 60752 823 1459 0 60844 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 249248
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 32688
/proc/meminfo: memFree=28350792/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=249248 CPUtime=162.25 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 68083 0 0 0 16179 46 0 0 20 0 1 0 269283841 255229952 60873 33554432000 4194304 10169799 140733227147008 140733227141416 8009497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62312 60873 823 1459 0 60844 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 249248
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 32688
/proc/meminfo: memFree=28349408/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=249248 CPUtime=222.24 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 68083 0 0 0 22170 54 0 0 20 0 1 0 269283841 255229952 61376 33554432000 4194304 10169799 140733227147008 140733227141096 8044217 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62312 61376 823 1459 0 60844 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 249248
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/178 32691
/proc/meminfo: memFree=28347108/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=250276 CPUtime=282.23 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 79029 0 0 0 28156 67 0 0 20 0 1 0 269283841 256282624 61724 33554432000 4194304 10169799 140733227147008 140733227141416 8009669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62569 61724 827 1459 0 61101 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 250276
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 32691
/proc/meminfo: memFree=28347124/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=250276 CPUtime=342.23 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 79029 0 0 0 34145 78 0 0 20 0 1 0 269283841 256282624 61724 33554432000 4194304 10169799 140733227147008 140733227144632 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62569 61724 827 1459 0 61101 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 250276
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/177 32692
/proc/meminfo: memFree=28346504/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=250276 CPUtime=402.21 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 90049 0 0 0 40130 91 0 0 20 0 1 0 269283841 256282624 61724 33554432000 4194304 10169799 140733227147008 140733227141992 7968551 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 62569 61724 827 1459 0 61101 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 250276
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 32692
/proc/meminfo: memFree=28345144/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=252132 CPUtime=462.2 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 90050 0 0 0 46121 99 0 0 20 0 1 0 269283841 258183168 61725 33554432000 4194304 10169799 140733227147008 140733227141800 6795108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 63033 61725 827 1459 0 61565 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 252132
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/177 32730
/proc/meminfo: memFree=28053304/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=264312 CPUtime=522.19 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 108383 0 0 0 52108 111 0 0 20 0 1 0 269283841 270655488 64272 33554432000 4194304 10169799 140733227147008 140733227141800 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 66078 64272 827 1459 0 64610 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 264312
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 32730
/proc/meminfo: memFree=28029676/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=275684 CPUtime=582.18 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 110939 0 0 0 58095 123 0 0 20 0 1 0 269283841 282300416 67384 33554432000 4194304 10169799 140733227147008 140733227144728 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 68921 67384 827 1459 0 67453 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 275684
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27827616/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=355264 CPUtime=1062.1 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 192212 0 0 0 105991 219 0 0 20 0 1 0 269283841 363790336 87888 33554432000 4194304 10169799 140733227147008 140733227141800 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 88816 87888 827 1459 0 87348 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 355264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 32735
/proc/meminfo: memFree=27822036/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=364500 CPUtime=1122.1 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 193712 0 0 0 111982 228 0 0 20 0 1 0 269283841 373248000 89388 33554432000 4194304 10169799 140733227147008 140733227141784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 91125 89388 827 1459 0 89657 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 364500
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 32735
/proc/meminfo: memFree=27809428/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=378664 CPUtime=1182.09 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 196984 0 0 0 117971 238 0 0 20 0 1 0 269283841 387751936 92642 33554432000 4194304 10169799 140733227147008 140733227141144 7681452 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 94666 92642 827 1459 0 93198 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 378664
[startup+1242.3 s]
/proc/loadavg: 2.14 2.04 1.99 3/177 32736
/proc/meminfo: memFree=27800492/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=386416 CPUtime=1242.08 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 215901 0 0 0 123956 252 0 0 20 0 1 0 269283841 395689984 94577 33554432000 4194304 10169799 140733227147008 140733227141400 8036769 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 96604 94577 827 1459 0 95136 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 386416
[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/176 32736
/proc/meminfo: memFree=27790580/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=395176 CPUtime=1302.07 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 218308 0 0 0 129944 263 0 0 20 0 1 0 269283841 404660224 96979 33554432000 4194304 10169799 140733227147008 140733227143192 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 98794 96979 827 1459 0 97326 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 395176
[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.00 3/177 32737
/proc/meminfo: memFree=27779848/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=406428 CPUtime=1362.06 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 220812 0 0 0 135933 273 0 0 20 0 1 0 269283841 416182272 99482 33554432000 4194304 10169799 140733227147008 140733227141800 6794904 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 101607 99482 827 1459 0 100139 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 406428
[startup+1422.31 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 32737
/proc/meminfo: memFree=27769060/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=417328 CPUtime=1422.05 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 223616 0 0 0 141922 283 0 0 20 0 1 0 269283841 427343872 102319 33554432000 4194304 10169799 140733227147008 140733227142072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 104332 102319 827 1459 0 102864 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 417328
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 32740
/proc/meminfo: memFree=27761056/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=424572 CPUtime=1482.04 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 225158 0 0 0 147911 293 0 0 20 0 1 0 269283841 434761728 104304 33554432000 4194304 10169799 140733227147008 140733227141464 7893644 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 106143 104304 827 1459 0 104675 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 424572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 32740
/proc/meminfo: memFree=27747672/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=439368 CPUtime=1542.03 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 245578 0 0 0 153892 311 0 0 20 0 1 0 269283841 449912832 107644 33554432000 4194304 10169799 140733227147008 140733227141832 7907808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 109842 107644 827 1459 0 108374 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 439368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32740
/proc/meminfo: memFree=27735644/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=451360 CPUtime=1602.02 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 248611 0 0 0 159881 321 0 0 20 0 1 0 269283841 462192640 110675 33554432000 4194304 10169799 140733227147008 140733227141112 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 112840 110675 827 1459 0 111372 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 451360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32741
/proc/meminfo: memFree=27727708/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=458828 CPUtime=1662.01 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 250503 0 0 0 165868 333 0 0 20 0 1 0 269283841 469839872 112565 33554432000 4194304 10169799 140733227147008 140733227141784 7907789 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 114707 112565 827 1459 0 113239 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 458828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32741
/proc/meminfo: memFree=27714936/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=470308 CPUtime=1722 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 253692 0 0 0 171856 344 0 0 20 0 1 0 269283841 481595392 115736 33554432000 4194304 10169799 140733227147008 140733227141416 5120204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 117577 115736 827 1459 0 116109 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 470308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32741
/proc/meminfo: memFree=27703900/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481136 CPUtime=1782 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256343 0 0 0 177846 354 0 0 20 0 1 0 269283841 492683264 118376 33554432000 4194304 10169799 140733227147008 140733227141432 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120284 118376 827 1459 0 118816 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 481136
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32741
/proc/meminfo: memFree=27703776/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481136 CPUtime=1785.19 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256471 0 0 0 178165 354 0 0 20 0 1 0 269283841 492683264 118504 33554432000 4194304 10169799 140733227147008 140733227141416 7893480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120284 118504 827 1459 0 118816 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 481136
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32741
/proc/meminfo: memFree=27703280/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481136 CPUtime=1791.6 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256546 0 0 0 178805 355 0 0 20 0 1 0 269283841 492683264 118579 33554432000 4194304 10169799 140733227147008 140733227141496 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120284 118579 827 1459 0 118816 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 481136
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32741
/proc/meminfo: memFree=27702784/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481136 CPUtime=1794.8 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256666 0 0 0 179124 356 0 0 20 0 1 0 269283841 492683264 118699 33554432000 4194304 10169799 140733227147008 140733227143528 7884905 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120284 118699 827 1459 0 118816 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 481136
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32741
/proc/meminfo: memFree=27702660/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481824 CPUtime=1796.39 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256705 0 0 0 179283 356 0 0 20 0 1 0 269283841 493387776 118738 33554432000 4194304 10169799 140733227147008 140733227141096 5131728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120456 118738 827 1459 0 118988 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 481824
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32741
/proc/meminfo: memFree=27702660/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=481824 CPUtime=1796.79 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256712 0 0 0 179323 356 0 0 20 0 1 0 269283841 493387776 118745 33554432000 4194304 10169799 140733227147008 140733227141096 5886367 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 120456 118745 830 1459 0 118988 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 481824
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32741
/proc/meminfo: memFree=27722872/32873648 swapFree=7372/7372
[pid=32686] ppid=32684 vsize=449680 CPUtime=1797 cores=0,2,4,6
/proc/32686/stat : 32686 (scip-2.1.1.4sfi) R 32684 32686 31092 0 -1 4202496 256712 0 0 0 179344 356 0 0 20 0 1 0 269283841 460472320 110734 33554432000 4194304 10169799 140733227147008 140733227146072 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32686/statm: 112420 110734 830 1459 0 110952 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 449680
Child status: 0
Real time (s): 1797.32
CPU time (s): 1797.02
CPU user time (s): 1793.44
CPU system time (s): 3.57346
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 488972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.44
system time used= 3.57346
maximum resident set size= 485024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256714
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= 42
involuntary context switches= 1884
runsolver used 3.42048 second user time and 9.71552 second system time
The end