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) | 191 | 1800.1 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
| MD5SUM | eb2e849a72ed563d78cdb83a394edb27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 191 |
| Best CPU time to get the best result obtained on this benchmark | 17.9393 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 191 |
| Optimality of the best value was proved | YES |
| Number of variables | 456 |
| Total number of constraints | 1602 |
| Number of constraints which are clauses | 1602 |
| 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 | 32 |
| Number of terms in the objective function | 456 |
| 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 | 456 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 456 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-2664695-1276461608.opb>
0.00/0.04 c original problem has 456 variables (456 bin, 0 int, 0 impl, 0 cont) and 1602 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.09/0.10 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1566 upgd conss, 10440 impls, 0 clqs
0.09/0.11 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1602 upgd conss, 10440 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/456 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 10440 implications, 0 cliques
0.09/0.15 c presolved problem has 456 variables (456 bin, 0 int, 0 impl, 0 cont) and 1602 constraints
0.09/0.15 c 1602 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c conflict/interconss = 0
0.09/0.15 c
0.09/0.15 c # should binary conflicts be preferred?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c conflict/preferbinary = TRUE
0.09/0.15 c
0.09/0.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c constraints/agelimit = 1
0.09/0.15 c
0.09/0.15 c # should enforcement of pseudo solution be disabled?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/disableenfops = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 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)
0.09/0.15 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.15 c lp/pricing = a
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # priority of node selection rule <dfs> in standard mode
0.09/0.15 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.15 c nodeselection/dfs/stdpriority = 1000000
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2742k| 0 | - | 456 |1602 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 217
0.09/0.18 c * 0.1s| 193 | 168 | 0 | 0.0 |2814k| 172 | - | 456 |1605 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | 2.170000e+02 | Large
0.09/0.19 o 215
0.09/0.19 c * 0.1s| 231 | 156 | 0 | 0.0 |2820k| 174 | - | 456 |1605 | 0 | 0 | 0 | 20 | 0 | 1.000000e+00 | 2.150000e+02 | Large
0.09/0.19 o 212
0.09/0.19 c * 0.1s| 252 | 157 | 0 | 0.0 |2827k| 178 | - | 456 |1605 | 0 | 0 | 0 | 20 | 0 | 1.000000e+00 | 2.120000e+02 | Large
0.09/0.20 o 207
0.09/0.20 c * 0.1s| 280 | 161 | 0 | 0.0 |2836k| 183 | - | 456 |1605 | 0 | 0 | 0 | 20 | 0 | 1.000000e+00 | 2.070000e+02 | Large
0.20/0.20 o 205
0.20/0.20 c * 0.1s| 303 | 159 | 0 | 0.0 |2842k| 187 | - | 456 |1605 | 0 | 0 | 0 | 20 | 0 | 1.000000e+00 | 2.050000e+02 | Large
0.20/0.20 o 202
0.20/0.20 c * 0.1s| 348 | 155 | 0 | 0.0 |2848k| 190 | - | 456 |1605 | 0 | 0 | 0 | 22 | 0 | 1.000000e+00 | 2.020000e+02 | Large
0.20/0.23 o 201
0.20/0.23 c * 0.2s| 415 | 156 | 0 | 0.0 |2854k| 190 | - | 456 |1605 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 2.010000e+02 | Large
0.20/0.23 o 194
0.20/0.23 c * 0.2s| 451 | 154 | 0 | 0.0 |2862k| 195 | - | 456 |1605 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 1.940000e+02 | Large
0.20/0.23 o 193
0.20/0.23 c * 0.2s| 463 | 154 | 0 | 0.0 |2865k| 195 | - | 456 |1605 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 1.930000e+02 | Large
0.49/0.53 o 192
0.49/0.53 c * 0.4s| 1695 | 149 | 0 | 0.0 |2891k| 195 | - | 456 |1606 | 0 | 0 | 0 | 214 | 0 | 1.000000e+00 | 1.920000e+02 | Large
2.59/2.64 c 2.4s| 10000 | 143 | 0 | 0.0 |2899k| 195 | - | 456 |1605 | 0 | 0 | 0 |1710 | 0 | 1.000000e+00 | 1.920000e+02 | Large
5.40/5.50 c 5.0s| 20000 | 139 | 0 | 0.0 |2916k| 195 | - | 456 |1609 | 0 | 0 | 0 |3565 | 0 | 1.000000e+00 | 1.920000e+02 | Large
8.19/8.20 c 7.5s| 30000 | 136 | 0 | 0.0 |2912k| 195 | - | 456 |1606 | 0 | 0 | 0 |5465 | 0 | 1.000000e+00 | 1.920000e+02 | Large
10.90/10.94 c 9.9s| 40000 | 133 | 0 | 0.0 |2920k| 195 | - | 456 |1622 | 0 | 0 | 0 |7650 | 0 | 1.000000e+00 | 1.920000e+02 | Large
13.79/13.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.79/13.83 c 12.6s| 50000 | 126 | 0 | 0.0 |2914k| 195 | - | 456 |1603 | 0 | 0 | 0 |9821 | 0 | 1.000000e+00 | 1.920000e+02 | Large
16.28/16.35 c 14.9s| 60000 | 122 | 0 | 0.0 |2917k| 195 | - | 456 |1608 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.920000e+02 | Large
19.09/19.10 o 191
19.09/19.10 c *17.4s| 69724 | 123 | 0 | 0.0 |2930k| 195 | - | 456 |1616 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.910000e+02 | Large
19.09/19.16 c 17.4s| 70000 | 122 | 0 | 0.0 |2929k| 195 | - | 456 |1616 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.910000e+02 | Large
21.79/21.89 c 19.9s| 80000 | 123 | 0 | 0.0 |2926k| 195 | - | 456 |1608 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.910000e+02 | Large
24.39/24.49 c 22.3s| 90000 | 121 | 0 | 0.0 |2923k| 195 | - | 456 |1604 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.910000e+02 | Large
26.89/26.93 c 24.6s|100000 | 120 | 0 | 0.0 |2927k| 195 | - | 456 |1609 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.910000e+02 | Large
29.38/29.47 c 26.9s|110000 | 117 | 0 | 0.0 |2927k| 195 | - | 456 |1607 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 1.910000e+02 | Large
32.38/32.40 c 29.6s|120000 | 112 | 0 | 0.0 |2927k| 195 | - | 456 |1608 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 1.910000e+02 | Large
35.09/35.19 c 32.1s|130000 | 115 | 0 | 0.0 |2930k| 195 | - | 456 |1613 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 1.910000e+02 | Large
37.68/37.70 c 34.4s|140000 | 100 | 0 | 0.0 |2925k| 195 | - | 456 |1607 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 1.910000e+02 | Large
40.58/40.60 c 37.0s|150000 | 99 | 0 | 0.0 |2934k| 195 | - | 456 |1621 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.910000e+02 | Large
43.27/43.39 c 39.6s|160000 | 96 | 0 | 0.0 |2929k| 195 | - | 456 |1607 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 1.910000e+02 | Large
45.87/45.91 c 41.9s|170000 | 91 | 0 | 0.0 |2930k| 195 | - | 456 |1610 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.910000e+02 | Large
48.58/48.62 c 44.4s|180000 | 90 | 0 | 0.0 |2934k| 195 | - | 456 |1614 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 1.910000e+02 | Large
51.18/51.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.18/51.27 c 46.8s|190000 | 90 | 0 | 0.0 |2936k| 195 | - | 456 |1619 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.910000e+02 | Large
53.68/53.77 c 49.1s|200000 | 89 | 0 | 0.0 |2935k| 195 | - | 456 |1613 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.910000e+02 | Large
56.37/56.40 c 51.5s|210000 | 82 | 0 | 0.0 |2924k| 195 | - | 456 |1606 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 1.910000e+02 | Large
59.07/59.19 c 54.0s|220000 | 88 | 0 | 0.0 |2936k| 195 | - | 456 |1614 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 1.910000e+02 | Large
61.58/61.62 c 56.3s|230000 | 81 | 0 | 0.0 |2932k| 195 | - | 456 |1608 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.910000e+02 | Large
64.37/64.43 c 58.9s|240000 | 91 | 0 | 0.0 |2943k| 195 | - | 456 |1617 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.910000e+02 | Large
66.77/66.88 c 61.1s|250000 | 83 | 0 | 0.0 |2936k| 195 | - | 456 |1611 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 1.910000e+02 | Large
69.57/69.67 c 63.6s|260000 | 76 | 0 | 0.0 |2934k| 195 | - | 456 |1610 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 1.910000e+02 | Large
72.27/72.31 c 66.0s|270000 | 73 | 0 | 0.0 |2928k| 195 | - | 456 |1606 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 1.910000e+02 | Large
75.27/75.33 c 68.8s|280000 | 67 | 0 | 0.0 |2938k| 195 | - | 456 |1618 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 1.910000e+02 | Large
77.66/77.76 c 71.0s|290000 | 70 | 0 | 0.0 |2937k| 195 | - | 456 |1617 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 1.910000e+02 | Large
80.27/80.34 c 73.4s|300000 | 74 | 0 | 0.0 |2936k| 195 | - | 456 |1610 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.910000e+02 | Large
82.67/82.77 c 75.6s|310000 | 70 | 0 | 0.0 |2938k| 195 | - | 456 |1615 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 1.910000e+02 | Large
85.06/85.18 c 77.8s|320000 | 78 | 0 | 0.0 |2941k| 195 | - | 456 |1615 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 1.910000e+02 | Large
87.87/87.90 c 80.3s|330000 | 75 | 0 | 0.0 |2944k| 195 | - | 456 |1618 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 1.910000e+02 | Large
90.26/90.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.26/90.38 c 82.6s|340000 | 63 | 0 | 0.0 |2939k| 195 | - | 456 |1617 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 1.910000e+02 | Large
93.26/93.36 c 85.3s|350000 | 71 | 0 | 0.0 |2942k| 195 | - | 456 |1614 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 1.910000e+02 | Large
95.96/96.07 c 87.8s|360000 | 64 | 0 | 0.0 |2948k| 195 | - | 456 |1624 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.910000e+02 | Large
98.76/98.88 c 90.3s|370000 | 73 | 0 | 0.0 |2949k| 195 | - | 456 |1624 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.910000e+02 | Large
101.17/101.25 c 92.5s|380000 | 68 | 0 | 0.0 |2945k| 195 | - | 456 |1622 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 1.910000e+02 | Large
103.96/104.07 c 95.1s|390000 | 62 | 0 | 0.0 |2945k| 195 | - | 456 |1615 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 1.910000e+02 | Large
106.76/106.84 c 97.6s|400000 | 63 | 0 | 0.0 |2947k| 195 | - | 456 |1625 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 1.910000e+02 | Large
109.26/109.39 c 99.9s|410000 | 57 | 0 | 0.0 |2942k| 195 | - | 456 |1620 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 1.910000e+02 | Large
112.06/112.15 c 102s|420000 | 58 | 0 | 0.0 |2948k| 195 | - | 456 |1622 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 1.910000e+02 | Large
114.46/114.60 c 105s|430000 | 64 | 0 | 0.0 |2948k| 195 | - | 456 |1618 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 1.910000e+02 | Large
116.86/116.94 c 107s|440000 | 58 | 0 | 0.0 |2951k| 195 | - | 456 |1630 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 1.910000e+02 | Large
119.56/119.66 c 109s|450000 | 59 | 0 | 0.0 |2956k| 195 | - | 456 |1635 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.910000e+02 | Large
122.15/122.21 c 112s|460000 | 60 | 0 | 0.0 |2950k| 195 | - | 456 |1622 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 1.910000e+02 | Large
125.26/125.32 c 115s|470000 | 51 | 0 | 0.0 |2939k| 195 | - | 456 |1611 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 1.910000e+02 | Large
127.86/127.95 c 117s|480000 | 50 | 0 | 0.0 |2947k| 195 | - | 456 |1621 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 1.910000e+02 | Large
130.66/130.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.66/130.79 c 120s|490000 | 49 | 0 | 0.0 |2950k| 195 | - | 456 |1622 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 1.910000e+02 | Large
134.76/134.83 c 123s|500000 | 69 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 1.910000e+02 | Large
139.15/139.22 c 127s|510000 | 65 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 1.910000e+02 | Large
143.75/143.86 c 132s|520000 | 64 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 1.910000e+02 | Large
148.46/148.55 c 136s|530000 | 68 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 1.910000e+02 | Large
152.86/152.97 c 140s|540000 | 66 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 1.910000e+02 | Large
157.34/157.47 c 145s|550000 | 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 1.910000e+02 | Large
161.65/161.73 c 149s|560000 | 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 1.910000e+02 | Large
166.14/166.27 c 153s|570000 | 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 1.910000e+02 | Large
170.84/170.99 c 158s|580000 | 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 1.910000e+02 | Large
175.54/175.63 c 162s|590000 | 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 1.910000e+02 | Large
180.25/180.36 c 166s|600000 | 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 1.910000e+02 | Large
184.74/184.86 c 171s|610000 | 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 1.910000e+02 | Large
188.94/189.05 c 175s|620000 | 67 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 1.910000e+02 | Large
193.34/193.40 c 179s|630000 | 61 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 1.910000e+02 | Large
197.53/197.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.53/197.70 c 183s|640000 | 63 | 0 | 0.0 |2961k| 195 | - | 456 |1625 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 1.910000e+02 | Large
201.93/202.03 c 187s|650000 | 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 1.910000e+02 | Large
206.53/206.64 c 191s|660000 | 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 1.910000e+02 | Large
211.14/211.24 c 196s|670000 | 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 1.910000e+02 | Large
215.73/215.82 c 200s|680000 | 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 1.910000e+02 | Large
220.42/220.52 c 205s|690000 | 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 1.910000e+02 | Large
224.82/224.99 c 209s|700000 | 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 1.910000e+02 | Large
229.23/229.38 c 213s|710000 | 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 1.910000e+02 | Large
233.72/233.85 c 217s|720000 | 61 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 1.910000e+02 | Large
238.22/238.38 c 222s|730000 | 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 1.910000e+02 | Large
242.52/242.64 c 226s|740000 | 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 1.910000e+02 | Large
246.72/246.85 c 230s|750000 | 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 1.910000e+02 | Large
250.92/251.06 c 233s|760000 | 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 1.910000e+02 | Large
255.22/255.32 c 238s|770000 | 63 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 1.910000e+02 | Large
259.71/259.81 c 242s|780000 | 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 1.910000e+02 | Large
264.32/264.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.32/264.40 c 246s|790000 | 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 1.910000e+02 | Large
268.81/268.94 c 250s|800000 | 65 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.910000e+02 | Large
273.11/273.23 c 254s|810000 | 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 1.910000e+02 | Large
277.41/277.50 c 258s|820000 | 67 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 1.910000e+02 | Large
281.61/281.77 c 263s|830000 | 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 1.910000e+02 | Large
286.11/286.27 c 267s|840000 | 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 1.910000e+02 | Large
290.61/290.75 c 271s|850000 | 65 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 1.910000e+02 | Large
295.11/295.21 c 275s|860000 | 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 1.910000e+02 | Large
299.90/300.05 c 280s|870000 | 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 1.910000e+02 | Large
304.70/304.81 c 284s|880000 | 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 1.910000e+02 | Large
309.30/309.43 c 289s|890000 | 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 1.910000e+02 | Large
313.70/313.86 c 293s|900000 | 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 1.910000e+02 | Large
318.70/318.84 c 298s|910000 | 62 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 1.910000e+02 | Large
323.40/323.54 c 302s|920000 | 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 1.910000e+02 | Large
327.80/327.95 c 306s|930000 | 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.910000e+02 | Large
332.40/332.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.40/332.51 c 311s|940000 | 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 1.910000e+02 | Large
336.99/337.14 c 315s|950000 | 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 1.910000e+02 | Large
341.70/341.80 c 320s|960000 | 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 1.910000e+02 | Large
346.40/346.57 c 324s|970000 | 59 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 1.910000e+02 | Large
351.09/351.20 c 328s|980000 | 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 1.910000e+02 | Large
355.99/356.13 c 333s|990000 | 68 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 1.910000e+02 | Large
360.99/361.19 c 338s| 1000k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.910000e+02 | Large
366.09/366.30 c 343s| 1010k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 1.910000e+02 | Large
371.08/371.25 c 348s| 1020k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 1.910000e+02 | Large
375.99/376.19 c 352s| 1030k| 65 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 1.910000e+02 | Large
380.98/381.14 c 357s| 1040k| 67 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 1.910000e+02 | Large
386.08/386.21 c 362s| 1050k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 1.910000e+02 | Large
391.08/391.29 c 367s| 1060k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 1.910000e+02 | Large
396.18/396.31 c 371s| 1070k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.910000e+02 | Large
401.18/401.30 c 376s| 1080k| 64 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 1.910000e+02 | Large
406.08/406.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.08/406.27 c 381s| 1090k| 59 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.910000e+02 | Large
410.48/410.67 c 385s| 1100k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 1.910000e+02 | Large
415.17/415.31 c 390s| 1110k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 1.910000e+02 | Large
420.08/420.23 c 394s| 1120k| 68 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 1.910000e+02 | Large
424.87/425.09 c 399s| 1130k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 1.910000e+02 | Large
429.46/429.65 c 403s| 1140k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 1.910000e+02 | Large
434.06/434.27 c 408s| 1150k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 1.910000e+02 | Large
438.77/438.94 c 412s| 1160k| 65 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.910000e+02 | Large
443.47/443.66 c 416s| 1170k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 1.910000e+02 | Large
448.06/448.24 c 421s| 1180k| 63 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 1.910000e+02 | Large
452.86/453.05 c 425s| 1190k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 1.910000e+02 | Large
457.56/457.79 c 430s| 1200k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.910000e+02 | Large
462.16/462.31 c 434s| 1210k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 1.910000e+02 | Large
466.76/466.95 c 439s| 1220k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 1.910000e+02 | Large
471.35/471.56 c 443s| 1230k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 1.910000e+02 | Large
476.16/476.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.16/476.37 c 448s| 1240k| 64 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.910000e+02 | Large
480.85/481.04 c 452s| 1250k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 1.910000e+02 | Large
485.45/485.64 c 456s| 1260k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 1.910000e+02 | Large
490.05/490.29 c 461s| 1270k| 67 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 1.910000e+02 | Large
495.05/495.23 c 466s| 1280k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 1.910000e+02 | Large
499.85/500.04 c 470s| 1290k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.910000e+02 | Large
504.66/504.81 c 475s| 1300k| 63 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 1.910000e+02 | Large
509.44/509.62 c 479s| 1310k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.910000e+02 | Large
514.34/514.54 c 484s| 1320k| 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.910000e+02 | Large
519.05/519.26 c 488s| 1330k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 1.910000e+02 | Large
523.74/523.96 c 493s| 1340k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 1.910000e+02 | Large
528.64/528.84 c 498s| 1350k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 1.910000e+02 | Large
533.64/533.83 c 502s| 1360k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.910000e+02 | Large
538.64/538.82 c 507s| 1370k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.910000e+02 | Large
543.54/543.78 c 512s| 1380k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 1.910000e+02 | Large
548.43/548.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.43/548.63 c 516s| 1390k| 59 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.910000e+02 | Large
553.34/553.55 c 521s| 1400k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 1.910000e+02 | Large
558.24/558.46 c 526s| 1410k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 1.910000e+02 | Large
562.94/563.13 c 530s| 1420k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 1.910000e+02 | Large
567.62/567.82 c 535s| 1430k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 1.910000e+02 | Large
572.43/572.64 c 539s| 1440k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 1.910000e+02 | Large
577.33/577.57 c 544s| 1450k| 65 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 1.910000e+02 | Large
582.43/582.60 c 549s| 1460k| 65 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 1.910000e+02 | Large
587.32/587.53 c 553s| 1470k| 68 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.910000e+02 | Large
592.02/592.24 c 558s| 1480k| 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 1.910000e+02 | Large
596.82/597.08 c 562s| 1490k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.910000e+02 | Large
601.62/601.82 c 567s| 1500k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 1.910000e+02 | Large
606.41/606.63 c 572s| 1510k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.910000e+02 | Large
611.51/611.72 c 576s| 1520k| 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 1.910000e+02 | Large
616.52/616.72 c 581s| 1530k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 1.910000e+02 | Large
621.22/621.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.22/621.46 c 586s| 1540k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 1.910000e+02 | Large
625.72/625.95 c 590s| 1550k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.910000e+02 | Large
630.31/630.56 c 594s| 1560k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.910000e+02 | Large
635.01/635.24 c 599s| 1570k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.910000e+02 | Large
640.02/640.28 c 604s| 1580k| 63 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.910000e+02 | Large
645.10/645.34 c 608s| 1590k| 65 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 1.910000e+02 | Large
650.20/650.48 c 613s| 1600k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 1.910000e+02 | Large
655.60/655.85 c 618s| 1610k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 1.910000e+02 | Large
660.81/661.10 c 623s| 1620k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 1.910000e+02 | Large
666.00/666.29 c 628s| 1630k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 1.910000e+02 | Large
671.29/671.56 c 633s| 1640k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 1.910000e+02 | Large
676.60/676.89 c 638s| 1650k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.910000e+02 | Large
681.70/681.98 c 643s| 1660k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 1.910000e+02 | Large
686.69/686.97 c 648s| 1670k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 1.910000e+02 | Large
691.60/691.82 c 653s| 1680k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 1.910000e+02 | Large
696.29/696.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.29/696.50 c 657s| 1690k| 64 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 719k| 0 | 1.000000e+00 | 1.910000e+02 | Large
701.29/701.53 c 662s| 1700k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 1.910000e+02 | Large
706.28/706.54 c 667s| 1710k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 1.910000e+02 | Large
710.98/711.28 c 671s| 1720k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 1.910000e+02 | Large
716.08/716.34 c 676s| 1730k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 1.910000e+02 | Large
720.98/721.28 c 681s| 1740k| 60 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 1.910000e+02 | Large
725.79/726.09 c 685s| 1750k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 1.910000e+02 | Large
730.58/730.89 c 690s| 1760k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 1.910000e+02 | Large
735.59/735.84 c 695s| 1770k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 1.910000e+02 | Large
740.57/740.82 c 699s| 1780k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 1.910000e+02 | Large
745.58/745.83 c 704s| 1790k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 1.910000e+02 | Large
750.28/750.55 c 709s| 1800k| 69 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 1.910000e+02 | Large
755.48/755.75 c 714s| 1810k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 1.910000e+02 | Large
760.47/760.70 c 718s| 1820k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 1.910000e+02 | Large
765.28/765.59 c 723s| 1830k| 64 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 1.910000e+02 | Large
770.37/770.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.37/770.64 c 728s| 1840k| 60 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 1.910000e+02 | Large
775.36/775.60 c 732s| 1850k| 59 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 1.910000e+02 | Large
780.46/780.71 c 737s| 1860k| 63 | 0 | 0.0 |2961k| 195 | - | 456 |1625 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 1.910000e+02 | Large
785.27/785.54 c 742s| 1870k| 59 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 1.910000e+02 | Large
789.97/790.25 c 746s| 1880k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 1.910000e+02 | Large
795.07/795.33 c 751s| 1890k| 62 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 1.910000e+02 | Large
800.06/800.32 c 756s| 1900k| 58 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 1.910000e+02 | Large
804.86/805.19 c 761s| 1910k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 1.910000e+02 | Large
809.66/809.92 c 765s| 1920k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 1.910000e+02 | Large
814.56/814.84 c 770s| 1930k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 1.910000e+02 | Large
819.35/819.66 c 774s| 1940k| 63 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 1.910000e+02 | Large
824.46/824.70 c 779s| 1950k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 1.910000e+02 | Large
829.16/829.43 c 784s| 1960k| 61 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 1.910000e+02 | Large
834.05/834.31 c 788s| 1970k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 1.910000e+02 | Large
838.96/839.27 c 793s| 1980k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 1.910000e+02 | Large
843.85/844.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.85/844.16 c 798s| 1990k| 59 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 1.910000e+02 | Large
848.85/849.13 c 802s| 2000k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 1.910000e+02 | Large
853.84/854.14 c 807s| 2010k| 61 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 1.910000e+02 | Large
859.04/859.39 c 812s| 2020k| 58 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 1.910000e+02 | Large
863.94/864.27 c 817s| 2030k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 1.910000e+02 | Large
868.75/869.04 c 821s| 2040k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 1.910000e+02 | Large
873.44/873.78 c 826s| 2050k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 1.910000e+02 | Large
878.24/878.52 c 830s| 2060k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 1.910000e+02 | Large
883.23/883.53 c 835s| 2070k| 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 1.910000e+02 | Large
888.44/888.79 c 840s| 2080k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 1.910000e+02 | Large
893.63/893.93 c 845s| 2090k| 61 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 1.910000e+02 | Large
898.73/899.10 c 850s| 2100k| 60 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 1.910000e+02 | Large
903.83/904.10 c 855s| 2110k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 1.910000e+02 | Large
908.73/909.02 c 860s| 2120k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 1.910000e+02 | Large
913.63/913.96 c 864s| 2130k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 949k| 0 | 1.000000e+00 | 1.910000e+02 | Large
918.42/918.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.42/918.72 c 869s| 2140k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 954k| 0 | 1.000000e+00 | 1.910000e+02 | Large
923.42/923.72 c 874s| 2150k| 60 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 1.910000e+02 | Large
928.13/928.43 c 878s| 2160k| 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 1.910000e+02 | Large
932.82/933.13 c 882s| 2170k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 1.910000e+02 | Large
937.42/937.75 c 887s| 2180k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 1.910000e+02 | Large
942.62/942.90 c 892s| 2190k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 1.910000e+02 | Large
948.01/948.37 c 897s| 2200k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 1.910000e+02 | Large
953.42/953.75 c 902s| 2210k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 1.910000e+02 | Large
958.83/959.13 c 907s| 2220k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 1.910000e+02 | Large
964.51/964.84 c 913s| 2230k| 61 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 1.910000e+02 | Large
970.01/970.38 c 918s| 2240k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 1.910000e+02 | Large
975.32/975.67 c 923s| 2250k| 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 1.910000e+02 | Large
980.82/981.13 c 928s| 2260k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 1.910000e+02 | Large
986.01/986.35 c 933s| 2270k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 1.910000e+02 | Large
991.20/991.50 c 938s| 2280k| 60 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 1.910000e+02 | Large
996.31/996.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.31/996.68 c 943s| 2290k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1036k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1001.50/1001.84 c 948s| 2300k| 60 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1006.70/1007.05 c 953s| 2310k| 59 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1012.00/1012.35 c 958s| 2320k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1017.40/1017.78 c 963s| 2330k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1021.99/1022.35 c 967s| 2340k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1026.50/1026.84 c 972s| 2350k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1030.99/1031.36 c 976s| 2360k| 56 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1072k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1035.39/1035.76 c 980s| 2370k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1039.99/1040.38 c 985s| 2380k| 59 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1081k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1044.49/1044.86 c 989s| 2390k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1048.79/1049.17 c 993s| 2400k| 65 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1053.09/1053.40 c 997s| 2410k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1057.18/1057.52 c 1001s| 2420k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1061.69/1062.01 c 1005s| 2430k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1066.19/1066.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.19/1066.56 c 1009s| 2440k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1108k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1070.29/1070.66 c 1013s| 2450k| 64 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1074.39/1074.77 c 1017s| 2460k| 68 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1078.79/1079.14 c 1021s| 2470k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1121k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1083.39/1083.78 c 1026s| 2480k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1087.59/1087.99 c 1030s| 2490k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1130k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1091.99/1092.31 c 1034s| 2500k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1096.29/1096.67 c 1038s| 2510k| 67 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1100.58/1100.95 c 1042s| 2520k| 68 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1105.57/1105.95 c 1047s| 2530k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1149k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1110.69/1111.05 c 1052s| 2540k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1115.77/1116.10 c 1057s| 2550k| 65 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1159k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1120.58/1120.91 c 1061s| 2560k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1165k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1125.47/1125.88 c 1066s| 2570k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1170k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1130.47/1130.85 c 1071s| 2580k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1175k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1135.06/1135.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.06/1135.45 c 1075s| 2590k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1139.56/1139.98 c 1079s| 2600k| 66 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1144.27/1144.61 c 1084s| 2610k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1190k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1148.97/1149.34 c 1088s| 2620k| 61 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1195k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1153.86/1154.23 c 1093s| 2630k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1158.76/1159.19 c 1097s| 2640k| 64 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1207k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1163.46/1163.83 c 1102s| 2650k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1168.26/1168.67 c 1106s| 2660k| 63 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 |1217k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1173.16/1173.50 c 1111s| 2670k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1177.46/1177.89 c 1115s| 2680k| 59 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1227k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1182.06/1182.48 c 1120s| 2690k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1186.86/1187.23 c 1124s| 2700k| 64 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1191.65/1192.00 c 1129s| 2710k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1196.46/1196.86 c 1133s| 2720k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1246k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1201.45/1201.89 c 1138s| 2730k| 66 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1251k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1205.55/1205.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.55/1205.91 c 1142s| 2740k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1209.65/1210.01 c 1146s| 2750k| 60 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1260k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1214.34/1214.75 c 1150s| 2760k| 60 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1265k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1218.84/1219.23 c 1155s| 2770k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1223.34/1223.71 c 1159s| 2780k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1274k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1227.75/1228.17 c 1163s| 2790k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1232.04/1232.47 c 1167s| 2800k| 61 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1236.64/1237.02 c 1172s| 2810k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1287k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1240.93/1241.32 c 1176s| 2820k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1292k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1245.44/1245.80 c 1180s| 2830k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1296k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1250.24/1250.64 c 1184s| 2840k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1301k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1255.02/1255.41 c 1189s| 2850k| 59 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1259.22/1259.60 c 1193s| 2860k| 58 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1263.22/1263.68 c 1197s| 2870k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1315k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1267.51/1267.90 c 1201s| 2880k| 57 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1319k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1271.71/1272.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.71/1272.14 c 1205s| 2890k| 67 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1324k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1276.62/1277.08 c 1210s| 2900k| 65 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1329k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1281.32/1281.72 c 1214s| 2910k| 64 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1335k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1286.01/1286.48 c 1219s| 2920k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1290.51/1290.95 c 1223s| 2930k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1344k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1295.11/1295.59 c 1227s| 2940k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1349k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1299.60/1300.05 c 1231s| 2950k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1354k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1304.01/1304.41 c 1236s| 2960k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1358k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1308.30/1308.72 c 1240s| 2970k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1363k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1312.80/1313.24 c 1244s| 2980k| 63 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1368k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1317.60/1318.08 c 1249s| 2990k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1373k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1322.40/1322.89 c 1253s| 3000k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1378k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1327.20/1327.65 c 1258s| 3010k| 66 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1331.80/1332.24 c 1262s| 3020k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1387k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1336.30/1336.76 c 1266s| 3030k| 61 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1340.70/1341.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.70/1341.19 c 1271s| 3040k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1396k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1344.99/1345.40 c 1275s| 3050k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1401k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1349.20/1349.61 c 1279s| 3060k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1405k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1353.39/1353.88 c 1283s| 3070k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1410k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1358.10/1358.57 c 1287s| 3080k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1362.79/1363.23 c 1291s| 3090k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1367.29/1367.79 c 1296s| 3100k| 62 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1424k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1371.69/1372.18 c 1300s| 3110k| 57 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1429k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1376.39/1376.85 c 1304s| 3120k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1433k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1380.98/1381.44 c 1309s| 3130k| 67 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1385.98/1386.44 c 1314s| 3140k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1390.98/1391.41 c 1318s| 3150k| 60 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1395.98/1396.41 c 1323s| 3160k| 60 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1454k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1400.99/1401.46 c 1328s| 3170k| 62 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1460k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1405.87/1406.36 c 1332s| 3180k| 60 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1465k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1410.88/1411.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.88/1411.36 c 1337s| 3190k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1470k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1415.87/1416.32 c 1342s| 3200k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1476k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1420.68/1421.19 c 1347s| 3210k| 60 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1481k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1425.67/1426.15 c 1351s| 3220k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1486k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1430.58/1431.09 c 1356s| 3230k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1491k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1435.57/1436.02 c 1361s| 3240k| 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1497k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1440.37/1440.85 c 1365s| 3250k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1502k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1445.46/1445.92 c 1370s| 3260k| 59 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1507k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1450.56/1451.08 c 1375s| 3270k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1513k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1455.26/1455.71 c 1379s| 3280k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1518k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1459.77/1460.23 c 1384s| 3290k| 61 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1524k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1464.06/1464.53 c 1388s| 3300k| 59 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1528k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1468.46/1468.97 c 1392s| 3310k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1533k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1473.05/1473.51 c 1396s| 3320k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1538k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1477.66/1478.10 c 1401s| 3330k| 61 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1482.15/1482.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.15/1482.65 c 1405s| 3340k| 58 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1547k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1486.86/1487.34 c 1409s| 3350k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1552k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1491.45/1491.99 c 1414s| 3360k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1557k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1496.05/1496.53 c 1418s| 3370k| 71 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 |1562k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1501.05/1501.59 c 1423s| 3380k| 65 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1568k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1506.35/1506.80 c 1428s| 3390k| 66 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1573k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1511.34/1511.80 c 1433s| 3400k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1579k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1516.04/1516.52 c 1437s| 3410k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1520.14/1520.64 c 1441s| 3420k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1588k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1524.54/1525.02 c 1445s| 3430k| 58 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1593k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1529.24/1529.77 c 1450s| 3440k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1599k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1534.04/1534.52 c 1454s| 3450k| 62 | 0 | 0.0 |2960k| 195 | - | 456 |1625 | 0 | 0 | 0 |1605k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1538.74/1539.28 c 1459s| 3460k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1610k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1543.54/1544.07 c 1463s| 3470k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1615k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1548.44/1548.92 c 1468s| 3480k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1620k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1553.23/1553.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.23/1553.72 c 1473s| 3490k| 57 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1625k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1557.83/1558.38 c 1477s| 3500k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1629k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1562.33/1562.83 c 1481s| 3510k| 65 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1634k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1566.63/1567.18 c 1485s| 3520k| 65 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1638k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1571.13/1571.64 c 1490s| 3530k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1643k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1575.74/1576.24 c 1494s| 3540k| 61 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1647k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1580.13/1580.69 c 1498s| 3550k| 60 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1652k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1584.73/1585.29 c 1503s| 3560k| 61 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1589.13/1589.62 c 1507s| 3570k| 60 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1661k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1593.62/1594.11 c 1511s| 3580k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1665k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1598.12/1598.68 c 1515s| 3590k| 62 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1670k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1602.82/1603.30 c 1520s| 3600k| 60 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1675k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1607.12/1607.69 c 1524s| 3610k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1679k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1611.62/1612.19 c 1528s| 3620k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1684k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1616.72/1617.23 c 1533s| 3630k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1690k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1621.71/1622.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.71/1622.21 c 1538s| 3640k| 61 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1695k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1626.71/1627.21 c 1543s| 3650k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1700k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1631.41/1631.93 c 1547s| 3660k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1705k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1636.22/1636.72 c 1552s| 3670k| 58 | 0 | 0.0 |2958k| 195 | - | 456 |1625 | 0 | 0 | 0 |1710k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1641.31/1641.85 c 1556s| 3680k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1715k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1646.71/1647.24 c 1562s| 3690k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1721k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1652.20/1652.75 c 1567s| 3700k| 63 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1727k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1657.21/1657.78 c 1572s| 3710k| 62 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1732k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1662.10/1662.68 c 1576s| 3720k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1737k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1667.11/1667.66 c 1581s| 3730k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1743k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1672.19/1672.73 c 1586s| 3740k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1748k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1677.30/1677.83 c 1591s| 3750k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1754k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1682.30/1682.88 c 1596s| 3760k| 58 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1759k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1687.29/1687.89 c 1600s| 3770k| 62 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1765k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1692.49/1693.06 c 1605s| 3780k| 61 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1770k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1697.69/1698.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.69/1698.29 c 1610s| 3790k| 64 | 0 | 0.0 |2957k| 195 | - | 456 |1625 | 0 | 0 | 0 |1776k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1702.79/1703.36 c 1615s| 3800k| 58 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1782k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1707.99/1708.56 c 1620s| 3810k| 59 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1787k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1713.19/1713.78 c 1625s| 3820k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1793k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1718.49/1719.05 c 1630s| 3830k| 60 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1798k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1723.48/1724.09 c 1635s| 3840k| 59 | 0 | 0.0 |2959k| 195 | - | 456 |1625 | 0 | 0 | 0 |1804k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1728.69/1729.26 c 1640s| 3850k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1809k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1733.88/1734.45 c 1645s| 3860k| 63 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1815k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1739.08/1739.62 c 1650s| 3870k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1744.28/1744.85 c 1655s| 3880k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1826k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1749.48/1750.08 c 1660s| 3890k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1832k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1754.77/1755.32 c 1665s| 3900k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1838k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1759.67/1760.29 c 1669s| 3910k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1843k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1764.87/1765.50 c 1674s| 3920k| 64 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1849k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1770.27/1770.84 c 1679s| 3930k| 61 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1854k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1775.36/1775.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.36/1775.99 c 1684s| 3940k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1859k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1780.46/1781.05 c 1689s| 3950k| 63 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1864k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1785.66/1786.28 c 1694s| 3960k| 57 | 0 | 0.0 |2954k| 195 | - | 456 |1625 | 0 | 0 | 0 |1869k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1790.86/1791.41 c 1699s| 3970k| 64 | 0 | 0.0 |2956k| 195 | - | 456 |1625 | 0 | 0 | 0 |1875k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1795.86/1796.49 c 1704s| 3980k| 62 | 0 | 0.0 |2955k| 195 | - | 456 |1625 | 0 | 0 | 0 |1880k| 0 | 1.000000e+00 | 1.910000e+02 | Large
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1707.79
1800.07/1800.61 c Solving Nodes : 3988931
1800.07/1800.61 c Primal Bound : +1.91000000000000e+02 (11 solutions)
1800.07/1800.61 c Dual Bound : +1.00000000000000e+00
1800.07/1800.61 c Gap : 19000.00 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x456 x455 x454 -x453 x452 -x451 x450 -x449 x448 -x447 -x446 x445 x444 -x443 -x442 x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433
1800.07/1800.61 v -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421 x420 -x419 x418 -x417 -x416 x415 -x414 x413 x412 -x411
1800.07/1800.61 v x410 -x409 -x408 x407 x406 -x405 x404 -x403 -x402 x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 x390 -x389 -x388
1800.07/1800.61 v x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365
1800.07/1800.61 v -x364 x363 -x362 x361 -x360 x359 x358 -x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 x348 -x347 -x346 x345 -x344 x343
1800.07/1800.61 v -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320
1800.07/1800.61 v x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297
1800.07/1800.61 v -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274
1800.07/1800.61 v x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252
1800.07/1800.61 v x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242 x241 -x240 x239 -x238 -x237 -x236 x235 -x234 x233 -x232 -x231 -x230
1800.07/1800.61 v x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207
1800.07/1800.61 v -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 x191 -x190 -x189 -x188 x187 -x186 x185
1800.07/1800.61 v -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163
1800.07/1800.61 v -x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154 -x153 -x152 x151 -x150 x149 -x148 -x147 -x146 x145 x144 -x143 -x142 x141
1800.07/1800.61 v -x140 x139 -x138 x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119
1800.07/1800.61 v -x118 x117 x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 -x101 -x100 x99 -x98 x97 -x96
1800.07/1800.61 v x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69
1800.07/1800.61 v -x68 x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 -x46 x45 -x44 x43
1800.07/1800.61 v -x42 x41 -x40 -x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 -x19 -x18 x17 -x16
1800.07/1800.61 v x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1707.79
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664695-1276461608.opb
1800.07/1800.61 c Variables : 456 (456 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 1602 initial, 1602 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664695-1276461608.opb
1800.07/1800.61 c Variables : 456 (456 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 1602 initial, 1642 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c logicor : 1602+ 0 10460752 0 11 1881756 12387136 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 11 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c logicor : 982.94 0.00 982.94 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 6.94 2 0 0
1800.07/1800.61 c rootredcost : 6.56 0 0 0
1800.07/1800.61 c pseudoobj : 394.53 15078987 442740 83597446
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 898.26 1881719 1881719 1881719 68.8 3126 34.3 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 4.91 42519 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 35945 28.3 - - -
1800.07/1800.61 c applied locally : - - - 1848593 69.5 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 33.35 2398259 0 0 0 0 4796518
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 11
1800.07/1800.61 c oneopt : 2.69 0 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.92 0 0
1800.07/1800.61 c trysol : 1.51 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 3988931
1800.07/1800.61 c nodes (total) : 3988931
1800.07/1800.61 c nodes left : 58
1800.07/1800.61 c max depth : 195
1800.07/1800.61 c max depth (total): 195
1800.07/1800.62 c backtracks : 1237764 (31.0%)
1800.07/1800.62 c delayed cutoffs : 799449
1800.07/1800.62 c repropagations : 1473413 (34107881 domain reductions, 776354 cutoffs)
1800.07/1800.62 c avg switch length: 2.07
1800.07/1800.62 c switching time : 103.99
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 11 (11 improvements)
1800.07/1800.62 c First Solution : +2.17000000000000e+02 (in run 1, after 193 nodes, 0.12 seconds, depth 172, found by <relaxation>)
1800.07/1800.62 c Primal Bound : +1.91000000000000e+02 (in run 1, after 69724 nodes, 17.38 seconds, depth 138, found by <relaxation>)
1800.07/1800.62 c Dual Bound : +1.00000000000000e+00
1800.07/1800.62 c Gap : 19000.00 %
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1800.07/1800.63 c Time complete: 1800.09.
OK 191
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664695-1276461608/watcher-2664695-1276461608 -o /tmp/evaluation-result-2664695-1276461608/solver-2664695-1276461608 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664695-1276461608.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.00 2/106 26556 /proc/meminfo: memFree=1794436/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=6584 CPUtime=0 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 986 0 0 0 0 0 0 0 17 0 1 0 19817194 6742016 909 1992294400 4194304 7136930 140734661662512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26556/statm: 1646 920 254 719 0 925 0 [startup+0.0924671 s] /proc/loadavg: 0.99 1.00 1.00 2/106 26556 /proc/meminfo: memFree=1794436/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=14288 CPUtime=0.08 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 3737 0 0 0 7 1 0 0 17 0 1 0 19817194 14630912 2792 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 3572 2792 345 719 0 2851 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14288 [startup+0.101467 s] /proc/loadavg: 0.99 1.00 1.00 2/106 26556 /proc/meminfo: memFree=1794436/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=14288 CPUtime=0.09 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 3737 0 0 0 8 1 0 0 17 0 1 0 19817194 14630912 2792 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 3572 2792 345 719 0 2851 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14288 [startup+0.301486 s] /proc/loadavg: 0.99 1.00 1.00 2/106 26556 /proc/meminfo: memFree=1794436/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=16100 CPUtime=0.29 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5028 0 0 0 25 4 0 0 17 0 1 0 19817194 16486400 3309 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4025 3309 385 719 0 3304 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16100 [startup+0.701524 s] /proc/loadavg: 0.99 1.00 1.00 2/106 26556 /proc/meminfo: memFree=1794436/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=16364 CPUtime=0.69 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5085 0 0 0 62 7 0 0 17 0 1 0 19817194 16756736 3366 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4091 3366 385 719 0 3370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16364 [startup+1.5006 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26557 /proc/meminfo: memFree=1782276/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=16632 CPUtime=1.49 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5157 0 0 0 135 14 0 0 18 0 1 0 19817194 17031168 3438 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4158 3438 385 719 0 3437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16632 [startup+3.10076 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26557 /proc/meminfo: memFree=1781780/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=16904 CPUtime=3.09 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5229 0 0 0 282 27 0 0 21 0 1 0 19817194 17309696 3510 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4226 3510 385 719 0 3505 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16904 [startup+6.30106 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26557 /proc/meminfo: memFree=1781284/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=17172 CPUtime=6.29 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5295 0 0 0 574 55 0 0 25 0 1 0 19817194 17584128 3576 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4293 3576 385 719 0 3572 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17172 [startup+12.7007 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26557 /proc/meminfo: memFree=1780912/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=17436 CPUtime=12.69 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5344 0 0 0 1157 112 0 0 25 0 1 0 19817194 17854464 3625 1992294400 4194304 7136930 140734661662512 18446744073709551615 4240452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4359 3625 385 719 0 3638 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17436 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26559 /proc/meminfo: memFree=1780788/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=17568 CPUtime=25.49 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5388 0 0 0 2328 221 0 0 25 0 1 0 19817194 17989632 3669 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4392 3669 385 719 0 3671 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17568 [startup+51.1014 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26559 /proc/meminfo: memFree=1780416/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=17976 CPUtime=51.07 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5476 0 0 0 4666 441 0 0 25 0 1 0 19817194 18407424 3757 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4494 3757 385 719 0 3773 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17976 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26561 /proc/meminfo: memFree=1780044/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18112 CPUtime=102.27 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5524 0 0 0 9352 875 0 0 25 0 1 0 19817194 18546688 3805 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4528 3805 385 719 0 3807 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18112 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26561 /proc/meminfo: memFree=1779796/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=162.25 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 14933 1292 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18252 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26563 /proc/meminfo: memFree=1779672/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=222.23 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 20628 1595 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 4998642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18252 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26565 /proc/meminfo: memFree=1779672/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=282.21 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 26308 1913 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18252 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26567 /proc/meminfo: memFree=1779548/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=342.2 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 32002 2218 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18252 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26569 /proc/meminfo: memFree=1779424/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=402.17 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 37717 2500 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 18252 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26569 /proc/meminfo: memFree=1779300/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=462.16 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 43423 2793 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 4704248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18252 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26571 /proc/meminfo: memFree=1779176/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=522.14 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 49139 3075 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18252 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26573 /proc/meminfo: memFree=1779052/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=582.12 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 54845 3367 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 18252 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26575 /proc/meminfo: memFree=1778928/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=642.11 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5552 0 0 0 60555 3656 0 0 25 0 1 0 19817194 18690048 3833 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3833 385 719 0 3842 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 18252 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26579 /proc/meminfo: memFree=1778556/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=822.06 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 77684 4522 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 18252 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26581 /proc/meminfo: memFree=1778432/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=882.04 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 83412 4792 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 4648367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 18252 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26583 /proc/meminfo: memFree=1778308/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=942.02 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 89124 5078 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 18252 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26585 /proc/meminfo: memFree=1778184/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1002 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 94845 5355 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 18252 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26585 /proc/meminfo: memFree=1778060/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1061.99 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 100545 5654 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5918673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 18252 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26587 /proc/meminfo: memFree=1777936/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1121.96 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 106245 5951 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 18252 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26589 /proc/meminfo: memFree=1777812/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1181.95 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 111952 6243 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 18252 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26591 /proc/meminfo: memFree=1777688/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1241.94 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 117654 6540 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6142313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 18252 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26602 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1301.91 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 123354 6837 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 18252 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26602 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1361.89 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 129061 7128 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5917748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 18252 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26604 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1421.88 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 134770 7418 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 4704051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 18252 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26606 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1481.86 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 140470 7716 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 18252 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26608 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1541.84 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 146179 8005 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5909004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 18252 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26610 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1601.82 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 151881 8301 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 18252 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26610 /proc/meminfo: memFree=1776944/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1661.8 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 157598 8582 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 4240492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 18252 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26612 /proc/meminfo: memFree=1776696/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1721.78 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 163310 8868 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5924563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 18252 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26614 /proc/meminfo: memFree=1776324/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1781.77 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 169039 9138 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 18252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/107 26614 /proc/meminfo: memFree=1776324/2059040 swapFree=4140228/4192956 [pid=26556] ppid=26554 vsize=18252 CPUtime=1800.07 /proc/26556/stat : 26556 (pbscip.linux.x8) R 26554 26556 25697 0 -1 4202496 5554 0 0 0 170782 9225 0 0 25 0 1 0 19817194 18690048 3835 1992294400 4194304 7136930 140734661662512 18446744073709551615 5918683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26556/statm: 4563 3835 385 719 0 3842 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 18252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.1 CPU user time (s): 1707.84 CPU system time (s): 92.262 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 18252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1707.84 system time used= 92.262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5569 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= 3717 runsolver used 3.23951 second user time and 8.25774 second system time The end
Begin job on node018 at 2010-06-13 22:40:09 IDJOB=2664695 IDBENCH=2171 IDSOLVER=1167 FILE ID=node018/2664695-1276461608 PBS_JOBID= 11173341 Free space on /tmp= 62292 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.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-2664695-1276461608/watcher-2664695-1276461608 -o /tmp/evaluation-result-2664695-1276461608/solver-2664695-1276461608 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664695-1276461608.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=1509600472 node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794964 kB Buffers: 64088 kB Cached: 111460 kB SwapCached: 5768 kB Active: 90692 kB Inactive: 97256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794964 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 3248 kB Writeback: 0 kB AnonPages: 10936 kB Mapped: 12864 kB Slab: 54340 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181380 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= 62292 MiB End job on node018 at 2010-06-13 23:10:11