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) | 13 | 1802.2 | 1802.85 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb |
| MD5SUM | 4dfe0aab63c58302cf08520fc713ceae |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.069988 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 372 |
| Total number of constraints | 421 |
| Number of constraints which are clauses | 345 |
| Number of constraints which are cardinality constraints (but not clauses) | 76 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 372 |
| Biggest coefficient in the objective function | 220 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 983 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 220 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 983 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2664718-1276479187.opb>
0.00/0.02 c original problem has 372 variables (372 bin, 0 int, 0 impl, 0 cont) and 421 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.01/0.02 o 543
0.01/0.02 c feasible solution found by trivial heuristic, objective value 5.430000e+02
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 3 del vars, 3 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1556 impls, 4 clqs
0.01/0.03 c (round 2) 3 del vars, 4 del conss, 1 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 1556 impls, 4 clqs
0.01/0.04 c (round 3) 3 del vars, 4 del conss, 1 chg bounds, 1 chg sides, 0 chg coeffs, 406 upgd conss, 1556 impls, 4 clqs
0.01/0.05 c (round 4) 3 del vars, 4 del conss, 1 chg bounds, 1 chg sides, 0 chg coeffs, 417 upgd conss, 1556 impls, 4 clqs
0.01/0.07 c (0.0s) probing: 124/369 (33.6%) - 0 fixings, 0 aggregations, 34 implications, 0 bound changes
0.01/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.07 c presolving (5 rounds):
0.01/0.07 c 3 deleted vars, 4 deleted constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.07 c 1674 implications, 4 cliques
0.01/0.07 c presolved problem has 369 variables (369 bin, 0 int, 0 impl, 0 cont) and 417 constraints
0.01/0.07 c 71 constraints of type <knapsack>
0.01/0.07 c 4 constraints of type <setppc>
0.01/0.07 c 342 constraints of type <logicor>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.04
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.2
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1799.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 1620
0.01/0.07 c
0.01/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c lp/solvefreq = -1
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 o 541
0.01/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.01/0.07 c t 0.0s| 1 | 0 | 0 | - |1526k| 0 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 | -- | 5.410000e+02 | Inf
0.01/0.07 o 524
0.01/0.07 c t 0.0s| 1 | 0 | 0 | - |1531k| 0 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 | -- | 5.240000e+02 | Inf
0.01/0.07 c 0.0s| 1 | 2 | 0 | - |1522k| 0 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-2.180000e+02 | 5.240000e+02 | Inf
2.59/2.68 c 2.4s| 10000 | 10001 | 0 | 0.0 |6038k| 47 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.910000e+02 | 5.240000e+02 | Inf
5.19/5.25 c 4.6s| 20000 | 20001 | 0 | 0.0 | 10M| 51 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.890000e+02 | 5.240000e+02 | Inf
7.79/7.81 c 6.9s| 30000 | 30001 | 0 | 0.0 | 14M| 59 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.870000e+02 | 5.240000e+02 | Inf
10.29/10.35 c 9.2s| 40000 | 40001 | 0 | 0.0 | 19M| 59 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.870000e+02 | 5.240000e+02 | Inf
12.79/12.84 c 11.4s| 50000 | 50001 | 0 | 0.0 | 23M| 67 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.860000e+02 | 5.240000e+02 | Inf
15.30/15.31 c 13.6s| 60000 | 60001 | 0 | 0.0 | 27M| 67 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.860000e+02 | 5.240000e+02 | Inf
17.69/17.75 c 15.7s| 70000 | 70001 | 0 | 0.0 | 31M| 71 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.850000e+02 | 5.240000e+02 | Inf
20.09/20.15 c 17.9s| 80000 | 80001 | 0 | 0.0 | 35M| 75 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.850000e+02 | 5.240000e+02 | Inf
22.38/22.46 c 19.9s| 90000 | 90001 | 0 | 0.0 | 40M| 85 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.840000e+02 | 5.240000e+02 | Inf
24.79/24.82 c 22.0s|100000 |100001 | 0 | 0.0 | 44M| 85 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.840000e+02 | 5.240000e+02 | Inf
27.08/27.14 c 24.0s|110000 |110001 | 0 | 0.0 | 48M| 85 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.840000e+02 | 5.240000e+02 | Inf
29.38/29.45 c 26.0s|120000 |120001 | 0 | 0.0 | 52M| 85 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.840000e+02 | 5.240000e+02 | Inf
31.68/31.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.73 c 28.1s|130000 |130001 | 0 | 0.0 | 57M| 85 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.840000e+02 | 5.240000e+02 | Inf
33.78/33.88 c 29.9s|140000 |140001 | 0 | 0.0 | 61M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
36.08/36.12 c 32.0s|150000 |150001 | 0 | 0.0 | 65M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
38.28/38.36 c 34.0s|160000 |160001 | 0 | 0.0 | 69M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
40.48/40.58 c 35.9s|170000 |170001 | 0 | 0.0 | 73M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
42.79/42.80 c 37.9s|180000 |180001 | 0 | 0.0 | 77M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
44.99/45.01 c 39.9s|190000 |190001 | 0 | 0.0 | 81M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
47.19/47.20 c 41.8s|200000 |200001 | 0 | 0.0 | 85M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
49.27/49.35 c 43.8s|210000 |210001 | 0 | 0.0 | 89M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
51.38/51.48 c 45.6s|220000 |220001 | 0 | 0.0 | 94M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.830000e+02 | 5.240000e+02 | Inf
53.48/53.57 c 47.5s|230000 |230001 | 0 | 0.0 | 98M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
55.78/55.86 c 49.5s|240000 |240001 | 0 | 0.0 | 102M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
58.07/58.15 c 51.5s|250000 |250001 | 0 | 0.0 | 106M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
60.38/60.43 c 53.6s|260000 |260001 | 0 | 0.0 | 110M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
62.68/62.71 c 55.6s|270000 |270001 | 0 | 0.0 | 115M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
64.88/64.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.88/64.98 c 57.6s|280000 |280001 | 0 | 0.0 | 119M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
67.18/67.23 c 59.5s|290000 |290001 | 0 | 0.0 | 123M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
69.37/69.47 c 61.5s|300000 |300001 | 0 | 0.0 | 127M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
71.57/71.69 c 63.4s|310000 |310001 | 0 | 0.0 | 132M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
73.88/73.91 c 65.4s|320000 |320001 | 0 | 0.0 | 136M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
76.07/76.10 c 67.3s|330000 |330001 | 0 | 0.0 | 140M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
78.17/78.29 c 69.2s|340000 |340001 | 0 | 0.0 | 144M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
80.37/80.44 c 71.2s|350000 |350001 | 0 | 0.0 | 149M| 87 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.820000e+02 | 5.240000e+02 | Inf
82.47/82.57 c 73.0s|360000 |360001 | 0 | 0.0 | 153M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
84.77/84.85 c 75.1s|370000 |370001 | 0 | 0.0 | 157M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
87.06/87.10 c 77.1s|380000 |380001 | 0 | 0.0 | 161M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
89.26/89.34 c 79.0s|390000 |390001 | 0 | 0.0 | 166M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
91.47/91.58 c 81.0s|400000 |400001 | 0 | 0.0 | 170M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
93.77/93.80 c 83.0s|410000 |410001 | 0 | 0.0 | 174M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
95.97/96.01 c 85.0s|420000 |420001 | 0 | 0.0 | 178M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
98.17/98.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.17/98.22 c 86.9s|430000 |430001 | 0 | 0.0 | 182M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
100.36/100.41 c 88.8s|440000 |440001 | 0 | 0.0 | 187M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
102.46/102.59 c 90.7s|450000 |450001 | 0 | 0.0 | 191M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
104.66/104.74 c 92.7s|460000 |460001 | 0 | 0.0 | 195M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
106.76/106.87 c 94.5s|470000 |470001 | 0 | 0.0 | 199M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
108.96/109.00 c 96.4s|480000 |480001 | 0 | 0.0 | 203M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.810000e+02 | 5.240000e+02 | Inf
111.07/111.17 c 98.3s|490000 |490001 | 0 | 0.0 | 208M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
113.36/113.43 c 100s|500000 |500001 | 0 | 0.0 | 212M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
115.56/115.67 c 102s|510000 |510001 | 0 | 0.0 | 216M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
117.76/117.89 c 104s|520000 |520001 | 0 | 0.0 | 220M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
119.96/120.08 c 106s|530000 |530001 | 0 | 0.0 | 225M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
122.16/122.23 c 108s|540000 |540001 | 0 | 0.0 | 229M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.800000e+02 | 5.240000e+02 | Inf
124.35/124.46 c 110s|550000 |550001 | 0 | 0.0 | 233M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
126.66/126.77 c 112s|560000 |560001 | 0 | 0.0 | 237M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
128.96/129.04 c 114s|570000 |570001 | 0 | 0.0 | 242M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
131.26/131.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.26/131.30 c 116s|580000 |580001 | 0 | 0.0 | 246M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
133.45/133.54 c 118s|590000 |590001 | 0 | 0.0 | 250M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
135.66/135.76 c 120s|600000 |600001 | 0 | 0.0 | 254M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
137.86/137.95 c 122s|610000 |610001 | 0 | 0.0 | 259M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
140.05/140.12 c 124s|620000 |620001 | 0 | 0.0 | 263M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
142.16/142.24 c 126s|630000 |630001 | 0 | 0.0 | 267M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.790000e+02 | 5.240000e+02 | Inf
144.35/144.47 c 128s|640000 |640001 | 0 | 0.0 | 271M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
146.65/146.74 c 130s|650000 |650001 | 0 | 0.0 | 276M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
148.95/149.00 c 132s|660000 |660001 | 0 | 0.0 | 280M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
151.15/151.26 c 134s|670000 |670001 | 0 | 0.0 | 284M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
153.45/153.50 c 136s|680000 |680001 | 0 | 0.0 | 288M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
155.65/155.74 c 138s|690000 |690001 | 0 | 0.0 | 292M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
157.85/157.98 c 140s|700000 |700001 | 0 | 0.0 | 297M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
160.15/160.20 c 142s|710000 |710001 | 0 | 0.0 | 301M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
162.35/162.44 c 144s|720000 |720001 | 0 | 0.0 | 305M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
164.55/164.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.55/164.65 c 146s|730000 |730001 | 0 | 0.0 | 309M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
166.75/166.86 c 148s|740000 |740001 | 0 | 0.0 | 313M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
168.94/169.06 c 149s|750000 |750001 | 0 | 0.0 | 318M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
171.15/171.26 c 151s|760000 |760001 | 0 | 0.0 | 322M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
173.34/173.46 c 153s|770000 |770001 | 0 | 0.0 | 326M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
175.55/175.65 c 155s|780000 |780001 | 0 | 0.0 | 330M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
177.74/177.83 c 157s|790000 |790001 | 0 | 0.0 | 334M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
179.84/179.99 c 159s|800000 |800001 | 0 | 0.0 | 339M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
182.04/182.16 c 161s|810000 |810001 | 0 | 0.0 | 343M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
184.24/184.31 c 163s|820000 |820001 | 0 | 0.0 | 347M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
186.34/186.45 c 165s|830000 |830001 | 0 | 0.0 | 351M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
188.44/188.52 c 167s|840000 |840001 | 0 | 0.0 | 356M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.780000e+02 | 5.240000e+02 | Inf
190.54/190.62 c 168s|850000 |850001 | 0 | 0.0 | 360M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
192.74/192.89 c 170s|860000 |860001 | 0 | 0.0 | 364M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
195.04/195.15 c 172s|870000 |870001 | 0 | 0.0 | 368M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
197.34/197.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.34/197.42 c 174s|880000 |880001 | 0 | 0.0 | 373M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
199.54/199.67 c 176s|890000 |890001 | 0 | 0.0 | 377M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
201.84/201.92 c 178s|900000 |900001 | 0 | 0.0 | 381M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
204.04/204.18 c 180s|910000 |910001 | 0 | 0.0 | 385M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
206.34/206.41 c 182s|920000 |920001 | 0 | 0.0 | 389M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
208.54/208.62 c 184s|930000 |930001 | 0 | 0.0 | 394M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
210.74/210.86 c 186s|940000 |940001 | 0 | 0.0 | 398M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
212.94/213.05 c 188s|950000 |950001 | 0 | 0.0 | 402M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
215.13/215.28 c 190s|960000 |960001 | 0 | 0.0 | 406M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
217.34/217.50 c 192s|970000 |970001 | 0 | 0.0 | 411M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
219.63/219.72 c 194s|980000 |980001 | 0 | 0.0 | 415M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
221.83/221.94 c 196s|990000 |990001 | 0 | 0.0 | 419M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
224.03/224.12 c 198s| 1000k| 1000k| 0 | 0.0 | 423M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
226.23/226.33 c 200s| 1010k| 1010k| 0 | 0.0 | 428M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
228.43/228.51 c 202s| 1020k| 1020k| 0 | 0.0 | 432M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
230.53/230.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.53/230.69 c 204s| 1030k| 1030k| 0 | 0.0 | 436M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
232.73/232.87 c 206s| 1040k| 1040k| 0 | 0.0 | 440M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
234.93/235.05 c 208s| 1050k| 1050k| 0 | 0.0 | 445M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
237.13/237.21 c 210s| 1060k| 1060k| 0 | 0.0 | 449M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
239.22/239.34 c 211s| 1070k| 1070k| 0 | 0.0 | 453M| 89 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.770000e+02 | 5.240000e+02 | Inf
241.33/241.45 c 213s| 1080k| 1080k| 0 | 0.0 | 458M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
243.62/243.72 c 215s| 1090k| 1090k| 0 | 0.0 | 462M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
245.83/245.98 c 217s| 1100k| 1100k| 0 | 0.0 | 466M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
248.12/248.23 c 219s| 1110k| 1110k| 0 | 0.0 | 470M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
250.32/250.48 c 221s| 1120k| 1120k| 0 | 0.0 | 474M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
252.62/252.71 c 223s| 1130k| 1130k| 0 | 0.0 | 479M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
254.83/254.96 c 225s| 1140k| 1140k| 0 | 0.0 | 483M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
257.02/257.19 c 227s| 1150k| 1150k| 0 | 0.0 | 487M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
259.32/259.43 c 229s| 1160k| 1160k| 0 | 0.0 | 491M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
261.52/261.67 c 231s| 1170k| 1170k| 0 | 0.0 | 496M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
263.72/263.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.72/263.89 c 233s| 1180k| 1180k| 0 | 0.0 | 500M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
266.03/266.11 c 235s| 1190k| 1190k| 0 | 0.0 | 504M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
268.23/268.33 c 237s| 1200k| 1200k| 0 | 0.0 | 508M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
270.42/270.54 c 239s| 1210k| 1210k| 0 | 0.0 | 513M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
272.63/272.76 c 241s| 1220k| 1220k| 0 | 0.0 | 517M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
274.83/274.96 c 243s| 1230k| 1230k| 0 | 0.0 | 521M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
277.03/277.18 c 245s| 1240k| 1240k| 0 | 0.0 | 525M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
279.22/279.39 c 247s| 1250k| 1250k| 0 | 0.0 | 530M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
281.43/281.58 c 249s| 1260k| 1260k| 0 | 0.0 | 534M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
283.62/283.75 c 251s| 1270k| 1270k| 0 | 0.0 | 538M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
285.82/285.91 c 253s| 1280k| 1280k| 0 | 0.0 | 542M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
287.92/288.06 c 255s| 1290k| 1290k| 0 | 0.0 | 546M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
290.12/290.20 c 256s| 1300k| 1300k| 0 | 0.0 | 551M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
292.21/292.32 c 258s| 1310k| 1310k| 0 | 0.0 | 555M| 91 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.760000e+02 | 5.240000e+02 | Inf
294.31/294.42 c 260s| 1320k| 1320k| 0 | 0.0 | 559M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
296.52/296.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.52/296.63 c 262s| 1330k| 1330k| 0 | 0.0 | 563M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
298.71/298.84 c 264s| 1340k| 1340k| 0 | 0.0 | 568M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
300.91/301.06 c 266s| 1350k| 1350k| 0 | 0.0 | 572M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
303.11/303.26 c 268s| 1360k| 1360k| 0 | 0.0 | 576M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
305.31/305.46 c 270s| 1370k| 1370k| 0 | 0.0 | 580M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
307.51/307.65 c 272s| 1380k| 1380k| 0 | 0.0 | 584M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
309.71/309.83 c 274s| 1390k| 1390k| 0 | 0.0 | 588M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
311.90/312.00 c 276s| 1400k| 1400k| 0 | 0.0 | 592M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
314.01/314.17 c 278s| 1410k| 1410k| 0 | 0.0 | 597M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
316.20/316.33 c 280s| 1420k| 1420k| 0 | 0.0 | 601M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
318.31/318.47 c 281s| 1430k| 1430k| 0 | 0.0 | 605M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
320.51/320.62 c 283s| 1440k| 1440k| 0 | 0.0 | 609M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
322.61/322.75 c 285s| 1450k| 1450k| 0 | 0.0 | 613M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
324.80/324.91 c 287s| 1460k| 1460k| 0 | 0.0 | 617M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
326.91/327.06 c 289s| 1470k| 1470k| 0 | 0.0 | 622M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
329.10/329.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.10/329.20 c 291s| 1480k| 1480k| 0 | 0.0 | 626M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
331.20/331.31 c 293s| 1490k| 1490k| 0 | 0.0 | 630M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
333.30/333.40 c 295s| 1500k| 1500k| 0 | 0.0 | 634M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
335.31/335.48 c 296s| 1510k| 1510k| 0 | 0.0 | 638M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
337.41/337.50 c 298s| 1520k| 1520k| 0 | 0.0 | 642M| 95 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
339.30/339.49 c 300s| 1530k| 1530k| 0 | 0.0 | 646M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
341.30/341.40 c 302s| 1540k| 1540k| 0 | 0.0 | 650M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | 5.240000e+02 | Inf
343.40/343.52 c 304s| 1550k| 1550k| 0 | 0.0 | 654M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
345.39/345.58 c 305s| 1560k| 1560k| 0 | 0.0 | 658M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
347.50/347.65 c 307s| 1570k| 1570k| 0 | 0.0 | 662M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
349.60/349.80 c 309s| 1580k| 1580k| 0 | 0.0 | 666M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
351.80/351.94 c 311s| 1590k| 1590k| 0 | 0.0 | 670M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
353.89/354.07 c 313s| 1600k| 1600k| 0 | 0.0 | 674M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
356.10/356.23 c 315s| 1610k| 1610k| 0 | 0.0 | 679M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
358.19/358.37 c 317s| 1620k| 1620k| 0 | 0.0 | 683M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
360.39/360.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.39/360.52 c 318s| 1630k| 1630k| 0 | 0.0 | 687M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
362.49/362.65 c 320s| 1640k| 1640k| 0 | 0.0 | 691M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
364.70/364.80 c 322s| 1650k| 1650k| 0 | 0.0 | 695M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
366.80/366.95 c 324s| 1660k| 1660k| 0 | 0.0 | 699M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
368.90/369.08 c 326s| 1670k| 1670k| 0 | 0.0 | 703M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
371.09/371.23 c 328s| 1680k| 1680k| 0 | 0.0 | 707M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
373.19/373.39 c 330s| 1690k| 1690k| 0 | 0.0 | 711M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
375.39/375.51 c 332s| 1700k| 1700k| 0 | 0.0 | 715M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
377.49/377.65 c 334s| 1710k| 1710k| 0 | 0.0 | 719M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
379.59/379.79 c 336s| 1720k| 1720k| 0 | 0.0 | 723M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
381.79/381.93 c 337s| 1730k| 1730k| 0 | 0.0 | 727M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
383.89/384.05 c 339s| 1740k| 1740k| 0 | 0.0 | 731M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
386.00/386.18 c 341s| 1750k| 1750k| 0 | 0.0 | 735M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
388.19/388.32 c 343s| 1760k| 1760k| 0 | 0.0 | 739M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
390.30/390.43 c 345s| 1770k| 1770k| 0 | 0.0 | 743M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
392.38/392.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.38/392.55 c 347s| 1780k| 1780k| 0 | 0.0 | 747M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
394.49/394.68 c 349s| 1790k| 1790k| 0 | 0.0 | 751M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
396.68/396.80 c 350s| 1800k| 1800k| 0 | 0.0 | 755M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
398.78/398.90 c 352s| 1810k| 1810k| 0 | 0.0 | 759M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
400.88/401.01 c 354s| 1820k| 1820k| 0 | 0.0 | 763M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
402.98/403.13 c 356s| 1830k| 1830k| 0 | 0.0 | 768M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
405.08/405.22 c 358s| 1840k| 1840k| 0 | 0.0 | 772M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
407.19/407.33 c 360s| 1850k| 1850k| 0 | 0.0 | 776M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
409.28/409.44 c 362s| 1860k| 1860k| 0 | 0.0 | 780M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
411.38/411.54 c 363s| 1870k| 1870k| 0 | 0.0 | 784M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
413.49/413.64 c 365s| 1880k| 1880k| 0 | 0.0 | 788M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
415.59/415.71 c 367s| 1890k| 1890k| 0 | 0.0 | 792M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
417.58/417.78 c 369s| 1900k| 1900k| 0 | 0.0 | 796M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
419.68/419.83 c 371s| 1910k| 1910k| 0 | 0.0 | 800M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
421.68/421.83 c 372s| 1920k| 1920k| 0 | 0.0 | 804M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.740000e+02 | 5.240000e+02 | Inf
423.68/423.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.68/423.87 c 374s| 1930k| 1930k| 0 | 0.0 | 808M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
425.97/426.10 c 376s| 1940k| 1940k| 0 | 0.0 | 813M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
428.18/428.33 c 378s| 1950k| 1950k| 0 | 0.0 | 817M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
430.38/430.52 c 380s| 1960k| 1960k| 0 | 0.0 | 821M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
432.47/432.69 c 382s| 1970k| 1970k| 0 | 0.0 | 825M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
434.68/434.88 c 384s| 1980k| 1980k| 0 | 0.0 | 829M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
436.88/437.05 c 386s| 1990k| 1990k| 0 | 0.0 | 833M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
439.07/439.22 c 388s| 2000k| 2000k| 0 | 0.0 | 837M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
441.27/441.40 c 390s| 2010k| 2010k| 0 | 0.0 | 842M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
443.38/443.58 c 392s| 2020k| 2020k| 0 | 0.0 | 846M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
445.58/445.77 c 394s| 2030k| 2030k| 0 | 0.0 | 850M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
447.77/447.94 c 396s| 2040k| 2040k| 0 | 0.0 | 854M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
449.87/450.02 c 397s| 2050k| 2050k| 0 | 0.0 | 858M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
451.98/452.19 c 399s| 2060k| 2060k| 0 | 0.0 | 862M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
454.18/454.35 c 401s| 2070k| 2070k| 0 | 0.0 | 866M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
456.27/456.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.27/456.50 c 403s| 2080k| 2080k| 0 | 0.0 | 870M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
458.47/458.64 c 405s| 2090k| 2090k| 0 | 0.0 | 875M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
460.57/460.79 c 407s| 2100k| 2100k| 0 | 0.0 | 879M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
462.77/462.95 c 409s| 2110k| 2110k| 0 | 0.0 | 883M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
464.86/465.09 c 411s| 2120k| 2120k| 0 | 0.0 | 887M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
467.07/467.23 c 413s| 2130k| 2130k| 0 | 0.0 | 891M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
469.17/469.39 c 414s| 2140k| 2140k| 0 | 0.0 | 895M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
471.36/471.50 c 416s| 2150k| 2150k| 0 | 0.0 | 899M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
473.46/473.64 c 418s| 2160k| 2160k| 0 | 0.0 | 903M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
475.57/475.71 c 420s| 2170k| 2170k| 0 | 0.0 | 907M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
477.66/477.86 c 422s| 2180k| 2180k| 0 | 0.0 | 911M| 97 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
479.77/479.94 c 424s| 2190k| 2190k| 0 | 0.0 | 915M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
481.86/482.03 c 426s| 2200k| 2200k| 0 | 0.0 | 920M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
483.96/484.12 c 427s| 2210k| 2210k| 0 | 0.0 | 924M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
486.07/486.22 c 429s| 2220k| 2220k| 0 | 0.0 | 928M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
488.06/488.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.06/488.30 c 431s| 2230k| 2230k| 0 | 0.0 | 932M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
490.16/490.39 c 433s| 2240k| 2240k| 0 | 0.0 | 936M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
492.26/492.48 c 435s| 2250k| 2250k| 0 | 0.0 | 940M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
494.36/494.56 c 437s| 2260k| 2260k| 0 | 0.0 | 944M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
496.46/496.63 c 438s| 2270k| 2270k| 0 | 0.0 | 948M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
498.56/498.70 c 440s| 2280k| 2280k| 0 | 0.0 | 952M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
500.55/500.78 c 442s| 2290k| 2290k| 0 | 0.0 | 956M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
502.65/502.83 c 444s| 2300k| 2300k| 0 | 0.0 | 960M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
504.66/504.87 c 446s| 2310k| 2310k| 0 | 0.0 | 964M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
506.66/506.88 c 448s| 2320k| 2320k| 0 | 0.0 | 968M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
508.65/508.86 c 449s| 2330k| 2330k| 0 | 0.0 | 972M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.730000e+02 | 5.240000e+02 | Inf
510.56/510.76 c 451s| 2340k| 2340k| 0 | 0.0 | 976M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
512.76/512.91 c 453s| 2350k| 2350k| 0 | 0.0 | 980M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
514.85/515.08 c 455s| 2360k| 2360k| 0 | 0.0 | 984M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
517.05/517.23 c 457s| 2370k| 2370k| 0 | 0.0 | 988M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
519.16/519.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.16/519.38 c 459s| 2380k| 2380k| 0 | 0.0 | 992M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
521.36/521.53 c 460s| 2390k| 2390k| 0 | 0.0 | 997M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
523.46/523.68 c 462s| 2400k| 2400k| 0 | 0.0 |1001M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
525.66/525.83 c 464s| 2410k| 2410k| 0 | 0.0 |1005M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
527.76/527.97 c 466s| 2420k| 2420k| 0 | 0.0 |1009M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
529.96/530.10 c 468s| 2430k| 2430k| 0 | 0.0 |1013M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
532.05/532.23 c 470s| 2440k| 2440k| 0 | 0.0 |1017M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
534.15/534.36 c 472s| 2450k| 2450k| 0 | 0.0 |1021M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
536.24/536.49 c 474s| 2460k| 2460k| 0 | 0.0 |1025M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
538.45/538.61 c 476s| 2470k| 2470k| 0 | 0.0 |1029M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
540.55/540.74 c 477s| 2480k| 2480k| 0 | 0.0 |1033M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
542.65/542.88 c 479s| 2490k| 2490k| 0 | 0.0 |1037M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
544.85/545.00 c 481s| 2500k| 2500k| 0 | 0.0 |1041M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
546.94/547.11 c 483s| 2510k| 2510k| 0 | 0.0 |1045M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
549.05/549.23 c 485s| 2520k| 2520k| 0 | 0.0 |1049M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
551.14/551.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.14/551.35 c 487s| 2530k| 2530k| 0 | 0.0 |1053M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
553.24/553.47 c 489s| 2540k| 2540k| 0 | 0.0 |1057M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
555.35/555.58 c 490s| 2550k| 2550k| 0 | 0.0 |1061M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
557.45/557.68 c 492s| 2560k| 2560k| 0 | 0.0 |1065M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
559.54/559.78 c 494s| 2570k| 2570k| 0 | 0.0 |1069M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
561.64/561.90 c 496s| 2580k| 2580k| 0 | 0.0 |1074M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
563.84/564.00 c 498s| 2590k| 2590k| 0 | 0.0 |1078M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
565.84/566.09 c 500s| 2600k| 2600k| 0 | 0.0 |1082M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
567.94/568.19 c 502s| 2610k| 2610k| 0 | 0.0 |1086M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
570.04/570.28 c 503s| 2620k| 2620k| 0 | 0.0 |1090M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
572.14/572.37 c 505s| 2630k| 2630k| 0 | 0.0 |1094M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
574.24/574.47 c 507s| 2640k| 2640k| 0 | 0.0 |1098M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
576.34/576.55 c 509s| 2650k| 2650k| 0 | 0.0 |1102M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
578.45/578.64 c 511s| 2660k| 2660k| 0 | 0.0 |1106M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
580.54/580.73 c 513s| 2670k| 2670k| 0 | 0.0 |1110M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
582.63/582.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.63/582.82 c 514s| 2680k| 2680k| 0 | 0.0 |1114M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
584.63/584.89 c 516s| 2690k| 2690k| 0 | 0.0 |1118M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
586.74/586.96 c 518s| 2700k| 2700k| 0 | 0.0 |1122M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
588.83/589.05 c 520s| 2710k| 2710k| 0 | 0.0 |1126M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
590.93/591.13 c 522s| 2720k| 2720k| 0 | 0.0 |1130M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
593.03/593.20 c 524s| 2730k| 2730k| 0 | 0.0 |1134M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
595.03/595.25 c 526s| 2740k| 2740k| 0 | 0.0 |1138M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
597.14/597.34 c 527s| 2750k| 2750k| 0 | 0.0 |1142M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
599.23/599.41 c 529s| 2760k| 2760k| 0 | 0.0 |1146M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
601.23/601.46 c 531s| 2770k| 2770k| 0 | 0.0 |1150M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
603.33/603.52 c 533s| 2780k| 2780k| 0 | 0.0 |1154M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
605.33/605.57 c 535s| 2790k| 2790k| 0 | 0.0 |1158M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
607.43/607.60 c 536s| 2800k| 2800k| 0 | 0.0 |1162M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
609.42/609.64 c 538s| 2810k| 2810k| 0 | 0.0 |1166M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
611.43/611.67 c 540s| 2820k| 2820k| 0 | 0.0 |1170M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
613.43/613.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.43/613.68 c 542s| 2830k| 2830k| 0 | 0.0 |1174M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
615.42/615.67 c 544s| 2840k| 2840k| 0 | 0.0 |1178M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
617.42/617.64 c 545s| 2850k| 2850k| 0 | 0.0 |1182M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
619.32/619.55 c 547s| 2860k| 2860k| 0 | 0.0 |1186M| 99 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.720000e+02 | 5.240000e+02 | Inf
621.33/621.53 c 549s| 2870k| 2870k| 0 | 0.0 |1190M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
623.43/623.62 c 551s| 2880k| 2880k| 0 | 0.0 |1194M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
625.43/625.69 c 552s| 2890k| 2890k| 0 | 0.0 |1198M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
627.52/627.78 c 554s| 2900k| 2900k| 0 | 0.0 |1202M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
629.62/629.88 c 556s| 2910k| 2910k| 0 | 0.0 |1206M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
631.72/631.99 c 558s| 2920k| 2920k| 0 | 0.0 |1210M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
633.82/634.08 c 560s| 2930k| 2930k| 0 | 0.0 |1214M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
635.92/636.19 c 562s| 2940k| 2940k| 0 | 0.0 |1218M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
638.12/638.30 c 564s| 2950k| 2950k| 0 | 0.0 |1222M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
640.22/640.40 c 565s| 2960k| 2960k| 0 | 0.0 |1225M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
642.23/642.49 c 567s| 2970k| 2970k| 0 | 0.0 |1229M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
644.32/644.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.32/644.59 c 569s| 2980k| 2980k| 0 | 0.0 |1233M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
646.42/646.67 c 571s| 2990k| 2990k| 0 | 0.0 |1237M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
648.51/648.74 c 573s| 3000k| 3000k| 0 | 0.0 |1241M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
650.62/650.82 c 575s| 3010k| 3010k| 0 | 0.0 |1245M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
652.72/652.90 c 576s| 3020k| 3020k| 0 | 0.0 |1249M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
654.81/655.00 c 578s| 3030k| 3030k| 0 | 0.0 |1253M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
656.81/657.07 c 580s| 3040k| 3040k| 0 | 0.0 |1257M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
658.92/659.14 c 582s| 3050k| 3050k| 0 | 0.0 |1261M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
661.01/661.24 c 584s| 3060k| 3060k| 0 | 0.0 |1265M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
663.12/663.34 c 586s| 3070k| 3070k| 0 | 0.0 |1269M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
665.22/665.42 c 587s| 3080k| 3080k| 0 | 0.0 |1273M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
667.32/667.50 c 589s| 3090k| 3090k| 0 | 0.0 |1277M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
669.31/669.58 c 591s| 3100k| 3100k| 0 | 0.0 |1281M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
671.41/671.66 c 593s| 3110k| 3110k| 0 | 0.0 |1285M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
673.51/673.75 c 595s| 3120k| 3120k| 0 | 0.0 |1289M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
675.61/675.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.61/675.86 c 597s| 3130k| 3130k| 0 | 0.0 |1293M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
677.71/677.95 c 598s| 3140k| 3140k| 0 | 0.0 |1297M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
679.81/680.02 c 600s| 3150k| 3150k| 0 | 0.0 |1301M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
681.81/682.09 c 602s| 3160k| 3160k| 0 | 0.0 |1305M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
683.92/684.17 c 604s| 3170k| 3170k| 0 | 0.0 |1309M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
686.01/686.26 c 606s| 3180k| 3180k| 0 | 0.0 |1313M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
688.11/688.35 c 608s| 3190k| 3190k| 0 | 0.0 |1317M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
690.21/690.44 c 609s| 3200k| 3200k| 0 | 0.0 |1321M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
692.30/692.51 c 611s| 3210k| 3210k| 0 | 0.0 |1325M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
694.30/694.57 c 613s| 3220k| 3220k| 0 | 0.0 |1329M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
696.41/696.64 c 615s| 3230k| 3230k| 0 | 0.0 |1333M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
698.50/698.71 c 617s| 3240k| 3240k| 0 | 0.0 |1337M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
700.60/700.80 c 619s| 3250k| 3250k| 0 | 0.0 |1341M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
702.61/702.89 c 620s| 3260k| 3260k| 0 | 0.0 |1345M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
704.70/704.96 c 622s| 3270k| 3270k| 0 | 0.0 |1349M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
706.80/707.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.80/707.03 c 624s| 3280k| 3280k| 0 | 0.0 |1353M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
708.80/709.09 c 626s| 3290k| 3290k| 0 | 0.0 |1357M| 103 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 5.240000e+02 | Inf
709.40/709.67 c (node 3292793) switching to memory saving mode (mem: 1296.0M/1620.0M)
710.41/710.63 o 14
710.41/710.63 c * 627s| 3292k| 3292k| 0 | 0.0 |1358M| 130 | - | 369 | 417 | 0 | 0 | 0 | 0 | 0 |-1.710000e+02 | 1.400000e+01 | Inf
711.51/711.75 o 13
711.51/711.75 c * 628s| 3293k| 3292k| 0 | 0.0 |1358M| 130 | - | 369 | 417 | 0 | 0 | 0 | 193 | 0 |-1.710000e+02 | 1.300000e+01 | Inf
730.70/730.90 c 647s| 3300k| 3292k| 0 | 0.0 |1358M| 130 | - | 369 | 417 | 0 | 0 | 0 |3891 | 0 |-1.710000e+02 | 1.300000e+01 | Inf
759.29/759.51 c 676s| 3310k| 3292k| 0 | 0.0 |1358M| 131 | - | 369 | 417 | 0 | 0 | 0 |9344 | 0 |-1.710000e+02 | 1.300000e+01 | Inf
786.38/786.68 c 703s| 3320k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 14k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
809.28/809.59 c 725s| 3330k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 19k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
830.27/830.52 c 746s| 3340k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 23k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
855.57/855.86 c 771s| 3350k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 29k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
880.65/881.00 c 796s| 3360k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 34k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
904.25/904.59 c 819s| 3370k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 39k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
923.44/923.76 c 838s| 3380k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 43k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
947.43/947.79 c 862s| 3390k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 48k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
970.63/970.99 c 885s| 3400k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 53k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
996.02/996.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.02/996.36 c 910s| 3410k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 58k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1021.62/1021.92 c 935s| 3420k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 63k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1043.81/1044.13 c 957s| 3430k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 68k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1067.10/1067.46 c 980s| 3440k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 73k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1093.30/1093.60 c 1006s| 3450k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 78k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1116.79/1117.18 c 1029s| 3460k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 83k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1143.28/1143.67 c 1056s| 3470k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 89k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1165.47/1165.81 c 1077s| 3480k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 93k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1192.77/1193.10 c 1104s| 3490k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 99k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1217.57/1217.96 c 1129s| 3500k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 104k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1244.56/1244.90 c 1156s| 3510k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 109k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1272.36/1272.72 c 1183s| 3520k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 115k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1299.85/1300.25 c 1210s| 3530k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 120k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1325.04/1325.42 c 1235s| 3540k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 125k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1351.03/1351.41 c 1261s| 3550k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 131k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1377.02/1377.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.02/1377.45 c 1287s| 3560k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 136k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1403.22/1403.61 c 1313s| 3570k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 141k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1427.91/1428.38 c 1337s| 3580k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 146k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1455.40/1455.87 c 1364s| 3590k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 152k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1477.49/1477.99 c 1386s| 3600k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 157k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1502.59/1503.01 c 1411s| 3610k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 162k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1527.18/1527.63 c 1435s| 3620k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 167k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1551.18/1551.64 c 1459s| 3630k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 172k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1577.87/1578.35 c 1485s| 3640k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 177k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1602.46/1602.91 c 1510s| 3650k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 182k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1631.65/1632.16 c 1539s| 3660k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 188k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1657.25/1657.77 c 1564s| 3670k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 193k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1683.42/1683.97 c 1590s| 3680k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 198k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1710.32/1710.83 c 1616s| 3690k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 204k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1735.63/1736.26 c 1641s| 3700k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 209k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1760.85/1761.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.85/1761.55 c 1666s| 3710k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 214k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1787.15/1787.80 c 1692s| 3720k| 3292k| 0 | 0.0 |1358M| 133 | - | 369 | 417 | 0 | 0 | 0 | 220k| 0 |-1.710000e+02 | 1.300000e+01 | Inf
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1704.96
1800.05/1800.71 c Solving Nodes : 3724257
1800.05/1800.71 c Primal Bound : +1.30000000000000e+01 (5 solutions)
1800.05/1800.71 c Dual Bound : -1.71000000000000e+02
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 s SATISFIABLE
1800.05/1800.71 v x1 x372 -x369 -x368 x331 -x226 x327 -x322 x335 x334 -x370 -x71 x227 x371 -x225 -x318 x330 x63 x355 -x325 x321 x339 -x68 -x70 x228
1800.05/1800.71 v x332 x216 x333 x367 x67 -x317 -x328 x359 x62 -x319 -x326 x354 x324 x352 x300 x323 x342 -x69 x187 -x263 x338 x186 -x364 x366
1800.05/1800.71 v x220 -x66 x215 -x329 x363 x213 x60 -x320 -x358 x303 -x91 -x125 x299 -x304 x353 -x195 x340 -x16 x177 -x191 -x262 x336 -x365
1800.05/1800.71 v x87 -x184 x224 -x185 -x266 -x64 x86 x219 -x267 -x296 x362 -x20 x315 x61 x214 -x295 x316 -x356 -x42 x92 x312 x90 -x110 -x124 x301
1800.05/1800.71 v x308 -x194 x341 -x15 -x38 -x141 x176 -x190 -x206 -x264 x337 x269 -x37 -x106 x223 -x241 -x268 x21 -x180 -x314 -x19 -x65 x88
1800.05/1800.71 v -x105 -x121 -x181 -x217 -x313 x360 -x43 x89 -x144 -x210 -x41 x93 -x120 -x145 x297 -x357 x72 -x111 -x163 -x244 x298 x311 -x109
1800.05/1800.71 v -x126 -x245 x302 x307 -x192 -x17 -x140 -x159 x178 -x188 -x205 x265 -x279 -x18 x183 x252 -x348 x22 -x39 -x53 -x142 -x158 x182
1800.05/1800.71 v x221 -x240 -x251 -x349 x5 x40 x147 -x211 -x250 -x44 x107 x146 -x209 -x218 -x242 x361 -x26 x85 x108 -x164 -x247 -x282 x74 x112
1800.05/1800.71 v -x122 -x162 -x246 -x283 -x56 -x77 -x94 x123 x294 -x309 -x57 x73 -x127 x290 -x305 -x193 x261 -x351 x179 -x189 -x207 x260 -x278
1800.05/1800.71 v -x350 x14 x170 -x208 -x259 x6 -x52 -x143 -x160 -x169 -x212 x222 -x256 x280 -x9 x36 -x82 x132 -x161 -x168 x199 -x285 -x4
1800.05/1800.71 v x27 -x54 -x84 x131 -x165 -x243 -x248 -x284 -x2 -x30 -x59 -x104 -x130 -x151 x232 -x249 x291 -x25 -x58 x81 x96 x231 x293 -x23 x97
1800.05/1800.71 v x119 x229 -x310 -x75 -x95 x115 x289 -x306 x13 -x137 x175 -x203 -x258 -x277 x347 x12 -x34 -x136 -x155 x174 -x202 x276 -x346
1800.05/1800.71 v -x11 -x33 -x51 x138 -x154 -x173 x204 -x237 -x257 x275 -x345 -x10 -x35 -x50 -x83 -x102 x139 -x156 -x171 x200 -x236 -x255 x281
1800.05/1800.71 v -x343 -x32 -x49 -x79 -x101 x135 -x157 -x172 x201 -x238 x274 -x344 -x7 -x31 -x55 -x103 -x117 -x133 -x152 -x166 -x198 x239 -x253
1800.05/1800.71 v x273 x292 -x8 x48 -x78 x100 -x116 -x134 -x153 -x167 -x196 x235 -x254 -x272 -x287 -x3 -x28 -x47 x80 x99 -x118 -x128 -x150 -x197
1800.05/1800.71 v x233 -x270 -x29 -x45 x114 -x129 -x148 x234 -x271 -x286 -x24 -x46 -x76 x98 x113 -x149 x230 -x288
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1704.96
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2664718-1276479187.opb
1800.05/1800.71 c Variables : 372 (372 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 421 initial, 421 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2664718-1276479187.opb
1800.05/1800.71 c Variables : 369 (369 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 417 initial, 417 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.71 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c linear : 0.02 1 2 0 1 0 4 1 0
1800.05/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 0 - - 0 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c knapsack : 71 0 10775410 0 3568666 222720 2926818 0 0 0
1800.05/1800.71 c setppc : 4 0 1933237 0 692396 0 160 0 0 0
1800.05/1800.71 c logicor : 342+ 0 6507506 0 3568666 658 6951794 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 3568666 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c knapsack : 1071.79 0.00 1064.25 0.00 7.54
1800.05/1800.71 c setppc : 1.60 0.00 0.95 0.00 0.65
1800.05/1800.71 c logicor : 98.00 0.00 25.30 0.00 72.70
1800.05/1800.71 c countsols : 1.39 0.00 0.00 0.00 1.39
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c vbounds : 5.20 2 0 0
1800.05/1800.71 c rootredcost : 4.71 0 0 0
1800.05/1800.71 c pseudoobj : 193.40 10805128 29979 3280523
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 1000.29 222741 222741 16627532 181.2 16 115.3 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.07 1227 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 0 0.0 - - -
1800.05/1800.71 c applied locally : - - - 222741 111.7 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.71 c redcost : 0.00 0 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 0.00 0 0 0 0 0
1800.05/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.00 0 0 0 0 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.00 0 0 0 0 0
1800.05/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 144.33 3568664 0 0 0 0 7137328
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.24 - 2
1800.05/1800.71 c oneopt : 2.60 0 0
1800.05/1800.71 c trivial : 0.00 2 3
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c zirounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c twoopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c undercover : 0.00 0 0
1800.05/1800.71 c nlp : 1.56 0 0
1800.05/1800.71 c trysol : 1.66 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.71 c (at root node) : - 0 0 0.00 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 3724257
1800.05/1800.71 c nodes (total) : 3724257
1800.05/1800.71 c nodes left : 3292823
1800.05/1800.71 c max depth : 133
1800.05/1800.71 c max depth (total): 133
1800.05/1800.71 c backtracks : 195617 (5.3%)
1800.05/1800.71 c delayed cutoffs : 118516
1800.05/1800.71 c repropagations : 248136 (1679231 domain reductions, 98993 cutoffs)
1800.05/1800.71 c avg switch length: 2.65
1800.05/1800.71 c switching time : 44.20
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 5 (5 improvements)
1800.05/1800.71 c First Solution : +5.43000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.71 c Primal Bound : +1.30000000000000e+01 (in run 1, after 3293195 nodes, 628.33 seconds, depth 124, found by <relaxation>)
1800.05/1800.71 c Dual Bound : -1.71000000000000e+02
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : -2.18000000000000e+02
1800.05/1800.71 c Root Iterations : 0
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664718-1276479187/watcher-2664718-1276479187 -o /tmp/evaluation-result-2664718-1276479187/solver-2664718-1276479187 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664718-1276479187.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 4/106 27752 /proc/meminfo: memFree=1848436/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=6584 CPUtime=0 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 992 0 0 0 0 0 0 0 20 0 1 0 23522324 6742016 914 1992294400 4194304 7136930 140735184894272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27752/statm: 1646 922 254 719 0 925 0 [startup+0.022031 s] /proc/loadavg: 1.00 1.00 1.00 4/106 27752 /proc/meminfo: memFree=1848436/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=8960 CPUtime=0.01 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 1994 0 0 0 1 0 0 0 20 0 1 0 23522324 9175040 1562 1992294400 4194304 7136930 140735184894272 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 2240 1572 278 719 0 1519 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8960 [startup+0.10104 s] /proc/loadavg: 1.00 1.00 1.00 4/106 27752 /proc/meminfo: memFree=1848436/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=13084 CPUtime=0.09 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 5548 0 0 0 8 1 0 0 20 0 1 0 23522324 13398016 2546 1992294400 4194304 7136930 140735184894272 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 3271 2546 398 719 0 2550 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13084 [startup+0.301063 s] /proc/loadavg: 1.00 1.00 1.00 4/106 27752 /proc/meminfo: memFree=1848436/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=13348 CPUtime=0.29 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 5638 0 0 0 25 4 0 0 20 0 1 0 23522324 13668352 2636 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 3337 2636 398 719 0 2616 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13348 [startup+0.701109 s] /proc/loadavg: 1.00 1.00 1.00 4/106 27752 /proc/meminfo: memFree=1848436/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=14624 CPUtime=0.69 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 5967 0 0 0 60 9 0 0 21 0 1 0 23522324 14974976 2965 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 3656 2965 398 719 0 2935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14624 [startup+1.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27753 /proc/meminfo: memFree=1837764/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=16476 CPUtime=1.49 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 6425 0 0 0 133 16 0 0 22 0 1 0 23522324 16871424 3423 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 4119 3423 398 719 0 3398 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16476 [startup+3.10039 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27753 /proc/meminfo: memFree=1834788/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=20184 CPUtime=3.09 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 7361 0 0 0 274 35 0 0 25 0 1 0 23522324 20668416 4359 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 5046 4359 398 719 0 4325 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20184 [startup+6.30076 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27753 /proc/meminfo: memFree=1827720/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=26952 CPUtime=6.29 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 9100 0 0 0 558 71 0 0 25 0 1 0 23522324 27598848 6098 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 6738 6098 398 719 0 6017 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26952 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27753 /proc/meminfo: memFree=1815568/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=37992 CPUtime=12.69 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 11953 0 0 0 1128 141 0 0 25 0 1 0 23522324 38903808 8951 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 9498 8951 398 719 0 8777 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37992 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27755 /proc/meminfo: memFree=1789156/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=64304 CPUtime=25.48 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 18255 0 0 0 2260 288 0 0 25 0 1 0 23522324 65847296 15253 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 16076 15253 398 719 0 15355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64304 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27755 /proc/meminfo: memFree=1739680/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=117260 CPUtime=51.08 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 30929 0 0 0 4529 579 0 0 25 0 1 0 23522324 120074240 27927 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 29315 27927 398 719 0 28594 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 117260 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27757 /proc/meminfo: memFree=1639860/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=211020 CPUtime=102.27 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 55269 0 0 0 9051 1176 0 0 25 0 1 0 23522324 216084480 52267 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 52755 52267 398 719 0 52034 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 211020 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27757 /proc/meminfo: memFree=1520324/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=335988 CPUtime=162.25 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 85519 0 0 0 14354 1871 0 0 25 0 1 0 23522324 344051712 82517 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 83997 82517 398 719 0 83276 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 335988 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27759 /proc/meminfo: memFree=1402400/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=463868 CPUtime=222.24 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 114455 0 0 0 19643 2581 0 0 25 0 1 0 23522324 475000832 111453 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 115967 111453 398 719 0 115246 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 463868 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27761 /proc/meminfo: memFree=1284848/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=578084 CPUtime=282.22 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 144071 0 0 0 24948 3274 0 0 25 0 1 0 23522324 591958016 141069 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 144521 141069 398 719 0 143800 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 578084 [startup+342.302 s] /proc/loadavg: 1.06 1.01 1.00 2/107 27763 /proc/meminfo: memFree=1165188/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=692344 CPUtime=342.2 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 173720 0 0 0 30245 3975 0 0 25 0 1 0 23522324 708960256 170718 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 173086 170718 398 719 0 172365 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 692344 [startup+402.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 27765 /proc/meminfo: memFree=1050860/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=803452 CPUtime=402.18 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 202597 0 0 0 35532 4686 0 0 25 0 1 0 23522324 822734848 199595 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 200863 199595 398 719 0 200142 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 803452 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27765 /proc/meminfo: memFree=928844/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=951400 CPUtime=462.17 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 232503 0 0 0 40820 5397 0 0 25 0 1 0 23522324 974233600 229501 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 237850 229501 398 719 0 237129 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 951400 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27767 /proc/meminfo: memFree=807820/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1069780 CPUtime=522.15 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 263215 0 0 0 46110 6105 0 0 25 0 1 0 23522324 1095454720 260213 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 267445 260213 398 719 0 266724 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1069780 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27769 /proc/meminfo: memFree=692996/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1178516 CPUtime=582.14 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 291507 0 0 0 51404 6810 0 0 25 0 1 0 23522324 1206800384 288505 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 294629 288505 398 719 0 293908 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1178516 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27771 /proc/meminfo: memFree=572220/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1293412 CPUtime=642.13 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 321371 0 0 0 56705 7508 0 0 25 0 1 0 23522324 1324453888 318369 1992294400 4194304 7136930 140735184894272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 323353 318369 398 719 0 322632 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1293412 [startup+702.301 s] ################ # More data... # ################ /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368196 0 0 0 97510 8690 0 0 25 0 1 0 23522324 1458466816 352330 1992294400 4194304 7136930 140735184894272 18446744073709551615 5923189 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352330 403 719 0 355350 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1424284 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27783 /proc/meminfo: memFree=435448/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1121.99 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368203 0 0 0 103443 8756 0 0 25 0 1 0 23522324 1458466816 352337 1992294400 4194304 7136930 140735184894272 18446744073709551615 5923175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352337 403 719 0 355350 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1424284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27785 /proc/meminfo: memFree=435324/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1181.98 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368204 0 0 0 109377 8821 0 0 25 0 1 0 23522324 1458466816 352338 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352338 403 719 0 355350 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1424284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27787 /proc/meminfo: memFree=435200/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1241.96 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368207 0 0 0 115315 8881 0 0 25 0 1 0 23522324 1458466816 352341 1992294400 4194304 7136930 140735184894272 18446744073709551615 5922941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352341 403 719 0 355350 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1424284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27789 /proc/meminfo: memFree=434952/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1301.95 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368207 0 0 0 121251 8944 0 0 25 0 1 0 23522324 1458466816 352341 1992294400 4194304 7136930 140735184894272 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352341 403 719 0 355350 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1424284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27789 /proc/meminfo: memFree=434952/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1361.93 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368207 0 0 0 127180 9013 0 0 25 0 1 0 23522324 1458466816 352341 1992294400 4194304 7136930 140735184894272 18446744073709551615 5922923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352341 403 719 0 355350 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1424284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27791 /proc/meminfo: memFree=434952/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1421.92 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368213 0 0 0 133113 9079 0 0 25 0 1 0 23522324 1458466816 352347 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352347 403 719 0 355350 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1424284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27793 /proc/meminfo: memFree=434828/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1481.9 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368213 0 0 0 139037 9153 0 0 25 0 1 0 23522324 1458466816 352347 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352347 403 719 0 355350 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1424284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27795 /proc/meminfo: memFree=434704/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1541.87 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368213 0 0 0 144972 9215 0 0 25 0 1 0 23522324 1458466816 352347 1992294400 4194304 7136930 140735184894272 18446744073709551615 5922950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352347 403 719 0 355350 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1424284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27797 /proc/meminfo: memFree=434704/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1601.86 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368213 0 0 0 150905 9281 0 0 25 0 1 0 23522324 1458466816 352347 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352347 403 719 0 355350 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1424284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27797 /proc/meminfo: memFree=434580/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1661.84 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368219 0 0 0 156837 9347 0 0 25 0 1 0 23522324 1458466816 352353 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352353 403 719 0 355350 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1424284 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27808 /proc/meminfo: memFree=433960/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1721.81 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368219 0 0 0 162767 9414 0 0 25 0 1 0 23522324 1458466816 352353 1992294400 4194304 7136930 140735184894272 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352353 403 719 0 355350 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1424284 [startup+1782.3 s] /proc/loadavg: 1.15 1.05 1.02 2/107 28284 /proc/meminfo: memFree=421880/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1781.65 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368221 0 0 0 168678 9487 0 0 25 0 1 0 23522324 1458466816 352355 1992294400 4194304 7136930 140735184894272 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352355 403 719 0 355350 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 1424284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.12 1.05 1.02 2/107 28284 /proc/meminfo: memFree=421880/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1800.05 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368221 0 0 0 170497 9508 0 0 25 0 1 0 23522324 1458466816 352355 1992294400 4194304 7136930 140735184894272 18446744073709551615 5922966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352355 403 719 0 355350 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1424284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27752 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.12 1.05 1.02 2/107 28284 /proc/meminfo: memFree=421880/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1800.74 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368227 0 0 0 170566 9508 0 0 25 0 1 0 23522324 1458466816 352361 1992294400 4194304 7136930 140735184894272 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352361 408 719 0 355350 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (KiB) 1424284 [startup+1802.2 s] /proc/loadavg: 1.11 1.05 1.02 2/108 28285 /proc/meminfo: memFree=421872/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1801.54 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368227 0 0 0 170646 9508 0 0 25 0 1 0 23522324 1458466816 352361 1992294400 4194304 7136930 140735184894272 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352361 408 719 0 355350 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 1424284 [startup+1802.6 s] /proc/loadavg: 1.11 1.05 1.02 2/108 28285 /proc/meminfo: memFree=421872/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=1424284 CPUtime=1801.94 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4202496 368227 0 0 0 170686 9508 0 0 25 0 1 0 23522324 1458466816 352361 1992294400 4194304 7136930 140735184894272 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27752/statm: 356071 352361 408 719 0 355350 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 1424284 [startup+1802.8 s] /proc/loadavg: 1.11 1.05 1.02 2/107 28285 /proc/meminfo: memFree=1294344/2059040 swapFree=4140108/4192956 [pid=27752] ppid=27750 vsize=0 CPUtime=1802.15 /proc/27752/stat : 27752 (pbscip.linux.x8) R 27750 27752 27567 0 -1 4203524 368227 0 0 0 170698 9517 0 0 25 0 1 0 23522324 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/27752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.85 CPU time (s): 1802.2 CPU user time (s): 1706.98 CPU system time (s): 95.2195 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 1487328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1706.98 system time used= 95.2195 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368227 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= 9114 runsolver used 3.24351 second user time and 8.28374 second system time The end
Begin job on node006 at 2010-06-14 03:33:07 IDJOB=2664718 IDBENCH=2222 IDSOLVER=1167 FILE ID=node006/2664718-1276479187 PBS_JOBID= 11173379 Free space on /tmp= 62472 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.5:100.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-2664718-1276479187/watcher-2664718-1276479187 -o /tmp/evaluation-result-2664718-1276479187/solver-2664718-1276479187 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664718-1276479187.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dfe0aab63c58302cf08520fc713ceae RANDOM SEED=1697630225 node006.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.204 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.204 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: 1848840 kB Buffers: 40992 kB Cached: 89548 kB SwapCached: 6484 kB Active: 81780 kB Inactive: 62428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848840 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3248 kB Writeback: 0 kB AnonPages: 11904 kB Mapped: 12984 kB Slab: 44196 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180884 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= 62472 MiB End job on node006 at 2010-06-14 04:03:10