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 | OPT | 3 | 1615 | 1615.42 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb |
| MD5SUM | 9ac2b65e6f5a9e0208aa5abddde874b2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 8.89565 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
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-2663587-1276647736.opb>
0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.09/0.17 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs
0.09/0.18 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs
0.09/0.19 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs
0.09/0.19 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs
0.19/0.20 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs
0.19/0.20 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs
0.19/0.21 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs
0.19/0.21 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.21 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (11 rounds):
0.19/0.25 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients
0.19/0.25 c 11700 implications, 0 cliques
0.19/0.25 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.19/0.25 c 441 constraints of type <and>
0.19/0.25 c 9 constraints of type <linear>
0.19/0.25 c 10 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 2)
0.19/0.25 c Presolving Time: 0.14
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -1
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c heuristics/undercover/freq = 0
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.1s| 1 | 2 | 0 | - |2073k| 0 | - | 639 | 460 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.19 c 2.8s| 10000 | 8069 | 0 | 0.0 |7839k| 408 | - | 639 | 762 | 0 | 0 | 0 |1369 | 0 | 1.000000e+00 | -- | Inf
6.39/6.42 c 5.8s| 20000 | 15611 | 0 | 0.0 | 13M| 408 | - | 639 |1025 | 0 | 0 | 0 |3203 | 0 | 1.000000e+00 | -- | Inf
9.59/9.60 c 8.8s| 30000 | 23359 | 0 | 0.0 | 19M| 408 | - | 639 |1005 | 0 | 0 | 0 |5004 | 0 | 1.000000e+00 | -- | Inf
12.89/12.94 c 11.8s| 40000 | 30367 | 0 | 0.0 | 24M| 408 | - | 639 |1138 | 0 | 0 | 0 |7293 | 0 | 1.000000e+00 | -- | Inf
16.78/16.86 c 15.5s| 50000 | 36440 | 0 | 0.0 | 29M| 408 | - | 639 |1414 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
21.09/21.17 c 19.5s| 60000 | 41524 | 0 | 0.0 | 33M| 408 | - | 639 | 903 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
24.68/24.72 c 22.8s| 70000 | 48623 | 0 | 0.0 | 39M| 408 | - | 639 |1037 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
28.18/28.28 c 26.1s| 80000 | 55530 | 0 | 0.0 | 44M| 408 | - | 639 |1359 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
31.58/31.67 c 29.2s| 90000 | 62695 | 0 | 0.0 | 49M| 408 | - | 639 |1268 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
35.18/35.24 c 32.6s|100000 | 69628 | 0 | 0.0 | 54M| 408 | - | 639 |1434 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
38.88/38.96 c 36.0s|110000 | 76490 | 0 | 0.0 | 59M| 408 | - | 639 |1724 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
42.68/42.77 c 39.6s|120000 | 83337 | 0 | 0.0 | 64M| 408 | - | 639 |1915 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
46.58/46.67 c 43.2s|130000 | 90176 | 0 | 0.0 | 69M| 408 | - | 639 |2183 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
50.98/51.01 c 47.4s|140000 | 96503 | 0 | 0.0 | 74M| 408 | - | 639 |2309 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
55.07/55.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.07/55.17 c 51.3s|150000 |103244 | 0 | 0.0 | 79M| 408 | - | 639 |2029 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
59.07/59.18 c 55.0s|160000 |109991 | 0 | 0.0 | 84M| 408 | - | 639 |1863 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
63.07/63.16 c 58.8s|170000 |116843 | 0 | 0.0 | 88M| 408 | - | 639 |1610 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
66.87/66.93 c 62.3s|180000 |123921 | 0 | 0.0 | 93M| 408 | - | 639 |1645 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
70.67/70.76 c 65.8s|190000 |130888 | 0 | 0.0 | 98M| 408 | - | 639 |1547 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
74.56/74.62 c 69.4s|200000 |137641 | 0 | 0.0 | 103M| 408 | - | 639 |1549 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
78.47/78.54 c 73.1s|210000 |144266 | 0 | 0.0 | 108M| 408 | - | 639 |1663 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
82.38/82.49 c 76.8s|220000 |150765 | 0 | 0.0 | 112M| 408 | - | 639 |1594 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
86.57/86.62 c 80.7s|230000 |157087 | 0 | 0.0 | 117M| 408 | - | 639 |1680 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
90.56/90.66 c 84.5s|240000 |163531 | 0 | 0.0 | 122M| 408 | - | 639 |1499 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
94.47/94.50 c 88.0s|250000 |170025 | 0 | 0.0 | 126M| 408 | - | 639 |1606 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
98.16/98.24 c 91.5s|260000 |176906 | 0 | 0.0 | 131M| 408 | - | 639 |1595 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
101.86/101.92 c 94.9s|270000 |183917 | 0 | 0.0 | 137M| 408 | - | 639 |1400 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
105.56/105.70 c 98.5s|280000 |190923 | 0 | 0.0 | 142M| 408 | - | 639 |1516 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
109.56/109.63 c 102s|290000 |197612 | 0 | 0.0 | 147M| 408 | - | 639 |1897 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
114.26/114.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.26/114.31 c 107s|300000 |203346 | 0 | 0.0 | 152M| 408 | - | 639 |2370 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
119.26/119.38 c 111s|310000 |208639 | 0 | 0.0 | 156M| 408 | - | 639 |2737 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
124.27/124.39 c 116s|320000 |214050 | 0 | 0.0 | 161M| 408 | - | 639 |2640 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
129.96/130.04 c 121s|330000 |218129 | 0 | 0.0 | 165M| 408 | - | 639 |2775 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
135.66/135.79 c 127s|340000 |222187 | 0 | 0.0 | 169M| 408 | - | 639 |3021 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
141.45/141.57 c 132s|350000 |225502 | 0 | 0.0 | 172M| 408 | - | 639 |3092 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
146.05/146.18 c 137s|360000 |230388 | 0 | 0.0 | 175M| 408 | - | 639 |1052 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
149.85/149.98 c 140s|370000 |237016 | 0 | 0.0 | 180M| 408 | - | 639 |1312 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
153.85/153.95 c 144s|380000 |243859 | 0 | 0.0 | 186M| 408 | - | 639 |1301 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
157.65/157.74 c 148s|390000 |251079 | 0 | 0.0 | 191M| 408 | - | 639 |1249 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
162.35/162.43 c 152s|400000 |256895 | 0 | 0.0 | 196M| 408 | - | 639 |1308 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
165.64/165.78 c 155s|410000 |264443 | 0 | 0.0 | 201M| 408 | - | 639 |1160 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
169.45/169.51 c 159s|420000 |271461 | 0 | 0.0 | 206M| 408 | - | 639 |1562 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
173.54/173.66 c 163s|430000 |278050 | 0 | 0.0 | 211M| 408 | - | 639 |1861 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
178.05/178.13 c 167s|440000 |284369 | 0 | 0.0 | 215M| 408 | - | 639 |2079 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
182.94/183.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.94/183.07 c 171s|450000 |289978 | 0 | 0.0 | 219M| 408 | - | 639 |2516 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
188.14/188.28 c 176s|460000 |295698 | 0 | 0.0 | 223M| 408 | - | 639 |2648 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
193.24/193.37 c 181s|470000 |301575 | 0 | 0.0 | 228M| 408 | - | 639 |2796 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
198.03/198.10 c 186s|480000 |308077 | 0 | 0.0 | 233M| 408 | - | 639 |2860 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
202.73/202.81 c 190s|490000 |314445 | 0 | 0.0 | 238M| 408 | - | 639 |2694 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
207.03/207.17 c 194s|500000 |321053 | 0 | 0.0 | 242M| 408 | - | 639 |2227 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | -- | Inf
211.24/211.39 c 198s|510000 |327842 | 0 | 0.0 | 247M| 408 | - | 639 |1670 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
215.13/215.26 c 202s|520000 |334994 | 0 | 0.0 | 252M| 408 | - | 639 |1706 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
219.23/219.35 c 206s|530000 |341787 | 0 | 0.0 | 257M| 408 | - | 639 |1953 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
223.53/223.63 c 210s|540000 |348220 | 0 | 0.0 | 262M| 408 | - | 639 |1525 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
227.73/227.86 c 214s|550000 |354773 | 0 | 0.0 | 267M| 408 | - | 639 |1724 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | -- | Inf
231.83/231.99 c 218s|560000 |361372 | 0 | 0.0 | 272M| 408 | - | 639 |1850 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | -- | Inf
236.34/236.41 c 222s|570000 |367545 | 0 | 0.0 | 277M| 408 | - | 639 |1752 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
240.63/240.78 c 226s|580000 |373967 | 0 | 0.0 | 281M| 408 | - | 639 |2083 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
245.03/245.13 c 230s|590000 |380264 | 0 | 0.0 | 286M| 408 | - | 639 |2054 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
249.42/249.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.42/249.58 c 234s|600000 |386684 | 0 | 0.0 | 291M| 408 | - | 639 |1977 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
254.03/254.12 c 238s|610000 |393158 | 0 | 0.0 | 296M| 408 | - | 639 |2569 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
258.62/258.78 c 243s|620000 |399536 | 0 | 0.0 | 300M| 408 | - | 639 |2549 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
263.32/263.45 c 247s|630000 |406123 | 0 | 0.0 | 305M| 408 | - | 639 |2649 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
268.02/268.16 c 252s|640000 |412535 | 0 | 0.0 | 310M| 408 | - | 639 |2678 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
272.82/272.90 c 256s|650000 |419119 | 0 | 0.0 | 315M| 408 | - | 639 |2606 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
277.91/278.02 c 261s|660000 |425285 | 0 | 0.0 | 319M| 408 | - | 639 |3146 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
283.32/283.43 c 266s|670000 |431781 | 0 | 0.0 | 324M| 408 | - | 639 |3147 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
288.21/288.33 c 271s|680000 |438640 | 0 | 0.0 | 329M| 408 | - | 639 |2929 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
292.91/293.06 c 275s|690000 |445383 | 0 | 0.0 | 334M| 408 | - | 639 |2725 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
298.21/298.38 c 280s|700000 |451350 | 0 | 0.0 | 338M| 408 | - | 639 |3300 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
303.52/303.62 c 285s|710000 |457631 | 0 | 0.0 | 343M| 408 | - | 639 |3108 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
309.01/309.18 c 291s|720000 |463574 | 0 | 0.0 | 347M| 408 | - | 639 |3327 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
314.52/314.68 c 296s|730000 |469837 | 0 | 0.0 | 352M| 408 | - | 639 |3694 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
320.21/320.39 c 301s|740000 |475911 | 0 | 0.0 | 356M| 408 | - | 639 |3342 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
326.00/326.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.00/326.19 c 307s|750000 |481801 | 0 | 0.0 | 361M| 408 | - | 639 |3593 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
331.70/331.85 c 312s|760000 |487712 | 0 | 0.0 | 365M| 408 | - | 639 |3831 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
337.60/337.79 c 318s|770000 |493452 | 0 | 0.0 | 369M| 408 | - | 639 |3452 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
343.50/343.67 c 324s|780000 |499329 | 0 | 0.0 | 374M| 408 | - | 639 |3574 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | -- | Inf
348.90/349.08 c 329s|790000 |505554 | 0 | 0.0 | 378M| 408 | - | 639 |3663 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
354.49/354.68 c 334s|800000 |511712 | 0 | 0.0 | 383M| 408 | - | 639 |3294 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
360.09/360.23 c 339s|810000 |517850 | 0 | 0.0 | 387M| 408 | - | 639 |3195 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | -- | Inf
365.50/365.61 c 345s|820000 |524172 | 0 | 0.0 | 392M| 408 | - | 639 |3731 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
371.09/371.28 c 350s|830000 |530391 | 0 | 0.0 | 396M| 408 | - | 639 |3699 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
377.10/377.24 c 356s|840000 |536155 | 0 | 0.0 | 401M| 408 | - | 639 |4047 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | -- | Inf
382.79/382.93 c 361s|850000 |542456 | 0 | 0.0 | 405M| 408 | - | 639 |4008 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
388.69/388.81 c 367s|860000 |548772 | 0 | 0.0 | 410M| 408 | - | 639 |3745 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
394.38/394.51 c 372s|870000 |555126 | 0 | 0.0 | 414M| 408 | - | 639 |4024 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | -- | Inf
400.19/400.34 c 378s|880000 |561371 | 0 | 0.0 | 419M| 408 | - | 639 |4065 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | -- | Inf
405.98/406.13 c 383s|890000 |567661 | 0 | 0.0 | 423M| 408 | - | 639 |3804 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | -- | Inf
411.88/412.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.88/412.06 c 389s|900000 |573833 | 0 | 0.0 | 428M| 408 | - | 639 |3698 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | -- | Inf
417.79/417.91 c 395s|910000 |580034 | 0 | 0.0 | 432M| 408 | - | 639 |3749 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
423.58/423.70 c 400s|920000 |586239 | 0 | 0.0 | 437M| 408 | - | 639 |3857 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | -- | Inf
428.89/429.09 c 405s|930000 |592915 | 0 | 0.0 | 441M| 408 | - | 639 |3253 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | -- | Inf
434.77/434.99 c 411s|940000 |599102 | 0 | 0.0 | 446M| 408 | - | 639 |3403 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
440.48/440.63 c 416s|950000 |605279 | 0 | 0.0 | 450M| 408 | - | 639 |3251 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | -- | Inf
445.78/445.90 c 421s|960000 |611653 | 0 | 0.0 | 455M| 408 | - | 639 |3223 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
451.17/451.32 c 427s|970000 |617951 | 0 | 0.0 | 459M| 408 | - | 639 |2681 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
456.67/456.86 c 432s|980000 |624030 | 0 | 0.0 | 464M| 408 | - | 639 |3151 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | -- | Inf
461.97/462.14 c 437s|990000 |630405 | 0 | 0.0 | 468M| 408 | - | 639 |3236 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
467.27/467.40 c 442s| 1000k|636984 | 0 | 0.0 | 473M| 408 | - | 639 |2474 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | -- | Inf
472.87/473.04 c 447s| 1010k|643026 | 0 | 0.0 | 477M| 408 | - | 639 |2508 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | -- | Inf
478.07/478.23 c 452s| 1020k|649405 | 0 | 0.0 | 481M| 408 | - | 639 |2677 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | -- | Inf
483.06/483.21 c 457s| 1030k|655905 | 0 | 0.0 | 486M| 408 | - | 639 |2385 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | -- | Inf
488.56/488.72 c 462s| 1040k|661928 | 0 | 0.0 | 490M| 408 | - | 639 |2345 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | -- | Inf
493.86/494.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.86/494.09 c 467s| 1050k|668046 | 0 | 0.0 | 494M| 408 | - | 639 |2593 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
498.96/499.11 c 472s| 1060k|674430 | 0 | 0.0 | 499M| 408 | - | 639 |2682 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | -- | Inf
504.36/504.55 c 477s| 1070k|680384 | 0 | 0.0 | 503M| 408 | - | 639 |2430 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | -- | Inf
509.76/509.99 c 482s| 1080k|686268 | 0 | 0.0 | 508M| 408 | - | 639 |2681 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | -- | Inf
514.85/515.03 c 487s| 1090k|692532 | 0 | 0.0 | 512M| 408 | - | 639 |2304 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | -- | Inf
520.35/520.55 c 492s| 1100k|698278 | 0 | 0.0 | 516M| 408 | - | 639 |2739 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | -- | Inf
525.56/525.73 c 497s| 1110k|704283 | 0 | 0.0 | 521M| 408 | - | 639 |2988 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | -- | Inf
531.06/531.26 c 503s| 1120k|710221 | 0 | 0.0 | 525M| 408 | - | 639 |2451 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | -- | Inf
536.15/536.30 c 507s| 1130k|716283 | 0 | 0.0 | 529M| 408 | - | 639 |2613 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | -- | Inf
541.35/541.54 c 512s| 1140k|722327 | 0 | 0.0 | 534M| 408 | - | 639 |2564 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | -- | Inf
546.95/547.13 c 518s| 1150k|728020 | 0 | 0.0 | 538M| 408 | - | 639 |2832 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | -- | Inf
552.25/552.43 c 523s| 1160k|734105 | 0 | 0.0 | 543M| 408 | - | 639 |2570 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | -- | Inf
557.95/558.11 c 528s| 1170k|739750 | 0 | 0.0 | 547M| 408 | - | 639 |2810 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
562.95/563.15 c 533s| 1180k|745952 | 0 | 0.0 | 551M| 408 | - | 639 |2887 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | -- | Inf
568.45/568.69 c 538s| 1190k|751837 | 0 | 0.0 | 556M| 408 | - | 639 |2686 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
573.84/574.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.84/574.00 c 543s| 1200k|757777 | 0 | 0.0 | 560M| 408 | - | 639 |2946 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | -- | Inf
579.24/579.48 c 549s| 1210k|763769 | 0 | 0.0 | 564M| 408 | - | 639 |2483 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | -- | Inf
584.64/584.84 c 554s| 1220k|769655 | 0 | 0.0 | 569M| 408 | - | 639 |2992 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | -- | Inf
590.14/590.40 c 559s| 1230k|775702 | 0 | 0.0 | 573M| 408 | - | 639 |3093 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | -- | Inf
595.73/595.91 c 564s| 1240k|781718 | 0 | 0.0 | 577M| 408 | - | 639 |2668 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
601.24/601.47 c 570s| 1250k|787476 | 0 | 0.0 | 582M| 408 | - | 639 |2895 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | -- | Inf
606.64/606.81 c 575s| 1260k|793482 | 0 | 0.0 | 586M| 408 | - | 639 |2915 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | -- | Inf
612.54/612.74 c 580s| 1270k|799099 | 0 | 0.0 | 590M| 408 | - | 639 |2660 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | -- | Inf
618.22/618.41 c 586s| 1280k|804709 | 0 | 0.0 | 595M| 408 | - | 639 |2871 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
623.62/623.89 c 591s| 1290k|810607 | 0 | 0.0 | 599M| 408 | - | 639 |3063 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | -- | Inf
629.43/629.66 c 596s| 1300k|816279 | 0 | 0.0 | 603M| 408 | - | 639 |2628 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | -- | Inf
635.12/635.30 c 602s| 1310k|821956 | 0 | 0.0 | 607M| 408 | - | 639 |2780 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | -- | Inf
640.72/640.97 c 607s| 1320k|827675 | 0 | 0.0 | 612M| 408 | - | 639 |2894 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | -- | Inf
646.32/646.52 c 613s| 1330k|833594 | 0 | 0.0 | 616M| 408 | - | 639 |2979 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | -- | Inf
652.13/652.32 c 618s| 1340k|839371 | 0 | 0.0 | 620M| 408 | - | 639 |2509 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | -- | Inf
657.82/658.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.82/658.01 c 624s| 1350k|845047 | 0 | 0.0 | 624M| 408 | - | 639 |2651 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | -- | Inf
663.32/663.50 c 629s| 1360k|850801 | 0 | 0.0 | 628M| 408 | - | 639 |2679 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | -- | Inf
668.52/668.72 c 634s| 1370k|856783 | 0 | 0.0 | 632M| 408 | - | 639 |2576 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | -- | Inf
673.91/674.11 c 639s| 1380k|862646 | 0 | 0.0 | 637M| 408 | - | 639 |2210 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | -- | Inf
679.41/679.63 c 644s| 1390k|868148 | 0 | 0.0 | 641M| 408 | - | 639 |2400 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | -- | Inf
684.71/684.90 c 649s| 1400k|873853 | 0 | 0.0 | 645M| 408 | - | 639 |2584 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | -- | Inf
690.01/690.24 c 654s| 1410k|879416 | 0 | 0.0 | 649M| 408 | - | 639 |2548 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | -- | Inf
695.02/695.29 c 659s| 1420k|885253 | 0 | 0.0 | 653M| 408 | - | 639 |2349 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | -- | Inf
700.60/700.86 c 664s| 1430k|890781 | 0 | 0.0 | 657M| 408 | - | 639 |2156 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | -- | Inf
706.10/706.31 c 670s| 1440k|896261 | 0 | 0.0 | 661M| 408 | - | 639 |2361 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | -- | Inf
711.41/711.67 c 675s| 1450k|901782 | 0 | 0.0 | 666M| 408 | - | 639 |2355 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | -- | Inf
716.60/716.86 c 680s| 1460k|907468 | 0 | 0.0 | 670M| 408 | - | 639 |2406 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | -- | Inf
721.80/722.08 c 685s| 1470k|913061 | 0 | 0.0 | 674M| 408 | - | 639 |2503 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | -- | Inf
727.30/727.51 c 690s| 1480k|918535 | 0 | 0.0 | 679M| 408 | - | 639 |2594 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | -- | Inf
732.50/732.72 c 695s| 1490k|924324 | 0 | 0.0 | 683M| 408 | - | 639 |2475 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | -- | Inf
737.80/738.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.80/738.02 c 700s| 1500k|930000 | 0 | 0.0 | 687M| 408 | - | 639 |2492 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | -- | Inf
742.89/743.17 c 705s| 1510k|935866 | 0 | 0.0 | 692M| 408 | - | 639 |2285 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | -- | Inf
747.49/747.79 c 709s| 1520k|942200 | 0 | 0.0 | 696M| 408 | - | 639 |2106 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | -- | Inf
751.90/752.13 c 713s| 1530k|948930 | 0 | 0.0 | 701M| 408 | - | 639 |1877 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | -- | Inf
756.29/756.51 c 717s| 1540k|955546 | 0 | 0.0 | 705M| 408 | - | 639 |1814 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | -- | Inf
760.60/760.80 c 721s| 1550k|962243 | 0 | 0.0 | 710M| 408 | - | 639 |1914 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | -- | Inf
764.89/765.14 c 725s| 1560k|968896 | 0 | 0.0 | 715M| 408 | - | 639 |2108 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | -- | Inf
769.39/769.65 c 730s| 1570k|975416 | 0 | 0.0 | 719M| 408 | - | 639 |2114 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | -- | Inf
773.79/774.09 c 734s| 1580k|982052 | 0 | 0.0 | 724M| 408 | - | 639 |2079 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | -- | Inf
778.29/778.55 c 738s| 1590k|988664 | 0 | 0.0 | 728M| 408 | - | 639 |1843 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | -- | Inf
782.69/782.98 c 742s| 1600k|995221 | 0 | 0.0 | 733M| 408 | - | 639 |1785 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | -- | Inf
786.99/787.20 c 746s| 1610k| 1001k| 0 | 0.0 | 738M| 408 | - | 639 |1816 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | -- | Inf
791.08/791.33 c 750s| 1620k| 1008k| 0 | 0.0 | 743M| 408 | - | 639 |2049 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | -- | Inf
795.19/795.48 c 754s| 1630k| 1015k| 0 | 0.0 | 748M| 408 | - | 639 |2048 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | -- | Inf
799.58/799.83 c 758s| 1640k| 1022k| 0 | 0.0 | 752M| 408 | - | 639 |1973 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | -- | Inf
804.18/804.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.18/804.48 c 762s| 1650k| 1028k| 0 | 0.0 | 757M| 408 | - | 639 |1998 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | -- | Inf
808.88/809.13 c 767s| 1660k| 1035k| 0 | 0.0 | 762M| 408 | - | 639 |2089 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | -- | Inf
813.69/813.96 c 771s| 1670k| 1041k| 0 | 0.0 | 767M| 408 | - | 639 |2322 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | -- | Inf
818.38/818.68 c 776s| 1680k| 1048k| 0 | 0.0 | 772M| 408 | - | 639 |2121 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | -- | Inf
823.18/823.50 c 780s| 1690k| 1054k| 0 | 0.0 | 777M| 408 | - | 639 |2505 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | -- | Inf
828.37/828.62 c 785s| 1700k| 1060k| 0 | 0.0 | 782M| 408 | - | 639 |2756 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | -- | Inf
833.77/834.05 c 790s| 1710k| 1066k| 0 | 0.0 | 786M| 408 | - | 639 |3154 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | -- | Inf
839.47/839.76 c 796s| 1720k| 1072k| 0 | 0.0 | 791M| 408 | - | 639 |3249 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | -- | Inf
845.37/845.63 c 802s| 1730k| 1077k| 0 | 0.0 | 796M| 408 | - | 639 |3621 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | -- | Inf
851.67/851.93 c 808s| 1740k| 1082k| 0 | 0.0 | 800M| 408 | - | 639 |3788 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | -- | Inf
857.37/857.65 c 813s| 1750k| 1088k| 0 | 0.0 | 805M| 408 | - | 639 |3416 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | -- | Inf
863.76/864.04 c 819s| 1760k| 1094k| 0 | 0.0 | 810M| 408 | - | 639 |3681 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | -- | Inf
870.36/870.61 c 825s| 1770k| 1099k| 0 | 0.0 | 814M| 408 | - | 639 |4001 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | -- | Inf
876.96/877.23 c 832s| 1780k| 1104k| 0 | 0.0 | 819M| 408 | - | 639 |3899 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | -- | Inf
883.76/884.01 c 838s| 1790k| 1109k| 0 | 0.0 | 823M| 408 | - | 639 |3781 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | -- | Inf
890.77/891.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.77/891.01 c 845s| 1800k| 1114k| 0 | 0.0 | 827M| 408 | - | 639 |4156 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | -- | Inf
897.66/897.90 c 852s| 1810k| 1120k| 0 | 0.0 | 832M| 408 | - | 639 |4072 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | -- | Inf
904.16/904.41 c 858s| 1820k| 1125k| 0 | 0.0 | 836M| 408 | - | 639 |4128 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | -- | Inf
910.65/910.93 c 864s| 1830k| 1130k| 0 | 0.0 | 840M| 408 | - | 639 |3968 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | -- | Inf
917.65/917.92 c 871s| 1840k| 1135k| 0 | 0.0 | 844M| 408 | - | 639 |4413 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | -- | Inf
924.65/924.96 c 878s| 1850k| 1140k| 0 | 0.0 | 848M| 408 | - | 639 |4041 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | -- | Inf
931.35/931.67 c 884s| 1860k| 1144k| 0 | 0.0 | 852M| 408 | - | 639 |3674 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | -- | Inf
937.84/938.10 c 890s| 1870k| 1149k| 0 | 0.0 | 856M| 408 | - | 639 |3554 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | -- | Inf
944.84/945.13 c 897s| 1880k| 1152k| 0 | 0.0 | 859M| 408 | - | 639 |3544 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | -- | Inf
952.54/952.89 c 904s| 1890k| 1155k| 0 | 0.0 | 862M| 408 | - | 639 |3651 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | -- | Inf
960.53/960.88 c 912s| 1900k| 1158k| 0 | 0.0 | 866M| 408 | - | 639 |4058 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | -- | Inf
968.24/968.51 c 919s| 1910k| 1162k| 0 | 0.0 | 869M| 408 | - | 639 |4028 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | -- | Inf
975.93/976.29 c 927s| 1920k| 1165k| 0 | 0.0 | 872M| 408 | - | 639 |3933 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | -- | Inf
983.83/984.13 c 935s| 1930k| 1168k| 0 | 0.0 | 876M| 408 | - | 639 |4009 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | -- | Inf
991.94/992.27 c 942s| 1940k| 1171k| 0 | 0.0 | 879M| 408 | - | 639 |3983 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | -- | Inf
999.93/1000.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.93/1000.23 c 950s| 1950k| 1173k| 0 | 0.0 | 882M| 408 | - | 639 |3931 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | -- | Inf
1006.32/1006.63 c 956s| 1960k| 1178k| 0 | 0.0 | 884M| 408 | - | 639 |1000 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | -- | Inf
1010.13/1010.48 c 960s| 1970k| 1185k| 0 | 0.0 | 889M| 408 | - | 639 |1172 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | -- | Inf
1014.23/1014.53 c 964s| 1980k| 1192k| 0 | 0.0 | 894M| 408 | - | 639 |1246 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | -- | Inf
1018.42/1018.77 c 968s| 1990k| 1198k| 0 | 0.0 | 899M| 408 | - | 639 |1328 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | -- | Inf
1022.92/1023.27 c 972s| 2000k| 1205k| 0 | 0.0 | 903M| 408 | - | 639 |1601 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | -- | Inf
1027.33/1027.68 c 976s| 2010k| 1211k| 0 | 0.0 | 908M| 408 | - | 639 |1798 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | -- | Inf
1032.02/1032.37 c 980s| 2020k| 1217k| 0 | 0.0 | 913M| 408 | - | 639 |1857 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | -- | Inf
1036.72/1037.04 c 985s| 2030k| 1224k| 0 | 0.0 | 918M| 408 | - | 639 |2134 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | -- | Inf
1041.72/1042.04 c 990s| 2040k| 1230k| 0 | 0.0 | 922M| 408 | - | 639 |2028 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | -- | Inf
1046.62/1046.90 c 994s| 2050k| 1236k| 0 | 0.0 | 927M| 408 | - | 639 |1949 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | -- | Inf
1051.33/1051.69 c 999s| 2060k| 1243k| 0 | 0.0 | 932M| 408 | - | 639 |1923 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | -- | Inf
1056.22/1056.51 c 1003s| 2070k| 1249k| 0 | 0.0 | 937M| 408 | - | 639 |1826 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | -- | Inf
1061.22/1061.53 c 1008s| 2080k| 1256k| 0 | 0.0 | 942M| 408 | - | 639 |1853 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | -- | Inf
1066.32/1066.61 c 1013s| 2090k| 1262k| 0 | 0.0 | 946M| 408 | - | 639 |1817 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | -- | Inf
1071.12/1071.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.12/1071.41 c 1018s| 2100k| 1268k| 0 | 0.0 | 951M| 408 | - | 639 |1755 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | -- | Inf
1075.11/1075.48 c 1021s| 2110k| 1275k| 0 | 0.0 | 956M| 408 | - | 639 |1620 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | -- | Inf
1079.31/1079.62 c 1025s| 2120k| 1283k| 0 | 0.0 | 962M| 408 | - | 639 |1529 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | -- | Inf
1083.41/1083.78 c 1029s| 2130k| 1290k| 0 | 0.0 | 967M| 408 | - | 639 |1550 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | -- | Inf
1087.91/1088.23 c 1033s| 2140k| 1296k| 0 | 0.0 | 971M| 408 | - | 639 |1575 | 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | -- | Inf
1092.51/1092.84 c 1038s| 2150k| 1303k| 0 | 0.0 | 976M| 408 | - | 639 |1482 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | -- | Inf
1097.10/1097.41 c 1042s| 2160k| 1309k| 0 | 0.0 | 980M| 408 | - | 639 |1552 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | -- | Inf
1101.81/1102.16 c 1046s| 2170k| 1315k| 0 | 0.0 | 985M| 408 | - | 639 |1569 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | -- | Inf
1106.50/1106.87 c 1051s| 2180k| 1322k| 0 | 0.0 | 989M| 408 | - | 639 |1444 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | -- | Inf
1111.50/1111.89 c 1056s| 2190k| 1327k| 0 | 0.0 | 994M| 408 | - | 639 |1528 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | -- | Inf
1116.30/1116.62 c 1060s| 2200k| 1334k| 0 | 0.0 | 999M| 408 | - | 639 |1601 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | -- | Inf
1120.70/1121.07 c 1064s| 2210k| 1340k| 0 | 0.0 |1003M| 408 | - | 639 |1577 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | -- | Inf
1125.01/1125.37 c 1068s| 2220k| 1347k| 0 | 0.0 |1008M| 408 | - | 639 |1410 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | -- | Inf
1128.21/1128.53 o 241
1128.21/1128.53 c *1071s| 2226k| 1351k| 0 | 0.0 |1012M| 408 | - | 639 |1613 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1130.00/1130.39 c 1073s| 2230k| 1353k| 0 | 0.0 |1013M| 408 | - | 639 |1601 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1134.70/1135.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.70/1135.09 c 1078s| 2240k| 1359k| 0 | 0.0 |1018M| 408 | - | 639 |1539 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1140.19/1140.57 c 1083s| 2250k| 1364k| 0 | 0.0 |1022M| 408 | - | 639 |1651 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1144.09/1144.41 c 1086s| 2260k| 1370k| 0 | 0.0 |1027M| 408 | - | 639 |1199 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1147.69/1148.06 c 1090s| 2270k| 1377k| 0 | 0.0 |1032M| 408 | - | 639 |1368 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1151.40/1151.79 c 1093s| 2280k| 1384k| 0 | 0.0 |1037M| 408 | - | 639 |1013 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1155.29/1155.61 c 1097s| 2290k| 1391k| 0 | 0.0 |1042M| 408 | - | 639 |1374 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1159.39/1159.79 c 1101s| 2300k| 1398k| 0 | 0.0 |1047M| 408 | - | 639 |1642 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1163.89/1164.25 c 1105s| 2310k| 1405k| 0 | 0.0 |1051M| 408 | - | 639 |1812 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1168.68/1169.04 c 1110s| 2320k| 1411k| 0 | 0.0 |1056M| 408 | - | 639 |2110 | 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1173.78/1174.17 c 1114s| 2330k| 1417k| 0 | 0.0 |1060M| 408 | - | 639 |2445 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1179.38/1179.75 c 1120s| 2340k| 1423k| 0 | 0.0 |1064M| 408 | - | 639 |2769 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1184.88/1185.26 c 1125s| 2350k| 1429k| 0 | 0.0 |1068M| 408 | - | 639 |2426 | 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1191.19/1191.59 c 1131s| 2360k| 1435k| 0 | 0.0 |1072M| 408 | - | 639 |3369 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1197.08/1197.49 c 1137s| 2370k| 1440k| 0 | 0.0 |1076M| 408 | - | 639 |2825 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1203.37/1203.77 c 1143s| 2380k| 1446k| 0 | 0.0 |1081M| 408 | - | 639 |3772 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1210.58/1210.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.58/1210.92 c 1150s| 2390k| 1451k| 0 | 0.0 |1085M| 408 | - | 639 |3603 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1217.57/1217.91 c 1156s| 2400k| 1456k| 0 | 0.0 |1089M| 408 | - | 639 |4236 | 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1225.67/1226.02 c 1164s| 2410k| 1461k| 0 | 0.0 |1093M| 408 | - | 639 |4929 | 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1232.68/1233.10 c 1171s| 2420k| 1467k| 0 | 0.0 |1096M| 408 | - | 639 |3960 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1241.07/1241.43 c 1179s| 2430k| 1471k| 0 | 0.0 |1101M| 408 | - | 639 |5413 | 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1249.96/1250.38 c 1188s| 2440k| 1476k| 0 | 0.0 |1105M| 408 | - | 639 |5640 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1258.36/1258.76 c 1196s| 2450k| 1481k| 0 | 0.0 |1108M| 408 | - | 639 |4897 | 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1267.97/1268.37 c 1205s| 2460k| 1486k| 0 | 0.0 |1112M| 408 | - | 639 |6507 | 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1276.96/1277.31 c 1214s| 2470k| 1491k| 0 | 0.0 |1116M| 408 | - | 639 |5822 | 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1285.36/1285.77 c 1222s| 2480k| 1496k| 0 | 0.0 |1120M| 408 | - | 639 |5701 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1295.36/1295.72 c 1232s| 2490k| 1501k| 0 | 0.0 |1124M| 408 | - | 639 |6696 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1304.85/1305.27 c 1241s| 2500k| 1506k| 0 | 0.0 |1128M| 408 | - | 639 |5697 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1312.95/1313.30 c 1249s| 2510k| 1512k| 0 | 0.0 |1132M| 408 | - | 639 |5659 | 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1321.05/1321.46 c 1257s| 2520k| 1518k| 0 | 0.0 |1137M| 408 | - | 639 |6532 | 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1330.34/1330.80 c 1266s| 2530k| 1523k| 0 | 0.0 |1140M| 408 | - | 639 |5586 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1338.04/1338.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.04/1338.42 c 1273s| 2540k| 1529k| 0 | 0.0 |1144M| 408 | - | 639 |4557 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1343.85/1344.24 c 1279s| 2550k| 1535k| 0 | 0.0 |1149M| 408 | - | 639 |5111 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1351.64/1352.07 c 1286s| 2560k| 1541k| 0 | 0.0 |1154M| 408 | - | 639 |5625 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1358.15/1358.56 c 1293s| 2570k| 1548k| 0 | 0.0 |1158M| 408 | - | 639 |3969 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1363.34/1363.73 c 1297s| 2580k| 1555k| 0 | 0.0 |1163M| 408 | - | 639 |2634 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1368.93/1369.38 c 1303s| 2590k| 1561k| 0 | 0.0 |1168M| 408 | - | 639 |3879 | 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1375.03/1375.49 c 1309s| 2600k| 1567k| 0 | 0.0 |1172M| 408 | - | 639 |4361 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1380.83/1381.28 c 1314s| 2610k| 1574k| 0 | 0.0 |1177M| 408 | - | 639 |3667 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1386.03/1386.40 c 1319s| 2620k| 1581k| 0 | 0.0 |1182M| 408 | - | 639 |2679 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1390.83/1391.24 c 1324s| 2630k| 1587k| 0 | 0.0 |1187M| 408 | - | 639 |2088 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1396.43/1396.84 c 1329s| 2640k| 1594k| 0 | 0.0 |1191M| 408 | - | 639 |3327 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1402.42/1402.81 c 1335s| 2650k| 1600k| 0 | 0.0 |1196M| 408 | - | 639 |4013 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1407.83/1408.26 c 1340s| 2660k| 1607k| 0 | 0.0 |1201M| 408 | - | 639 |3105 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1412.62/1413.03 c 1344s| 2670k| 1613k| 0 | 0.0 |1205M| 408 | - | 639 |2461 | 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1417.32/1417.77 c 1349s| 2680k| 1620k| 0 | 0.0 |1210M| 408 | - | 639 |2266 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1422.32/1422.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.32/1422.71 c 1354s| 2690k| 1626k| 0 | 0.0 |1215M| 408 | - | 639 |2765 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1427.92/1428.37 c 1359s| 2700k| 1632k| 0 | 0.0 |1220M| 408 | - | 639 |3445 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1433.31/1433.78 c 1364s| 2710k| 1639k| 0 | 0.0 |1224M| 408 | - | 639 |2881 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1438.32/1438.80 c 1369s| 2720k| 1645k| 0 | 0.0 |1229M| 408 | - | 639 |2436 | 0 | 0 | 0 | 920k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1443.02/1443.50 c 1373s| 2730k| 1652k| 0 | 0.0 |1234M| 408 | - | 639 |2130 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1447.61/1448.03 c 1378s| 2740k| 1658k| 0 | 0.0 |1238M| 408 | - | 639 |2400 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1452.81/1453.28 c 1383s| 2750k| 1664k| 0 | 0.0 |1243M| 408 | - | 639 |2671 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1458.31/1458.75 c 1388s| 2760k| 1671k| 0 | 0.0 |1248M| 408 | - | 639 |3264 | 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1464.11/1464.55 c 1393s| 2770k| 1677k| 0 | 0.0 |1252M| 408 | - | 639 |2672 | 0 | 0 | 0 | 933k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1469.11/1469.60 c 1398s| 2780k| 1683k| 0 | 0.0 |1257M| 408 | - | 639 |2373 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1474.11/1474.56 c 1403s| 2790k| 1690k| 0 | 0.0 |1262M| 408 | - | 639 |2292 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1479.11/1479.53 c 1408s| 2800k| 1696k| 0 | 0.0 |1266M| 408 | - | 639 |2122 | 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1483.90/1484.35 c 1412s| 2810k| 1702k| 0 | 0.0 |1271M| 408 | - | 639 |1964 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1489.31/1489.73 c 1417s| 2820k| 1709k| 0 | 0.0 |1276M| 408 | - | 639 |2826 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1495.00/1495.47 c 1423s| 2830k| 1714k| 0 | 0.0 |1280M| 408 | - | 639 |2794 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1500.20/1500.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.20/1500.64 c 1428s| 2840k| 1721k| 0 | 0.0 |1285M| 408 | - | 639 |2634 | 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1505.90/1506.31 c 1433s| 2850k| 1727k| 0 | 0.0 |1289M| 408 | - | 639 |2418 | 0 | 0 | 0 | 955k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1510.79/1511.21 c 1438s| 2860k| 1733k| 0 | 0.0 |1294M| 408 | - | 639 |2445 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1516.00/1516.49 c 1443s| 2870k| 1739k| 0 | 0.0 |1299M| 408 | - | 639 |2733 | 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1521.29/1521.76 c 1448s| 2880k| 1745k| 0 | 0.0 |1303M| 408 | - | 639 |2152 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1527.19/1527.67 c 1453s| 2890k| 1751k| 0 | 0.0 |1308M| 408 | - | 639 |2866 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1532.80/1533.24 c 1459s| 2900k| 1757k| 0 | 0.0 |1312M| 408 | - | 639 |2688 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1537.99/1538.50 c 1464s| 2910k| 1763k| 0 | 0.0 |1317M| 408 | - | 639 |2258 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1543.29/1543.72 c 1469s| 2920k| 1769k| 0 | 0.0 |1321M| 408 | - | 639 |2399 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1548.49/1548.98 c 1474s| 2930k| 1776k| 0 | 0.0 |1326M| 408 | - | 639 |2561 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1553.39/1553.86 c 1478s| 2940k| 1782k| 0 | 0.0 |1331M| 408 | - | 639 |2825 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1558.88/1559.39 c 1484s| 2950k| 1788k| 0 | 0.0 |1335M| 408 | - | 639 |2515 | 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1564.58/1565.10 c 1489s| 2960k| 1795k| 0 | 0.0 |1340M| 408 | - | 639 |3004 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1570.19/1570.67 c 1494s| 2970k| 1801k| 0 | 0.0 |1345M| 408 | - | 639 |2754 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1575.58/1576.06 c 1500s| 2980k| 1807k| 0 | 0.0 |1349M| 408 | - | 639 |2603 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1580.78/1581.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.78/1581.28 c 1505s| 2990k| 1813k| 0 | 0.0 |1354M| 408 | - | 639 |2701 | 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 2.410000e+02 | Large
1585.69/1586.10 c (node 2999120) switching to memory saving mode (mem: 1296.0M/1620.0M)
1586.58/1587.01 o 121
1586.58/1587.01 c *1510s| 2999k| 1818k| 0 | 0.0 |1358M| 408 | - | 639 |2920 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 1.210000e+02 | Large
1586.68/1587.12 o 89
1586.68/1587.12 c *1510s| 2999k| 1818k| 0 | 0.0 |1358M| 408 | - | 639 |2946 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1587.38/1587.80 o 61
1587.38/1587.80 c *1511s| 2999k| 1818k| 0 | 0.0 |1358M| 408 | - | 639 |3166 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
1587.48/1587.90 o 21
1587.48/1587.90 c *1511s| 2999k| 1817k| 0 | 0.0 |1358M| 408 | - | 639 |3177 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1587.98/1588.41 o 13
1587.98/1588.41 c *1511s| 2999k| 1817k| 0 | 0.0 |1358M| 408 | - | 639 |3274 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
1588.08/1588.59 o 9
1588.08/1588.59 c *1512s| 2999k| 1817k| 0 | 0.0 |1358M| 408 | - | 639 |3310 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1588.18/1588.69 c 1512s| 3000k| 1817k| 0 | 0.0 |1358M| 408 | - | 639 |3348 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1588.38/1588.81 o 5
1588.38/1588.81 c *1512s| 3000k| 1799k| 0 | 0.0 |1345M| 408 | - | 639 |3349 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1589.78/1590.24 o 3
1589.78/1590.24 c *1513s| 3000k| 1590k| 0 | 0.0 |1190M| 408 | - | 639 |3238 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1599.87/1600.35 c (node 3000362) switching to standard mode (mem: 648.0M/1620.0M)
1614.87/1615.31 c
1614.87/1615.31 c SCIP Status : problem is solved [optimal solution found]
1614.87/1615.31 c Solving Time (sec) : 1536.30
1614.87/1615.31 c Solving Nodes : 3000362
1614.87/1615.31 c Primal Bound : +3.00000000000000e+00 (9 solutions)
1614.87/1615.31 c Dual Bound : +3.00000000000000e+00
1614.87/1615.31 c Gap : 0.00 %
1614.87/1615.31 s OPTIMUM FOUND
1614.87/1615.31 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x144 -x143 -x142 -x141 -x140 -x139
1614.87/1615.31 v -x138 x137 -x200 -x199 -x198 x197 -x196 x195 x194 x193 -x136 -x135 x134 x133 x132 -x131 -x130 x129 -x192 -x191 -x190 -x189
1614.87/1615.31 v x188 -x187 -x186 -x185 x128 -x127 -x126 x125 -x124 -x123 -x122 x121 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x120 -x119
1614.87/1615.31 v -x118 x117 -x116 -x115 -x114 x113 -x176 -x175 x174 x173 -x172 -x171 -x170 x169 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1614.87/1615.31 v x105 -x168 -x167 -x166 -x165 x164 -x163 x162 -x161 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 -x160 -x159 -x158 -x157 -x156
1614.87/1615.31 v -x155 -x154 -x153 -x96 x95 x94 -x93 x92 -x91 -x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x88 -x87 x86 -x85 -x84
1614.87/1615.31 v -x83 x82 x81 -x80 -x79 x78 -x77 x76 x75 x74 x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 x62 -x61 x60 -x59 -x58 x57 x56
1614.87/1615.31 v -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 x40 x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30
1614.87/1615.31 v x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1614.87/1615.31 c SCIP Status : problem is solved [optimal solution found]
1614.87/1615.31 c Solving Time : 1536.30
1614.87/1615.31 c Original Problem :
1614.87/1615.31 c Problem name : HOME/instance-2663587-1276647736.opb
1614.87/1615.31 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1614.87/1615.31 c Constraints : 595 initial, 595 maximal
1614.87/1615.31 c Presolved Problem :
1614.87/1615.31 c Problem name : t_HOME/instance-2663587-1276647736.opb
1614.87/1615.31 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous)
1614.87/1615.31 c Constraints : 460 initial, 6804 maximal
1614.87/1615.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1614.87/1615.31 c trivial : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c dualfix : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c implics : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c probing : 0.03 0 0 0 0 0 0 0 0
1614.87/1615.31 c and : 0.08 18 126 0 0 0 126 0 126
1614.87/1615.31 c linear : 0.01 1 8 0 0 0 0 0 60
1614.87/1615.31 c logicor : 0.00 0 0 0 0 0 0 0 0
1614.87/1615.31 c root node : - 55 - - 55 - - - -
1614.87/1615.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1614.87/1615.31 c integral : 0 0 0 0 0 0 0 0 0 0
1614.87/1615.31 c and : 441 0 7186309 0 2580527 105577 12553769 0 0 0
1614.87/1615.31 c linear : 9 0 7080727 0 2580527 573496 5462948 0 0 0
1614.87/1615.31 c logicor : 10+ 0 3073964 0 2580535 23118 854549 0 0 0
1614.87/1615.31 c countsols : 0 0 0 0 2580535 0 0 0 0 0
1614.87/1615.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1614.87/1615.31 c integral : 0.00 0.00 0.00 0.00 0.00
1614.87/1615.31 c and : 197.99 0.00 126.62 0.00 71.37
1614.87/1615.31 c linear : 340.03 0.00 336.96 0.00 3.07
1614.87/1615.31 c logicor : 215.68 0.00 209.35 0.00 6.33
1614.87/1615.31 c countsols : 1.01 0.00 0.00 0.00 1.01
1614.87/1615.31 c Propagators : Time Calls Cutoffs DomReds
1614.87/1615.31 c vbounds : 3.57 2 0 0
1614.87/1615.31 c rootredcost : 3.37 0 0 0
1614.87/1615.31 c pseudoobj : 8.85 7185861 3 63
1614.87/1615.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1614.87/1615.31 c propagation : 206.37 702194 698584 9426449 59.1 43408 53.2 -
1614.87/1615.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1614.87/1615.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1614.87/1615.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1614.87/1615.31 c pseudo solution : 0.00 2 2 2 1.0 0 0.0 -
1614.87/1615.31 c applied globally : - - - 986454 31.4 - - -
1614.87/1615.31 c applied locally : - - - 12696 73.4 - - -
1614.87/1615.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1614.87/1615.31 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1614.87/1615.31 c redcost : 0.00 0 0 0 0 0
1614.87/1615.31 c impliedbounds : 0.00 0 0 0 0 0
1614.87/1615.31 c intobj : 0.00 0 0 0 0 0
1614.87/1615.31 c cgmip : 0.00 0 0 0 0 0
1614.87/1615.31 c gomory : 0.00 0 0 0 0 0
1614.87/1615.31 c strongcg : 0.00 0 0 0 0 0
1614.87/1615.31 c cmir : 0.00 0 0 0 0 0
1614.87/1615.31 c flowcover : 0.00 0 0 0 0 0
1614.87/1615.31 c clique : 0.00 0 0 0 0 0
1614.87/1615.31 c zerohalf : 0.00 0 0 0 0 0
1614.87/1615.31 c mcf : 0.00 0 0 0 0 0
1614.87/1615.31 c rapidlearning : 0.00 0 0 0 0 0
1614.87/1615.31 c Pricers : Time Calls Vars
1614.87/1615.31 c problem variables: 0.00 0 0
1614.87/1615.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1614.87/1615.31 c relpscost : 0.00 0 0 0 0 0 0
1614.87/1615.31 c pscost : 0.00 0 0 0 0 0 0
1614.87/1615.31 c inference : 218.57 2580526 0 0 0 0 5161052
1614.87/1615.31 c mostinf : 0.00 0 0 0 0 0 0
1614.87/1615.31 c leastinf : 0.00 0 0 0 0 0 0
1614.87/1615.31 c fullstrong : 0.00 0 0 0 0 0 0
1614.87/1615.31 c allfullstrong : 0.00 0 0 0 0 0 0
1614.87/1615.31 c random : 0.00 0 0 0 0 0 0
1614.87/1615.31 c Primal Heuristics : Time Calls Found
1614.87/1615.31 c LP solutions : 0.00 - 0
1614.87/1615.31 c pseudo solutions : 1.67 - 9
1614.87/1615.31 c oneopt : 1.87 0 0
1614.87/1615.31 c trivial : 0.00 2 0
1614.87/1615.31 c simplerounding : 0.00 0 0
1614.87/1615.31 c zirounding : 0.00 0 0
1614.87/1615.31 c rounding : 0.00 0 0
1614.87/1615.31 c shifting : 0.00 0 0
1614.87/1615.31 c intshifting : 0.00 0 0
1614.87/1615.31 c twoopt : 0.00 0 0
1614.87/1615.31 c fixandinfer : 0.00 0 0
1614.87/1615.31 c feaspump : 0.00 0 0
1614.87/1615.31 c coefdiving : 0.00 0 0
1614.87/1615.31 c pscostdiving : 0.00 0 0
1614.87/1615.31 c fracdiving : 0.00 0 0
1614.87/1615.31 c veclendiving : 0.00 0 0
1614.87/1615.31 c intdiving : 0.00 0 0
1614.87/1615.31 c actconsdiving : 0.00 0 0
1614.87/1615.31 c objpscostdiving : 0.00 0 0
1614.87/1615.31 c rootsoldiving : 0.00 0 0
1614.87/1615.31 c linesearchdiving : 0.00 0 0
1614.87/1615.31 c guideddiving : 0.00 0 0
1614.87/1615.31 c octane : 0.00 0 0
1614.87/1615.31 c rens : 0.00 0 0
1614.87/1615.31 c rins : 0.00 0 0
1614.87/1615.31 c localbranching : 0.00 0 0
1614.87/1615.31 c mutation : 0.00 0 0
1614.87/1615.31 c crossover : 0.00 0 0
1614.87/1615.31 c dins : 0.00 0 0
1614.87/1615.31 c undercover : 0.00 0 0
1614.87/1615.31 c nlp : 1.53 0 0
1614.87/1615.31 c trysol : 1.26 0 0
1614.87/1615.31 c LP : Time Calls Iterations Iter/call Iter/sec
1614.87/1615.31 c primal LP : 0.00 0 0 0.00 -
1614.87/1615.31 c dual LP : 0.00 0 0 0.00 -
1614.87/1615.31 c lex dual LP : 0.00 0 0 0.00 -
1614.87/1615.31 c barrier LP : 0.00 0 0 0.00 -
1614.87/1615.31 c diving/probing LP: 0.00 0 0 0.00 -
1614.87/1615.31 c strong branching : 0.00 0 0 0.00 -
1614.87/1615.31 c (at root node) : - 0 0 0.00 -
1614.87/1615.31 c conflict analysis: 0.00 0 0 0.00 -
1614.87/1615.31 c B&B Tree :
1614.87/1615.31 c number of runs : 1
1614.87/1615.31 c nodes : 3000362
1614.87/1615.31 c nodes (total) : 3000362
1614.87/1615.31 c nodes left : 0
1614.87/1615.31 c max depth : 408
1614.87/1615.31 c max depth (total): 408
1614.87/1615.31 c backtracks : 305873 (10.2%)
1614.87/1615.31 c delayed cutoffs : 1932412
1614.87/1615.31 c repropagations : 656586 (2813781 domain reductions, 282369 cutoffs)
1614.87/1615.31 c avg switch length: 8.90
1614.87/1615.31 c switching time : 390.49
1614.87/1615.31 c Solution :
1614.87/1615.31 c Solutions found : 9 (9 improvements)
1614.87/1615.31 c First Solution : +2.41000000000000e+02 (in run 1, after 2226661 nodes, 1071.25 seconds, depth 152, found by <relaxation>)
1614.87/1615.31 c Primal Bound : +3.00000000000000e+00 (in run 1, after 3000361 nodes, 1512.08 seconds, depth 293, found by <relaxation>)
1614.87/1615.31 c Dual Bound : +3.00000000000000e+00
1614.87/1615.31 c Gap : 0.00 %
1614.87/1615.31 c Root Dual Bound : +1.00000000000000e+00
1614.87/1615.31 c Root Iterations : 0
1614.97/1615.41 c Time complete: 1614.98.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663587-1276647736/watcher-2663587-1276647736 -o /tmp/evaluation-result-2663587-1276647736/solver-2663587-1276647736 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663587-1276647736.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.17 1.06 1.03 3/106 12860 /proc/meminfo: memFree=1777620/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=6584 CPUtime=0 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 964 0 0 0 0 0 0 0 20 0 1 0 40377572 6742016 886 1992294400 4194304 7136930 140736217732976 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12860/statm: 1646 894 254 719 0 925 0 [startup+0.0494601 s] /proc/loadavg: 1.17 1.06 1.03 3/106 12860 /proc/meminfo: memFree=1777620/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=12236 CPUtime=0.04 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 2943 0 0 0 2 2 0 0 20 0 1 0 40377572 12529664 2255 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 3059 2255 328 719 0 2338 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12236 [startup+0.100467 s] /proc/loadavg: 1.17 1.06 1.03 3/106 12860 /proc/meminfo: memFree=1777620/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=12236 CPUtime=0.09 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 2943 0 0 0 5 4 0 0 20 0 1 0 40377572 12529664 2255 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 3059 2255 328 719 0 2338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12236 [startup+0.300486 s] /proc/loadavg: 1.17 1.06 1.03 3/106 12860 /proc/meminfo: memFree=1777620/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=14128 CPUtime=0.29 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 8649 0 0 0 19 10 0 0 20 0 1 0 40377572 14467072 2821 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 3532 2821 389 719 0 2811 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14128 [startup+0.700527 s] /proc/loadavg: 1.17 1.06 1.03 3/106 12860 /proc/meminfo: memFree=1777620/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=15192 CPUtime=0.69 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 8909 0 0 0 55 14 0 0 21 0 1 0 40377572 15556608 3081 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 3798 3081 394 719 0 3077 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15192 [startup+1.50061 s] /proc/loadavg: 1.17 1.06 1.03 2/107 12861 /proc/meminfo: memFree=1764840/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=17744 CPUtime=1.49 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 9572 0 0 0 127 22 0 0 23 0 1 0 40377572 18169856 3744 1992294400 4194304 7136930 140736217732976 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 4436 3744 394 719 0 3715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17744 [startup+3.10077 s] /proc/loadavg: 1.17 1.06 1.03 2/107 12861 /proc/meminfo: memFree=1761616/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=22204 CPUtime=3.09 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 10676 0 0 0 275 34 0 0 25 0 1 0 40377572 22736896 4848 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 5551 4848 394 719 0 4830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22204 [startup+6.3011 s] /proc/loadavg: 1.15 1.06 1.03 2/107 12863 /proc/meminfo: memFree=1753556/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=28908 CPUtime=6.29 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 12381 0 0 0 571 58 0 0 25 0 1 0 40377572 29601792 6553 1992294400 4194304 7136930 140736217732976 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 7227 6553 394 719 0 6506 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28908 [startup+12.7008 s] /proc/loadavg: 1.14 1.05 1.03 2/107 12863 /proc/meminfo: memFree=1740536/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=41976 CPUtime=12.69 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 15693 0 0 0 1160 109 0 0 25 0 1 0 40377572 42983424 9865 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 10494 9865 394 719 0 9773 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41976 [startup+25.5021 s] /proc/loadavg: 1.11 1.05 1.03 2/107 12863 /proc/meminfo: memFree=1719456/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=61900 CPUtime=25.48 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 20775 0 0 0 2354 194 0 0 25 0 1 0 40377572 63385600 14947 1992294400 4194304 7136930 140736217732976 18446744073709551615 4948440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 15475 14947 394 719 0 14754 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61900 [startup+51.1017 s] /proc/loadavg: 1.07 1.05 1.02 2/107 12863 /proc/meminfo: memFree=1683744/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=98552 CPUtime=51.07 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 29598 0 0 0 4744 363 0 0 25 0 1 0 40377572 100917248 23770 1992294400 4194304 7136930 140736217732976 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 24638 23770 394 719 0 23917 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98552 [startup+102.309 s] /proc/loadavg: 1.03 1.04 1.02 2/107 12865 /proc/meminfo: memFree=1616536/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=164040 CPUtime=102.27 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 46288 0 0 0 9528 699 0 0 25 0 1 0 40377572 167976960 40460 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 41010 40460 394 719 0 40289 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 164040 [startup+162.302 s] /proc/loadavg: 1.01 1.03 1.01 2/107 12867 /proc/meminfo: memFree=1551436/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=232960 CPUtime=162.25 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 62761 0 0 0 15188 1037 0 0 25 0 1 0 40377572 238551040 56933 1992294400 4194304 7136930 140736217732976 18446744073709551615 5922977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 58240 56933 394 719 0 57519 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 232960 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.01 2/107 12867 /proc/meminfo: memFree=1483484/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=298336 CPUtime=222.23 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 79426 0 0 0 20850 1373 0 0 25 0 1 0 40377572 305496064 73598 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 74584 73598 394 719 0 73863 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 298336 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12869 /proc/meminfo: memFree=1420864/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=359900 CPUtime=282.21 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 95174 0 0 0 26515 1706 0 0 25 0 1 0 40377572 368537600 89346 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 89975 89346 394 719 0 89254 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 359900 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12871 /proc/meminfo: memFree=1368536/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=418676 CPUtime=342.2 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 108080 0 0 0 32236 1984 0 0 25 0 1 0 40377572 428724224 102252 1992294400 4194304 7136930 140736217732976 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 104669 102252 394 719 0 103948 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 418676 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12873 /proc/meminfo: memFree=1319308/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=467992 CPUtime=402.18 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 120669 0 0 0 37971 2247 0 0 25 0 1 0 40377572 479223808 114841 1992294400 4194304 7136930 140736217732976 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 116998 114841 394 719 0 116277 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 467992 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12875 /proc/meminfo: memFree=1268344/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=516416 CPUtime=462.16 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 132996 0 0 0 43700 2516 0 0 25 0 1 0 40377572 528809984 127168 1992294400 4194304 7136930 140736217732976 18446744073709551615 6166206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 129104 127168 394 719 0 128383 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 516416 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12875 /proc/meminfo: memFree=1218000/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=565784 CPUtime=522.15 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 145657 0 0 0 49413 2802 0 0 25 0 1 0 40377572 579362816 139829 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 141446 139829 394 719 0 140725 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 565784 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12877 /proc/meminfo: memFree=1170632/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=612492 CPUtime=582.14 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 157580 0 0 0 55123 3091 0 0 25 0 1 0 40377572 627191808 151752 1992294400 4194304 7136930 140736217732976 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 153123 151752 394 719 0 152402 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 612492 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12879 /proc/meminfo: memFree=1122396/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=658444 CPUtime=642.13 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 169317 0 0 0 60853 3360 0 0 25 0 1 0 40377572 674246656 163489 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 164611 163489 394 719 0 163890 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 658444 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=862492/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=928952 CPUtime=942.05 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 234046 0 0 0 89423 4782 0 0 25 0 1 0 40377572 951246848 228218 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 232238 228218 394 719 0 231517 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 928952 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12889 /proc/meminfo: memFree=839676/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=951424 CPUtime=1002.03 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 239707 0 0 0 95209 4994 0 0 25 0 1 0 40377572 974258176 233879 1992294400 4194304 7136930 140736217732976 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 237856 233879 394 719 0 237135 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 951424 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12891 /proc/meminfo: memFree=777676/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1013288 CPUtime=1062.01 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 255542 0 0 0 100890 5311 0 0 25 0 1 0 40377572 1037606912 249714 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 253322 249714 394 719 0 252601 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1013288 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12891 /proc/meminfo: memFree=710840/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1078456 CPUtime=1122 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 272186 0 0 0 106544 5656 0 0 25 0 1 0 40377572 1104338944 266358 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 269614 266358 394 719 0 268893 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1078456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12893 /proc/meminfo: memFree=650080/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1137176 CPUtime=1181.98 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 287209 0 0 0 112209 5989 0 0 25 0 1 0 40377572 1164468224 281381 1992294400 4194304 7136930 140736217732976 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 284294 281381 394 719 0 283573 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1137176 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12895 /proc/meminfo: memFree=615484/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1170276 CPUtime=1241.97 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 295527 0 0 0 117984 6213 0 0 25 0 1 0 40377572 1198362624 289699 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 292569 289699 394 719 0 291848 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1170276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12897 /proc/meminfo: memFree=588576/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1196752 CPUtime=1301.96 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 302222 0 0 0 123816 6380 0 0 25 0 1 0 40377572 1225474048 296394 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 299188 296394 394 719 0 298467 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1196752 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12899 /proc/meminfo: memFree=554724/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1230128 CPUtime=1361.93 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 310769 0 0 0 129610 6583 0 0 25 0 1 0 40377572 1259651072 304941 1992294400 4194304 7136930 140736217732976 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 307532 304941 394 719 0 306811 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1230128 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12899 /proc/meminfo: memFree=495824/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1287192 CPUtime=1421.92 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 325334 0 0 0 135315 6877 0 0 25 0 1 0 40377572 1318084608 319506 1992294400 4194304 7136930 140736217732976 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 321798 319506 394 719 0 321077 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1287192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12901 /proc/meminfo: memFree=442504/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1339252 CPUtime=1481.91 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 338651 0 0 0 141026 7165 0 0 25 0 1 0 40377572 1371394048 332823 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 334813 332823 394 719 0 334092 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1339252 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12903 /proc/meminfo: memFree=392284/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1388380 CPUtime=1541.89 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 351137 0 0 0 146738 7451 0 0 25 0 1 0 40377572 1421701120 345309 1992294400 4194304 7136930 140736217732976 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 347095 345309 394 719 0 346374 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1388380 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=443000/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1333912 CPUtime=1601.87 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 152425 7762 0 0 25 0 1 0 40377572 1365925888 332442 1992294400 4194304 7136930 140736217732976 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 333478 332442 395 719 0 332757 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1333912 Solver just ended. Dumping a history of the last processes samples [startup+1606.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=446968/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1330024 CPUtime=1605.88 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 152796 7792 0 0 25 0 1 0 40377572 1361944576 331470 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 332506 331470 395 719 0 331785 0 Current children cumulated CPU time (s) 1605.88 Current children cumulated vsize (KiB) 1330024 [startup+1609.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=446968/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1330024 CPUtime=1609.07 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 153089 7818 0 0 25 0 1 0 40377572 1361944576 331470 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 332506 331470 395 719 0 331785 0 Current children cumulated CPU time (s) 1609.07 Current children cumulated vsize (KiB) 1330024 [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=458252/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1312884 CPUtime=1612.27 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 153389 7838 0 0 25 0 1 0 40377572 1344393216 327185 1992294400 4194304 7136930 140736217732976 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 328221 327185 395 719 0 327500 0 Current children cumulated CPU time (s) 1612.27 Current children cumulated vsize (KiB) 1312884 [startup+1614.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=488260/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1283712 CPUtime=1613.87 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 153539 7848 0 0 25 0 1 0 40377572 1314521088 319763 1992294400 4194304 7136930 140736217732976 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 320799 319763 395 719 0 320078 0 Current children cumulated CPU time (s) 1613.87 Current children cumulated vsize (KiB) 1283712 [startup+1615.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=553732/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=1084100 CPUtime=1614.67 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 153613 7854 0 0 25 0 1 0 40377572 1110118400 269989 1992294400 4194304 7136930 140736217732976 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 271025 269989 395 719 0 270304 0 Current children cumulated CPU time (s) 1614.67 Current children cumulated vsize (KiB) 1084100 [startup+1615.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=553732/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=763504 CPUtime=1614.87 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371024 0 0 0 153630 7857 0 0 25 0 1 0 40377572 781828096 189775 1992294400 4194304 7136930 140736217732976 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12860/statm: 190746 189710 395 719 0 190025 0 Current children cumulated CPU time (s) 1614.87 Current children cumulated vsize (KiB) 763504 [startup+1615.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12905 /proc/meminfo: memFree=553732/2059040 swapFree=4135684/4192956 [pid=12860] ppid=12858 vsize=96840 CPUtime=1614.97 /proc/12860/stat : 12860 (pbscip.linux.x8) R 12858 12860 12171 0 -1 4202496 371030 0 0 0 153632 7865 0 0 25 0 1 0 40377572 99164160 23405 1992294400 4194304 7136930 140736217732976 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12860/statm: 24017 23149 401 719 0 23296 0 Current children cumulated CPU time (s) 1614.97 Current children cumulated vsize (KiB) 96840 Child status: 0 Real time (s): 1615.42 CPU time (s): 1615 CPU user time (s): 1536.33 CPU system time (s): 78.669 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1455028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1536.33 system time used= 78.669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371036 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3950 runsolver used 2.66659 second user time and 7.65084 second system time The end
Begin job on node002 at 2010-06-16 02:22:16 IDJOB=2663587 IDBENCH=47960 IDSOLVER=1167 FILE ID=node002/2663587-1276647736 PBS_JOBID= 11172437 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.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-2663587-1276647736/watcher-2663587-1276647736 -o /tmp/evaluation-result-2663587-1276647736/solver-2663587-1276647736 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663587-1276647736.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ac2b65e6f5a9e0208aa5abddde874b2 RANDOM SEED=1708512300 node002.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778148 kB Buffers: 71988 kB Cached: 115896 kB SwapCached: 10756 kB Active: 104516 kB Inactive: 96860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778148 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 3576 kB Writeback: 0 kB AnonPages: 11676 kB Mapped: 9292 kB Slab: 57916 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node002 at 2010-06-16 02:49:12