Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -33 | 1800.35 | 1801.08 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
| MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1789.88 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58579 |
| Number of constraints which are clauses | 58579 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2665646-1276501196.opb>
0.90/1.00 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
0.90/1.00 c problem read
0.90/1.00 c presolving settings loaded
1.10/1.15 o 0
1.10/1.15 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.10/1.15 c presolving:
1.89/1.90 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58579 upgd conss, 117158 impls, 0 clqs
3.30/3.31 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.30/3.31 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.31 c presolving (2 rounds):
3.30/3.31 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.30/3.31 c 117158 implications, 0 cliques
3.30/3.31 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
3.30/3.31 c 58579 constraints of type <logicor>
3.30/3.31 c transformed objective value is always integral (scale: 1)
3.30/3.31 c Presolving Time: 2.02
3.30/3.31 c - non default parameters ----------------------------------------------------------------------
3.30/3.31 c # SCIP version 1.2.1.2
3.30/3.31 c
3.30/3.31 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31 c conflict/interconss = 0
3.30/3.31 c
3.30/3.31 c # should binary conflicts be preferred?
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c conflict/preferbinary = TRUE
3.30/3.31 c
3.30/3.31 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.31 c constraints/agelimit = 1
3.30/3.31 c
3.30/3.31 c # should enforcement of pseudo solution be disabled?
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/disableenfops = TRUE
3.30/3.31 c
3.30/3.31 c # frequency for displaying node information lines
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.31 c display/freq = 10000
3.30/3.31 c
3.30/3.31 c # maximal time in seconds to run
3.30/3.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31 c limits/time = 1799
3.30/3.31 c
3.30/3.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31 c limits/memory = 1620
3.30/3.31 c
3.30/3.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.31 c lp/solvefreq = 0
3.30/3.31 c
3.30/3.31 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.30/3.31 c # [type: char, range: {lafpsqd}, default: l]
3.30/3.31 c lp/pricing = a
3.30/3.31 c
3.30/3.31 c # should presolving try to simplify inequalities
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/linear/simplifyinequalities = TRUE
3.30/3.31 c
3.30/3.31 c # should presolving try to simplify knapsacks
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/knapsack/simplifyinequalities = TRUE
3.30/3.31 c
3.30/3.31 c # priority of node selection rule <dfs> in standard mode
3.30/3.31 c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.31 c nodeselection/dfs/stdpriority = 1000000
3.30/3.31 c
3.30/3.31 c -----------------------------------------------------------------------------------------------
3.30/3.31 c start solving
3.30/3.32 c
4.19/4.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.25 c t 3.0s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
4.30/4.37 o -1
4.30/4.37 c R 3.1s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
4.49/4.50 o -2
4.49/4.50 c s 3.2s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | 99.58%
9.79/9.87 c 8.5s| 1 | 0 | 1393 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 10 | 0 | 0 |-4.415000e+02 |-2.000000e+00 | 99.55%
9.90/9.93 o -33
9.90/9.93 c b 8.5s| 1 | 0 | 1393 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 10 | 0 | 0 |-4.415000e+02 |-3.300000e+01 | 92.53%
15.88/15.95 c 14.5s| 1 | 0 | 1734 | - | 65M| 0 | 843 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.215000e+02 |-3.300000e+01 | 92.17%
20.28/20.30 c 18.8s| 1 | 0 | 1895 | - | 65M| 0 | 823 | 945 | 58k| 945 | 58k| 19 | 0 | 0 |-4.115000e+02 |-3.300000e+01 | 91.98%
25.47/25.54 c 24.0s| 1 | 0 | 2143 | - | 65M| 0 | 780 | 945 | 58k| 945 | 58k| 29 | 0 | 0 |-3.900000e+02 |-3.300000e+01 | 91.54%
32.07/32.19 c 30.6s| 1 | 0 | 2459 | - | 65M| 0 | 740 | 945 | 58k| 945 | 58k| 36 | 0 | 0 |-3.700000e+02 |-3.300000e+01 | 91.08%
38.97/39.02 c 37.4s| 1 | 0 | 2741 | - | 65M| 0 | 698 | 945 | 58k| 945 | 58k| 47 | 0 | 0 |-3.490000e+02 |-3.300000e+01 | 90.54%
45.27/45.33 c 43.7s| 1 | 0 | 2970 | - | 65M| 0 | 672 | 945 | 58k| 945 | 58k| 54 | 0 | 0 |-3.360000e+02 |-3.300000e+01 | 90.18%
53.36/53.49 c 51.8s| 1 | 0 | 3389 | - | 65M| 0 | 632 | 945 | 58k| 945 | 58k| 65 | 0 | 0 |-3.160000e+02 |-3.300000e+01 | 89.56%
63.56/63.61 c 61.9s| 1 | 0 | 3910 | - | 65M| 0 | 594 | 945 | 58k| 945 | 58k| 75 | 0 | 0 |-2.970000e+02 |-3.300000e+01 | 88.89%
73.66/73.77 c 72.0s| 1 | 0 | 4429 | - | 65M| 0 | 566 | 945 | 58k| 945 | 58k| 81 | 0 | 0 |-2.830000e+02 |-3.300000e+01 | 88.34%
80.56/80.60 c 78.7s| 1 | 0 | 5091 | - | 65M| 0 | 522 | 945 | 58k| 945 | 58k| 97 | 0 | 0 |-2.610000e+02 |-3.300000e+01 | 87.36%
88.65/88.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.65/88.75 c 86.8s| 1 | 0 | 5895 | - | 65M| 0 | 485 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-2.425000e+02 |-3.300000e+01 | 86.39%
96.65/96.77 c 94.8s| 1 | 0 | 6774 | - | 65M| 0 | 431 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-2.155000e+02 |-3.300000e+01 | 84.69%
103.05/103.15 c 101s| 1 | 0 | 7559 | - | 65M| 0 | 377 | 945 | 58k| 945 | 58k| 120 | 0 | 0 |-1.885000e+02 |-3.300000e+01 | 82.49%
109.24/109.35 c 107s| 1 | 0 | 8352 | - | 66M| 0 | 338 | 945 | 58k| 945 | 58k| 125 | 0 | 0 |-1.690000e+02 |-3.300000e+01 | 80.47%
113.84/113.97 c 112s| 1 | 0 | 8878 | - | 66M| 0 | 298 | 945 | 58k| 945 | 58k| 135 | 0 | 0 |-1.490000e+02 |-3.300000e+01 | 77.85%
118.75/118.88 c 117s| 1 | 0 | 9552 | - | 66M| 0 | 241 | 945 | 58k| 945 | 58k| 150 | 0 | 0 |-1.205000e+02 |-3.300000e+01 | 72.61%
120.43/120.52 c 118s| 1 | 0 | 9793 | - | 66M| 0 | 224 | 945 | 58k| 945 | 58k| 155 | 0 | 0 |-1.120000e+02 |-3.300000e+01 | 70.54%
121.84/121.95 c 120s| 1 | 0 | 10058 | - | 66M| 0 | 200 | 945 | 58k| 945 | 58k| 170 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
125.35/125.40 c 123s| 1 | 0 | 10623 | - | 66M| 0 | 184 | 945 | 58k| 945 | 58k| 176 | 0 | 0 |-9.200000e+01 |-3.300000e+01 | 64.13%
129.34/129.43 c 127s| 1 | 0 | 11356 | - | 66M| 0 | 137 | 945 | 58k| 945 | 58k| 186 | 0 | 0 |-6.950000e+01 |-3.300000e+01 | 52.52%
130.23/130.37 c 128s| 1 | 0 | 11548 | - | 66M| 0 | 128 | 945 | 58k| 945 | 58k| 192 | 0 | 0 |-6.100000e+01 |-3.300000e+01 | 45.90%
131.53/131.63 c 129s| 1 | 0 | 11786 | - | 66M| 0 | 111 | 945 | 58k| 945 | 58k| 204 | 0 | 0 |-5.400000e+01 |-3.300000e+01 | 38.89%
132.64/132.76 c 130s| 1 | 0 | 12026 | - | 66M| 0 | 120 | 945 | 58k| 945 | 58k| 213 | 0 | 0 |-4.800000e+01 |-3.300000e+01 | 31.25%
133.53/133.65 c 131s| 1 | 0 | 12227 | - | 66M| 0 | 127 | 945 | 58k| 945 | 58k| 222 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
134.14/134.26 c 132s| 1 | 0 | 12316 | - | 66M| 0 | 121 | 945 | 58k| 945 | 58k| 234 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
135.24/135.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.24/135.38 c 133s| 1 | 0 | 12536 | - | 66M| 0 | 101 | 945 | 58k| 945 | 58k| 243 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
136.24/136.34 c 134s| 1 | 0 | 12701 | - | 66M| 0 | 130 | 945 | 58k| 945 | 58k| 256 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
138.03/138.11 c 135s| 1 | 0 | 12969 | - | 66M| 0 | 175 | 945 | 58k| 945 | 58k| 270 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
153.22/153.38 c 151s| 1 | 0 | 13363 | - | 66M| 0 | 161 | 945 | 58k| 945 | 58k| 280 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
156.42/156.56 c 154s| 1 | 0 | 13737 | - | 66M| 0 | 215 | 945 | 58k| 945 | 58k| 293 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
173.52/173.68 c 171s| 1 | 0 | 14566 | - | 66M| 0 | 224 | 945 | 58k| 945 | 58k| 305 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
196.01/196.10 c 193s| 1 | 0 | 15097 | - | 67M| 0 | 176 | 945 | 58k| 945 | 58k| 313 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
457.10/457.36 c 452s| 1 | 2 | 15097 | - | 67M| 0 | 176 | 945 | 58k| 945 | 58k| 313 | 0 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
461.90/462.15 c 457s| 10000 | 21 | 15097 | 0.0 | 67M| 41 | - | 945 | 58k| 0 | 0 | 313 | 44 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
466.40/466.68 c 462s| 20000 | 18 | 15097 | 0.0 | 67M| 44 | - | 945 | 58k| 0 | 0 | 313 | 69 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
471.10/471.33 c 466s| 30000 | 19 | 15097 | 0.0 | 67M| 44 | - | 945 | 58k| 0 | 0 | 313 | 109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
475.79/476.03 c 471s| 40000 | 21 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 150 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
480.41/480.69 c 475s| 50000 | 19 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 182 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
485.09/485.34 c 480s| 60000 | 20 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 217 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
489.69/489.98 c 484s| 70000 | 19 | 15097 | 0.0 | 67M| 48 | - | 945 | 58k| 0 | 0 | 313 | 275 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
494.49/494.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.49/494.76 c 489s| 80000 | 21 | 15097 | 0.0 | 67M| 51 | - | 945 | 58k| 0 | 0 | 313 | 291 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
499.39/499.64 c 494s| 90000 | 21 | 15097 | 0.0 | 67M| 51 | - | 945 | 58k| 0 | 0 | 313 | 319 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
504.18/504.42 c 498s|100000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
508.88/509.15 c 503s|110000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 370 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
513.68/513.92 c 507s|120000 | 20 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 405 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
518.48/518.75 c 512s|130000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 435 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
523.18/523.47 c 517s|140000 | 20 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 458 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
527.87/528.13 c 521s|150000 | 17 | 15097 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 313 | 490 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
532.68/532.96 c 526s|160000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 536 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
537.47/537.70 c 531s|170000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 569 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
542.28/542.51 c 535s|180000 | 22 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 600 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
546.87/547.17 c 540s|190000 | 17 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 621 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
551.88/552.13 c 545s|200000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 659 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
556.76/557.07 c 549s|210000 | 23 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 690 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
561.77/562.04 c 554s|220000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 733 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
566.76/567.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.76/567.06 c 559s|230000 | 18 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 758 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
571.77/572.02 c 564s|240000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 792 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
576.86/577.13 c 569s|250000 | 18 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 817 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
581.75/582.02 c 574s|260000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 859 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
586.35/586.65 c 578s|270000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
591.16/591.40 c 583s|280000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 968 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
595.66/595.95 c 587s|290000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1006 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
600.26/600.58 c 592s|300000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1049 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
604.95/605.29 c 596s|310000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1073 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
609.74/610.05 c 601s|320000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1105 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
614.84/615.11 c 606s|330000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1146 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
619.65/619.98 c 611s|340000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1166 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
624.34/624.69 c 615s|350000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1198 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
629.14/629.49 c 620s|360000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
634.13/634.44 c 625s|370000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1261 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
639.24/639.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.24/639.59 c 630s|380000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1286 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.03/644.37 c 634s|390000 | 22 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1316 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
648.84/649.19 c 639s|400000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1348 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
653.63/653.96 c 644s|410000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1380 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
658.43/658.74 c 648s|420000 | 17 | 15097 | 0.0 | 67M| 57 | - | 945 | 58k| 0 | 0 | 313 |1418 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
663.12/663.48 c 653s|430000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1469 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
667.83/668.14 c 657s|440000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1518 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
672.53/672.83 c 662s|450000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1548 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
677.12/677.48 c 667s|460000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1589 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
681.92/682.27 c 671s|470000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1638 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
686.82/687.11 c 676s|480000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1679 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
691.71/692.00 c 681s|490000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
696.41/696.77 c 685s|500000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1818 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
701.21/701.53 c 690s|510000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1857 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
706.01/706.40 c 695s|520000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1899 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
710.91/711.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.91/711.25 c 699s|530000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1944 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
715.60/715.93 c 704s|540000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1969 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
720.40/720.75 c 709s|550000 | 17 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2004 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
725.20/725.52 c 713s|560000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2034 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
730.11/730.40 c 718s|570000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2082 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
734.99/735.30 c 723s|580000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2137 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
739.79/740.13 c 727s|590000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2172 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
744.68/745.01 c 732s|600000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2211 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
749.58/749.91 c 737s|610000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2256 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
754.59/754.96 c 742s|620000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2295 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
759.48/759.81 c 747s|630000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2324 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
764.28/764.69 c 751s|640000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2358 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
769.07/769.43 c 756s|650000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2400 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
773.78/774.15 c 761s|660000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2455 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
778.48/778.83 c 765s|670000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2489 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
783.18/783.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.18/783.57 c 770s|680000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2526 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
788.07/788.41 c 774s|690000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2562 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
792.68/793.04 c 779s|700000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2594 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
797.17/797.57 c 783s|710000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2638 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
801.67/802.05 c 788s|720000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2674 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
806.27/806.68 c 792s|730000 | 18 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2711 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
811.07/811.46 c 797s|740000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2743 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
815.77/816.19 c 801s|750000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2776 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
820.56/820.96 c 806s|760000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2801 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
825.46/825.86 c 811s|770000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2832 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
830.46/830.80 c 816s|780000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2867 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
835.25/835.62 c 820s|790000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2892 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
839.96/840.35 c 825s|800000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2922 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
844.55/844.95 c 829s|810000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2966 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
849.25/849.65 c 834s|820000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2997 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
854.25/854.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.25/854.64 c 839s|830000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3012 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
859.14/859.50 c 844s|840000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3063 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
863.84/864.27 c 848s|850000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
868.84/869.26 c 853s|860000 | 17 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3162 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
873.64/874.07 c 858s|870000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3189 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
878.45/878.81 c 862s|880000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3223 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
883.23/883.62 c 867s|890000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3277 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
887.93/888.32 c 872s|900000 | 23 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3304 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
892.74/893.16 c 876s|910000 | 16 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
897.43/897.85 c 881s|920000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3354 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
902.33/902.74 c 886s|930000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3383 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
907.23/907.61 c 890s|940000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3416 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
912.03/912.46 c 895s|950000 | 20 | 15097 | 0.0 | 67M| 63 | - | 945 | 58k| 0 | 0 | 313 |3460 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
916.83/917.28 c 900s|960000 | 20 | 15097 | 0.0 | 67M| 63 | - | 945 | 58k| 0 | 0 | 313 |3496 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
921.72/922.11 c 904s|970000 | 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3526 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
926.22/926.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.22/926.65 c 909s|980000 | 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3587 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
930.92/931.34 c 913s|990000 | 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3623 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
935.42/935.88 c 918s| 1000k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3661 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
940.03/940.49 c 922s| 1010k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3692 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
944.81/945.26 c 927s| 1020k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3730 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
949.51/949.98 c 931s| 1030k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3786 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
954.11/954.59 c 936s| 1040k| 17 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3826 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
958.81/959.22 c 940s| 1050k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3869 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
963.40/963.87 c 945s| 1060k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
968.10/968.50 c 949s| 1070k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3935 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
972.70/973.18 c 954s| 1080k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3965 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
977.41/977.80 c 958s| 1090k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4021 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
982.00/982.44 c 963s| 1100k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4054 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
986.69/987.10 c 967s| 1110k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4091 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
991.40/991.80 c 972s| 1120k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4138 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
995.79/996.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.79/996.27 c 976s| 1130k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4166 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1000.60/1001.08 c 981s| 1140k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4210 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1005.29/1005.73 c 986s| 1150k| 22 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4244 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1009.89/1010.32 c 990s| 1160k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4295 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1014.49/1014.97 c 994s| 1170k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1019.08/1019.52 c 999s| 1180k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4388 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1023.78/1024.23 c 1004s| 1190k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4437 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1028.28/1028.71 c 1008s| 1200k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4483 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1032.88/1033.34 c 1012s| 1210k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4511 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1037.47/1037.96 c 1017s| 1220k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4541 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1042.17/1042.63 c 1021s| 1230k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4567 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1046.68/1047.10 c 1026s| 1240k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4586 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1051.27/1051.76 c 1030s| 1250k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4621 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1055.97/1056.46 c 1035s| 1260k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4654 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1060.67/1061.12 c 1039s| 1270k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4679 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1065.16/1065.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.16/1065.61 c 1044s| 1280k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4713 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1069.55/1070.09 c 1048s| 1290k| 17 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4748 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1074.26/1074.78 c 1053s| 1300k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4791 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1078.75/1079.25 c 1057s| 1310k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4832 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1083.35/1083.88 c 1061s| 1320k| 24 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4858 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1087.85/1088.32 c 1066s| 1330k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4903 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1092.35/1092.86 c 1070s| 1340k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4945 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1096.85/1097.35 c 1074s| 1350k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1101.45/1101.97 c 1079s| 1360k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5014 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1106.05/1106.59 c 1083s| 1370k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5054 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1110.64/1111.11 c 1088s| 1380k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5098 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1115.24/1115.79 c 1092s| 1390k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5124 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1119.83/1120.33 c 1097s| 1400k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5169 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1124.33/1124.87 c 1101s| 1410k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5210 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.93/1129.45 c 1106s| 1420k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5238 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1133.55/1134.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.55/1134.03 c 1110s| 1430k| 22 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5266 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.94/1138.45 c 1114s| 1440k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5293 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1142.33/1142.85 c 1119s| 1450k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5322 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1146.73/1147.28 c 1123s| 1460k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5345 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1151.33/1151.86 c 1127s| 1470k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5370 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1155.82/1156.39 c 1132s| 1480k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5396 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1160.33/1160.89 c 1136s| 1490k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1164.83/1165.40 c 1141s| 1500k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5465 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1169.52/1170.09 c 1145s| 1510k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5506 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1174.22/1174.78 c 1150s| 1520k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1179.02/1179.55 c 1154s| 1530k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5560 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1183.81/1184.31 c 1159s| 1540k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5581 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1188.52/1189.04 c 1164s| 1550k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5600 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1193.11/1193.62 c 1168s| 1560k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5642 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1197.81/1198.32 c 1173s| 1570k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5664 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1202.51/1203.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.51/1203.05 c 1177s| 1580k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5696 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1207.31/1207.83 c 1182s| 1590k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5714 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1211.90/1212.41 c 1186s| 1600k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5733 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1216.51/1217.00 c 1191s| 1610k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5764 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1220.80/1221.37 c 1195s| 1620k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1225.40/1225.90 c 1199s| 1630k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5814 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1230.00/1230.58 c 1204s| 1640k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5847 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1234.70/1235.20 c 1208s| 1650k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5866 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1239.40/1239.90 c 1213s| 1660k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5892 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1243.99/1244.58 c 1218s| 1670k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5909 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1248.79/1249.33 c 1222s| 1680k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5929 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1253.29/1253.86 c 1227s| 1690k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5997 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1257.80/1258.40 c 1231s| 1700k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6036 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1262.48/1263.01 c 1235s| 1710k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6068 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1267.07/1267.69 c 1240s| 1720k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6084 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1271.77/1272.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.77/1272.32 c 1244s| 1730k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6114 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1276.37/1276.94 c 1249s| 1740k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6135 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1281.07/1281.61 c 1254s| 1750k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6162 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1285.66/1286.21 c 1258s| 1760k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6187 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1290.36/1290.99 c 1263s| 1770k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6223 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1295.06/1295.60 c 1267s| 1780k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6256 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1299.56/1300.16 c 1272s| 1790k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6296 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1303.96/1304.58 c 1276s| 1800k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6332 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1308.65/1309.28 c 1280s| 1810k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6359 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1313.44/1314.04 c 1285s| 1820k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6398 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1318.15/1318.78 c 1290s| 1830k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6454 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1322.94/1323.50 c 1294s| 1840k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6493 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1327.54/1328.17 c 1299s| 1850k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1332.34/1332.98 c 1303s| 1860k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6555 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1336.94/1337.57 c 1308s| 1870k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1341.54/1342.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.54/1342.19 c 1312s| 1880k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6648 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1346.04/1346.69 c 1317s| 1890k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6700 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1350.83/1351.42 c 1321s| 1900k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6729 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1355.53/1356.11 c 1326s| 1910k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6759 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1360.23/1360.83 c 1330s| 1920k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6793 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1364.92/1365.58 c 1335s| 1930k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6827 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1369.62/1370.23 c 1340s| 1940k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6875 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1374.33/1374.94 c 1344s| 1950k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1378.92/1379.55 c 1349s| 1960k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6940 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1383.52/1384.12 c 1353s| 1970k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1388.12/1388.78 c 1358s| 1980k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7017 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1392.72/1393.39 c 1362s| 1990k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7059 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1397.21/1397.90 c 1367s| 2000k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7087 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1402.02/1402.68 c 1371s| 2010k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7115 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1406.61/1407.29 c 1376s| 2020k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7160 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1411.01/1411.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.01/1411.69 c 1380s| 2030k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7198 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1415.51/1416.17 c 1384s| 2040k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7245 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1420.10/1420.73 c 1389s| 2050k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7269 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1424.60/1425.29 c 1393s| 2060k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7296 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1429.50/1430.11 c 1398s| 2070k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7316 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1434.10/1434.76 c 1402s| 2080k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7365 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1438.89/1439.53 c 1407s| 2090k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7395 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1443.60/1444.21 c 1412s| 2100k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7433 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1448.20/1448.87 c 1416s| 2110k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7462 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1452.79/1453.44 c 1420s| 2120k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7530 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1457.59/1458.25 c 1425s| 2130k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7572 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1462.19/1462.84 c 1430s| 2140k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7622 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1466.70/1467.30 c 1434s| 2150k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7669 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1471.20/1471.89 c 1438s| 2160k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7703 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1475.68/1476.37 c 1443s| 2170k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7746 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1480.28/1480.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.28/1480.90 c 1447s| 2180k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7788 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1484.88/1485.54 c 1452s| 2190k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7823 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1489.38/1490.04 c 1456s| 2200k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7856 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1494.08/1494.75 c 1461s| 2210k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7885 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1498.78/1499.49 c 1465s| 2220k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7910 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1503.47/1504.15 c 1470s| 2230k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7939 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1508.17/1508.80 c 1474s| 2240k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7959 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1512.67/1513.36 c 1479s| 2250k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7980 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1517.38/1518.04 c 1483s| 2260k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8010 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1521.96/1522.66 c 1488s| 2270k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8085 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1526.76/1527.40 c 1492s| 2280k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1531.36/1532.09 c 1497s| 2290k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8140 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1536.26/1536.94 c 1502s| 2300k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8180 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1541.06/1541.79 c 1506s| 2310k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1545.76/1546.41 c 1511s| 2320k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1550.56/1551.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.56/1551.30 c 1516s| 2330k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8301 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1555.35/1556.09 c 1520s| 2340k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8330 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1560.16/1560.87 c 1525s| 2350k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8357 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1564.75/1565.40 c 1529s| 2360k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8383 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1569.35/1570.09 c 1534s| 2370k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1574.15/1574.81 c 1538s| 2380k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8461 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1578.85/1579.51 c 1543s| 2390k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8488 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1583.45/1584.15 c 1548s| 2400k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8510 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1588.14/1588.85 c 1552s| 2410k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8543 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1592.84/1593.53 c 1557s| 2420k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8570 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1597.54/1598.29 c 1561s| 2430k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1602.24/1602.98 c 1566s| 2440k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8629 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1606.94/1607.67 c 1570s| 2450k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8666 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1611.73/1612.40 c 1575s| 2460k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8699 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1616.43/1617.17 c 1580s| 2470k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8735 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1621.23/1621.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.23/1621.97 c 1584s| 2480k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8770 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1626.13/1626.90 c 1589s| 2490k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8800 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1630.92/1631.67 c 1594s| 2500k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8827 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1635.82/1636.59 c 1599s| 2510k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8867 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1640.72/1641.46 c 1603s| 2520k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |8902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1645.42/1646.18 c 1608s| 2530k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |8956 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1650.12/1650.87 c 1612s| 2540k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9016 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1654.83/1655.51 c 1617s| 2550k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9066 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1659.51/1660.28 c 1622s| 2560k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9103 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1664.31/1665.01 c 1626s| 2570k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9147 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1668.90/1669.67 c 1631s| 2580k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9189 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1673.70/1674.43 c 1635s| 2590k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9238 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1678.31/1679.03 c 1640s| 2600k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9273 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1683.10/1683.82 c 1644s| 2610k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9321 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1687.81/1688.58 c 1649s| 2620k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9356 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1692.60/1693.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.60/1693.35 c 1654s| 2630k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9399 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1697.30/1698.08 c 1658s| 2640k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9435 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1702.10/1702.90 c 1663s| 2650k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9497 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1706.89/1707.63 c 1668s| 2660k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9534 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1711.59/1712.30 c 1672s| 2670k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9593 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1716.19/1717.00 c 1677s| 2680k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9640 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1720.80/1721.58 c 1681s| 2690k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9685 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1725.59/1726.30 c 1686s| 2700k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9719 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1730.18/1730.97 c 1690s| 2710k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9762 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1734.99/1735.75 c 1695s| 2720k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1739.78/1740.52 c 1700s| 2730k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9890 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1744.38/1745.18 c 1704s| 2740k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9943 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1749.17/1749.98 c 1709s| 2750k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9983 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1753.88/1754.65 c 1713s| 2760k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1758.68/1759.41 c 1718s| 2770k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1763.28/1764.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.28/1764.07 c 1723s| 2780k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1767.98/1768.75 c 1727s| 2790k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1772.57/1773.32 c 1732s| 2800k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1777.27/1778.06 c 1736s| 2810k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1782.07/1782.86 c 1741s| 2820k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1786.57/1787.37 c 1745s| 2830k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1791.17/1791.93 c 1750s| 2840k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1795.96/1796.71 c 1754s| 2850k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1758.31
1800.07/1800.80 c Solving Nodes : 2858420
1800.07/1800.80 c Primal Bound : -3.30000000000000e+01 (19 solutions)
1800.07/1800.80 c Dual Bound : -4.49999999999418e+01
1800.07/1800.80 c Gap : 26.67 %
1800.07/1800.84 s SATISFIABLE
1800.07/1800.84 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
1800.07/1800.84 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
1800.07/1800.84 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
1800.07/1800.84 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
1800.07/1800.84 v -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.07/1800.84 v -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.07/1800.84 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.07/1800.84 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.07/1800.84 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.07/1800.84 v x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.07/1800.84 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.07/1800.84 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.07/1800.84 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.07/1800.84 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.07/1800.84 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.07/1800.84 v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.07/1800.84 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.07/1800.84 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.07/1800.84 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.07/1800.84 v -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.07/1800.84 v -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458
1800.07/1800.84 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.07/1800.84 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.07/1800.84 v x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.07/1800.84 v -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.07/1800.84 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.07/1800.84 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.07/1800.84 v -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.07/1800.84 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.07/1800.84 v -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647
1800.07/1800.84 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668
1800.07/1800.84 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.07/1800.84 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.07/1800.84 v -x711 x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.07/1800.84 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.07/1800.84 v -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.07/1800.84 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.07/1800.84 v -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.07/1800.84 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.07/1800.84 v -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.07/1800.84 v -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878
1800.07/1800.84 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.07/1800.84 v -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.07/1800.84 v -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.07/1800.84 v -x942 -x943 -x944 x945
1800.07/1800.84 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.84 c Solving Time : 1758.31
1800.07/1800.84 c Original Problem :
1800.07/1800.84 c Problem name : HOME/instance-2665646-1276501196.opb
1800.07/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.84 c Constraints : 58579 initial, 58579 maximal
1800.07/1800.84 c Presolved Problem :
1800.07/1800.84 c Problem name : t_HOME/instance-2665646-1276501196.opb
1800.07/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.84 c Constraints : 58579 initial, 58595 maximal
1800.07/1800.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.84 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c probing : 1.29 0 0 0 0 0 0 0 0
1800.07/1800.84 c logicor : 0.19 0 0 0 0 0 0 0 0
1800.07/1800.84 c root node : - 0 - - 0 - - - -
1800.07/1800.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.84 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.84 c logicor : 58579+ 33 2914297 0 0 158897 5651644 0 0 0
1800.07/1800.84 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.84 c integral : 257.38 0.00 0.00 257.38 0.00
1800.07/1800.84 c logicor : 397.35 0.30 397.05 0.00 0.00
1800.07/1800.84 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.84 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.84 c vbounds : 2.57 2 0 0
1800.07/1800.84 c rootredcost : 2.45 0 0 0
1800.07/1800.84 c pseudoobj : 398.41 4562714 1131694 1384047
1800.07/1800.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.84 c propagation : 174.73 158897 10433 10433 42.5 0 0.0 -
1800.07/1800.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c pseudo solution : 199.32 140459 0 0 0.0 0 0.0 -
1800.07/1800.84 c applied globally : - - - 10433 42.5 - - -
1800.07/1800.84 c applied locally : - - - 0 0.0 - - -
1800.07/1800.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.84 c cut pool : 0.00 32 - - 92 - (maximal pool size: 766)
1800.07/1800.84 c redcost : 0.00 33 0 0 0 0
1800.07/1800.84 c impliedbounds : 0.06 33 0 0 0 0
1800.07/1800.84 c intobj : 0.00 0 0 0 0 0
1800.07/1800.84 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.84 c gomory : 47.11 33 0 0 15947 0
1800.07/1800.84 c strongcg : 3.60 20 0 0 10000 0
1800.07/1800.84 c cmir : 13.76 10 0 0 0 0
1800.07/1800.84 c flowcover : 14.49 10 0 0 0 0
1800.07/1800.84 c clique : 1.76 33 0 0 291 0
1800.07/1800.84 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.84 c mcf : 0.10 1 0 0 0 0
1800.07/1800.84 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.84 c Pricers : Time Calls Vars
1800.07/1800.84 c problem variables: 0.00 0 0
1800.07/1800.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.84 c relpscost : 257.38 1 0 0 0 0 2
1800.07/1800.84 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.84 c inference : 13.83 1434243 0 0 0 0 2868486
1800.07/1800.84 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c random : 0.00 0 0 0 0 0 0
1800.07/1800.84 c Primal Heuristics : Time Calls Found
1800.07/1800.84 c LP solutions : 0.00 - 0
1800.07/1800.84 c pseudo solutions : 0.00 - 0
1800.07/1800.84 c crossover : 0.00 0 0
1800.07/1800.84 c oneopt : 2.07 2 1
1800.07/1800.84 c trivial : 0.04 2 3
1800.07/1800.84 c simplerounding : 0.07 34 11
1800.07/1800.84 c zirounding : 0.02 1 1
1800.07/1800.84 c rounding : 1.15 34 1
1800.07/1800.84 c shifting : 1.54 34 1
1800.07/1800.84 c intshifting : 0.00 0 0
1800.07/1800.84 c twoopt : 0.00 0 0
1800.07/1800.84 c fixandinfer : 0.00 0 0
1800.07/1800.84 c feaspump : 0.00 0 0
1800.07/1800.84 c coefdiving : 0.00 0 0
1800.07/1800.84 c pscostdiving : 0.00 0 0
1800.07/1800.84 c fracdiving : 0.00 0 0
1800.07/1800.84 c veclendiving : 0.00 0 0
1800.07/1800.84 c intdiving : 0.00 0 0
1800.07/1800.84 c actconsdiving : 0.00 0 0
1800.07/1800.84 c objpscostdiving : 0.00 0 0
1800.07/1800.84 c rootsoldiving : 0.00 0 0
1800.07/1800.84 c linesearchdiving : 0.00 0 0
1800.07/1800.84 c guideddiving : 0.00 0 0
1800.07/1800.84 c octane : 0.00 0 0
1800.07/1800.84 c rens : 2.07 1 1
1800.07/1800.84 c rins : 0.00 0 0
1800.07/1800.84 c localbranching : 0.00 0 0
1800.07/1800.84 c mutation : 0.00 0 0
1800.07/1800.84 c dins : 0.00 0 0
1800.07/1800.84 c undercover : 0.00 0 0
1800.07/1800.84 c nlp : 1.79 0 0
1800.07/1800.84 c trysol : 1.46 0 0
1800.07/1800.84 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.84 c primal LP : 0.26 0 0 0.00 0.00
1800.07/1800.84 c dual LP : 105.76 34 15097 444.03 142.75
1800.07/1800.84 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.84 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.84 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.84 c strong branching : 257.38 33 29064 880.73 112.92
1800.07/1800.84 c (at root node) : - 33 29064 880.73 -
1800.07/1800.84 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.84 c B&B Tree :
1800.07/1800.84 c number of runs : 1
1800.07/1800.84 c nodes : 2858420
1800.07/1800.84 c nodes (total) : 2858420
1800.07/1800.84 c nodes left : 22
1800.07/1800.84 c max depth : 71
1800.07/1800.84 c max depth (total): 71
1800.07/1800.84 c backtracks : 485633 (17.0%)
1800.07/1800.84 c delayed cutoffs : 7588
1800.07/1800.84 c repropagations : 8504 (30599 domain reductions, 6874 cutoffs)
1800.07/1800.84 c avg switch length: 2.00
1800.07/1800.84 c switching time : 151.91
1800.07/1800.84 c Solution :
1800.07/1800.84 c Solutions found : 19 (4 improvements)
1800.07/1800.84 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.07/1800.84 c Primal Bound : -3.30000000000000e+01 (in run 1, after 1 nodes, 8.48 seconds, depth 0, found by <oneopt>)
1800.07/1800.84 c Dual Bound : -4.49999999999418e+01
1800.07/1800.84 c Gap : 26.67 %
1800.07/1800.84 c Root Dual Bound : -4.49999999999999e+01
1800.07/1800.84 c Root Iterations : 15097
1800.26/1801.07 c Time complete: 1800.33.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665646-1276501196/watcher-2665646-1276501196 -o /tmp/evaluation-result-2665646-1276501196/solver-2665646-1276501196 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665646-1276501196.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.01 1.00 3/106 30786 /proc/meminfo: memFree=1803376/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=9288 CPUtime=0 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 1057 0 0 0 0 0 0 0 15 0 1 0 25721160 9510912 977 1992294400 4194304 9819077 140736582369616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 2322 987 371 1374 0 943 0 [startup+0.097494 s] /proc/loadavg: 0.95 1.01 1.00 3/106 30786 /proc/meminfo: memFree=1803376/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=13752 CPUtime=0.09 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 2367 0 0 0 9 0 0 0 17 0 1 0 25721160 14082048 2287 1992294400 4194304 9819077 140736582369616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 3438 2287 388 1374 0 2059 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13752 [startup+0.101494 s] /proc/loadavg: 0.95 1.01 1.00 3/106 30786 /proc/meminfo: memFree=1803376/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=14716 CPUtime=0.09 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 2609 0 0 0 9 0 0 0 17 0 1 0 25721160 15069184 2529 1992294400 4194304 9819077 140736582369616 18446744073709551615 4240605 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 3679 2529 388 1374 0 2300 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14716 [startup+0.301533 s] /proc/loadavg: 0.95 1.01 1.00 3/106 30786 /proc/meminfo: memFree=1803376/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=18272 CPUtime=0.29 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 3501 0 0 0 28 1 0 0 17 0 1 0 25721160 18710528 3421 1992294400 4194304 9819077 140736582369616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 4568 3421 388 1374 0 3189 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18272 [startup+0.701611 s] /proc/loadavg: 0.95 1.01 1.00 3/106 30786 /proc/meminfo: memFree=1803376/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=26024 CPUtime=0.69 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 5448 0 0 0 68 1 0 0 17 0 1 0 25721160 26648576 5368 1992294400 4194304 9819077 140736582369616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 6506 5368 388 1374 0 5127 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26024 [startup+1.50177 s] /proc/loadavg: 0.95 1.01 1.00 2/107 30787 /proc/meminfo: memFree=1776956/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=78496 CPUtime=1.49 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 18695 0 0 0 139 10 0 0 18 0 1 0 25721160 80379904 18216 1992294400 4194304 9819077 140736582369616 18446744073709551615 4333587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 19624 18216 490 1374 0 18245 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 78496 [startup+3.10108 s] /proc/loadavg: 0.95 1.01 1.00 2/107 30787 /proc/meminfo: memFree=1727852/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=83040 CPUtime=3.09 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 27314 0 0 0 287 22 0 0 21 0 1 0 25721160 85032960 19275 1992294400 4194304 9819077 140736582369616 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 20760 19275 508 1374 0 19381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83040 [startup+6.3017 s] /proc/loadavg: 0.95 1.00 1.00 2/107 30787 /proc/meminfo: memFree=1680484/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=175732 CPUtime=6.29 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 53035 0 0 0 590 39 0 0 25 0 1 0 25721160 179949568 31458 1992294400 4194304 9819077 140736582369616 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 43933 31458 663 1374 0 42554 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 175732 [startup+12.701 s] /proc/loadavg: 0.96 1.00 1.00 2/107 30787 /proc/meminfo: memFree=1679244/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=174632 CPUtime=12.69 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 61570 0 0 0 1225 44 0 0 25 0 1 0 25721160 178823168 31481 1992294400 4194304 9819077 140736582369616 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 43658 31481 665 1374 0 42279 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 174632 [startup+25.5015 s] /proc/loadavg: 0.97 1.00 1.00 2/107 30787 /proc/meminfo: memFree=1678996/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=172576 CPUtime=25.47 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 80650 0 0 0 2496 51 0 0 25 0 1 0 25721160 176717824 31303 1992294400 4194304 9819077 140736582369616 18446744073709551615 7302712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 43144 31303 666 1374 0 41765 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 172576 [startup+51.1015 s] /proc/loadavg: 0.98 1.00 1.00 2/107 30787 /proc/meminfo: memFree=1678872/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=171140 CPUtime=51.07 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 111416 0 0 0 5041 66 0 0 25 0 1 0 25721160 175247360 31654 1992294400 4194304 9819077 140736582369616 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 42785 31654 666 1374 0 41406 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 171140 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30789 /proc/meminfo: memFree=1678624/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=166776 CPUtime=102.25 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 182354 0 0 0 10126 99 0 0 25 0 1 0 25721160 170778624 31659 1992294400 4194304 9819077 140736582369616 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 41694 31659 675 1374 0 40315 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 166776 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30791 /proc/meminfo: memFree=1676268/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=167672 CPUtime=162.22 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 343313 0 0 0 16040 182 0 0 25 0 1 0 25721160 171696128 32194 1992294400 4194304 9819077 140736582369616 18446744073709551615 6043630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 41918 32194 675 1374 0 40539 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 167672 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30793 /proc/meminfo: memFree=1661512/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=217572 CPUtime=222.2 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 442031 0 0 0 21967 253 0 0 25 0 1 0 25721160 222793728 35909 1992294400 4194304 9819077 140736582369616 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 54393 35909 715 1374 0 53014 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 217572 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30795 /proc/meminfo: memFree=1660644/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=217572 CPUtime=282.17 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 500666 0 0 0 27931 286 0 0 25 0 1 0 25721160 222793728 35600 1992294400 4194304 9819077 140736582369616 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 54393 35600 715 1374 0 53014 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 217572 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30795 /proc/meminfo: memFree=1660768/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=217572 CPUtime=342.16 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 551687 0 0 0 33900 316 0 0 25 0 1 0 25721160 222793728 36120 1992294400 4194304 9819077 140736582369616 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 54393 36120 715 1374 0 53014 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 217572 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30797 /proc/meminfo: memFree=1661884/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=217572 CPUtime=402.13 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 601115 0 0 0 39868 345 0 0 25 0 1 0 25721160 222793728 35901 1992294400 4194304 9819077 140736582369616 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 54393 35901 715 1374 0 53014 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 217572 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30799 /proc/meminfo: memFree=1668704/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=462.1 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 45826 384 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 176076 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30801 /proc/meminfo: memFree=1668580/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=522.08 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 51661 547 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4998685 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 176076 [startup+582.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30803 /proc/meminfo: memFree=1668456/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=582.05 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 57493 712 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 176076 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30803 /proc/meminfo: memFree=1668332/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=642.04 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 63331 873 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 176076 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30811 /proc/meminfo: memFree=1667836/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=881.94 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 86669 1525 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4349973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 176076 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30811 /proc/meminfo: memFree=1667836/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=941.91 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 92495 1696 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4703762 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 176076 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30813 /proc/meminfo: memFree=1667712/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1001.89 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 98321 1868 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 176076 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30815 /proc/meminfo: memFree=1667588/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1061.87 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 104147 2040 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4703292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 176076 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30817 /proc/meminfo: memFree=1667464/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1121.84 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 109968 2216 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 176076 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30819 /proc/meminfo: memFree=1667340/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1181.82 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 115793 2389 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 176076 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30819 /proc/meminfo: memFree=1667092/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1241.79 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 121629 2550 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 176076 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30830 /proc/meminfo: memFree=1666224/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1301.76 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 127459 2717 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 176076 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30832 /proc/meminfo: memFree=1666224/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1361.72 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 133288 2884 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 176076 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30834 /proc/meminfo: memFree=1666348/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1421.71 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 139122 3049 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 176076 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30836 /proc/meminfo: memFree=1666348/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1481.69 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 144952 3217 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 176076 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30836 /proc/meminfo: memFree=1666348/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1541.66 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 150783 3383 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 176076 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30838 /proc/meminfo: memFree=1666224/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1601.64 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 156616 3548 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 176076 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30840 /proc/meminfo: memFree=1666224/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1661.62 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 162451 3711 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 176076 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30842 /proc/meminfo: memFree=1665976/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1721.59 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 168288 3871 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 176076 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30844 /proc/meminfo: memFree=1665728/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1781.57 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 174126 4031 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 176076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30844 /proc/meminfo: memFree=1665728/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=176076 CPUtime=1800.07 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645204 0 0 0 175929 4078 0 0 25 0 1 0 25721160 180301824 34087 1992294400 4194304 9819077 140736582369616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30786/statm: 44019 34087 719 1374 0 42640 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 176076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 1.00 1.00 2/107 30844 /proc/meminfo: memFree=1665728/2059040 swapFree=4136184/4192956 [pid=30786] ppid=30784 vsize=155360 CPUtime=1800.26 /proc/30786/stat : 30786 (pbscip.linux.x8) R 30784 30786 30154 0 -1 4202496 645263 0 0 0 175948 4078 0 0 25 0 1 0 25721160 159088640 28930 1992294400 4194304 9819077 140736582369616 18446744073709551615 4383984 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30786/statm: 38840 28930 720 1374 0 37461 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 155360 Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.35 CPU user time (s): 1759.55 CPU system time (s): 40.7998 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 238400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.55 system time used= 40.7998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 645267 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 20969 runsolver used 2.90156 second user time and 8.59969 second system time The end
Begin job on node011 at 2010-06-14 09:39:56 IDJOB=2665646 IDBENCH=2254 IDSOLVER=1168 FILE ID=node011/2665646-1276501196 PBS_JOBID= 11173397 Free space on /tmp= 62264 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665646-1276501196/watcher-2665646-1276501196 -o /tmp/evaluation-result-2665646-1276501196/solver-2665646-1276501196 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665646-1276501196.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED=431161488 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803904 kB Buffers: 72412 kB Cached: 106576 kB SwapCached: 9796 kB Active: 97204 kB Inactive: 94196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803904 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 7572 kB Writeback: 0 kB AnonPages: 10880 kB Mapped: 9144 kB Slab: 41932 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180332 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62256 MiB End job on node011 at 2010-06-14 10:09:59