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.3 | 1800.78 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
| MD5SUM | e1b2be59a127acc8d929395698929541 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 1789.87 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -45 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58549 |
| Number of constraints which are clauses | 58549 |
| 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-2665476-1276500352.opb>
0.89/0.93 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 constraints
0.89/0.93 c problem read
0.89/0.93 c presolving settings loaded
0.99/1.08 o 0
0.99/1.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.99/1.08 c presolving:
1.79/1.84 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58549 upgd conss, 117098 impls, 0 clqs
3.30/3.34 c (2.2s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.30/3.34 c (2.2s) probing aborted: 100/100 successive totally useless probings
3.30/3.34 c presolving (2 rounds):
3.30/3.34 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.30/3.34 c 117098 implications, 0 cliques
3.30/3.34 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 constraints
3.30/3.34 c 58549 constraints of type <logicor>
3.30/3.34 c transformed objective value is always integral (scale: 1)
3.30/3.34 c Presolving Time: 2.10
3.30/3.34 c - non default parameters ----------------------------------------------------------------------
3.30/3.34 c # SCIP version 1.2.1.2
3.30/3.34 c
3.30/3.34 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.34 c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.34 c conflict/interconss = 0
3.30/3.34 c
3.30/3.34 c # should binary conflicts be preferred?
3.30/3.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.34 c conflict/preferbinary = TRUE
3.30/3.34 c
3.30/3.34 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.34 c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.34 c constraints/agelimit = 1
3.30/3.34 c
3.30/3.34 c # should enforcement of pseudo solution be disabled?
3.30/3.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.34 c constraints/disableenfops = TRUE
3.30/3.34 c
3.30/3.34 c # frequency for displaying node information lines
3.30/3.34 c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.34 c display/freq = 10000
3.30/3.34 c
3.30/3.34 c # maximal time in seconds to run
3.30/3.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.34 c limits/time = 1799.08
3.30/3.34 c
3.30/3.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.34 c limits/memory = 1620
3.30/3.34 c
3.30/3.34 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.34 c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.34 c lp/solvefreq = 0
3.30/3.34 c
3.30/3.34 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.34 c # [type: char, range: {lafpsqd}, default: l]
3.30/3.34 c lp/pricing = a
3.30/3.34 c
3.30/3.34 c # should presolving try to simplify inequalities
3.30/3.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.34 c constraints/linear/simplifyinequalities = TRUE
3.30/3.34 c
3.30/3.34 c # should presolving try to simplify knapsacks
3.30/3.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.34 c constraints/knapsack/simplifyinequalities = TRUE
3.30/3.34 c
3.30/3.34 c # priority of node selection rule <dfs> in standard mode
3.30/3.34 c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.34 c nodeselection/dfs/stdpriority = 1000000
3.30/3.34 c
3.30/3.34 c -----------------------------------------------------------------------------------------------
3.30/3.34 c start solving
3.30/3.34 c
4.30/4.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.30/4.33 c t 3.1s| 1 | 0 | 1022 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
4.39/4.45 o -1
4.39/4.45 c R 3.2s| 1 | 0 | 1022 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
9.99/10.07 c 8.7s| 1 | 0 | 1426 | - | 65M| 0 | 880 | 945 | 58k| 945 | 58k| 12 | 0 | 0 |-4.400000e+02 |-1.000000e+00 | 99.77%
10.08/10.12 o -31
10.08/10.12 c b 8.8s| 1 | 0 | 1426 | - | 65M| 0 | 880 | 945 | 58k| 945 | 58k| 12 | 0 | 0 |-4.400000e+02 |-3.100000e+01 | 92.95%
17.09/17.14 c 15.8s| 1 | 0 | 1788 | - | 65M| 0 | 840 | 945 | 58k| 945 | 58k| 16 | 0 | 0 |-4.200000e+02 |-3.100000e+01 | 92.62%
22.88/23.00 c 21.6s| 1 | 0 | 2075 | - | 65M| 0 | 801 | 945 | 58k| 945 | 58k| 23 | 0 | 0 |-4.005000e+02 |-3.100000e+01 | 92.26%
31.98/32.00 c 30.5s| 1 | 0 | 2535 | - | 65M| 0 | 762 | 945 | 58k| 945 | 58k| 32 | 0 | 0 |-3.810000e+02 |-3.100000e+01 | 91.86%
42.79/42.88 c 41.4s| 1 | 0 | 3120 | - | 65M| 0 | 726 | 945 | 58k| 945 | 58k| 37 | 0 | 0 |-3.630000e+02 |-3.100000e+01 | 91.46%
52.87/52.90 c 51.3s| 1 | 0 | 3666 | - | 65M| 0 | 685 | 945 | 58k| 945 | 58k| 46 | 0 | 0 |-3.425000e+02 |-3.100000e+01 | 90.95%
59.68/59.71 c 58.1s| 1 | 0 | 3979 | - | 65M| 0 | 647 | 945 | 58k| 945 | 58k| 54 | 0 | 0 |-3.235000e+02 |-3.100000e+01 | 90.42%
67.57/67.65 c 66.0s| 1 | 0 | 4383 | - | 65M| 0 | 609 | 945 | 58k| 945 | 58k| 61 | 0 | 0 |-3.045000e+02 |-3.100000e+01 | 89.82%
76.07/76.11 c 74.4s| 1 | 0 | 4834 | - | 65M| 0 | 573 | 945 | 58k| 945 | 58k| 69 | 0 | 0 |-2.865000e+02 |-3.100000e+01 | 89.18%
84.17/84.20 c 82.4s| 1 | 0 | 5277 | - | 65M| 0 | 544 | 945 | 58k| 945 | 58k| 83 | 0 | 0 |-2.720000e+02 |-3.100000e+01 | 88.60%
91.36/91.45 c 89.6s| 1 | 0 | 5923 | - | 65M| 0 | 506 | 945 | 58k| 945 | 58k| 87 | 0 | 0 |-2.530000e+02 |-3.100000e+01 | 87.75%
97.97/98.03 c 96.1s| 1 | 0 | 6506 | - | 65M| 0 | 469 | 945 | 58k| 945 | 58k| 93 | 0 | 0 |-2.345000e+02 |-3.100000e+01 | 86.78%
102.96/103.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.96/103.02 c 101s| 1 | 0 | 7053 | - | 65M| 0 | 429 | 945 | 58k| 945 | 58k| 99 | 0 | 0 |-2.145000e+02 |-3.100000e+01 | 85.55%
108.06/108.17 c 106s| 1 | 0 | 7644 | - | 65M| 0 | 389 | 945 | 58k| 945 | 58k| 111 | 0 | 0 |-1.945000e+02 |-3.100000e+01 | 84.06%
113.76/113.89 c 112s| 1 | 0 | 8303 | - | 65M| 0 | 350 | 945 | 58k| 945 | 58k| 118 | 0 | 0 |-1.750000e+02 |-3.100000e+01 | 82.29%
119.06/119.16 c 117s| 1 | 0 | 8932 | - | 65M| 0 | 313 | 945 | 58k| 945 | 58k| 125 | 0 | 0 |-1.565000e+02 |-3.100000e+01 | 80.19%
123.96/124.03 c 122s| 1 | 0 | 9555 | - | 66M| 0 | 274 | 945 | 58k| 945 | 58k| 134 | 0 | 0 |-1.370000e+02 |-3.100000e+01 | 77.37%
128.96/129.00 c 127s| 1 | 0 | 10231 | - | 66M| 0 | 240 | 945 | 58k| 945 | 58k| 140 | 0 | 0 |-1.190000e+02 |-3.100000e+01 | 73.95%
131.66/131.78 c 130s| 1 | 0 | 10687 | - | 66M| 0 | 205 | 945 | 58k| 945 | 58k| 148 | 0 | 0 |-1.015000e+02 |-3.100000e+01 | 69.46%
135.76/135.82 c 133s| 1 | 0 | 11242 | - | 66M| 0 | 168 | 945 | 58k| 945 | 58k| 157 | 0 | 0 |-8.400000e+01 |-3.100000e+01 | 63.10%
137.37/137.41 c 135s| 1 | 0 | 11552 | - | 66M| 0 | 152 | 945 | 58k| 945 | 58k| 163 | 0 | 0 |-7.600000e+01 |-3.100000e+01 | 59.21%
138.36/138.42 c 136s| 1 | 0 | 11760 | - | 66M| 0 | 144 | 945 | 58k| 945 | 58k| 171 | 0 | 0 |-6.750000e+01 |-3.100000e+01 | 54.07%
140.45/140.55 c 138s| 1 | 0 | 12180 | - | 66M| 0 | 149 | 945 | 58k| 945 | 58k| 181 | 0 | 0 |-5.450000e+01 |-3.100000e+01 | 43.12%
141.45/141.52 c 139s| 1 | 0 | 12425 | - | 66M| 0 | 151 | 945 | 58k| 945 | 58k| 192 | 0 | 0 |-4.900000e+01 |-3.100000e+01 | 36.73%
142.26/142.30 c 140s| 1 | 0 | 12536 | - | 66M| 0 | 151 | 945 | 58k| 945 | 58k| 202 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
143.35/143.40 c 141s| 1 | 0 | 12705 | - | 66M| 0 | 194 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
145.76/145.80 c 143s| 1 | 0 | 13059 | - | 66M| 0 | 239 | 945 | 58k| 945 | 58k| 226 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
163.35/163.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.35/163.47 c 161s| 1 | 0 | 13386 | - | 66M| 0 | 282 | 945 | 58k| 945 | 58k| 237 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
186.04/186.14 c 183s| 1 | 0 | 13751 | - | 66M| 0 | 304 | 945 | 58k| 945 | 58k| 247 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
211.24/211.33 c 208s| 1 | 0 | 14238 | - | 66M| 0 | 333 | 945 | 58k| 945 | 58k| 254 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
410.89/411.07 c 406s| 1 | 2 | 14238 | - | 66M| 0 | 333 | 945 | 58k| 945 | 58k| 254 | 0 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
415.69/415.84 c 411s| 10000 | 21 | 14238 | 0.0 | 66M| 40 | - | 945 | 58k| 0 | 0 | 254 | 50 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
416.88/417.02 o -32
416.88/417.02 c * 412s| 12532 | 25 | 14238 | 0.0 | 66M| 41 | - | 945 | 58k| 0 | 0 | 254 | 71 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
420.48/420.60 c 416s| 20000 | 22 | 14238 | 0.0 | 66M| 44 | - | 945 | 58k| 0 | 0 | 254 | 104 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
425.08/425.27 c 420s| 30000 | 22 | 14238 | 0.0 | 66M| 45 | - | 945 | 58k| 0 | 0 | 254 | 168 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
429.68/429.83 c 425s| 40000 | 23 | 14238 | 0.0 | 66M| 45 | - | 945 | 58k| 0 | 0 | 254 | 201 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
434.58/434.75 c 429s| 50000 | 22 | 14238 | 0.0 | 66M| 47 | - | 945 | 58k| 0 | 0 | 254 | 243 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
439.18/439.39 c 434s| 60000 | 22 | 14238 | 0.0 | 66M| 47 | - | 945 | 58k| 0 | 0 | 254 | 274 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
443.98/444.18 c 439s| 70000 | 21 | 14238 | 0.0 | 66M| 48 | - | 945 | 58k| 0 | 0 | 254 | 318 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
448.77/448.92 c 443s| 80000 | 20 | 14238 | 0.0 | 66M| 48 | - | 945 | 58k| 0 | 0 | 254 | 367 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
453.67/453.83 c 448s| 90000 | 20 | 14238 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 254 | 417 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
458.37/458.56 c 453s|100000 | 20 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 471 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
463.07/463.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.07/463.25 c 457s|110000 | 21 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 505 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
467.86/468.02 c 462s|120000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 551 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
472.57/472.73 c 466s|130000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 581 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
477.27/477.47 c 471s|140000 | 20 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 624 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
481.86/482.02 c 475s|150000 | 21 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 681 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
486.47/486.68 c 480s|160000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 734 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
491.16/491.35 c 485s|170000 | 20 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 773 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
496.06/496.24 c 489s|180000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 804 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
500.66/500.87 c 494s|190000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 853 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
505.25/505.45 c 498s|200000 | 20 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 897 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
507.86/508.01 o -33
507.86/508.01 c * 501s|205569 | 19 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 915 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
509.85/510.09 c 503s|210000 | 21 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
514.56/514.77 c 507s|220000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 966 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
519.25/519.42 c 512s|230000 | 22 | 14238 | 0.0 | 66M| 51 | - | 945 | 58k| 0 | 0 | 254 | 993 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
523.85/524.07 c 516s|240000 | 22 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1019 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
528.45/528.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.45/528.65 c 521s|250000 | 23 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1077 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
533.15/533.30 c 525s|260000 | 20 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1121 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
537.65/537.90 c 530s|270000 | 22 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1155 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
542.35/542.55 c 534s|280000 | 21 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1204 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
546.95/547.12 c 539s|290000 | 21 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1225 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
551.64/551.81 c 543s|300000 | 21 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1269 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
556.35/556.50 c 548s|310000 | 20 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1320 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
560.94/561.15 c 552s|320000 | 21 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1360 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
565.54/565.77 c 557s|330000 | 19 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1407 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
570.14/570.39 c 561s|340000 | 22 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
574.74/574.95 c 566s|350000 | 20 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1464 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
579.54/579.74 c 570s|360000 | 19 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1511 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
584.13/584.32 c 575s|370000 | 23 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1549 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
588.74/588.96 c 579s|380000 | 21 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1586 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
593.33/593.54 c 584s|390000 | 19 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1620 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
597.84/598.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.84/598.02 c 588s|400000 | 22 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1649 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
602.34/602.59 c 593s|410000 | 19 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1684 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
606.94/607.20 c 597s|420000 | 20 | 14238 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 254 |1711 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
611.52/611.79 c 601s|430000 | 23 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1750 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
616.33/616.55 c 606s|440000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1796 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
621.02/621.26 c 611s|450000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1847 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
625.53/625.75 c 615s|460000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1877 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
630.13/630.38 c 619s|470000 | 23 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1913 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
634.83/635.03 c 624s|480000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1946 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
639.32/639.53 c 628s|490000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |1982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.02/644.27 c 633s|500000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2009 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
648.92/649.14 c 638s|510000 | 23 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2059 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
653.62/653.89 c 642s|520000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2100 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
658.31/658.52 c 647s|530000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2140 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
662.71/662.99 c 651s|540000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2174 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
667.31/667.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.31/667.57 c 656s|550000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2208 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
671.92/672.19 c 660s|560000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2247 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
676.41/676.63 c 664s|570000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2288 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
680.91/681.17 c 669s|580000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2312 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
685.51/685.70 c 673s|590000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2362 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
690.01/690.24 c 678s|600000 | 23 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2401 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
694.71/694.93 c 682s|610000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
699.31/699.51 c 687s|620000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2487 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
703.90/704.16 c 691s|630000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
708.61/708.83 c 696s|640000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2554 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
713.20/713.46 c 700s|650000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2584 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
717.90/718.10 c 705s|660000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2627 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
722.41/722.62 c 709s|670000 | 19 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2644 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
727.20/727.40 c 714s|680000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2687 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
731.79/732.09 c 718s|690000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2732 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
736.39/736.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.39/736.61 c 723s|700000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2771 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
740.80/741.05 c 727s|710000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2803 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
745.29/745.57 c 731s|720000 | 18 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2842 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
749.90/750.14 c 736s|730000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2888 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
754.49/754.75 c 740s|740000 | 20 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
759.19/759.46 c 745s|750000 | 22 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2941 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
763.78/764.03 c 749s|760000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |2981 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
768.38/768.62 c 754s|770000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3037 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
773.10/773.32 c 758s|780000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3065 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
777.79/778.02 c 763s|790000 | 18 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3099 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
782.39/782.68 c 767s|800000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3130 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
786.99/787.27 c 772s|810000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3172 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
791.48/791.73 c 776s|820000 | 21 | 14238 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 254 |3201 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
795.98/796.23 c 780s|830000 | 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3225 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
800.68/800.95 c 785s|840000 | 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
805.38/805.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.38/805.68 c 790s|850000 | 22 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3297 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
810.17/810.41 c 794s|860000 | 22 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3319 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
814.78/815.07 c 799s|870000 | 22 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3369 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
819.37/819.67 c 803s|880000 | 19 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3397 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
823.97/824.23 c 808s|890000 | 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3439 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
828.57/828.83 c 812s|900000 | 19 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3473 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
833.17/833.44 c 817s|910000 | 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3501 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
837.77/838.01 c 821s|920000 | 20 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3539 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
842.27/842.55 c 825s|930000 | 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3585 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
847.07/847.35 c 830s|940000 | 20 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3622 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
851.87/852.12 c 835s|950000 | 20 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3671 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
856.36/856.69 c 839s|960000 | 22 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3713 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
861.07/861.32 c 844s|970000 | 19 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3746 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
865.56/865.85 c 848s|980000 | 19 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3784 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
870.06/870.31 c 852s|990000 | 20 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3830 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
874.66/874.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.66/874.99 c 857s| 1000k| 21 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3858 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
879.15/879.45 c 861s| 1010k| 20 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3906 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
883.55/883.83 c 865s| 1020k| 22 | 14238 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 254 |3959 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
888.25/888.55 c 870s| 1030k| 22 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |3999 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
893.05/893.32 c 875s| 1040k| 22 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4056 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
897.75/898.01 c 879s| 1050k| 23 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4123 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
902.55/902.85 c 884s| 1060k| 20 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4179 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
907.35/907.69 c 889s| 1070k| 17 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4231 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
912.05/912.30 c 893s| 1080k| 20 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4261 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
916.45/916.79 c 897s| 1090k| 21 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4323 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
921.04/921.37 c 902s| 1100k| 21 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4355 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
925.64/925.94 c 906s| 1110k| 21 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4379 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
930.14/930.45 c 911s| 1120k| 17 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4414 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
934.84/935.11 c 915s| 1130k| 17 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4435 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
939.34/939.68 c 920s| 1140k| 19 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4473 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
943.94/944.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.94/944.20 c 924s| 1150k| 19 | 14238 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 254 |4499 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
948.34/948.64 c 928s| 1160k| 18 | 14238 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 254 |4526 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
952.84/953.17 c 933s| 1170k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4566 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
957.54/957.86 c 937s| 1180k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4594 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
962.15/962.47 c 942s| 1190k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4621 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
966.93/967.20 c 946s| 1200k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4676 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
971.63/971.91 c 951s| 1210k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4726 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
976.33/976.60 c 956s| 1220k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4796 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
981.03/981.33 c 960s| 1230k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
985.43/985.71 c 964s| 1240k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4898 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
989.93/990.27 c 969s| 1250k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
994.42/994.71 c 973s| 1260k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4954 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
998.93/999.21 c 977s| 1270k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |4992 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1003.22/1003.54 c 982s| 1280k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5043 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1007.52/1007.89 c 986s| 1290k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5083 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1012.12/1012.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.12/1012.43 c 990s| 1300k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5117 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1016.72/1017.01 c 995s| 1310k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5135 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1021.32/1021.60 c 999s| 1320k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5169 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1025.72/1026.09 c 1003s| 1330k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5208 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1030.22/1030.56 c 1008s| 1340k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1034.82/1035.12 c 1012s| 1350k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5308 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1039.22/1039.58 c 1017s| 1360k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5343 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1043.71/1044.06 c 1021s| 1370k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5367 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1048.41/1048.75 c 1025s| 1380k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5404 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1052.91/1053.20 c 1030s| 1390k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5429 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1057.41/1057.73 c 1034s| 1400k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5460 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1061.91/1062.24 c 1039s| 1410k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5501 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1066.40/1066.71 c 1043s| 1420k| 25 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5530 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1070.91/1071.26 c 1047s| 1430k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5582 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1075.30/1075.65 c 1052s| 1440k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5614 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1079.61/1079.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.61/1079.95 c 1056s| 1450k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5653 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1084.21/1084.52 c 1060s| 1460k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5698 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1088.61/1088.99 c 1064s| 1470k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5735 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1093.11/1093.45 c 1069s| 1480k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5770 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1097.51/1097.88 c 1073s| 1490k| 24 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5811 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1101.81/1102.15 c 1077s| 1500k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5835 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1106.40/1106.73 c 1082s| 1510k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5860 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1110.80/1111.12 c 1086s| 1520k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5905 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1115.30/1115.67 c 1090s| 1530k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5942 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1119.99/1120.36 c 1095s| 1540k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5979 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1124.59/1124.92 c 1099s| 1550k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |5999 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.99/1129.31 c 1104s| 1560k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6028 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1133.39/1133.75 c 1108s| 1570k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6049 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.99/1138.33 c 1112s| 1580k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6073 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1142.68/1143.05 c 1117s| 1590k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6118 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1147.28/1147.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.28/1147.61 c 1121s| 1600k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6136 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1151.98/1152.39 c 1126s| 1610k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6177 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1156.69/1157.04 c 1130s| 1620k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6219 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1161.29/1161.63 c 1135s| 1630k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6245 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1165.99/1166.34 c 1140s| 1640k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6281 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1170.88/1171.29 c 1144s| 1650k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6332 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1175.88/1176.21 c 1149s| 1660k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6360 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1180.87/1181.21 c 1154s| 1670k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6414 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1185.68/1186.07 c 1159s| 1680k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6443 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1190.57/1190.96 c 1163s| 1690k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6476 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1195.38/1195.72 c 1168s| 1700k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6505 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1199.87/1200.29 c 1173s| 1710k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6527 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1204.57/1204.92 c 1177s| 1720k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6567 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1209.27/1209.64 c 1182s| 1730k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6596 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1213.86/1214.20 c 1186s| 1740k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6623 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1218.37/1218.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.37/1218.80 c 1191s| 1750k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6665 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1223.07/1223.43 c 1195s| 1760k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6690 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1227.67/1228.09 c 1200s| 1770k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6715 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1232.26/1232.65 c 1204s| 1780k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6739 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1236.76/1237.14 c 1208s| 1790k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6772 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1241.36/1241.70 c 1213s| 1800k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6801 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1245.97/1246.35 c 1217s| 1810k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6843 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1250.55/1250.94 c 1222s| 1820k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6897 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1255.15/1255.57 c 1226s| 1830k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6930 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1259.76/1260.18 c 1231s| 1840k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |6980 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1264.35/1264.79 c 1235s| 1850k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7028 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1268.85/1269.21 c 1240s| 1860k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7056 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1273.25/1273.64 c 1244s| 1870k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7104 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1277.76/1278.17 c 1248s| 1880k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7136 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1282.26/1282.68 c 1253s| 1890k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7162 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1286.66/1287.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.66/1287.08 c 1257s| 1900k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7187 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1291.24/1291.69 c 1261s| 1910k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1295.95/1296.32 c 1266s| 1920k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7282 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1300.55/1300.90 c 1270s| 1930k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7320 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1304.85/1305.28 c 1274s| 1940k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7344 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1309.25/1309.68 c 1279s| 1950k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7400 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1313.84/1314.26 c 1283s| 1960k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7440 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1318.55/1318.92 c 1288s| 1970k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7456 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1323.14/1323.59 c 1292s| 1980k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7491 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1327.74/1328.15 c 1297s| 1990k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7521 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1332.34/1332.75 c 1301s| 2000k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7545 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1336.93/1337.34 c 1306s| 2010k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7572 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1341.54/1341.92 c 1310s| 2020k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7589 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1346.24/1346.61 c 1315s| 2030k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7620 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1350.93/1351.36 c 1319s| 2040k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7664 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1355.54/1355.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.54/1355.98 c 1324s| 2050k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7681 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1360.13/1360.58 c 1328s| 2060k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7711 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1364.83/1365.20 c 1333s| 2070k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7749 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1369.53/1369.93 c 1337s| 2080k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7778 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1374.23/1374.63 c 1342s| 2090k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7802 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1378.83/1379.24 c 1346s| 2100k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7851 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1383.62/1384.04 c 1351s| 2110k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7885 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1388.22/1388.64 c 1355s| 2120k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7920 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1392.83/1393.23 c 1360s| 2130k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |7953 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1397.42/1397.83 c 1364s| 2140k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8003 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1401.92/1402.36 c 1369s| 2150k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8044 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1406.53/1406.92 c 1373s| 2160k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8080 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1410.71/1411.16 c 1377s| 2170k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8123 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1415.01/1415.45 c 1381s| 2180k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8144 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1419.52/1419.97 c 1386s| 2190k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8182 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1424.02/1424.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.02/1424.50 c 1390s| 2200k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8223 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1428.42/1428.90 c 1395s| 2210k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8265 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1433.01/1433.42 c 1399s| 2220k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8285 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1437.51/1437.94 c 1403s| 2230k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8309 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1442.01/1442.40 c 1408s| 2240k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8339 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1446.40/1446.89 c 1412s| 2250k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8376 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1451.01/1451.42 c 1416s| 2260k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8387 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1455.50/1455.92 c 1421s| 2270k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8413 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1460.11/1460.51 c 1425s| 2280k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8436 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1464.61/1465.04 c 1430s| 2290k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8484 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1469.11/1469.52 c 1434s| 2300k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8500 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1473.40/1473.85 c 1438s| 2310k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8521 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1478.00/1478.44 c 1443s| 2320k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8554 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1482.50/1482.92 c 1447s| 2330k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8590 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1486.90/1487.38 c 1451s| 2340k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8616 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1491.30/1491.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.30/1491.71 c 1455s| 2350k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8647 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1495.61/1496.06 c 1460s| 2360k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8670 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1500.00/1500.45 c 1464s| 2370k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8696 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1504.40/1504.82 c 1468s| 2380k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8719 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1508.90/1509.33 c 1473s| 2390k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8744 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1513.29/1513.71 c 1477s| 2400k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8775 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1517.50/1518.00 c 1481s| 2410k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8817 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1522.08/1522.58 c 1485s| 2420k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1526.59/1527.01 c 1490s| 2430k| 18 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8866 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1531.18/1531.60 c 1494s| 2440k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8900 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1535.58/1536.05 c 1498s| 2450k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8921 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1539.98/1540.45 c 1503s| 2460k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8952 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1544.48/1544.98 c 1507s| 2470k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |8972 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1548.98/1549.48 c 1511s| 2480k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9022 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1553.47/1553.96 c 1516s| 2490k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9053 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1558.08/1558.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.08/1558.50 c 1520s| 2500k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9099 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1562.69/1563.19 c 1525s| 2510k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9138 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1567.37/1567.87 c 1529s| 2520k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9185 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1571.97/1572.49 c 1534s| 2530k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9230 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1576.67/1577.19 c 1538s| 2540k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9287 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1581.28/1581.79 c 1543s| 2550k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9330 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1585.97/1586.48 c 1547s| 2560k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9371 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1590.57/1591.07 c 1552s| 2570k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9391 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1595.17/1595.60 c 1556s| 2580k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9417 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1599.57/1600.00 c 1560s| 2590k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9449 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1604.07/1604.54 c 1565s| 2600k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9488 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1608.56/1609.07 c 1569s| 2610k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9551 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1613.06/1613.54 c 1574s| 2620k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1617.46/1617.97 c 1578s| 2630k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9634 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1622.16/1622.67 c 1582s| 2640k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9666 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1626.76/1627.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1626.76/1627.24 c 1587s| 2650k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9719 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1631.36/1631.89 c 1591s| 2660k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9762 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1636.06/1636.57 c 1596s| 2670k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9799 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1640.76/1641.24 c 1600s| 2680k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9840 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1645.45/1645.97 c 1605s| 2690k| 24 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9877 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1650.26/1650.72 c 1610s| 2700k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9923 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1654.96/1655.48 c 1614s| 2710k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9959 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1659.46/1659.98 c 1619s| 2720k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 |9988 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1664.05/1664.55 c 1623s| 2730k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1668.65/1669.16 c 1628s| 2740k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1673.25/1673.77 c 1632s| 2750k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1677.65/1678.13 c 1636s| 2760k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1682.34/1682.89 c 1641s| 2770k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1687.15/1687.66 c 1646s| 2780k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1691.95/1692.44 c 1650s| 2790k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1696.54/1697.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.54/1697.08 c 1655s| 2800k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1701.34/1701.84 c 1659s| 2810k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1705.93/1706.49 c 1664s| 2820k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1710.64/1711.11 c 1668s| 2830k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1715.34/1715.84 c 1673s| 2840k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1720.13/1720.60 c 1678s| 2850k| 23 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1724.73/1725.27 c 1682s| 2860k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1729.43/1729.92 c 1687s| 2870k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1734.03/1734.54 c 1691s| 2880k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1738.83/1739.32 c 1696s| 2890k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1743.33/1743.85 c 1700s| 2900k| 19 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1747.83/1748.31 c 1705s| 2910k| 16 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1752.42/1752.93 c 1709s| 2920k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1757.02/1757.53 c 1714s| 2930k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1761.63/1762.18 c 1718s| 2940k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1766.33/1766.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.33/1766.85 c 1723s| 2950k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1770.92/1771.41 c 1727s| 2960k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1775.42/1775.97 c 1731s| 2970k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1780.02/1780.51 c 1736s| 2980k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1784.73/1785.23 c 1740s| 2990k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1789.42/1789.98 c 1745s| 3000k| 21 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1794.12/1794.69 c 1750s| 3010k| 20 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1798.91/1799.42 c 1754s| 3020k| 22 | 14238 | 0.0 | 66M| 63 | - | 945 | 58k| 0 | 0 | 254 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1755.29
1800.02/1800.50 c Solving Nodes : 3022344
1800.02/1800.50 c Primal Bound : -3.30000000000000e+01 (10 solutions)
1800.02/1800.50 c Dual Bound : -4.49999999999834e+01
1800.02/1800.50 c Gap : 26.67 %
1800.02/1800.54 s SATISFIABLE
1800.02/1800.54 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.02/1800.54 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.02/1800.54 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.02/1800.54 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
1800.02/1800.54 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.02/1800.54 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145
1800.02/1800.54 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.02/1800.54 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187
1800.02/1800.54 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.02/1800.54 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.02/1800.54 v x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.02/1800.54 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271
1800.02/1800.54 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.02/1800.54 v -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.02/1800.54 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333
1800.02/1800.54 v -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.02/1800.54 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.02/1800.54 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.02/1800.54 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.02/1800.54 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.02/1800.54 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.02/1800.54 v x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.02/1800.54 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.02/1800.54 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.02/1800.54 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543
1800.02/1800.54 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.02/1800.54 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585
1800.02/1800.54 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.02/1800.54 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627
1800.02/1800.54 v -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.02/1800.54 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.02/1800.54 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.02/1800.54 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711
1800.02/1800.54 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.02/1800.54 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.02/1800.54 v x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.02/1800.54 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.02/1800.54 v -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.02/1800.54 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.02/1800.54 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.02/1800.54 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.02/1800.54 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899
1800.02/1800.54 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.02/1800.54 v x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.02/1800.54 v -x942 -x943 -x944 -x945
1800.02/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.54 c Solving Time : 1755.29
1800.02/1800.54 c Original Problem :
1800.02/1800.54 c Problem name : HOME/instance-2665476-1276500352.opb
1800.02/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.54 c Constraints : 58549 initial, 58549 maximal
1800.02/1800.54 c Presolved Problem :
1800.02/1800.54 c Problem name : t_HOME/instance-2665476-1276500352.opb
1800.02/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.54 c Constraints : 58549 initial, 58562 maximal
1800.02/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c probing : 1.38 0 0 0 0 0 0 0 0
1800.02/1800.54 c logicor : 0.18 0 0 0 0 0 0 0 0
1800.02/1800.54 c root node : - 0 - - 0 - - - -
1800.02/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.54 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.54 c logicor : 58549+ 30 3053034 0 2 207031 5358721 0 0 0
1800.02/1800.54 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.02/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.54 c integral : 194.35 0.00 0.00 194.35 0.00
1800.02/1800.54 c logicor : 416.74 0.26 416.46 0.00 0.02
1800.02/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.54 c vbounds : 2.19 2 0 0
1800.02/1800.54 c rootredcost : 2.18 2 0 0
1800.02/1800.54 c pseudoobj : 394.91 4746319 1123424 1452957
1800.02/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.54 c propagation : 214.81 207031 11051 11051 39.6 0 0.0 -
1800.02/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c pseudo solution : 242.57 181805 0 0 0.0 0 0.0 -
1800.02/1800.54 c applied globally : - - - 11051 39.6 - - -
1800.02/1800.54 c applied locally : - - - 0 0.0 - - -
1800.02/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.54 c cut pool : 0.01 29 - - 61 - (maximal pool size: 511)
1800.02/1800.54 c redcost : 0.00 30 0 0 0 0
1800.02/1800.54 c impliedbounds : 0.06 30 0 0 0 0
1800.02/1800.54 c intobj : 0.00 0 0 0 0 0
1800.02/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.54 c gomory : 60.68 30 0 0 13500 0
1800.02/1800.54 c strongcg : 3.62 20 0 0 10000 0
1800.02/1800.54 c cmir : 12.62 10 0 0 0 0
1800.02/1800.54 c flowcover : 13.16 10 0 0 0 0
1800.02/1800.54 c clique : 1.51 30 0 0 283 0
1800.02/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.54 c mcf : 0.10 1 0 0 0 0
1800.02/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.54 c Pricers : Time Calls Vars
1800.02/1800.54 c problem variables: 0.00 0 0
1800.02/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.54 c relpscost : 194.35 1 0 0 0 0 2
1800.02/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.54 c inference : 14.85 1517358 0 0 0 0 3034716
1800.02/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.54 c random : 0.00 0 0 0 0 0 0
1800.02/1800.54 c Primal Heuristics : Time Calls Found
1800.02/1800.54 c LP solutions : 0.00 - 0
1800.02/1800.54 c pseudo solutions : 0.00 - 2
1800.02/1800.54 c crossover : 0.00 0 0
1800.02/1800.54 c oneopt : 2.26 2 1
1800.02/1800.54 c trivial : 0.04 2 3
1800.02/1800.54 c simplerounding : 0.00 31 0
1800.02/1800.54 c zirounding : 0.02 1 1
1800.02/1800.54 c rounding : 1.14 31 1
1800.02/1800.54 c shifting : 1.47 31 1
1800.02/1800.54 c intshifting : 0.00 0 0
1800.02/1800.54 c twoopt : 0.00 0 0
1800.02/1800.54 c fixandinfer : 0.00 0 0
1800.02/1800.54 c feaspump : 0.00 0 0
1800.02/1800.54 c coefdiving : 0.00 0 0
1800.02/1800.54 c pscostdiving : 0.00 0 0
1800.02/1800.54 c fracdiving : 0.00 0 0
1800.02/1800.54 c veclendiving : 0.00 0 0
1800.02/1800.54 c intdiving : 0.00 0 0
1800.02/1800.54 c actconsdiving : 0.00 0 0
1800.02/1800.54 c objpscostdiving : 0.00 0 0
1800.02/1800.54 c rootsoldiving : 0.00 0 0
1800.02/1800.54 c linesearchdiving : 0.00 0 0
1800.02/1800.54 c guideddiving : 0.00 0 0
1800.02/1800.54 c octane : 0.00 0 0
1800.02/1800.54 c rens : 3.76 1 1
1800.02/1800.54 c rins : 0.00 0 0
1800.02/1800.54 c localbranching : 0.00 0 0
1800.02/1800.54 c mutation : 0.00 0 0
1800.02/1800.54 c dins : 0.00 0 0
1800.02/1800.54 c undercover : 0.00 0 0
1800.02/1800.54 c nlp : 1.24 0 0
1800.02/1800.54 c trysol : 1.42 0 0
1800.02/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.54 c primal LP : 0.19 0 0 0.00 0.00
1800.02/1800.54 c dual LP : 110.49 31 14238 459.29 128.86
1800.02/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.54 c strong branching : 194.35 33 22918 694.48 117.92
1800.02/1800.54 c (at root node) : - 33 22918 694.48 -
1800.02/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.54 c B&B Tree :
1800.02/1800.54 c number of runs : 1
1800.02/1800.54 c nodes : 3022344
1800.02/1800.54 c nodes (total) : 3022344
1800.02/1800.54 c nodes left : 19
1800.02/1800.54 c max depth : 63
1800.02/1800.54 c max depth (total): 63
1800.02/1800.54 c backtracks : 524125 (17.3%)
1800.02/1800.54 c delayed cutoffs : 8005
1800.02/1800.54 c repropagations : 9157 (30070 domain reductions, 7277 cutoffs)
1800.02/1800.54 c avg switch length: 2.00
1800.02/1800.54 c switching time : 136.27
1800.02/1800.54 c Solution :
1800.02/1800.54 c Solutions found : 10 (5 improvements)
1800.02/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.02/1800.54 c Primal Bound : -3.30000000000000e+01 (in run 1, after 205569 nodes, 500.73 seconds, depth 40, found by <relaxation>)
1800.02/1800.54 c Dual Bound : -4.49999999999834e+01
1800.02/1800.54 c Gap : 26.67 %
1800.02/1800.54 c Root Dual Bound : -4.50000000000000e+01
1800.02/1800.54 c Root Iterations : 14238
1800.23/1800.78 c Time complete: 1800.29.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665476-1276500352/watcher-2665476-1276500352 -o /tmp/evaluation-result-2665476-1276500352/solver-2665476-1276500352 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665476-1276500352.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: 1.00 1.01 1.00 3/106 27669 /proc/meminfo: memFree=1833052/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=9288 CPUtime=0 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 1040 0 0 0 0 0 0 0 18 0 1 0 25636963 9510912 961 1992294400 4194304 9819077 140735730455472 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 2322 970 371 1374 0 943 0 [startup+0.018775 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27669 /proc/meminfo: memFree=1833052/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=11632 CPUtime=0.01 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 1826 0 0 0 1 0 0 0 18 0 1 0 25636963 11911168 1747 1992294400 4194304 9819077 140735730455472 18446744073709551615 8653703 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 2908 1747 388 1374 0 1529 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11632 [startup+0.100786 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27669 /proc/meminfo: memFree=1833052/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=14724 CPUtime=0.09 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 2610 0 0 0 8 1 0 0 20 0 1 0 25636963 15077376 2531 1992294400 4194304 9819077 140735730455472 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 3681 2531 388 1374 0 2302 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14724 [startup+0.300807 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27669 /proc/meminfo: memFree=1833052/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=19116 CPUtime=0.29 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 3712 0 0 0 28 1 0 0 20 0 1 0 25636963 19574784 3633 1992294400 4194304 9819077 140735730455472 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 4779 3633 388 1374 0 3400 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19116 [startup+0.700851 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27669 /proc/meminfo: memFree=1833052/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=27896 CPUtime=0.69 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 5920 0 0 0 67 2 0 0 20 0 1 0 25636963 28565504 5841 1992294400 4194304 9819077 140735730455472 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 6974 5841 388 1374 0 5595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27896 [startup+1.50094 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27670 /proc/meminfo: memFree=1786172/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=78652 CPUtime=1.49 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 20309 0 0 0 135 14 0 0 23 0 1 0 25636963 80539648 18226 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 19663 18226 494 1374 0 18284 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 78652 [startup+3.10112 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27670 /proc/meminfo: memFree=1758396/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=81824 CPUtime=3.09 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 27176 0 0 0 284 25 0 0 25 0 1 0 25636963 83787776 18973 1992294400 4194304 9819077 140735730455472 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 20456 18973 508 1374 0 19077 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81824 [startup+6.30047 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27670 /proc/meminfo: memFree=1709416/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=176368 CPUtime=6.29 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 53557 0 0 0 588 41 0 0 25 0 1 0 25636963 180600832 31642 1992294400 4194304 9819077 140735730455472 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 44092 31642 663 1374 0 42713 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 176368 [startup+12.7012 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27670 /proc/meminfo: memFree=1708300/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=175292 CPUtime=12.69 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 62110 0 0 0 1225 44 0 0 25 0 1 0 25636963 179499008 31607 1992294400 4194304 9819077 140735730455472 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 43823 31607 665 1374 0 42444 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 175292 [startup+25.5006 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27670 /proc/meminfo: memFree=1708424/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=173832 CPUtime=25.48 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 73786 0 0 0 2497 51 0 0 25 0 1 0 25636963 178003968 31606 1992294400 4194304 9819077 140735730455472 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 43458 31606 666 1374 0 42079 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 173832 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27670 /proc/meminfo: memFree=1705572/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=173092 CPUtime=51.08 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 100935 0 0 0 5042 66 0 0 25 0 1 0 25636963 177246208 32457 1992294400 4194304 9819077 140735730455472 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 43273 32457 666 1374 0 41894 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 173092 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27672 /proc/meminfo: memFree=1702596/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=170512 CPUtime=102.28 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 170723 0 0 0 10127 101 0 0 25 0 1 0 25636963 174604288 33053 1992294400 4194304 9819077 140735730455472 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42628 33053 666 1374 0 41249 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 170512 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27674 /proc/meminfo: memFree=1705944/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=165204 CPUtime=162.24 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 317896 0 0 0 16046 178 0 0 25 0 1 0 25636963 169168896 32435 1992294400 4194304 9819077 140735730455472 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 41301 32435 675 1374 0 39922 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 165204 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27676 /proc/meminfo: memFree=1697636/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=206340 CPUtime=222.23 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 382430 0 0 0 21984 239 0 0 25 0 1 0 25636963 211292160 34296 1992294400 4194304 9819077 140735730455472 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 51585 34296 715 1374 0 50206 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 206340 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27676 /proc/meminfo: memFree=1696520/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=206340 CPUtime=282.22 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 444771 0 0 0 27946 276 0 0 25 0 1 0 25636963 211292160 34632 1992294400 4194304 9819077 140735730455472 18446744073709551615 6199013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 51585 34632 715 1374 0 50206 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 206340 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27678 /proc/meminfo: memFree=1696148/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=206340 CPUtime=342.2 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 520365 0 0 0 33902 318 0 0 25 0 1 0 25636963 211292160 34661 1992294400 4194304 9819077 140735730455472 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 51585 34661 715 1374 0 50206 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 206340 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27680 /proc/meminfo: memFree=1696272/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=206340 CPUtime=402.19 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 584745 0 0 0 39868 351 0 0 25 0 1 0 25636963 211292160 34146 1992294400 4194304 9819077 140735730455472 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 51585 34146 715 1374 0 50206 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 206340 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27682 /proc/meminfo: memFree=1703588/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=462.17 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 45716 501 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 168272 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27684 /proc/meminfo: memFree=1703464/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=522.16 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 51549 667 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 168272 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27684 /proc/meminfo: memFree=1703340/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=582.13 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 57375 838 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 168272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27686 /proc/meminfo: memFree=1703216/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=642.12 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 63196 1016 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 168272 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27694 /proc/meminfo: memFree=1702472/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=942.04 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 92311 1893 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 4349963 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 168272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27696 /proc/meminfo: memFree=1702348/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1002.02 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 98132 2070 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 168272 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27698 /proc/meminfo: memFree=1702224/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1062.01 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 103951 2250 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 168272 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27700 /proc/meminfo: memFree=1702100/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1122 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 109766 2434 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 168272 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27700 /proc/meminfo: memFree=1701976/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1181.98 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 115596 2602 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 168272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27702 /proc/meminfo: memFree=1701852/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1241.96 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 121425 2771 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 168272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27704 /proc/meminfo: memFree=1701604/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1301.95 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 127251 2944 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 168272 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27706 /proc/meminfo: memFree=1701604/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1361.93 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 133074 3119 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5924101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 168272 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27708 /proc/meminfo: memFree=1701480/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1421.92 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 138900 3292 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 168272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27708 /proc/meminfo: memFree=1701356/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1481.9 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 144721 3469 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 168272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27710 /proc/meminfo: memFree=1701232/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1541.89 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 150536 3653 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 168272 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27712 /proc/meminfo: memFree=1701108/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1601.87 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 156354 3833 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 168272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27714 /proc/meminfo: memFree=1700984/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1661.85 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 162185 4000 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5918857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 168272 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27716 /proc/meminfo: memFree=1700984/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1721.84 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 168013 4171 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5908939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 168272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27716 /proc/meminfo: memFree=1700612/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1781.82 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 173846 4336 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 168272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27718 /proc/meminfo: memFree=1700612/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=168272 CPUtime=1800.02 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597824 0 0 0 175618 4384 0 0 25 0 1 0 25636963 172310528 32753 1992294400 4194304 9819077 140735730455472 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27669/statm: 42068 32753 719 1374 0 40689 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 168272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27719 /proc/meminfo: memFree=1705192/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=163580 CPUtime=1800.13 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597883 0 0 0 175629 4384 0 0 25 0 1 0 25636963 167505920 31598 1992294400 4194304 9819077 140735730455472 18446744073709551615 6027654 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 40895 31598 720 1374 0 39516 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 163580 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27719 /proc/meminfo: memFree=1705192/2059040 swapFree=4140228/4192956 [pid=27669] ppid=27667 vsize=145104 CPUtime=1800.23 /proc/27669/stat : 27669 (pbscip.linux.x8) R 27667 27669 27509 0 -1 4202496 597883 0 0 0 175638 4385 0 0 25 0 1 0 25636963 148586496 26983 1992294400 4194304 9819077 140735730455472 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27669/statm: 36276 26983 720 1374 0 34897 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 145104 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.3 CPU user time (s): 1756.44 CPU system time (s): 43.8643 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 239236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.44 system time used= 43.8643 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 597887 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= 1 involuntary context switches= 2546 runsolver used 2.94255 second user time and 8.5617 second system time The end
Begin job on node009 at 2010-06-14 09:25:52 IDJOB=2665476 IDBENCH=2253 IDSOLVER=1168 FILE ID=node009/2665476-1276500352 PBS_JOBID= 11173411 Free space on /tmp= 62448 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-4.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-2665476-1276500352/watcher-2665476-1276500352 -o /tmp/evaluation-result-2665476-1276500352/solver-2665476-1276500352 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665476-1276500352.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED=767045818 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833456 kB Buffers: 42492 kB Cached: 105056 kB SwapCached: 5684 kB Active: 94392 kB Inactive: 65484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833456 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 7576 kB Writeback: 0 kB AnonPages: 10856 kB Mapped: 12892 kB Slab: 43736 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179596 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= 62444 MiB End job on node009 at 2010-06-14 09:55:55