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) | 56 | 1802.16 | 1802.64 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | 09000b526c4cf3fc454b31cbb57a970b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.439932 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| 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 | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-2664722-1276483062.opb>
0.00/0.03 c original problem has 906 variables (906 bin, 0 int, 0 impl, 0 cont) and 1039 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.04 o 1420
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.420000e+03
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4120 impls, 3 clqs
0.04/0.08 c (round 2) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1008 upgd conss, 4120 impls, 3 clqs
0.09/0.10 c (round 3) 7 del vars, 7 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1032 upgd conss, 4120 impls, 3 clqs
0.09/0.13 c (0.1s) probing: 154/899 (17.1%) - 0 fixings, 0 aggregations, 113 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (4 rounds):
0.09/0.13 c 7 deleted vars, 7 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 4446 implications, 3 cliques
0.09/0.13 c presolved problem has 899 variables (899 bin, 0 int, 0 impl, 0 cont) and 1032 constraints
0.09/0.13 c 183 constraints of type <knapsack>
0.09/0.13 c 3 constraints of type <setppc>
0.09/0.13 c 846 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.08
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.13 o 1419
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c t 0.1s| 1 | 0 | 0 | - |3600k| 0 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 | -- | 1.419000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 2 | 0 | - |3577k| 0 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-5.530000e+02 | 1.419000e+03 | Inf
5.69/5.79 c 5.4s| 10000 | 10001 | 0 | 0.0 |8280k| 67 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-5.010000e+02 | 1.419000e+03 | Inf
11.39/11.41 c 10.7s| 20000 | 20001 | 0 | 0.0 | 12M| 67 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.419000e+03 | Inf
16.99/17.05 c 16.1s| 30000 | 30001 | 0 | 0.0 | 17M| 69 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.419000e+03 | Inf
22.59/22.61 c 21.3s| 40000 | 40001 | 0 | 0.0 | 22M| 69 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.419000e+03 | Inf
28.08/28.11 c 26.5s| 50000 | 50001 | 0 | 0.0 | 26M| 69 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.419000e+03 | Inf
33.57/33.68 c 31.8s| 60000 | 60001 | 0 | 0.0 | 31M| 69 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.419000e+03 | Inf
39.17/39.23 c 37.0s| 70000 | 70001 | 0 | 0.0 | 35M| 71 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.419000e+03 | Inf
44.67/44.75 c 42.2s| 80000 | 80001 | 0 | 0.0 | 40M| 71 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.419000e+03 | Inf
50.16/50.29 c 47.5s| 90000 | 90001 | 0 | 0.0 | 44M| 71 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.419000e+03 | Inf
55.77/55.85 c 52.7s|100000 |100001 | 0 | 0.0 | 49M| 71 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.419000e+03 | Inf
61.26/61.38 c 57.9s|110000 |110001 | 0 | 0.0 | 53M| 71 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.419000e+03 | Inf
66.76/66.87 c 63.1s|120000 |120001 | 0 | 0.0 | 58M| 73 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.419000e+03 | Inf
72.27/72.38 c 68.3s|130000 |130001 | 0 | 0.0 | 62M| 73 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.419000e+03 | Inf
77.76/77.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.76/77.83 c 73.5s|140000 |140001 | 0 | 0.0 | 67M| 73 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.419000e+03 | Inf
83.16/83.23 c 78.5s|150000 |150001 | 0 | 0.0 | 71M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.419000e+03 | Inf
88.55/88.61 c 83.6s|160000 |160001 | 0 | 0.0 | 75M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.419000e+03 | Inf
93.86/93.97 c 88.7s|170000 |170001 | 0 | 0.0 | 80M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.419000e+03 | Inf
99.25/99.34 c 93.8s|180000 |180001 | 0 | 0.0 | 84M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.419000e+03 | Inf
104.55/104.68 c 98.8s|190000 |190001 | 0 | 0.0 | 88M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
109.96/110.07 c 104s|200000 |200001 | 0 | 0.0 | 93M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
115.35/115.45 c 109s|210000 |210001 | 0 | 0.0 | 97M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
120.75/120.81 c 114s|220000 |220001 | 0 | 0.0 | 101M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
126.05/126.17 c 119s|230000 |230001 | 0 | 0.0 | 106M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
131.45/131.53 c 124s|240000 |240001 | 0 | 0.0 | 110M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
136.75/136.87 c 129s|250000 |250001 | 0 | 0.0 | 114M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
142.04/142.17 c 134s|260000 |260001 | 0 | 0.0 | 119M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.419000e+03 | Inf
147.45/147.50 c 139s|270000 |270001 | 0 | 0.0 | 123M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
152.74/152.89 c 144s|280000 |280001 | 0 | 0.0 | 127M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
158.13/158.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.13/158.26 c 149s|290000 |290001 | 0 | 0.0 | 132M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
163.54/163.64 c 154s|300000 |300001 | 0 | 0.0 | 136M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
168.93/169.00 c 160s|310000 |310001 | 0 | 0.0 | 141M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
174.24/174.36 c 165s|320000 |320001 | 0 | 0.0 | 145M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
179.63/179.71 c 170s|330000 |330001 | 0 | 0.0 | 149M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
184.93/185.04 c 175s|340000 |340001 | 0 | 0.0 | 154M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
190.23/190.39 c 180s|350000 |350001 | 0 | 0.0 | 158M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
195.64/195.73 c 185s|360000 |360001 | 0 | 0.0 | 162M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
200.93/201.06 c 190s|370000 |370001 | 0 | 0.0 | 166M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
206.22/206.39 c 195s|380000 |380001 | 0 | 0.0 | 171M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
211.63/211.74 c 200s|390000 |390001 | 0 | 0.0 | 175M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
216.93/217.06 c 205s|400000 |400001 | 0 | 0.0 | 180M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
222.23/222.37 c 210s|410000 |410001 | 0 | 0.0 | 184M| 85 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.419000e+03 | Inf
227.53/227.69 c 215s|420000 |420001 | 0 | 0.0 | 188M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
233.02/233.10 c 220s|430000 |430001 | 0 | 0.0 | 193M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
238.32/238.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.32/238.50 c 225s|440000 |440001 | 0 | 0.0 | 197M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
243.82/243.90 c 230s|450000 |450001 | 0 | 0.0 | 202M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
249.12/249.27 c 235s|460000 |460001 | 0 | 0.0 | 206M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
254.51/254.64 c 240s|470000 |470001 | 0 | 0.0 | 211M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
259.81/259.99 c 245s|480000 |480001 | 0 | 0.0 | 215M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
265.21/265.36 c 250s|490000 |490001 | 0 | 0.0 | 220M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
270.61/270.72 c 255s|500000 |500001 | 0 | 0.0 | 224M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
275.92/276.06 c 260s|510000 |510001 | 0 | 0.0 | 228M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
281.21/281.39 c 266s|520000 |520001 | 0 | 0.0 | 233M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
286.61/286.73 c 271s|530000 |530001 | 0 | 0.0 | 237M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
291.91/292.05 c 276s|540000 |540001 | 0 | 0.0 | 242M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
297.21/297.39 c 281s|550000 |550001 | 0 | 0.0 | 246M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
302.50/302.69 c 286s|560000 |560001 | 0 | 0.0 | 251M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
307.91/308.00 c 291s|570000 |570001 | 0 | 0.0 | 255M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
313.20/313.31 c 296s|580000 |580001 | 0 | 0.0 | 259M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
318.49/318.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.49/318.61 c 301s|590000 |590001 | 0 | 0.0 | 264M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
323.80/323.92 c 306s|600000 |600001 | 0 | 0.0 | 268M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
329.09/329.20 c 311s|610000 |610001 | 0 | 0.0 | 273M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
334.30/334.49 c 316s|620000 |620001 | 0 | 0.0 | 277M| 89 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.810000e+02 | 1.419000e+03 | Inf
339.70/339.83 c 321s|630000 |630001 | 0 | 0.0 | 282M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
344.99/345.18 c 326s|640000 |640001 | 0 | 0.0 | 286M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
350.39/350.54 c 331s|650000 |650001 | 0 | 0.0 | 291M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
355.69/355.88 c 336s|660000 |660001 | 0 | 0.0 | 295M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
360.99/361.19 c 341s|670000 |670001 | 0 | 0.0 | 299M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
366.39/366.54 c 346s|680000 |680001 | 0 | 0.0 | 304M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
371.69/371.86 c 351s|690000 |690001 | 0 | 0.0 | 308M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
376.98/377.18 c 356s|700000 |700001 | 0 | 0.0 | 313M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
382.38/382.50 c 361s|710000 |710001 | 0 | 0.0 | 317M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
387.68/387.82 c 366s|720000 |720001 | 0 | 0.0 | 322M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
392.98/393.12 c 371s|730000 |730001 | 0 | 0.0 | 326M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
398.28/398.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.28/398.41 c 376s|740000 |740001 | 0 | 0.0 | 331M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
403.48/403.70 c 381s|750000 |750001 | 0 | 0.0 | 335M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
408.77/408.98 c 386s|760000 |760001 | 0 | 0.0 | 339M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
414.07/414.29 c 391s|770000 |770001 | 0 | 0.0 | 344M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
419.37/419.57 c 396s|780000 |780001 | 0 | 0.0 | 348M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
424.67/424.87 c 401s|790000 |790001 | 0 | 0.0 | 353M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
429.98/430.14 c 406s|800000 |800001 | 0 | 0.0 | 357M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
435.27/435.42 c 411s|810000 |810001 | 0 | 0.0 | 361M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
440.56/440.71 c 416s|820000 |820001 | 0 | 0.0 | 366M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
445.77/445.97 c 421s|830000 |830001 | 0 | 0.0 | 370M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
451.07/451.25 c 426s|840000 |840001 | 0 | 0.0 | 375M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
456.38/456.51 c 431s|850000 |850001 | 0 | 0.0 | 379M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
461.57/461.78 c 436s|860000 |860001 | 0 | 0.0 | 383M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
466.86/467.03 c 441s|870000 |870001 | 0 | 0.0 | 388M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
472.16/472.30 c 446s|880000 |880001 | 0 | 0.0 | 392M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
477.36/477.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.36/477.56 c 451s|890000 |890001 | 0 | 0.0 | 396M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
482.56/482.79 c 456s|900000 |900001 | 0 | 0.0 | 401M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
487.85/488.00 c 460s|910000 |910001 | 0 | 0.0 | 405M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.800000e+02 | 1.419000e+03 | Inf
493.05/493.27 c 465s|920000 |920001 | 0 | 0.0 | 409M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
498.46/498.60 c 470s|930000 |930001 | 0 | 0.0 | 414M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
503.75/503.92 c 475s|940000 |940001 | 0 | 0.0 | 418M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
509.06/509.24 c 480s|950000 |950001 | 0 | 0.0 | 422M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
514.35/514.54 c 485s|960000 |960001 | 0 | 0.0 | 427M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
519.64/519.86 c 490s|970000 |970001 | 0 | 0.0 | 431M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
524.94/525.16 c 495s|980000 |980001 | 0 | 0.0 | 435M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
530.24/530.45 c 500s|990000 |990001 | 0 | 0.0 | 440M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
535.55/535.73 c 505s| 1000k| 1000k| 0 | 0.0 | 444M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
540.74/540.99 c 510s| 1010k| 1010k| 0 | 0.0 | 448M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
546.04/546.27 c 515s| 1020k| 1020k| 0 | 0.0 | 453M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
551.34/551.54 c 520s| 1030k| 1030k| 0 | 0.0 | 457M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
556.64/556.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.64/556.82 c 525s| 1040k| 1040k| 0 | 0.0 | 461M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
561.85/562.08 c 530s| 1050k| 1050k| 0 | 0.0 | 466M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
567.14/567.35 c 535s| 1060k| 1060k| 0 | 0.0 | 470M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
572.43/572.63 c 540s| 1070k| 1070k| 0 | 0.0 | 474M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
577.74/577.90 c 545s| 1080k| 1080k| 0 | 0.0 | 478M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
582.93/583.14 c 550s| 1090k| 1090k| 0 | 0.0 | 483M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
588.24/588.40 c 555s| 1100k| 1100k| 0 | 0.0 | 487M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
593.43/593.66 c 560s| 1110k| 1110k| 0 | 0.0 | 491M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
598.73/598.91 c 565s| 1120k| 1120k| 0 | 0.0 | 496M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
603.92/604.15 c 570s| 1130k| 1130k| 0 | 0.0 | 500M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
609.23/609.40 c 575s| 1140k| 1140k| 0 | 0.0 | 504M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
614.42/614.66 c 580s| 1150k| 1150k| 0 | 0.0 | 508M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
619.72/619.90 c 585s| 1160k| 1160k| 0 | 0.0 | 513M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
624.92/625.13 c 590s| 1170k| 1170k| 0 | 0.0 | 517M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
630.12/630.38 c 595s| 1180k| 1180k| 0 | 0.0 | 521M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
635.41/635.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.41/635.60 c 600s| 1190k| 1190k| 0 | 0.0 | 525M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
640.62/640.82 c 604s| 1200k| 1200k| 0 | 0.0 | 530M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
645.81/646.06 c 609s| 1210k| 1210k| 0 | 0.0 | 534M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
651.02/651.28 c 614s| 1220k| 1220k| 0 | 0.0 | 538M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
656.31/656.53 c 619s| 1230k| 1230k| 0 | 0.0 | 543M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
661.52/661.75 c 624s| 1240k| 1240k| 0 | 0.0 | 547M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
666.71/666.98 c 629s| 1250k| 1250k| 0 | 0.0 | 551M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
672.01/672.20 c 634s| 1260k| 1260k| 0 | 0.0 | 555M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
677.21/677.41 c 639s| 1270k| 1270k| 0 | 0.0 | 560M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
682.40/682.62 c 644s| 1280k| 1280k| 0 | 0.0 | 564M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
687.60/687.82 c 649s| 1290k| 1290k| 0 | 0.0 | 568M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
692.81/693.01 c 654s| 1300k| 1300k| 0 | 0.0 | 572M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
697.90/698.18 c 659s| 1310k| 1310k| 0 | 0.0 | 576M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
703.11/703.35 c 663s| 1320k| 1320k| 0 | 0.0 | 581M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
708.30/708.52 c 668s| 1330k| 1330k| 0 | 0.0 | 585M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
713.40/713.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.40/713.67 c 673s| 1340k| 1340k| 0 | 0.0 | 589M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
718.60/718.81 c 678s| 1350k| 1350k| 0 | 0.0 | 594M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.790000e+02 | 1.419000e+03 | Inf
723.90/724.11 c 683s| 1360k| 1360k| 0 | 0.0 | 598M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
729.20/729.41 c 688s| 1370k| 1370k| 0 | 0.0 | 602M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
734.51/734.71 c 693s| 1380k| 1380k| 0 | 0.0 | 607M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
739.79/740.01 c 698s| 1390k| 1390k| 0 | 0.0 | 611M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
745.09/745.31 c 703s| 1400k| 1400k| 0 | 0.0 | 615M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
750.30/750.58 c 708s| 1410k| 1410k| 0 | 0.0 | 620M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
755.59/755.87 c 713s| 1420k| 1420k| 0 | 0.0 | 624M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
760.89/761.16 c 718s| 1430k| 1430k| 0 | 0.0 | 628M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
766.19/766.44 c 723s| 1440k| 1440k| 0 | 0.0 | 633M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
771.48/771.70 c 728s| 1450k| 1450k| 0 | 0.0 | 637M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
776.69/776.97 c 733s| 1460k| 1460k| 0 | 0.0 | 641M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
781.98/782.20 c 738s| 1470k| 1470k| 0 | 0.0 | 646M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
787.18/787.47 c 743s| 1480k| 1480k| 0 | 0.0 | 650M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
792.48/792.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.48/792.72 c 748s| 1490k| 1490k| 0 | 0.0 | 654M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
797.67/797.97 c 753s| 1500k| 1500k| 0 | 0.0 | 659M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
802.98/803.24 c 758s| 1510k| 1510k| 0 | 0.0 | 663M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
808.18/808.49 c 763s| 1520k| 1520k| 0 | 0.0 | 667M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
813.48/813.72 c 768s| 1530k| 1530k| 0 | 0.0 | 671M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
818.68/818.97 c 773s| 1540k| 1540k| 0 | 0.0 | 676M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
823.97/824.22 c 777s| 1550k| 1550k| 0 | 0.0 | 680M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
829.18/829.44 c 782s| 1560k| 1560k| 0 | 0.0 | 684M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
834.37/834.67 c 787s| 1570k| 1570k| 0 | 0.0 | 688M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
839.66/839.90 c 792s| 1580k| 1580k| 0 | 0.0 | 693M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
844.86/845.13 c 797s| 1590k| 1590k| 0 | 0.0 | 697M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
850.07/850.33 c 802s| 1600k| 1600k| 0 | 0.0 | 701M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
855.27/855.55 c 807s| 1610k| 1610k| 0 | 0.0 | 705M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
860.46/860.78 c 812s| 1620k| 1620k| 0 | 0.0 | 709M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
865.76/866.01 c 817s| 1630k| 1630k| 0 | 0.0 | 714M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
870.97/871.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.97/871.22 c 822s| 1640k| 1640k| 0 | 0.0 | 718M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
876.16/876.43 c 827s| 1650k| 1650k| 0 | 0.0 | 722M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
881.35/881.67 c 832s| 1660k| 1660k| 0 | 0.0 | 726M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
886.55/886.88 c 837s| 1670k| 1670k| 0 | 0.0 | 731M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
891.76/892.09 c 841s| 1680k| 1680k| 0 | 0.0 | 735M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
897.05/897.32 c 846s| 1690k| 1690k| 0 | 0.0 | 739M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
902.25/902.51 c 851s| 1700k| 1700k| 0 | 0.0 | 744M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
907.45/907.71 c 856s| 1710k| 1710k| 0 | 0.0 | 748M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
912.66/912.92 c 861s| 1720k| 1720k| 0 | 0.0 | 752M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
917.85/918.10 c 866s| 1730k| 1730k| 0 | 0.0 | 756M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
922.95/923.29 c 871s| 1740k| 1740k| 0 | 0.0 | 761M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
928.16/928.46 c 876s| 1750k| 1750k| 0 | 0.0 | 765M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
933.35/933.63 c 881s| 1760k| 1760k| 0 | 0.0 | 769M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
938.54/938.81 c 885s| 1770k| 1770k| 0 | 0.0 | 773M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
943.64/943.95 c 890s| 1780k| 1780k| 0 | 0.0 | 777M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
948.84/949.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.84/949.11 c 895s| 1790k| 1790k| 0 | 0.0 | 782M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
953.94/954.24 c 900s| 1800k| 1800k| 0 | 0.0 | 786M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
959.03/959.39 c 905s| 1810k| 1810k| 0 | 0.0 | 790M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
964.14/964.49 c 910s| 1820k| 1820k| 0 | 0.0 | 794M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
969.34/969.61 c 914s| 1830k| 1830k| 0 | 0.0 | 799M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
974.43/974.70 c 919s| 1840k| 1840k| 0 | 0.0 | 803M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
979.43/979.80 c 924s| 1850k| 1850k| 0 | 0.0 | 807M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.780000e+02 | 1.419000e+03 | Inf
984.63/984.98 c 929s| 1860k| 1860k| 0 | 0.0 | 811M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
989.94/990.28 c 934s| 1870k| 1870k| 0 | 0.0 | 816M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
995.23/995.55 c 939s| 1880k| 1880k| 0 | 0.0 | 820M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1000.53/1000.81 c 944s| 1890k| 1890k| 0 | 0.0 | 824M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1005.72/1006.06 c 949s| 1900k| 1900k| 0 | 0.0 | 828M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1010.92/1011.29 c 954s| 1910k| 1910k| 0 | 0.0 | 833M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1016.22/1016.53 c 959s| 1920k| 1920k| 0 | 0.0 | 837M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1021.42/1021.77 c 964s| 1930k| 1930k| 0 | 0.0 | 841M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1026.72/1027.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.72/1027.01 c 968s| 1940k| 1940k| 0 | 0.0 | 846M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1031.92/1032.23 c 973s| 1950k| 1950k| 0 | 0.0 | 850M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1037.12/1037.47 c 978s| 1960k| 1960k| 0 | 0.0 | 854M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1042.32/1042.69 c 983s| 1970k| 1970k| 0 | 0.0 | 858M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1047.62/1047.91 c 988s| 1980k| 1980k| 0 | 0.0 | 863M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1052.82/1053.12 c 993s| 1990k| 1990k| 0 | 0.0 | 867M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1058.01/1058.33 c 998s| 2000k| 2000k| 0 | 0.0 | 871M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1063.22/1063.54 c 1003s| 2010k| 2010k| 0 | 0.0 | 875M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1068.41/1068.73 c 1008s| 2020k| 2020k| 0 | 0.0 | 880M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1073.61/1073.95 c 1013s| 2030k| 2030k| 0 | 0.0 | 884M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1078.81/1079.15 c 1018s| 2040k| 2040k| 0 | 0.0 | 888M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1084.01/1084.34 c 1023s| 2050k| 2050k| 0 | 0.0 | 892M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1089.21/1089.55 c 1028s| 2060k| 2060k| 0 | 0.0 | 896M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1094.40/1094.75 c 1032s| 2070k| 2070k| 0 | 0.0 | 901M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1099.61/1099.95 c 1037s| 2080k| 2080k| 0 | 0.0 | 905M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1104.80/1105.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.80/1105.15 c 1042s| 2090k| 2090k| 0 | 0.0 | 909M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1110.00/1110.35 c 1047s| 2100k| 2100k| 0 | 0.0 | 913M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1115.20/1115.56 c 1052s| 2110k| 2110k| 0 | 0.0 | 917M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1120.40/1120.75 c 1057s| 2120k| 2120k| 0 | 0.0 | 922M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1125.60/1125.93 c 1062s| 2130k| 2130k| 0 | 0.0 | 926M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1130.80/1131.13 c 1067s| 2140k| 2140k| 0 | 0.0 | 930M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1136.00/1136.32 c 1072s| 2150k| 2150k| 0 | 0.0 | 934M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1141.09/1141.49 c 1076s| 2160k| 2160k| 0 | 0.0 | 938M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1146.29/1146.67 c 1081s| 2170k| 2170k| 0 | 0.0 | 943M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1151.49/1151.83 c 1086s| 2180k| 2180k| 0 | 0.0 | 947M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1156.68/1157.01 c 1091s| 2190k| 2190k| 0 | 0.0 | 951M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1161.79/1162.16 c 1096s| 2200k| 2200k| 0 | 0.0 | 955M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1166.98/1167.32 c 1101s| 2210k| 2210k| 0 | 0.0 | 959M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1172.08/1172.49 c 1106s| 2220k| 2220k| 0 | 0.0 | 963M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1177.29/1177.66 c 1111s| 2230k| 2230k| 0 | 0.0 | 968M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1182.48/1182.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.48/1182.81 c 1115s| 2240k| 2240k| 0 | 0.0 | 972M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1187.58/1187.96 c 1120s| 2250k| 2250k| 0 | 0.0 | 976M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1192.78/1193.14 c 1125s| 2260k| 2260k| 0 | 0.0 | 980M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1197.87/1198.29 c 1130s| 2270k| 2270k| 0 | 0.0 | 984M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1203.09/1203.43 c 1135s| 2280k| 2280k| 0 | 0.0 | 989M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1208.17/1208.57 c 1140s| 2290k| 2290k| 0 | 0.0 | 993M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1213.37/1213.70 c 1145s| 2300k| 2300k| 0 | 0.0 | 997M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1218.48/1218.85 c 1149s| 2310k| 2310k| 0 | 0.0 |1001M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1223.57/1223.98 c 1154s| 2320k| 2320k| 0 | 0.0 |1005M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1228.77/1229.12 c 1159s| 2330k| 2330k| 0 | 0.0 |1009M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1233.88/1234.25 c 1164s| 2340k| 2340k| 0 | 0.0 |1014M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1238.97/1239.36 c 1169s| 2350k| 2350k| 0 | 0.0 |1018M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1244.06/1244.47 c 1174s| 2360k| 2360k| 0 | 0.0 |1022M| 95 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.770000e+02 | 1.419000e+03 | Inf
1249.17/1249.60 c 1178s| 2370k| 2370k| 0 | 0.0 |1026M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1254.47/1254.84 c 1183s| 2380k| 2380k| 0 | 0.0 |1031M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1259.66/1260.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.66/1260.07 c 1188s| 2390k| 2390k| 0 | 0.0 |1035M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1264.96/1265.31 c 1193s| 2400k| 2400k| 0 | 0.0 |1039M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1270.17/1270.53 c 1198s| 2410k| 2410k| 0 | 0.0 |1043M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1275.36/1275.73 c 1203s| 2420k| 2420k| 0 | 0.0 |1048M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1280.56/1280.96 c 1208s| 2430k| 2430k| 0 | 0.0 |1052M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1285.76/1286.17 c 1213s| 2440k| 2440k| 0 | 0.0 |1056M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1290.96/1291.39 c 1218s| 2450k| 2450k| 0 | 0.0 |1060M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1296.15/1296.60 c 1223s| 2460k| 2460k| 0 | 0.0 |1065M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1301.45/1301.80 c 1228s| 2470k| 2470k| 0 | 0.0 |1069M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1306.55/1306.99 c 1233s| 2480k| 2480k| 0 | 0.0 |1073M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1311.75/1312.18 c 1237s| 2490k| 2490k| 0 | 0.0 |1077M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1316.94/1317.35 c 1242s| 2500k| 2500k| 0 | 0.0 |1081M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1322.14/1322.53 c 1247s| 2510k| 2510k| 0 | 0.0 |1086M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1327.35/1327.72 c 1252s| 2520k| 2520k| 0 | 0.0 |1090M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1332.54/1332.91 c 1257s| 2530k| 2530k| 0 | 0.0 |1094M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1337.65/1338.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.65/1338.08 c 1262s| 2540k| 2540k| 0 | 0.0 |1098M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1342.84/1343.25 c 1267s| 2550k| 2550k| 0 | 0.0 |1102M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1348.04/1348.42 c 1272s| 2560k| 2560k| 0 | 0.0 |1107M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1353.14/1353.59 c 1276s| 2570k| 2570k| 0 | 0.0 |1111M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1358.33/1358.76 c 1281s| 2580k| 2580k| 0 | 0.0 |1115M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1363.55/1363.96 c 1286s| 2590k| 2590k| 0 | 0.0 |1119M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1368.74/1369.13 c 1291s| 2600k| 2600k| 0 | 0.0 |1123M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1373.84/1374.29 c 1296s| 2610k| 2610k| 0 | 0.0 |1128M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1379.04/1379.45 c 1301s| 2620k| 2620k| 0 | 0.0 |1132M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1384.23/1384.62 c 1306s| 2630k| 2630k| 0 | 0.0 |1136M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1389.43/1389.80 c 1311s| 2640k| 2640k| 0 | 0.0 |1140M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1394.52/1394.95 c 1315s| 2650k| 2650k| 0 | 0.0 |1144M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1399.72/1400.13 c 1320s| 2660k| 2660k| 0 | 0.0 |1149M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1404.92/1405.31 c 1325s| 2670k| 2670k| 0 | 0.0 |1153M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1410.01/1410.48 c 1330s| 2680k| 2680k| 0 | 0.0 |1157M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1415.22/1415.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.22/1415.65 c 1335s| 2690k| 2690k| 0 | 0.0 |1161M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1420.41/1420.81 c 1340s| 2700k| 2700k| 0 | 0.0 |1165M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1425.51/1425.96 c 1345s| 2710k| 2710k| 0 | 0.0 |1169M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1430.71/1431.12 c 1350s| 2720k| 2720k| 0 | 0.0 |1174M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1435.80/1436.28 c 1354s| 2730k| 2730k| 0 | 0.0 |1178M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1441.00/1441.43 c 1359s| 2740k| 2740k| 0 | 0.0 |1182M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1446.11/1446.59 c 1364s| 2750k| 2750k| 0 | 0.0 |1186M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1451.30/1451.71 c 1369s| 2760k| 2760k| 0 | 0.0 |1190M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1456.40/1456.85 c 1374s| 2770k| 2770k| 0 | 0.0 |1194M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1461.60/1462.01 c 1379s| 2780k| 2780k| 0 | 0.0 |1198M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1466.70/1467.18 c 1384s| 2790k| 2790k| 0 | 0.0 |1203M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1471.90/1472.31 c 1388s| 2800k| 2800k| 0 | 0.0 |1207M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1476.99/1477.44 c 1393s| 2810k| 2810k| 0 | 0.0 |1211M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1482.09/1482.59 c 1398s| 2820k| 2820k| 0 | 0.0 |1215M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1487.29/1487.73 c 1403s| 2830k| 2830k| 0 | 0.0 |1219M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1492.39/1492.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.39/1492.89 c 1408s| 2840k| 2840k| 0 | 0.0 |1223M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1497.59/1498.02 c 1413s| 2850k| 2850k| 0 | 0.0 |1228M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1502.69/1503.15 c 1418s| 2860k| 2860k| 0 | 0.0 |1232M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1507.79/1508.28 c 1422s| 2870k| 2870k| 0 | 0.0 |1236M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1512.99/1513.44 c 1427s| 2880k| 2880k| 0 | 0.0 |1240M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1518.19/1518.60 c 1432s| 2890k| 2890k| 0 | 0.0 |1244M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1523.29/1523.72 c 1437s| 2900k| 2900k| 0 | 0.0 |1248M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1528.38/1528.84 c 1442s| 2910k| 2910k| 0 | 0.0 |1252M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1533.48/1533.96 c 1447s| 2920k| 2920k| 0 | 0.0 |1257M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1538.69/1539.10 c 1451s| 2930k| 2930k| 0 | 0.0 |1261M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1543.78/1544.24 c 1456s| 2940k| 2940k| 0 | 0.0 |1265M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1548.88/1549.36 c 1461s| 2950k| 2950k| 0 | 0.0 |1269M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1553.98/1554.47 c 1466s| 2960k| 2960k| 0 | 0.0 |1273M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1559.07/1559.58 c 1471s| 2970k| 2970k| 0 | 0.0 |1277M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1564.27/1564.71 c 1476s| 2980k| 2980k| 0 | 0.0 |1281M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1569.37/1569.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.37/1569.85 c 1480s| 2990k| 2990k| 0 | 0.0 |1286M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1574.47/1574.97 c 1485s| 3000k| 3000k| 0 | 0.0 |1290M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1579.57/1580.07 c 1490s| 3010k| 3010k| 0 | 0.0 |1294M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1584.68/1585.18 c 1495s| 3020k| 3020k| 0 | 0.0 |1298M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1589.87/1590.31 c 1500s| 3030k| 3030k| 0 | 0.0 |1302M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1594.97/1595.43 c 1505s| 3040k| 3040k| 0 | 0.0 |1306M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1600.07/1600.54 c 1509s| 3050k| 3050k| 0 | 0.0 |1310M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1605.16/1605.63 c 1514s| 3060k| 3060k| 0 | 0.0 |1315M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1610.26/1610.72 c 1519s| 3070k| 3070k| 0 | 0.0 |1319M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1615.37/1615.83 c 1524s| 3080k| 3080k| 0 | 0.0 |1323M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1620.46/1620.93 c 1529s| 3090k| 3090k| 0 | 0.0 |1327M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1625.56/1626.01 c 1533s| 3100k| 3100k| 0 | 0.0 |1331M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1630.66/1631.11 c 1538s| 3110k| 3110k| 0 | 0.0 |1335M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1635.65/1636.19 c 1543s| 3120k| 3120k| 0 | 0.0 |1339M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1640.76/1641.27 c 1548s| 3130k| 3130k| 0 | 0.0 |1344M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1645.85/1646.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.85/1646.34 c 1553s| 3140k| 3140k| 0 | 0.0 |1348M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1650.95/1651.42 c 1557s| 3150k| 3150k| 0 | 0.0 |1352M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1655.95/1656.49 c 1562s| 3160k| 3160k| 0 | 0.0 |1356M| 101 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 1.419000e+03 | Inf
1658.95/1659.48 c (node 3165888) switching to memory saving mode (mem: 1296.0M/1620.0M)
1659.95/1660.46 o 59
1659.95/1660.46 c *1566s| 3166k| 3166k| 0 | 0.0 |1359M| 279 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 5.900000e+01 | Inf
1660.05/1660.58 o 57
1660.05/1660.58 c *1566s| 3166k| 3166k| 0 | 0.0 |1359M| 279 | - | 899 |1032 | 0 | 0 | 0 | 0 | 0 |-4.760000e+02 | 5.700000e+01 | Inf
1664.05/1664.54 o 56
1664.05/1664.54 c *1570s| 3167k| 3166k| 0 | 0.0 |1359M| 284 | - | 899 |1032 | 0 | 0 | 0 | 112 | 0 |-4.760000e+02 | 5.600000e+01 | Inf
1671.75/1672.25 c 1578s| 3170k| 3166k| 0 | 0.0 |1359M| 285 | - | 899 |1032 | 0 | 0 | 0 | 346 | 0 |-4.760000e+02 | 5.600000e+01 | Inf
1732.53/1733.09 c 1638s| 3180k| 3166k| 0 | 0.0 |1359M| 285 | - | 899 |1032 | 0 | 0 | 0 |2214 | 0 |-4.760000e+02 | 5.600000e+01 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1705.45
1800.02/1800.51 c Solving Nodes : 3189677
1800.02/1800.51 c Primal Bound : +5.60000000000000e+01 (5 solutions)
1800.02/1800.51 c Dual Bound : -4.76000000000000e+02
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v x1 x137 x244 x235 -x733 -x239 x232 x632 -x691 -x62 -x140 -x233 x678 x50 x631 -x653 x677 -x54 x634 x640 x676 x47 x392 -x635 -x639
1800.02/1800.51 v -x897 -x48 x391 -x638 x300 -x393 x299 x377 -x301 x256 x285 -x900 x906 -x901 x248 x136 x243 -x732 -x59 x141 x689 -x61 x139 -x238
1800.02/1800.51 v x690 x651 x686 -x736 x58 -x234 x633 x652 x682 -x737 x618 -x648 -x53 x617 -x644 x674 x896 x390 -x555 -x616 x675 -x49 x378
1800.02/1800.51 v -x636 -x774 x898 x253 -x298 -x382 -x637 x903 x255 x286 x376 -x902 -x290 x374 x531 x252 x284 x532 -x282 x528 x657 -x777 x247
1800.02/1800.51 v x524 x659 -x778 x138 -x342 x688 -x60 x142 x242 -x551 x687 -x734 -x125 -x474 x650 -x739 -x236 -x475 -x550 x649 -x738 -x629 -x685
1800.02/1800.51 v x57 -x630 x681 -x387 x556 -x626 -x647 -x51 -x389 x554 x622 -x643 -x295 x254 -x297 -x386 -x614 -x773 -x848 x899 x530 -x615
1800.02/1800.51 v x883 x294 -x381 x529 -x775 -x882 -x229 x780 -x881 x251 -x289 -x375 -x658 -x779 x527 -x851 x245 -x283 x523 -x852 x656 -x135 x341
1800.02/1800.51 v -x477 x126 x240 -x476 x607 -x735 -x130 -x628 x721 -x124 -x237 -x552 -x627 x720 -x122 -x346 -x553 -x683 x719 x55 -x225 -x388
1800.02/1800.51 v x557 x679 -x710 x536 -x610 -x625 -x645 -x52 -x224 -x296 -x611 x621 -x641 -x823 -x894 -x385 -x847 -x895 -x230 -x713 x891 -x228
1800.02/1800.51 v -x293 -x379 -x714 -x776 -x849 x887 -x279 x760 -x826 -x854 x249 -x287 x759 -x827 -x853 -x879 x525 x758 -x880 -x246 x521 -x753
1800.02/1800.51 v x654 -x518 x99 -x433 x905 x343 x465 x731 -x134 -x178 -x241 x464 x606 x730 -x347 x463 x729 -x129 -x345 x608 x725 -x549 x613
1800.02/1800.51 v -x684 x56 -x123 -x275 x537 -x612 x680 -x709 x717 -x182 x541 -x623 -x646 x718 -x893 -x40 -x226 -x274 x535 x619 -x642 -x711 -x822
1800.02/1800.51 v -x892 -x227 x416 x533 -x716 -x231 -x383 -x715 -x824 x210 -x280 x771 x829 -x890 -x278 -x291 -x380 -x514 x772 -x828 -x850 x886
1800.02/1800.51 v -x43 -x458 -x768 x834 -x44 -x95 x250 -x288 -x513 -x764 -x798 x833 -x371 x526 x832 -x94 x522 x752 -x756 -x324 -x519 -x757
1800.02/1800.51 v -x517 x655 x754 x100 -x801 x98 x432 -x802 x344 x473 -x566 -x133 -x177 -x348 -x412 x469 x330 -x546 x728 -x127 -x411 x461 -x548
1800.02/1800.51 v x609 x724 -x183 x462 x593 -x181 -x454 x545 -x592 x417 -x591 -x624 -x39 -x276 -x367 x415 -x453 -x540 x620 -x712 -x223 -x277 x696
1800.02/1800.51 v x770 -x41 x211 -x281 -x320 -x366 -x384 x534 -x695 x769 -x825 x46 -x204 x215 -x260 -x459 -x694 x809 -x845 -x888 -x45 x209
1800.02/1800.51 v -x292 -x319 -x457 x808 -x846 -x872 x884 x207 -x372 -x767 -x807 x842 -x370 -x515 -x763 -x797 x838 -x325 -x516 x96 -x323 -x429
1800.02/1800.51 v -x520 -x799 x830 x97 x499 -x804 x831 -x875 x101 -x428 x755 -x803 -x876 x79 x434 x904 -x340 x472 -x565 -x15 -x131 -x179 x331 -x468
1800.02/1800.51 v -x547 -x667 -x180 -x335 x604 x726 -x128 x184 -x200 -x329 -x413 x605 x722 x164 -x327 -x414 -x570 x601 -x115 -x199 x418 -x544
1800.02/1800.51 v x597 -x18 -x220 x397 -x707 -x19 -x222 -x455 -x538 -x589 x708 -x158 -x205 -x273 x456 -x590 x704 -x820 -x844 -x42 -x203 x219
1800.02/1800.51 v x261 -x368 -x460 x700 -x821 -x843 x26 -x118 -x265 -x369 -x439 -x817 -x889 x25 -x119 x214 -x259 -x321 -x373 -x692 -x813 -x871
1800.02/1800.51 v x885 x24 -x257 -x322 x352 -x493 -x693 -x765 x841 -x208 -x326 -x761 -x805 x837 -x873 -x305 -x512 -x806 -x878 x500 -x800 -x877
1800.02/1800.51 v x93 -x504 x750 x784 x81 -x430 x498 x751 -x783 x85 -x431 x496 x747 -x781 x80 x435 x743 x470 -x567 -x603 -x14 -x132 -x154 x339
1800.02/1800.51 v -x466 x602 -x666 x176 x571 x727 -x16 -x153 x165 -x334 x569 x723 x21 x169 x410 -x600 -x670 -x706 -x20 -x114 x163 -x201 -x221
1800.02/1800.51 v -x328 x398 -x489 -x542 x596 -x671 -x705 -x159 x161 -x202 -x270 x402 -x819 -x116 -x157 -x206 -x272 x396 -x488 -x539 -x582 -x818
1800.02/1800.51 v -x37 -x121 -x188 x394 x452 -x703 x38 -x72 -x120 -x218 -x269 x440 -x699 -x34 x365 -x444 -x494 -x816 -x30 x212 -x264 x353 -x438
1800.02/1800.51 v -x492 -x812 x318 -x357 -x436 -x509 -x585 -x766 x839 x22 -x258 x306 x351 -x511 -x586 -x762 -x835 -x874 x23 -x75 -x90 x310
1800.02/1800.51 v x349 x749 -x795 x859 -x76 -x92 -x304 -x508 x748 x796 -x858 -x302 x792 -x857 x89 -x503 x788 -x427 x746 x84 x423 -x497 x742 -x782
1800.02/1800.51 v x175 x471 -x568 x174 x338 -x467 x572 -x668 -x407 x561 x673 x17 -x155 x173 -x332 -x409 x672 x6 x156 -x598 -x5 -x160 x168 -x271
1800.02/1800.51 v x406 -x543 x594 -x4 -x36 -x146 -x198 -x449 -x35 -x117 x162 x189 -x401 -x451 -x490 -x581 x106 x192 -x362 -x491 -x701 -x71
1800.02/1800.51 v x105 -x187 -x216 -x268 -x364 -x395 x448 x495 -x583 -x697 -x33 -x104 -x185 -x315 x481 -x588 -x814 -x29 -x73 x213 -x262 -x317 x361
1800.02/1800.51 v -x443 -x510 -x587 -x810 x78 -x794 x840 -x869 -x77 -x91 x314 -x356 -x437 -x793 -x836 x870 x866 x309 x350 -x507 x863 -x424
1800.02/1800.51 v -x791 x88 -x303 -x426 -x501 x787 -x855 x744 -x856 x82 x422 x740 -x11 x171 x337 -x564 x665 -x10 -x150 x336 -x408 x562 -x669 -x12
1800.02/1800.51 v -x149 x170 -x404 x563 x664 x13 -x151 x172 -x196 -x333 -x560 x663 x9 -x111 x152 -x195 -x403 -x558 -x599 -x662 x7 -x110 x147
1800.02/1800.51 v x166 -x197 -x405 -x450 -x485 -x559 x595 -x660 x8 -x112 -x148 x194 -x446 -x484 x580 -x661 -x2 x113 -x145 -x167 x193 -x363 -x399
1800.02/1800.51 v -x486 x579 -x3 -x32 x70 -x109 -x143 -x267 -x359 -x445 -x487 x578 -x702 x69 -x107 -x144 x190 -x217 -x266 -x316 -x400 -x447
1800.02/1800.51 v x482 -x584 -x698 -x31 x68 -x108 x191 -x312 -x358 -x483 x577 -x815 -x868 -x27 x74 -x102 -x186 -x263 x360 -x441 -x480 x576 -x811
1800.02/1800.51 v -x867 x67 -x103 -x311 -x478 x575 x865 -x28 x66 -x313 -x354 -x442 -x479 x573 -x65 -x506 x574 -x790 x864 -x63 x307 -x355 -x425
1800.02/1800.51 v -x505 x862 -x64 x87 -x420 -x789 x86 x308 -x502 -x785 x860 -x419 x745 x861 x83 x421 x741 -x786
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1705.45
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2664722-1276483062.opb
1800.02/1800.51 c Variables : 906 (906 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1039 initial, 1039 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2664722-1276483062.opb
1800.02/1800.51 c Variables : 899 (899 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1032 initial, 1032 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.02 1 5 0 1 0 7 0 0
1800.02/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 183 0 10453025 0 3179723 4108 1872085 0 0 0
1800.02/1800.51 c setppc : 3 0 4808413 0 1425766 0 18292 0 0 0
1800.02/1800.51 c logicor : 846+ 0 7284986 0 3179723 283 8348542 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 3179723 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c knapsack : 227.80 0.00 222.26 0.00 5.54
1800.02/1800.51 c setppc : 3.70 0.00 2.35 0.00 1.35
1800.02/1800.51 c logicor : 351.36 0.00 40.22 0.00 311.14
1800.02/1800.51 c countsols : 1.36 0.00 0.00 0.00 1.36
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 5.25 2 0 0
1800.02/1800.51 c rootredcost : 4.76 0 0 0
1800.02/1800.51 c pseudoobj : 398.63 10457891 5214 36890
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 133.59 4254 4254 661471 376.0 7 351.6 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.72 2099 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 0 0.0 - - -
1800.02/1800.51 c applied locally : - - - 4254 221.1 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 516.04 3179720 0 0 0 0 6359440
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.36 - 3
1800.02/1800.51 c oneopt : 2.32 0 0
1800.02/1800.51 c trivial : 0.01 2 2
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 1.43 0 0
1800.02/1800.51 c trysol : 1.48 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 3189677
1800.02/1800.51 c nodes (total) : 3189677
1800.02/1800.51 c nodes left : 3166085
1800.02/1800.51 c max depth : 285
1800.02/1800.51 c max depth (total): 285
1800.02/1800.51 c backtracks : 72031 (2.3%)
1800.02/1800.51 c delayed cutoffs : 1890
1800.02/1800.51 c repropagations : 2727 (9608 domain reductions, 1750 cutoffs)
1800.02/1800.51 c avg switch length: 2.83
1800.02/1800.51 c switching time : 55.28
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 5 (5 improvements)
1800.02/1800.51 c First Solution : +1.42000000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +5.60000000000000e+01 (in run 1, after 3167669 nodes, 1569.81 seconds, depth 280, found by <relaxation>)
1800.02/1800.51 c Dual Bound : -4.76000000000000e+02
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : -5.53000000000000e+02
1800.02/1800.51 c Root Iterations : 0
OK 56
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664722-1276483062/watcher-2664722-1276483062 -o /tmp/evaluation-result-2664722-1276483062/solver-2664722-1276483062 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664722-1276483062.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.04 1.52 1.58 3/106 28219 /proc/meminfo: memFree=1749600/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=6584 CPUtime=0 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 944 0 0 0 0 0 0 0 20 0 1 0 21962531 6742016 867 1992294400 4194304 7136930 140735737205488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28219/statm: 1646 876 254 719 0 925 0 [startup+0.0575779 s] /proc/loadavg: 1.04 1.52 1.58 3/106 28219 /proc/meminfo: memFree=1749600/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=13452 CPUtime=0.04 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 3537 0 0 0 3 1 0 0 20 0 1 0 21962531 13774848 2592 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 3363 2592 358 719 0 2642 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13452 [startup+0.100583 s] /proc/loadavg: 1.04 1.52 1.58 3/106 28219 /proc/meminfo: memFree=1749600/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=14872 CPUtime=0.09 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 5192 0 0 0 7 2 0 0 20 0 1 0 21962531 15228928 2962 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 3718 2962 373 719 0 2997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14872 [startup+0.300601 s] /proc/loadavg: 1.04 1.52 1.58 3/106 28219 /proc/meminfo: memFree=1749600/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=16600 CPUtime=0.29 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 6421 0 0 0 26 3 0 0 20 0 1 0 21962531 16998400 3420 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 4150 3420 398 719 0 3429 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16600 [startup+0.70064 s] /proc/loadavg: 1.04 1.52 1.58 3/106 28219 /proc/meminfo: memFree=1749600/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=17120 CPUtime=0.69 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 6581 0 0 0 63 6 0 0 21 0 1 0 21962531 17530880 3580 1992294400 4194304 7136930 140735737205488 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 4280 3580 398 719 0 3559 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17120 [startup+1.50072 s] /proc/loadavg: 1.04 1.51 1.58 2/107 28220 /proc/meminfo: memFree=1736572/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=17452 CPUtime=1.49 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 6666 0 0 0 139 10 0 0 23 0 1 0 21962531 17870848 3665 1992294400 4194304 7136930 140735737205488 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 4363 3665 398 719 0 3642 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17452 [startup+3.10087 s] /proc/loadavg: 1.04 1.51 1.58 2/107 28220 /proc/meminfo: memFree=1735456/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=19100 CPUtime=3.09 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 7067 0 0 0 289 20 0 0 25 0 1 0 21962531 19558400 4066 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 4775 4066 398 719 0 4054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19100 [startup+6.30118 s] /proc/loadavg: 1.03 1.50 1.57 2/107 28220 /proc/meminfo: memFree=1731612/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=22956 CPUtime=6.29 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 8043 0 0 0 592 37 0 0 25 0 1 0 21962531 23506944 5042 1992294400 4194304 7136930 140735737205488 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 5739 5042 398 719 0 5018 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22956 [startup+12.7018 s] /proc/loadavg: 1.03 1.50 1.57 2/107 28220 /proc/meminfo: memFree=1726280/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=28952 CPUtime=12.69 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 9611 0 0 0 1196 73 0 0 25 0 1 0 21962531 29646848 6610 1992294400 4194304 7136930 140735737205488 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 7238 6610 398 719 0 6517 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28952 [startup+25.501 s] /proc/loadavg: 1.02 1.47 1.56 2/107 28221 /proc/meminfo: memFree=1713880/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=40228 CPUtime=25.48 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 12508 0 0 0 2407 141 0 0 25 0 1 0 21962531 41193472 9507 1992294400 4194304 7136930 140735737205488 18446744073709551615 4643153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 10057 9507 398 719 0 9336 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40228 [startup+51.1005 s] /proc/loadavg: 1.07 1.45 1.55 2/107 28225 /proc/meminfo: memFree=1689948/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=64256 CPUtime=51.07 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 18167 0 0 0 4823 284 0 0 25 0 1 0 21962531 65798144 15166 1992294400 4194304 7136930 140735737205488 18446744073709551615 4697568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 16064 15166 398 719 0 15343 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64256 [startup+102.308 s] /proc/loadavg: 1.03 1.38 1.52 2/107 28227 /proc/meminfo: memFree=1645804/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=106332 CPUtime=102.26 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 29061 0 0 0 9657 569 0 0 25 0 1 0 21962531 108883968 26060 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 26583 26060 398 719 0 25862 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 106332 [startup+162.301 s] /proc/loadavg: 1.01 1.31 1.48 2/107 28227 /proc/meminfo: memFree=1595460/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=161448 CPUtime=162.24 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 42275 0 0 0 15321 903 0 0 25 0 1 0 21962531 165322752 39274 1992294400 4194304 7136930 140735737205488 18446744073709551615 5992652 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 40362 39274 398 719 0 39641 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 161448 [startup+222.301 s] /proc/loadavg: 1.00 1.25 1.45 2/107 28229 /proc/meminfo: memFree=1545984/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=206644 CPUtime=222.23 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 54013 0 0 0 20985 1238 0 0 25 0 1 0 21962531 211603456 51012 1992294400 4194304 7136930 140735737205488 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 51661 51012 398 719 0 50940 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 206644 [startup+282.301 s] /proc/loadavg: 1.00 1.20 1.42 2/107 28231 /proc/meminfo: memFree=1493036/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=266100 CPUtime=282.21 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 67266 0 0 0 26641 1580 0 0 25 0 1 0 21962531 272486400 64265 1992294400 4194304 7136930 140735737205488 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 66525 64265 398 719 0 65804 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 266100 [startup+342.3 s] /proc/loadavg: 1.00 1.16 1.39 2/107 28233 /proc/meminfo: memFree=1441948/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=314716 CPUtime=342.19 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 79863 0 0 0 32303 1916 0 0 25 0 1 0 21962531 322269184 76862 1992294400 4194304 7136930 140735737205488 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 78679 76862 398 719 0 77958 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 314716 [startup+402.301 s] /proc/loadavg: 1.00 1.13 1.36 2/107 28235 /proc/meminfo: memFree=1390116/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=366456 CPUtime=402.18 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 93237 0 0 0 37971 2247 0 0 25 0 1 0 21962531 375250944 90236 1992294400 4194304 7136930 140735737205488 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 91614 90236 398 719 0 90893 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 366456 [startup+462.301 s] /proc/loadavg: 1.00 1.10 1.34 2/107 28235 /proc/meminfo: memFree=1340516/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=413668 CPUtime=462.16 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 105483 0 0 0 43625 2591 0 0 25 0 1 0 21962531 423596032 102482 1992294400 4194304 7136930 140735737205488 18446744073709551615 4642176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 103417 102482 398 719 0 102696 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 413668 [startup+522.301 s] /proc/loadavg: 1.00 1.08 1.31 2/107 28237 /proc/meminfo: memFree=1289924/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=461212 CPUtime=522.15 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 117813 0 0 0 49274 2941 0 0 25 0 1 0 21962531 472281088 114812 1992294400 4194304 7136930 140735737205488 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 115303 114812 398 719 0 114582 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 461212 [startup+582.3 s] /proc/loadavg: 1.00 1.06 1.29 2/107 28239 /proc/meminfo: memFree=1236852/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=528220 CPUtime=582.13 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 130913 0 0 0 54936 3277 0 0 25 0 1 0 21962531 540897280 127912 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 132055 127912 398 719 0 131334 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 528220 [startup+642.301 s] /proc/loadavg: 1.00 1.05 1.27 2/107 28241 /proc/meminfo: memFree=1190972/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=571940 CPUtime=642.12 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 142291 0 0 0 60592 3620 0 0 25 0 1 0 21962531 585666560 139290 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 142985 139290 398 719 0 142264 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 571940 [startup+702.301 s] ################ # More data... # ################ /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 218617 0 0 0 94525 5678 0 0 25 0 1 0 21962531 887259136 215616 1992294400 4194304 7136930 140735737205488 18446744073709551615 5005193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 216616 215616 398 719 0 215895 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 866464 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 28251 /proc/meminfo: memFree=833480/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=915468 CPUtime=1062.01 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 231317 0 0 0 100183 6018 0 0 25 0 1 0 21962531 937439232 228316 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 228867 228316 398 719 0 228146 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 915468 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 28253 /proc/meminfo: memFree=785120/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=995428 CPUtime=1121.99 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 243565 0 0 0 105835 6364 0 0 25 0 1 0 21962531 1019318272 240564 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 248857 240564 398 719 0 248136 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 995428 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 28255 /proc/meminfo: memFree=736512/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1041556 CPUtime=1181.98 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 255550 0 0 0 111493 6705 0 0 25 0 1 0 21962531 1066553344 252549 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 260389 252549 398 719 0 259668 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1041556 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 28257 /proc/meminfo: memFree=685920/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1090660 CPUtime=1241.97 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 268282 0 0 0 117152 7045 0 0 25 0 1 0 21962531 1116835840 265281 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 272665 265281 398 719 0 271944 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1090660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 28259 /proc/meminfo: memFree=635452/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1137880 CPUtime=1301.96 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 280538 0 0 0 122814 7382 0 0 25 0 1 0 21962531 1165189120 277537 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 284470 277537 398 719 0 283749 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1137880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 28259 /proc/meminfo: memFree=585604/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1186708 CPUtime=1361.93 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 293197 0 0 0 128470 7723 0 0 25 0 1 0 21962531 1215188992 290196 1992294400 4194304 7136930 140735737205488 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 296677 290196 398 719 0 295956 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1186708 [startup+1422.31 s] /proc/loadavg: 1.11 1.03 1.10 2/107 28270 /proc/meminfo: memFree=535384/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1233356 CPUtime=1421.92 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 305313 0 0 0 134128 8064 0 0 25 0 1 0 21962531 1262956544 302312 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 308339 302312 398 719 0 307618 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1233356 [startup+1482.3 s] /proc/loadavg: 1.19 1.05 1.10 2/107 28272 /proc/meminfo: memFree=488884/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1278596 CPUtime=1481.89 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 317078 0 0 0 139789 8400 0 0 25 0 1 0 21962531 1309282304 314077 1992294400 4194304 7136930 140735737205488 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 319649 314077 398 719 0 318928 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1278596 [startup+1542.3 s] /proc/loadavg: 1.13 1.06 1.09 2/107 28274 /proc/meminfo: memFree=436680/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1329352 CPUtime=1541.88 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 330222 0 0 0 145450 8738 0 0 25 0 1 0 21962531 1361256448 327221 1992294400 4194304 7136930 140735737205488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 332338 327221 398 719 0 331617 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1329352 [startup+1602.3 s] /proc/loadavg: 1.11 1.06 1.09 2/107 28276 /proc/meminfo: memFree=386212/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1378820 CPUtime=1601.86 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 343047 0 0 0 151107 9079 0 0 25 0 1 0 21962531 1411911680 340046 1992294400 4194304 7136930 140735737205488 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 344705 340046 398 719 0 343984 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1378820 [startup+1662.3 s] /proc/loadavg: 1.10 1.06 1.09 2/107 28276 /proc/meminfo: memFree=336736/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1424596 CPUtime=1661.85 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367302 0 0 0 156773 9412 0 0 25 0 1 0 21962531 1458786304 351933 1992294400 4194304 7136930 140735737205488 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 356149 351933 403 719 0 355428 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1424596 [startup+1722.3 s] /proc/loadavg: 1.03 1.05 1.08 2/107 28278 /proc/meminfo: memFree=335000/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1426080 CPUtime=1721.84 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367656 0 0 0 162749 9435 0 0 25 0 1 0 21962531 1460305920 352287 1992294400 4194304 7136930 140735737205488 18446744073709551615 5922950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 356520 352287 403 719 0 355799 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1426080 [startup+1782.3 s] /proc/loadavg: 1.01 1.04 1.08 2/107 28280 /proc/meminfo: memFree=334504/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1426348 CPUtime=1781.82 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367727 0 0 0 168733 9449 0 0 25 0 1 0 21962531 1460580352 352358 1992294400 4194304 7136930 140735737205488 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 356587 352358 403 719 0 355866 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1426348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.03 1.08 2/107 28280 /proc/meminfo: memFree=334504/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1426348 CPUtime=1800.02 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367727 0 0 0 170546 9456 0 0 25 0 1 0 21962531 1460580352 352358 1992294400 4194304 7136930 140735737205488 18446744073709551615 5923184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28219/statm: 356587 352358 403 719 0 355866 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1426348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -28219 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.01 1.03 1.08 2/108 28281 /proc/meminfo: memFree=334496/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1426348 CPUtime=1800.92 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367736 0 0 0 170636 9456 0 0 25 0 1 0 21962531 1460580352 352367 1992294400 4194304 7136930 140735737205488 18446744073709551615 6165733 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28219/statm: 356587 352367 408 719 0 355866 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1426348 [startup+1802.2 s] /proc/loadavg: 1.01 1.03 1.08 2/108 28281 /proc/meminfo: memFree=334496/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=1426348 CPUtime=1801.72 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4202496 367736 0 0 0 170716 9456 0 0 25 0 1 0 21962531 1460580352 352367 1992294400 4194304 7136930 140735737205488 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28219/statm: 356587 352367 408 719 0 355866 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 1426348 [startup+1802.6 s] /proc/loadavg: 1.01 1.03 1.08 2/108 28281 /proc/meminfo: memFree=334496/2059040 swapFree=4140228/4192956 [pid=28219] ppid=28217 vsize=0 CPUtime=1802.12 /proc/28219/stat : 28219 (pbscip.linux.x8) R 28217 28219 27326 0 -1 4203524 367736 0 0 0 170747 9465 0 0 25 0 1 0 21962531 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/28219/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.64 CPU time (s): 1802.16 CPU user time (s): 1707.47 CPU system time (s): 94.6926 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1486592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1707.47 system time used= 94.6926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367736 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= 3 involuntary context switches= 24350 runsolver used 3.21951 second user time and 8.29474 second system time The end
Begin job on node018 at 2010-06-14 04:37:42 IDJOB=2664722 IDBENCH=2229 IDSOLVER=1167 FILE ID=node018/2664722-1276483062 PBS_JOBID= 11173380 Free space on /tmp= 62368 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:20:4.5:0.95:98.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664722-1276483062/watcher-2664722-1276483062 -o /tmp/evaluation-result-2664722-1276483062/solver-2664722-1276483062 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664722-1276483062.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b RANDOM SEED=568170708 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1750128 kB Buffers: 95472 kB Cached: 122524 kB SwapCached: 5768 kB Active: 99252 kB Inactive: 131296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1750128 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 11076 kB Mapped: 12840 kB Slab: 56612 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180448 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= 62364 MiB End job on node018 at 2010-06-14 05:07:45