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) | 5462 | 1802.17 | 1802.64 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | ed36462db2ffa04ea65b986069441496 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.110982 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2642 |
| Optimality of the best value was proved | YES |
| Number of variables | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-2664723-1276484081.opb>
0.00/0.02 c original problem has 907 variables (907 bin, 0 int, 0 impl, 0 cont) and 403 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 5 del vars, 2 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 254 impls, 259 clqs
0.00/0.04 c (round 2) 8 del vars, 5 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 256 impls, 258 clqs
0.00/0.04 c (round 3) 8 del vars, 6 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 256 impls, 258 clqs
0.00/0.05 c (round 4) 8 del vars, 13 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 383 upgd conss, 256 impls, 258 clqs
0.06/0.08 c (0.1s) probing: 101/899 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.08 c presolving (5 rounds):
0.06/0.08 c 8 deleted vars, 13 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.08 c 256 implications, 258 cliques
0.06/0.08 c presolved problem has 899 variables (899 bin, 0 int, 0 impl, 0 cont) and 390 constraints
0.06/0.08 c 258 constraints of type <setppc>
0.06/0.08 c 7 constraints of type <linear>
0.06/0.08 c 125 constraints of type <logicor>
0.06/0.08 c transformed objective value is always integral (scale: 1)
0.06/0.08 c Presolving Time: 0.05
0.06/0.08 c - non default parameters ----------------------------------------------------------------------
0.06/0.08 c # SCIP version 1.2.1.2
0.06/0.08 c
0.06/0.08 c # frequency for displaying node information lines
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.08 c display/freq = 10000
0.06/0.08 c
0.06/0.08 c # maximal time in seconds to run
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/time = 1799.99
0.06/0.08 c
0.06/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/memory = 1620
0.06/0.08 c
0.06/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c lp/solvefreq = -1
0.06/0.08 c
0.06/0.08 c # should presolving try to simplify inequalities
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/linear/simplifyinequalities = TRUE
0.06/0.08 c
0.06/0.08 c # should presolving try to simplify knapsacks
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.08 c
0.06/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c separating/rapidlearning/freq = 0
0.06/0.08 c
0.06/0.08 c -----------------------------------------------------------------------------------------------
0.06/0.08 c start solving
0.06/0.08 c
0.06/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.09 c 0.1s| 1 | 2 | 0 | - |2277k| 0 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.750000e+02 | -- | Inf
4.19/4.28 c 4.0s| 10000 | 10001 | 0 | 0.0 |6523k| 39 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.660000e+02 | -- | Inf
8.39/8.40 c 8.0s| 20000 | 20001 | 0 | 0.0 | 10M| 41 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.650000e+02 | -- | Inf
12.48/12.51 c 11.9s| 30000 | 30001 | 0 | 0.0 | 14M| 43 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.640000e+02 | -- | Inf
16.59/16.63 c 15.8s| 40000 | 40001 | 0 | 0.0 | 19M| 49 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.640000e+02 | -- | Inf
20.59/20.69 c 19.6s| 50000 | 50001 | 0 | 0.0 | 23M| 49 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.640000e+02 | -- | Inf
24.69/24.75 c 23.5s| 60000 | 60001 | 0 | 0.0 | 27M| 49 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
28.78/28.83 c 27.4s| 70000 | 70001 | 0 | 0.0 | 31M| 49 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
32.89/32.91 c 31.2s| 80000 | 80001 | 0 | 0.0 | 35M| 49 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
36.88/36.96 c 35.0s| 90000 | 90001 | 0 | 0.0 | 39M| 51 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
40.88/40.99 c 38.9s|100000 |100001 | 0 | 0.0 | 43M| 51 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
44.99/45.03 c 42.7s|110000 |110001 | 0 | 0.0 | 48M| 51 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
48.98/49.09 c 46.5s|120000 |120001 | 0 | 0.0 | 52M| 51 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.630000e+02 | -- | Inf
53.08/53.18 c 50.4s|130000 |130001 | 0 | 0.0 | 56M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
57.19/57.26 c 54.3s|140000 |140001 | 0 | 0.0 | 60M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
61.28/61.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.28/61.37 c 58.2s|150000 |150001 | 0 | 0.0 | 64M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
65.47/65.51 c 62.1s|160000 |160001 | 0 | 0.0 | 69M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
69.58/69.63 c 66.0s|170000 |170001 | 0 | 0.0 | 73M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
73.68/73.73 c 69.9s|180000 |180001 | 0 | 0.0 | 77M| 57 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
77.77/77.84 c 73.8s|190000 |190001 | 0 | 0.0 | 82M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
81.77/81.89 c 77.6s|200000 |200001 | 0 | 0.0 | 86M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
85.87/85.94 c 81.5s|210000 |210001 | 0 | 0.0 | 90M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
89.97/90.01 c 85.3s|220000 |220001 | 0 | 0.0 | 94M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
93.97/94.08 c 89.2s|230000 |230001 | 0 | 0.0 | 98M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
98.07/98.14 c 93.0s|240000 |240001 | 0 | 0.0 | 102M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
102.18/102.22 c 96.9s|250000 |250001 | 0 | 0.0 | 107M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
106.26/106.30 c 101s|260000 |260001 | 0 | 0.0 | 111M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
110.37/110.42 c 105s|270000 |270001 | 0 | 0.0 | 115M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.620000e+02 | -- | Inf
114.46/114.55 c 109s|280000 |280001 | 0 | 0.0 | 119M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
118.56/118.69 c 112s|290000 |290001 | 0 | 0.0 | 124M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
122.77/122.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.77/122.82 c 116s|300000 |300001 | 0 | 0.0 | 128M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
126.86/126.97 c 120s|310000 |310001 | 0 | 0.0 | 132M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
131.06/131.13 c 124s|320000 |320001 | 0 | 0.0 | 137M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
135.27/135.32 c 128s|330000 |330001 | 0 | 0.0 | 141M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
139.45/139.54 c 132s|340000 |340001 | 0 | 0.0 | 146M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
143.86/143.91 c 136s|350000 |350001 | 0 | 0.0 | 151M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
148.25/148.34 c 141s|360000 |360001 | 0 | 0.0 | 157M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
152.65/152.75 c 145s|370000 |370001 | 0 | 0.0 | 162M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
157.05/157.16 c 149s|380000 |380001 | 0 | 0.0 | 168M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
161.45/161.55 c 153s|390000 |390001 | 0 | 0.0 | 173M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
165.85/165.93 c 157s|400000 |400001 | 0 | 0.0 | 178M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
170.25/170.31 c 161s|410000 |410001 | 0 | 0.0 | 183M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
174.55/174.67 c 166s|420000 |420001 | 0 | 0.0 | 188M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
178.95/179.04 c 170s|430000 |430001 | 0 | 0.0 | 193M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
183.35/183.40 c 174s|440000 |440001 | 0 | 0.0 | 198M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
187.64/187.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.64/187.75 c 178s|450000 |450001 | 0 | 0.0 | 203M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
192.05/192.10 c 182s|460000 |460001 | 0 | 0.0 | 208M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
196.34/196.44 c 186s|470000 |470001 | 0 | 0.0 | 213M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
200.64/200.77 c 190s|480000 |480001 | 0 | 0.0 | 218M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
205.04/205.10 c 194s|490000 |490001 | 0 | 0.0 | 223M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
209.34/209.42 c 198s|500000 |500001 | 0 | 0.0 | 228M| 59 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
213.64/213.73 c 203s|510000 |510001 | 0 | 0.0 | 232M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
217.94/218.05 c 207s|520000 |520001 | 0 | 0.0 | 238M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
222.34/222.42 c 211s|530000 |530001 | 0 | 0.0 | 243M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.610000e+02 | -- | Inf
226.63/226.77 c 215s|540000 |540001 | 0 | 0.0 | 249M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
231.03/231.12 c 219s|550000 |550001 | 0 | 0.0 | 254M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
235.34/235.47 c 223s|560000 |560001 | 0 | 0.0 | 259M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
239.74/239.83 c 227s|570000 |570001 | 0 | 0.0 | 265M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
244.04/244.18 c 231s|580000 |580001 | 0 | 0.0 | 270M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
248.44/248.52 c 236s|590000 |590001 | 0 | 0.0 | 276M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
252.73/252.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.73/252.87 c 240s|600000 |600001 | 0 | 0.0 | 281M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
257.12/257.20 c 244s|610000 |610001 | 0 | 0.0 | 286M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
261.43/261.54 c 248s|620000 |620001 | 0 | 0.0 | 291M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
265.83/265.90 c 252s|630000 |630001 | 0 | 0.0 | 297M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
270.23/270.31 c 256s|640000 |640001 | 0 | 0.0 | 303M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
274.63/274.71 c 260s|650000 |650001 | 0 | 0.0 | 308M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
279.02/279.12 c 265s|660000 |660001 | 0 | 0.0 | 314M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
283.42/283.53 c 269s|670000 |670001 | 0 | 0.0 | 320M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
287.82/287.91 c 273s|680000 |680001 | 0 | 0.0 | 326M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
292.22/292.31 c 277s|690000 |690001 | 0 | 0.0 | 331M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
296.61/296.71 c 281s|700000 |700001 | 0 | 0.0 | 337M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
300.91/301.09 c 285s|710000 |710001 | 0 | 0.0 | 342M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.600000e+02 | -- | Inf
305.31/305.48 c 290s|720000 |720001 | 0 | 0.0 | 348M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
309.81/309.90 c 294s|730000 |730001 | 0 | 0.0 | 354M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
314.21/314.31 c 298s|740000 |740001 | 0 | 0.0 | 359M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
318.61/318.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.61/318.72 c 302s|750000 |750001 | 0 | 0.0 | 365M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
323.01/323.11 c 306s|760000 |760001 | 0 | 0.0 | 371M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
327.41/327.51 c 310s|770000 |770001 | 0 | 0.0 | 377M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
331.81/331.91 c 315s|780000 |780001 | 0 | 0.0 | 382M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
336.21/336.33 c 319s|790000 |790001 | 0 | 0.0 | 388M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
340.61/340.72 c 323s|800000 |800001 | 0 | 0.0 | 393M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
345.00/345.11 c 327s|810000 |810001 | 0 | 0.0 | 399M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
349.40/349.50 c 331s|820000 |820001 | 0 | 0.0 | 405M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
353.70/353.89 c 336s|830000 |830001 | 0 | 0.0 | 410M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
358.10/358.29 c 340s|840000 |840001 | 0 | 0.0 | 416M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
362.50/362.69 c 344s|850000 |850001 | 0 | 0.0 | 421M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
366.90/367.07 c 348s|860000 |860001 | 0 | 0.0 | 427M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
371.30/371.45 c 352s|870000 |870001 | 0 | 0.0 | 432M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
375.70/375.85 c 356s|880000 |880001 | 0 | 0.0 | 438M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
380.08/380.21 c 360s|890000 |890001 | 0 | 0.0 | 443M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
384.38/384.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.38/384.59 c 365s|900000 |900001 | 0 | 0.0 | 449M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
388.78/388.96 c 369s|910000 |910001 | 0 | 0.0 | 454M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
393.18/393.35 c 373s|920000 |920001 | 0 | 0.0 | 460M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
397.58/397.73 c 377s|930000 |930001 | 0 | 0.0 | 465M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
401.88/402.09 c 381s|940000 |940001 | 0 | 0.0 | 470M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
406.28/406.45 c 385s|950000 |950001 | 0 | 0.0 | 476M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
410.68/410.82 c 389s|960000 |960001 | 0 | 0.0 | 481M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
414.97/415.18 c 394s|970000 |970001 | 0 | 0.0 | 486M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
419.38/419.56 c 398s|980000 |980001 | 0 | 0.0 | 492M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
423.78/423.93 c 402s|990000 |990001 | 0 | 0.0 | 497M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
428.07/428.29 c 406s| 1000k| 1000k| 0 | 0.0 | 502M| 61 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
432.47/432.63 c 410s| 1010k| 1010k| 0 | 0.0 | 508M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
436.77/436.96 c 414s| 1020k| 1020k| 0 | 0.0 | 514M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
441.16/441.30 c 418s| 1030k| 1030k| 0 | 0.0 | 520M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
445.47/445.63 c 422s| 1040k| 1040k| 0 | 0.0 | 525M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
449.77/449.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.77/449.95 c 427s| 1050k| 1050k| 0 | 0.0 | 531M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
454.07/454.27 c 431s| 1060k| 1060k| 0 | 0.0 | 536M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
458.36/458.59 c 435s| 1070k| 1070k| 0 | 0.0 | 542M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
462.76/462.91 c 439s| 1080k| 1080k| 0 | 0.0 | 547M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
467.06/467.23 c 443s| 1090k| 1090k| 0 | 0.0 | 553M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
471.36/471.54 c 447s| 1100k| 1100k| 0 | 0.0 | 558M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
475.66/475.85 c 451s| 1110k| 1110k| 0 | 0.0 | 563M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
479.96/480.14 c 455s| 1120k| 1120k| 0 | 0.0 | 569M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
484.25/484.46 c 459s| 1130k| 1130k| 0 | 0.0 | 574M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
488.65/488.80 c 463s| 1140k| 1140k| 0 | 0.0 | 580M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
492.95/493.16 c 468s| 1150k| 1150k| 0 | 0.0 | 586M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
497.26/497.49 c 472s| 1160k| 1160k| 0 | 0.0 | 592M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
501.66/501.82 c 476s| 1170k| 1170k| 0 | 0.0 | 597M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
505.96/506.19 c 480s| 1180k| 1180k| 0 | 0.0 | 603M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
510.35/510.53 c 484s| 1190k| 1190k| 0 | 0.0 | 609M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
514.65/514.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.65/514.86 c 488s| 1200k| 1200k| 0 | 0.0 | 615M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
518.95/519.19 c 492s| 1210k| 1210k| 0 | 0.0 | 620M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
523.35/523.55 c 496s| 1220k| 1220k| 0 | 0.0 | 626M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
527.75/527.92 c 501s| 1230k| 1230k| 0 | 0.0 | 632M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
532.04/532.28 c 505s| 1240k| 1240k| 0 | 0.0 | 637M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
536.45/536.62 c 509s| 1250k| 1250k| 0 | 0.0 | 643M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
540.75/540.95 c 513s| 1260k| 1260k| 0 | 0.0 | 649M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
545.04/545.27 c 517s| 1270k| 1270k| 0 | 0.0 | 654M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
549.44/549.60 c 521s| 1280k| 1280k| 0 | 0.0 | 660M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
553.74/553.96 c 525s| 1290k| 1290k| 0 | 0.0 | 666M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
558.14/558.33 c 529s| 1300k| 1300k| 0 | 0.0 | 671M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
562.44/562.69 c 534s| 1310k| 1310k| 0 | 0.0 | 677M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
566.83/567.02 c 538s| 1320k| 1320k| 0 | 0.0 | 683M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
571.14/571.37 c 542s| 1330k| 1330k| 0 | 0.0 | 688M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
575.43/575.69 c 546s| 1340k| 1340k| 0 | 0.0 | 694M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
579.84/580.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.84/580.01 c 550s| 1350k| 1350k| 0 | 0.0 | 700M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
584.14/584.34 c 554s| 1360k| 1360k| 0 | 0.0 | 705M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
588.43/588.69 c 558s| 1370k| 1370k| 0 | 0.0 | 711M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
592.83/593.04 c 562s| 1380k| 1380k| 0 | 0.0 | 716M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
597.14/597.39 c 566s| 1390k| 1390k| 0 | 0.0 | 721M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
601.54/601.73 c 571s| 1400k| 1400k| 0 | 0.0 | 727M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
605.83/606.07 c 575s| 1410k| 1410k| 0 | 0.0 | 733M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
610.13/610.38 c 579s| 1420k| 1420k| 0 | 0.0 | 738M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
614.42/614.69 c 583s| 1430k| 1430k| 0 | 0.0 | 744M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
618.83/619.02 c 587s| 1440k| 1440k| 0 | 0.0 | 749M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
623.12/623.37 c 591s| 1450k| 1450k| 0 | 0.0 | 755M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
627.52/627.72 c 595s| 1460k| 1460k| 0 | 0.0 | 760M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
631.82/632.06 c 599s| 1470k| 1470k| 0 | 0.0 | 766M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
636.22/636.40 c 604s| 1480k| 1480k| 0 | 0.0 | 771M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
640.52/640.72 c 608s| 1490k| 1490k| 0 | 0.0 | 777M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
644.82/645.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.82/645.05 c 612s| 1500k| 1500k| 0 | 0.0 | 782M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
649.11/649.36 c 616s| 1510k| 1510k| 0 | 0.0 | 788M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
653.42/653.68 c 620s| 1520k| 1520k| 0 | 0.0 | 793M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
657.81/658.01 c 624s| 1530k| 1530k| 0 | 0.0 | 799M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
662.11/662.35 c 628s| 1540k| 1540k| 0 | 0.0 | 804M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
666.42/666.69 c 632s| 1550k| 1550k| 0 | 0.0 | 809M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
670.82/671.02 c 636s| 1560k| 1560k| 0 | 0.0 | 815M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
675.12/675.34 c 640s| 1570k| 1570k| 0 | 0.0 | 820M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
679.41/679.66 c 645s| 1580k| 1580k| 0 | 0.0 | 826M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
683.71/683.99 c 649s| 1590k| 1590k| 0 | 0.0 | 831M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
688.10/688.32 c 653s| 1600k| 1600k| 0 | 0.0 | 836M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
692.41/692.65 c 657s| 1610k| 1610k| 0 | 0.0 | 842M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
696.70/696.96 c 661s| 1620k| 1620k| 0 | 0.0 | 847M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
701.00/701.27 c 665s| 1630k| 1630k| 0 | 0.0 | 853M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
705.30/705.58 c 669s| 1640k| 1640k| 0 | 0.0 | 858M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
709.70/709.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.70/709.90 c 673s| 1650k| 1650k| 0 | 0.0 | 863M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
714.00/714.21 c 677s| 1660k| 1660k| 0 | 0.0 | 868M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
718.30/718.50 c 681s| 1670k| 1670k| 0 | 0.0 | 874M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
722.59/722.82 c 685s| 1680k| 1680k| 0 | 0.0 | 879M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
726.91/727.13 c 690s| 1690k| 1690k| 0 | 0.0 | 884M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
731.21/731.44 c 694s| 1700k| 1700k| 0 | 0.0 | 890M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
735.50/735.74 c 698s| 1710k| 1710k| 0 | 0.0 | 895M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
739.79/740.04 c 702s| 1720k| 1720k| 0 | 0.0 | 900M| 63 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
744.09/744.32 c 706s| 1730k| 1730k| 0 | 0.0 | 905M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
748.39/748.61 c 710s| 1740k| 1740k| 0 | 0.0 | 911M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
752.59/752.88 c 714s| 1750k| 1750k| 0 | 0.0 | 917M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
756.89/757.14 c 718s| 1760k| 1760k| 0 | 0.0 | 922M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
761.19/761.41 c 722s| 1770k| 1770k| 0 | 0.0 | 928M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.590000e+02 | -- | Inf
765.49/765.70 c 726s| 1780k| 1780k| 0 | 0.0 | 933M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
769.70/769.95 c 730s| 1790k| 1790k| 0 | 0.0 | 939M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
773.99/774.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.99/774.26 c 734s| 1800k| 1800k| 0 | 0.0 | 945M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
778.28/778.52 c 738s| 1810k| 1810k| 0 | 0.0 | 950M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
782.48/782.79 c 742s| 1820k| 1820k| 0 | 0.0 | 956M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
786.79/787.08 c 746s| 1830k| 1830k| 0 | 0.0 | 961M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
791.08/791.34 c 750s| 1840k| 1840k| 0 | 0.0 | 967M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
795.28/795.60 c 754s| 1850k| 1850k| 0 | 0.0 | 973M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
799.58/799.87 c 758s| 1860k| 1860k| 0 | 0.0 | 978M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
803.88/804.16 c 763s| 1870k| 1870k| 0 | 0.0 | 983M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
808.18/808.41 c 767s| 1880k| 1880k| 0 | 0.0 | 989M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
812.38/812.69 c 771s| 1890k| 1890k| 0 | 0.0 | 994M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
816.68/816.95 c 775s| 1900k| 1900k| 0 | 0.0 |1000M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
820.98/821.23 c 779s| 1910k| 1910k| 0 | 0.0 |1005M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
825.17/825.48 c 783s| 1920k| 1920k| 0 | 0.0 |1011M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
829.47/829.74 c 787s| 1930k| 1930k| 0 | 0.0 |1016M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
833.77/834.01 c 791s| 1940k| 1940k| 0 | 0.0 |1022M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
837.98/838.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.98/838.29 c 795s| 1950k| 1950k| 0 | 0.0 |1027M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
842.27/842.58 c 799s| 1960k| 1960k| 0 | 0.0 |1033M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
846.57/846.85 c 803s| 1970k| 1970k| 0 | 0.0 |1039M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
850.86/851.14 c 807s| 1980k| 1980k| 0 | 0.0 |1044M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
855.17/855.44 c 811s| 1990k| 1990k| 0 | 0.0 |1050M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
859.46/859.72 c 815s| 2000k| 2000k| 0 | 0.0 |1056M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
863.76/864.00 c 819s| 2010k| 2010k| 0 | 0.0 |1061M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
867.96/868.24 c 823s| 2020k| 2020k| 0 | 0.0 |1067M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
872.26/872.53 c 827s| 2030k| 2030k| 0 | 0.0 |1073M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
876.56/876.85 c 831s| 2040k| 2040k| 0 | 0.0 |1078M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
880.87/881.15 c 836s| 2050k| 2050k| 0 | 0.0 |1084M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
885.17/885.44 c 840s| 2060k| 2060k| 0 | 0.0 |1090M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
889.45/889.71 c 844s| 2070k| 2070k| 0 | 0.0 |1095M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
893.75/894.01 c 848s| 2080k| 2080k| 0 | 0.0 |1101M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
897.95/898.26 c 852s| 2090k| 2090k| 0 | 0.0 |1107M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
902.25/902.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.25/902.51 c 856s| 2100k| 2100k| 0 | 0.0 |1112M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
906.45/906.76 c 860s| 2110k| 2110k| 0 | 0.0 |1118M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
910.75/911.05 c 864s| 2120k| 2120k| 0 | 0.0 |1123M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
915.05/915.38 c 868s| 2130k| 2130k| 0 | 0.0 |1129M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
919.36/919.69 c 872s| 2140k| 2140k| 0 | 0.0 |1135M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
923.65/923.99 c 876s| 2150k| 2150k| 0 | 0.0 |1140M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
927.94/928.30 c 880s| 2160k| 2160k| 0 | 0.0 |1146M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
932.24/932.56 c 884s| 2170k| 2170k| 0 | 0.0 |1151M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
936.55/936.84 c 888s| 2180k| 2180k| 0 | 0.0 |1157M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
940.84/941.14 c 892s| 2190k| 2190k| 0 | 0.0 |1163M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
945.04/945.39 c 896s| 2200k| 2200k| 0 | 0.0 |1168M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
949.34/949.64 c 900s| 2210k| 2210k| 0 | 0.0 |1174M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
953.64/953.90 c 905s| 2220k| 2220k| 0 | 0.0 |1179M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
957.84/958.17 c 909s| 2230k| 2230k| 0 | 0.0 |1185M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
962.15/962.46 c 913s| 2240k| 2240k| 0 | 0.0 |1191M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
966.44/966.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.44/966.76 c 917s| 2250k| 2250k| 0 | 0.0 |1196M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
970.74/971.08 c 921s| 2260k| 2260k| 0 | 0.0 |1202M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
975.03/975.39 c 925s| 2270k| 2270k| 0 | 0.0 |1207M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
979.33/979.68 c 929s| 2280k| 2280k| 0 | 0.0 |1213M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
983.63/983.99 c 933s| 2290k| 2290k| 0 | 0.0 |1218M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
987.93/988.26 c 937s| 2300k| 2300k| 0 | 0.0 |1224M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
992.23/992.52 c 941s| 2310k| 2310k| 0 | 0.0 |1229M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
996.53/996.82 c 945s| 2320k| 2320k| 0 | 0.0 |1235M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1000.83/1001.11 c 949s| 2330k| 2330k| 0 | 0.0 |1240M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1005.04/1005.35 c 953s| 2340k| 2340k| 0 | 0.0 |1246M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1009.32/1009.61 c 957s| 2350k| 2350k| 0 | 0.0 |1252M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1013.52/1013.85 c 961s| 2360k| 2360k| 0 | 0.0 |1257M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1017.82/1018.11 c 965s| 2370k| 2370k| 0 | 0.0 |1263M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1022.02/1022.38 c 969s| 2380k| 2380k| 0 | 0.0 |1268M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1026.32/1026.67 c 974s| 2390k| 2390k| 0 | 0.0 |1274M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1030.62/1030.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.62/1030.96 c 978s| 2400k| 2400k| 0 | 0.0 |1279M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1034.92/1035.26 c 982s| 2410k| 2410k| 0 | 0.0 |1285M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1039.22/1039.57 c 986s| 2420k| 2420k| 0 | 0.0 |1290M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1043.53/1043.86 c 990s| 2430k| 2430k| 0 | 0.0 |1295M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1047.82/1048.15 c 994s| 2440k| 2440k| 0 | 0.0 |1301M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1052.11/1052.42 c 998s| 2450k| 2450k| 0 | 0.0 |1306M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1056.41/1056.70 c 1002s| 2460k| 2460k| 0 | 0.0 |1312M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1060.72/1061.00 c 1006s| 2470k| 2470k| 0 | 0.0 |1317M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1064.92/1065.26 c 1010s| 2480k| 2480k| 0 | 0.0 |1323M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1069.21/1069.51 c 1014s| 2490k| 2490k| 0 | 0.0 |1328M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1073.41/1073.76 c 1018s| 2500k| 2500k| 0 | 0.0 |1334M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1077.62/1078.00 c 1022s| 2510k| 2510k| 0 | 0.0 |1339M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1081.91/1082.26 c 1026s| 2520k| 2520k| 0 | 0.0 |1345M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1086.21/1086.54 c 1030s| 2530k| 2530k| 0 | 0.0 |1350M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1090.51/1090.84 c 1034s| 2540k| 2540k| 0 | 0.0 |1356M| 65 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | -- | Inf
1092.61/1092.93 c (node 2544880) switching to memory saving mode (mem: 1296.0M/1620.0M)
1093.41/1093.76 o 5763
1093.41/1093.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.41/1093.76 c *1037s| 2545k| 2545k| 0 | 0.0 |1359M| 369 | - | 899 | 390 | 0 | 0 | 0 | 0 | 0 |-1.580000e+02 | 5.763000e+03 | Inf
1094.50/1094.85 c 1038s| 2550k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 14 | 0 |-1.580000e+02 | 5.763000e+03 | Inf
1094.81/1095.18 o 5664
1094.81/1095.18 c *1038s| 2551k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 15 | 0 |-1.580000e+02 | 5.664000e+03 | Inf
1094.91/1095.28 o 5663
1094.91/1095.28 c *1039s| 2551k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 15 | 0 |-1.580000e+02 | 5.663000e+03 | Inf
1096.81/1097.18 c 1040s| 2560k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 34 | 0 |-1.580000e+02 | 5.663000e+03 | Inf
1097.01/1097.30 o 5564
1097.01/1097.30 c *1040s| 2560k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 34 | 0 |-1.580000e+02 | 5.564000e+03 | Inf
1097.11/1097.40 o 5563
1097.11/1097.40 c *1041s| 2560k| 2545k| 0 | 0.0 |1359M| 373 | - | 899 | 390 | 0 | 0 | 0 | 34 | 0 |-1.580000e+02 | 5.563000e+03 | Inf
1097.21/1097.50 o 5464
1097.21/1097.50 c *1041s| 2560k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 34 | 0 |-1.580000e+02 | 5.464000e+03 | Inf
1097.31/1097.60 o 5463
1097.31/1097.60 c *1041s| 2560k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 34 | 0 |-1.580000e+02 | 5.463000e+03 | Inf
1097.42/1097.71 o 5462
1097.42/1097.71 c *1041s| 2560k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 35 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1099.50/1099.81 c 1043s| 2570k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 48 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1101.71/1102.07 c 1045s| 2580k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 81 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1103.91/1104.22 c 1047s| 2590k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 96 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1106.00/1106.36 c 1049s| 2600k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 108 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1109.00/1109.31 c 1052s| 2610k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 207 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1111.50/1111.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.50/1111.80 c 1054s| 2620k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 252 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1113.70/1114.00 c 1056s| 2630k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 267 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1116.00/1116.39 c 1058s| 2640k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 294 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1118.31/1118.64 c 1060s| 2650k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 317 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1120.99/1121.37 c 1063s| 2660k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 386 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1123.30/1123.61 c 1065s| 2670k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 406 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1126.59/1126.91 c 1068s| 2680k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 538 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1128.99/1129.34 c 1070s| 2690k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 578 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1131.19/1131.57 c 1072s| 2700k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 601 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1133.70/1134.05 c 1075s| 2710k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 652 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1139.99/1140.30 c 1081s| 2720k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |1064 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1146.19/1146.54 c 1087s| 2730k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |1449 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1150.69/1151.06 c 1091s| 2740k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |1696 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1155.69/1156.07 c 1096s| 2750k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |1968 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1158.38/1158.74 c 1099s| 2760k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2043 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1160.88/1161.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.88/1161.21 c 1101s| 2770k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2096 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1164.29/1164.67 c 1104s| 2780k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2257 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1169.08/1169.45 c 1109s| 2790k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2527 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1171.98/1172.36 c 1111s| 2800k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2614 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1174.18/1174.55 c 1113s| 2810k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2623 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1178.28/1178.68 c 1117s| 2820k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2840 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1181.08/1181.43 c 1120s| 2830k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |2926 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1186.87/1187.28 c 1126s| 2840k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |3320 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1190.47/1190.82 c 1129s| 2850k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |3477 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1193.47/1193.83 c 1132s| 2860k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |3584 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1195.67/1196.02 c 1134s| 2870k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |3604 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1199.58/1199.96 c 1138s| 2880k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |3789 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1209.77/1210.16 c 1148s| 2890k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |4656 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1214.57/1214.99 c 1152s| 2900k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |4927 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1217.27/1217.61 c 1155s| 2910k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |4987 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1219.77/1220.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.77/1220.18 c 1157s| 2920k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5031 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1222.07/1222.45 c 1159s| 2930k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5051 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1225.57/1225.96 c 1163s| 2940k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5183 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1230.57/1230.93 c 1167s| 2950k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5464 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1232.97/1233.34 c 1170s| 2960k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5495 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1235.17/1235.57 c 1172s| 2970k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5515 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1237.36/1237.75 c 1174s| 2980k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5530 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1240.87/1241.26 c 1177s| 2990k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |5689 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1246.97/1247.31 c 1183s| 3000k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6132 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1248.96/1249.39 c 1185s| 3010k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6139 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1252.06/1252.45 c 1188s| 3020k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6247 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1254.46/1254.82 c 1190s| 3030k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6277 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1257.06/1257.47 c 1192s| 3040k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6321 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1261.86/1262.20 c 1197s| 3050k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6582 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1264.16/1264.57 c 1199s| 3060k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6600 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1266.56/1266.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.56/1266.90 c 1201s| 3070k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6620 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1268.76/1269.10 c 1203s| 3080k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6633 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1270.86/1271.21 c 1205s| 3090k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6640 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1273.05/1273.40 c 1207s| 3100k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6650 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1275.66/1276.03 c 1210s| 3110k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |6708 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1283.05/1283.44 c 1217s| 3120k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7291 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1286.35/1286.78 c 1220s| 3130k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7419 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1288.65/1289.07 c 1222s| 3140k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7450 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1291.35/1291.76 c 1225s| 3150k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7515 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1293.75/1294.16 c 1227s| 3160k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7544 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1295.95/1296.37 c 1229s| 3170k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7559 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1299.05/1299.49 c 1232s| 3180k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7657 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1302.45/1302.82 c 1235s| 3190k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7772 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1304.74/1305.12 c 1237s| 3200k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7785 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1307.65/1308.04 c 1240s| 3210k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7873 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1310.65/1311.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.65/1311.01 c 1243s| 3220k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7944 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1312.85/1313.25 c 1245s| 3230k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7954 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1315.05/1315.45 c 1247s| 3240k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7964 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1317.35/1317.71 c 1249s| 3250k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |7981 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1322.24/1322.64 c 1254s| 3260k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |8291 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1324.65/1325.02 c 1256s| 3270k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |8312 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1327.74/1328.15 c 1259s| 3280k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |8419 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1330.84/1331.28 c 1262s| 3290k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |8526 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1337.15/1337.57 c 1268s| 3300k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |8932 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1341.74/1342.19 c 1272s| 3310k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9176 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1344.04/1344.46 c 1274s| 3320k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9187 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1346.94/1347.39 c 1277s| 3330k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9266 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1349.14/1349.53 c 1279s| 3340k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9278 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1351.24/1351.61 c 1281s| 3350k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9278 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1353.24/1353.64 c 1283s| 3360k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9278 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1355.33/1355.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.33/1355.78 c 1285s| 3370k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9285 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1357.54/1357.98 c 1287s| 3380k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9295 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1359.74/1360.12 c 1289s| 3390k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9302 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1361.74/1362.19 c 1291s| 3400k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9306 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1363.94/1364.39 c 1293s| 3410k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9317 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1366.13/1366.57 c 1295s| 3420k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9325 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1368.43/1368.83 c 1297s| 3430k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9347 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1370.74/1371.11 c 1299s| 3440k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9373 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1374.34/1374.77 c 1303s| 3450k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9542 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1378.33/1378.72 c 1306s| 3460k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9723 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1382.13/1382.50 c 1310s| 3470k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 |9894 | 0 |-1.580000e+02 | 5.462000e+03 | Inf
1388.33/1388.72 c 1316s| 3480k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 10k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1390.62/1391.05 c 1318s| 3490k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 10k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1393.24/1393.70 c 1321s| 3500k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 10k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1400.42/1400.81 c 1328s| 3510k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 10k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1402.92/1403.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.92/1403.31 c 1330s| 3520k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 10k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1406.33/1406.70 c 1333s| 3530k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1409.22/1409.66 c 1336s| 3540k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1411.62/1412.01 c 1338s| 3550k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1414.02/1414.45 c 1340s| 3560k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1419.12/1419.52 c 1345s| 3570k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1421.22/1421.60 c 1347s| 3580k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1423.41/1423.88 c 1349s| 3590k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1425.51/1425.98 c 1351s| 3600k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1427.61/1428.04 c 1353s| 3610k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1429.63/1430.09 c 1355s| 3620k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1431.72/1432.18 c 1357s| 3630k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1433.82/1434.23 c 1359s| 3640k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1435.82/1436.25 c 1361s| 3650k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1437.92/1438.36 c 1363s| 3660k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1440.01/1440.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.01/1440.48 c 1365s| 3670k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1442.12/1442.58 c 1367s| 3680k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1444.32/1444.75 c 1369s| 3690k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1446.72/1447.13 c 1371s| 3700k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1449.01/1449.47 c 1373s| 3710k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1451.31/1451.70 c 1375s| 3720k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1453.51/1453.90 c 1377s| 3730k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1455.61/1456.08 c 1379s| 3740k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1458.12/1458.58 c 1381s| 3750k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1460.32/1460.77 c 1383s| 3760k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1463.51/1463.93 c 1386s| 3770k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1467.01/1467.49 c 1390s| 3780k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 11k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1472.01/1472.40 c 1394s| 3790k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1475.21/1475.63 c 1398s| 3800k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1479.31/1479.75 c 1401s| 3810k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1481.60/1482.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.60/1482.00 c 1404s| 3820k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1485.21/1485.69 c 1407s| 3830k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1487.81/1488.27 c 1409s| 3840k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 12k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1493.11/1493.56 c 1415s| 3850k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 13k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1497.90/1498.37 c 1419s| 3860k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 13k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1502.40/1502.86 c 1424s| 3870k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 13k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1504.80/1505.25 c 1426s| 3880k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 13k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1508.99/1509.49 c 1430s| 3890k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 13k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1511.39/1511.84 c 1432s| 3900k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1513.49/1513.92 c 1434s| 3910k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1515.60/1516.06 c 1436s| 3920k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1517.69/1518.17 c 1438s| 3930k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1519.80/1520.27 c 1440s| 3940k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1522.00/1522.47 c 1442s| 3950k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1524.20/1524.66 c 1444s| 3960k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1526.59/1527.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.59/1527.07 c 1446s| 3970k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1530.19/1530.60 c 1449s| 3980k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1532.39/1532.89 c 1451s| 3990k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 14k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1541.09/1541.50 c 1460s| 4000k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1546.59/1547.01 c 1465s| 4010k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1549.29/1549.73 c 1468s| 4020k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1551.79/1552.24 c 1470s| 4030k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1554.18/1554.64 c 1472s| 4040k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1558.08/1558.60 c 1476s| 4050k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1560.49/1560.98 c 1478s| 4060k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1562.89/1563.35 c 1481s| 4070k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1566.58/1567.01 c 1484s| 4080k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1568.79/1569.24 c 1486s| 4090k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1570.98/1571.49 c 1488s| 4100k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 15k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1573.18/1573.69 c 1490s| 4110k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1575.38/1575.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.38/1575.82 c 1492s| 4120k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1577.48/1577.96 c 1494s| 4130k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1580.08/1580.57 c 1497s| 4140k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1583.08/1583.60 c 1499s| 4150k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1585.28/1585.76 c 1501s| 4160k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1587.38/1587.88 c 1503s| 4170k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1592.77/1593.22 c 1509s| 4180k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1594.88/1595.35 c 1510s| 4190k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1596.98/1597.44 c 1512s| 4200k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1599.87/1600.36 c 1515s| 4210k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1602.07/1602.52 c 1517s| 4220k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1604.17/1604.65 c 1519s| 4230k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1606.47/1606.94 c 1521s| 4240k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1608.57/1609.08 c 1523s| 4250k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1610.98/1611.40 c 1525s| 4260k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1613.17/1613.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.17/1613.60 c 1527s| 4270k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 16k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1621.47/1621.97 c 1536s| 4280k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 17k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1631.87/1632.33 c 1546s| 4290k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 18k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1637.57/1638.06 c 1551s| 4300k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 18k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1641.96/1642.41 c 1555s| 4310k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 18k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1645.26/1645.78 c 1559s| 4320k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1648.07/1648.50 c 1561s| 4330k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1650.36/1650.88 c 1563s| 4340k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1653.07/1653.56 c 1566s| 4350k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1655.26/1655.77 c 1568s| 4360k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1657.76/1658.23 c 1570s| 4370k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1659.96/1660.48 c 1572s| 4380k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1662.16/1662.69 c 1574s| 4390k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1664.36/1664.88 c 1576s| 4400k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1666.56/1667.01 c 1578s| 4410k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1668.76/1669.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.76/1669.24 c 1580s| 4420k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1671.36/1671.84 c 1583s| 4430k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1676.65/1677.14 c 1588s| 4440k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1678.76/1679.29 c 1590s| 4450k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1680.95/1681.43 c 1592s| 4460k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1683.76/1684.22 c 1595s| 4470k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1685.86/1686.38 c 1597s| 4480k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1687.96/1688.48 c 1598s| 4490k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1690.35/1690.81 c 1601s| 4500k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1692.46/1692.98 c 1603s| 4510k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1694.66/1695.14 c 1605s| 4520k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1696.95/1697.48 c 1607s| 4530k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1700.45/1700.92 c 1610s| 4540k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1702.75/1703.21 c 1612s| 4550k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1704.85/1705.34 c 1614s| 4560k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1706.95/1707.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.95/1707.48 c 1616s| 4570k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 19k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1709.65/1710.10 c 1619s| 4580k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1713.05/1713.50 c 1622s| 4590k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1715.64/1716.18 c 1624s| 4600k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1717.84/1718.31 c 1626s| 4610k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1720.04/1720.56 c 1628s| 4620k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1722.25/1722.72 c 1630s| 4630k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1724.35/1724.82 c 1632s| 4640k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1726.84/1727.34 c 1635s| 4650k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1730.04/1730.53 c 1638s| 4660k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1732.14/1732.68 c 1640s| 4670k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1734.34/1734.82 c 1642s| 4680k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1736.45/1736.96 c 1644s| 4690k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1738.55/1739.08 c 1646s| 4700k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1740.74/1741.23 c 1648s| 4710k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1742.83/1743.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.83/1743.36 c 1650s| 4720k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1744.93/1745.48 c 1652s| 4730k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1747.13/1747.63 c 1654s| 4740k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1749.23/1749.74 c 1655s| 4750k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1751.34/1751.85 c 1657s| 4760k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1753.54/1754.00 c 1659s| 4770k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1755.64/1756.11 c 1661s| 4780k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1757.83/1758.32 c 1663s| 4790k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1759.93/1760.48 c 1665s| 4800k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1762.24/1762.77 c 1668s| 4810k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1764.34/1764.89 c 1670s| 4820k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1766.54/1767.06 c 1672s| 4830k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1768.73/1769.25 c 1674s| 4840k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1770.93/1771.41 c 1676s| 4850k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1773.03/1773.55 c 1678s| 4860k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1775.23/1775.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.23/1775.70 c 1679s| 4870k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1777.23/1777.73 c 1681s| 4880k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1779.24/1779.73 c 1683s| 4890k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1781.63/1782.18 c 1686s| 4900k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1783.82/1784.39 c 1688s| 4910k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1786.33/1786.81 c 1690s| 4920k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1788.53/1789.07 c 1692s| 4930k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1790.73/1791.29 c 1694s| 4940k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1793.03/1793.52 c 1696s| 4950k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1796.84/1797.39 c 1700s| 4960k| 2545k| 0 | 0.0 |1359M| 377 | - | 899 | 390 | 0 | 0 | 0 | 20k| 0 |-1.580000e+02 | 5.462000e+03 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1702.84
1800.03/1800.51 c Solving Nodes : 4961477
1800.03/1800.51 c Primal Bound : +5.46200000000000e+03 (8 solutions)
1800.03/1800.51 c Dual Bound : -1.58000000000000e+02
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v -x903 x898 -x893 -x886 -x883 -x876 -x870 -x869 -x861 -x860 x858 -x855 -x849 -x843 x834 -x822 -x816 x811 -x808 -x805 -x797 -x794
1800.03/1800.51 v -x788 -x786 -x785 -x784 x783 -x776 -x774 -x770 -x769 -x764 x759 -x752 x736 -x735 -x726 -x724 -x721 -x713 x709 -x700 x688 -x682
1800.03/1800.51 v -x677 x674 x671 x654 -x652 -x651 x650 -x649 -x640 -x630 -x623 -x622 -x612 -x611 -x608 -x606 -x602 -x594 x587 -x542 -x539 -x520
1800.03/1800.51 v -x516 -x515 -x512 -x504 -x497 -x490 -x483 -x475 -x474 -x471 -x470 -x463 x459 x456 -x452 x442 -x425 -x419 -x415 -x411 -x409
1800.03/1800.51 v -x402 -x398 -x396 -x394 -x392 -x386 -x383 -x382 -x381 -x380 x378 -x372 x365 x364 x359 x357 -x344 -x337 -x333 -x330 -x308 -x299
1800.03/1800.51 v -x296 -x294 -x289 -x285 -x283 x275 -x269 -x267 x266 -x264 -x263 x256 x255 -x254 -x252 -x251 -x250 -x249 -x245 -x240 -x238
1800.03/1800.51 v -x233 -x231 -x224 -x222 x211 -x210 -x204 -x200 -x168 -x162 -x145 -x141 -x140 -x136 -x130 -x113 -x112 x102 -x101 -x98 -x96 -x92
1800.03/1800.51 v -x85 -x81 -x78 -x36 -x14 -x11 -x10 x1 -x907 -x505 x379 -x253 -x638 -x126 -x502 x376 -x902 -x768 -x500 -x248 -x499 -x373 x498
1800.03/1800.51 v -x246 -x897 -x763 -x370 -x244 -x895 -x761 -x495 -x369 -x894 -x368 -x625 -x493 -x367 -x115 x892 -x758 -x492 -x491 -x239 x890
1800.03/1800.51 v -x756 -x888 -x488 -x362 x887 -x753 -x487 -x361 -x360 -x885 -x751 -x485 -x884 -x750 -x882 x748 -x881 -x747 -x480 -x354 -x479
1800.03/1800.51 v -x353 -x226 -x877 -x743 -x477 -x351 x875 -x741 -x349 -x874 x740 x348 -x473 -x347 -x872 x738 -x472 -x346 -x871 -x737 -x345 x218
1800.03/1800.51 v -x868 -x734 -x343 -x867 -x342 -x216 -x866 -x732 -x467 -x341 -x466 -x340 -x864 -x730 -x339 -x464 -x338 -x461 -x209 -x859 -x725
1800.03/1800.51 v -x207 -x857 -x332 -x206 -x856 -x722 -x854 -x720 -x455 x329 -x853 x719 -x454 -x328 -x852 -x718 -x453 -x327 -x851 -x717 x326
1800.03/1800.51 v x850 -x716 -x451 -x325 x450 -x324 -x198 -x848 -x714 -x449 -x323 -x847 -x322 -x447 -x845 -x446 -x320 -x844 -x710 -x445 -x193
1800.03/1800.51 v -x444 -x192 -x842 -x708 -x443 -x191 -x841 -x707 -x316 -x189 x839 -x705 -x440 -x314 -x439 -x313 -x187 x837 -x703 -x836 x702
1800.03/1800.51 v -x438 -x312 x835 -x701 -x311 -x185 x833 -x699 -x310 -x184 -x435 -x183 x831 -x697 -x182 -x830 x696 -x307 -x561 -x306 -x180 -x54
1800.03/1800.51 v -x828 -x694 -x431 -x305 -x827 x693 -x430 -x304 -x826 x692 -x558 -x303 -x177 -x51 -x825 x691 -x428 -x302 -x824 x690 -x301 -x823
1800.03/1800.51 v x689 -x300 -x821 -x424 -x298 x820 -x686 -x819 x685 -x423 -x297 -x818 x684 -x170 x817 -x683 -x421 -x295 x815 -x681 -x293 -x418
1800.03/1800.51 v -x292 -x166 -x813 x679 -x417 -x291 x812 -x678 -x416 -x290 -x810 x676 -x809 x675 -x413 -x287 -x412 -x806 -x672 -x410 -x284
1800.03/1800.51 v x804 -x670 -x282 -x156 -x803 -x669 -x281 -x155 -x802 -x668 -x406 -x280 x801 -x667 -x405 -x279 x800 -x666 -x278 -x799 -x665
1800.03/1800.51 v -x403 -x277 -x798 x664 -x276 -x401 -x149 -x796 x662 -x400 -x148 x795 -x661 -x399 -x273 -x272 -x146 -x793 -x659 -x271 x792 -x658
1800.03/1800.51 v -x270 -x791 x657 -x143 x790 -x656 x789 -x655 -x787 -x653 -x391 -x265 -x390 -x137 -x388 x262 x782 -x648 -x387 -x261 -x781 x647
1800.03/1800.51 v -x260 x780 -x646 -x779 x645 -x385 -x778 -x644 -x777 -x643 -x131 x642 -x508 -x4 -x507 -x129 -x3 -x773 x639 -x127 x906 -x772
1800.03/1800.51 v -x905 x771 -x637 -x503 -x377 x125 -x904 x636 -x124 x635 x501 -x375 -x123 x634 x374 -x122 -x901 x767 -x633 x247 -x121 x900 -x766
1800.03/1800.51 v -x632 -x120 -x899 x765 -x631 x371 -x119 x629 x496 -x118 -x896 -x762 x628 x627 x243 -x117 x760 -x626 -x494 x242 -x116 x241
1800.03/1800.51 v -x624 x366 -x114 -x891 x757 -x889 -x755 x621 x489 -x363 -x237 -x111 -x754 x620 x236 -x110 -x619 x235 -x109 x618 x486 -x234
1800.03/1800.51 v -x108 x617 -x107 x616 x484 -x358 -x232 -x106 x749 -x615 -x105 -x614 -x482 x356 -x230 -x104 x613 x481 -x355 -x229 -x103 x880 -x746
1800.03/1800.51 v -x228 x879 -x745 x227 x878 -x744 -x610 x478 -x352 -x100 x609 x225 -x99 x742 -x476 x350 -x607 x223 -x97 -x873 x739 -x605
1800.03/1800.51 v x221 -x95 -x604 x220 -x94 x603 x219 -x93 x601 x600 x469 -x217 -x91 x733 -x599 x468 -x90 x598 x215 -x89 -x865 x731 -x597 x214
1800.03/1800.51 v -x88 x596 x465 -x213 -x87 -x863 -x729 x595 x212 -x86 x862 -x728 x727 -x593 x462 -x336 -x84 x592 x335 -x83 x591 -x460 x334 -x208
1800.03/1800.51 v -x82 -x590 -x723 x589 x458 -x80 x588 x457 -x331 -x205 -x79 x586 -x203 -x77 -x585 x202 -x76 x584 x201 -x75 x583 -x74 -x582
1800.03/1800.51 v x199 -x73 -x715 x581 -x72 x580 x197 -x71 x579 -x448 x196 -x70 x846 -x712 -x578 x321 -x195 -x69 x711 -x577 x194 -x68 x576 x319
1800.03/1800.51 v -x67 -x575 x318 -x66 x574 x317 -x65 x573 -x190 -x64 -x840 x706 -x572 -x441 x315 -x63 -x571 x188 -x62 -x838 x704 -x570 x61 -x569
1800.03/1800.51 v -x568 x186 -x60 -x567 -x566 x437 -x59 -x565 x436 -x58 x832 -x698 -x564 x309 -x57 -x563 x434 -x56 -x562 -x433 x181 -x55 x829
1800.03/1800.51 v -x695 x432 x560 x179 -x53 -x559 -x178 x52 x429 -x557 x176 -x50 -x556 -x427 -x175 x49 -x555 -x426 -x174 x48 -x554 -x173 x47
1800.03/1800.51 v x687 -x553 -x172 x46 -x552 -x551 -x171 x45 -x550 -x422 x44 -x549 -x169 x43 x548 x420 -x42 -x547 -x167 x41 x814 -x680 -x546 x40
1800.03/1800.51 v -x545 -x165 x39 -x544 -x164 x38 -x543 -x163 x37 x414 -x288 -x541 -x161 x35 -x540 -x286 -x160 x34 -x807 x673 -x159 x33 x538
1800.03/1800.51 v x158 -x32 -x537 -x157 x31 -x536 -x408 x30 x535 x407 -x29 x534 x154 -x28 -x533 -x153 x27 -x532 -x404 -x152 x26 x531 x151 -x25
1800.03/1800.51 v -x530 -x150 x24 -x663 x529 -x23 -x528 -x274 x22 -x527 -x147 x21 x660 -x526 x20 x525 x397 -x19 -x524 -x144 x18 -x523 -x395 x17
1800.03/1800.51 v -x522 -x268 -x142 x16 -x521 -x393 x15 x519 x139 -x13 x518 x138 -x12 x517 x389 -x514 -x135 x9 -x513 -x134 x8 -x511 -x259 -x133
1800.03/1800.51 v x7 x510 x384 -x258 -x132 -x6 x509 x257 -x5 -x775 x641 x506 x128 -x2
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1702.84
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2664723-1276484081.opb
1800.03/1800.51 c Variables : 907 (907 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 403 initial, 403 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2664723-1276484081.opb
1800.03/1800.51 c Variables : 899 (899 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 390 initial, 390 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.01 7 1 0 6 0 13 0 0
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c setppc : 258 0 7968104 0 3759708 20668 9040209 0 0 0
1800.03/1800.51 c linear : 7 0 7720556 0 3679309 573 5711473 0 0 0
1800.03/1800.51 c logicor : 125+ 0 2076423 0 3759712 14 2007924 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 3759712 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c setppc : 352.54 0.00 242.45 0.00 110.09
1800.03/1800.51 c linear : 286.11 0.00 283.66 0.00 2.45
1800.03/1800.51 c logicor : 50.85 0.00 9.22 0.00 41.63
1800.03/1800.51 c countsols : 1.52 0.00 0.00 0.00 1.52
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 4.04 2 0 0
1800.03/1800.51 c rootredcost : 3.94 0 0 0
1800.03/1800.51 c pseudoobj : 308.96 8676487 708579 123049
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 201.67 21241 21241 1346541 271.4 1 314.0 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 123.00 478878 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 0 0.0 - - -
1800.03/1800.51 c applied locally : - - - 21241 196.7 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 373.91 3759704 0 0 0 0 7519408
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.77 - 8
1800.03/1800.51 c oneopt : 3.12 0 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 2.01 0 0
1800.03/1800.51 c trysol : 2.26 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 4961477
1800.03/1800.51 c nodes (total) : 4961477
1800.03/1800.51 c nodes left : 2545189
1800.03/1800.51 c max depth : 377
1800.03/1800.51 c max depth (total): 377
1800.03/1800.51 c backtracks : 617632 (12.4%)
1800.03/1800.51 c delayed cutoffs : 7045
1800.03/1800.51 c repropagations : 10752 (57143 domain reductions, 6947 cutoffs)
1800.03/1800.51 c avg switch length: 2.48
1800.03/1800.51 c switching time : 53.72
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 8 (8 improvements)
1800.03/1800.51 c First Solution : +5.76300000000000e+03 (in run 1, after 2545206 nodes, 1037.03 seconds, depth 369, found by <relaxation>)
1800.03/1800.51 c Primal Bound : +5.46200000000000e+03 (in run 1, after 2560182 nodes, 1040.74 seconds, depth 371, found by <relaxation>)
1800.03/1800.51 c Dual Bound : -1.58000000000000e+02
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : -1.75000000000000e+02
1800.03/1800.51 c Root Iterations : 0
OK 5462
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664723-1276484081/watcher-2664723-1276484081 -o /tmp/evaluation-result-2664723-1276484081/solver-2664723-1276484081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664723-1276484081.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.03 1.01 3/106 28946 /proc/meminfo: memFree=1748652/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=6584 CPUtime=0 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 944 0 0 0 0 0 0 0 25 0 1 0 24009418 6742016 866 1992294400 4194304 7136930 140734632366544 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28946/statm: 1646 874 254 719 0 925 0 [startup+0.0739351 s] /proc/loadavg: 1.15 1.03 1.01 3/106 28946 /proc/meminfo: memFree=1748652/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=13316 CPUtime=0.06 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 4570 0 0 0 4 2 0 0 25 0 1 0 24009418 13635584 2596 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 3329 2596 371 719 0 2608 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13316 [startup+0.100936 s] /proc/loadavg: 1.15 1.03 1.01 3/106 28946 /proc/meminfo: memFree=1748652/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=14488 CPUtime=0.09 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 4864 0 0 0 7 2 0 0 25 0 1 0 24009418 14835712 2890 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 3622 2890 389 719 0 2901 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14488 [startup+0.300955 s] /proc/loadavg: 1.15 1.03 1.01 3/106 28946 /proc/meminfo: memFree=1748652/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=14768 CPUtime=0.29 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 4931 0 0 0 26 3 0 0 25 0 1 0 24009418 15122432 2957 1992294400 4194304 7136930 140734632366544 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 3692 2957 389 719 0 2971 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14768 [startup+0.700993 s] /proc/loadavg: 1.15 1.03 1.01 3/106 28946 /proc/meminfo: memFree=1748652/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=15472 CPUtime=0.69 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 5111 0 0 0 64 5 0 0 25 0 1 0 24009418 15843328 3137 1992294400 4194304 7136930 140734632366544 18446744073709551615 4643027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 3868 3137 389 719 0 3147 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15472 [startup+1.50107 s] /proc/loadavg: 1.13 1.03 1.01 2/107 28947 /proc/meminfo: memFree=1736864/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=16968 CPUtime=1.49 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 5492 0 0 0 140 9 0 0 25 0 1 0 24009418 17375232 3518 1992294400 4194304 7136930 140734632366544 18446744073709551615 4643234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 4242 3518 389 719 0 3521 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16968 [startup+3.10022 s] /proc/loadavg: 1.13 1.03 1.01 2/107 28947 /proc/meminfo: memFree=1735376/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=18188 CPUtime=3.09 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 5842 0 0 0 292 17 0 0 25 0 1 0 24009418 18624512 3868 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 4547 3868 389 719 0 3826 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18188 [startup+6.30052 s] /proc/loadavg: 1.12 1.03 1.01 2/107 28947 /proc/meminfo: memFree=1731284/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=21808 CPUtime=6.29 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 6779 0 0 0 595 34 0 0 25 0 1 0 24009418 22331392 4805 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 5452 4805 389 719 0 4731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21808 [startup+12.7011 s] /proc/loadavg: 1.11 1.03 1.01 2/107 28947 /proc/meminfo: memFree=1724340/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=27752 CPUtime=12.69 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 8325 0 0 0 1205 64 0 0 25 0 1 0 24009418 28418048 6351 1992294400 4194304 7136930 140734632366544 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 6938 6351 389 719 0 6217 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27752 [startup+25.5013 s] /proc/loadavg: 1.10 1.03 1.01 2/107 28949 /proc/meminfo: memFree=1711320/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=41572 CPUtime=25.48 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 11903 0 0 0 2420 128 0 0 25 0 1 0 24009418 42569728 9929 1992294400 4194304 7136930 140734632366544 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 10393 9929 389 719 0 9672 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41572 [startup+51.1008 s] /proc/loadavg: 1.06 1.03 1.00 2/107 28949 /proc/meminfo: memFree=1684784/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=67916 CPUtime=51.08 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 18222 0 0 0 4845 263 0 0 25 0 1 0 24009418 69545984 16248 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 16979 16248 389 719 0 16258 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67916 [startup+102.309 s] /proc/loadavg: 1.02 1.02 1.00 2/107 28951 /proc/meminfo: memFree=1629356/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=125112 CPUtime=102.27 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 31960 0 0 0 9695 532 0 0 25 0 1 0 24009418 128114688 29986 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 31278 29986 389 719 0 30557 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125112 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28951 /proc/meminfo: memFree=1560288/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=191780 CPUtime=162.25 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 49186 0 0 0 15382 843 0 0 25 0 1 0 24009418 196382720 47212 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 47945 47212 389 719 0 47224 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 191780 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28953 /proc/meminfo: memFree=1486384/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=271600 CPUtime=222.23 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 67578 0 0 0 21072 1151 0 0 25 0 1 0 24009418 278118400 65604 1992294400 4194304 7136930 140734632366544 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 67900 65604 389 719 0 67179 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 271600 [startup+282.302 s] /proc/loadavg: 1.03 1.02 1.00 2/107 28955 /proc/meminfo: memFree=1409628/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=347396 CPUtime=282.22 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 87109 0 0 0 26764 1458 0 0 25 0 1 0 24009418 355733504 85135 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 86849 85135 389 719 0 86128 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 347396 [startup+342.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28957 /proc/meminfo: memFree=1330764/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=422220 CPUtime=342.21 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 106344 0 0 0 32457 1764 0 0 25 0 1 0 24009418 432353280 104370 1992294400 4194304 7136930 140734632366544 18446744073709551615 4977977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 105555 104370 389 719 0 104834 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 422220 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28968 /proc/meminfo: memFree=1256984/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=495852 CPUtime=402.18 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 125291 0 0 0 38145 2073 0 0 25 0 1 0 24009418 507752448 123317 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 123963 123317 389 719 0 123242 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 495852 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28968 /proc/meminfo: memFree=1174152/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=590888 CPUtime=462.16 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 145442 0 0 0 43829 2387 0 0 25 0 1 0 24009418 605069312 143468 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 147722 143468 389 719 0 147001 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 590888 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28970 /proc/meminfo: memFree=1098884/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=665692 CPUtime=522.15 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 164706 0 0 0 49521 2694 0 0 25 0 1 0 24009418 681668608 162732 1992294400 4194304 7136930 140734632366544 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 166423 162732 389 719 0 165702 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 665692 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28972 /proc/meminfo: memFree=1019276/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=743596 CPUtime=582.14 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 184722 0 0 0 55216 2998 0 0 25 0 1 0 24009418 761442304 182748 1992294400 4194304 7136930 140734632366544 18446744073709551615 4643178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 185899 182748 389 719 0 185178 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 743596 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28974 /proc/meminfo: memFree=938428/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=819180 CPUtime=642.12 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 204160 0 0 0 60909 3303 0 0 25 0 1 0 24009418 838840320 202186 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 204795 202186 389 719 0 204074 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 819180 [startup+702.301 s] ################ # More data... # ################ /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 321655 0 0 0 95039 5164 0 0 25 0 1 0 24009418 1340338176 319681 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 327231 319681 389 719 0 326510 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1308924 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28984 /proc/meminfo: memFree=389728/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1384120 CPUtime=1062.01 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 341001 0 0 0 100730 5471 0 0 25 0 1 0 24009418 1417338880 339027 1992294400 4194304 7136930 140734632366544 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 346030 339027 389 719 0 345309 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1384120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28986 /proc/meminfo: memFree=347816/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424276 CPUtime=1121.99 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361273 0 0 0 106374 5825 0 0 25 0 1 0 24009418 1458458624 349356 1992294400 4194304 7136930 140734632366544 18446744073709551615 5918640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356069 349356 395 719 0 355348 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1424276 [startup+1182.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 28991 /proc/meminfo: memFree=346328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424540 CPUtime=1181.98 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361338 0 0 0 112088 6110 0 0 25 0 1 0 24009418 1458728960 349421 1992294400 4194304 7136930 140734632366544 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356135 349421 395 719 0 355414 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1424540 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28993 /proc/meminfo: memFree=346328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424672 CPUtime=1241.97 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361372 0 0 0 117801 6396 0 0 25 0 1 0 24009418 1458864128 349455 1992294400 4194304 7136930 140734632366544 18446744073709551615 5909004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356168 349455 395 719 0 355447 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1424672 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28995 /proc/meminfo: memFree=346328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1301.95 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361422 0 0 0 123467 6728 0 0 25 0 1 0 24009418 1459134464 349505 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349505 395 719 0 355513 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1424936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28995 /proc/meminfo: memFree=346328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1361.94 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361426 0 0 0 129094 7100 0 0 25 0 1 0 24009418 1459134464 349509 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349509 395 719 0 355513 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1424936 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28997 /proc/meminfo: memFree=346328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1421.93 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361431 0 0 0 134786 7407 0 0 25 0 1 0 24009418 1459134464 349514 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349514 395 719 0 355513 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1424936 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28999 /proc/meminfo: memFree=346204/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1481.91 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361437 0 0 0 140383 7808 0 0 25 0 1 0 24009418 1459134464 349520 1992294400 4194304 7136930 140734632366544 18446744073709551615 5907136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349520 395 719 0 355513 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1424936 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29001 /proc/meminfo: memFree=346080/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1541.89 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 146070 8119 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 5918720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1424936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29003 /proc/meminfo: memFree=346080/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1601.87 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 151691 8496 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1424936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29003 /proc/meminfo: memFree=345956/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1661.86 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 157404 8782 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1424936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29005 /proc/meminfo: memFree=345708/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1721.85 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 163004 9181 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1424936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29007 /proc/meminfo: memFree=345336/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1781.83 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 168564 9619 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1424936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29007 /proc/meminfo: memFree=345336/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1800.03 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361439 0 0 0 170284 9719 0 0 25 0 1 0 24009418 1459134464 349522 1992294400 4194304 7136930 140734632366544 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349522 395 719 0 355513 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1424936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -28946 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 29008 /proc/meminfo: memFree=345328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1800.93 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361448 0 0 0 170374 9719 0 0 25 0 1 0 24009418 1459134464 349531 1992294400 4194304 7136930 140734632366544 18446744073709551615 6165746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349531 400 719 0 355513 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 1424936 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 29008 /proc/meminfo: memFree=345328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=1424936 CPUtime=1801.73 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4202496 361448 0 0 0 170454 9719 0 0 25 0 1 0 24009418 1459134464 349531 1992294400 4194304 7136930 140734632366544 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28946/statm: 356234 349531 400 719 0 355513 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 1424936 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 29008 /proc/meminfo: memFree=345328/2059040 swapFree=4135888/4192956 [pid=28946] ppid=28944 vsize=0 CPUtime=1802.12 /proc/28946/stat : 28946 (pbscip.linux.x8) R 28944 28946 27841 0 -1 4203524 361448 0 0 0 170484 9728 0 0 25 0 1 0 24009418 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/28946/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.64 CPU time (s): 1802.17 CPU user time (s): 1704.85 CPU system time (s): 97.3202 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1487332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.85 system time used= 97.3202 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 361448 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 21869 runsolver used 2.95155 second user time and 8.5677 second system time The end
Begin job on node015 at 2010-06-14 04:54:41 IDJOB=2664723 IDBENCH=2231 IDSOLVER=1167 FILE ID=node015/2664723-1276484081 PBS_JOBID= 11173375 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.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-2664723-1276484081/watcher-2664723-1276484081 -o /tmp/evaluation-result-2664723-1276484081/solver-2664723-1276484081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664723-1276484081.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed36462db2ffa04ea65b986069441496 RANDOM SEED=243950594 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: 1749180 kB Buffers: 114604 kB Cached: 110592 kB SwapCached: 17680 kB Active: 105736 kB Inactive: 139944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749180 kB SwapTotal: 4192956 kB SwapFree: 4135888 kB Dirty: 3444 kB Writeback: 0 kB AnonPages: 11964 kB Mapped: 9104 kB Slab: 42448 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180248 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= 62580 MiB End job on node015 at 2010-06-14 05:24:44