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) | 14 | 1802.23 | 1802.75 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb |
| MD5SUM | 7acfcd4d612717a490c27c9a55b3f455 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.079987 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 411 |
| Total number of constraints | 477 |
| Number of constraints which are clauses | 387 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Number of terms in the objective function | 411 |
| Biggest coefficient in the objective function | 268 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1129 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 268 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1129 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2664720-1276481612.opb>
0.00/0.02 c original problem has 411 variables (411 bin, 0 int, 0 impl, 0 cont) and 477 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.00/0.02 o 593
0.00/0.02 c feasible solution found by trivial heuristic, objective value 5.930000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1798 impls, 1 clqs
0.03/0.04 c (round 2) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 459 upgd conss, 1798 impls, 1 clqs
0.03/0.05 c (round 3) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 473 upgd conss, 1798 impls, 1 clqs
0.03/0.07 c (0.0s) probing: 146/407 (35.9%) - 0 fixings, 0 aggregations, 40 implications, 0 bound changes
0.03/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (4 rounds):
0.03/0.07 c 4 deleted vars, 4 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.07 c 1900 implications, 1 cliques
0.03/0.07 c presolved problem has 407 variables (407 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.03/0.07 c 88 constraints of type <knapsack>
0.03/0.07 c 1 constraints of type <setppc>
0.03/0.07 c 384 constraints of type <logicor>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.2
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1799.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 1620
0.03/0.07 c
0.03/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.07 c lp/solvefreq = -1
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.07 c t 0.0s| 1 | 2 | 0 | - |1691k| 0 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.680000e+02 | 5.930000e+02 | Inf
2.90/2.95 c 2.6s| 10000 | 10001 | 0 | 0.0 |6306k| 51 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.420000e+02 | 5.930000e+02 | Inf
5.69/5.75 c 5.1s| 20000 | 20001 | 0 | 0.0 | 10M| 59 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.390000e+02 | 5.930000e+02 | Inf
8.48/8.51 c 7.6s| 30000 | 30001 | 0 | 0.0 | 15M| 59 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.380000e+02 | 5.930000e+02 | Inf
11.19/11.25 c 10.1s| 40000 | 40001 | 0 | 0.0 | 19M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 5.930000e+02 | Inf
13.88/13.97 c 12.5s| 50000 | 50001 | 0 | 0.0 | 23M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 5.930000e+02 | Inf
16.58/16.67 c 14.9s| 60000 | 60001 | 0 | 0.0 | 27M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 5.930000e+02 | Inf
19.28/19.40 c 17.4s| 70000 | 70001 | 0 | 0.0 | 31M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 5.930000e+02 | Inf
22.08/22.11 c 19.8s| 80000 | 80001 | 0 | 0.0 | 35M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 5.930000e+02 | Inf
24.78/24.83 c 22.2s| 90000 | 90001 | 0 | 0.0 | 40M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 5.930000e+02 | Inf
27.49/27.53 c 24.7s|100000 |100001 | 0 | 0.0 | 44M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 5.930000e+02 | Inf
30.19/30.23 c 27.1s|110000 |110001 | 0 | 0.0 | 48M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
32.89/32.96 c 29.6s|120000 |120001 | 0 | 0.0 | 52M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
35.58/35.67 c 32.0s|130000 |130001 | 0 | 0.0 | 56M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
38.28/38.37 c 34.5s|140000 |140001 | 0 | 0.0 | 60M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
41.08/41.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.08/41.10 c 36.9s|150000 |150001 | 0 | 0.0 | 64M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
43.78/43.81 c 39.4s|160000 |160001 | 0 | 0.0 | 68M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
46.48/46.51 c 41.8s|170000 |170001 | 0 | 0.0 | 72M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
49.08/49.19 c 44.2s|180000 |180001 | 0 | 0.0 | 77M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
51.87/51.92 c 46.6s|190000 |190001 | 0 | 0.0 | 81M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
54.57/54.63 c 49.0s|200000 |200001 | 0 | 0.0 | 85M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
57.28/57.34 c 51.4s|210000 |210001 | 0 | 0.0 | 89M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
59.97/60.02 c 53.9s|220000 |220001 | 0 | 0.0 | 93M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
62.59/62.70 c 56.3s|230000 |230001 | 0 | 0.0 | 98M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
65.38/65.42 c 58.8s|240000 |240001 | 0 | 0.0 | 102M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
68.08/68.16 c 61.2s|250000 |250001 | 0 | 0.0 | 106M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
70.77/70.87 c 63.6s|260000 |260001 | 0 | 0.0 | 111M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
73.47/73.59 c 66.1s|270000 |270001 | 0 | 0.0 | 115M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
76.27/76.30 c 68.5s|280000 |280001 | 0 | 0.0 | 119M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
78.97/79.00 c 70.9s|290000 |290001 | 0 | 0.0 | 124M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
81.57/81.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.57/81.69 c 73.4s|300000 |300001 | 0 | 0.0 | 128M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
84.27/84.38 c 75.8s|310000 |310001 | 0 | 0.0 | 132M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
86.96/87.07 c 78.2s|320000 |320001 | 0 | 0.0 | 137M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
89.76/89.83 c 80.7s|330000 |330001 | 0 | 0.0 | 141M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
92.47/92.55 c 83.1s|340000 |340001 | 0 | 0.0 | 145M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
95.16/95.27 c 85.5s|350000 |350001 | 0 | 0.0 | 150M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
97.87/97.98 c 87.9s|360000 |360001 | 0 | 0.0 | 154M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
100.56/100.69 c 90.4s|370000 |370001 | 0 | 0.0 | 158M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
103.27/103.39 c 92.8s|380000 |380001 | 0 | 0.0 | 163M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
105.96/106.09 c 95.2s|390000 |390001 | 0 | 0.0 | 167M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
108.67/108.78 c 97.6s|400000 |400001 | 0 | 0.0 | 171M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
111.36/111.46 c 100s|410000 |410001 | 0 | 0.0 | 176M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
114.07/114.14 c 102s|420000 |420001 | 0 | 0.0 | 180M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
116.77/116.86 c 105s|430000 |430001 | 0 | 0.0 | 184M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
119.46/119.57 c 107s|440000 |440001 | 0 | 0.0 | 189M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
122.16/122.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.16/122.28 c 110s|450000 |450001 | 0 | 0.0 | 193M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
124.86/124.99 c 112s|460000 |460001 | 0 | 0.0 | 197M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
127.56/127.69 c 115s|470000 |470001 | 0 | 0.0 | 202M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
130.26/130.39 c 117s|480000 |480001 | 0 | 0.0 | 206M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
132.96/133.09 c 119s|490000 |490001 | 0 | 0.0 | 210M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
135.65/135.75 c 122s|500000 |500001 | 0 | 0.0 | 215M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
138.35/138.41 c 124s|510000 |510001 | 0 | 0.0 | 219M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
140.95/141.07 c 127s|520000 |520001 | 0 | 0.0 | 223M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
143.65/143.72 c 129s|530000 |530001 | 0 | 0.0 | 227M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
146.26/146.38 c 131s|540000 |540001 | 0 | 0.0 | 231M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
148.95/149.04 c 134s|550000 |550001 | 0 | 0.0 | 236M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
151.65/151.75 c 136s|560000 |560001 | 0 | 0.0 | 240M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
154.35/154.46 c 139s|570000 |570001 | 0 | 0.0 | 244M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
157.05/157.16 c 141s|580000 |580001 | 0 | 0.0 | 249M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
159.75/159.86 c 143s|590000 |590001 | 0 | 0.0 | 253M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
162.45/162.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.45/162.56 c 146s|600000 |600001 | 0 | 0.0 | 257M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
165.15/165.25 c 148s|610000 |610001 | 0 | 0.0 | 262M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
167.85/167.94 c 151s|620000 |620001 | 0 | 0.0 | 266M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
170.55/170.64 c 153s|630000 |630001 | 0 | 0.0 | 270M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
173.24/173.33 c 155s|640000 |640001 | 0 | 0.0 | 275M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
175.95/176.02 c 158s|650000 |650001 | 0 | 0.0 | 279M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
178.65/178.70 c 160s|660000 |660001 | 0 | 0.0 | 283M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
181.24/181.37 c 163s|670000 |670001 | 0 | 0.0 | 288M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
183.94/184.03 c 165s|680000 |680001 | 0 | 0.0 | 292M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
186.55/186.66 c 167s|690000 |690001 | 0 | 0.0 | 296M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
189.24/189.31 c 170s|700000 |700001 | 0 | 0.0 | 300M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
191.84/191.95 c 172s|710000 |710001 | 0 | 0.0 | 304M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
194.44/194.59 c 174s|720000 |720001 | 0 | 0.0 | 308M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
197.14/197.24 c 177s|730000 |730001 | 0 | 0.0 | 312M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
199.73/199.88 c 179s|740000 |740001 | 0 | 0.0 | 316M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
202.35/202.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.35/202.49 c 182s|750000 |750001 | 0 | 0.0 | 321M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
205.04/205.15 c 184s|760000 |760001 | 0 | 0.0 | 325M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
207.74/207.81 c 186s|770000 |770001 | 0 | 0.0 | 329M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
210.34/210.45 c 189s|780000 |780001 | 0 | 0.0 | 333M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
212.93/213.08 c 191s|790000 |790001 | 0 | 0.0 | 337M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
215.63/215.71 c 194s|800000 |800001 | 0 | 0.0 | 341M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
218.23/218.32 c 196s|810000 |810001 | 0 | 0.0 | 345M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
220.83/220.93 c 198s|820000 |820001 | 0 | 0.0 | 349M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
223.43/223.53 c 201s|830000 |830001 | 0 | 0.0 | 353M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
226.03/226.12 c 203s|840000 |840001 | 0 | 0.0 | 357M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
228.63/228.72 c 205s|850000 |850001 | 0 | 0.0 | 361M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
231.23/231.31 c 208s|860000 |860001 | 0 | 0.0 | 366M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
233.83/233.92 c 210s|870000 |870001 | 0 | 0.0 | 370M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
236.44/236.52 c 212s|880000 |880001 | 0 | 0.0 | 374M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
239.03/239.11 c 215s|890000 |890001 | 0 | 0.0 | 378M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
241.53/241.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.63/241.70 c 217s|900000 |900001 | 0 | 0.0 | 382M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
244.13/244.28 c 219s|910000 |910001 | 0 | 0.0 | 386M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
246.73/246.87 c 222s|920000 |920001 | 0 | 0.0 | 390M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
249.32/249.46 c 224s|930000 |930001 | 0 | 0.0 | 394M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
251.93/252.05 c 226s|940000 |940001 | 0 | 0.0 | 398M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
254.52/254.64 c 228s|950000 |950001 | 0 | 0.0 | 402M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
257.12/257.24 c 231s|960000 |960001 | 0 | 0.0 | 406M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
259.72/259.82 c 233s|970000 |970001 | 0 | 0.0 | 411M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
262.33/262.40 c 235s|980000 |980001 | 0 | 0.0 | 415M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
264.82/264.99 c 238s|990000 |990001 | 0 | 0.0 | 419M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
267.42/267.58 c 240s| 1000k| 1000k| 0 | 0.0 | 423M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
270.02/270.16 c 242s| 1010k| 1010k| 0 | 0.0 | 427M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
272.63/272.76 c 245s| 1020k| 1020k| 0 | 0.0 | 431M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
275.22/275.34 c 247s| 1030k| 1030k| 0 | 0.0 | 435M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
277.81/277.92 c 249s| 1040k| 1040k| 0 | 0.0 | 440M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
280.33/280.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.33/280.50 c 252s| 1050k| 1050k| 0 | 0.0 | 444M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
282.92/283.08 c 254s| 1060k| 1060k| 0 | 0.0 | 448M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
285.51/285.67 c 256s| 1070k| 1070k| 0 | 0.0 | 452M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
288.13/288.26 c 259s| 1080k| 1080k| 0 | 0.0 | 457M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
290.71/290.83 c 261s| 1090k| 1090k| 0 | 0.0 | 461M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
293.21/293.39 c 263s| 1100k| 1100k| 0 | 0.0 | 465M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
295.92/296.04 c 266s| 1110k| 1110k| 0 | 0.0 | 470M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
298.51/298.69 c 268s| 1120k| 1120k| 0 | 0.0 | 474M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
301.22/301.34 c 270s| 1130k| 1130k| 0 | 0.0 | 478M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
303.81/303.98 c 273s| 1140k| 1140k| 0 | 0.0 | 483M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
306.51/306.63 c 275s| 1150k| 1150k| 0 | 0.0 | 487M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
309.11/309.25 c 277s| 1160k| 1160k| 0 | 0.0 | 491M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
311.71/311.89 c 280s| 1170k| 1170k| 0 | 0.0 | 495M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
314.42/314.53 c 282s| 1180k| 1180k| 0 | 0.0 | 500M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
317.01/317.15 c 284s| 1190k| 1190k| 0 | 0.0 | 504M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
319.61/319.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.61/319.77 c 287s| 1200k| 1200k| 0 | 0.0 | 508M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
322.21/322.39 c 289s| 1210k| 1210k| 0 | 0.0 | 512M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
324.91/325.02 c 292s| 1220k| 1220k| 0 | 0.0 | 517M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
327.51/327.64 c 294s| 1230k| 1230k| 0 | 0.0 | 521M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
330.11/330.24 c 296s| 1240k| 1240k| 0 | 0.0 | 525M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
332.70/332.85 c 299s| 1250k| 1250k| 0 | 0.0 | 529M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
335.31/335.46 c 301s| 1260k| 1260k| 0 | 0.0 | 534M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
337.90/338.08 c 303s| 1270k| 1270k| 0 | 0.0 | 538M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
340.60/340.71 c 306s| 1280k| 1280k| 0 | 0.0 | 542M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
343.19/343.32 c 308s| 1290k| 1290k| 0 | 0.0 | 546M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
345.80/345.95 c 310s| 1300k| 1300k| 0 | 0.0 | 551M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
348.40/348.56 c 313s| 1310k| 1310k| 0 | 0.0 | 555M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
351.00/351.17 c 315s| 1320k| 1320k| 0 | 0.0 | 559M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
353.59/353.78 c 317s| 1330k| 1330k| 0 | 0.0 | 563M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
356.20/356.39 c 320s| 1340k| 1340k| 0 | 0.0 | 568M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
358.89/359.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.89/359.00 c 322s| 1350k| 1350k| 0 | 0.0 | 572M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
361.49/361.61 c 324s| 1360k| 1360k| 0 | 0.0 | 576M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
364.10/364.21 c 327s| 1370k| 1370k| 0 | 0.0 | 580M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
366.69/366.82 c 329s| 1380k| 1380k| 0 | 0.0 | 585M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
369.29/369.41 c 331s| 1390k| 1390k| 0 | 0.0 | 589M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
371.88/372.01 c 334s| 1400k| 1400k| 0 | 0.0 | 593M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
374.48/374.61 c 336s| 1410k| 1410k| 0 | 0.0 | 597M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
377.10/377.21 c 338s| 1420k| 1420k| 0 | 0.0 | 602M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
379.68/379.80 c 340s| 1430k| 1430k| 0 | 0.0 | 606M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
382.29/382.41 c 343s| 1440k| 1440k| 0 | 0.0 | 610M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
384.79/385.00 c 345s| 1450k| 1450k| 0 | 0.0 | 614M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
387.38/387.59 c 347s| 1460k| 1460k| 0 | 0.0 | 619M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
389.98/390.17 c 350s| 1470k| 1470k| 0 | 0.0 | 623M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
392.59/392.75 c 352s| 1480k| 1480k| 0 | 0.0 | 627M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
395.18/395.33 c 354s| 1490k| 1490k| 0 | 0.0 | 631M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
397.77/397.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.77/397.91 c 357s| 1500k| 1500k| 0 | 0.0 | 635M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
400.28/400.49 c 359s| 1510k| 1510k| 0 | 0.0 | 640M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
402.88/403.06 c 361s| 1520k| 1520k| 0 | 0.0 | 644M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
405.47/405.63 c 364s| 1530k| 1530k| 0 | 0.0 | 648M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
408.08/408.21 c 366s| 1540k| 1540k| 0 | 0.0 | 652M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
410.57/410.78 c 368s| 1550k| 1550k| 0 | 0.0 | 656M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
413.18/413.34 c 371s| 1560k| 1560k| 0 | 0.0 | 661M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
415.78/415.91 c 373s| 1570k| 1570k| 0 | 0.0 | 665M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
418.27/418.45 c 375s| 1580k| 1580k| 0 | 0.0 | 669M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
420.87/421.00 c 377s| 1590k| 1590k| 0 | 0.0 | 674M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
423.38/423.54 c 380s| 1600k| 1600k| 0 | 0.0 | 678M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
425.87/426.08 c 382s| 1610k| 1610k| 0 | 0.0 | 682M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
428.47/428.68 c 384s| 1620k| 1620k| 0 | 0.0 | 687M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
431.17/431.31 c 387s| 1630k| 1630k| 0 | 0.0 | 691M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
433.77/433.93 c 389s| 1640k| 1640k| 0 | 0.0 | 695M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
436.37/436.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.37/436.56 c 391s| 1650k| 1650k| 0 | 0.0 | 699M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
438.97/439.17 c 394s| 1660k| 1660k| 0 | 0.0 | 704M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
441.57/441.78 c 396s| 1670k| 1670k| 0 | 0.0 | 708M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
444.18/444.39 c 398s| 1680k| 1680k| 0 | 0.0 | 712M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
446.86/447.00 c 401s| 1690k| 1690k| 0 | 0.0 | 717M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
449.46/449.62 c 403s| 1700k| 1700k| 0 | 0.0 | 721M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
452.06/452.22 c 405s| 1710k| 1710k| 0 | 0.0 | 725M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
454.67/454.83 c 408s| 1720k| 1720k| 0 | 0.0 | 729M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
457.27/457.42 c 410s| 1730k| 1730k| 0 | 0.0 | 734M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
459.86/460.02 c 412s| 1740k| 1740k| 0 | 0.0 | 738M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
462.46/462.61 c 415s| 1750k| 1750k| 0 | 0.0 | 742M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
464.96/465.20 c 417s| 1760k| 1760k| 0 | 0.0 | 746M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
467.66/467.80 c 419s| 1770k| 1770k| 0 | 0.0 | 751M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
470.16/470.39 c 422s| 1780k| 1780k| 0 | 0.0 | 755M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
472.76/472.98 c 424s| 1790k| 1790k| 0 | 0.0 | 759M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
475.36/475.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.36/475.58 c 426s| 1800k| 1800k| 0 | 0.0 | 764M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
477.96/478.18 c 429s| 1810k| 1810k| 0 | 0.0 | 768M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
480.57/480.76 c 431s| 1820k| 1820k| 0 | 0.0 | 772M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
483.16/483.31 c 433s| 1830k| 1830k| 0 | 0.0 | 776M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
485.66/485.88 c 436s| 1840k| 1840k| 0 | 0.0 | 781M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
488.26/488.44 c 438s| 1850k| 1850k| 0 | 0.0 | 785M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
490.75/490.98 c 440s| 1860k| 1860k| 0 | 0.0 | 789M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
493.35/493.53 c 442s| 1870k| 1870k| 0 | 0.0 | 793M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
495.86/496.09 c 445s| 1880k| 1880k| 0 | 0.0 | 798M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
498.45/498.65 c 447s| 1890k| 1890k| 0 | 0.0 | 802M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
501.05/501.22 c 449s| 1900k| 1900k| 0 | 0.0 | 806M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
503.55/503.77 c 452s| 1910k| 1910k| 0 | 0.0 | 810M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
506.15/506.33 c 454s| 1920k| 1920k| 0 | 0.0 | 815M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
508.65/508.88 c 456s| 1930k| 1930k| 0 | 0.0 | 819M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
511.25/511.41 c 458s| 1940k| 1940k| 0 | 0.0 | 823M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
513.74/513.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.74/513.93 c 461s| 1950k| 1950k| 0 | 0.0 | 827M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
516.25/516.47 c 463s| 1960k| 1960k| 0 | 0.0 | 832M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
518.85/519.02 c 465s| 1970k| 1970k| 0 | 0.0 | 836M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
521.35/521.58 c 468s| 1980k| 1980k| 0 | 0.0 | 840M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
523.94/524.14 c 470s| 1990k| 1990k| 0 | 0.0 | 844M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
526.55/526.70 c 472s| 2000k| 2000k| 0 | 0.0 | 849M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
529.04/529.24 c 474s| 2010k| 2010k| 0 | 0.0 | 853M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
531.55/531.79 c 477s| 2020k| 2020k| 0 | 0.0 | 857M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
534.14/534.33 c 479s| 2030k| 2030k| 0 | 0.0 | 861M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
536.65/536.87 c 481s| 2040k| 2040k| 0 | 0.0 | 866M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
539.24/539.41 c 484s| 2050k| 2050k| 0 | 0.0 | 870M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
541.74/541.96 c 486s| 2060k| 2060k| 0 | 0.0 | 874M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
544.34/544.52 c 488s| 2070k| 2070k| 0 | 0.0 | 878M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
546.84/547.09 c 490s| 2080k| 2080k| 0 | 0.0 | 883M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
549.44/549.66 c 493s| 2090k| 2090k| 0 | 0.0 | 887M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
552.04/552.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.04/552.22 c 495s| 2100k| 2100k| 0 | 0.0 | 891M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
554.53/554.78 c 497s| 2110k| 2110k| 0 | 0.0 | 896M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
557.13/557.34 c 500s| 2120k| 2120k| 0 | 0.0 | 900M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
559.64/559.87 c 502s| 2130k| 2130k| 0 | 0.0 | 904M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
562.24/562.41 c 504s| 2140k| 2140k| 0 | 0.0 | 908M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
564.73/564.96 c 506s| 2150k| 2150k| 0 | 0.0 | 913M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
567.34/567.51 c 509s| 2160k| 2160k| 0 | 0.0 | 917M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
569.83/570.07 c 511s| 2170k| 2170k| 0 | 0.0 | 921M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
572.43/572.63 c 513s| 2180k| 2180k| 0 | 0.0 | 925M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
574.93/575.19 c 516s| 2190k| 2190k| 0 | 0.0 | 930M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
577.53/577.74 c 518s| 2200k| 2200k| 0 | 0.0 | 934M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
580.03/580.27 c 520s| 2210k| 2210k| 0 | 0.0 | 938M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
582.63/582.81 c 522s| 2220k| 2220k| 0 | 0.0 | 942M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
585.13/585.34 c 525s| 2230k| 2230k| 0 | 0.0 | 947M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
587.63/587.88 c 527s| 2240k| 2240k| 0 | 0.0 | 951M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
590.23/590.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.23/590.44 c 529s| 2250k| 2250k| 0 | 0.0 | 955M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
592.83/593.00 c 532s| 2260k| 2260k| 0 | 0.0 | 959M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
595.33/595.57 c 534s| 2270k| 2270k| 0 | 0.0 | 964M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
597.92/598.13 c 536s| 2280k| 2280k| 0 | 0.0 | 968M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
600.43/600.68 c 538s| 2290k| 2290k| 0 | 0.0 | 972M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
603.02/603.25 c 541s| 2300k| 2300k| 0 | 0.0 | 976M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
605.62/605.81 c 543s| 2310k| 2310k| 0 | 0.0 | 980M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
608.12/608.39 c 545s| 2320k| 2320k| 0 | 0.0 | 985M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
610.71/610.96 c 548s| 2330k| 2330k| 0 | 0.0 | 989M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
613.22/613.49 c 550s| 2340k| 2340k| 0 | 0.0 | 993M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
615.82/616.04 c 552s| 2350k| 2350k| 0 | 0.0 | 997M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
618.31/618.59 c 554s| 2360k| 2360k| 0 | 0.0 |1001M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
620.92/621.11 c 557s| 2370k| 2370k| 0 | 0.0 |1006M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
623.42/623.66 c 559s| 2380k| 2380k| 0 | 0.0 |1010M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
625.91/626.19 c 561s| 2390k| 2390k| 0 | 0.0 |1014M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
628.42/628.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.42/628.67 c 563s| 2400k| 2400k| 0 | 0.0 |1019M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
630.91/631.12 c 566s| 2410k| 2410k| 0 | 0.0 |1023M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
633.31/633.60 c 568s| 2420k| 2420k| 0 | 0.0 |1027M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
635.90/636.13 c 570s| 2430k| 2430k| 0 | 0.0 |1032M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
638.41/638.66 c 572s| 2440k| 2440k| 0 | 0.0 |1036M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
641.02/641.21 c 575s| 2450k| 2450k| 0 | 0.0 |1040M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
643.51/643.72 c 577s| 2460k| 2460k| 0 | 0.0 |1044M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
646.01/646.27 c 579s| 2470k| 2470k| 0 | 0.0 |1048M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
648.51/648.80 c 581s| 2480k| 2480k| 0 | 0.0 |1053M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
651.10/651.32 c 584s| 2490k| 2490k| 0 | 0.0 |1057M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
653.60/653.84 c 586s| 2500k| 2500k| 0 | 0.0 |1061M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
656.10/656.38 c 588s| 2510k| 2510k| 0 | 0.0 |1065M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
658.71/658.91 c 590s| 2520k| 2520k| 0 | 0.0 |1070M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
661.20/661.42 c 593s| 2530k| 2530k| 0 | 0.0 |1074M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
663.70/663.93 c 595s| 2540k| 2540k| 0 | 0.0 |1078M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
666.20/666.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.20/666.46 c 597s| 2550k| 2550k| 0 | 0.0 |1082M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
668.70/668.98 c 599s| 2560k| 2560k| 0 | 0.0 |1087M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
671.30/671.51 c 602s| 2570k| 2570k| 0 | 0.0 |1091M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
673.80/674.04 c 604s| 2580k| 2580k| 0 | 0.0 |1095M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
676.31/676.56 c 606s| 2590k| 2590k| 0 | 0.0 |1100M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
678.80/679.07 c 608s| 2600k| 2600k| 0 | 0.0 |1104M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
681.29/681.58 c 611s| 2610k| 2610k| 0 | 0.0 |1108M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
683.90/684.10 c 613s| 2620k| 2620k| 0 | 0.0 |1112M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
686.39/686.63 c 615s| 2630k| 2630k| 0 | 0.0 |1117M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
688.89/689.16 c 617s| 2640k| 2640k| 0 | 0.0 |1121M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
691.49/691.71 c 620s| 2650k| 2650k| 0 | 0.0 |1125M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
693.99/694.23 c 622s| 2660k| 2660k| 0 | 0.0 |1130M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
696.49/696.75 c 624s| 2670k| 2670k| 0 | 0.0 |1134M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
698.99/699.26 c 626s| 2680k| 2680k| 0 | 0.0 |1138M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
701.50/701.77 c 629s| 2690k| 2690k| 0 | 0.0 |1143M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
704.09/704.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.09/704.30 c 631s| 2700k| 2700k| 0 | 0.0 |1147M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
706.58/706.81 c 633s| 2710k| 2710k| 0 | 0.0 |1151M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
709.09/709.34 c 635s| 2720k| 2720k| 0 | 0.0 |1156M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
711.59/711.85 c 638s| 2730k| 2730k| 0 | 0.0 |1160M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
714.09/714.38 c 640s| 2740k| 2740k| 0 | 0.0 |1164M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
716.68/716.90 c 642s| 2750k| 2750k| 0 | 0.0 |1169M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
719.19/719.43 c 644s| 2760k| 2760k| 0 | 0.0 |1173M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
721.69/721.95 c 647s| 2770k| 2770k| 0 | 0.0 |1177M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
724.18/724.46 c 649s| 2780k| 2780k| 0 | 0.0 |1182M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
726.69/726.95 c 651s| 2790k| 2790k| 0 | 0.0 |1186M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
729.19/729.44 c 653s| 2800k| 2800k| 0 | 0.0 |1190M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
731.68/731.94 c 656s| 2810k| 2810k| 0 | 0.0 |1195M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
734.18/734.44 c 658s| 2820k| 2820k| 0 | 0.0 |1199M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
736.69/736.94 c 660s| 2830k| 2830k| 0 | 0.0 |1203M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
739.18/739.46 c 662s| 2840k| 2840k| 0 | 0.0 |1208M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
741.68/741.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.68/741.98 c 665s| 2850k| 2850k| 0 | 0.0 |1212M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
744.28/744.51 c 667s| 2860k| 2860k| 0 | 0.0 |1216M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
746.78/747.04 c 669s| 2870k| 2870k| 0 | 0.0 |1221M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
749.28/749.55 c 671s| 2880k| 2880k| 0 | 0.0 |1225M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
751.78/752.06 c 674s| 2890k| 2890k| 0 | 0.0 |1229M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
754.28/754.57 c 676s| 2900k| 2900k| 0 | 0.0 |1234M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
756.78/757.06 c 678s| 2910k| 2910k| 0 | 0.0 |1238M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
759.27/759.56 c 680s| 2920k| 2920k| 0 | 0.0 |1242M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
761.77/762.05 c 683s| 2930k| 2930k| 0 | 0.0 |1247M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
764.28/764.56 c 685s| 2940k| 2940k| 0 | 0.0 |1251M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
766.78/767.07 c 687s| 2950k| 2950k| 0 | 0.0 |1255M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
769.27/769.59 c 689s| 2960k| 2960k| 0 | 0.0 |1260M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
771.88/772.11 c 692s| 2970k| 2970k| 0 | 0.0 |1264M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
774.37/774.65 c 694s| 2980k| 2980k| 0 | 0.0 |1268M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
776.88/777.16 c 696s| 2990k| 2990k| 0 | 0.0 |1273M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
779.47/779.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.47/779.70 c 698s| 3000k| 3000k| 0 | 0.0 |1277M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
781.97/782.22 c 701s| 3010k| 3010k| 0 | 0.0 |1281M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
784.47/784.74 c 703s| 3020k| 3020k| 0 | 0.0 |1286M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
786.96/787.25 c 705s| 3030k| 3030k| 0 | 0.0 |1290M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
789.47/789.76 c 707s| 3040k| 3040k| 0 | 0.0 |1294M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
791.97/792.27 c 710s| 3050k| 3050k| 0 | 0.0 |1299M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
794.47/794.78 c 712s| 3060k| 3060k| 0 | 0.0 |1303M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
796.96/797.29 c 714s| 3070k| 3070k| 0 | 0.0 |1307M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
799.57/799.80 c 716s| 3080k| 3080k| 0 | 0.0 |1312M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
802.06/802.31 c 719s| 3090k| 3090k| 0 | 0.0 |1316M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
804.56/804.82 c 721s| 3100k| 3100k| 0 | 0.0 |1321M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
807.07/807.33 c 723s| 3110k| 3110k| 0 | 0.0 |1325M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
809.57/809.83 c 725s| 3120k| 3120k| 0 | 0.0 |1329M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
812.06/812.35 c 727s| 3130k| 3130k| 0 | 0.0 |1334M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
814.56/814.87 c 730s| 3140k| 3140k| 0 | 0.0 |1338M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
817.07/817.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.07/817.37 c 732s| 3150k| 3150k| 0 | 0.0 |1343M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
819.56/819.87 c 734s| 3160k| 3160k| 0 | 0.0 |1347M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
822.06/822.36 c 736s| 3170k| 3170k| 0 | 0.0 |1351M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
824.56/824.84 c 739s| 3180k| 3180k| 0 | 0.0 |1355M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
826.46/826.72 c (node 3187553) switching to memory saving mode (mem: 1296.0M/1620.0M)
827.36/827.66 o 18
827.36/827.66 c * 741s| 3187k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 1.800000e+01 | Inf
827.66/827.97 o 17
827.66/827.97 c * 742s| 3187k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 29 | 0 |-2.220000e+02 | 1.700000e+01 | Inf
828.85/829.12 o 16
828.85/829.12 c * 743s| 3188k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 192 | 0 |-2.220000e+02 | 1.600000e+01 | Inf
830.56/830.88 o 15
830.56/830.88 c * 744s| 3188k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 456 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
834.76/835.04 c 749s| 3190k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |1096 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
863.64/863.97 c 777s| 3200k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |5575 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
889.84/890.19 c 803s| 3210k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |9716 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
920.44/920.74 c 834s| 3220k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 14k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
950.13/950.43 c 863s| 3230k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 19k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
975.81/976.18 c 888s| 3240k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 23k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1001.11/1001.47 c 913s| 3250k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 27k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1032.61/1032.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.61/1032.95 c 945s| 3260k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 32k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1060.00/1060.34 c 972s| 3270k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 37k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1087.98/1088.34 c 999s| 3280k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 41k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1118.08/1118.42 c 1029s| 3290k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 46k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1141.37/1141.77 c 1052s| 3300k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 50k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1167.78/1168.13 c 1078s| 3310k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 55k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1192.06/1192.48 c 1102s| 3320k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 59k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1223.15/1223.51 c 1133s| 3330k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 64k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1257.55/1257.91 c 1167s| 3340k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 69k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1292.93/1293.34 c 1202s| 3350k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 74k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1318.92/1319.38 c 1228s| 3360k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 78k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1349.51/1349.92 c 1258s| 3370k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 83k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1370.40/1370.81 c 1279s| 3380k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 87k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1390.50/1390.94 c 1299s| 3390k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 90k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1410.49/1410.97 c 1319s| 3400k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 93k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1432.69/1433.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.69/1433.14 c 1341s| 3410k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 97k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1459.58/1460.05 c 1367s| 3420k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 102k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1486.78/1487.23 c 1394s| 3430k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 106k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1506.26/1506.77 o 14
1506.26/1506.77 c *1414s| 3438k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 109k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1511.66/1512.17 c 1419s| 3440k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 110k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1535.96/1536.49 c 1443s| 3450k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 114k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1560.35/1560.84 c 1467s| 3460k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 118k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1588.85/1589.34 c 1495s| 3470k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 123k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1617.63/1618.14 c 1524s| 3480k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 128k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1642.12/1642.63 c 1548s| 3490k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 131k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1661.91/1662.40 c 1568s| 3500k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 135k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1681.72/1682.29 c 1587s| 3510k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 139k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1704.71/1705.22 c 1610s| 3520k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 143k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1727.10/1727.66 c 1632s| 3530k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 146k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1754.19/1754.76 c 1659s| 3540k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 151k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1780.98/1781.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.98/1781.58 c 1685s| 3550k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 156k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.62 c
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time (sec) : 1704.29
1800.09/1800.62 c Solving Nodes : 3556241
1800.09/1800.62 c Primal Bound : +1.40000000000000e+01 (7 solutions)
1800.09/1800.62 c Dual Bound : -2.22000000000000e+02
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 s SATISFIABLE
1800.09/1800.62 v x1 x64 x262 -x347 x20 x55 -x108 x263 x59 x52 -x409 -x53 x110 -x350 x111 -x23 -x24 x270 x253 x346 x19 -x63 -x107 x252 -x78 -x109
1800.09/1800.62 v x251 x351 x21 -x58 -x79 x112 -x349 x408 x26 -x94 x25 -x54 x410 x267 x269 -x49 x81 -x261 x348 -x45 -x62 -x80 x257 -x325 x352
1800.09/1800.62 v x106 -x335 x22 -x44 -x56 x95 -x249 x393 x6 -x99 -x250 -x5 -x93 x268 x392 x411 -x4 -x50 -x91 -x328 -x48 -x329 -x155 x266 -x291
1800.09/1800.62 v x69 -x105 -x260 -x345 -x60 x68 -x104 -x129 -x256 -x324 x336 x17 -x67 -x340 x18 -x46 -x57 x103 -x287 -x326 -x334 x14 x47 -x331
1800.09/1800.62 v -x332 x406 x10 -x51 -x98 -x151 -x286 -x330 x394 x407 x30 x395 x403 -x2 -x92 x399 -x3 -x292 x378 -x154 x264 -x290 x16 -x77 -x258
1800.09/1800.62 v x15 -x61 -x73 -x128 -x254 -x344 -x371 x170 x405 -x65 x102 -x171 x327 -x339 x404 -x13 -x43 -x66 -x132 x311 -x9 x31 -x96 -x133
1800.09/1800.62 v -x150 -x288 -x310 -x333 -x35 x289 -x309 -x374 x391 x402 -x29 -x152 x293 -x375 x398 -x27 x157 -x271 x383 -x156 -x246 x265
1800.09/1800.62 v x379 -x76 x173 -x259 -x72 x130 x172 -x255 -x343 -x370 -x40 x135 -x185 -x322 -x42 x100 -x134 -x186 -x242 -x323 -x337 -x372 -x11
1800.09/1800.62 v x319 -x377 -x388 -x7 x39 -x97 -x241 -x315 -x376 x390 x285 x400 -x34 -x153 x273 -x307 x387 x396 x136 -x224 -x247 -x277 -x308
1800.09/1800.62 v -x28 x137 -x202 -x245 -x272 x382 -x74 x162 x188 -x321 -x41 -x70 x131 -x161 -x187 x220 -x320 -x341 x117 -x160 x101 x116 x219
1800.09/1800.62 v -x338 -x373 -x389 -x12 -x115 -x282 -x318 x357 -x8 -x38 -x198 -x243 -x284 -x314 x356 -x148 -x225 x244 -x355 x401 -x32 -x149 -x223
1800.09/1800.62 v -x248 x281 x386 x397 x145 x227 x141 -x201 -x276 -x304 -x380 -x75 -x127 x169 x178 -x71 -x126 -x166 x177 -x342 x87 x125 -x176
1800.09/1800.62 v -x368 x88 x121 -x158 x221 -x283 -x369 -x147 -x159 x222 -x316 -x365 -x36 -x113 -x146 -x197 x226 -x300 -x312 x361 -x114 x208
1800.09/1800.62 v -x240 -x33 -x199 x229 -x280 -x353 x384 x144 -x204 x232 -x354 x140 -x203 x228 -x274 -x303 -x381 x90 x167 x183 -x367 x89 -x165
1800.09/1800.62 v x182 -x366 x124 x120 -x174 -x175 x218 -x237 -x317 -x364 -x37 x209 -x239 -x299 -x313 -x360 x212 -x200 x207 -x236 -x278 -x301
1800.09/1800.62 v x385 x142 x189 x205 -x306 x138 -x190 x230 -x275 -x305 x86 -x123 x168 x184 x85 -x163 x181 x216 x84 -x122 x215 -x363 x82 -x118
1800.09/1800.62 v -x164 x179 x217 -x238 x83 x180 x194 -x214 -x234 -x298 -x362 -x119 x193 x213 x297 -x358 x195 -x233 x296 x196 x210 -x235 -x279
1800.09/1800.62 v -x302 -x359 x143 -x192 x211 x294 x139 x191 x206 -x231 -x295
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time : 1704.29
1800.09/1800.62 c Original Problem :
1800.09/1800.62 c Problem name : HOME/instance-2664720-1276481612.opb
1800.09/1800.62 c Variables : 411 (411 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 477 initial, 477 maximal
1800.09/1800.62 c Presolved Problem :
1800.09/1800.62 c Problem name : t_HOME/instance-2664720-1276481612.opb
1800.09/1800.62 c Variables : 407 (407 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 473 initial, 473 maximal
1800.09/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c linear : 0.01 1 3 0 1 0 4 0 0
1800.09/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c root node : - 0 - - 0 - - - -
1800.09/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 88 0 11360754 0 3417534 157950 2309521 0 0 0
1800.09/1800.62 c setppc : 1 0 1058087 0 320834 0 15 0 0 0
1800.09/1800.62 c logicor : 384+ 0 7687732 0 3417534 2529 8447885 0 0 0
1800.09/1800.62 c countsols : 0 0 0 0 3417534 0 0 0 0 0
1800.09/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.62 c knapsack : 963.07 0.00 956.78 0.00 6.29
1800.09/1800.62 c setppc : 0.76 0.00 0.51 0.00 0.25
1800.09/1800.62 c logicor : 135.10 0.00 37.11 0.00 97.99
1800.09/1800.62 c countsols : 1.29 0.00 0.00 0.00 1.29
1800.09/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.62 c vbounds : 5.45 2 0 0
1800.09/1800.62 c rootredcost : 5.18 0 0 0
1800.09/1800.62 c pseudoobj : 224.43 11414497 54053 2379649
1800.09/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.62 c propagation : 895.67 159243 159243 12256349 188.7 756 168.9 -
1800.09/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c pseudo solution : 0.16 1943 0 0 0.0 0 0.0 -
1800.09/1800.62 c applied globally : - - - 0 0.0 - - -
1800.09/1800.62 c applied locally : - - - 159243 107.3 - - -
1800.09/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.62 c redcost : 0.00 0 0 0 0 0
1800.09/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.62 c intobj : 0.00 0 0 0 0 0
1800.09/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.62 c gomory : 0.00 0 0 0 0 0
1800.09/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.62 c cmir : 0.00 0 0 0 0 0
1800.09/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.62 c clique : 0.00 0 0 0 0 0
1800.09/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.62 c mcf : 0.00 0 0 0 0 0
1800.09/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.62 c Pricers : Time Calls Vars
1800.09/1800.62 c problem variables: 0.00 0 0
1800.09/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c inference : 179.96 3417529 0 0 0 0 6835058
1800.09/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c random : 0.00 0 0 0 0 0 0
1800.09/1800.62 c Primal Heuristics : Time Calls Found
1800.09/1800.62 c LP solutions : 0.00 - 0
1800.09/1800.62 c pseudo solutions : 0.60 - 5
1800.09/1800.62 c oneopt : 2.37 0 0
1800.09/1800.62 c trivial : 0.00 2 2
1800.09/1800.62 c simplerounding : 0.00 0 0
1800.09/1800.62 c zirounding : 0.00 0 0
1800.09/1800.62 c rounding : 0.00 0 0
1800.09/1800.62 c shifting : 0.00 0 0
1800.09/1800.62 c intshifting : 0.00 0 0
1800.09/1800.62 c twoopt : 0.00 0 0
1800.09/1800.62 c fixandinfer : 0.00 0 0
1800.09/1800.62 c feaspump : 0.00 0 0
1800.09/1800.62 c coefdiving : 0.00 0 0
1800.09/1800.62 c pscostdiving : 0.00 0 0
1800.09/1800.62 c fracdiving : 0.00 0 0
1800.09/1800.62 c veclendiving : 0.00 0 0
1800.09/1800.62 c intdiving : 0.00 0 0
1800.09/1800.62 c actconsdiving : 0.00 0 0
1800.09/1800.62 c objpscostdiving : 0.00 0 0
1800.09/1800.62 c rootsoldiving : 0.00 0 0
1800.09/1800.62 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 0.00 0 0
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c crossover : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 1.57 0 0
1800.09/1800.62 c trysol : 1.64 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.62 c (at root node) : - 0 0 0.00 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 3556241
1800.09/1800.62 c nodes (total) : 3556241
1800.09/1800.62 c nodes left : 3187605
1800.09/1800.62 c max depth : 132
1800.09/1800.62 c max depth (total): 132
1800.09/1800.62 c backtracks : 200062 (5.6%)
1800.09/1800.62 c delayed cutoffs : 89576
1800.09/1800.62 c repropagations : 134599 (1060693 domain reductions, 77768 cutoffs)
1800.09/1800.62 c avg switch length: 2.75
1800.09/1800.62 c switching time : 43.44
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 7 (6 improvements)
1800.09/1800.62 c First Solution : +5.93000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.09/1800.62 c Primal Bound : +1.40000000000000e+01 (in run 1, after 3438188 nodes, 1413.43 seconds, depth 122, found by <relaxation>)
1800.09/1800.62 c Dual Bound : -2.22000000000000e+02
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 c Root Dual Bound : -2.68000000000000e+02
1800.09/1800.62 c Root Iterations : 0
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664720-1276481612/watcher-2664720-1276481612 -o /tmp/evaluation-result-2664720-1276481612/solver-2664720-1276481612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664720-1276481612.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 26879 /proc/meminfo: memFree=1830440/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=6584 CPUtime=0 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 21816603 6742016 958 1992294400 4194304 7136930 140736987587376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26879/statm: 1646 968 254 719 0 925 0 [startup+0.033147 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1830440/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=11112 CPUtime=0.03 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 2721 0 0 0 2 1 0 0 20 0 1 0 21816603 11378688 2033 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 2778 2033 354 719 0 2057 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11112 [startup+0.101152 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1830440/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=13048 CPUtime=0.09 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 4786 0 0 0 7 2 0 0 20 0 1 0 21816603 13361152 2556 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 3262 2556 398 719 0 2541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13048 [startup+0.301168 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1830440/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=13836 CPUtime=0.29 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 4978 0 0 0 25 4 0 0 20 0 1 0 21816603 14168064 2748 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 3459 2748 398 719 0 2738 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13836 [startup+0.7012 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26879 /proc/meminfo: memFree=1830440/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=14600 CPUtime=0.69 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 5165 0 0 0 61 8 0 0 20 0 1 0 21816603 14950400 2935 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 3650 2935 398 719 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14600 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1819768/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=16324 CPUtime=1.49 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 5622 0 0 0 134 15 0 0 23 0 1 0 21816603 16715776 3392 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 4081 3392 398 719 0 3360 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16324 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1817164/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=19000 CPUtime=3.09 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 6312 0 0 0 277 32 0 0 25 0 1 0 21816603 19456000 4082 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 4750 4082 398 719 0 4029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19000 [startup+6.30164 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1810344/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=24540 CPUtime=6.29 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 7710 0 0 0 563 66 0 0 25 0 1 0 21816603 25128960 5480 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 6135 5480 398 719 0 5414 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24540 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26880 /proc/meminfo: memFree=1799184/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=36100 CPUtime=12.69 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 10723 0 0 0 1136 133 0 0 25 0 1 0 21816603 36966400 8493 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 9025 8493 398 719 0 8304 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36100 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1776492/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=58524 CPUtime=25.49 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 16000 0 0 0 2287 262 0 0 25 0 1 0 21816603 59928576 13770 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 14631 13770 398 719 0 13910 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58524 [startup+51.1002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26882 /proc/meminfo: memFree=1735572/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=98848 CPUtime=51.08 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 26453 0 0 0 4589 519 0 0 25 0 1 0 21816603 101220352 24223 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 24712 24223 398 719 0 23991 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98848 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26884 /proc/meminfo: memFree=1650508/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=183636 CPUtime=102.27 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 47364 0 0 0 9182 1045 0 0 25 0 1 0 21816603 188043264 45134 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 45909 45134 398 719 0 45188 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 183636 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26884 /proc/meminfo: memFree=1551308/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=287944 CPUtime=162.25 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 72263 0 0 0 14556 1669 0 0 25 0 1 0 21816603 294854656 70033 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 71986 70033 398 719 0 71265 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 287944 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26886 /proc/meminfo: memFree=1453968/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=380660 CPUtime=222.23 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 96321 0 0 0 19943 2280 0 0 25 0 1 0 21816603 389795840 94091 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 95165 94091 398 719 0 94444 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 380660 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 26888 /proc/meminfo: memFree=1358116/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=490608 CPUtime=282.21 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 120622 0 0 0 25329 2892 0 0 25 0 1 0 21816603 502382592 118392 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 122652 118392 398 719 0 121931 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 490608 [startup+342.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 26890 /proc/meminfo: memFree=1255568/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=588156 CPUtime=342.2 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 145905 0 0 0 30698 3522 0 0 25 0 1 0 21816603 602271744 143675 1992294400 4194304 7136930 140736987587376 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 147039 143675 398 719 0 146318 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 588156 [startup+402.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 26892 /proc/meminfo: memFree=1156740/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=685672 CPUtime=402.18 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 171187 0 0 0 36064 4154 0 0 25 0 1 0 21816603 702128128 168957 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 171418 168957 398 719 0 170697 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 685672 [startup+462.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 26892 /proc/meminfo: memFree=1052952/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=782844 CPUtime=462.16 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 196385 0 0 0 41438 4778 0 0 25 0 1 0 21816603 801632256 194155 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 195711 194155 398 719 0 194990 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 782844 [startup+522.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 26894 /proc/meminfo: memFree=953876/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=878484 CPUtime=522.15 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 221210 0 0 0 46817 5398 0 0 25 0 1 0 21816603 899567616 218980 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 219621 218980 398 719 0 218900 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 878484 [startup+582.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 26896 /proc/meminfo: memFree=849840/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1010668 CPUtime=582.13 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 246981 0 0 0 52197 6016 0 0 25 0 1 0 21816603 1034924032 244751 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 252667 244751 398 719 0 251946 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1010668 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26898 /proc/meminfo: memFree=747168/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1108896 CPUtime=642.11 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 272462 0 0 0 57550 6661 0 0 25 0 1 0 21816603 1135509504 270232 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 277224 270232 398 719 0 276503 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1108896 [startup+702.301 s] ################ # More data... # ################ /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366666 0 0 0 97366 8833 0 0 25 0 1 0 21816603 1458683904 351984 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356124 351984 403 719 0 355403 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1424496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26910 /proc/meminfo: memFree=418816/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424496 CPUtime=1121.98 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366672 0 0 0 103312 8886 0 0 25 0 1 0 21816603 1458683904 351990 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356124 351990 403 719 0 355403 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1424496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26912 /proc/meminfo: memFree=418568/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424632 CPUtime=1181.96 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366705 0 0 0 109244 8952 0 0 25 0 1 0 21816603 1458823168 352023 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356158 352023 403 719 0 355437 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1424632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26914 /proc/meminfo: memFree=418444/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424632 CPUtime=1241.94 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366714 0 0 0 115184 9010 0 0 25 0 1 0 21816603 1458823168 352032 1992294400 4194304 7136930 140736987587376 18446744073709551615 5922833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356158 352032 403 719 0 355437 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1424632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26916 /proc/meminfo: memFree=418320/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424764 CPUtime=1301.94 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366719 0 0 0 121129 9065 0 0 25 0 1 0 21816603 1458958336 352037 1992294400 4194304 7136930 140736987587376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356191 352037 403 719 0 355470 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1424764 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26916 /proc/meminfo: memFree=418320/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424764 CPUtime=1361.92 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366726 0 0 0 127067 9125 0 0 25 0 1 0 21816603 1458958336 352044 1992294400 4194304 7136930 140736987587376 18446744073709551615 5924526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356191 352044 403 719 0 355470 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1424764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26918 /proc/meminfo: memFree=418196/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424764 CPUtime=1421.9 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366731 0 0 0 132997 9193 0 0 25 0 1 0 21816603 1458958336 352049 1992294400 4194304 7136930 140736987587376 18446744073709551615 5923179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356191 352049 403 719 0 355470 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1424764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26920 /proc/meminfo: memFree=418196/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424764 CPUtime=1481.88 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366743 0 0 0 138934 9254 0 0 25 0 1 0 21816603 1458958336 352061 1992294400 4194304 7136930 140736987587376 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356191 352061 403 719 0 355470 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1424764 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=417700/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424764 CPUtime=1541.85 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366745 0 0 0 144868 9317 0 0 25 0 1 0 21816603 1458958336 352063 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356191 352063 403 719 0 355470 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1424764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26927 /proc/meminfo: memFree=417700/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1601.84 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366754 0 0 0 150811 9373 0 0 25 0 1 0 21816603 1459097600 352072 1992294400 4194304 7136930 140736987587376 18446744073709551615 4703475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352072 403 719 0 355504 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1424900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26927 /proc/meminfo: memFree=417700/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1661.82 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366756 0 0 0 156743 9439 0 0 25 0 1 0 21816603 1459097600 352074 1992294400 4194304 7136930 140736987587376 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352074 403 719 0 355504 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1424900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26929 /proc/meminfo: memFree=417700/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1721.81 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366760 0 0 0 162673 9508 0 0 25 0 1 0 21816603 1459097600 352078 1992294400 4194304 7136930 140736987587376 18446744073709551615 5922799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352078 403 719 0 355504 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1424900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26931 /proc/meminfo: memFree=417452/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1781.78 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366760 0 0 0 168613 9565 0 0 25 0 1 0 21816603 1459097600 352078 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352078 403 719 0 355504 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1424900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26931 /proc/meminfo: memFree=417452/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1800.09 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366760 0 0 0 170429 9580 0 0 25 0 1 0 21816603 1459097600 352078 1992294400 4194304 7136930 140736987587376 18446744073709551615 5909191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352078 403 719 0 355504 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1424900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -26879 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26931 /proc/meminfo: memFree=417452/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1800.88 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366765 0 0 0 170508 9580 0 0 25 0 1 0 21816603 1459097600 352083 1992294400 4194304 7136930 140736987587376 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352083 408 719 0 355504 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 1424900 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26932 /proc/meminfo: memFree=417320/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1801.68 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366765 0 0 0 170588 9580 0 0 25 0 1 0 21816603 1459097600 352083 1992294400 4194304 7136930 140736987587376 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352083 408 719 0 355504 0 Current children cumulated CPU time (s) 1801.68 Current children cumulated vsize (KiB) 1424900 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26932 /proc/meminfo: memFree=417320/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=1424900 CPUtime=1802.08 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4202496 366765 0 0 0 170628 9580 0 0 25 0 1 0 21816603 1459097600 352083 1992294400 4194304 7136930 140736987587376 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26879/statm: 356225 352083 408 719 0 355504 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 1424900 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26932 /proc/meminfo: memFree=417320/2059040 swapFree=4136648/4192956 [pid=26879] ppid=26877 vsize=0 CPUtime=1802.17 /proc/26879/stat : 26879 (pbscip.linux.x8) R 26877 26879 26216 0 -1 4203524 366765 0 0 0 170629 9588 0 0 25 0 1 0 21816603 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/26879/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.23 CPU user time (s): 1706.3 CPU system time (s): 95.9354 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1485876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1706.3 system time used= 95.9354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 366765 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= 2808 runsolver used 3.21951 second user time and 8.30074 second system time The end
Begin job on node026 at 2010-06-14 04:13:32 IDJOB=2664720 IDBENCH=2226 IDSOLVER=1167 FILE ID=node026/2664720-1276481612 PBS_JOBID= 11173382 Free space on /tmp= 62516 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.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-2664720-1276481612/watcher-2664720-1276481612 -o /tmp/evaluation-result-2664720-1276481612/solver-2664720-1276481612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664720-1276481612.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7acfcd4d612717a490c27c9a55b3f455 RANDOM SEED=1333515580 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830844 kB Buffers: 47812 kB Cached: 102184 kB SwapCached: 9544 kB Active: 85964 kB Inactive: 76536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830844 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 3204 kB Writeback: 0 kB AnonPages: 10804 kB Mapped: 9268 kB Slab: 43852 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181328 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= 62512 MiB End job on node026 at 2010-06-14 04:43:35