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) | -33 | 1800.24 | 1800.68 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1789.9 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58245 |
| Number of constraints which are clauses | 58245 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664061-1276497970.opb>
0.89/0.95 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.89/0.95 c problem read
0.89/0.95 c presolving settings loaded
0.89/0.95 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
1.00/1.10 o 0
1.00/1.10 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.10 c presolving:
1.79/1.87 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 116490 impls, 0 clqs
3.30/3.32 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.30/3.32 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.32 c presolving (2 rounds):
3.30/3.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.30/3.32 c 116490 implications, 0 cliques
3.30/3.32 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
3.30/3.32 c 58245 constraints of type <logicor>
3.30/3.32 c transformed objective value is always integral (scale: 1)
3.30/3.32 c Presolving Time: 2.06
3.30/3.32 c - non default parameters ----------------------------------------------------------------------
3.30/3.32 c # SCIP version 1.2.1.2
3.30/3.32 c
3.30/3.32 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.32 c conflict/interconss = 0
3.30/3.32 c
3.30/3.32 c # should binary conflicts be preferred?
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c conflict/preferbinary = TRUE
3.30/3.32 c
3.30/3.32 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.32 c constraints/agelimit = 1
3.30/3.32 c
3.30/3.32 c # should enforcement of pseudo solution be disabled?
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/disableenfops = TRUE
3.30/3.32 c
3.30/3.32 c # frequency for displaying node information lines
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.32 c display/freq = 10000
3.30/3.32 c
3.30/3.32 c # maximal time in seconds to run
3.30/3.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.32 c limits/time = 1799.06
3.30/3.32 c
3.30/3.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.32 c limits/memory = 1620
3.30/3.32 c
3.30/3.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.32 c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.32 c lp/solvefreq = -1
3.30/3.32 c
3.30/3.32 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.30/3.32 c # [type: char, range: {lafpsqd}, default: l]
3.30/3.32 c lp/pricing = a
3.30/3.32 c
3.30/3.32 c # should presolving try to simplify inequalities
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/linear/simplifyinequalities = TRUE
3.30/3.32 c
3.30/3.32 c # should presolving try to simplify knapsacks
3.30/3.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.32 c constraints/knapsack/simplifyinequalities = TRUE
3.30/3.32 c
3.30/3.32 c # priority of node selection rule <dfs> in standard mode
3.30/3.32 c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.32 c nodeselection/dfs/stdpriority = 1000000
3.30/3.32 c
3.30/3.32 c -----------------------------------------------------------------------------------------------
3.30/3.32 c start solving
3.30/3.32 c
3.30/3.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.34 c t 2.2s| 1 | 2 | 0 | - | 41M| 0 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.450000e+02 | 0.000000e+00 | 100.00%
3.30/3.37 o -28
3.30/3.37 c * 2.2s| 29 | 27 | 0 | 0.0 | 41M| 28 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-2.800000e+01 | 97.03%
3.30/3.38 o -29
3.30/3.38 c * 2.2s| 33 | 25 | 0 | 0.0 | 41M| 30 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-2.900000e+01 | 96.93%
3.39/3.41 o -30
3.39/3.41 c * 2.2s| 62 | 22 | 0 | 0.0 | 41M| 32 | - | 945 | 58k| 0 | 0 | 0 | 0 | 0 |-9.440000e+02 |-3.000000e+01 | 96.82%
3.79/3.89 o -31
3.79/3.89 c * 2.7s| 1110 | 23 | 0 | 0.0 | 41M| 36 | - | 945 | 58k| 0 | 0 | 0 | 1 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
8.19/8.26 c 7.0s| 10000 | 21 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 22 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
12.99/13.00 c 11.6s| 20000 | 25 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 64 | 0 |-9.440000e+02 |-3.100000e+01 | 96.72%
13.88/13.93 o -32
13.88/13.93 c *12.5s| 21945 | 24 | 0 | 0.0 | 41M| 47 | - | 945 | 58k| 0 | 0 | 0 | 75 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
17.59/17.61 c 16.0s| 30000 | 24 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 112 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
22.39/22.45 c 20.8s| 40000 | 21 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 142 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
27.09/27.19 c 25.4s| 50000 | 22 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 198 | 0 |-9.440000e+02 |-3.200000e+01 | 96.61%
31.08/31.11 o -33
31.08/31.11 c *29.2s| 58132 | 22 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
31.98/32.00 c 30.1s| 60000 | 21 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 244 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
36.78/36.88 c 34.8s| 70000 | 20 | 0 | 0.0 | 41M| 50 | - | 945 | 58k| 0 | 0 | 0 | 267 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
41.69/41.78 c 39.6s| 80000 | 19 | 0 | 0.0 | 41M| 52 | - | 945 | 58k| 0 | 0 | 0 | 300 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
46.68/46.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.68/46.70 c 44.3s| 90000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 362 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
51.59/51.61 c 49.1s|100000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 423 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
56.38/56.48 c 53.9s|110000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 486 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
61.18/61.27 c 58.5s|120000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 522 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
66.18/66.25 c 63.4s|130000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 550 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
70.98/71.00 c 68.0s|140000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 584 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
75.78/75.86 c 72.7s|150000 | 23 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 632 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
80.67/80.75 c 77.4s|160000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 672 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
85.48/85.52 c 82.0s|170000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 736 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
90.27/90.30 c 86.7s|180000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 778 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
95.17/95.23 c 91.5s|190000 | 22 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 823 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
100.17/100.24 c 96.3s|200000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 895 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
104.96/105.08 c 101s|210000 | 20 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 921 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
110.07/110.10 c 106s|220000 | 21 | 0 | 0.0 | 41M| 55 | - | 945 | 58k| 0 | 0 | 0 | 951 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
114.87/114.97 c 111s|230000 | 22 | 0 | 0.0 | 41M| 56 | - | 945 | 58k| 0 | 0 | 0 | 982 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
119.67/119.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.67/119.76 c 115s|240000 | 22 | 0 | 0.0 | 41M| 56 | - | 945 | 58k| 0 | 0 | 0 |1005 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
124.36/124.48 c 120s|250000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1046 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
129.16/129.22 c 125s|260000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1075 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
133.96/134.01 c 129s|270000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1135 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
138.76/138.87 c 134s|280000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1177 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
143.56/143.63 c 138s|290000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1247 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
148.36/148.50 c 143s|300000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1279 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
153.35/153.50 c 148s|310000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1316 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
158.55/158.64 c 153s|320000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1363 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
163.35/163.46 c 158s|330000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1384 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
168.16/168.20 c 162s|340000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1427 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
172.95/173.07 c 167s|350000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1467 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
177.95/178.06 c 172s|360000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1499 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
183.05/183.12 c 177s|370000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1546 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
187.96/188.05 c 182s|380000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1570 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
192.95/193.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.95/193.07 c 187s|390000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1620 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
198.05/198.12 c 192s|400000 | 23 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1647 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
203.05/203.17 c 196s|410000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1672 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
207.94/208.04 c 201s|420000 | 23 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1701 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
212.75/212.80 c 206s|430000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1728 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
217.44/217.51 c 210s|440000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1769 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
222.24/222.30 c 215s|450000 | 21 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1800 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
226.94/227.09 c 220s|460000 | 20 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1839 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
231.74/231.88 c 224s|470000 | 22 | 0 | 0.0 | 41M| 59 | - | 945 | 58k| 0 | 0 | 0 |1868 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
236.44/236.53 c 229s|480000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1896 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
241.23/241.36 c 234s|490000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1937 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
245.93/246.06 c 238s|500000 | 19 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |1968 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
250.74/250.88 c 243s|510000 | 22 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2009 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
255.63/255.70 c 248s|520000 | 21 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2068 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
260.13/260.30 c 252s|530000 | 20 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2086 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
264.94/265.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.94/265.02 c 257s|540000 | 18 | 0 | 0.0 | 41M| 61 | - | 945 | 58k| 0 | 0 | 0 |2124 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
269.53/269.66 c 261s|550000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2153 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
274.23/274.38 c 266s|560000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2178 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
279.13/279.21 c 270s|570000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2209 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
283.83/283.98 c 275s|580000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2245 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
288.53/288.62 c 280s|590000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2269 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
293.42/293.58 c 284s|600000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2307 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
298.52/298.66 c 289s|610000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2342 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
303.62/303.76 c 294s|620000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2365 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
308.51/308.66 c 299s|630000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2396 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
313.43/313.52 c 304s|640000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
318.22/318.37 c 308s|650000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2464 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
323.01/323.11 c 313s|660000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2503 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
327.81/327.97 c 318s|670000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2557 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
332.61/332.76 c 322s|680000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2640 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
337.41/337.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.41/337.55 c 327s|690000 | 23 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
342.22/342.34 c 332s|700000 | 23 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2713 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
346.72/346.89 c 336s|710000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2755 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
351.61/351.74 c 341s|720000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2809 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
356.32/356.48 c 346s|730000 | 22 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2849 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
361.10/361.29 c 350s|740000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2900 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
365.90/366.08 c 355s|750000 | 22 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2938 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
370.91/371.01 c 360s|760000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |2971 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
375.71/375.81 c 364s|770000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3018 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
380.51/380.67 c 369s|780000 | 19 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3038 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
385.30/385.46 c 374s|790000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3056 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
390.10/390.23 c 378s|800000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3084 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
395.00/395.14 c 383s|810000 | 21 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3104 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
399.80/399.97 c 388s|820000 | 20 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3154 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
404.61/404.80 c 392s|830000 | 18 | 0 | 0.0 | 41M| 63 | - | 945 | 58k| 0 | 0 | 0 |3177 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
409.49/409.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.49/409.61 c 397s|840000 | 21 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3205 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
414.20/414.36 c 402s|850000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3228 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
418.90/419.08 c 406s|860000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3262 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
423.90/424.01 c 411s|870000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3295 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
428.80/428.94 c 416s|880000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3334 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
433.49/433.64 c 421s|890000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3361 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
438.29/438.46 c 425s|900000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3381 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
443.19/443.35 c 430s|910000 | 20 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3406 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
447.99/448.18 c 435s|920000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
452.88/453.07 c 439s|930000 | 17 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3460 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
457.59/457.75 c 444s|940000 | 19 | 0 | 0.0 | 41M| 64 | - | 945 | 58k| 0 | 0 | 0 |3492 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
462.28/462.49 c 449s|950000 | 20 | 0 | 0.0 | 41M| 65 | - | 945 | 58k| 0 | 0 | 0 |3531 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
467.18/467.30 c 453s|960000 | 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3554 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
472.28/472.48 c 458s|970000 | 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3580 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
477.68/477.82 c 464s|980000 | 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3604 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
483.08/483.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.08/483.22 c 469s|990000 | 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3627 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
488.08/488.26 c 474s| 1000k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3650 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
493.28/493.49 c 479s| 1010k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3668 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
498.48/498.66 c 484s| 1020k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3684 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
503.77/504.00 c 489s| 1030k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3705 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
509.08/509.23 c 494s| 1040k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3722 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
514.67/514.81 c 500s| 1050k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3744 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
520.08/520.22 c 505s| 1060k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3763 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
524.86/525.06 c 510s| 1070k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
529.87/530.01 c 514s| 1080k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3816 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
534.86/535.01 c 519s| 1090k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3848 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
539.77/539.97 c 524s| 1100k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3886 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
544.87/545.00 c 529s| 1110k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3915 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
549.66/549.81 c 534s| 1120k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3940 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
554.37/554.50 c 538s| 1130k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3968 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
559.16/559.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.16/559.36 c 543s| 1140k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |3994 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
564.16/564.33 c 548s| 1150k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4040 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
568.95/569.13 c 552s| 1160k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4065 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
573.65/573.86 c 557s| 1170k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4083 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
578.65/578.82 c 562s| 1180k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4136 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
583.75/583.92 c 567s| 1190k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4200 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
588.75/588.91 c 572s| 1200k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4217 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
593.76/593.90 c 577s| 1210k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4245 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
598.45/598.62 c 581s| 1220k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4272 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
603.25/603.43 c 586s| 1230k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4325 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
608.06/608.25 c 591s| 1240k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4347 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
612.95/613.10 c 595s| 1250k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4374 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
617.74/617.90 c 600s| 1260k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4391 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
622.35/622.56 c 604s| 1270k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4409 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
627.15/627.39 c 609s| 1280k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4444 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
632.05/632.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.05/632.23 c 614s| 1290k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4466 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
636.95/637.14 c 619s| 1300k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4495 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
641.84/642.02 c 623s| 1310k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4532 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
646.55/646.74 c 628s| 1320k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4561 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
651.14/651.40 c 632s| 1330k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4606 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
655.94/656.10 c 637s| 1340k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4630 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
660.54/660.74 c 642s| 1350k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4675 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
665.24/665.44 c 646s| 1360k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4708 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
669.94/670.15 c 651s| 1370k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4734 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
674.43/674.66 c 655s| 1380k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4754 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
679.14/679.30 c 660s| 1390k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4782 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
683.73/683.95 c 664s| 1400k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4819 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
688.34/688.59 c 669s| 1410k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4849 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
693.03/693.27 c 673s| 1420k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4879 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
697.73/697.94 c 678s| 1430k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4903 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
702.33/702.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.33/702.57 c 682s| 1440k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4938 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
707.13/707.34 c 687s| 1450k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |4990 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
712.02/712.25 c 692s| 1460k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5009 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
716.93/717.20 c 696s| 1470k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5026 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
721.93/722.13 c 701s| 1480k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5055 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
726.72/726.97 c 706s| 1490k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5085 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
731.52/731.76 c 711s| 1500k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5115 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
736.22/736.45 c 715s| 1510k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5142 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
740.82/741.05 c 720s| 1520k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5171 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
745.52/745.74 c 724s| 1530k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5190 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
750.21/750.43 c 729s| 1540k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5221 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
754.82/755.04 c 733s| 1550k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
759.51/759.75 c 738s| 1560k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5259 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
764.22/764.46 c 742s| 1570k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5276 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
768.91/769.15 c 747s| 1580k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5294 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
773.71/773.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.71/773.91 c 751s| 1590k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5337 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
778.52/778.74 c 756s| 1600k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5385 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
783.31/783.55 c 761s| 1610k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5407 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
788.10/788.32 c 765s| 1620k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5436 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
792.81/793.03 c 770s| 1630k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5459 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
797.60/797.84 c 775s| 1640k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5490 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
802.30/802.52 c 779s| 1650k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5523 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
806.90/807.15 c 784s| 1660k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5557 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
811.70/811.96 c 788s| 1670k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5596 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
816.50/816.73 c 793s| 1680k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
821.10/821.35 c 798s| 1690k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5654 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
825.90/826.11 c 802s| 1700k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5701 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
830.60/830.88 c 807s| 1710k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5747 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
835.19/835.46 c 811s| 1720k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
839.89/840.15 c 816s| 1730k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5838 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
844.50/844.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.50/844.80 c 820s| 1740k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5865 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
849.30/849.50 c 825s| 1750k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5942 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
854.00/854.23 c 829s| 1760k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |5973 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
858.80/859.01 c 834s| 1770k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6019 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
863.59/863.84 c 839s| 1780k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6068 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
868.29/868.60 c 843s| 1790k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6105 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
873.19/873.41 c 848s| 1800k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6129 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
877.89/878.11 c 853s| 1810k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6166 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
882.59/882.89 c 857s| 1820k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6197 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
887.59/887.88 c 862s| 1830k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
892.37/892.67 c 867s| 1840k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6281 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
897.17/897.49 c 872s| 1850k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6328 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
901.78/902.07 c 876s| 1860k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6355 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
906.17/906.49 c 880s| 1870k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6389 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
910.76/911.09 c 885s| 1880k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6426 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
915.57/915.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.57/915.85 c 889s| 1890k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6468 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
920.26/920.50 c 894s| 1900k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6521 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
924.96/925.21 c 898s| 1910k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6547 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
929.56/929.86 c 903s| 1920k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6567 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
934.26/934.58 c 908s| 1930k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6601 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
938.75/939.01 c 912s| 1940k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6632 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
943.35/943.65 c 916s| 1950k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6670 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
948.06/948.32 c 921s| 1960k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6693 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
952.96/953.28 c 926s| 1970k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6712 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
957.95/958.21 c 931s| 1980k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6732 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
962.75/963.00 c 935s| 1990k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6751 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
967.45/967.79 c 940s| 2000k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
972.25/972.59 c 945s| 2010k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6832 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
977.25/977.53 c 949s| 2020k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6879 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
982.06/982.31 c 954s| 2030k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6907 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
986.65/986.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.65/987.00 c 959s| 2040k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6932 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
991.54/991.85 c 963s| 2050k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |6976 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
996.45/996.71 c 968s| 2060k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7000 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1001.34/1001.62 c 973s| 2070k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7027 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1006.04/1006.36 c 977s| 2080k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7046 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1010.74/1011.06 c 982s| 2090k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7073 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1015.43/1015.78 c 987s| 2100k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7105 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1020.33/1020.63 c 991s| 2110k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7123 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1025.33/1025.61 c 996s| 2120k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7184 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1030.13/1030.43 c 1001s| 2130k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7209 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1034.93/1035.27 c 1005s| 2140k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7247 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1039.63/1039.99 c 1010s| 2150k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7291 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1044.33/1044.65 c 1015s| 2160k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7351 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1049.23/1049.54 c 1019s| 2170k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7365 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1054.03/1054.32 c 1024s| 2180k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7382 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1058.94/1059.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.94/1059.30 c 1029s| 2190k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7413 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1064.13/1064.44 c 1034s| 2200k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7459 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1069.13/1069.43 c 1039s| 2210k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7509 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1073.92/1074.29 c 1043s| 2220k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7527 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1078.83/1079.18 c 1048s| 2230k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7553 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1083.82/1084.14 c 1053s| 2240k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7569 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1088.93/1089.27 c 1058s| 2250k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7590 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1094.02/1094.35 c 1063s| 2260k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1099.12/1099.46 c 1068s| 2270k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7644 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1104.12/1104.43 c 1073s| 2280k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1109.01/1109.36 c 1078s| 2290k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7708 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1113.93/1114.24 c 1082s| 2300k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7727 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1119.02/1119.34 c 1087s| 2310k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7751 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1123.82/1124.14 c 1092s| 2320k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7767 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1128.71/1129.02 c 1097s| 2330k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7782 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1133.61/1133.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.61/1133.90 c 1101s| 2340k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7814 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1138.41/1138.78 c 1106s| 2350k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7860 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1143.51/1143.85 c 1111s| 2360k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7888 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1148.41/1148.77 c 1116s| 2370k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7922 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1153.41/1153.76 c 1121s| 2380k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7935 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1158.41/1158.73 c 1126s| 2390k| 23 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7961 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1163.20/1163.56 c 1130s| 2400k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |7979 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1168.30/1168.61 c 1135s| 2410k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8010 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1173.10/1173.46 c 1140s| 2420k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8037 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1178.10/1178.49 c 1145s| 2430k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8062 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1183.10/1183.49 c 1150s| 2440k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8096 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1188.00/1188.31 c 1154s| 2450k| 24 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8126 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1192.60/1192.98 c 1159s| 2460k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8145 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1197.39/1197.74 c 1163s| 2470k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8185 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1202.29/1202.60 c 1168s| 2480k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8235 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1206.99/1207.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.99/1207.39 c 1173s| 2490k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8284 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1211.90/1212.29 c 1178s| 2500k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8305 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1216.80/1217.19 c 1182s| 2510k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8324 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1221.70/1222.07 c 1187s| 2520k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8359 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1226.59/1226.98 c 1192s| 2530k| 18 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8395 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1231.38/1231.75 c 1197s| 2540k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8429 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1236.10/1236.46 c 1201s| 2550k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8452 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1240.78/1241.15 c 1206s| 2560k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8474 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1245.48/1245.89 c 1210s| 2570k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8509 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1250.39/1250.74 c 1215s| 2580k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8545 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1255.28/1255.60 c 1220s| 2590k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8600 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1259.88/1260.22 c 1224s| 2600k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8631 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1264.48/1264.89 c 1229s| 2610k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8671 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1269.38/1269.75 c 1234s| 2620k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8703 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1274.18/1274.55 c 1238s| 2630k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8728 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1278.89/1279.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.89/1279.23 c 1243s| 2640k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8761 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1283.57/1283.99 c 1247s| 2650k| 24 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8791 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1288.38/1288.78 c 1252s| 2660k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8822 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1293.37/1293.75 c 1257s| 2670k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8869 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1298.17/1298.52 c 1262s| 2680k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8899 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1302.97/1303.36 c 1266s| 2690k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8921 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1307.77/1308.18 c 1271s| 2700k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8935 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1312.76/1313.12 c 1276s| 2710k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8969 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1317.77/1318.10 c 1281s| 2720k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |8988 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1322.67/1323.06 c 1285s| 2730k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9010 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1327.76/1328.16 c 1290s| 2740k| 17 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9032 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1332.87/1333.21 c 1295s| 2750k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9054 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1337.46/1337.85 c 1300s| 2760k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9091 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1341.96/1342.36 c 1304s| 2770k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9143 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1346.57/1346.95 c 1309s| 2780k| 21 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9180 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1351.16/1351.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.16/1351.57 c 1313s| 2790k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9204 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1355.87/1356.29 c 1318s| 2800k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9223 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1360.46/1360.86 c 1322s| 2810k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9240 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1365.05/1365.47 c 1327s| 2820k| 22 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9265 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1369.85/1370.21 c 1331s| 2830k| 19 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9285 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1374.56/1375.00 c 1336s| 2840k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9305 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1379.46/1379.87 c 1341s| 2850k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9330 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1384.35/1384.73 c 1345s| 2860k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9363 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1389.15/1389.52 c 1350s| 2870k| 20 | 0 | 0.0 | 41M| 69 | - | 945 | 58k| 0 | 0 | 0 |9386 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1394.15/1394.50 c 1355s| 2880k| 22 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9435 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1399.05/1399.44 c 1360s| 2890k| 20 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9489 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1403.94/1404.38 c 1364s| 2900k| 22 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9522 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1408.75/1409.19 c 1369s| 2910k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9547 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1413.75/1414.13 c 1374s| 2920k| 21 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9583 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1418.84/1419.20 c 1379s| 2930k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9615 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1423.75/1424.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.75/1424.10 c 1384s| 2940k| 21 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9636 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1428.64/1429.07 c 1388s| 2950k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9677 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1433.64/1434.03 c 1393s| 2960k| 17 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9739 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1438.54/1438.97 c 1398s| 2970k| 19 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9755 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1443.64/1444.00 c 1403s| 2980k| 18 | 0 | 0.0 | 41M| 70 | - | 945 | 58k| 0 | 0 | 0 |9799 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1448.44/1448.86 c 1408s| 2990k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9820 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1453.33/1453.79 c 1412s| 3000k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9850 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1458.24/1458.63 c 1417s| 3010k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9899 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1463.03/1463.42 c 1422s| 3020k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9928 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1467.83/1468.24 c 1427s| 3030k| 18 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9958 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1472.73/1473.13 c 1431s| 3040k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 |9982 | 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1477.33/1477.72 c 1436s| 3050k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1482.23/1482.62 c 1440s| 3060k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1487.13/1487.56 c 1445s| 3070k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1492.13/1492.51 c 1450s| 3080k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1497.03/1497.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.03/1497.40 c 1455s| 3090k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1501.83/1502.25 c 1460s| 3100k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1506.83/1507.28 c 1464s| 3110k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1511.73/1512.12 c 1469s| 3120k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1516.42/1516.84 c 1474s| 3130k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1521.32/1521.70 c 1478s| 3140k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1526.02/1526.47 c 1483s| 3150k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1530.82/1531.29 c 1488s| 3160k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1535.72/1536.14 c 1493s| 3170k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1540.72/1541.17 c 1497s| 3180k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1545.62/1546.03 c 1502s| 3190k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1550.31/1550.73 c 1507s| 3200k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1555.02/1555.45 c 1511s| 3210k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1559.71/1560.16 c 1516s| 3220k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1564.61/1565.00 c 1521s| 3230k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1569.41/1569.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.41/1569.84 c 1525s| 3240k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1574.31/1574.76 c 1530s| 3250k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1579.22/1579.68 c 1535s| 3260k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1584.01/1584.44 c 1540s| 3270k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1588.81/1589.20 c 1544s| 3280k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1593.41/1593.86 c 1549s| 3290k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1598.10/1598.54 c 1553s| 3300k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1602.90/1603.32 c 1558s| 3310k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1607.70/1608.15 c 1563s| 3320k| 17 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1612.60/1613.04 c 1567s| 3330k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1617.30/1617.77 c 1572s| 3340k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1622.00/1622.49 c 1577s| 3350k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 10k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1626.89/1627.30 c 1581s| 3360k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1631.79/1632.22 c 1586s| 3370k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1636.90/1637.39 c 1591s| 3380k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1642.09/1642.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.09/1642.54 c 1596s| 3390k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1647.09/1647.58 c 1601s| 3400k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1652.09/1652.51 c 1606s| 3410k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1657.09/1657.58 c 1611s| 3420k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1662.19/1662.60 c 1616s| 3430k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1667.09/1667.53 c 1620s| 3440k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1671.98/1672.45 c 1625s| 3450k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1677.09/1677.55 c 1630s| 3460k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1682.18/1682.61 c 1635s| 3470k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1687.19/1687.67 c 1640s| 3480k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1692.08/1692.52 c 1645s| 3490k| 23 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1697.08/1697.58 c 1650s| 3500k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1701.98/1702.49 c 1654s| 3510k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1707.07/1707.59 c 1659s| 3520k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1712.08/1712.56 c 1664s| 3530k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1717.08/1717.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.08/1717.54 c 1669s| 3540k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1722.19/1722.62 c 1674s| 3550k| 23 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1727.07/1727.54 c 1679s| 3560k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1732.08/1732.56 c 1684s| 3570k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1736.87/1737.35 c 1688s| 3580k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1741.66/1742.11 c 1693s| 3590k| 19 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1746.38/1746.88 c 1698s| 3600k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1751.26/1751.78 c 1702s| 3610k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1756.07/1756.53 c 1707s| 3620k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1760.87/1761.38 c 1712s| 3630k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 11k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1765.76/1766.27 c 1716s| 3640k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1770.66/1771.10 c 1721s| 3650k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1775.46/1775.95 c 1726s| 3660k| 22 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1780.16/1780.68 c 1730s| 3670k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1785.06/1785.59 c 1735s| 3680k| 18 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1790.05/1790.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.05/1790.55 c 1740s| 3690k| 21 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1794.86/1795.31 c 1745s| 3700k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1799.45/1799.99 c 1749s| 3710k| 20 | 0 | 0.0 | 41M| 73 | - | 945 | 58k| 0 | 0 | 0 | 12k| 0 |-9.440000e+02 |-3.300000e+01 | 96.50%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1749.73
1800.06/1800.50 c Solving Nodes : 3711095
1800.06/1800.50 c Primal Bound : -3.30000000000000e+01 (9 solutions)
1800.06/1800.50 c Dual Bound : -9.44000000000000e+02
1800.06/1800.50 c Gap : 96.50 %
1800.06/1800.54 s SATISFIABLE
1800.06/1800.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.06/1800.54 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.06/1800.54 v -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.06/1800.54 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
1800.06/1800.54 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123
1800.06/1800.54 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.06/1800.54 v -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.06/1800.54 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186
1800.06/1800.54 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.06/1800.54 v x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.06/1800.54 v -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.06/1800.54 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.06/1800.54 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.06/1800.54 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.06/1800.54 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.06/1800.54 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.06/1800.54 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.06/1800.54 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.06/1800.54 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.06/1800.54 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.06/1800.54 v -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.06/1800.54 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.06/1800.54 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.06/1800.54 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.06/1800.54 v -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.06/1800.54 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.06/1800.54 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.06/1800.54 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.06/1800.54 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.06/1800.54 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648
1800.06/1800.54 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669
1800.06/1800.54 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.06/1800.54 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.06/1800.54 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.06/1800.54 v -x732 -x733 x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.06/1800.54 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774
1800.06/1800.54 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1800.06/1800.54 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.06/1800.54 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.06/1800.54 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.06/1800.54 v -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.06/1800.54 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.06/1800.54 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.06/1800.54 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.06/1800.54 v -x942 -x943 x944 -x945
1800.06/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.54 c Solving Time : 1749.73
1800.06/1800.54 c Original Problem :
1800.06/1800.54 c Problem name : HOME/instance-2664061-1276497970.opb
1800.06/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54 c Constraints : 58245 initial, 58245 maximal
1800.06/1800.54 c Presolved Problem :
1800.06/1800.54 c Problem name : t_HOME/instance-2664061-1276497970.opb
1800.06/1800.54 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54 c Constraints : 58245 initial, 58261 maximal
1800.06/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.54 c probing : 1.33 0 0 0 0 0 0 0 0
1800.06/1800.54 c logicor : 0.19 0 0 0 0 0 0 0 0
1800.06/1800.54 c root node : - 0 - - 0 - - - -
1800.06/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.54 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.54 c logicor : 58245+ 0 3720944 0 6 250267 8156670 0 0 0
1800.06/1800.54 c countsols : 0 0 0 0 6 0 0 0 0 0
1800.06/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.54 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.54 c logicor : 580.97 0.00 580.87 0.00 0.10
1800.06/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.54 c vbounds : 2.78 2 0 0
1800.06/1800.54 c rootredcost : 3.01 0 0 0
1800.06/1800.54 c pseudoobj : 502.34 5743222 1418796 1582367
1800.06/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.54 c propagation : 265.97 250267 12299 12299 42.7 0 0.0 -
1800.06/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.54 c pseudo solution : 236.31 188813 0 0 0.0 0 0.0 -
1800.06/1800.54 c applied globally : - - - 12299 42.7 - - -
1800.06/1800.54 c applied locally : - - - 0 0.0 - - -
1800.06/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.54 c redcost : 0.00 0 0 0 0 0
1800.06/1800.54 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.54 c intobj : 0.00 0 0 0 0 0
1800.06/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.54 c gomory : 0.00 0 0 0 0 0
1800.06/1800.54 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.54 c cmir : 0.00 0 0 0 0 0
1800.06/1800.54 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.54 c clique : 0.00 0 0 0 0 0
1800.06/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.54 c mcf : 0.00 0 0 0 0 0
1800.06/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.54 c Pricers : Time Calls Vars
1800.06/1800.54 c problem variables: 0.00 0 0
1800.06/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.54 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.54 c inference : 19.33 1861005 0 0 0 0 3722010
1800.06/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.54 c random : 0.00 0 0 0 0 0 0
1800.06/1800.54 c Primal Heuristics : Time Calls Found
1800.06/1800.54 c LP solutions : 0.00 - 0
1800.06/1800.54 c pseudo solutions : 0.00 - 6
1800.06/1800.54 c oneopt : 2.95 0 0
1800.06/1800.54 c trivial : 0.04 2 3
1800.06/1800.54 c simplerounding : 0.00 0 0
1800.06/1800.54 c zirounding : 0.00 0 0
1800.06/1800.54 c rounding : 0.00 0 0
1800.06/1800.54 c shifting : 0.00 0 0
1800.06/1800.54 c intshifting : 0.00 0 0
1800.06/1800.54 c twoopt : 0.00 0 0
1800.06/1800.54 c fixandinfer : 0.00 0 0
1800.06/1800.54 c feaspump : 0.00 0 0
1800.06/1800.54 c coefdiving : 0.00 0 0
1800.06/1800.54 c pscostdiving : 0.00 0 0
1800.06/1800.54 c fracdiving : 0.00 0 0
1800.06/1800.54 c veclendiving : 0.00 0 0
1800.06/1800.54 c intdiving : 0.00 0 0
1800.06/1800.54 c actconsdiving : 0.00 0 0
1800.06/1800.54 c objpscostdiving : 0.00 0 0
1800.06/1800.54 c rootsoldiving : 0.00 0 0
1800.06/1800.54 c linesearchdiving : 0.00 0 0
1800.06/1800.54 c guideddiving : 0.00 0 0
1800.06/1800.54 c octane : 0.00 0 0
1800.06/1800.54 c rens : 0.00 0 0
1800.06/1800.54 c rins : 0.00 0 0
1800.06/1800.54 c localbranching : 0.00 0 0
1800.06/1800.54 c mutation : 0.00 0 0
1800.06/1800.54 c crossover : 0.00 0 0
1800.06/1800.54 c dins : 0.00 0 0
1800.06/1800.54 c undercover : 0.00 0 0
1800.06/1800.54 c nlp : 1.38 0 0
1800.06/1800.54 c trysol : 1.97 0 0
1800.06/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.54 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.54 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.54 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.54 c (at root node) : - 0 0 0.00 -
1800.06/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.54 c B&B Tree :
1800.06/1800.54 c number of runs : 1
1800.06/1800.54 c nodes : 3711095
1800.06/1800.54 c nodes (total) : 3711095
1800.06/1800.54 c nodes left : 20
1800.06/1800.54 c max depth : 73
1800.06/1800.54 c max depth (total): 73
1800.06/1800.54 c backtracks : 570355 (15.4%)
1800.06/1800.54 c delayed cutoffs : 8327
1800.06/1800.54 c repropagations : 9437 (33074 domain reductions, 7792 cutoffs)
1800.06/1800.54 c avg switch length: 2.00
1800.06/1800.54 c switching time : 208.74
1800.06/1800.54 c Solution :
1800.06/1800.54 c Solutions found : 9 (7 improvements)
1800.06/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.06/1800.54 c Primal Bound : -3.30000000000000e+01 (in run 1, after 58132 nodes, 29.20 seconds, depth 40, found by <relaxation>)
1800.06/1800.54 c Dual Bound : -9.44000000000000e+02
1800.06/1800.54 c Gap : 96.50 %
1800.06/1800.54 c Root Dual Bound : -9.45000000000000e+02
1800.06/1800.54 c Root Iterations : 0
1800.17/1800.67 c Time complete: 1800.23.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664061-1276497970/watcher-2664061-1276497970 -o /tmp/evaluation-result-2664061-1276497970/solver-2664061-1276497970 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664061-1276497970.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27311 /proc/meminfo: memFree=1794808/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=6584 CPUtime=0 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 25400953 6742016 898 1992294400 4194304 7136930 140736493654256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 1646 908 254 719 0 925 0 [startup+0.015894 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27311 /proc/meminfo: memFree=1794808/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=8768 CPUtime=0.01 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 1685 0 0 0 1 0 0 0 20 0 1 0 25400953 8978432 1608 1992294400 4194304 7136930 140736493654256 18446744073709551615 6326929 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 2192 1612 271 719 0 1471 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8768 [startup+0.100901 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27311 /proc/meminfo: memFree=1794808/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=12084 CPUtime=0.09 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 2495 0 0 0 9 0 0 0 20 0 1 0 25400953 12374016 2418 1992294400 4194304 7136930 140736493654256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 3021 2418 271 719 0 2300 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12084 [startup+0.300916 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27311 /proc/meminfo: memFree=1794808/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=16436 CPUtime=0.29 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 3597 0 0 0 28 1 0 0 20 0 1 0 25400953 16830464 3520 1992294400 4194304 7136930 140736493654256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 4109 3520 271 719 0 3388 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16436 [startup+0.700949 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27311 /proc/meminfo: memFree=1794808/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=24184 CPUtime=0.69 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 5545 0 0 0 67 2 0 0 20 0 1 0 25400953 24764416 5468 1992294400 4194304 7136930 140736493654256 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 6046 5468 271 719 0 5325 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24184 [startup+1.50101 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27312 /proc/meminfo: memFree=1754748/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=72068 CPUtime=1.49 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 19197 0 0 0 137 12 0 0 22 0 1 0 25400953 73797632 17128 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 18017 17128 349 719 0 17296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72068 [startup+3.10114 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27312 /proc/meminfo: memFree=1724740/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=75144 CPUtime=3.09 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26221 0 0 0 285 24 0 0 25 0 1 0 25400953 76947456 17828 1992294400 4194304 7136930 140736493654256 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 18786 17828 363 719 0 18065 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75144 [startup+6.3004 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27312 /proc/meminfo: memFree=1723252/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=6.29 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 598 31 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 76172 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27312 /proc/meminfo: memFree=1723252/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=12.68 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 1219 49 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76172 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27312 /proc/meminfo: memFree=1723252/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=25.49 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 2465 84 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76172 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27314 /proc/meminfo: memFree=1723252/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=51.08 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 4953 155 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76172 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27314 /proc/meminfo: memFree=1723004/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=102.28 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 9927 301 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4240411 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 76172 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27316 /proc/meminfo: memFree=1722880/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=162.25 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 15758 467 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 76172 [startup+222.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 27318 /proc/meminfo: memFree=1722756/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=222.24 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 21595 629 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 76172 [startup+282.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 27320 /proc/meminfo: memFree=1722632/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=282.23 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 27435 788 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 76172 [startup+342.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 27322 /proc/meminfo: memFree=1722508/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=342.22 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 33266 956 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5907258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 76172 [startup+402.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 27322 /proc/meminfo: memFree=1722384/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=402.2 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 39098 1122 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5506276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 76172 [startup+462.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 27324 /proc/meminfo: memFree=1722260/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=462.18 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 44930 1288 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 76172 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27326 /proc/meminfo: memFree=1722136/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=522.17 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 50781 1436 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4349998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 76172 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27328 /proc/meminfo: memFree=1722012/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=582.16 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 56619 1597 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 76172 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27330 /proc/meminfo: memFree=1721888/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=642.15 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 62455 1760 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 76172 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27336 /proc/meminfo: memFree=1721392/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=882.09 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 85769 2440 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 76172 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27347 /proc/meminfo: memFree=1720648/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=942.05 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 91598 2607 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4648306 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 76172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27347 /proc/meminfo: memFree=1720648/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1002.04 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 97431 2773 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 76172 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27349 /proc/meminfo: memFree=1720772/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1062.03 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 103261 2942 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4434247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 76172 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27351 /proc/meminfo: memFree=1720772/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1122.02 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 109104 3098 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 76172 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27353 /proc/meminfo: memFree=1720772/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1182 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 114939 3261 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4209994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 76172 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 27355 /proc/meminfo: memFree=1720772/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1241.99 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 120778 3421 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 76172 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 27355 /proc/meminfo: memFree=1720648/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1301.98 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 126608 3590 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 76172 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 27357 /proc/meminfo: memFree=1720648/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1361.96 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 132442 3754 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 76172 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27359 /proc/meminfo: memFree=1720524/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1421.95 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 138275 3920 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 76172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27361 /proc/meminfo: memFree=1720524/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1481.93 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 144105 4088 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 76172 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27363 /proc/meminfo: memFree=1720400/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1541.92 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 149944 4248 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 76172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27363 /proc/meminfo: memFree=1720276/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1601.91 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 155779 4412 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 76172 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27368 /proc/meminfo: memFree=1719904/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1661.88 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 161623 4565 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 76172 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27370 /proc/meminfo: memFree=1719904/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1721.88 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 167468 4720 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 76172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27372 /proc/meminfo: memFree=1719780/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1781.86 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 173299 4887 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 76172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27372 /proc/meminfo: memFree=1719780/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=76172 CPUtime=1800.06 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26503 0 0 0 175065 4941 0 0 25 0 1 0 25400953 78000128 18107 1992294400 4194304 7136930 140736493654256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27311/statm: 19043 18107 385 719 0 18322 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 76172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 3/108 27373 /proc/meminfo: memFree=1722500/2059040 swapFree=4140200/4192956 [pid=27311] ppid=27309 vsize=73460 CPUtime=1800.17 /proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 27047 0 -1 4202496 26509 0 0 0 175076 4941 0 0 25 0 1 0 25400953 75223040 17435 1992294400 4194304 7136930 140736493654256 18446744073709551615 4668100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27311/statm: 18365 17435 391 719 0 17644 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 73460 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.24 CPU user time (s): 1750.81 CPU system time (s): 49.4275 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 83644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.81 system time used= 49.4275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26516 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= 5 involuntary context switches= 3792 runsolver used 2.95655 second user time and 8.5577 second system time The end
Begin job on node003 at 2010-06-14 08:46:10 IDJOB=2664061 IDBENCH=2250 IDSOLVER=1167 FILE ID=node003/2664061-1276497970 PBS_JOBID= 11173404 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.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-2664061-1276497970/watcher-2664061-1276497970 -o /tmp/evaluation-result-2664061-1276497970/solver-2664061-1276497970 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664061-1276497970.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED=1924105116 node003.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1795336 kB Buffers: 78188 kB Cached: 106468 kB SwapCached: 5688 kB Active: 96620 kB Inactive: 100404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795336 kB SwapTotal: 4192956 kB SwapFree: 4140200 kB Dirty: 4536 kB Writeback: 4 kB AnonPages: 10968 kB Mapped: 12932 kB Slab: 44952 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181220 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= 62568 MiB End job on node003 at 2010-06-14 09:16:13