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) | 2 | 1802.22 | 1802.94 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
| MD5SUM | b258fc1dc8cb1827e842a0b9558712c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.090985 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 435 |
| Total number of constraints | 501 |
| Number of constraints which are clauses | 403 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Number of terms in the objective function | 435 |
| Biggest coefficient in the objective function | 282 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1168 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 282 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1168 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664719-1276481214.opb>
0.00/0.02 c original problem has 435 variables (435 bin, 0 int, 0 impl, 0 cont) and 501 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 o 604
0.00/0.02 c feasible solution found by trivial heuristic, objective value 6.040000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1898 impls, 4 clqs
0.04/0.05 c (round 2) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 477 upgd conss, 1898 impls, 4 clqs
0.04/0.05 c (round 3) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1898 impls, 4 clqs
0.04/0.07 c (0.0s) probing: 138/434 (31.8%) - 0 fixings, 0 aggregations, 88 implications, 0 bound changes
0.04/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (4 rounds):
0.04/0.07 c 1 deleted vars, 1 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.07 c 2122 implications, 4 cliques
0.04/0.07 c presolved problem has 434 variables (434 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.04/0.07 c 93 constraints of type <knapsack>
0.04/0.07 c 4 constraints of type <setppc>
0.04/0.07 c 403 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.04
0.04/0.07 c - non default parameters ----------------------------------------------------------------------
0.04/0.07 c # SCIP version 1.2.1.2
0.04/0.07 c
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = 10000
0.04/0.07 c
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = 1799.99
0.04/0.07 c
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = 1620
0.04/0.07 c
0.04/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.07 c lp/solvefreq = -1
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c separating/rapidlearning/freq = 0
0.04/0.07 c
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving
0.04/0.08 c
0.04/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.08 c t 0.0s| 1 | 2 | 0 | - |1790k| 0 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.820000e+02 | 6.040000e+02 | Inf
2.99/3.01 c 2.7s| 10000 | 10001 | 0 | 0.0 |6540k| 53 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.440000e+02 | 6.040000e+02 | Inf
5.79/5.81 c 5.2s| 20000 | 20001 | 0 | 0.0 | 10M| 53 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.420000e+02 | 6.040000e+02 | Inf
8.59/8.61 c 7.7s| 30000 | 30001 | 0 | 0.0 | 15M| 53 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.410000e+02 | 6.040000e+02 | Inf
11.28/11.39 c 10.2s| 40000 | 40001 | 0 | 0.0 | 19M| 59 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.400000e+02 | 6.040000e+02 | Inf
14.08/14.14 c 12.6s| 50000 | 50001 | 0 | 0.0 | 23M| 59 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.390000e+02 | 6.040000e+02 | Inf
16.79/16.88 c 15.1s| 60000 | 60001 | 0 | 0.0 | 27M| 59 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.380000e+02 | 6.040000e+02 | Inf
19.58/19.62 c 17.5s| 70000 | 70001 | 0 | 0.0 | 31M| 59 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.380000e+02 | 6.040000e+02 | Inf
22.28/22.35 c 20.0s| 80000 | 80001 | 0 | 0.0 | 35M| 59 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.370000e+02 | 6.040000e+02 | Inf
24.98/25.06 c 22.4s| 90000 | 90001 | 0 | 0.0 | 39M| 67 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.370000e+02 | 6.040000e+02 | Inf
27.68/27.77 c 24.8s|100000 |100001 | 0 | 0.0 | 43M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 6.040000e+02 | Inf
30.38/30.49 c 27.2s|110000 |110001 | 0 | 0.0 | 47M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 6.040000e+02 | Inf
33.18/33.20 c 29.6s|120000 |120001 | 0 | 0.0 | 51M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 6.040000e+02 | Inf
35.77/35.89 c 32.0s|130000 |130001 | 0 | 0.0 | 54M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 6.040000e+02 | Inf
38.49/38.59 c 34.4s|140000 |140001 | 0 | 0.0 | 59M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
41.28/41.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.28/41.32 c 36.9s|150000 |150001 | 0 | 0.0 | 62M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
43.99/44.03 c 39.3s|160000 |160001 | 0 | 0.0 | 66M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
46.67/46.74 c 41.7s|170000 |170001 | 0 | 0.0 | 70M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
49.38/49.45 c 44.1s|180000 |180001 | 0 | 0.0 | 74M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
52.07/52.15 c 46.5s|190000 |190001 | 0 | 0.0 | 78M| 69 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
54.77/54.85 c 48.9s|200000 |200001 | 0 | 0.0 | 82M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 6.040000e+02 | Inf
57.57/57.64 c 51.4s|210000 |210001 | 0 | 0.0 | 87M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
60.38/60.44 c 53.9s|220000 |220001 | 0 | 0.0 | 91M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
63.17/63.22 c 56.4s|230000 |230001 | 0 | 0.0 | 95M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
65.88/65.99 c 58.8s|240000 |240001 | 0 | 0.0 | 99M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
68.67/68.75 c 61.3s|250000 |250001 | 0 | 0.0 | 104M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
71.47/71.51 c 63.7s|260000 |260001 | 0 | 0.0 | 108M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
74.17/74.25 c 66.1s|270000 |270001 | 0 | 0.0 | 112M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
76.86/77.00 c 68.6s|280000 |280001 | 0 | 0.0 | 116M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
79.66/79.72 c 71.0s|290000 |290001 | 0 | 0.0 | 121M| 79 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
82.37/82.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.37/82.42 c 73.4s|300000 |300001 | 0 | 0.0 | 125M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
84.95/85.09 c 75.7s|310000 |310001 | 0 | 0.0 | 129M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 6.040000e+02 | Inf
87.65/87.78 c 78.1s|320000 |320001 | 0 | 0.0 | 134M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
90.35/90.49 c 80.5s|330000 |330001 | 0 | 0.0 | 138M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
93.15/93.21 c 82.9s|340000 |340001 | 0 | 0.0 | 143M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
95.85/95.92 c 85.3s|350000 |350001 | 0 | 0.0 | 147M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
98.55/98.64 c 87.7s|360000 |360001 | 0 | 0.0 | 151M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
101.35/101.40 c 90.2s|370000 |370001 | 0 | 0.0 | 156M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
104.05/104.15 c 92.6s|380000 |380001 | 0 | 0.0 | 160M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
106.75/106.88 c 95.0s|390000 |390001 | 0 | 0.0 | 165M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
109.55/109.63 c 97.4s|400000 |400001 | 0 | 0.0 | 169M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
112.25/112.33 c 99.8s|410000 |410001 | 0 | 0.0 | 174M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
114.95/115.04 c 102s|420000 |420001 | 0 | 0.0 | 178M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
117.65/117.73 c 105s|430000 |430001 | 0 | 0.0 | 183M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
120.34/120.40 c 107s|440000 |440001 | 0 | 0.0 | 187M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
122.94/123.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.94/123.04 c 109s|450000 |450001 | 0 | 0.0 | 192M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
125.54/125.68 c 112s|460000 |460001 | 0 | 0.0 | 197M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
128.14/128.28 c 114s|470000 |470001 | 0 | 0.0 | 201M| 93 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 6.040000e+02 | Inf
130.74/130.81 c 116s|480000 |480001 | 0 | 0.0 | 206M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
133.23/133.39 c 118s|490000 |490001 | 0 | 0.0 | 210M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
135.93/136.02 c 121s|500000 |500001 | 0 | 0.0 | 215M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
138.54/138.65 c 123s|510000 |510001 | 0 | 0.0 | 219M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
141.14/141.25 c 125s|520000 |520001 | 0 | 0.0 | 224M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
143.73/143.89 c 128s|530000 |530001 | 0 | 0.0 | 228M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
146.43/146.54 c 130s|540000 |540001 | 0 | 0.0 | 233M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
149.03/149.17 c 132s|550000 |550001 | 0 | 0.0 | 237M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
151.74/151.80 c 135s|560000 |560001 | 0 | 0.0 | 242M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
154.33/154.45 c 137s|570000 |570001 | 0 | 0.0 | 246M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
156.93/157.08 c 139s|580000 |580001 | 0 | 0.0 | 251M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
159.63/159.71 c 142s|590000 |590001 | 0 | 0.0 | 255M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
162.23/162.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.23/162.35 c 144s|600000 |600001 | 0 | 0.0 | 260M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
164.83/164.98 c 146s|610000 |610001 | 0 | 0.0 | 265M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
167.53/167.62 c 149s|620000 |620001 | 0 | 0.0 | 269M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
170.12/170.24 c 151s|630000 |630001 | 0 | 0.0 | 274M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
172.72/172.87 c 153s|640000 |640001 | 0 | 0.0 | 278M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
175.32/175.49 c 156s|650000 |650001 | 0 | 0.0 | 283M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
178.03/178.12 c 158s|660000 |660001 | 0 | 0.0 | 287M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
180.62/180.73 c 160s|670000 |670001 | 0 | 0.0 | 292M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
183.22/183.34 c 162s|680000 |680001 | 0 | 0.0 | 297M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
185.83/185.95 c 165s|690000 |690001 | 0 | 0.0 | 301M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
188.41/188.55 c 167s|700000 |700001 | 0 | 0.0 | 306M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
191.02/191.15 c 169s|710000 |710001 | 0 | 0.0 | 310M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
193.62/193.73 c 172s|720000 |720001 | 0 | 0.0 | 315M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
196.22/196.31 c 174s|730000 |730001 | 0 | 0.0 | 320M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
198.71/198.88 c 176s|740000 |740001 | 0 | 0.0 | 324M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
201.31/201.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.31/201.44 c 178s|750000 |750001 | 0 | 0.0 | 329M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
203.81/203.99 c 181s|760000 |760001 | 0 | 0.0 | 333M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
206.41/206.52 c 183s|770000 |770001 | 0 | 0.0 | 338M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
208.91/209.06 c 185s|780000 |780001 | 0 | 0.0 | 343M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
211.40/211.59 c 187s|790000 |790001 | 0 | 0.0 | 347M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
214.00/214.10 c 190s|800000 |800001 | 0 | 0.0 | 352M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
216.41/216.58 c 192s|810000 |810001 | 0 | 0.0 | 357M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
218.90/219.04 c 194s|820000 |820001 | 0 | 0.0 | 361M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 6.040000e+02 | Inf
221.40/221.57 c 196s|830000 |830001 | 0 | 0.0 | 366M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
224.00/224.17 c 198s|840000 |840001 | 0 | 0.0 | 370M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
226.61/226.74 c 201s|850000 |850001 | 0 | 0.0 | 374M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
229.19/229.32 c 203s|860000 |860001 | 0 | 0.0 | 379M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
231.69/231.89 c 205s|870000 |870001 | 0 | 0.0 | 383M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
234.30/234.47 c 207s|880000 |880001 | 0 | 0.0 | 388M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
236.89/237.05 c 210s|890000 |890001 | 0 | 0.0 | 392M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
239.49/239.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.49/239.66 c 212s|900000 |900001 | 0 | 0.0 | 396M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
242.09/242.22 c 214s|910000 |910001 | 0 | 0.0 | 400M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
244.69/244.81 c 217s|920000 |920001 | 0 | 0.0 | 405M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
247.19/247.38 c 219s|930000 |930001 | 0 | 0.0 | 409M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
249.79/249.93 c 221s|940000 |940001 | 0 | 0.0 | 414M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
252.29/252.48 c 223s|950000 |950001 | 0 | 0.0 | 418M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
254.89/255.04 c 226s|960000 |960001 | 0 | 0.0 | 423M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
257.49/257.62 c 228s|970000 |970001 | 0 | 0.0 | 427M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
260.08/260.20 c 230s|980000 |980001 | 0 | 0.0 | 431M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
262.59/262.77 c 233s|990000 |990001 | 0 | 0.0 | 435M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
265.19/265.36 c 235s| 1000k| 1000k| 0 | 0.0 | 440M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
267.78/267.94 c 237s| 1010k| 1010k| 0 | 0.0 | 444M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
270.39/270.52 c 239s| 1020k| 1020k| 0 | 0.0 | 448M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
272.98/273.13 c 242s| 1030k| 1030k| 0 | 0.0 | 453M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
275.58/275.71 c 244s| 1040k| 1040k| 0 | 0.0 | 457M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
278.09/278.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.09/278.30 c 246s| 1050k| 1050k| 0 | 0.0 | 461M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
280.68/280.89 c 249s| 1060k| 1060k| 0 | 0.0 | 466M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
283.28/283.47 c 251s| 1070k| 1070k| 0 | 0.0 | 470M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
285.88/286.07 c 253s| 1080k| 1080k| 0 | 0.0 | 474M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
288.48/288.66 c 255s| 1090k| 1090k| 0 | 0.0 | 479M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
291.07/291.24 c 258s| 1100k| 1100k| 0 | 0.0 | 483M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
293.67/293.81 c 260s| 1110k| 1110k| 0 | 0.0 | 487M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
296.17/296.38 c 262s| 1120k| 1120k| 0 | 0.0 | 492M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
298.77/298.95 c 265s| 1130k| 1130k| 0 | 0.0 | 496M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
301.37/301.51 c 267s| 1140k| 1140k| 0 | 0.0 | 500M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
303.87/304.09 c 269s| 1150k| 1150k| 0 | 0.0 | 505M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
306.47/306.65 c 271s| 1160k| 1160k| 0 | 0.0 | 509M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
309.07/309.20 c 274s| 1170k| 1170k| 0 | 0.0 | 513M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
311.56/311.76 c 276s| 1180k| 1180k| 0 | 0.0 | 518M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
314.16/314.32 c 278s| 1190k| 1190k| 0 | 0.0 | 522M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
316.67/316.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.67/316.87 c 280s| 1200k| 1200k| 0 | 0.0 | 526M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
319.26/319.41 c 283s| 1210k| 1210k| 0 | 0.0 | 531M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
321.76/321.97 c 285s| 1220k| 1220k| 0 | 0.0 | 535M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
324.37/324.52 c 287s| 1230k| 1230k| 0 | 0.0 | 539M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
326.86/327.06 c 289s| 1240k| 1240k| 0 | 0.0 | 544M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
329.45/329.60 c 292s| 1250k| 1250k| 0 | 0.0 | 548M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
331.97/332.15 c 294s| 1260k| 1260k| 0 | 0.0 | 552M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
334.45/334.68 c 296s| 1270k| 1270k| 0 | 0.0 | 557M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
337.05/337.21 c 298s| 1280k| 1280k| 0 | 0.0 | 561M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
339.56/339.76 c 301s| 1290k| 1290k| 0 | 0.0 | 566M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
342.15/342.30 c 303s| 1300k| 1300k| 0 | 0.0 | 570M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
344.66/344.83 c 305s| 1310k| 1310k| 0 | 0.0 | 574M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
347.15/347.36 c 307s| 1320k| 1320k| 0 | 0.0 | 579M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
349.66/349.89 c 310s| 1330k| 1330k| 0 | 0.0 | 583M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
352.25/352.43 c 312s| 1340k| 1340k| 0 | 0.0 | 588M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
354.75/354.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.75/354.95 c 314s| 1350k| 1350k| 0 | 0.0 | 592M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
357.25/357.46 c 316s| 1360k| 1360k| 0 | 0.0 | 597M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
359.75/359.99 c 318s| 1370k| 1370k| 0 | 0.0 | 601M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
362.34/362.51 c 321s| 1380k| 1380k| 0 | 0.0 | 606M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
364.84/365.00 c 323s| 1390k| 1390k| 0 | 0.0 | 610M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
367.34/367.53 c 325s| 1400k| 1400k| 0 | 0.0 | 615M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
369.84/370.02 c 327s| 1410k| 1410k| 0 | 0.0 | 619M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
372.34/372.52 c 329s| 1420k| 1420k| 0 | 0.0 | 624M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
374.74/375.00 c 332s| 1430k| 1430k| 0 | 0.0 | 628M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
377.24/377.43 c 334s| 1440k| 1440k| 0 | 0.0 | 633M| 96 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 6.040000e+02 | Inf
379.64/379.88 c 336s| 1450k| 1450k| 0 | 0.0 | 637M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
382.24/382.43 c 338s| 1460k| 1460k| 0 | 0.0 | 641M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
384.74/384.98 c 340s| 1470k| 1470k| 0 | 0.0 | 645M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
387.33/387.53 c 343s| 1480k| 1480k| 0 | 0.0 | 650M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
389.83/390.07 c 345s| 1490k| 1490k| 0 | 0.0 | 654M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
392.44/392.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.44/392.63 c 347s| 1500k| 1500k| 0 | 0.0 | 658M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
395.03/395.20 c 349s| 1510k| 1510k| 0 | 0.0 | 662M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
397.53/397.77 c 352s| 1520k| 1520k| 0 | 0.0 | 667M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
400.14/400.33 c 354s| 1530k| 1530k| 0 | 0.0 | 671M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
402.63/402.89 c 356s| 1540k| 1540k| 0 | 0.0 | 675M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
405.22/405.46 c 359s| 1550k| 1550k| 0 | 0.0 | 680M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
407.83/408.03 c 361s| 1560k| 1560k| 0 | 0.0 | 684M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
410.32/410.59 c 363s| 1570k| 1570k| 0 | 0.0 | 688M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
412.92/413.14 c 365s| 1580k| 1580k| 0 | 0.0 | 692M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
415.53/415.71 c 368s| 1590k| 1590k| 0 | 0.0 | 697M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
418.02/418.28 c 370s| 1600k| 1600k| 0 | 0.0 | 701M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
420.62/420.85 c 372s| 1610k| 1610k| 0 | 0.0 | 705M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
423.12/423.39 c 374s| 1620k| 1620k| 0 | 0.0 | 710M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
425.72/425.93 c 377s| 1630k| 1630k| 0 | 0.0 | 714M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
428.22/428.48 c 379s| 1640k| 1640k| 0 | 0.0 | 718M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
430.81/431.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.81/431.02 c 381s| 1650k| 1650k| 0 | 0.0 | 722M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
433.31/433.57 c 383s| 1660k| 1660k| 0 | 0.0 | 727M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
435.92/436.10 c 386s| 1670k| 1670k| 0 | 0.0 | 731M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
438.42/438.64 c 388s| 1680k| 1680k| 0 | 0.0 | 735M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
440.92/441.18 c 390s| 1690k| 1690k| 0 | 0.0 | 739M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
443.51/443.70 c 392s| 1700k| 1700k| 0 | 0.0 | 744M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
446.01/446.25 c 395s| 1710k| 1710k| 0 | 0.0 | 748M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
448.52/448.76 c 397s| 1720k| 1720k| 0 | 0.0 | 752M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
451.01/451.29 c 399s| 1730k| 1730k| 0 | 0.0 | 757M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
453.60/453.81 c 401s| 1740k| 1740k| 0 | 0.0 | 761M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
456.10/456.33 c 404s| 1750k| 1750k| 0 | 0.0 | 765M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
458.61/458.85 c 406s| 1760k| 1760k| 0 | 0.0 | 769M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
461.10/461.38 c 408s| 1770k| 1770k| 0 | 0.0 | 774M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
463.60/463.89 c 410s| 1780k| 1780k| 0 | 0.0 | 778M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
466.21/466.41 c 413s| 1790k| 1790k| 0 | 0.0 | 782M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
468.70/468.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.70/468.92 c 415s| 1800k| 1800k| 0 | 0.0 | 787M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
471.20/471.43 c 417s| 1810k| 1810k| 0 | 0.0 | 791M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
473.70/473.92 c 419s| 1820k| 1820k| 0 | 0.0 | 795M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
476.19/476.43 c 421s| 1830k| 1830k| 0 | 0.0 | 799M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
478.70/478.92 c 424s| 1840k| 1840k| 0 | 0.0 | 804M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
481.20/481.42 c 426s| 1850k| 1850k| 0 | 0.0 | 808M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
483.71/483.90 c 428s| 1860k| 1860k| 0 | 0.0 | 812M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
486.09/486.38 c 430s| 1870k| 1870k| 0 | 0.0 | 817M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
488.59/488.86 c 432s| 1880k| 1880k| 0 | 0.0 | 821M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
491.10/491.33 c 435s| 1890k| 1890k| 0 | 0.0 | 825M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
493.49/493.79 c 437s| 1900k| 1900k| 0 | 0.0 | 829M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
495.99/496.26 c 439s| 1910k| 1910k| 0 | 0.0 | 834M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
498.49/498.71 c 441s| 1920k| 1920k| 0 | 0.0 | 838M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
500.89/501.16 c 443s| 1930k| 1930k| 0 | 0.0 | 842M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
503.29/503.55 c 445s| 1940k| 1940k| 0 | 0.0 | 847M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 6.040000e+02 | Inf
505.89/506.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.89/506.11 c 448s| 1950k| 1950k| 0 | 0.0 | 851M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
508.38/508.64 c 450s| 1960k| 1960k| 0 | 0.0 | 855M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
510.88/511.18 c 452s| 1970k| 1970k| 0 | 0.0 | 860M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
513.39/513.70 c 454s| 1980k| 1980k| 0 | 0.0 | 864M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
515.98/516.22 c 457s| 1990k| 1990k| 0 | 0.0 | 868M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
518.48/518.74 c 459s| 2000k| 2000k| 0 | 0.0 | 872M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
520.98/521.25 c 461s| 2010k| 2010k| 0 | 0.0 | 876M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
523.48/523.74 c 463s| 2020k| 2020k| 0 | 0.0 | 880M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
525.98/526.24 c 466s| 2030k| 2030k| 0 | 0.0 | 885M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
528.47/528.75 c 468s| 2040k| 2040k| 0 | 0.0 | 889M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
530.99/531.27 c 470s| 2050k| 2050k| 0 | 0.0 | 893M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
533.48/533.76 c 472s| 2060k| 2060k| 0 | 0.0 | 897M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
535.98/536.27 c 474s| 2070k| 2070k| 0 | 0.0 | 901M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
538.48/538.79 c 477s| 2080k| 2080k| 0 | 0.0 | 906M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
541.07/541.30 c 479s| 2090k| 2090k| 0 | 0.0 | 910M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
543.57/543.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.57/543.80 c 481s| 2100k| 2100k| 0 | 0.0 | 914M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
546.08/546.31 c 483s| 2110k| 2110k| 0 | 0.0 | 918M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
548.58/548.82 c 486s| 2120k| 2120k| 0 | 0.0 | 922M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
551.07/551.31 c 488s| 2130k| 2130k| 0 | 0.0 | 927M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
553.57/553.81 c 490s| 2140k| 2140k| 0 | 0.0 | 931M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
556.07/556.31 c 492s| 2150k| 2150k| 0 | 0.0 | 935M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
558.57/558.81 c 494s| 2160k| 2160k| 0 | 0.0 | 939M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
561.06/561.31 c 497s| 2170k| 2170k| 0 | 0.0 | 943M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
563.57/563.80 c 499s| 2180k| 2180k| 0 | 0.0 | 948M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
565.96/566.29 c 501s| 2190k| 2190k| 0 | 0.0 | 952M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
568.47/568.79 c 503s| 2200k| 2200k| 0 | 0.0 | 956M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
570.96/571.28 c 505s| 2210k| 2210k| 0 | 0.0 | 961M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
573.46/573.79 c 508s| 2220k| 2220k| 0 | 0.0 | 965M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
575.96/576.27 c 510s| 2230k| 2230k| 0 | 0.0 | 969M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
578.46/578.77 c 512s| 2240k| 2240k| 0 | 0.0 | 973M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
580.95/581.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.95/581.25 c 514s| 2250k| 2250k| 0 | 0.0 | 978M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
583.46/583.74 c 516s| 2260k| 2260k| 0 | 0.0 | 982M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
585.97/586.20 c 519s| 2270k| 2270k| 0 | 0.0 | 986M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
588.35/588.67 c 521s| 2280k| 2280k| 0 | 0.0 | 991M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
590.86/591.11 c 523s| 2290k| 2290k| 0 | 0.0 | 995M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
593.25/593.53 c 525s| 2300k| 2300k| 0 | 0.0 | 999M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
595.65/595.94 c 527s| 2310k| 2310k| 0 | 0.0 |1003M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 6.040000e+02 | Inf
598.06/598.39 c 529s| 2320k| 2320k| 0 | 0.0 |1008M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
600.65/600.94 c 531s| 2330k| 2330k| 0 | 0.0 |1012M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
603.15/603.48 c 534s| 2340k| 2340k| 0 | 0.0 |1016M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
605.75/606.02 c 536s| 2350k| 2350k| 0 | 0.0 |1020M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
608.24/608.56 c 538s| 2360k| 2360k| 0 | 0.0 |1024M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
610.74/611.09 c 541s| 2370k| 2370k| 0 | 0.0 |1029M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
613.35/613.62 c 543s| 2380k| 2380k| 0 | 0.0 |1033M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
615.84/616.14 c 545s| 2390k| 2390k| 0 | 0.0 |1037M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
618.34/618.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.34/618.67 c 547s| 2400k| 2400k| 0 | 0.0 |1041M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
620.84/621.19 c 549s| 2410k| 2410k| 0 | 0.0 |1045M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
623.34/623.70 c 552s| 2420k| 2420k| 0 | 0.0 |1049M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
625.94/626.22 c 554s| 2430k| 2430k| 0 | 0.0 |1054M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
628.44/628.73 c 556s| 2440k| 2440k| 0 | 0.0 |1058M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
630.94/631.26 c 558s| 2450k| 2450k| 0 | 0.0 |1062M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
633.53/633.80 c 561s| 2460k| 2460k| 0 | 0.0 |1066M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
636.03/636.31 c 563s| 2470k| 2470k| 0 | 0.0 |1070M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
638.53/638.83 c 565s| 2480k| 2480k| 0 | 0.0 |1075M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
641.04/641.37 c 567s| 2490k| 2490k| 0 | 0.0 |1079M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
643.53/643.89 c 570s| 2500k| 2500k| 0 | 0.0 |1083M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
646.13/646.41 c 572s| 2510k| 2510k| 0 | 0.0 |1087M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
648.63/648.92 c 574s| 2520k| 2520k| 0 | 0.0 |1092M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
651.13/651.46 c 576s| 2530k| 2530k| 0 | 0.0 |1096M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
653.63/653.98 c 579s| 2540k| 2540k| 0 | 0.0 |1100M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
656.23/656.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.23/656.50 c 581s| 2550k| 2550k| 0 | 0.0 |1104M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
658.73/659.00 c 583s| 2560k| 2560k| 0 | 0.0 |1108M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
661.22/661.51 c 585s| 2570k| 2570k| 0 | 0.0 |1113M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
663.72/664.01 c 587s| 2580k| 2580k| 0 | 0.0 |1117M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
666.23/666.53 c 590s| 2590k| 2590k| 0 | 0.0 |1121M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
668.72/669.05 c 592s| 2600k| 2600k| 0 | 0.0 |1125M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
671.22/671.54 c 594s| 2610k| 2610k| 0 | 0.0 |1130M| 103 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
673.72/674.05 c 596s| 2620k| 2620k| 0 | 0.0 |1134M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
676.23/676.53 c 598s| 2630k| 2630k| 0 | 0.0 |1138M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
678.72/679.01 c 601s| 2640k| 2640k| 0 | 0.0 |1142M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
681.22/681.50 c 603s| 2650k| 2650k| 0 | 0.0 |1147M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
683.72/684.00 c 605s| 2660k| 2660k| 0 | 0.0 |1151M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
686.12/686.49 c 607s| 2670k| 2670k| 0 | 0.0 |1155M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
688.62/688.97 c 610s| 2680k| 2680k| 0 | 0.0 |1159M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
691.11/691.45 c 612s| 2690k| 2690k| 0 | 0.0 |1164M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
693.61/693.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.61/693.93 c 614s| 2700k| 2700k| 0 | 0.0 |1168M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
696.11/696.41 c 616s| 2710k| 2710k| 0 | 0.0 |1172M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
698.61/698.90 c 618s| 2720k| 2720k| 0 | 0.0 |1176M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
701.01/701.37 c 620s| 2730k| 2730k| 0 | 0.0 |1180M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
703.51/703.86 c 623s| 2740k| 2740k| 0 | 0.0 |1185M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
706.01/706.34 c 625s| 2750k| 2750k| 0 | 0.0 |1189M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
708.50/708.82 c 627s| 2760k| 2760k| 0 | 0.0 |1193M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
711.00/711.31 c 629s| 2770k| 2770k| 0 | 0.0 |1197M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
713.40/713.78 c 631s| 2780k| 2780k| 0 | 0.0 |1202M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
715.90/716.26 c 633s| 2790k| 2790k| 0 | 0.0 |1206M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
718.40/718.74 c 636s| 2800k| 2800k| 0 | 0.0 |1210M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
720.90/721.20 c 638s| 2810k| 2810k| 0 | 0.0 |1215M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
723.30/723.69 c 640s| 2820k| 2820k| 0 | 0.0 |1219M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
725.79/726.15 c 642s| 2830k| 2830k| 0 | 0.0 |1223M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
728.30/728.63 c 644s| 2840k| 2840k| 0 | 0.0 |1227M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
730.79/731.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.79/731.10 c 647s| 2850k| 2850k| 0 | 0.0 |1232M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
733.19/733.56 c 649s| 2860k| 2860k| 0 | 0.0 |1236M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
735.70/736.03 c 651s| 2870k| 2870k| 0 | 0.0 |1240M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
738.20/738.50 c 653s| 2880k| 2880k| 0 | 0.0 |1245M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
740.59/740.95 c 655s| 2890k| 2890k| 0 | 0.0 |1249M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
743.09/743.41 c 657s| 2900k| 2900k| 0 | 0.0 |1253M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
745.49/745.85 c 659s| 2910k| 2910k| 0 | 0.0 |1258M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
747.89/748.28 c 662s| 2920k| 2920k| 0 | 0.0 |1262M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
750.39/750.73 c 664s| 2930k| 2930k| 0 | 0.0 |1266M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
752.79/753.16 c 666s| 2940k| 2940k| 0 | 0.0 |1270M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
755.18/755.57 c 668s| 2950k| 2950k| 0 | 0.0 |1275M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
757.59/757.99 c 670s| 2960k| 2960k| 0 | 0.0 |1279M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
760.08/760.40 c 672s| 2970k| 2970k| 0 | 0.0 |1283M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
762.48/762.82 c 674s| 2980k| 2980k| 0 | 0.0 |1288M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
764.88/765.23 c 676s| 2990k| 2990k| 0 | 0.0 |1292M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
767.28/767.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.28/767.64 c 679s| 3000k| 3000k| 0 | 0.0 |1296M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
769.69/770.03 c 681s| 3010k| 3010k| 0 | 0.0 |1301M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 6.040000e+02 | Inf
772.08/772.41 c 683s| 3020k| 3020k| 0 | 0.0 |1305M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
774.58/774.95 c 685s| 3030k| 3030k| 0 | 0.0 |1309M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
777.07/777.49 c 687s| 3040k| 3040k| 0 | 0.0 |1313M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
779.67/780.03 c 690s| 3050k| 3050k| 0 | 0.0 |1318M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
782.17/782.57 c 692s| 3060k| 3060k| 0 | 0.0 |1322M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
784.77/785.11 c 694s| 3070k| 3070k| 0 | 0.0 |1326M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
787.28/787.65 c 696s| 3080k| 3080k| 0 | 0.0 |1330M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
789.77/790.17 c 698s| 3090k| 3090k| 0 | 0.0 |1334M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
792.37/792.71 c 701s| 3100k| 3100k| 0 | 0.0 |1339M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
794.88/795.23 c 703s| 3110k| 3110k| 0 | 0.0 |1343M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
797.37/797.76 c 705s| 3120k| 3120k| 0 | 0.0 |1347M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
799.87/800.26 c 707s| 3130k| 3130k| 0 | 0.0 |1351M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
802.36/802.79 c 710s| 3140k| 3140k| 0 | 0.0 |1355M| 104 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 6.040000e+02 | Inf
804.26/804.65 c (node 3147355) switching to memory saving mode (mem: 1296.0M/1620.0M)
805.17/805.56 o 15
805.17/805.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.17/805.56 c * 712s| 3147k| 3147k| 0 | 0.0 |1358M| 145 | - | 434 | 500 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 1.500000e+01 | Inf
805.56/805.96 o 14
805.56/805.96 c * 713s| 3147k| 3147k| 0 | 0.0 |1358M| 145 | - | 434 | 500 | 0 | 0 | 0 | 51 | 0 |-2.270000e+02 | 1.400000e+01 | Inf
808.46/808.82 o 12
808.46/808.82 c * 715s| 3148k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 588 | 0 |-2.270000e+02 | 1.200000e+01 | Inf
812.06/812.43 o 10
812.06/812.43 c * 719s| 3149k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 |1246 | 0 |-2.270000e+02 | 1.000000e+01 | Inf
812.16/812.58 o 9
812.16/812.58 c * 719s| 3149k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 |1251 | 0 |-2.270000e+02 | 9.000000e+00 | Inf
812.26/812.63 c 719s| 3150k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 |1262 | 0 |-2.270000e+02 | 9.000000e+00 | Inf
834.85/835.29 c 742s| 3160k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 |5592 | 0 |-2.270000e+02 | 9.000000e+00 | Inf
859.65/860.00 c 766s| 3170k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 10k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
883.13/883.50 c 789s| 3180k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 14k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
905.13/905.57 c 811s| 3190k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 19k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
933.42/933.86 c 839s| 3200k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 23k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
965.59/966.01 c 871s| 3210k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 28k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
991.79/992.25 c 897s| 3220k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 33k| 0 |-2.270000e+02 | 9.000000e+00 | Inf
996.39/996.80 o 8
996.39/996.80 c * 901s| 3221k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 34k| 0 |-2.270000e+02 | 8.000000e+00 | Inf
998.79/999.21 o 7
998.79/999.21 c * 904s| 3222k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 34k| 0 |-2.270000e+02 | 7.000000e+00 | Inf
1018.48/1018.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.48/1018.96 c 923s| 3230k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 37k| 0 |-2.270000e+02 | 7.000000e+00 | Inf
1050.76/1051.27 c 955s| 3240k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 42k| 0 |-2.270000e+02 | 7.000000e+00 | Inf
1059.76/1060.23 o 5
1059.76/1060.23 c * 964s| 3243k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 44k| 0 |-2.270000e+02 | 5.000000e+00 | Inf
1060.97/1061.44 o 4
1060.97/1061.44 c * 965s| 3243k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 44k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1075.36/1075.83 c 980s| 3250k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 46k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1094.75/1095.25 c 999s| 3260k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 50k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1112.65/1113.13 c 1016s| 3270k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 53k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1134.93/1135.46 c 1039s| 3280k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 57k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1165.02/1165.53 c 1068s| 3290k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 61k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1195.61/1196.11 c 1099s| 3300k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 66k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1218.79/1219.39 c 1122s| 3310k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 71k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1243.49/1244.05 c 1146s| 3320k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 75k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1276.68/1277.26 c 1179s| 3330k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 80k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1301.67/1302.22 c 1204s| 3340k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 84k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1330.25/1330.89 c 1232s| 3350k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 89k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1356.35/1356.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.35/1356.96 c 1258s| 3360k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 93k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1383.93/1384.55 c 1285s| 3370k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 98k| 0 |-2.270000e+02 | 4.000000e+00 | Inf
1384.13/1384.72 o 3
1384.13/1384.72 c *1285s| 3370k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 98k| 0 |-2.270000e+02 | 3.000000e+00 | Inf
1384.53/1385.18 o 2
1384.53/1385.18 c *1286s| 3370k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 98k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1408.92/1409.58 c 1310s| 3380k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 102k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1437.91/1438.50 c 1339s| 3390k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 106k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1465.30/1465.92 c 1366s| 3400k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 111k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1497.19/1497.86 c 1397s| 3410k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 116k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1524.08/1524.74 c 1424s| 3420k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 120k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1553.47/1554.11 c 1453s| 3430k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 125k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1582.66/1583.38 c 1482s| 3440k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 129k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1622.53/1623.22 c 1522s| 3450k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 134k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1659.42/1660.15 c 1558s| 3460k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 139k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1700.50/1701.21 c 1599s| 3470k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 144k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1741.08/1741.85 c 1639s| 3480k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 149k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1780.87/1781.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.87/1781.60 c 1679s| 3490k| 3147k| 0 | 0.0 |1359M| 145 | - | 434 | 500 | 0 | 0 | 0 | 155k| 0 |-2.270000e+02 | 2.000000e+00 | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.81 c
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time (sec) : 1698.07
1800.08/1800.81 c Solving Nodes : 3494631
1800.08/1800.81 c Primal Bound : +2.00000000000000e+00 (13 solutions)
1800.08/1800.81 c Dual Bound : -2.27000000000000e+02
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 s SATISFIABLE
1800.08/1800.81 v x1 x214 x307 -x392 -x56 -x136 x205 x209 -x55 -x96 x202 x232 x118 -x203 x219 -x310 x106 x218 -x286 x59 x110 -x140 -x217 x60 -x103
1800.08/1800.81 v x99 -x104 x100 -x268 x290 x306 x391 -x135 -x173 -x213 x115 x230 x311 x57 -x95 x117 -x208 x231 -x309 x58 -x141 x227 -x396 x61
1800.08/1800.81 v -x97 x114 -x139 -x204 x223 -x264 -x285 x41 x102 -x176 x101 -x109 -x177 -x215 -x287 -x216 x291 -x76 -x105 -x199 -x267 x289 x333
1800.08/1800.81 v x229 x308 x393 x116 -x137 -x172 -x212 x228 x312 -x427 -x34 x138 x295 -x397 -x35 x142 -x174 -x206 -x329 -x395 x54 x122 -x179
1800.08/1800.81 v -x226 x42 -x98 x113 -x178 -x195 x222 -x263 -x328 x46 x82 x40 -x81 -x107 -x265 -x288 x38 -x79 -x270 x271 x334 -x75 -x198 -x269
1800.08/1800.81 v x272 x332 -x37 x305 x394 -x36 -x210 x296 x398 -x426 -x51 x134 -x300 x380 -x53 x123 -x175 -x207 x294 -x93 -x127 x159 -x224
1800.08/1800.81 v -x292 -x430 x50 -x72 -x94 x111 -x121 -x158 -x194 x220 -x330 -x431 -x90 -x119 -x157 -x283 x331 -x45 -x71 x86 -x108 -x196 -x266
1800.08/1800.81 v x284 x335 -x201 x249 -x280 x313 x39 -x77 -x80 -x200 x250 -x276 x25 x133 -x390 -x24 -x52 x132 -x211 x304 x381 -x428 -x23 -x92
1800.08/1800.81 v x170 x385 -x433 -x91 x131 x171 -x299 -x379 -x432 -x167 -x225 -x282 -x377 x49 x112 -x126 -x163 -x221 -x281 -x293 -x89 x261 -x327
1800.08/1800.81 v -x43 -x73 x85 -x120 -x155 -x197 x262 x315 x74 -x156 x180 -x258 -x279 -x319 -x78 -x181 x254 -x275 x314 -x374 x33 x148 -x169
1800.08/1800.81 v x29 -x168 x303 -x348 -x389 -x429 x415 -x21 -x130 -x297 -x370 -x384 x414 -x22 -x166 -x260 -x324 x413 x47 -x124 -x162 -x259
1800.08/1800.81 v -x326 -x369 -x378 -x87 x192 x351 -x44 x83 x193 -x323 -x352 -x70 x189 -x257 -x277 -x375 -x18 x66 x185 -x246 -x253 -x273 -x318
1800.08/1800.81 v -x373 -x32 x147 x425 -x28 -x301 x347 -x388 -x404 x424 x423 -x14 -x128 -x298 -x325 x349 -x382 -x419 x152 -x164 -x191 x354 -x13
1800.08/1800.81 v x48 -x125 -x160 -x190 -x242 x353 -x371 x411 -x67 -x88 x372 -x408 x412 -x69 x84 -x322 -x376 x19 -x188 -x255 -x278 x355 x17 x65
1800.08/1800.81 v -x184 -x245 -x251 -x274 -x316 -x30 x149 -x26 -x302 -x386 -x403 x153 x422 -x129 x151 x350 -x383 -x418 -x165 x409 -x15 -x68 -x161
1800.08/1800.81 v -x241 x339 x407 -x16 x338 x368 x20 -x243 -x320 x357 x2 -x186 x248 -x256 x360 x64 -x182 -x247 -x252 -x317 x356 -x31 x150
1800.08/1800.81 v -x27 x154 -x387 -x405 x146 -x406 x420 x410 -x416 x346 -x365 x402 x343 -x367 -x12 x4 x244 -x321 x336 -x364 x5 -x187 x233 -x337
1800.08/1800.81 v x3 -x62 -x183 x234 x358 x435 x345 -x421 -x10 x145 -x366 -x417 -x9 x143 -x238 x344 -x362 x434 -x11 x144 -x237 x342 x401 -x8 x239
1800.08/1800.81 v -x361 x399 x7 x240 x340 -x363 -x400 -x236 x341 x6 -x63 x235 x359
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time : 1698.07
1800.08/1800.81 c Original Problem :
1800.08/1800.81 c Problem name : HOME/instance-2664719-1276481214.opb
1800.08/1800.81 c Variables : 435 (435 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 501 initial, 501 maximal
1800.08/1800.81 c Presolved Problem :
1800.08/1800.81 c Problem name : t_HOME/instance-2664719-1276481214.opb
1800.08/1800.81 c Variables : 434 (434 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 500 initial, 500 maximal
1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.81 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c linear : 0.02 1 0 0 1 0 1 0 0
1800.08/1800.81 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.81 c root node : - 0 - - 0 - - - -
1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.81 c knapsack : 93 0 10973796 0 3365956 157361 2608612 0 0 0
1800.08/1800.81 c setppc : 4 0 7421717 0 2363063 0 375 0 0 0
1800.08/1800.81 c logicor : 403+ 0 7173995 0 3365956 1573 8011911 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 3365956 0 0 0 0 0
1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c knapsack : 987.99 0.00 982.56 0.00 5.43
1800.08/1800.81 c setppc : 8.43 0.00 4.06 0.00 4.37
1800.08/1800.81 c logicor : 107.12 0.00 29.10 0.00 78.02
1800.08/1800.81 c countsols : 1.25 0.00 0.00 0.00 1.25
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 5.44 2 0 0
1800.08/1800.81 c rootredcost : 5.53 0 0 0
1800.08/1800.81 c pseudoobj : 226.62 11017458 43971 2379992
1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.81 c propagation : 917.75 157594 157594 12316502 189.7 202 182.4 -
1800.08/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 0.18 1816 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 0 0.0 - - -
1800.08/1800.81 c applied locally : - - - 157594 108.7 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.81 c redcost : 0.00 0 0 0 0 0
1800.08/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 0.00 0 0 0 0 0
1800.08/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.81 c cmir : 0.00 0 0 0 0 0
1800.08/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.81 c clique : 0.00 0 0 0 0 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.00 0 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 167.65 3365945 0 0 0 0 6731890
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 1.31 - 11
1800.08/1800.81 c oneopt : 2.17 0 0
1800.08/1800.81 c trivial : 0.00 2 2
1800.08/1800.81 c simplerounding : 0.00 0 0
1800.08/1800.81 c zirounding : 0.00 0 0
1800.08/1800.81 c rounding : 0.00 0 0
1800.08/1800.81 c shifting : 0.00 0 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 0.00 0 0
1800.08/1800.81 c coefdiving : 0.00 0 0
1800.08/1800.81 c pscostdiving : 0.00 0 0
1800.08/1800.81 c fracdiving : 0.00 0 0
1800.08/1800.81 c veclendiving : 0.00 0 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 0.00 0 0
1800.08/1800.81 c rootsoldiving : 0.00 0 0
1800.08/1800.81 c linesearchdiving : 0.00 0 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.00 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c crossover : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 1.36 0 0
1800.08/1800.81 c trysol : 1.53 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.81 c (at root node) : - 0 0 0.00 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 3494631
1800.08/1800.81 c nodes (total) : 3494631
1800.08/1800.81 c nodes left : 3147365
1800.08/1800.81 c max depth : 145
1800.08/1800.81 c max depth (total): 145
1800.08/1800.81 c backtracks : 169843 (4.9%)
1800.08/1800.81 c delayed cutoffs : 88061
1800.08/1800.81 c repropagations : 146210 (1139502 domain reductions, 76046 cutoffs)
1800.08/1800.81 c avg switch length: 2.65
1800.08/1800.81 c switching time : 42.14
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 13 (12 improvements)
1800.08/1800.81 c First Solution : +6.04000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.08/1800.81 c Primal Bound : +2.00000000000000e+00 (in run 1, after 3370139 nodes, 1285.58 seconds, depth 127, found by <relaxation>)
1800.08/1800.81 c Dual Bound : -2.27000000000000e+02
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 c Root Dual Bound : -2.82000000000000e+02
1800.08/1800.81 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664719-1276481214/watcher-2664719-1276481214 -o /tmp/evaluation-result-2664719-1276481214/solver-2664719-1276481214 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664719-1276481214.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.99 2.02 1.65 3/106 28694 /proc/meminfo: memFree=1839400/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=6584 CPUtime=0 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 971 0 0 0 0 0 0 0 17 0 1 0 23723079 6742016 893 1992294400 4194304 7136930 140734147635504 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 1646 903 254 719 0 925 0 [startup+0.044289 s] /proc/loadavg: 1.99 2.02 1.65 3/106 28694 /proc/meminfo: memFree=1839400/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=11724 CPUtime=0.04 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 3113 0 0 0 3 1 0 0 17 0 1 0 23723079 12005376 2167 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 2931 2167 359 719 0 2210 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11724 [startup+0.101301 s] /proc/loadavg: 1.99 2.02 1.65 3/106 28694 /proc/meminfo: memFree=1839400/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=13152 CPUtime=0.1 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 5302 0 0 0 7 3 0 0 17 0 1 0 23723079 13467648 2557 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 3288 2557 394 719 0 2567 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13152 [startup+0.301343 s] /proc/loadavg: 1.99 2.02 1.65 3/106 28694 /proc/meminfo: memFree=1839400/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=13804 CPUtime=0.29 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 5470 0 0 0 25 4 0 0 17 0 1 0 23723079 14135296 2725 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 3451 2725 394 719 0 2730 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13804 [startup+0.701428 s] /proc/loadavg: 1.99 2.02 1.65 3/106 28694 /proc/meminfo: memFree=1839400/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=14572 CPUtime=0.69 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 5692 0 0 0 61 8 0 0 17 0 1 0 23723079 14921728 2947 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 3643 2947 394 719 0 2922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14572 [startup+1.5016 s] /proc/loadavg: 1.99 2.02 1.65 2/107 28695 /proc/meminfo: memFree=1828728/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=16468 CPUtime=1.49 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 6163 0 0 0 133 16 0 0 18 0 1 0 23723079 16863232 3418 1992294400 4194304 7136930 140734147635504 18446744073709551615 5005241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 4117 3418 394 719 0 3396 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16468 [startup+3.10194 s] /proc/loadavg: 1.99 2.02 1.65 2/107 28695 /proc/meminfo: memFree=1825752/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=19240 CPUtime=3.09 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 6870 0 0 0 276 33 0 0 21 0 1 0 23723079 19701760 4125 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 4810 4125 394 719 0 4089 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19240 [startup+6.30162 s] /proc/loadavg: 1.91 2.00 1.64 2/107 28695 /proc/meminfo: memFree=1819924/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=25272 CPUtime=6.29 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 8420 0 0 0 562 67 0 0 25 0 1 0 23723079 25878528 5675 1992294400 4194304 7136930 140734147635504 18446744073709551615 4660070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 6318 5675 394 719 0 5597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25272 [startup+12.701 s] /proc/loadavg: 1.84 1.98 1.64 2/107 28695 /proc/meminfo: memFree=1808144/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=35428 CPUtime=12.69 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 11064 0 0 0 1134 135 0 0 25 0 1 0 23723079 36278272 8319 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 8857 8319 394 719 0 8136 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35428 [startup+25.5007 s] /proc/loadavg: 1.65 1.94 1.63 2/107 28697 /proc/meminfo: memFree=1786576/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=57480 CPUtime=25.48 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 16222 0 0 0 2277 271 0 0 25 0 1 0 23723079 58859520 13477 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 14370 13477 394 719 0 13649 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57480 [startup+51.1012 s] /proc/loadavg: 1.43 1.86 1.61 2/107 28697 /proc/meminfo: memFree=1748384/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=93900 CPUtime=51.07 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 25721 0 0 0 4561 546 0 0 25 0 1 0 23723079 96153600 22976 1992294400 4194304 7136930 140734147635504 18446744073709551615 5892303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 23475 22976 394 719 0 22754 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93900 [startup+102.308 s] /proc/loadavg: 1.18 1.72 1.58 2/107 28699 /proc/meminfo: memFree=1661336/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=181808 CPUtime=102.26 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 47394 0 0 0 9096 1130 0 0 25 0 1 0 23723079 186171392 44649 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 45452 44649 394 719 0 44731 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 181808 [startup+162.301 s] /proc/loadavg: 1.07 1.59 1.54 2/107 28699 /proc/meminfo: memFree=1556556/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=290888 CPUtime=162.23 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 73510 0 0 0 14390 1833 0 0 25 0 1 0 23723079 297869312 70765 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 72722 70765 394 719 0 72001 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 290888 [startup+222.301 s] /proc/loadavg: 1.02 1.48 1.50 2/107 28701 /proc/meminfo: memFree=1446072/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=398676 CPUtime=222.21 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 101364 0 0 0 19672 2549 0 0 25 0 1 0 23723079 408244224 98619 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 99669 98619 394 719 0 98948 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 398676 [startup+282.301 s] /proc/loadavg: 1.01 1.39 1.47 2/107 28703 /proc/meminfo: memFree=1345880/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=510648 CPUtime=282.18 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 126173 0 0 0 24980 3238 0 0 25 0 1 0 23723079 522903552 123428 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 127662 123428 394 719 0 126941 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 510648 [startup+342.301 s] /proc/loadavg: 1.00 1.32 1.43 2/107 28705 /proc/meminfo: memFree=1239364/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=613532 CPUtime=342.15 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 152811 0 0 0 30289 3926 0 0 25 0 1 0 23723079 628256768 150066 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 153383 150066 394 719 0 152662 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 613532 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.41 2/107 28707 /proc/meminfo: memFree=1133468/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=715636 CPUtime=402.12 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 179237 0 0 0 35575 4637 0 0 25 0 1 0 23723079 732811264 176492 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 178909 176492 394 719 0 178188 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 715636 [startup+462.301 s] /proc/loadavg: 1.00 1.21 1.38 2/107 28710 /proc/meminfo: memFree=1027200/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=816476 CPUtime=462.11 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 205370 0 0 0 40893 5318 0 0 25 0 1 0 23723079 836071424 202625 1992294400 4194304 7136930 140734147635504 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 204119 202625 394 719 0 203398 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 816476 [startup+522.3 s] /proc/loadavg: 1.00 1.17 1.35 2/107 28712 /proc/meminfo: memFree=924404/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=918052 CPUtime=522.08 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 231701 0 0 0 46207 6001 0 0 25 0 1 0 23723079 940085248 228956 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 229513 228956 394 719 0 228792 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 918052 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.33 2/107 28714 /proc/meminfo: memFree=819748/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1048804 CPUtime=582.06 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 257158 0 0 0 51514 6692 0 0 25 0 1 0 23723079 1073975296 254413 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 262201 254413 394 719 0 261480 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 1048804 [startup+642.301 s] /proc/loadavg: 1.08 1.12 1.31 2/107 28716 /proc/meminfo: memFree=716580/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1147828 CPUtime=642.04 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 282850 0 0 0 56816 7388 0 0 25 0 1 0 23723079 1175375872 280105 1992294400 4194304 7136930 140734147635504 18446744073709551615 4660263 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 286957 280105 394 719 0 286236 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 1147828 [startup+702.301 s] ################ # More data... # ################ /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367311 0 0 0 102554 9630 0 0 25 0 1 0 23723079 1460568064 352270 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356584 352270 399 719 0 355863 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1426336 [startup+1182.3 s] /proc/loadavg: 1.01 1.05 1.18 2/107 28730 /proc/meminfo: memFree=426792/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426336 CPUtime=1181.81 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367314 0 0 0 108494 9687 0 0 25 0 1 0 23723079 1460568064 352273 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356584 352273 399 719 0 355863 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1426336 [startup+1242.3 s] /proc/loadavg: 1.00 1.04 1.17 2/107 28732 /proc/meminfo: memFree=426544/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426336 CPUtime=1241.79 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367326 0 0 0 114428 9751 0 0 25 0 1 0 23723079 1460568064 352285 1992294400 4194304 7136930 140734147635504 18446744073709551615 5922950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356584 352285 399 719 0 355863 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1426336 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.15 2/107 28734 /proc/meminfo: memFree=426420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426336 CPUtime=1301.77 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367339 0 0 0 120368 9809 0 0 25 0 1 0 23723079 1460568064 352298 1992294400 4194304 7136930 140734147635504 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356584 352298 399 719 0 355863 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 1426336 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.14 2/107 28734 /proc/meminfo: memFree=426420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426468 CPUtime=1361.74 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367344 0 0 0 126306 9868 0 0 25 0 1 0 23723079 1460703232 352303 1992294400 4194304 7136930 140734147635504 18446744073709551615 5921514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356617 352303 399 719 0 355896 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1426468 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.13 2/107 28736 /proc/meminfo: memFree=426420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426468 CPUtime=1421.72 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367359 0 0 0 132249 9923 0 0 25 0 1 0 23723079 1460703232 352318 1992294400 4194304 7136930 140734147635504 18446744073709551615 5922828 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356617 352318 399 719 0 355896 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 1426468 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.12 2/107 28738 /proc/meminfo: memFree=426296/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426468 CPUtime=1481.69 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367372 0 0 0 138190 9979 0 0 25 0 1 0 23723079 1460703232 352331 1992294400 4194304 7136930 140734147635504 18446744073709551615 5924252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356617 352331 399 719 0 355896 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1426468 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 28740 /proc/meminfo: memFree=426172/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426604 CPUtime=1541.66 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367393 0 0 0 144129 10037 0 0 25 0 1 0 23723079 1460842496 352352 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356651 352352 399 719 0 355930 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 1426604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 28742 /proc/meminfo: memFree=426048/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426736 CPUtime=1601.65 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367413 0 0 0 150080 10085 0 0 25 0 1 0 23723079 1460977664 352372 1992294400 4194304 7136930 140734147635504 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356684 352372 399 719 0 355963 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1426736 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 28742 /proc/meminfo: memFree=425924/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426736 CPUtime=1661.62 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367433 0 0 0 156041 10121 0 0 25 0 1 0 23723079 1460977664 352392 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356684 352392 399 719 0 355963 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 1426736 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28744 /proc/meminfo: memFree=425676/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1721.6 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367449 0 0 0 162008 10152 0 0 25 0 1 0 23723079 1461116928 352408 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352408 399 719 0 355997 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1426872 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28746 /proc/meminfo: memFree=425428/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1781.57 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367462 0 0 0 167968 10189 0 0 25 0 1 0 23723079 1461116928 352421 1992294400 4194304 7136930 140734147635504 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352421 399 719 0 355997 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 1426872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28746 /proc/meminfo: memFree=425428/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1800.08 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367462 0 0 0 169807 10201 0 0 25 0 1 0 23723079 1461116928 352421 1992294400 4194304 7136930 140734147635504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352421 399 719 0 355997 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1426872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -28694 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28746 /proc/meminfo: memFree=425428/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1800.67 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367467 0 0 0 169866 10201 0 0 25 0 1 0 23723079 1461116928 352426 1992294400 4194304 7136930 140734147635504 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352426 404 719 0 355997 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 1426872 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.07 2/108 28747 /proc/meminfo: memFree=425420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1801.47 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367467 0 0 0 169946 10201 0 0 25 0 1 0 23723079 1461116928 352426 1992294400 4194304 7136930 140734147635504 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352426 404 719 0 355997 0 Current children cumulated CPU time (s) 1801.47 Current children cumulated vsize (KiB) 1426872 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.07 2/108 28747 /proc/meminfo: memFree=425420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1801.87 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367467 0 0 0 169986 10201 0 0 25 0 1 0 23723079 1461116928 352426 1992294400 4194304 7136930 140734147635504 18446744073709551615 6166269 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352426 404 719 0 355997 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 1426872 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.07 2/108 28747 /proc/meminfo: memFree=425420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=1426872 CPUtime=1802.08 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4202496 367467 0 0 0 170007 10201 0 0 25 0 1 0 23723079 1461116928 352426 1992294400 4194304 7136930 140734147635504 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 356718 352426 404 719 0 355997 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 1426872 [startup+1802.91 s] /proc/loadavg: 1.00 1.00 1.07 2/108 28747 /proc/meminfo: memFree=425420/2059040 swapFree=4140220/4192956 [pid=28694] ppid=28692 vsize=0 CPUtime=1802.17 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 27542 0 -1 4203524 367467 0 0 0 170007 10210 0 0 25 0 1 0 23723079 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/28694/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.94 CPU time (s): 1802.22 CPU user time (s): 1700.07 CPU system time (s): 102.142 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 1488732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1700.07 system time used= 102.142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367467 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= 2 involuntary context switches= 20421 runsolver used 3.09553 second user time and 8.42072 second system time The end
Begin job on node010 at 2010-06-14 04:06:54 IDJOB=2664719 IDBENCH=2225 IDSOLVER=1167 FILE ID=node010/2664719-1276481214 PBS_JOBID= 11173370 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95: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-2664719-1276481214/watcher-2664719-1276481214 -o /tmp/evaluation-result-2664719-1276481214/solver-2664719-1276481214 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664719-1276481214.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7 RANDOM SEED=810370061 node010.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839804 kB Buffers: 40228 kB Cached: 100528 kB SwapCached: 5836 kB Active: 83608 kB Inactive: 69788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839804 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 3228 kB Writeback: 0 kB AnonPages: 11128 kB Mapped: 12780 kB Slab: 43984 kB PageTables: 3904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181208 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= 62496 MiB End job on node010 at 2010-06-14 04:36:58