Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | -101 | 1800.17 | 1800.74 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| 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 | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663820-1276661693.opb>
0.19/0.20 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 16820 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.20 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.39/0.42 o 0
0.39/0.42 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.42 c presolving:
0.88/0.90 c (round 1) 15820 del vars, 1000 del conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
1.09/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.09/1.15 c presolving (2 rounds):
1.09/1.15 c 15820 deleted vars, 1000 deleted constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.15 c 94920 implications, 0 cliques
1.09/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
1.09/1.15 c 15820 constraints of type <logicor>
1.09/1.15 c transformed objective value is always integral (scale: 1)
1.09/1.15 c Presolving Time: 0.71
1.09/1.15 c - non default parameters ----------------------------------------------------------------------
1.09/1.15 c # SCIP version 1.2.1.2
1.09/1.15 c
1.09/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.15 c conflict/interconss = 0
1.09/1.15 c
1.09/1.15 c # should binary conflicts be preferred?
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c conflict/preferbinary = TRUE
1.09/1.15 c
1.09/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.15 c constraints/agelimit = 1
1.09/1.15 c
1.09/1.15 c # should enforcement of pseudo solution be disabled?
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/disableenfops = TRUE
1.09/1.15 c
1.09/1.15 c # frequency for displaying node information lines
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.15 c display/freq = 10000
1.09/1.15 c
1.09/1.15 c # maximal time in seconds to run
1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.15 c limits/time = 1799.81
1.09/1.15 c
1.09/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.15 c limits/memory = 1620
1.09/1.15 c
1.09/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.15 c lp/solvefreq = -1
1.09/1.15 c
1.09/1.15 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)
1.09/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.15 c lp/pricing = a
1.09/1.15 c
1.09/1.15 c # should presolving try to simplify inequalities
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/linear/simplifyinequalities = TRUE
1.09/1.15 c
1.09/1.15 c # should presolving try to simplify knapsacks
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.15 c
1.09/1.15 c # priority of node selection rule <dfs> in standard mode
1.09/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.15 c nodeselection/dfs/stdpriority = 1000000
1.09/1.15 c
1.09/1.15 c -----------------------------------------------------------------------------------------------
1.09/1.15 c start solving
1.09/1.15 c
1.09/1.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.16 c t 0.8s| 1 | 2 | 0 | - | 37M| 0 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
1.09/1.18 o -95
1.09/1.18 c * 0.8s| 96 | 80 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
1.19/1.27 o -96
1.19/1.27 c * 0.9s| 282 | 74 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 6 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1.98/2.08 o -97
1.98/2.08 c * 1.7s| 2254 | 70 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 14 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
4.89/4.99 c 4.5s| 10000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 36 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
8.79/8.89 c 8.3s| 20000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 56 | 0 |-9.990000e+02 |-9.700000e+01 | 90.29%
11.09/11.11 o -98
11.09/11.11 c *10.4s| 25997 | 70 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 70 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
12.48/12.56 c 11.8s| 30000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 87 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
16.18/16.28 c 15.4s| 40000 | 68 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 98 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
19.98/20.06 c 19.0s| 50000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 107 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
23.69/23.73 c 22.6s| 60000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 119 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
27.08/27.13 c 25.8s| 70000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 127 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
30.58/30.64 c 29.2s| 80000 | 68 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 139 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
33.88/33.96 c 32.4s| 90000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 146 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
37.29/37.36 c 35.7s|100000 | 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 155 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
40.78/40.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.78/40.80 c 39.0s|110000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 159 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
44.47/44.57 c 42.6s|120000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 164 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
48.17/48.24 c 46.1s|130000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 176 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
51.58/51.65 c 49.4s|140000 | 69 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 186 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
54.98/55.06 c 52.7s|150000 | 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 192 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
58.47/58.54 c 56.0s|160000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 204 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
61.77/61.87 c 59.2s|170000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 213 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
65.37/65.40 c 62.6s|180000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 218 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
68.77/68.85 c 65.9s|190000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 224 | 0 |-9.990000e+02 |-9.800000e+01 | 90.19%
71.76/71.82 o -99
71.76/71.82 c *68.8s|198571 | 68 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 228 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
72.26/72.34 c 69.3s|200000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 229 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
75.66/75.73 c 72.6s|210000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 237 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
79.27/79.30 c 76.0s|220000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 241 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
82.57/82.68 c 79.2s|230000 | 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 245 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
86.06/86.18 c 82.6s|240000 | 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 257 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
89.56/89.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.56/89.69 c 86.0s|250000 | 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 273 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
93.26/93.33 c 89.5s|260000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 290 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
96.67/96.76 c 92.8s|270000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 300 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
100.16/100.29 c 96.1s|280000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 311 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
103.66/103.72 c 99.5s|290000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 320 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
107.26/107.35 c 103s|300000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 336 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
110.56/110.66 c 106s|310000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 344 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
113.75/113.85 c 109s|320000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 364 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
117.06/117.16 c 112s|330000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 375 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
120.35/120.42 c 115s|340000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 386 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
123.65/123.76 c 119s|350000 | 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 401 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
126.95/127.05 c 122s|360000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 406 | 0 |-9.990000e+02 |-9.900000e+01 | 90.09%
128.56/128.66 o -100
128.56/128.66 c * 123s|364946 | 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 413 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
130.25/130.32 c 125s|370000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 415 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
133.45/133.53 c 128s|380000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 426 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
136.55/136.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.55/136.67 c 131s|390000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 434 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
139.75/139.88 c 134s|400000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 440 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
143.15/143.22 c 137s|410000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 448 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
146.15/146.29 c 140s|420000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 471 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
149.46/149.59 c 143s|430000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 482 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
152.95/153.03 c 147s|440000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 496 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
156.34/156.40 c 150s|450000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 512 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
159.74/159.83 c 153s|460000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 529 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
163.24/163.34 c 157s|470000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 536 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
166.64/166.74 c 160s|480000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 543 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
169.94/170.07 c 163s|490000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 544 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
173.33/173.47 c 166s|500000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 549 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
176.53/176.69 c 169s|510000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 564 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
179.93/180.02 c 173s|520000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 574 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
183.44/183.58 c 176s|530000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 585 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
186.94/187.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.94/187.02 c 179s|540000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 593 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
190.33/190.47 c 183s|550000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 603 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
193.73/193.88 c 186s|560000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 608 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
197.23/197.30 c 189s|570000 | 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 615 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
200.52/200.61 c 192s|580000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 617 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
203.93/204.09 c 196s|590000 | 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 619 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
207.33/207.47 c 199s|600000 | 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 626 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
210.92/211.06 c 202s|610000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 636 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
214.52/214.64 c 206s|620000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 645 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
217.82/217.99 c 209s|630000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 652 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
221.32/221.40 c 212s|640000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 659 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
224.72/224.87 c 216s|650000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 668 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
228.12/228.25 c 219s|660000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 674 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
231.62/231.72 c 222s|670000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 683 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
235.02/235.16 c 226s|680000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 701 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
238.53/238.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.53/238.62 c 229s|690000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 710 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
242.12/242.26 c 232s|700000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 715 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
245.62/245.71 c 236s|710000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 723 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
248.91/249.00 c 239s|720000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 731 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
252.11/252.26 c 242s|730000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 739 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
255.51/255.63 c 245s|740000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 750 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
259.01/259.13 c 249s|750000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 759 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
262.21/262.40 c 252s|760000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 766 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
265.61/265.76 c 255s|770000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 774 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
269.11/269.27 c 258s|780000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 783 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
272.50/272.64 c 262s|790000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 786 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
275.81/275.93 c 265s|800000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 797 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
279.11/279.20 c 268s|810000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 805 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
282.41/282.53 c 271s|820000 | 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 817 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
285.60/285.73 c 274s|830000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 828 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
288.71/288.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.71/288.89 c 277s|840000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 837 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
292.10/292.24 c 280s|850000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 844 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
295.40/295.59 c 283s|860000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 854 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
298.90/299.05 c 287s|870000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 864 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
302.30/302.50 c 290s|880000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 871 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
305.71/305.82 c 293s|890000 | 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 881 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
309.01/309.19 c 297s|900000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 892 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
312.70/312.80 c 300s|910000 | 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 909 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
316.20/316.30 c 303s|920000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 920 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
319.50/319.61 c 307s|930000 | 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 928 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
322.80/322.99 c 310s|940000 | 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 938 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
326.20/326.33 c 313s|950000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 947 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
329.59/329.72 c 316s|960000 | 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 956 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
332.89/333.09 c 319s|970000 | 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 963 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
336.28/336.47 c 323s|980000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 975 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
339.59/339.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.59/339.80 c 326s|990000 | 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 986 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
342.99/343.11 c 329s| 1000k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 | 998 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
346.29/346.49 c 332s| 1010k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1010 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
349.78/349.96 c 336s| 1020k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1019 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
353.28/353.40 c 339s| 1030k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1031 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
356.68/356.85 c 342s| 1040k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1036 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
359.98/360.17 c 345s| 1050k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1048 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
363.48/363.65 c 349s| 1060k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1057 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
366.88/367.05 c 352s| 1070k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1067 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
370.38/370.57 c 355s| 1080k| 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1074 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
374.07/374.21 c 359s| 1090k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1079 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
377.27/377.46 c 362s| 1100k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1092 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
380.78/380.97 c 365s| 1110k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1101 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
384.08/384.28 c 369s| 1120k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1108 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
387.38/387.58 c 372s| 1130k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1120 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
390.78/390.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.78/390.92 c 375s| 1140k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1134 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
393.97/394.15 c 378s| 1150k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1147 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
397.17/397.34 c 381s| 1160k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1160 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
400.47/400.64 c 384s| 1170k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1179 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
403.87/404.05 c 388s| 1180k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1188 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
407.17/407.34 c 391s| 1190k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1193 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
410.57/410.79 c 394s| 1200k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1207 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
413.96/414.15 c 397s| 1210k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1215 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
417.47/417.69 c 401s| 1220k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1231 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
421.07/421.20 c 404s| 1230k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1235 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
424.37/424.51 c 407s| 1240k| 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1249 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
427.67/427.81 c 410s| 1250k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1261 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
430.97/431.12 c 413s| 1260k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1277 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
434.27/434.49 c 417s| 1270k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1284 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
437.67/437.80 c 420s| 1280k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1293 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
440.97/441.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.97/441.16 c 423s| 1290k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1307 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
444.35/444.53 c 426s| 1300k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1318 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
447.86/448.05 c 430s| 1310k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1327 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
451.26/451.41 c 433s| 1320k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1335 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
454.55/454.74 c 436s| 1330k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1350 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
457.95/458.13 c 439s| 1340k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1359 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
461.15/461.39 c 443s| 1350k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1372 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
464.65/464.87 c 446s| 1360k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1384 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
468.05/468.24 c 449s| 1370k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1396 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
471.55/471.74 c 452s| 1380k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1401 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
474.84/475.06 c 456s| 1390k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1408 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
478.25/478.44 c 459s| 1400k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1414 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
481.65/481.83 c 462s| 1410k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1423 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
485.05/485.23 c 465s| 1420k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1432 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
488.15/488.35 c 468s| 1430k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1446 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
491.55/491.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.55/491.77 c 472s| 1440k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1453 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
494.85/495.06 c 475s| 1450k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1463 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
498.04/498.30 c 478s| 1460k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1474 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
501.34/501.58 c 481s| 1470k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1490 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
504.65/504.86 c 484s| 1480k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1498 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
508.04/508.29 c 488s| 1490k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1511 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
511.54/511.70 c 491s| 1500k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1518 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
514.94/515.12 c 494s| 1510k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1528 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
518.34/518.55 c 497s| 1520k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1534 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
521.73/521.92 c 501s| 1530k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1543 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
525.03/525.23 c 504s| 1540k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1552 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
528.53/528.75 c 507s| 1550k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1556 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
532.03/532.20 c 510s| 1560k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1567 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
535.33/535.52 c 514s| 1570k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1575 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
538.53/538.73 c 517s| 1580k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1587 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
541.72/541.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.72/541.90 c 520s| 1590k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1595 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
544.83/545.08 c 523s| 1600k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1603 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
548.13/548.38 c 526s| 1610k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1609 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
551.33/551.57 c 529s| 1620k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1624 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
554.63/554.84 c 532s| 1630k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1629 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
557.92/558.15 c 535s| 1640k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1638 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
561.12/561.32 c 538s| 1650k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1653 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
564.32/564.50 c 541s| 1660k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1670 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
567.52/567.77 c 544s| 1670k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1689 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
570.63/570.88 c 547s| 1680k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1707 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
573.81/574.06 c 550s| 1690k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1717 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
577.32/577.52 c 554s| 1700k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1725 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
580.62/580.89 c 557s| 1710k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1735 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
584.11/584.34 c 560s| 1720k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1750 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
587.31/587.54 c 563s| 1730k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1759 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
590.62/590.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.62/590.81 c 566s| 1740k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1769 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
593.72/593.96 c 570s| 1750k| 67 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1775 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
596.81/597.08 c 572s| 1760k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1791 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
600.01/600.24 c 576s| 1770k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1797 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
603.21/603.44 c 579s| 1780k| 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1801 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
606.51/606.72 c 582s| 1790k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1818 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
609.90/610.14 c 585s| 1800k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1824 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
613.10/613.39 c 588s| 1810k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1836 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
616.41/616.68 c 591s| 1820k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1848 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
619.70/619.90 c 594s| 1830k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1859 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
622.81/623.01 c 597s| 1840k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1871 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
626.00/626.21 c 600s| 1850k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1882 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
629.20/629.44 c 603s| 1860k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1890 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
632.50/632.76 c 607s| 1870k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1903 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
635.70/635.90 c 610s| 1880k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1912 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
638.80/639.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.80/639.08 c 613s| 1890k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1926 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
641.99/642.29 c 616s| 1900k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1935 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
645.29/645.57 c 619s| 1910k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1954 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
648.39/648.61 c 622s| 1920k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1960 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
651.59/651.86 c 625s| 1930k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1968 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
654.80/655.04 c 628s| 1940k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1976 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
657.89/658.17 c 631s| 1950k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1979 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
660.99/661.28 c 634s| 1960k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1988 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
664.39/664.61 c 637s| 1970k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |1996 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
667.49/667.79 c 640s| 1980k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2003 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
670.79/671.02 c 643s| 1990k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2011 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
673.88/674.14 c 646s| 2000k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2020 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
676.99/677.27 c 649s| 2010k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2033 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
680.18/680.45 c 652s| 2020k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2040 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
683.39/683.65 c 655s| 2030k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2045 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
686.58/686.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.58/686.82 c 658s| 2040k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2055 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
689.69/689.96 c 661s| 2050k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2058 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
692.69/692.99 c 664s| 2060k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2067 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
695.88/696.15 c 667s| 2070k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2078 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
698.88/699.18 c 670s| 2080k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2088 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
702.18/702.47 c 673s| 2090k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2100 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
705.48/705.75 c 676s| 2100k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2112 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
708.47/708.78 c 679s| 2110k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2122 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
711.67/711.93 c 682s| 2120k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2144 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
714.87/715.10 c 685s| 2130k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2168 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
717.98/718.21 c 688s| 2140k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2186 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
721.07/721.36 c 691s| 2150k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2202 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
724.37/724.60 c 694s| 2160k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2209 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
727.57/727.87 c 698s| 2170k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2226 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
730.97/731.21 c 701s| 2180k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2232 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
734.37/734.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.37/734.63 c 704s| 2190k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2242 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
737.67/737.91 c 707s| 2200k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2245 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
741.08/741.32 c 710s| 2210k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2245 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
744.47/744.79 c 714s| 2220k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2252 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
747.77/748.09 c 717s| 2230k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2258 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
751.07/751.35 c 720s| 2240k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2264 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
754.37/754.64 c 723s| 2250k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2273 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
757.76/758.00 c 726s| 2260k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2281 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
761.06/761.31 c 730s| 2270k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2286 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
764.27/764.57 c 733s| 2280k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2295 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
767.46/767.71 c 736s| 2290k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2300 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
770.66/770.99 c 739s| 2300k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2304 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
773.95/774.26 c 742s| 2310k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2310 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
777.16/777.46 c 745s| 2320k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2320 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
780.55/780.80 c 748s| 2330k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2327 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
783.75/784.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.75/784.09 c 752s| 2340k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2334 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
786.95/787.23 c 755s| 2350k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2339 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
790.05/790.35 c 757s| 2360k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2353 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
793.25/793.53 c 761s| 2370k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2362 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
796.45/796.74 c 764s| 2380k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2365 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
799.55/799.86 c 767s| 2390k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2382 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
802.95/803.20 c 770s| 2400k| 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2393 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
806.05/806.37 c 773s| 2410k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2405 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
809.14/809.49 c 776s| 2420k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2440 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
812.45/812.77 c 779s| 2430k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2455 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
815.74/816.02 c 782s| 2440k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2476 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
818.94/819.26 c 785s| 2450k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2490 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
822.24/822.56 c 788s| 2460k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2502 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
825.44/825.78 c 791s| 2470k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2519 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
828.74/829.04 c 795s| 2480k| 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2536 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
832.14/832.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.14/832.41 c 798s| 2490k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2542 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
835.33/835.65 c 801s| 2500k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2557 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
838.64/838.94 c 804s| 2510k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2571 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
841.83/842.13 c 807s| 2520k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2586 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
845.03/845.37 c 810s| 2530k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2595 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
848.33/848.65 c 813s| 2540k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2604 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
851.64/851.97 c 817s| 2550k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2612 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
854.83/855.14 c 820s| 2560k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2619 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
858.03/858.34 c 823s| 2570k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2624 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
861.13/861.49 c 826s| 2580k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2633 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
864.43/864.74 c 829s| 2590k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2634 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
867.83/868.14 c 832s| 2600k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2651 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
871.02/871.38 c 835s| 2610k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2658 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
874.42/874.78 c 838s| 2620k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2666 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
877.73/878.01 c 841s| 2630k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2672 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
880.84/881.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.84/881.17 c 844s| 2640k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2684 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
884.13/884.41 c 848s| 2650k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2698 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
887.43/887.79 c 851s| 2660k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2708 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
890.83/891.12 c 854s| 2670k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2721 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
894.03/894.31 c 857s| 2680k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2725 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
897.23/897.56 c 860s| 2690k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2731 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
900.63/900.95 c 863s| 2700k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2743 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
904.01/904.32 c 867s| 2710k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2753 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
907.32/907.68 c 870s| 2720k| 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2770 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
910.71/911.04 c 873s| 2730k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2777 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
914.01/914.38 c 876s| 2740k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2786 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
917.41/917.74 c 880s| 2750k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2798 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
920.71/921.04 c 883s| 2760k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2813 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
923.91/924.22 c 886s| 2770k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2825 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
927.31/927.68 c 889s| 2780k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2831 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
930.91/931.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.91/931.25 c 893s| 2790k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2838 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
934.31/934.67 c 896s| 2800k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2847 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
937.71/938.01 c 899s| 2810k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2857 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
940.90/941.23 c 902s| 2820k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2865 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
944.20/944.54 c 905s| 2830k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2877 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
947.61/947.94 c 909s| 2840k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2887 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
951.00/951.33 c 912s| 2850k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2891 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
954.41/954.73 c 915s| 2860k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2902 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
957.81/958.13 c 918s| 2870k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2912 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
961.20/961.59 c 922s| 2880k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2930 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
964.60/964.96 c 925s| 2890k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2935 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
967.99/968.34 c 928s| 2900k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2946 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
971.30/971.68 c 931s| 2910k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2951 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
974.60/974.97 c 934s| 2920k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2963 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
977.69/978.01 c 937s| 2930k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2974 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
980.69/981.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.69/981.09 c 940s| 2940k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |2986 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
984.10/984.44 c 943s| 2950k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3004 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
987.19/987.52 c 946s| 2960k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3016 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
990.50/990.89 c 950s| 2970k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3027 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
993.79/994.14 c 953s| 2980k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3037 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
996.99/997.35 c 956s| 2990k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3048 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1000.08/1000.48 c 959s| 3000k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3061 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1003.59/1003.91 c 962s| 3010k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3082 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1006.68/1007.04 c 965s| 3020k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3095 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1009.77/1010.17 c 968s| 3030k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3112 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1012.97/1013.38 c 971s| 3040k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3127 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1016.38/1016.74 c 974s| 3050k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3172 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1019.88/1020.27 c 978s| 3060k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3183 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1023.28/1023.69 c 981s| 3070k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3202 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1026.67/1027.04 c 984s| 3080k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3210 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1030.17/1030.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.17/1030.50 c 988s| 3090k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3238 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1033.58/1033.96 c 991s| 3100k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3255 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1036.88/1037.29 c 994s| 3110k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3275 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1040.28/1040.67 c 997s| 3120k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3286 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1043.57/1043.96 c 1000s| 3130k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3295 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1047.26/1047.64 c 1004s| 3140k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3310 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1050.67/1051.06 c 1007s| 3150k| 66 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3327 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1053.96/1054.32 c 1010s| 3160k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3342 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1057.26/1057.61 c 1014s| 3170k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3351 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1060.47/1060.80 c 1017s| 3180k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3371 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1063.76/1064.14 c 1020s| 3190k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3387 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1067.16/1067.55 c 1023s| 3200k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3401 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1070.75/1071.14 c 1027s| 3210k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3413 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1074.16/1074.53 c 1030s| 3220k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3422 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1077.56/1078.00 c 1033s| 3230k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3430 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1080.97/1081.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.97/1081.32 c 1036s| 3240k| 64 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3437 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1084.06/1084.48 c 1039s| 3250k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3449 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1087.26/1087.63 c 1042s| 3260k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3465 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1090.45/1090.87 c 1045s| 3270k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3471 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1093.66/1094.00 c 1048s| 3280k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3484 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1096.95/1097.30 c 1052s| 3290k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3499 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1100.15/1100.55 c 1055s| 3300k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3510 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1103.35/1103.77 c 1058s| 3310k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3523 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1106.55/1106.97 c 1061s| 3320k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3538 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1109.95/1110.37 c 1064s| 3330k| 61 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3551 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1113.24/1113.61 c 1067s| 3340k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3564 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1116.54/1116.99 c 1070s| 3350k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3580 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1119.94/1120.37 c 1074s| 3360k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3591 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1123.35/1123.72 c 1077s| 3370k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3604 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1126.64/1127.09 c 1080s| 3380k| 65 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3612 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1129.94/1130.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.94/1130.31 c 1083s| 3390k| 60 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3622 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1133.24/1133.60 c 1086s| 3400k| 58 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3641 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1136.64/1137.01 c 1090s| 3410k| 59 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3663 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1139.94/1140.39 c 1093s| 3420k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3677 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1143.34/1143.79 c 1096s| 3430k| 63 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3693 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1146.63/1147.08 c 1099s| 3440k| 62 | 0 | 0.0 | 38M| 95 | - |1000 | 15k| 0 | 0 | 0 |3715 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1149.94/1150.38 c 1103s| 3450k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3727 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1153.33/1153.77 c 1106s| 3460k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3737 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1156.74/1157.13 c 1109s| 3470k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3744 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1160.14/1160.51 c 1112s| 3480k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3761 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1163.44/1163.82 c 1115s| 3490k| 58 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3776 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1166.74/1167.14 c 1119s| 3500k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3791 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1170.04/1170.45 c 1122s| 3510k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3808 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1173.23/1173.69 c 1125s| 3520k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3827 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1176.63/1177.09 c 1128s| 3530k| 57 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3843 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1179.73/1180.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.73/1180.19 c 1131s| 3540k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3866 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1182.93/1183.36 c 1134s| 3550k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3886 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1186.23/1186.63 c 1137s| 3560k| 58 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3903 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1189.42/1189.88 c 1140s| 3570k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3916 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1192.72/1193.18 c 1144s| 3580k| 58 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3930 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1195.92/1196.34 c 1147s| 3590k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3935 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1199.32/1199.74 c 1150s| 3600k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3950 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1203.03/1203.41 c 1153s| 3610k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3957 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1206.33/1206.76 c 1157s| 3620k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3967 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1210.02/1210.41 c 1160s| 3630k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3972 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1213.61/1214.09 c 1164s| 3640k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |3985 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1217.22/1217.69 c 1167s| 3650k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4004 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1220.52/1220.93 c 1170s| 3660k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4011 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1223.71/1224.14 c 1173s| 3670k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4029 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1226.91/1227.37 c 1176s| 3680k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4041 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1230.31/1230.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.31/1230.78 c 1180s| 3690k| 57 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4049 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1233.71/1234.14 c 1183s| 3700k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4061 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1237.12/1237.51 c 1186s| 3710k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4068 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1240.31/1240.78 c 1189s| 3720k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4081 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1243.50/1243.98 c 1192s| 3730k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4091 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1246.80/1247.20 c 1195s| 3740k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4123 | 0 |-9.990000e+02 |-1.000000e+02 | 89.99%
1249.80/1250.26 o -101
1249.80/1250.26 c *1198s| 3749k| 70 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4139 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1250.00/1250.44 c 1198s| 3750k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4139 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1252.91/1253.31 c 1201s| 3760k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4161 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1255.81/1256.23 c 1204s| 3770k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4179 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1258.71/1259.13 c 1207s| 3780k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4199 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1261.81/1262.23 c 1210s| 3790k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4215 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1264.90/1265.30 c 1212s| 3800k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4226 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1268.10/1268.56 c 1216s| 3810k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4235 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1271.10/1271.55 c 1218s| 3820k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4246 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1274.30/1274.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.30/1274.71 c 1221s| 3830k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4262 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1277.40/1277.86 c 1225s| 3840k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4270 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1280.80/1281.26 c 1228s| 3850k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4287 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1283.99/1284.49 c 1231s| 3860k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4305 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1287.29/1287.72 c 1234s| 3870k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4322 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1290.49/1290.98 c 1237s| 3880k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4334 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1293.69/1294.16 c 1240s| 3890k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4346 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1296.89/1297.40 c 1243s| 3900k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4357 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1299.99/1300.48 c 1246s| 3910k| 68 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4367 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1303.38/1303.80 c 1249s| 3920k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4373 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1306.69/1307.11 c 1252s| 3930k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4387 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1309.99/1310.44 c 1256s| 3940k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4404 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1313.09/1313.55 c 1259s| 3950k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4414 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1316.48/1316.95 c 1262s| 3960k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4420 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1319.89/1320.32 c 1265s| 3970k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4439 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1323.08/1323.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.08/1323.53 c 1268s| 3980k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4453 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1326.28/1326.75 c 1271s| 3990k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4467 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1329.57/1330.08 c 1274s| 4000k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4481 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1332.68/1333.19 c 1277s| 4010k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4493 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1335.78/1336.28 c 1280s| 4020k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4505 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1339.17/1339.66 c 1284s| 4030k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4508 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1342.37/1342.84 c 1287s| 4040k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4518 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1345.58/1346.08 c 1290s| 4050k| 69 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4525 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1348.78/1349.27 c 1293s| 4060k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4532 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1351.97/1352.45 c 1296s| 4070k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4549 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1355.27/1355.71 c 1299s| 4080k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4554 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1358.48/1358.98 c 1302s| 4090k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4563 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1361.57/1362.07 c 1305s| 4100k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4579 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1364.87/1365.31 c 1308s| 4110k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4591 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1367.97/1368.42 c 1311s| 4120k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4594 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1371.07/1371.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.07/1371.58 c 1314s| 4130k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4604 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1374.37/1374.85 c 1317s| 4140k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4613 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1377.57/1378.08 c 1320s| 4150k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4622 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1380.86/1381.31 c 1323s| 4160k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4628 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1384.16/1384.69 c 1327s| 4170k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4632 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1387.46/1388.00 c 1330s| 4180k| 70 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4636 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1390.86/1391.32 c 1333s| 4190k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4650 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1394.26/1394.70 c 1336s| 4200k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4670 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1397.36/1397.86 c 1339s| 4210k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4681 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1400.56/1401.02 c 1342s| 4220k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4689 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1403.76/1404.23 c 1345s| 4230k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4697 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1406.95/1407.46 c 1348s| 4240k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4701 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1410.25/1410.73 c 1352s| 4250k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4717 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1413.65/1414.16 c 1355s| 4260k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4723 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1416.95/1417.41 c 1358s| 4270k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4728 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1420.25/1420.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.25/1420.73 c 1361s| 4280k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4735 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1423.65/1424.16 c 1364s| 4290k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4743 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1427.05/1427.59 c 1368s| 4300k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4749 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1430.45/1430.93 c 1371s| 4310k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4754 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1433.65/1434.13 c 1374s| 4320k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4763 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1437.15/1437.60 c 1377s| 4330k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4771 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1440.45/1441.00 c 1381s| 4340k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4779 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1443.75/1444.24 c 1384s| 4350k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4787 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1447.04/1447.53 c 1387s| 4360k| 67 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4798 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1450.24/1450.79 c 1390s| 4370k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4811 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1453.44/1453.98 c 1393s| 4380k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4830 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1456.74/1457.21 c 1396s| 4390k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4837 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1459.84/1460.33 c 1399s| 4400k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4849 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1463.13/1463.60 c 1402s| 4410k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4860 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1466.23/1466.76 c 1405s| 4420k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4868 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1469.33/1469.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.33/1469.85 c 1408s| 4430k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4875 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1472.53/1473.06 c 1411s| 4440k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4883 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1475.73/1476.26 c 1414s| 4450k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4888 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1479.04/1479.51 c 1417s| 4460k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4899 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1482.42/1482.91 c 1421s| 4470k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4914 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1485.63/1486.12 c 1424s| 4480k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4927 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1488.83/1489.32 c 1427s| 4490k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4940 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1491.93/1492.44 c 1430s| 4500k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4949 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1495.12/1495.67 c 1433s| 4510k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4959 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1498.32/1498.81 c 1436s| 4520k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4977 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1501.52/1502.05 c 1439s| 4530k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |4996 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1504.82/1505.35 c 1442s| 4540k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5009 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1508.02/1508.53 c 1445s| 4550k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5024 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1511.12/1511.68 c 1448s| 4560k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5034 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1514.22/1514.74 c 1451s| 4570k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5052 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1517.52/1518.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.52/1518.07 c 1454s| 4580k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5065 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1520.72/1521.20 c 1457s| 4590k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5078 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1523.82/1524.34 c 1460s| 4600k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5086 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1527.01/1527.57 c 1463s| 4610k| 58 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5101 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1530.12/1530.66 c 1466s| 4620k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5112 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1533.21/1533.78 c 1469s| 4630k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5118 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1536.41/1536.99 c 1472s| 4640k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5136 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1539.60/1540.14 c 1475s| 4650k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5145 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1542.72/1543.29 c 1478s| 4660k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5156 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1546.01/1546.50 c 1481s| 4670k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5174 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1549.11/1549.65 c 1484s| 4680k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5189 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1552.51/1553.04 c 1488s| 4690k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5201 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1555.60/1556.19 c 1491s| 4700k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5209 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1558.90/1559.43 c 1494s| 4710k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5228 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1562.00/1562.55 c 1497s| 4720k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5233 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1565.11/1565.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.11/1565.69 c 1500s| 4730k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5250 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1568.40/1568.99 c 1503s| 4740k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5266 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1571.80/1572.36 c 1506s| 4750k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5285 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1574.99/1575.56 c 1509s| 4760k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5293 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1578.29/1578.80 c 1512s| 4770k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5307 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1581.30/1581.86 c 1515s| 4780k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5312 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1584.29/1584.86 c 1518s| 4790k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5324 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1587.59/1588.12 c 1521s| 4800k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5326 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1590.69/1591.21 c 1524s| 4810k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5334 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1593.89/1594.44 c 1527s| 4820k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5341 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1596.99/1597.56 c 1530s| 4830k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5343 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1600.38/1600.90 c 1533s| 4840k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5347 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1603.59/1604.11 c 1537s| 4850k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5355 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1606.50/1607.10 c 1539s| 4860k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5368 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1609.79/1610.32 c 1542s| 4870k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5383 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1612.89/1613.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.89/1613.43 c 1545s| 4880k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5392 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1615.98/1616.57 c 1548s| 4890k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5400 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1619.38/1619.90 c 1552s| 4900k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5403 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1622.58/1623.19 c 1555s| 4910k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5409 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1625.98/1626.51 c 1558s| 4920k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5415 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1629.18/1629.71 c 1561s| 4930k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5419 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1632.38/1632.90 c 1564s| 4940k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5422 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1635.58/1636.13 c 1567s| 4950k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5432 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1638.78/1639.36 c 1570s| 4960k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5436 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1642.07/1642.62 c 1573s| 4970k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5440 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1645.38/1645.98 c 1577s| 4980k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5449 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1648.48/1649.03 c 1579s| 4990k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5456 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1651.58/1652.17 c 1582s| 5000k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5464 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1654.77/1655.30 c 1585s| 5010k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5467 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1657.98/1658.51 c 1588s| 5020k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5488 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1661.07/1661.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.07/1661.66 c 1592s| 5030k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5494 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1664.17/1664.79 c 1594s| 5040k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5503 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1667.47/1668.02 c 1598s| 5050k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5505 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1670.77/1671.37 c 1601s| 5060k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5520 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1674.07/1674.65 c 1604s| 5070k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5533 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1677.46/1678.01 c 1607s| 5080k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5540 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1680.56/1681.18 c 1610s| 5090k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5548 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1683.87/1684.42 c 1613s| 5100k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5555 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1687.05/1687.63 c 1616s| 5110k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5577 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1690.16/1690.71 c 1619s| 5120k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5588 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1693.25/1693.83 c 1622s| 5130k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5598 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1696.35/1696.94 c 1625s| 5140k| 66 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5609 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1699.55/1700.16 c 1628s| 5150k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5620 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1702.75/1703.39 c 1631s| 5160k| 57 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5638 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1705.95/1706.56 c 1634s| 5170k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5648 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1709.25/1709.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.25/1709.85 c 1637s| 5180k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5653 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1712.45/1713.09 c 1641s| 5190k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5663 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1715.85/1716.44 c 1644s| 5200k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5670 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1718.65/1719.29 c 1647s| 5210k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5687 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1721.75/1722.34 c 1649s| 5220k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5702 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1725.05/1725.69 c 1653s| 5230k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5713 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1728.24/1728.81 c 1656s| 5240k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5729 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1731.44/1732.03 c 1659s| 5250k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5737 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1734.64/1735.23 c 1662s| 5260k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5751 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1737.84/1738.49 c 1665s| 5270k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5764 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1741.14/1741.78 c 1668s| 5280k| 65 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5771 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1744.34/1744.95 c 1671s| 5290k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5781 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1747.44/1748.08 c 1674s| 5300k| 64 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5788 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1750.74/1751.31 c 1677s| 5310k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5794 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1753.84/1754.47 c 1680s| 5320k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5801 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1757.24/1757.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.24/1757.84 c 1683s| 5330k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5815 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1760.54/1761.14 c 1687s| 5340k| 63 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5825 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1763.74/1764.37 c 1690s| 5350k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5830 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1767.04/1767.66 c 1693s| 5360k| 61 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5839 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1770.23/1770.83 c 1696s| 5370k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5847 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1773.33/1773.96 c 1699s| 5380k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5852 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1776.53/1777.18 c 1702s| 5390k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5856 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1779.63/1780.25 c 1705s| 5400k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5862 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1782.73/1783.38 c 1708s| 5410k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5871 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1785.92/1786.51 c 1711s| 5420k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5881 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1788.92/1789.60 c 1714s| 5430k| 62 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5891 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1792.02/1792.63 c 1717s| 5440k| 60 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5905 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1795.32/1795.98 c 1720s| 5450k| 58 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5907 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1798.94/1799.50 c 1723s| 5460k| 59 | 0 | 0.0 | 38M| 101 | - |1000 | 15k| 0 | 0 | 0 |5918 | 0 |-9.990000e+02 |-1.010000e+02 | 89.89%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1724.25
1800.03/1800.61 c Solving Nodes : 5463546
1800.03/1800.61 c Primal Bound : -1.01000000000000e+02 (9 solutions)
1800.03/1800.61 c Dual Bound : -9.99000000000000e+02
1800.03/1800.61 c Gap : 89.89 %
1800.03/1800.65 s SATISFIABLE
1800.03/1800.65 v -x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.03/1800.65 v x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.03/1800.65 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1800.03/1800.65 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.03/1800.65 v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895
1800.03/1800.65 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.03/1800.65 v -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 x855 -x854 -x853
1800.03/1800.65 v x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.03/1800.65 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 x811
1800.03/1800.65 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789
1800.03/1800.65 v -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.03/1800.65 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1800.03/1800.65 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.03/1800.65 v -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 x706 -x705
1800.03/1800.65 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 x685 -x684
1800.03/1800.65 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.03/1800.65 v -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.03/1800.65 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.03/1800.65 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.03/1800.65 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
1800.03/1800.65 v -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1800.03/1800.65 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537
1800.03/1800.65 v -x536 x535 x534 x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.03/1800.65 v -x515 -x514 -x513 -x512 x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.03/1800.65 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
1800.03/1800.65 v -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452
1800.03/1800.65 v x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431
1800.03/1800.65 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 x415 -x414 -x413 -x412 -x411 -x410
1800.03/1800.65 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.03/1800.65 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.03/1800.65 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1800.03/1800.65 v x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
1800.03/1800.65 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304
1800.03/1800.65 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1800.03/1800.65 v -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1800.03/1800.65 v -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 x241
1800.03/1800.65 v -x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.03/1800.65 v -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.03/1800.65 v -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.03/1800.65 v -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.03/1800.65 v -x154 -x153 -x152 x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x136 -x135 -x134
1800.03/1800.65 v -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1800.03/1800.65 v -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89
1800.03/1800.65 v -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1800.03/1800.65 v x62 x61 -x60 -x59 x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36
1800.03/1800.65 v -x35 -x34 x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.03/1800.65 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.65 c Solving Time : 1724.25
1800.03/1800.65 c Original Problem :
1800.03/1800.65 c Problem name : HOME/instance-2663820-1276661693.opb
1800.03/1800.65 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.65 c Constraints : 16820 initial, 16820 maximal
1800.03/1800.65 c Presolved Problem :
1800.03/1800.65 c Problem name : t_HOME/instance-2663820-1276661693.opb
1800.03/1800.65 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.65 c Constraints : 15820 initial, 15825 maximal
1800.03/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.65 c probing : 0.10 0 0 0 0 0 0 0 0
1800.03/1800.65 c linear : 0.10 15820 0 0 15820 0 1000 0 0
1800.03/1800.65 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.65 c root node : - 0 - - 0 - - - -
1800.03/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.65 c logicor : 15820+ 0 5596818 0 7 24535 7894488 0 0 0
1800.03/1800.65 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.03/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.65 c logicor : 117.86 0.00 117.83 0.00 0.03
1800.03/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.65 c vbounds : 4.59 2 0 0
1800.03/1800.65 c rootredcost : 4.92 0 0 0
1800.03/1800.65 c pseudoobj : 791.55 9644015 2370003 10493850
1800.03/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.65 c propagation : 24.13 24535 5919 5919 75.1 0 0.0 -
1800.03/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.65 c pseudo solution : 509.17 322767 0 0 0.0 0 0.0 -
1800.03/1800.65 c applied globally : - - - 5919 75.1 - - -
1800.03/1800.65 c applied locally : - - - 0 0.0 - - -
1800.03/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.65 c redcost : 0.00 0 0 0 0 0
1800.03/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.65 c intobj : 0.00 0 0 0 0 0
1800.03/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.65 c gomory : 0.00 0 0 0 0 0
1800.03/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.65 c cmir : 0.00 0 0 0 0 0
1800.03/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.65 c clique : 0.00 0 0 0 0 0
1800.03/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.65 c mcf : 0.00 0 0 0 0 0
1800.03/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.65 c Pricers : Time Calls Vars
1800.03/1800.65 c problem variables: 0.00 0 0
1800.03/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.65 c inference : 36.89 2749079 0 0 0 0 5498158
1800.03/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.65 c random : 0.00 0 0 0 0 0 0
1800.03/1800.65 c Primal Heuristics : Time Calls Found
1800.03/1800.65 c LP solutions : 0.00 - 0
1800.03/1800.65 c pseudo solutions : 0.00 - 7
1800.03/1800.65 c oneopt : 3.93 0 0
1800.03/1800.65 c trivial : 0.05 2 2
1800.03/1800.65 c simplerounding : 0.00 0 0
1800.03/1800.65 c zirounding : 0.00 0 0
1800.03/1800.65 c rounding : 0.00 0 0
1800.03/1800.65 c shifting : 0.00 0 0
1800.03/1800.65 c intshifting : 0.00 0 0
1800.03/1800.65 c twoopt : 0.00 0 0
1800.03/1800.65 c fixandinfer : 0.00 0 0
1800.03/1800.65 c feaspump : 0.00 0 0
1800.03/1800.65 c coefdiving : 0.00 0 0
1800.03/1800.65 c pscostdiving : 0.00 0 0
1800.03/1800.65 c fracdiving : 0.00 0 0
1800.03/1800.65 c veclendiving : 0.00 0 0
1800.03/1800.65 c intdiving : 0.00 0 0
1800.03/1800.65 c actconsdiving : 0.00 0 0
1800.03/1800.65 c objpscostdiving : 0.00 0 0
1800.03/1800.65 c rootsoldiving : 0.00 0 0
1800.03/1800.65 c linesearchdiving : 0.00 0 0
1800.03/1800.65 c guideddiving : 0.00 0 0
1800.03/1800.65 c octane : 0.00 0 0
1800.03/1800.65 c rens : 0.00 0 0
1800.03/1800.65 c rins : 0.00 0 0
1800.03/1800.65 c localbranching : 0.00 0 0
1800.03/1800.65 c mutation : 0.00 0 0
1800.03/1800.65 c crossover : 0.00 0 0
1800.03/1800.65 c dins : 0.00 0 0
1800.03/1800.65 c undercover : 0.00 0 0
1800.03/1800.65 c nlp : 2.35 0 0
1800.03/1800.65 c trysol : 2.91 0 0
1800.03/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.65 c (at root node) : - 0 0 0.00 -
1800.03/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.65 c B&B Tree :
1800.03/1800.65 c number of runs : 1
1800.03/1800.65 c nodes : 5463546
1800.03/1800.65 c nodes (total) : 5463546
1800.03/1800.65 c nodes left : 62
1800.03/1800.65 c max depth : 101
1800.03/1800.65 c max depth (total): 101
1800.03/1800.65 c backtracks : 1355096 (24.8%)
1800.03/1800.65 c delayed cutoffs : 3673
1800.03/1800.65 c repropagations : 4979 (21722 domain reductions, 2845 cutoffs)
1800.03/1800.65 c avg switch length: 2.00
1800.03/1800.65 c switching time : 98.56
1800.03/1800.65 c Solution :
1800.03/1800.65 c Solutions found : 9 (8 improvements)
1800.03/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.03/1800.65 c Primal Bound : -1.01000000000000e+02 (in run 1, after 3749463 nodes, 1198.18 seconds, depth 91, found by <relaxation>)
1800.03/1800.65 c Dual Bound : -9.99000000000000e+02
1800.03/1800.65 c Gap : 89.89 %
1800.03/1800.65 c Root Dual Bound : -1.00000000000000e+03
1800.03/1800.65 c Root Iterations : 0
1800.14/1800.73 c Time complete: 1800.16.
OK -101
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663820-1276661693/watcher-2663820-1276661693 -o /tmp/evaluation-result-2663820-1276661693/solver-2663820-1276661693 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663820-1276661693.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.00 1.00 3/106 14965 /proc/meminfo: memFree=1716444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=3652 CPUtime=0 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 472 0 0 0 0 0 0 0 19 0 1 0 7464401 3739648 394 1992294400 4194304 7136930 140735662317424 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14965/statm: 913 395 224 719 0 192 0 [startup+0.0272 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14965 /proc/meminfo: memFree=1716444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=11104 CPUtime=0.01 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 2250 0 0 0 1 0 0 0 19 0 1 0 7464401 11370496 2172 1992294400 4194304 7136930 140735662317424 18446744073709551615 6268005 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14965/statm: 2776 2172 272 719 0 2055 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11104 [startup+0.100208 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14965 /proc/meminfo: memFree=1716444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=20408 CPUtime=0.09 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 4566 0 0 0 8 1 0 0 19 0 1 0 7464401 20897792 4488 1992294400 4194304 7136930 140735662317424 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14965/statm: 5102 4488 272 719 0 4381 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20408 [startup+0.300232 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14965 /proc/meminfo: memFree=1716444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=49188 CPUtime=0.29 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 12158 0 0 0 25 4 0 0 20 0 1 0 7464401 50368512 11726 1992294400 4194304 7136930 140735662317424 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 12297 11726 293 719 0 11576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49188 [startup+0.700277 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14965 /proc/meminfo: memFree=1716444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=62832 CPUtime=0.68 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 15422 0 0 0 59 9 0 0 21 0 1 0 7464401 64339968 14637 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 15708 14637 333 719 0 14987 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 62832 [startup+1.50037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1655676/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1.49 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17988 0 0 0 130 19 0 0 23 0 1 0 7464401 69738496 16039 1992294400 4194304 7136930 140735662317424 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16039 384 719 0 16305 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 68104 [startup+3.10056 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1653444/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=3.09 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 284 25 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68104 [startup+6.30093 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1653320/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=6.28 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 592 36 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 68104 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1653204/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=12.69 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 1211 58 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 4702002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68104 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1653204/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=25.48 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 2443 105 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68104 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14966 /proc/meminfo: memFree=1653204/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=51.07 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 4905 202 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 68104 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14968 /proc/meminfo: memFree=1652956/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=102.26 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 9825 401 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 68104 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14970 /proc/meminfo: memFree=1652832/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=162.24 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 15586 638 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 68104 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14972 /proc/meminfo: memFree=1652832/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=222.23 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 21340 883 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 68104 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14972 /proc/meminfo: memFree=1652708/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=282.21 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 27095 1126 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 68104 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14974 /proc/meminfo: memFree=1652584/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=342.19 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 32844 1375 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 68104 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14976 /proc/meminfo: memFree=1652336/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=402.17 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 38600 1617 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 68104 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14978 /proc/meminfo: memFree=1652212/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=462.15 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 44359 1856 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 68104 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14980 /proc/meminfo: memFree=1652088/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=522.13 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 50107 2106 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 68104 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14980 /proc/meminfo: memFree=1651964/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=582.12 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 55851 2361 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 68104 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14982 /proc/meminfo: memFree=1651840/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=642.11 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 61597 2614 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 68104 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14988 /proc/meminfo: memFree=1651344/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=882.02 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 84571 3631 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 68104 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14990 /proc/meminfo: memFree=1651220/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=942.01 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 90326 3875 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 68104 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14992 /proc/meminfo: memFree=1651096/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1001.99 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 96076 4123 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 68104 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14997 /proc/meminfo: memFree=1650352/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1061.96 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 101823 4373 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 68104 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14999 /proc/meminfo: memFree=1650352/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1121.94 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 107574 4620 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 68104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14999 /proc/meminfo: memFree=1650352/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1181.92 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 113325 4867 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 4350002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 68104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15001 /proc/meminfo: memFree=1650352/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1241.9 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 119072 5118 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 68104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15003 /proc/meminfo: memFree=1650228/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1301.9 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 124806 5384 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 68104 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 15005 /proc/meminfo: memFree=1650228/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1361.87 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 130541 5646 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 68104 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15007 /proc/meminfo: memFree=1650104/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1421.86 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 136287 5899 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 68104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15007 /proc/meminfo: memFree=1649980/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1481.82 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 142031 6151 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 68104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15009 /proc/meminfo: memFree=1649980/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1541.81 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 147758 6423 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 68104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15011 /proc/meminfo: memFree=1649856/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1601.79 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 153495 6684 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 68104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15013 /proc/meminfo: memFree=1649608/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1661.77 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 159228 6949 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 68104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15015 /proc/meminfo: memFree=1649608/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1721.75 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 164959 7216 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5917829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 68104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15015 /proc/meminfo: memFree=1649236/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1781.73 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 170691 7482 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 5907486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 68104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15017 /proc/meminfo: memFree=1649236/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=68104 CPUtime=1800.03 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17990 0 0 0 172441 7562 0 0 25 0 1 0 7464401 69738496 16041 1992294400 4194304 7136930 140735662317424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14965/statm: 17026 16041 384 719 0 16305 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 68104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15017 /proc/meminfo: memFree=1649236/2059040 swapFree=4192956/4192956 [pid=14965] ppid=14963 vsize=36264 CPUtime=1800.14 /proc/14965/stat : 14965 (pbscip.linux.x8) R 14963 14965 14712 0 -1 4202496 17997 0 0 0 172451 7563 0 0 25 0 1 0 7464401 37134336 8440 1992294400 4194304 7136930 140735662317424 18446744073709551615 4676397 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14965/statm: 9066 8440 391 719 0 8345 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 36264 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.17 CPU user time (s): 1724.54 CPU system time (s): 75.6345 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 68104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.54 system time used= 75.6345 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18003 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= 11388 runsolver used 2.97155 second user time and 8.5317 second system time The end
Begin job on node033 at 2010-06-16 06:14:53 IDJOB=2663820 IDBENCH=48193 IDSOLVER=1167 FILE ID=node033/2663820-1276661693 PBS_JOBID= 11172496 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663820-1276661693/watcher-2663820-1276661693 -o /tmp/evaluation-result-2663820-1276661693/solver-2663820-1276661693 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663820-1276661693.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=1072609251 node033.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1716972 kB Buffers: 44440 kB Cached: 159716 kB SwapCached: 0 kB Active: 97612 kB Inactive: 166320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716972 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3636 kB Writeback: 0 kB AnonPages: 59820 kB Mapped: 15396 kB Slab: 56344 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182664 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= 62588 MiB End job on node033 at 2010-06-16 06:44:55