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) | -16383 | 1802.17 | 1802.75 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
| MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -16384 |
| Best CPU time to get the best result obtained on this benchmark | 1792.69 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -16384 |
| Optimality of the best value was proved | NO |
| Number of variables | 787 |
| Total number of constraints | 65 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 19 |
| Biggest coefficient in the objective function | 262144 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524287 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 393216 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 917503 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-2664140-1276361808.opb>
0.00/0.01 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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 c presolving:
0.00/0.02 c (round 1) 2 del vars, 0 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (round 2) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 3) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.05 c (0.0s) probing: 101/785 (12.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 2 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.00/0.05 c 0 implications, 48 cliques
0.00/0.05 c presolved problem has 785 variables (785 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.05 c 16 constraints of type <knapsack>
0.00/0.05 c 48 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 2 | 0 | - |2409k| 0 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
2.20/2.24 c 2.1s| 10000 | 10001 | 0 | 0.0 |5396k| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
4.49/4.52 c 4.2s| 20000 | 20001 | 0 | 0.0 |8510k| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
6.69/6.77 c 6.3s| 30000 | 30001 | 0 | 0.0 | 11M| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
9.19/9.23 c 8.6s| 40000 | 40001 | 0 | 0.0 | 14M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
11.69/11.78 c 11.0s| 50000 | 50001 | 0 | 0.0 | 17M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
14.29/14.34 c 13.4s| 60000 | 60001 | 0 | 0.0 | 20M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
16.89/16.92 c 15.8s| 70000 | 70001 | 0 | 0.0 | 22M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
19.39/19.49 c 18.2s| 80000 | 80001 | 0 | 0.0 | 25M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
21.99/22.07 c 20.6s| 90000 | 90001 | 0 | 0.0 | 28M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
24.58/24.67 c 23.1s|100000 |100001 | 0 | 0.0 | 31M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
27.18/27.27 c 25.5s|110000 |110001 | 0 | 0.0 | 34M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
29.78/29.88 c 27.9s|120000 |120001 | 0 | 0.0 | 37M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
32.37/32.49 c 30.4s|130000 |130001 | 0 | 0.0 | 40M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
34.98/35.09 c 32.8s|140000 |140001 | 0 | 0.0 | 43M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
37.68/37.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.70 c 35.3s|150000 |150001 | 0 | 0.0 | 46M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
40.28/40.31 c 37.7s|160000 |160001 | 0 | 0.0 | 49M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
42.88/42.92 c 40.2s|170000 |170001 | 0 | 0.0 | 52M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
45.38/45.49 c 42.6s|180000 |180001 | 0 | 0.0 | 56M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
47.98/48.08 c 45.0s|190000 |190001 | 0 | 0.0 | 59M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
50.59/50.67 c 47.4s|200000 |200001 | 0 | 0.0 | 62M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
53.17/53.24 c 49.8s|210000 |210001 | 0 | 0.0 | 65M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
55.78/55.83 c 52.2s|220000 |220001 | 0 | 0.0 | 68M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
58.37/58.42 c 54.7s|230000 |230001 | 0 | 0.0 | 71M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
60.87/60.99 c 57.1s|240000 |240001 | 0 | 0.0 | 74M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
63.47/63.56 c 59.5s|250000 |250001 | 0 | 0.0 | 77M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
66.07/66.14 c 61.9s|260000 |260001 | 0 | 0.0 | 79M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
68.67/68.72 c 64.3s|270000 |270001 | 0 | 0.0 | 82M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
71.27/71.31 c 66.8s|280000 |280001 | 0 | 0.0 | 85M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
73.77/73.89 c 69.2s|290000 |290001 | 0 | 0.0 | 88M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
76.37/76.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.37/76.47 c 71.6s|300000 |300001 | 0 | 0.0 | 91M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
78.96/79.04 c 74.0s|310000 |310001 | 0 | 0.0 | 94M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
81.46/81.57 c 76.4s|320000 |320001 | 0 | 0.0 | 97M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
84.06/84.14 c 78.8s|330000 |330001 | 0 | 0.0 | 100M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
86.65/86.71 c 81.2s|340000 |340001 | 0 | 0.0 | 103M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
89.15/89.27 c 83.7s|350000 |350001 | 0 | 0.0 | 106M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
91.76/91.83 c 86.1s|360000 |360001 | 0 | 0.0 | 109M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
94.26/94.40 c 88.5s|370000 |370001 | 0 | 0.0 | 112M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
96.86/96.95 c 90.9s|380000 |380001 | 0 | 0.0 | 115M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
99.45/99.50 c 93.2s|390000 |390001 | 0 | 0.0 | 118M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
101.96/102.05 c 95.6s|400000 |400001 | 0 | 0.0 | 121M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
104.55/104.60 c 98.0s|410000 |410001 | 0 | 0.0 | 124M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
107.05/107.13 c 100s|420000 |420001 | 0 | 0.0 | 127M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
109.55/109.67 c 103s|430000 |430001 | 0 | 0.0 | 130M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
112.16/112.22 c 105s|440000 |440001 | 0 | 0.0 | 132M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
114.65/114.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.65/114.78 c 108s|450000 |450001 | 0 | 0.0 | 135M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
117.25/117.33 c 110s|460000 |460001 | 0 | 0.0 | 138M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
119.76/119.88 c 112s|470000 |470001 | 0 | 0.0 | 141M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
122.35/122.45 c 115s|480000 |480001 | 0 | 0.0 | 144M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
124.95/125.01 c 117s|490000 |490001 | 0 | 0.0 | 147M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
127.45/127.58 c 120s|500000 |500001 | 0 | 0.0 | 150M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
130.04/130.14 c 122s|510000 |510001 | 0 | 0.0 | 153M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
132.64/132.70 c 124s|520000 |520001 | 0 | 0.0 | 155M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
135.15/135.28 c 127s|530000 |530001 | 0 | 0.0 | 158M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
137.75/137.85 c 129s|540000 |540001 | 0 | 0.0 | 161M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
140.34/140.43 c 132s|550000 |550001 | 0 | 0.0 | 164M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
142.95/143.02 c 134s|560000 |560001 | 0 | 0.0 | 167M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
145.54/145.60 c 137s|570000 |570001 | 0 | 0.0 | 170M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
148.04/148.19 c 139s|580000 |580001 | 0 | 0.0 | 173M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
150.65/150.77 c 141s|590000 |590001 | 0 | 0.0 | 176M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
153.24/153.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.24/153.35 c 144s|600000 |600001 | 0 | 0.0 | 179M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
155.84/155.94 c 146s|610000 |610001 | 0 | 0.0 | 182M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
158.44/158.52 c 149s|620000 |620001 | 0 | 0.0 | 185M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
161.03/161.11 c 151s|630000 |630001 | 0 | 0.0 | 188M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
163.64/163.70 c 154s|640000 |640001 | 0 | 0.0 | 191M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
166.13/166.29 c 156s|650000 |650001 | 0 | 0.0 | 194M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
168.74/168.90 c 158s|660000 |660001 | 0 | 0.0 | 197M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
171.33/171.49 c 161s|670000 |670001 | 0 | 0.0 | 200M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
173.93/174.09 c 163s|680000 |680001 | 0 | 0.0 | 203M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
176.53/176.68 c 166s|690000 |690001 | 0 | 0.0 | 206M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
179.14/179.28 c 168s|700000 |700001 | 0 | 0.0 | 209M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
181.73/181.89 c 171s|710000 |710001 | 0 | 0.0 | 212M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
184.33/184.49 c 173s|720000 |720001 | 0 | 0.0 | 215M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
186.94/187.09 c 175s|730000 |730001 | 0 | 0.0 | 218M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
189.53/189.69 c 178s|740000 |740001 | 0 | 0.0 | 221M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
192.13/192.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.13/192.29 c 180s|750000 |750001 | 0 | 0.0 | 224M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
194.73/194.89 c 183s|760000 |760001 | 0 | 0.0 | 227M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
197.42/197.50 c 185s|770000 |770001 | 0 | 0.0 | 230M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
200.03/200.11 c 188s|780000 |780001 | 0 | 0.0 | 233M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
202.52/202.68 c 190s|790000 |790001 | 0 | 0.0 | 236M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
205.12/205.28 c 193s|800000 |800001 | 0 | 0.0 | 239M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
207.72/207.90 c 195s|810000 |810001 | 0 | 0.0 | 242M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
210.42/210.51 c 197s|820000 |820001 | 0 | 0.0 | 245M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
213.01/213.13 c 200s|830000 |830001 | 0 | 0.0 | 248M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
215.62/215.73 c 202s|840000 |840001 | 0 | 0.0 | 251M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
218.22/218.33 c 205s|850000 |850001 | 0 | 0.0 | 254M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
220.82/220.95 c 207s|860000 |860001 | 0 | 0.0 | 257M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
223.41/223.56 c 210s|870000 |870001 | 0 | 0.0 | 260M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
226.01/226.18 c 212s|880000 |880001 | 0 | 0.0 | 263M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
228.62/228.80 c 215s|890000 |890001 | 0 | 0.0 | 266M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
231.31/231.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.31/231.41 c 217s|900000 |900001 | 0 | 0.0 | 269M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
233.91/234.01 c 219s|910000 |910001 | 0 | 0.0 | 272M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
236.51/236.62 c 222s|920000 |920001 | 0 | 0.0 | 275M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
239.11/239.25 c 224s|930000 |930001 | 0 | 0.0 | 278M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
241.71/241.87 c 227s|940000 |940001 | 0 | 0.0 | 281M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
244.31/244.49 c 229s|950000 |950001 | 0 | 0.0 | 284M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
246.91/247.10 c 232s|960000 |960001 | 0 | 0.0 | 287M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
249.51/249.70 c 234s|970000 |970001 | 0 | 0.0 | 290M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
252.21/252.31 c 237s|980000 |980001 | 0 | 0.0 | 293M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
254.79/254.94 c 239s|990000 |990001 | 0 | 0.0 | 296M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
257.38/257.56 c 242s| 1000k| 1000k| 0 | 0.0 | 299M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
259.98/260.17 c 244s| 1010k| 1010k| 0 | 0.0 | 302M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
262.59/262.78 c 246s| 1020k| 1020k| 0 | 0.0 | 305M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
265.19/265.39 c 249s| 1030k| 1030k| 0 | 0.0 | 308M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
267.79/267.99 c 251s| 1040k| 1040k| 0 | 0.0 | 311M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
270.40/270.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.40/270.60 c 254s| 1050k| 1050k| 0 | 0.0 | 314M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
273.09/273.22 c 256s| 1060k| 1060k| 0 | 0.0 | 317M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
275.69/275.84 c 259s| 1070k| 1070k| 0 | 0.0 | 320M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
278.28/278.45 c 261s| 1080k| 1080k| 0 | 0.0 | 323M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
280.88/281.05 c 264s| 1090k| 1090k| 0 | 0.0 | 326M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
283.48/283.65 c 266s| 1100k| 1100k| 0 | 0.0 | 329M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
286.08/286.28 c 268s| 1110k| 1110k| 0 | 0.0 | 332M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
288.68/288.89 c 271s| 1120k| 1120k| 0 | 0.0 | 335M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
291.28/291.49 c 273s| 1130k| 1130k| 0 | 0.0 | 338M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
293.98/294.10 c 276s| 1140k| 1140k| 0 | 0.0 | 341M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
296.58/296.70 c 278s| 1150k| 1150k| 0 | 0.0 | 344M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
299.18/299.31 c 281s| 1160k| 1160k| 0 | 0.0 | 347M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
301.77/301.92 c 283s| 1170k| 1170k| 0 | 0.0 | 350M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
304.38/304.53 c 286s| 1180k| 1180k| 0 | 0.0 | 353M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
306.97/307.13 c 288s| 1190k| 1190k| 0 | 0.0 | 356M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
309.57/309.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.57/309.73 c 290s| 1200k| 1200k| 0 | 0.0 | 359M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
312.18/312.33 c 293s| 1210k| 1210k| 0 | 0.0 | 362M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
314.77/314.94 c 295s| 1220k| 1220k| 0 | 0.0 | 365M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
317.37/317.55 c 298s| 1230k| 1230k| 0 | 0.0 | 368M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
319.98/320.14 c 300s| 1240k| 1240k| 0 | 0.0 | 371M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
322.57/322.74 c 303s| 1250k| 1250k| 0 | 0.0 | 374M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
325.16/325.34 c 305s| 1260k| 1260k| 0 | 0.0 | 377M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
327.77/327.95 c 308s| 1270k| 1270k| 0 | 0.0 | 380M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
330.37/330.55 c 310s| 1280k| 1280k| 0 | 0.0 | 383M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
332.97/333.15 c 312s| 1290k| 1290k| 0 | 0.0 | 386M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
335.56/335.74 c 315s| 1300k| 1300k| 0 | 0.0 | 389M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
338.17/338.35 c 317s| 1310k| 1310k| 0 | 0.0 | 392M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
340.77/340.96 c 320s| 1320k| 1320k| 0 | 0.0 | 395M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
343.37/343.55 c 322s| 1330k| 1330k| 0 | 0.0 | 398M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
345.96/346.14 c 325s| 1340k| 1340k| 0 | 0.0 | 401M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
348.57/348.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.57/348.72 c 327s| 1350k| 1350k| 0 | 0.0 | 404M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
351.16/351.34 c 330s| 1360k| 1360k| 0 | 0.0 | 407M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
353.76/353.95 c 332s| 1370k| 1370k| 0 | 0.0 | 410M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
356.36/356.55 c 334s| 1380k| 1380k| 0 | 0.0 | 413M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
358.96/359.14 c 337s| 1390k| 1390k| 0 | 0.0 | 416M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
361.56/361.74 c 339s| 1400k| 1400k| 0 | 0.0 | 418M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
364.16/364.36 c 342s| 1410k| 1410k| 0 | 0.0 | 421M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
366.76/366.96 c 344s| 1420k| 1420k| 0 | 0.0 | 424M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
369.36/369.54 c 347s| 1430k| 1430k| 0 | 0.0 | 427M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
371.96/372.12 c 349s| 1440k| 1440k| 0 | 0.0 | 430M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
374.56/374.74 c 352s| 1450k| 1450k| 0 | 0.0 | 433M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
377.17/377.34 c 354s| 1460k| 1460k| 0 | 0.0 | 436M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
379.75/379.94 c 356s| 1470k| 1470k| 0 | 0.0 | 439M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
382.36/382.52 c 359s| 1480k| 1480k| 0 | 0.0 | 442M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
384.95/385.12 c 361s| 1490k| 1490k| 0 | 0.0 | 445M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
387.55/387.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.55/387.73 c 364s| 1500k| 1500k| 0 | 0.0 | 448M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
390.15/390.33 c 366s| 1510k| 1510k| 0 | 0.0 | 451M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
392.75/392.91 c 369s| 1520k| 1520k| 0 | 0.0 | 454M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
395.25/395.49 c 371s| 1530k| 1530k| 0 | 0.0 | 457M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
397.96/398.11 c 373s| 1540k| 1540k| 0 | 0.0 | 460M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
400.55/400.70 c 376s| 1550k| 1550k| 0 | 0.0 | 463M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
403.05/403.29 c 378s| 1560k| 1560k| 0 | 0.0 | 466M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
405.65/405.87 c 381s| 1570k| 1570k| 0 | 0.0 | 469M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
408.25/408.48 c 383s| 1580k| 1580k| 0 | 0.0 | 472M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
410.85/411.08 c 386s| 1590k| 1590k| 0 | 0.0 | 475M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
413.45/413.67 c 388s| 1600k| 1600k| 0 | 0.0 | 478M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
416.04/416.26 c 390s| 1610k| 1610k| 0 | 0.0 | 481M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
418.64/418.87 c 393s| 1620k| 1620k| 0 | 0.0 | 484M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
421.24/421.47 c 395s| 1630k| 1630k| 0 | 0.0 | 487M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
423.84/424.07 c 398s| 1640k| 1640k| 0 | 0.0 | 490M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
426.44/426.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.44/426.65 c 400s| 1650k| 1650k| 0 | 0.0 | 493M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
429.04/429.25 c 403s| 1660k| 1660k| 0 | 0.0 | 496M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
431.64/431.86 c 405s| 1670k| 1670k| 0 | 0.0 | 499M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
434.25/434.46 c 407s| 1680k| 1680k| 0 | 0.0 | 502M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
436.84/437.05 c 410s| 1690k| 1690k| 0 | 0.0 | 505M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
439.43/439.63 c 412s| 1700k| 1700k| 0 | 0.0 | 508M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
442.03/442.23 c 415s| 1710k| 1710k| 0 | 0.0 | 511M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
444.63/444.83 c 417s| 1720k| 1720k| 0 | 0.0 | 514M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
447.22/447.42 c 420s| 1730k| 1730k| 0 | 0.0 | 517M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
449.73/449.99 c 422s| 1740k| 1740k| 0 | 0.0 | 520M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
452.43/452.60 c 424s| 1750k| 1750k| 0 | 0.0 | 523M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
455.03/455.20 c 427s| 1760k| 1760k| 0 | 0.0 | 526M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
457.52/457.79 c 429s| 1770k| 1770k| 0 | 0.0 | 529M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
460.13/460.37 c 432s| 1780k| 1780k| 0 | 0.0 | 532M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
462.73/462.98 c 434s| 1790k| 1790k| 0 | 0.0 | 535M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
465.33/465.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.33/465.58 c 437s| 1800k| 1800k| 0 | 0.0 | 538M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
467.92/468.17 c 439s| 1810k| 1810k| 0 | 0.0 | 541M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
470.53/470.75 c 442s| 1820k| 1820k| 0 | 0.0 | 544M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
473.12/473.36 c 444s| 1830k| 1830k| 0 | 0.0 | 547M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
475.72/475.96 c 446s| 1840k| 1840k| 0 | 0.0 | 550M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
478.33/478.55 c 449s| 1850k| 1850k| 0 | 0.0 | 553M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
480.92/481.14 c 451s| 1860k| 1860k| 0 | 0.0 | 556M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
483.52/483.75 c 454s| 1870k| 1870k| 0 | 0.0 | 559M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
486.12/486.35 c 456s| 1880k| 1880k| 0 | 0.0 | 562M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
488.72/488.93 c 459s| 1890k| 1890k| 0 | 0.0 | 565M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
491.31/491.51 c 461s| 1900k| 1900k| 0 | 0.0 | 568M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
493.92/494.10 c 463s| 1910k| 1910k| 0 | 0.0 | 571M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
496.51/496.71 c 466s| 1920k| 1920k| 0 | 0.0 | 574M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
499.12/499.30 c 468s| 1930k| 1930k| 0 | 0.0 | 577M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
501.62/501.88 c 471s| 1940k| 1940k| 0 | 0.0 | 580M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
504.21/504.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.21/504.48 c 473s| 1950k| 1950k| 0 | 0.0 | 583M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
506.82/507.08 c 476s| 1960k| 1960k| 0 | 0.0 | 586M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
509.42/509.67 c 478s| 1970k| 1970k| 0 | 0.0 | 589M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
512.01/512.26 c 480s| 1980k| 1980k| 0 | 0.0 | 592M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
514.61/514.85 c 483s| 1990k| 1990k| 0 | 0.0 | 595M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
517.21/517.45 c 485s| 2000k| 2000k| 0 | 0.0 | 598M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
519.81/520.04 c 488s| 2010k| 2010k| 0 | 0.0 | 601M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
522.41/522.63 c 490s| 2020k| 2020k| 0 | 0.0 | 604M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
525.01/525.22 c 493s| 2030k| 2030k| 0 | 0.0 | 607M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
527.61/527.84 c 495s| 2040k| 2040k| 0 | 0.0 | 610M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
530.20/530.43 c 498s| 2050k| 2050k| 0 | 0.0 | 613M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
532.81/533.01 c 500s| 2060k| 2060k| 0 | 0.0 | 616M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
535.30/535.58 c 502s| 2070k| 2070k| 0 | 0.0 | 618M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
537.91/538.18 c 505s| 2080k| 2080k| 0 | 0.0 | 621M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
540.50/540.77 c 507s| 2090k| 2090k| 0 | 0.0 | 624M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
543.11/543.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.11/543.35 c 510s| 2100k| 2100k| 0 | 0.0 | 627M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
545.70/545.93 c 512s| 2110k| 2110k| 0 | 0.0 | 630M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
548.30/548.54 c 515s| 2120k| 2120k| 0 | 0.0 | 633M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
550.90/551.14 c 517s| 2130k| 2130k| 0 | 0.0 | 636M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
553.50/553.72 c 519s| 2140k| 2140k| 0 | 0.0 | 639M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
556.09/556.31 c 522s| 2150k| 2150k| 0 | 0.0 | 642M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
558.70/558.92 c 524s| 2160k| 2160k| 0 | 0.0 | 645M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
561.29/561.51 c 527s| 2170k| 2170k| 0 | 0.0 | 648M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
563.79/564.10 c 529s| 2180k| 2180k| 0 | 0.0 | 651M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
566.39/566.68 c 532s| 2190k| 2190k| 0 | 0.0 | 654M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
568.99/569.28 c 534s| 2200k| 2200k| 0 | 0.0 | 657M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
571.59/571.88 c 536s| 2210k| 2210k| 0 | 0.0 | 660M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
574.19/574.46 c 539s| 2220k| 2220k| 0 | 0.0 | 663M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
576.79/577.05 c 541s| 2230k| 2230k| 0 | 0.0 | 666M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
579.40/579.65 c 544s| 2240k| 2240k| 0 | 0.0 | 669M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
581.98/582.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.98/582.24 c 546s| 2250k| 2250k| 0 | 0.0 | 672M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
584.58/584.81 c 549s| 2260k| 2260k| 0 | 0.0 | 675M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
587.19/587.42 c 551s| 2270k| 2270k| 0 | 0.0 | 678M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
589.78/590.02 c 553s| 2280k| 2280k| 0 | 0.0 | 681M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
592.29/592.59 c 556s| 2290k| 2290k| 0 | 0.0 | 684M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
594.89/595.19 c 558s| 2300k| 2300k| 0 | 0.0 | 687M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
597.48/597.79 c 561s| 2310k| 2310k| 0 | 0.0 | 690M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
600.08/600.36 c 563s| 2320k| 2320k| 0 | 0.0 | 693M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
602.68/602.93 c 566s| 2330k| 2330k| 0 | 0.0 | 696M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
605.28/605.54 c 568s| 2340k| 2340k| 0 | 0.0 | 699M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
607.88/608.11 c 570s| 2350k| 2350k| 0 | 0.0 | 702M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
610.38/610.68 c 573s| 2360k| 2360k| 0 | 0.0 | 705M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
612.98/613.27 c 575s| 2370k| 2370k| 0 | 0.0 | 708M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
615.57/615.86 c 578s| 2380k| 2380k| 0 | 0.0 | 711M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
618.18/618.43 c 580s| 2390k| 2390k| 0 | 0.0 | 714M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
620.78/621.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.78/621.02 c 583s| 2400k| 2400k| 0 | 0.0 | 717M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
623.39/623.61 c 585s| 2410k| 2410k| 0 | 0.0 | 720M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
625.88/626.18 c 587s| 2420k| 2420k| 0 | 0.0 | 723M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
628.47/628.76 c 590s| 2430k| 2430k| 0 | 0.0 | 726M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
631.08/631.36 c 592s| 2440k| 2440k| 0 | 0.0 | 729M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
633.67/633.95 c 595s| 2450k| 2450k| 0 | 0.0 | 732M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
636.27/636.52 c 597s| 2460k| 2460k| 0 | 0.0 | 735M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
638.88/639.13 c 600s| 2470k| 2470k| 0 | 0.0 | 738M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
641.47/641.71 c 602s| 2480k| 2480k| 0 | 0.0 | 741M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
643.97/644.28 c 604s| 2490k| 2490k| 0 | 0.0 | 744M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
646.57/646.88 c 607s| 2500k| 2500k| 0 | 0.0 | 747M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
649.16/649.46 c 609s| 2510k| 2510k| 0 | 0.0 | 750M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
651.76/652.03 c 612s| 2520k| 2520k| 0 | 0.0 | 753M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
654.36/654.63 c 614s| 2530k| 2530k| 0 | 0.0 | 756M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
656.97/657.20 c 617s| 2540k| 2540k| 0 | 0.0 | 759M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
659.46/659.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.46/659.79 c 619s| 2550k| 2550k| 0 | 0.0 | 762M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
662.06/662.39 c 621s| 2560k| 2560k| 0 | 0.0 | 765M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
664.66/664.96 c 624s| 2570k| 2570k| 0 | 0.0 | 768M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
667.25/667.54 c 626s| 2580k| 2580k| 0 | 0.0 | 771M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
669.86/670.11 c 629s| 2590k| 2590k| 0 | 0.0 | 774M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
672.36/672.67 c 631s| 2600k| 2600k| 0 | 0.0 | 777M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
674.96/675.25 c 634s| 2610k| 2610k| 0 | 0.0 | 780M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
677.56/677.82 c 636s| 2620k| 2620k| 0 | 0.0 | 783M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
680.05/680.38 c 638s| 2630k| 2630k| 0 | 0.0 | 786M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
682.65/682.96 c 641s| 2640k| 2640k| 0 | 0.0 | 789M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
685.25/685.52 c 643s| 2650k| 2650k| 0 | 0.0 | 792M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
687.75/688.10 c 646s| 2660k| 2660k| 0 | 0.0 | 795M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
690.35/690.67 c 648s| 2670k| 2670k| 0 | 0.0 | 798M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
692.96/693.23 c 650s| 2680k| 2680k| 0 | 0.0 | 801M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
695.55/695.81 c 653s| 2690k| 2690k| 0 | 0.0 | 804M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
698.05/698.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.05/698.37 c 655s| 2700k| 2700k| 0 | 0.0 | 807M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
700.65/700.95 c 658s| 2710k| 2710k| 0 | 0.0 | 810M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
703.25/703.53 c 660s| 2720k| 2720k| 0 | 0.0 | 813M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
705.85/706.10 c 662s| 2730k| 2730k| 0 | 0.0 | 816M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
708.35/708.68 c 665s| 2740k| 2740k| 0 | 0.0 | 819M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
710.95/711.24 c 667s| 2750k| 2750k| 0 | 0.0 | 822M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
713.56/713.82 c 670s| 2760k| 2760k| 0 | 0.0 | 825M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
716.05/716.38 c 672s| 2770k| 2770k| 0 | 0.0 | 828M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
718.64/718.95 c 674s| 2780k| 2780k| 0 | 0.0 | 831M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
721.25/721.52 c 677s| 2790k| 2790k| 0 | 0.0 | 833M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
723.75/724.10 c 679s| 2800k| 2800k| 0 | 0.0 | 836M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
726.34/726.67 c 682s| 2810k| 2810k| 0 | 0.0 | 839M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
728.95/729.23 c 684s| 2820k| 2820k| 0 | 0.0 | 842M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
731.54/731.81 c 687s| 2830k| 2830k| 0 | 0.0 | 845M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
734.04/734.37 c 689s| 2840k| 2840k| 0 | 0.0 | 848M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
736.65/736.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.65/736.95 c 691s| 2850k| 2850k| 0 | 0.0 | 851M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
739.24/739.52 c 694s| 2860k| 2860k| 0 | 0.0 | 854M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
741.74/742.09 c 696s| 2870k| 2870k| 0 | 0.0 | 857M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
744.34/744.65 c 699s| 2880k| 2880k| 0 | 0.0 | 860M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
746.94/747.24 c 701s| 2890k| 2890k| 0 | 0.0 | 863M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
749.54/749.80 c 704s| 2900k| 2900k| 0 | 0.0 | 866M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
752.05/752.37 c 706s| 2910k| 2910k| 0 | 0.0 | 869M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
754.64/754.92 c 708s| 2920k| 2920k| 0 | 0.0 | 872M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
757.14/757.49 c 711s| 2930k| 2930k| 0 | 0.0 | 875M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
759.74/760.04 c 713s| 2940k| 2940k| 0 | 0.0 | 878M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
762.33/762.60 c 716s| 2950k| 2950k| 0 | 0.0 | 882M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
764.83/765.16 c 718s| 2960k| 2960k| 0 | 0.0 | 885M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
767.44/767.71 c 720s| 2970k| 2970k| 0 | 0.0 | 888M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
769.93/770.27 c 723s| 2980k| 2980k| 0 | 0.0 | 891M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
772.53/772.81 c 725s| 2990k| 2990k| 0 | 0.0 | 894M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
775.03/775.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.03/775.37 c 728s| 3000k| 3000k| 0 | 0.0 | 897M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
777.63/777.92 c 730s| 3010k| 3010k| 0 | 0.0 | 900M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
780.13/780.46 c 732s| 3020k| 3020k| 0 | 0.0 | 903M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
782.73/783.02 c 735s| 3030k| 3030k| 0 | 0.0 | 906M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
785.22/785.56 c 737s| 3040k| 3040k| 0 | 0.0 | 909M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
787.82/788.12 c 739s| 3050k| 3050k| 0 | 0.0 | 912M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
790.32/790.69 c 742s| 3060k| 3060k| 0 | 0.0 | 915M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
792.92/793.24 c 744s| 3070k| 3070k| 0 | 0.0 | 917M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
795.53/795.80 c 747s| 3080k| 3080k| 0 | 0.0 | 920M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
798.02/798.37 c 749s| 3090k| 3090k| 0 | 0.0 | 923M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
800.62/800.93 c 751s| 3100k| 3100k| 0 | 0.0 | 926M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
803.12/803.49 c 754s| 3110k| 3110k| 0 | 0.0 | 929M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
805.72/806.05 c 756s| 3120k| 3120k| 0 | 0.0 | 932M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
808.32/808.60 c 759s| 3130k| 3130k| 0 | 0.0 | 935M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
810.81/811.17 c 761s| 3140k| 3140k| 0 | 0.0 | 938M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
813.42/813.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.42/813.72 c 763s| 3150k| 3150k| 0 | 0.0 | 941M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
815.92/816.28 c 766s| 3160k| 3160k| 0 | 0.0 | 944M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
818.52/818.85 c 768s| 3170k| 3170k| 0 | 0.0 | 947M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
821.12/821.41 c 771s| 3180k| 3180k| 0 | 0.0 | 950M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
823.62/823.97 c 773s| 3190k| 3190k| 0 | 0.0 | 953M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
826.21/826.52 c 776s| 3200k| 3200k| 0 | 0.0 | 956M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
828.81/829.10 c 778s| 3210k| 3210k| 0 | 0.0 | 959M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
831.32/831.66 c 780s| 3220k| 3220k| 0 | 0.0 | 962M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
833.91/834.22 c 783s| 3230k| 3230k| 0 | 0.0 | 965M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
836.41/836.79 c 785s| 3240k| 3240k| 0 | 0.0 | 968M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
839.01/839.34 c 788s| 3250k| 3250k| 0 | 0.0 | 971M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
841.61/841.91 c 790s| 3260k| 3260k| 0 | 0.0 | 974M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
844.11/844.47 c 792s| 3270k| 3270k| 0 | 0.0 | 977M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
846.72/847.02 c 795s| 3280k| 3280k| 0 | 0.0 | 980M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
849.20/849.55 c 797s| 3290k| 3290k| 0 | 0.0 | 983M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
851.70/852.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.70/852.07 c 800s| 3300k| 3300k| 0 | 0.0 | 986M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
854.20/854.57 c 802s| 3310k| 3310k| 0 | 0.0 | 989M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
856.71/857.09 c 804s| 3320k| 3320k| 0 | 0.0 | 992M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
859.31/859.62 c 807s| 3330k| 3330k| 0 | 0.0 | 995M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
861.80/862.15 c 809s| 3340k| 3340k| 0 | 0.0 | 998M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
864.31/864.68 c 811s| 3350k| 3350k| 0 | 0.0 |1000M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
866.90/867.21 c 814s| 3360k| 3360k| 0 | 0.0 |1003M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
869.40/869.74 c 816s| 3370k| 3370k| 0 | 0.0 |1006M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
871.91/872.29 c 818s| 3380k| 3380k| 0 | 0.0 |1009M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
874.50/874.82 c 821s| 3390k| 3390k| 0 | 0.0 |1012M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
876.99/877.36 c 823s| 3400k| 3400k| 0 | 0.0 |1015M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
879.61/879.90 c 826s| 3410k| 3410k| 0 | 0.0 |1018M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
882.10/882.46 c 828s| 3420k| 3420k| 0 | 0.0 |1020M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
884.69/885.01 c 830s| 3430k| 3430k| 0 | 0.0 |1023M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
887.19/887.55 c 833s| 3440k| 3440k| 0 | 0.0 |1026M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
889.70/890.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.70/890.10 c 835s| 3450k| 3450k| 0 | 0.0 |1029M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
892.29/892.64 c 838s| 3460k| 3460k| 0 | 0.0 |1032M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
894.79/895.19 c 840s| 3470k| 3470k| 0 | 0.0 |1035M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
897.39/897.74 c 842s| 3480k| 3480k| 0 | 0.0 |1038M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
899.90/900.29 c 845s| 3490k| 3490k| 0 | 0.0 |1041M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
902.49/902.83 c 847s| 3500k| 3500k| 0 | 0.0 |1044M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
905.00/905.39 c 850s| 3510k| 3510k| 0 | 0.0 |1046M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
907.60/907.95 c 852s| 3520k| 3520k| 0 | 0.0 |1049M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
910.19/910.51 c 854s| 3530k| 3530k| 0 | 0.0 |1052M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
912.70/913.06 c 857s| 3540k| 3540k| 0 | 0.0 |1055M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
915.29/915.60 c 859s| 3550k| 3550k| 0 | 0.0 |1058M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
917.79/918.15 c 862s| 3560k| 3560k| 0 | 0.0 |1061M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
920.40/920.71 c 864s| 3570k| 3570k| 0 | 0.0 |1064M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
922.88/923.27 c 866s| 3580k| 3580k| 0 | 0.0 |1067M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
925.48/925.83 c 869s| 3590k| 3590k| 0 | 0.0 |1070M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
927.99/928.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.99/928.40 c 871s| 3600k| 3600k| 0 | 0.0 |1073M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
930.59/930.96 c 874s| 3610k| 3610k| 0 | 0.0 |1075M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
933.18/933.51 c 876s| 3620k| 3620k| 0 | 0.0 |1078M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
935.69/936.07 c 878s| 3630k| 3630k| 0 | 0.0 |1081M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
938.28/938.62 c 881s| 3640k| 3640k| 0 | 0.0 |1084M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
940.78/941.18 c 883s| 3650k| 3650k| 0 | 0.0 |1087M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
943.39/943.73 c 886s| 3660k| 3660k| 0 | 0.0 |1090M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
945.89/946.29 c 888s| 3670k| 3670k| 0 | 0.0 |1093M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
948.48/948.87 c 890s| 3680k| 3680k| 0 | 0.0 |1096M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
951.08/951.44 c 893s| 3690k| 3690k| 0 | 0.0 |1099M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
953.68/954.01 c 895s| 3700k| 3700k| 0 | 0.0 |1102M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
956.18/956.57 c 898s| 3710k| 3710k| 0 | 0.0 |1104M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
958.78/959.13 c 900s| 3720k| 3720k| 0 | 0.0 |1107M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
961.38/961.70 c 903s| 3730k| 3730k| 0 | 0.0 |1110M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
963.87/964.26 c 905s| 3740k| 3740k| 0 | 0.0 |1113M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
966.48/966.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.48/966.82 c 907s| 3750k| 3750k| 0 | 0.0 |1116M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
968.97/969.38 c 910s| 3760k| 3760k| 0 | 0.0 |1119M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
971.57/971.95 c 912s| 3770k| 3770k| 0 | 0.0 |1122M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
974.17/974.51 c 915s| 3780k| 3780k| 0 | 0.0 |1125M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
976.67/977.08 c 917s| 3790k| 3790k| 0 | 0.0 |1128M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
979.27/979.66 c 919s| 3800k| 3800k| 0 | 0.0 |1131M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
981.88/982.24 c 922s| 3810k| 3810k| 0 | 0.0 |1134M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
984.47/984.81 c 924s| 3820k| 3820k| 0 | 0.0 |1137M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
986.97/987.39 c 927s| 3830k| 3830k| 0 | 0.0 |1139M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
989.57/989.96 c 929s| 3840k| 3840k| 0 | 0.0 |1142M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
992.16/992.54 c 932s| 3850k| 3850k| 0 | 0.0 |1145M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
994.76/995.11 c 934s| 3860k| 3860k| 0 | 0.0 |1148M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
997.27/997.68 c 936s| 3870k| 3870k| 0 | 0.0 |1151M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
999.86/1000.25 c 939s| 3880k| 3880k| 0 | 0.0 |1154M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1002.47/1002.83 c 941s| 3890k| 3890k| 0 | 0.0 |1157M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1005.06/1005.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.06/1005.41 c 944s| 3900k| 3900k| 0 | 0.0 |1160M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1007.56/1007.99 c 946s| 3910k| 3910k| 0 | 0.0 |1163M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1010.16/1010.56 c 949s| 3920k| 3920k| 0 | 0.0 |1166M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1012.77/1013.14 c 951s| 3930k| 3930k| 0 | 0.0 |1169M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1015.36/1015.71 c 953s| 3940k| 3940k| 0 | 0.0 |1172M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1017.96/1018.32 c 956s| 3950k| 3950k| 0 | 0.0 |1175M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1020.56/1020.90 c 958s| 3960k| 3960k| 0 | 0.0 |1177M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1023.15/1023.50 c 961s| 3970k| 3970k| 0 | 0.0 |1180M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1025.66/1026.09 c 963s| 3980k| 3980k| 0 | 0.0 |1183M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1028.26/1028.68 c 966s| 3990k| 3990k| 0 | 0.0 |1186M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1030.86/1031.26 c 968s| 4000k| 4000k| 0 | 0.0 |1189M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1033.45/1033.87 c 970s| 4010k| 4010k| 0 | 0.0 |1192M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1036.06/1036.44 c 973s| 4020k| 4020k| 0 | 0.0 |1195M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1038.66/1039.02 c 975s| 4030k| 4030k| 0 | 0.0 |1198M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1041.26/1041.60 c 978s| 4040k| 4040k| 0 | 0.0 |1201M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1043.75/1044.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.75/1044.18 c 980s| 4050k| 4050k| 0 | 0.0 |1204M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1046.35/1046.77 c 983s| 4060k| 4060k| 0 | 0.0 |1207M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1048.95/1049.36 c 985s| 4070k| 4070k| 0 | 0.0 |1210M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1051.55/1051.93 c 988s| 4080k| 4080k| 0 | 0.0 |1213M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1054.15/1054.52 c 990s| 4090k| 4090k| 0 | 0.0 |1216M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1056.66/1057.10 c 992s| 4100k| 4100k| 0 | 0.0 |1219M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1059.25/1059.69 c 995s| 4110k| 4110k| 0 | 0.0 |1221M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1061.84/1062.27 c 997s| 4120k| 4120k| 0 | 0.0 |1224M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1064.46/1064.87 c 1000s| 4130k| 4130k| 0 | 0.0 |1227M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1067.04/1067.46 c 1002s| 4140k| 4140k| 0 | 0.0 |1230M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1069.65/1070.07 c 1005s| 4150k| 4150k| 0 | 0.0 |1233M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1072.24/1072.66 c 1007s| 4160k| 4160k| 0 | 0.0 |1236M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1074.84/1075.25 c 1009s| 4170k| 4170k| 0 | 0.0 |1239M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1077.44/1077.84 c 1012s| 4180k| 4180k| 0 | 0.0 |1242M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1080.04/1080.44 c 1014s| 4190k| 4190k| 0 | 0.0 |1245M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1082.64/1083.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.64/1083.04 c 1017s| 4200k| 4200k| 0 | 0.0 |1248M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1085.24/1085.64 c 1019s| 4210k| 4210k| 0 | 0.0 |1251M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1087.83/1088.26 c 1022s| 4220k| 4220k| 0 | 0.0 |1254M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1090.44/1090.86 c 1024s| 4230k| 4230k| 0 | 0.0 |1257M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1093.05/1093.46 c 1026s| 4240k| 4240k| 0 | 0.0 |1260M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1095.63/1096.06 c 1029s| 4250k| 4250k| 0 | 0.0 |1263M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1098.23/1098.65 c 1031s| 4260k| 4260k| 0 | 0.0 |1266M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1100.83/1101.23 c 1034s| 4270k| 4270k| 0 | 0.0 |1269M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1103.43/1103.83 c 1036s| 4280k| 4280k| 0 | 0.0 |1272M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1106.04/1106.43 c 1039s| 4290k| 4290k| 0 | 0.0 |1275M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1108.63/1109.01 c 1041s| 4300k| 4300k| 0 | 0.0 |1278M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1111.23/1111.60 c 1044s| 4310k| 4310k| 0 | 0.0 |1281M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1113.84/1114.20 c 1046s| 4320k| 4320k| 0 | 0.0 |1284M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1116.33/1116.79 c 1048s| 4330k| 4330k| 0 | 0.0 |1287M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1118.93/1119.39 c 1051s| 4340k| 4340k| 0 | 0.0 |1290M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1121.53/1122.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.53/1122.00 c 1053s| 4350k| 4350k| 0 | 0.0 |1293M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1124.22/1124.60 c 1056s| 4360k| 4360k| 0 | 0.0 |1296M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1126.83/1127.21 c 1058s| 4370k| 4370k| 0 | 0.0 |1298M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1129.43/1129.81 c 1061s| 4380k| 4380k| 0 | 0.0 |1301M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1132.02/1132.42 c 1063s| 4390k| 4390k| 0 | 0.0 |1304M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1134.63/1135.02 c 1066s| 4400k| 4400k| 0 | 0.0 |1307M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1137.22/1137.63 c 1068s| 4410k| 4410k| 0 | 0.0 |1310M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1139.83/1140.23 c 1070s| 4420k| 4420k| 0 | 0.0 |1313M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1142.42/1142.85 c 1073s| 4430k| 4430k| 0 | 0.0 |1316M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1145.02/1145.44 c 1075s| 4440k| 4440k| 0 | 0.0 |1319M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1147.62/1148.05 c 1078s| 4450k| 4450k| 0 | 0.0 |1322M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1150.22/1150.65 c 1080s| 4460k| 4460k| 0 | 0.0 |1325M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1152.82/1153.24 c 1083s| 4470k| 4470k| 0 | 0.0 |1328M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1155.42/1155.85 c 1085s| 4480k| 4480k| 0 | 0.0 |1331M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1158.02/1158.45 c 1088s| 4490k| 4490k| 0 | 0.0 |1334M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1160.61/1161.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.61/1161.05 c 1090s| 4500k| 4500k| 0 | 0.0 |1337M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1163.21/1163.64 c 1093s| 4510k| 4510k| 0 | 0.0 |1340M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1165.82/1166.25 c 1095s| 4520k| 4520k| 0 | 0.0 |1343M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1168.41/1168.84 c 1097s| 4530k| 4530k| 0 | 0.0 |1346M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1171.02/1171.44 c 1100s| 4540k| 4540k| 0 | 0.0 |1349M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1173.62/1174.02 c 1102s| 4550k| 4550k| 0 | 0.0 |1352M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1176.21/1176.62 c 1105s| 4560k| 4560k| 0 | 0.0 |1355M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1178.82/1179.21 c 1107s| 4570k| 4570k| 0 | 0.0 |1358M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1179.42/1179.83 c (node 4572354) switching to memory saving mode (mem: 1296.0M/1620.0M)
1180.82/1181.24 o 0
1180.82/1181.24 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 650 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | 0.000000e+00 | 100.00%
1181.02/1181.41 o -2047
1181.02/1181.41 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 65 | 0 | 0 | 0 | 1 | 0 |-1.310710e+05 |-2.047000e+03 | 98.44%
1181.11/1181.59 o -2048
1181.11/1181.59 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 65 | 0 | 0 | 0 | 1 | 0 |-1.310710e+05 |-2.048000e+03 | 98.44%
1181.31/1181.76 o -4095
1181.31/1181.76 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 68 | 0 | 0 | 0 | 4 | 0 |-1.310710e+05 |-4.095000e+03 | 96.88%
1181.51/1181.93 o -4096
1181.51/1181.93 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 68 | 0 | 0 | 0 | 4 | 0 |-1.310710e+05 |-4.096000e+03 | 96.87%
1181.81/1182.28 o -5120
1181.81/1182.28 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 89 | 0 | 0 | 0 | 156 | 0 |-1.310710e+05 |-5.120000e+03 | 96.09%
1182.61/1183.01 o -6144
1182.61/1183.01 c *1111s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 96 | 0 | 0 | 0 | 470 | 0 |-1.310710e+05 |-6.144000e+03 | 95.31%
1183.01/1183.42 o -8192
1183.01/1183.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.01/1183.42 c *1111s| 4574k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 107 | 0 | 0 | 0 | 662 | 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1189.81/1190.27 c 1118s| 4580k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 83 | 0 | 0 | 0 |4476 | 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1204.81/1205.26 c 1132s| 4590k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 94 | 0 | 0 | 0 | 11k| 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1218.31/1218.71 c 1145s| 4600k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 110 | 0 | 0 | 0 | 17k| 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1229.40/1229.89 o -10240
1229.40/1229.89 c *1156s| 4608k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 125 | 0 | 0 | 0 | 22k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1231.90/1232.39 c 1159s| 4610k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 115 | 0 | 0 | 0 | 23k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1247.70/1248.19 c 1174s| 4620k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 123 | 0 | 0 | 0 | 30k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1261.69/1262.12 c 1188s| 4630k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 101 | 0 | 0 | 0 | 36k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1267.90/1268.31 o -12288
1267.90/1268.31 c *1194s| 4634k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 94 | 0 | 0 | 0 | 39k| 0 |-1.310710e+05 |-1.228800e+04 | 90.62%
1269.58/1270.07 o -14336
1269.58/1270.07 c *1195s| 4635k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 96 | 0 | 0 | 0 | 40k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1273.19/1273.68 c 1199s| 4640k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 99 | 0 | 0 | 0 | 43k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1282.28/1282.79 c 1208s| 4650k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 135 | 0 | 0 | 0 | 49k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1291.78/1292.22 c 1217s| 4660k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 130 | 0 | 0 | 0 | 55k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1301.18/1301.63 c 1226s| 4670k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 145 | 0 | 0 | 0 | 61k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1311.47/1311.97 c 1235s| 4680k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 159 | 0 | 0 | 0 | 67k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1322.66/1323.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.66/1323.11 c 1246s| 4690k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 167 | 0 | 0 | 0 | 74k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1332.36/1332.90 c 1256s| 4700k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 123 | 0 | 0 | 0 | 80k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1342.46/1342.93 c 1265s| 4710k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 177 | 0 | 0 | 0 | 86k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1354.16/1354.68 c 1277s| 4720k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 218 | 0 | 0 | 0 | 92k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1364.56/1365.05 c 1287s| 4730k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 126 | 0 | 0 | 0 | 98k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1374.75/1375.26 c 1296s| 4740k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 145 | 0 | 0 | 0 | 104k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1384.95/1385.45 c 1306s| 4750k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 144 | 0 | 0 | 0 | 110k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1395.25/1395.71 c 1316s| 4760k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 116 | 0 | 0 | 0 | 116k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1405.25/1405.74 c 1326s| 4770k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 156 | 0 | 0 | 0 | 123k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1415.25/1415.71 c 1335s| 4780k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 198 | 0 | 0 | 0 | 128k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1426.14/1426.66 c 1346s| 4790k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 127 | 0 | 0 | 0 | 135k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1437.33/1437.83 c 1357s| 4800k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 133 | 0 | 0 | 0 | 141k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1447.52/1448.00 c 1366s| 4810k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 133 | 0 | 0 | 0 | 147k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1457.32/1457.89 c 1376s| 4820k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 166 | 0 | 0 | 0 | 153k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1467.02/1467.53 c 1385s| 4830k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 128 | 0 | 0 | 0 | 159k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1477.51/1478.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.51/1478.04 c 1395s| 4840k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 161 | 0 | 0 | 0 | 165k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1488.11/1488.65 c 1405s| 4850k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 186 | 0 | 0 | 0 | 171k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1498.71/1499.23 c 1416s| 4860k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 113 | 0 | 0 | 0 | 177k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1509.20/1509.79 c 1426s| 4870k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 148 | 0 | 0 | 0 | 183k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1519.80/1520.31 c 1436s| 4880k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 140 | 0 | 0 | 0 | 189k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1530.80/1531.30 c 1447s| 4890k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 143 | 0 | 0 | 0 | 196k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1541.30/1541.90 c 1457s| 4900k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 153 | 0 | 0 | 0 | 202k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1552.29/1552.82 c 1467s| 4910k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 143 | 0 | 0 | 0 | 208k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1562.68/1563.24 c 1477s| 4920k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 132 | 0 | 0 | 0 | 214k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1573.28/1573.88 c 1488s| 4930k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 150 | 0 | 0 | 0 | 220k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1583.58/1584.15 c 1497s| 4940k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 150 | 0 | 0 | 0 | 226k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1592.87/1593.40 c 1506s| 4950k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 179 | 0 | 0 | 0 | 232k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1602.78/1603.35 c 1516s| 4960k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 151 | 0 | 0 | 0 | 238k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1613.18/1613.72 c 1526s| 4970k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 230 | 0 | 0 | 0 | 244k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1623.87/1624.49 c 1536s| 4980k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 125 | 0 | 0 | 0 | 250k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1634.57/1635.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.57/1635.11 c 1546s| 4990k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 98 | 0 | 0 | 0 | 256k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1645.46/1646.03 c 1557s| 5000k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 119 | 0 | 0 | 0 | 263k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1657.26/1657.80 c 1568s| 5010k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 127 | 0 | 0 | 0 | 269k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1668.46/1669.02 c 1579s| 5020k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 91 | 0 | 0 | 0 | 275k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1677.75/1678.34 c 1588s| 5030k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 175 | 0 | 0 | 0 | 281k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1687.64/1688.22 c 1598s| 5040k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 215 | 0 | 0 | 0 | 287k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1720.34/1720.96 c 1630s| 5050k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 230 | 0 | 0 | 0 | 293k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1754.53/1755.10 c 1664s| 5060k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 229 | 0 | 0 | 0 | 300k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1765.23/1765.85 o -16383
1765.23/1765.85 c *1674s| 5063k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 229 | 0 | 0 | 0 | 302k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1773.82/1774.47 c 1683s| 5070k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 142 | 0 | 0 | 0 | 306k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1786.82/1787.41 c 1695s| 5080k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 140 | 0 | 0 | 0 | 312k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1799.41/1800.03 c 1708s| 5090k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 140 | 0 | 0 | 0 | 318k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1708.11
1800.03/1800.61 c Solving Nodes : 5090457
1800.03/1800.61 c Primal Bound : -1.63830000000000e+04 (12 solutions)
1800.03/1800.61 c Dual Bound : -1.31071000000000e+05
1800.03/1800.61 c Gap : 87.50 %
1800.03/1800.61 s SATISFIABLE
1800.03/1800.61 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 -x223 -x222 -x221 -x220 -x218 -x378 -x324
1800.03/1800.61 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372
1800.03/1800.61 v -x318 -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 x210 -x369 -x315 -x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173
1800.03/1800.61 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 -x259
1800.03/1800.61 v x205 -x157 -x365 -x311 -x258 x204 -x156 -x363 -x310 x257 -x203 -x155 -x362 -x309 -x256 x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.03/1800.61 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1800.03/1800.61 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.03/1800.61 v -x98 x96 -x95 -x94 -x760 -x759 -x356 -x302 -x249 -x195 -x147 -x93 x355 -x301 -x248 -x194 -x146 -x92 -x354 -x300 -x247 -x193
1800.03/1800.61 v -x145 x91 -x351 -x299 -x246 -x192 -x144 -x90 -x350 -x298 x245 -x191 -x143 -x89 -x349 -x296 -x244 -x190 x141 -x88 -x758 -x348
1800.03/1800.61 v -x295 -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 -x293 -x239 -x187 -x138 -x84 -x345 x292 -x238 -x185 -x137
1800.03/1800.61 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43
1800.03/1800.61 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81
1800.03/1800.61 v -x29 -x755 -x342 -x289 -x235 x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 x79 -x27 -x339 -x287 -x233 -x184 x132 -x78 -x26 -x338
1800.03/1800.61 v -x285 -x232 -x183 -x129 x77 -x25 -x337 -x284 -x231 -x182 -x128 -x76 -x24 -x336 -x283 -x229 -x181 -x127 -x74 x23 -x335 -x282
1800.03/1800.61 v -x228 -x180 -x126 -x73 x22 -x334 -x281 -x227 -x179 -x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 x779 x778 x776 -x775 -x774
1800.03/1800.61 v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 -x730 -x719 -x708 x697 -x686 -x674 -x663 -x652 -x641
1800.03/1800.61 v -x630 -x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 -x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.03/1800.61 v x475 -x332 -x279 -x225 -x177 -x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.03/1800.61 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 -x727 -x726
1800.03/1800.61 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x707 -x706 -x705 -x704 -x703
1800.03/1800.61 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.03/1800.61 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 x664 -x662 -x661 x660 -x659 -x658 -x657 -x656
1800.03/1800.61 v -x655 -x654 -x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.03/1800.61 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.03/1800.61 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587
1800.03/1800.61 v -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.03/1800.61 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x540 -x539
1800.03/1800.61 v -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.03/1800.61 v -x515 -x514 -x513 -x512 -x511 x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 -x493
1800.03/1800.61 v x492 -x491 -x490 -x489 -x488 x487 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.03/1800.61 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.03/1800.61 v -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422
1800.03/1800.61 v x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.03/1800.61 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375 -x364
1800.03/1800.61 v -x353 x341 -x330 -x319 -x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.03/1800.61 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 x130 -x19 -x18 -x17 -x16 -x15
1800.03/1800.61 v x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1708.11
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664140-1276361808.opb
1800.03/1800.61 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 65 initial, 65 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664140-1276361808.opb
1800.03/1800.61 c Variables : 785 (785 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 64 initial, 272 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.00 2 0 0 2 0 1 2 2
1800.03/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 16 0 7506564 0 4925913 80202 2892414 0 0 0
1800.03/1800.61 c setppc : 48 0 7426351 0 4925902 117247 16027036 0 0 0
1800.03/1800.61 c logicor : 0+ 0 1186185 0 0 57627 1073045 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 4925913 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c knapsack : 254.05 0.00 240.07 0.00 13.98
1800.03/1800.61 c setppc : 441.83 0.00 186.01 0.00 255.82
1800.03/1800.61 c logicor : 76.75 0.00 76.75 0.00 0.00
1800.03/1800.61 c countsols : 1.85 0.00 0.00 0.00 1.85
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 4.22 2 0 0
1800.03/1800.61 c rootredcost : 3.53 0 0 0
1800.03/1800.61 c pseudoobj : 73.59 7568796 62431 3575
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 395.59 317505 317505 3480916 266.9 11583 175.1 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 2 2 2 5.5 1 218.0 -
1800.03/1800.61 c applied globally : - - - 29503 50.5 - - -
1800.03/1800.61 c applied locally : - - - 289291 174.7 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 614.66 4925901 0 0 0 0 9851802
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 2.07 - 12
1800.03/1800.61 c oneopt : 2.49 0 0
1800.03/1800.61 c trivial : 0.00 2 0
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 2.44 0 0
1800.03/1800.61 c trysol : 2.14 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 5090457
1800.03/1800.61 c nodes (total) : 5090457
1800.03/1800.61 c nodes left : 4564845
1800.03/1800.61 c max depth : 659
1800.03/1800.61 c max depth (total): 659
1800.03/1800.61 c backtracks : 379104 (7.4%)
1800.03/1800.61 c delayed cutoffs : 187020
1800.03/1800.61 c repropagations : 418315 (8305245 domain reductions, 152965 cutoffs)
1800.03/1800.61 c avg switch length: 5.40
1800.03/1800.61 c switching time : 92.47
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 12 (12 improvements)
1800.03/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 4572965 nodes, 1108.89 seconds, depth 650, found by <relaxation>)
1800.03/1800.61 c Primal Bound : -1.63830000000000e+04 (in run 1, after 5063110 nodes, 1674.14 seconds, depth 444, found by <relaxation>)
1800.03/1800.61 c Dual Bound : -1.31071000000000e+05
1800.03/1800.61 c Gap : 87.50 %
1800.03/1800.61 c Root Dual Bound : -1.31071000000000e+05
1800.03/1800.61 c Root Iterations : 0
OK -16383
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664140-1276361808/watcher-2664140-1276361808 -o /tmp/evaluation-result-2664140-1276361808/solver-2664140-1276361808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664140-1276361808.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: 0.92 0.98 0.99 3/106 13482 /proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=6584 CPUtime=0 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 11782129 6742016 979 1992294400 4194304 7136930 140733258994464 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13482/statm: 1646 989 254 719 0 925 0 [startup+0.086716 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13482 /proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=13904 CPUtime=0.08 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4463 0 0 0 6 2 0 0 20 0 1 0 11782129 14237696 2746 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 3476 2746 391 719 0 2755 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13904 [startup+0.101717 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13482 /proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=14036 CPUtime=0.09 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4496 0 0 0 7 2 0 0 20 0 1 0 11782129 14372864 2779 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 3509 2779 391 719 0 2788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14036 [startup+0.301737 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13482 /proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=14168 CPUtime=0.29 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4527 0 0 0 26 3 0 0 20 0 1 0 11782129 14508032 2810 1992294400 4194304 7136930 140733258994464 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 3542 2810 391 719 0 2821 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14168 [startup+0.701773 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13482 /proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=14956 CPUtime=0.69 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4759 0 0 0 64 5 0 0 20 0 1 0 11782129 15314944 3042 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 3739 3042 391 719 0 3018 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14956 [startup+1.50185 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13483 /proc/meminfo: memFree=1818872/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=16276 CPUtime=1.49 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 5074 0 0 0 138 11 0 0 22 0 1 0 11782129 16666624 3357 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 4069 3357 391 719 0 3348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16276 [startup+3.101 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13483 /proc/meminfo: memFree=1817136/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=18804 CPUtime=3.09 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 5732 0 0 0 286 23 0 0 25 0 1 0 11782129 19255296 4015 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 4701 4015 391 719 0 3980 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18804 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13483 /proc/meminfo: memFree=1811308/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=23604 CPUtime=6.28 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 7019 0 0 0 584 44 0 0 25 0 1 0 11782129 24170496 5302 1992294400 4194304 7136930 140733258994464 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 5901 5302 391 719 0 5180 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23604 [startup+12.7009 s] /proc/loadavg: 0.94 0.98 0.99 2/107 13483 /proc/meminfo: memFree=1803496/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=30576 CPUtime=12.68 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 8831 0 0 0 1182 86 0 0 25 0 1 0 11782129 31309824 7114 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 7644 7114 391 719 0 6923 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30576 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 13485 /proc/meminfo: memFree=1786880/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=47612 CPUtime=25.48 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 12802 0 0 0 2383 165 0 0 25 0 1 0 11782129 48754688 11085 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 11903 11085 391 719 0 11182 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47612 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 13485 /proc/meminfo: memFree=1755632/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=82248 CPUtime=51.08 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 20820 0 0 0 4784 324 0 0 25 0 1 0 11782129 84221952 19103 1992294400 4194304 7136930 140733258994464 18446744073709551615 4642966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 20562 19103 391 719 0 19841 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 82248 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 13487 /proc/meminfo: memFree=1693880/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=140188 CPUtime=102.27 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 36085 0 0 0 9588 639 0 0 25 0 1 0 11782129 143552512 34368 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 35047 34368 391 719 0 34326 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 140188 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13487 /proc/meminfo: memFree=1623324/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=215556 CPUtime=162.24 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 53791 0 0 0 15222 1002 0 0 25 0 1 0 11782129 220729344 52074 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 53889 52074 391 719 0 53168 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 215556 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13489 /proc/meminfo: memFree=1550660/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=283404 CPUtime=222.22 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 71653 0 0 0 20854 1368 0 0 25 0 1 0 11782129 290205696 69936 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 70851 69936 391 719 0 70130 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 283404 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13500 /proc/meminfo: memFree=1479112/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=367792 CPUtime=282.18 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 89554 0 0 0 26468 1750 0 0 25 0 1 0 11782129 376619008 87837 1992294400 4194304 7136930 140733258994464 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 91948 87837 391 719 0 91227 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 367792 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13502 /proc/meminfo: memFree=1406324/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=435992 CPUtime=342.16 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 107504 0 0 0 32100 2116 0 0 25 0 1 0 11782129 446455808 105787 1992294400 4194304 7136930 140733258994464 18446744073709551615 4625294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 108998 105787 391 719 0 108277 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 435992 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13504 /proc/meminfo: memFree=1333908/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=505284 CPUtime=402.15 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 125728 0 0 0 37736 2479 0 0 25 0 1 0 11782129 517410816 124011 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 126321 124011 391 719 0 125600 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 505284 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13504 /proc/meminfo: memFree=1263724/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=571528 CPUtime=462.12 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 143192 0 0 0 43359 2853 0 0 25 0 1 0 11782129 585244672 141475 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 142882 141475 391 719 0 142161 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 571528 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13506 /proc/meminfo: memFree=1191928/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=641116 CPUtime=522.1 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 161491 0 0 0 48991 3219 0 0 25 0 1 0 11782129 656502784 159774 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 160279 159774 391 719 0 159558 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 641116 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13508 /proc/meminfo: memFree=1118892/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=741820 CPUtime=582.08 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 179346 0 0 0 54624 3584 0 0 25 0 1 0 11782129 759623680 177629 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 185455 177629 391 719 0 184734 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 741820 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13510 /proc/meminfo: memFree=1044120/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=811764 CPUtime=642.07 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 197772 0 0 0 60262 3945 0 0 25 0 1 0 11782129 831246336 196055 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 202941 196055 391 719 0 202220 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 811764 [startup+702.301 s] ################ # More data... # ################ /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 323139 0 0 0 99726 6469 0 0 25 0 1 0 11782129 1318547456 321422 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 321911 321422 391 719 0 321190 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1287644 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13525 /proc/meminfo: memFree=468636/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1421344 CPUtime=1121.93 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 341081 0 0 0 105362 6831 0 0 25 0 1 0 11782129 1455456256 339364 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 355336 339364 391 719 0 354615 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1421344 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13527 /proc/meminfo: memFree=400064/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1486304 CPUtime=1181.92 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376032 0 0 0 111012 7180 0 0 25 0 1 0 11782129 1521975296 356452 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 371576 356452 397 719 0 370855 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1486304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13529 /proc/meminfo: memFree=396716/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1489376 CPUtime=1241.89 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376796 0 0 0 116836 7353 0 0 25 0 1 0 11782129 1525121024 357216 1992294400 4194304 7136930 140733258994464 18446744073709551615 4740567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372344 357216 398 719 0 371623 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1489376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13531 /proc/meminfo: memFree=395972/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490036 CPUtime=1301.89 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376977 0 0 0 122622 7567 0 0 25 0 1 0 11782129 1525796864 357397 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372509 357397 398 719 0 371788 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1490036 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13531 /proc/meminfo: memFree=395600/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490440 CPUtime=1361.85 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377064 0 0 0 128392 7793 0 0 25 0 1 0 11782129 1526210560 357484 1992294400 4194304 7136930 140733258994464 18446744073709551615 4624923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372610 357484 398 719 0 371889 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1490440 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13533 /proc/meminfo: memFree=395476/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490572 CPUtime=1421.85 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377100 0 0 0 134160 8025 0 0 25 0 1 0 11782129 1526345728 357520 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372643 357520 398 719 0 371922 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1490572 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13535 /proc/meminfo: memFree=395352/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490708 CPUtime=1481.82 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377119 0 0 0 139934 8248 0 0 25 0 1 0 11782129 1526484992 357539 1992294400 4194304 7136930 140733258994464 18446744073709551615 5908943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372677 357539 398 719 0 371956 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1490708 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13537 /proc/meminfo: memFree=395228/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490708 CPUtime=1541.79 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377128 0 0 0 145711 8468 0 0 25 0 1 0 11782129 1526484992 357548 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372677 357548 398 719 0 371956 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1490708 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13539 /proc/meminfo: memFree=395104/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490844 CPUtime=1601.77 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377158 0 0 0 151484 8693 0 0 25 0 1 0 11782129 1526624256 357578 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372711 357578 398 719 0 371990 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1490844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13539 /proc/meminfo: memFree=394980/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1490976 CPUtime=1661.75 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377192 0 0 0 157265 8910 0 0 25 0 1 0 11782129 1526759424 357612 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372744 357612 398 719 0 372023 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1490976 [startup+1722.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 13541 /proc/meminfo: memFree=394732/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491108 CPUtime=1721.73 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377239 0 0 0 163126 9047 0 0 25 0 1 0 11782129 1526894592 357659 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372777 357659 398 719 0 372056 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1491108 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 13543 /proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491248 CPUtime=1781.72 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377254 0 0 0 169032 9140 0 0 25 0 1 0 11782129 1527037952 357674 1992294400 4194304 7136930 140733258994464 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372812 357674 398 719 0 372091 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1491248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13543 /proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491248 CPUtime=1800.03 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377258 0 0 0 170812 9191 0 0 25 0 1 0 11782129 1527037952 357678 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13482/statm: 372812 357678 398 719 0 372091 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1491248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13482 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13543 /proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491248 CPUtime=1800.81 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 170890 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13482/statm: 372812 357686 403 719 0 372091 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 1491248 [startup+1802.2 s] /proc/loadavg: 1.02 1.01 1.00 2/108 13544 /proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491248 CPUtime=1801.61 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 170970 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13482/statm: 372812 357686 403 719 0 372091 0 Current children cumulated CPU time (s) 1801.61 Current children cumulated vsize (KiB) 1491248 [startup+1802.6 s] /proc/loadavg: 1.02 1.01 1.00 2/108 13544 /proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=1491248 CPUtime=1802.01 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 171010 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13482/statm: 372812 357686 403 719 0 372091 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 1491248 [startup+1802.7 s] /proc/loadavg: 1.02 1.01 1.00 2/108 13544 /proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956 [pid=13482] ppid=13480 vsize=0 CPUtime=1802.11 /proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4203524 377266 0 0 0 171012 9199 0 0 25 0 1 0 11782129 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/13482/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.17 CPU user time (s): 1710.12 CPU system time (s): 92.047 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1615300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1710.12 system time used= 92.047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 377266 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= 4 involuntary context switches= 6205 runsolver used 3.3045 second user time and 8.22275 second system time The end
Begin job on node015 at 2010-06-12 18:56:48 IDJOB=2664140 IDBENCH=1877 IDSOLVER=1167 FILE ID=node015/2664140-1276361808 PBS_JOBID= 11173216 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.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-2664140-1276361808/watcher-2664140-1276361808 -o /tmp/evaluation-result-2664140-1276361808/solver-2664140-1276361808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664140-1276361808.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=1548736288 node015.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830692 kB Buffers: 39876 kB Cached: 119092 kB SwapCached: 13992 kB Active: 107780 kB Inactive: 67716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830692 kB SwapTotal: 4192956 kB SwapFree: 4135796 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 11388 kB Mapped: 9224 kB Slab: 31100 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181532 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= 62544 MiB End job on node015 at 2010-06-12 19:26:51