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 | 1513.08 | 1513.55 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb |
| MD5SUM | 9de8f37e65dc0eaf693e157cab5aa725 |
| 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 | 7.65783 |
| 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 | 189 |
| Total number of constraints | 15 |
| 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 | 15 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
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-2663640-1276648918.opb>
0.00/0.01 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 582 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.16 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 0 upgd conss, 3108 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 72 chg coeffs, 8 upgd conss, 4836 impls, 0 clqs
0.09/0.17 c (round 3) 43 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 8 upgd conss, 6276 impls, 0 clqs
0.09/0.18 c (round 4) 61 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 7428 impls, 0 clqs
0.09/0.19 c (round 5) 79 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 120 chg coeffs, 8 upgd conss, 8292 impls, 0 clqs
0.09/0.19 c (round 6) 97 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 136 chg coeffs, 8 upgd conss, 8868 impls, 0 clqs
0.09/0.19 c (round 7) 115 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.20 c (round 8) 133 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 168 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 206/623 (33.1%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (9 rounds):
0.19/0.23 c 133 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 168 changed coefficients
0.19/0.23 c 9184 implications, 0 cliques
0.19/0.23 c presolved problem has 623 variables (623 bin, 0 int, 0 impl, 0 cont) and 463 constraints
0.19/0.23 c 448 constraints of type <and>
0.19/0.23 c 7 constraints of type <linear>
0.19/0.23 c 8 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 2)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.99
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 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.23 c 0.1s| 1 | 2 | 0 | - |1985k| 0 | - | 623 | 463 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.49/3.50 c 3.1s| 10000 | 6699 | 0 | 0.0 |7366k| 405 | - | 623 | 987 | 0 | 0 | 0 |2185 | 0 | 1.000000e+00 | -- | Inf
6.88/6.97 c 6.4s| 20000 | 13489 | 0 | 0.0 | 12M| 405 | - | 623 |1061 | 0 | 0 | 0 |4392 | 0 | 1.000000e+00 | -- | Inf
10.39/10.44 c 9.6s| 30000 | 20054 | 0 | 0.0 | 17M| 405 | - | 623 |1254 | 0 | 0 | 0 |6588 | 0 | 1.000000e+00 | -- | Inf
14.49/14.53 c 13.4s| 40000 | 24997 | 0 | 0.0 | 21M| 405 | - | 623 | 886 | 0 | 0 | 0 |9660 | 0 | 1.000000e+00 | -- | Inf
18.49/18.58 c 17.2s| 50000 | 30333 | 0 | 0.0 | 25M| 405 | - | 623 |1598 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
22.58/22.64 c 21.0s| 60000 | 36010 | 0 | 0.0 | 30M| 405 | - | 623 |1347 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
26.48/26.58 c 24.7s| 70000 | 42087 | 0 | 0.0 | 34M| 405 | - | 623 |1485 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
30.18/30.23 c 28.1s| 80000 | 48967 | 0 | 0.0 | 39M| 405 | - | 623 |1247 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
33.98/34.09 c 31.7s| 90000 | 55486 | 0 | 0.0 | 44M| 405 | - | 623 |1473 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
38.18/38.29 c 35.6s|100000 | 61556 | 0 | 0.0 | 49M| 405 | - | 623 |1766 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
42.79/42.88 c 39.9s|110000 | 66940 | 0 | 0.0 | 53M| 405 | - | 623 |2024 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
47.68/47.76 c 44.6s|120000 | 72188 | 0 | 0.0 | 58M| 405 | - | 623 |2254 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
52.78/52.87 c 49.4s|130000 | 76829 | 0 | 0.0 | 62M| 405 | - | 623 |2842 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
58.07/58.18 c 54.4s|140000 | 81310 | 0 | 0.0 | 66M| 405 | - | 623 |3524 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
63.47/63.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.47/63.57 c 59.5s|150000 | 85026 | 0 | 0.0 | 70M| 405 | - | 623 |3509 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
68.77/68.83 c 64.5s|160000 | 89039 | 0 | 0.0 | 74M| 405 | - | 623 |3577 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
74.47/74.56 c 70.0s|170000 | 93364 | 0 | 0.0 | 79M| 405 | - | 623 |3572 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
82.06/82.14 c 77.2s|180000 | 97012 | 0 | 0.0 | 82M| 405 | - | 623 | 899 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
85.36/85.45 c 80.3s|190000 |104568 | 0 | 0.0 | 88M| 405 | - | 623 | 903 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
88.97/89.02 c 83.7s|200000 |111820 | 0 | 0.0 | 93M| 405 | - | 623 |1179 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
94.16/94.24 c 88.7s|210000 |116147 | 0 | 0.0 | 96M| 405 | - | 623 |2339 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
100.06/100.16 c 94.3s|220000 |120502 | 0 | 0.0 | 100M| 405 | - | 623 |2396 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
104.76/104.85 c 98.8s|230000 |126599 | 0 | 0.0 | 104M| 405 | - | 623 |1985 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
108.95/109.00 c 103s|240000 |133726 | 0 | 0.0 | 109M| 405 | - | 623 |1803 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | -- | Inf
112.86/112.98 c 106s|250000 |140976 | 0 | 0.0 | 114M| 405 | - | 623 |1601 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
116.65/116.74 c 110s|260000 |148384 | 0 | 0.0 | 120M| 405 | - | 623 |1440 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
120.35/120.42 c 113s|270000 |155783 | 0 | 0.0 | 125M| 405 | - | 623 |1414 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
123.95/124.09 c 117s|280000 |163121 | 0 | 0.0 | 130M| 405 | - | 623 |1599 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
128.05/128.13 c 121s|290000 |169738 | 0 | 0.0 | 135M| 405 | - | 623 |1894 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
132.45/132.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.45/132.58 c 125s|300000 |175765 | 0 | 0.0 | 139M| 405 | - | 623 |1828 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
136.84/136.92 c 129s|310000 |181995 | 0 | 0.0 | 144M| 405 | - | 623 |1792 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
141.15/141.25 c 133s|320000 |188039 | 0 | 0.0 | 148M| 405 | - | 623 |1806 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
145.24/145.30 c 137s|330000 |194611 | 0 | 0.0 | 152M| 405 | - | 623 |1707 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
149.05/149.11 c 140s|340000 |201607 | 0 | 0.0 | 157M| 405 | - | 623 |1403 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | -- | Inf
152.85/152.91 c 144s|350000 |208524 | 0 | 0.0 | 162M| 405 | - | 623 |1277 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
156.84/156.97 c 148s|360000 |214915 | 0 | 0.0 | 166M| 405 | - | 623 |1415 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
161.14/161.27 c 152s|370000 |220791 | 0 | 0.0 | 170M| 405 | - | 623 |1454 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
165.64/165.72 c 156s|380000 |226705 | 0 | 0.0 | 175M| 405 | - | 623 |1544 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | -- | Inf
169.94/170.09 c 160s|390000 |232894 | 0 | 0.0 | 179M| 405 | - | 623 |1577 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
174.34/174.41 c 164s|400000 |239290 | 0 | 0.0 | 183M| 405 | - | 623 |1556 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
178.64/178.79 c 168s|410000 |245665 | 0 | 0.0 | 188M| 405 | - | 623 |1613 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
183.24/183.38 c 173s|420000 |251813 | 0 | 0.0 | 192M| 405 | - | 623 |1908 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
187.94/188.09 c 177s|430000 |257967 | 0 | 0.0 | 196M| 405 | - | 623 |1820 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
193.04/193.16 c 182s|440000 |263738 | 0 | 0.0 | 201M| 405 | - | 623 |2065 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
198.03/198.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.03/198.11 c 186s|450000 |269632 | 0 | 0.0 | 205M| 405 | - | 623 |2217 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
203.23/203.31 c 191s|460000 |275261 | 0 | 0.0 | 209M| 405 | - | 623 |2237 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
208.53/208.60 c 196s|470000 |280768 | 0 | 0.0 | 214M| 405 | - | 623 |2175 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | -- | Inf
214.02/214.13 c 202s|480000 |285834 | 0 | 0.0 | 218M| 405 | - | 623 |2546 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
219.71/219.80 c 207s|490000 |291015 | 0 | 0.0 | 222M| 405 | - | 623 |2820 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
225.52/225.60 c 213s|500000 |296274 | 0 | 0.0 | 226M| 405 | - | 623 |2900 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
231.42/231.50 c 218s|510000 |301405 | 0 | 0.0 | 230M| 405 | - | 623 |3093 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
237.61/237.75 c 224s|520000 |306223 | 0 | 0.0 | 234M| 405 | - | 623 |3299 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
244.02/244.15 c 230s|530000 |311063 | 0 | 0.0 | 238M| 405 | - | 623 |3475 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
250.11/250.24 c 236s|540000 |316130 | 0 | 0.0 | 242M| 405 | - | 623 |3107 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
256.61/256.74 c 243s|550000 |320776 | 0 | 0.0 | 246M| 405 | - | 623 |3642 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
262.31/262.48 c 248s|560000 |326132 | 0 | 0.0 | 250M| 405 | - | 623 |3001 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
267.90/268.06 c 253s|570000 |331477 | 0 | 0.0 | 254M| 405 | - | 623 |2775 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
273.81/273.93 c 259s|580000 |336250 | 0 | 0.0 | 258M| 405 | - | 623 |3248 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | -- | Inf
279.80/279.95 c 265s|590000 |341178 | 0 | 0.0 | 262M| 405 | - | 623 |3257 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
285.70/285.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.70/285.81 c 270s|600000 |346339 | 0 | 0.0 | 266M| 405 | - | 623 |2979 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | -- | Inf
291.50/291.66 c 276s|610000 |351265 | 0 | 0.0 | 270M| 405 | - | 623 |3086 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
297.50/297.60 c 282s|620000 |356224 | 0 | 0.0 | 274M| 405 | - | 623 |3202 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
303.69/303.84 c 288s|630000 |360704 | 0 | 0.0 | 278M| 405 | - | 623 |3214 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | -- | Inf
309.69/309.81 c 293s|640000 |365484 | 0 | 0.0 | 283M| 405 | - | 623 |3361 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
315.60/315.78 c 299s|650000 |370420 | 0 | 0.0 | 287M| 405 | - | 623 |3265 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
321.19/321.33 c 304s|660000 |375464 | 0 | 0.0 | 291M| 405 | - | 623 |3186 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
327.09/327.26 c 310s|670000 |379840 | 0 | 0.0 | 295M| 405 | - | 623 |3453 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
333.59/333.74 c 316s|680000 |383656 | 0 | 0.0 | 299M| 405 | - | 623 |3731 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
340.38/340.58 c 323s|690000 |386902 | 0 | 0.0 | 302M| 405 | - | 623 |4125 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
347.17/347.38 c 329s|700000 |389840 | 0 | 0.0 | 305M| 405 | - | 623 |4098 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
353.48/353.67 c 335s|710000 |393247 | 0 | 0.0 | 307M| 405 | - | 623 |3583 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
359.58/359.71 c 341s|720000 |397208 | 0 | 0.0 | 311M| 405 | - | 623 |3199 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
365.18/365.36 c 346s|730000 |401713 | 0 | 0.0 | 315M| 405 | - | 623 |2817 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
370.18/370.34 c 351s|740000 |407261 | 0 | 0.0 | 319M| 405 | - | 623 |2683 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
375.37/375.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.37/375.52 c 356s|750000 |412641 | 0 | 0.0 | 324M| 405 | - | 623 |2554 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
380.48/380.66 c 361s|760000 |418155 | 0 | 0.0 | 328M| 405 | - | 623 |2445 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
386.06/386.29 c 366s|770000 |423376 | 0 | 0.0 | 333M| 405 | - | 623 |2398 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
391.67/391.87 c 371s|780000 |428692 | 0 | 0.0 | 338M| 405 | - | 623 |2379 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
396.56/396.78 o 5
396.56/396.78 c * 376s|788260 |429918 | 0 | 0.0 | 340M| 405 | - | 623 |2399 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
397.86/398.03 c 377s|790000 |430205 | 0 | 0.0 | 340M| 405 | - | 623 |2015 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
403.06/403.29 c 382s|800000 |436182 | 0 | 0.0 | 343M| 405 | - | 623 | 927 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
406.56/406.76 c 386s|810000 |443529 | 0 | 0.0 | 348M| 405 | - | 623 | 947 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
410.26/410.48 c 389s|820000 |450271 | 0 | 0.0 | 353M| 405 | - | 623 |1029 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
414.26/414.40 c 393s|830000 |456654 | 0 | 0.0 | 358M| 405 | - | 623 |1133 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
418.25/418.41 c 396s|840000 |462811 | 0 | 0.0 | 362M| 405 | - | 623 |1158 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
421.85/422.04 c 400s|850000 |469766 | 0 | 0.0 | 368M| 405 | - | 623 |1188 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
425.15/425.31 c 403s|860000 |477320 | 0 | 0.0 | 373M| 405 | - | 623 | 973 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
428.35/428.52 c 406s|870000 |484971 | 0 | 0.0 | 379M| 405 | - | 623 | 948 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
431.56/431.70 c 409s|880000 |492663 | 0 | 0.0 | 385M| 405 | - | 623 | 963 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
434.66/434.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.66/434.80 c 412s|890000 |500427 | 0 | 0.0 | 391M| 405 | - | 623 | 893 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
438.15/438.40 c 415s|900000 |507177 | 0 | 0.0 | 396M| 405 | - | 623 | 910 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
441.96/442.12 c 418s|910000 |513811 | 0 | 0.0 | 401M| 405 | - | 623 | 870 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
445.55/445.73 c 422s|920000 |520816 | 0 | 0.0 | 406M| 405 | - | 623 | 899 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
448.55/448.74 c 424s|930000 |529203 | 0 | 0.0 | 412M| 405 | - | 623 | 734 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
452.14/452.31 c 428s|940000 |536196 | 0 | 0.0 | 417M| 405 | - | 623 |1033 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
455.94/456.15 c 431s|950000 |542905 | 0 | 0.0 | 422M| 405 | - | 623 |1047 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
459.84/460.07 c 435s|960000 |549575 | 0 | 0.0 | 426M| 405 | - | 623 |1136 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
464.44/464.68 c 439s|970000 |554740 | 0 | 0.0 | 430M| 405 | - | 623 |1229 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
469.55/469.77 c 444s|980000 |559333 | 0 | 0.0 | 433M| 405 | - | 623 |1203 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
474.74/474.97 c 449s|990000 |563825 | 0 | 0.0 | 437M| 405 | - | 623 |1460 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
480.23/480.45 c 454s| 1000k|568148 | 0 | 0.0 | 440M| 405 | - | 623 |1609 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
485.94/486.19 c 460s| 1010k|572012 | 0 | 0.0 | 443M| 405 | - | 623 |1778 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
491.13/491.38 c 465s| 1020k|576498 | 0 | 0.0 | 446M| 405 | - | 623 |1665 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
496.03/496.26 c 469s| 1030k|581730 | 0 | 0.0 | 450M| 405 | - | 623 |1624 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
500.24/500.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.24/500.42 c 473s| 1040k|588247 | 0 | 0.0 | 455M| 405 | - | 623 |1702 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
504.02/504.24 c 477s| 1050k|595482 | 0 | 0.0 | 460M| 405 | - | 623 |1371 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
507.52/507.72 c 480s| 1060k|603173 | 0 | 0.0 | 465M| 405 | - | 623 |1194 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
511.02/511.21 c 483s| 1070k|610745 | 0 | 0.0 | 471M| 405 | - | 623 |1093 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
514.54/514.76 c 487s| 1080k|618134 | 0 | 0.0 | 476M| 405 | - | 623 |1206 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
518.23/518.40 c 490s| 1090k|625429 | 0 | 0.0 | 481M| 405 | - | 623 |1243 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
521.82/522.07 c 493s| 1100k|632674 | 0 | 0.0 | 486M| 405 | - | 623 |1177 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
525.43/525.67 c 497s| 1110k|640047 | 0 | 0.0 | 491M| 405 | - | 623 |1191 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
528.92/529.14 c 500s| 1120k|647637 | 0 | 0.0 | 496M| 405 | - | 623 |1015 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
532.72/532.91 c 504s| 1130k|654700 | 0 | 0.0 | 501M| 405 | - | 623 |1072 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
536.42/536.63 c 507s| 1140k|661793 | 0 | 0.0 | 506M| 405 | - | 623 |1003 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
540.12/540.30 c 510s| 1150k|668923 | 0 | 0.0 | 511M| 405 | - | 623 |1122 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
543.62/543.83 c 514s| 1160k|676238 | 0 | 0.0 | 516M| 405 | - | 623 | 869 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
547.32/547.57 c 517s| 1170k|683097 | 0 | 0.0 | 521M| 405 | - | 623 | 956 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
550.93/551.13 c 520s| 1180k|690361 | 0 | 0.0 | 526M| 405 | - | 623 |1083 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
554.61/554.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.61/554.87 c 524s| 1190k|697308 | 0 | 0.0 | 530M| 405 | - | 623 | 847 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
558.41/558.63 c 527s| 1200k|704150 | 0 | 0.0 | 535M| 405 | - | 623 |1014 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
561.92/562.15 c 531s| 1210k|711523 | 0 | 0.0 | 540M| 405 | - | 623 | 783 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
565.81/566.00 c 534s| 1220k|718291 | 0 | 0.0 | 545M| 405 | - | 623 | 968 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
569.21/569.48 c 538s| 1230k|725818 | 0 | 0.0 | 550M| 405 | - | 623 | 817 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
573.21/573.41 c 541s| 1240k|732510 | 0 | 0.0 | 554M| 405 | - | 623 | 958 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
576.91/577.14 c 545s| 1250k|739505 | 0 | 0.0 | 559M| 405 | - | 623 |1243 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
580.80/581.01 c 548s| 1260k|746439 | 0 | 0.0 | 564M| 405 | - | 623 | 940 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
584.50/584.75 c 552s| 1270k|753393 | 0 | 0.0 | 569M| 405 | - | 623 |1157 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
588.31/588.51 c 555s| 1280k|760449 | 0 | 0.0 | 574M| 405 | - | 623 |1029 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
592.10/592.33 c 559s| 1290k|767201 | 0 | 0.0 | 578M| 405 | - | 623 |1243 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
595.90/596.17 c 562s| 1300k|774158 | 0 | 0.0 | 583M| 405 | - | 623 | 999 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
599.80/600.00 c 566s| 1310k|780978 | 0 | 0.0 | 588M| 405 | - | 623 |1180 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
603.71/603.92 c 570s| 1320k|787929 | 0 | 0.0 | 593M| 405 | - | 623 | 989 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
607.39/607.60 c 573s| 1330k|795059 | 0 | 0.0 | 598M| 405 | - | 623 |1170 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
611.49/611.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.49/611.80 c 577s| 1340k|801626 | 0 | 0.0 | 603M| 405 | - | 623 |1025 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
615.09/615.34 c 580s| 1350k|808904 | 0 | 0.0 | 608M| 405 | - | 623 | 851 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
619.49/619.80 c 585s| 1360k|814978 | 0 | 0.0 | 612M| 405 | - | 623 |1050 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
623.09/623.38 c 588s| 1370k|822218 | 0 | 0.0 | 617M| 405 | - | 623 | 830 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
627.59/627.88 c 592s| 1380k|828202 | 0 | 0.0 | 622M| 405 | - | 623 |1234 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
631.28/631.51 c 595s| 1390k|835369 | 0 | 0.0 | 626M| 405 | - | 623 | 966 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
635.69/635.94 c 600s| 1400k|841367 | 0 | 0.0 | 631M| 405 | - | 623 |1479 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
639.48/639.78 c 603s| 1410k|848267 | 0 | 0.0 | 635M| 405 | - | 623 |1125 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
643.38/643.67 c 607s| 1420k|854999 | 0 | 0.0 | 640M| 405 | - | 623 |1366 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
647.78/648.04 c 611s| 1430k|861279 | 0 | 0.0 | 644M| 405 | - | 623 |1149 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
651.28/651.55 c 614s| 1440k|868589 | 0 | 0.0 | 649M| 405 | - | 623 | 991 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
655.68/655.99 c 619s| 1450k|874486 | 0 | 0.0 | 654M| 405 | - | 623 |1596 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
659.57/659.89 c 622s| 1460k|881405 | 0 | 0.0 | 658M| 405 | - | 623 |1068 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
663.09/663.36 c 625s| 1470k|888735 | 0 | 0.0 | 663M| 405 | - | 623 | 824 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
667.78/668.01 c 630s| 1480k|894462 | 0 | 0.0 | 667M| 405 | - | 623 |1390 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
671.57/671.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.57/671.82 c 633s| 1490k|901320 | 0 | 0.0 | 672M| 405 | - | 623 |1190 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
675.78/676.01 c 637s| 1500k|907384 | 0 | 0.0 | 676M| 405 | - | 623 |1358 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
679.98/680.28 c 641s| 1510k|913756 | 0 | 0.0 | 680M| 405 | - | 623 |1372 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
683.98/684.25 c 645s| 1520k|920204 | 0 | 0.0 | 685M| 405 | - | 623 |1477 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
688.57/688.87 c 649s| 1530k|925853 | 0 | 0.0 | 689M| 405 | - | 623 |1586 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
692.86/693.17 c 653s| 1540k|932043 | 0 | 0.0 | 693M| 405 | - | 623 |1279 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
697.08/697.40 c 657s| 1550k|938036 | 0 | 0.0 | 697M| 405 | - | 623 |1145 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
702.07/702.30 c 662s| 1560k|943481 | 0 | 0.0 | 701M| 405 | - | 623 |1500 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
706.16/706.41 c 666s| 1570k|949717 | 0 | 0.0 | 705M| 405 | - | 623 |1687 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
710.86/711.14 c 670s| 1580k|955152 | 0 | 0.0 | 709M| 405 | - | 623 |1537 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
715.77/716.05 c 675s| 1590k|960455 | 0 | 0.0 | 713M| 405 | - | 623 |1862 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
720.27/720.56 c 679s| 1600k|966278 | 0 | 0.0 | 716M| 405 | - | 623 |1395 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
725.56/725.86 c 684s| 1610k|971046 | 0 | 0.0 | 720M| 405 | - | 623 |2014 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
730.26/730.52 c 689s| 1620k|976543 | 0 | 0.0 | 724M| 405 | - | 623 |1651 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
735.26/735.54 c 693s| 1630k|981703 | 0 | 0.0 | 727M| 405 | - | 623 |1734 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
739.46/739.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.46/739.80 c 697s| 1640k|987680 | 0 | 0.0 | 731M| 405 | - | 623 |1856 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
744.16/744.48 c 702s| 1650k|993238 | 0 | 0.0 | 735M| 405 | - | 623 |1641 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
748.95/749.27 c 706s| 1660k|998669 | 0 | 0.0 | 739M| 405 | - | 623 |1643 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
753.45/753.73 c 711s| 1670k| 1004k| 0 | 0.0 | 743M| 405 | - | 623 |1817 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
758.35/758.65 c 715s| 1680k| 1009k| 0 | 0.0 | 747M| 405 | - | 623 |1961 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
762.55/762.82 c 719s| 1690k| 1015k| 0 | 0.0 | 751M| 405 | - | 623 |1682 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
766.46/766.71 c 723s| 1700k| 1022k| 0 | 0.0 | 755M| 405 | - | 623 |1240 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
770.55/770.81 c 727s| 1710k| 1028k| 0 | 0.0 | 760M| 405 | - | 623 |1763 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
774.95/775.23 c 731s| 1720k| 1034k| 0 | 0.0 | 764M| 405 | - | 623 |1981 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
779.04/779.37 c 735s| 1730k| 1041k| 0 | 0.0 | 768M| 405 | - | 623 |1206 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
783.34/783.69 c 739s| 1740k| 1047k| 0 | 0.0 | 773M| 405 | - | 623 |1619 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
788.05/788.34 c 743s| 1750k| 1052k| 0 | 0.0 | 776M| 405 | - | 623 |1188 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
792.14/792.41 c 747s| 1760k| 1058k| 0 | 0.0 | 781M| 405 | - | 623 |1180 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
796.64/796.99 c 751s| 1770k| 1064k| 0 | 0.0 | 785M| 405 | - | 623 |1448 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
800.64/800.98 c 755s| 1780k| 1070k| 0 | 0.0 | 789M| 405 | - | 623 |1359 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
805.04/805.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.04/805.36 c 759s| 1790k| 1075k| 0 | 0.0 | 793M| 405 | - | 623 |1682 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
809.04/809.32 c 763s| 1800k| 1082k| 0 | 0.0 | 798M| 405 | - | 623 |1347 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
812.93/813.21 c 767s| 1810k| 1088k| 0 | 0.0 | 803M| 405 | - | 623 |1126 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
816.83/817.19 c 770s| 1820k| 1094k| 0 | 0.0 | 807M| 405 | - | 623 |1159 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
820.93/821.21 c 774s| 1830k| 1100k| 0 | 0.0 | 812M| 405 | - | 623 |1131 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
824.93/825.29 c 778s| 1840k| 1106k| 0 | 0.0 | 816M| 405 | - | 623 |1183 | 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
829.04/829.40 c 782s| 1850k| 1111k| 0 | 0.0 | 820M| 405 | - | 623 |1104 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
833.03/833.36 c 785s| 1860k| 1117k| 0 | 0.0 | 824M| 405 | - | 623 |1305 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
837.23/837.51 c 789s| 1870k| 1123k| 0 | 0.0 | 829M| 405 | - | 623 |1190 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
841.43/841.73 c 793s| 1880k| 1128k| 0 | 0.0 | 833M| 405 | - | 623 |1286 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
845.63/845.92 c 797s| 1890k| 1134k| 0 | 0.0 | 837M| 405 | - | 623 |1150 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
850.03/850.36 c 801s| 1900k| 1139k| 0 | 0.0 | 840M| 405 | - | 623 |1374 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
854.43/854.75 c 805s| 1910k| 1145k| 0 | 0.0 | 844M| 405 | - | 623 | 995 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
858.73/859.04 c 810s| 1920k| 1150k| 0 | 0.0 | 848M| 405 | - | 623 |1336 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
863.13/863.43 c 814s| 1930k| 1155k| 0 | 0.0 | 852M| 405 | - | 623 |1259 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
867.63/867.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.63/867.96 c 818s| 1940k| 1160k| 0 | 0.0 | 856M| 405 | - | 623 |1350 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
872.12/872.40 c 822s| 1950k| 1166k| 0 | 0.0 | 859M| 405 | - | 623 |1421 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
876.72/877.05 c 826s| 1960k| 1171k| 0 | 0.0 | 863M| 405 | - | 623 |1339 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
881.52/881.86 c 831s| 1970k| 1176k| 0 | 0.0 | 867M| 405 | - | 623 |1672 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
885.92/886.26 c 835s| 1980k| 1181k| 0 | 0.0 | 870M| 405 | - | 623 |1098 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
890.92/891.22 c 840s| 1990k| 1186k| 0 | 0.0 | 874M| 405 | - | 623 |1453 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
895.21/895.57 c 844s| 2000k| 1192k| 0 | 0.0 | 878M| 405 | - | 623 |1633 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
899.91/900.27 c 848s| 2010k| 1197k| 0 | 0.0 | 882M| 405 | - | 623 |1515 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
904.61/904.97 c 853s| 2020k| 1203k| 0 | 0.0 | 885M| 405 | - | 623 |1506 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
909.11/909.41 c 857s| 2030k| 1209k| 0 | 0.0 | 889M| 405 | - | 623 |1188 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
913.91/914.26 c 862s| 2040k| 1214k| 0 | 0.0 | 893M| 405 | - | 623 |1643 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
918.51/918.85 c 866s| 2050k| 1219k| 0 | 0.0 | 897M| 405 | - | 623 |1660 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
923.30/923.68 c 870s| 2060k| 1225k| 0 | 0.0 | 900M| 405 | - | 623 |1417 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
927.50/927.87 c 874s| 2070k| 1231k| 0 | 0.0 | 905M| 405 | - | 623 |1530 | 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
932.41/932.72 c 879s| 2080k| 1237k| 0 | 0.0 | 909M| 405 | - | 623 |1607 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
937.20/937.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.20/937.50 c 884s| 2090k| 1242k| 0 | 0.0 | 912M| 405 | - | 623 |1790 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
942.09/942.42 c 888s| 2100k| 1248k| 0 | 0.0 | 916M| 405 | - | 623 |1401 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
946.20/946.54 c 892s| 2110k| 1254k| 0 | 0.0 | 921M| 405 | - | 623 |1713 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
950.20/950.57 c 896s| 2120k| 1261k| 0 | 0.0 | 926M| 405 | - | 623 |1761 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
954.80/955.17 c 900s| 2130k| 1267k| 0 | 0.0 | 929M| 405 | - | 623 |1239 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
959.49/959.85 c 905s| 2140k| 1272k| 0 | 0.0 | 934M| 405 | - | 623 |1732 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
963.99/964.32 c 909s| 2150k| 1278k| 0 | 0.0 | 938M| 405 | - | 623 |1323 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
968.59/968.91 c 913s| 2160k| 1284k| 0 | 0.0 | 942M| 405 | - | 623 |1840 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
973.29/973.63 c 918s| 2170k| 1290k| 0 | 0.0 | 946M| 405 | - | 623 |1537 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
977.78/978.19 c 922s| 2180k| 1296k| 0 | 0.0 | 950M| 405 | - | 623 |1642 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
983.00/983.34 c 927s| 2190k| 1301k| 0 | 0.0 | 954M| 405 | - | 623 |1927 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
987.89/988.22 c 931s| 2200k| 1307k| 0 | 0.0 | 958M| 405 | - | 623 |1617 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
992.89/993.22 c 936s| 2210k| 1312k| 0 | 0.0 | 963M| 405 | - | 623 |2102 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
997.88/998.25 c 941s| 2220k| 1318k| 0 | 0.0 | 967M| 405 | - | 623 |1763 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1002.68/1003.09 c 945s| 2230k| 1324k| 0 | 0.0 | 971M| 405 | - | 623 |2023 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1007.68/1008.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.68/1008.07 c 950s| 2240k| 1330k| 0 | 0.0 | 975M| 405 | - | 623 |2270 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1012.79/1013.17 c 955s| 2250k| 1335k| 0 | 0.0 | 979M| 405 | - | 623 |1747 | 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1017.18/1017.52 c 959s| 2260k| 1342k| 0 | 0.0 | 984M| 405 | - | 623 |2211 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1022.27/1022.66 c 964s| 2270k| 1347k| 0 | 0.0 | 989M| 405 | - | 623 |2513 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1027.37/1027.72 c 969s| 2280k| 1353k| 0 | 0.0 | 992M| 405 | - | 623 |2019 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1032.48/1032.88 c 974s| 2290k| 1359k| 0 | 0.0 | 997M| 405 | - | 623 |2459 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1037.67/1038.04 c 979s| 2300k| 1364k| 0 | 0.0 |1001M| 405 | - | 623 |2312 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1043.07/1043.42 c 984s| 2310k| 1370k| 0 | 0.0 |1005M| 405 | - | 623 |2416 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1047.98/1048.40 c 988s| 2320k| 1376k| 0 | 0.0 |1010M| 405 | - | 623 |2991 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1053.77/1054.15 c 994s| 2330k| 1381k| 0 | 0.0 |1014M| 405 | - | 623 |2243 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1059.26/1059.64 c 999s| 2340k| 1387k| 0 | 0.0 |1018M| 405 | - | 623 |2792 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1065.07/1065.41 c 1005s| 2350k| 1392k| 0 | 0.0 |1022M| 405 | - | 623 |2494 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1070.67/1071.01 c 1010s| 2360k| 1397k| 0 | 0.0 |1026M| 405 | - | 623 |2553 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1076.66/1077.05 c 1016s| 2370k| 1402k| 0 | 0.0 |1029M| 405 | - | 623 |2333 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1082.46/1082.86 c 1021s| 2380k| 1406k| 0 | 0.0 |1033M| 405 | - | 623 |2360 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1088.76/1089.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.76/1089.19 c 1027s| 2390k| 1411k| 0 | 0.0 |1037M| 405 | - | 623 |2462 | 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1094.65/1095.00 c 1033s| 2400k| 1415k| 0 | 0.0 |1040M| 405 | - | 623 |1887 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1101.26/1101.63 c 1039s| 2410k| 1419k| 0 | 0.0 |1044M| 405 | - | 623 |2731 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1107.46/1107.81 c 1045s| 2420k| 1424k| 0 | 0.0 |1047M| 405 | - | 623 |2309 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1113.75/1114.14 c 1051s| 2430k| 1428k| 0 | 0.0 |1051M| 405 | - | 623 |2754 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1119.74/1120.16 c 1057s| 2440k| 1433k| 0 | 0.0 |1055M| 405 | - | 623 |2483 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1125.65/1126.09 c 1063s| 2450k| 1437k| 0 | 0.0 |1058M| 405 | - | 623 |2042 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1132.15/1132.59 c 1069s| 2460k| 1441k| 0 | 0.0 |1062M| 405 | - | 623 |2697 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1138.34/1138.79 c 1075s| 2470k| 1446k| 0 | 0.0 |1066M| 405 | - | 623 |2528 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1144.23/1144.65 c 1080s| 2480k| 1450k| 0 | 0.0 |1069M| 405 | - | 623 |2445 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1150.93/1151.33 c 1087s| 2490k| 1454k| 0 | 0.0 |1072M| 405 | - | 623 |2704 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1156.74/1157.14 c 1092s| 2500k| 1459k| 0 | 0.0 |1076M| 405 | - | 623 |2272 | 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1162.93/1163.35 c 1098s| 2510k| 1463k| 0 | 0.0 |1080M| 405 | - | 623 |2578 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1169.43/1169.84 c 1105s| 2520k| 1468k| 0 | 0.0 |1083M| 405 | - | 623 |2445 | 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1174.83/1175.23 c 1110s| 2530k| 1473k| 0 | 0.0 |1087M| 405 | - | 623 |1893 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1181.03/1181.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.03/1181.50 c 1116s| 2540k| 1477k| 0 | 0.0 |1090M| 405 | - | 623 |2541 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1187.42/1187.87 c 1122s| 2550k| 1481k| 0 | 0.0 |1094M| 405 | - | 623 |2699 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1193.03/1193.48 c 1127s| 2560k| 1486k| 0 | 0.0 |1098M| 405 | - | 623 |1982 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1199.82/1200.22 c 1134s| 2570k| 1490k| 0 | 0.0 |1101M| 405 | - | 623 |2931 | 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1205.82/1206.24 c 1139s| 2580k| 1495k| 0 | 0.0 |1105M| 405 | - | 623 |2476 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1210.82/1211.24 c 1144s| 2590k| 1500k| 0 | 0.0 |1108M| 405 | - | 623 |1679 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1217.81/1218.27 c 1151s| 2600k| 1503k| 0 | 0.0 |1111M| 405 | - | 623 |2576 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1224.12/1224.57 c 1157s| 2610k| 1508k| 0 | 0.0 |1115M| 405 | - | 623 |2595 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1229.21/1229.63 c 1162s| 2620k| 1513k| 0 | 0.0 |1119M| 405 | - | 623 |1918 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1235.81/1236.21 c 1168s| 2630k| 1517k| 0 | 0.0 |1122M| 405 | - | 623 |2563 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1242.20/1242.66 c 1174s| 2640k| 1521k| 0 | 0.0 |1125M| 405 | - | 623 |2323 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1248.30/1248.73 c 1180s| 2650k| 1525k| 0 | 0.0 |1128M| 405 | - | 623 |2187 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1254.50/1254.97 c 1186s| 2660k| 1529k| 0 | 0.0 |1132M| 405 | - | 623 |2331 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1259.80/1260.23 c 1191s| 2670k| 1534k| 0 | 0.0 |1135M| 405 | - | 623 |1692 | 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1265.50/1265.95 c 1196s| 2680k| 1539k| 0 | 0.0 |1139M| 405 | - | 623 |2252 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1270.90/1271.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.90/1271.35 c 1201s| 2690k| 1544k| 0 | 0.0 |1143M| 405 | - | 623 |2022 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1275.99/1276.40 c 1206s| 2700k| 1549k| 0 | 0.0 |1146M| 405 | - | 623 |1712 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1281.89/1282.33 c 1212s| 2710k| 1553k| 0 | 0.0 |1150M| 405 | - | 623 |2372 | 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1287.30/1287.77 c 1217s| 2720k| 1558k| 0 | 0.0 |1153M| 405 | - | 623 |1888 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1292.89/1293.37 c 1222s| 2730k| 1562k| 0 | 0.0 |1156M| 405 | - | 623 |1874 | 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1298.60/1299.04 c 1228s| 2740k| 1567k| 0 | 0.0 |1160M| 405 | - | 623 |2400 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1303.89/1304.37 c 1233s| 2750k| 1572k| 0 | 0.0 |1163M| 405 | - | 623 |1913 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1310.28/1310.78 c 1239s| 2760k| 1575k| 0 | 0.0 |1166M| 405 | - | 623 |2644 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1315.78/1316.23 c 1244s| 2770k| 1580k| 0 | 0.0 |1169M| 405 | - | 623 |1847 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1321.69/1322.18 c 1250s| 2780k| 1584k| 0 | 0.0 |1172M| 405 | - | 623 |2110 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1328.08/1328.51 c 1256s| 2790k| 1588k| 0 | 0.0 |1176M| 405 | - | 623 |2265 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1334.07/1334.57 c 1262s| 2800k| 1592k| 0 | 0.0 |1179M| 405 | - | 623 |2352 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1339.67/1340.15 c 1267s| 2810k| 1597k| 0 | 0.0 |1183M| 405 | - | 623 |2481 | 0 | 0 | 0 | 920k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1344.67/1345.17 c 1272s| 2820k| 1602k| 0 | 0.0 |1186M| 405 | - | 623 |2225 | 0 | 0 | 0 | 924k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1350.28/1350.77 c 1277s| 2830k| 1606k| 0 | 0.0 |1190M| 405 | - | 623 |2185 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1355.37/1355.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.37/1355.83 c 1282s| 2840k| 1611k| 0 | 0.0 |1194M| 405 | - | 623 |2198 | 0 | 0 | 0 | 932k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1360.47/1360.92 c 1287s| 2850k| 1616k| 0 | 0.0 |1198M| 405 | - | 623 |1832 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1365.16/1365.67 c 1291s| 2860k| 1622k| 0 | 0.0 |1202M| 405 | - | 623 |2023 | 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1370.26/1370.74 c 1296s| 2870k| 1627k| 0 | 0.0 |1206M| 405 | - | 623 |1691 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1374.86/1375.32 c 1300s| 2880k| 1632k| 0 | 0.0 |1210M| 405 | - | 623 |2224 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1380.16/1380.68 c 1306s| 2890k| 1637k| 0 | 0.0 |1214M| 405 | - | 623 |2466 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1384.76/1385.24 c 1310s| 2900k| 1643k| 0 | 0.0 |1218M| 405 | - | 623 |2495 | 0 | 0 | 0 | 955k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1389.75/1390.24 c 1315s| 2910k| 1648k| 0 | 0.0 |1222M| 405 | - | 623 |2343 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1394.05/1394.51 c 1319s| 2920k| 1655k| 0 | 0.0 |1227M| 405 | - | 623 |2570 | 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1399.45/1399.99 c 1324s| 2930k| 1659k| 0 | 0.0 |1231M| 405 | - | 623 |2405 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1404.66/1405.12 c 1329s| 2940k| 1664k| 0 | 0.0 |1235M| 405 | - | 623 |2260 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1408.95/1409.40 c 1333s| 2950k| 1670k| 0 | 0.0 |1240M| 405 | - | 623 |2371 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1413.45/1413.97 c 1337s| 2960k| 1676k| 0 | 0.0 |1244M| 405 | - | 623 |2351 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1418.05/1418.56 c 1341s| 2970k| 1682k| 0 | 0.0 |1249M| 405 | - | 623 |2090 | 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1421.55/1422.05 c 1345s| 2980k| 1689k| 0 | 0.0 |1254M| 405 | - | 623 |1767 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1425.06/1425.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.06/1425.55 c 1348s| 2990k| 1697k| 0 | 0.0 |1260M| 405 | - | 623 |1543 | 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1428.74/1429.23 c 1351s| 3000k| 1704k| 0 | 0.0 |1265M| 405 | - | 623 |1901 | 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1432.35/1432.88 c 1355s| 3010k| 1711k| 0 | 0.0 |1270M| 405 | - | 623 |1798 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1436.54/1437.00 c 1358s| 3020k| 1717k| 0 | 0.0 |1275M| 405 | - | 623 |1949 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1440.84/1441.30 c 1362s| 3030k| 1723k| 0 | 0.0 |1280M| 405 | - | 623 |1648 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1444.65/1445.10 c 1366s| 3040k| 1730k| 0 | 0.0 |1285M| 405 | - | 623 |2103 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1448.54/1449.04 c 1370s| 3050k| 1736k| 0 | 0.0 |1290M| 405 | - | 623 |1878 | 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1452.43/1452.91 c 1373s| 3060k| 1743k| 0 | 0.0 |1295M| 405 | - | 623 |1950 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1456.83/1457.33 c 1377s| 3070k| 1748k| 0 | 0.0 |1299M| 405 | - | 623 |1491 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1460.93/1461.46 c 1381s| 3080k| 1754k| 0 | 0.0 |1303M| 405 | - | 623 |1565 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1464.73/1465.24 c 1385s| 3090k| 1761k| 0 | 0.0 |1308M| 405 | - | 623 |1602 | 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1469.14/1469.65 c 1389s| 3100k| 1766k| 0 | 0.0 |1312M| 405 | - | 623 |1227 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1472.73/1473.24 c 1392s| 3110k| 1773k| 0 | 0.0 |1318M| 405 | - | 623 |1205 | 0 | 0 | 0 |1011k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1476.23/1476.78 c 1396s| 3120k| 1779k| 0 | 0.0 |1323M| 405 | - | 623 |1389 | 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1479.63/1480.19 c 1399s| 3130k| 1786k| 0 | 0.0 |1328M| 405 | - | 623 |1420 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1483.23/1483.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.23/1483.79 c 1402s| 3140k| 1793k| 0 | 0.0 |1333M| 405 | - | 623 |1337 | 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1486.73/1487.23 c 1405s| 3150k| 1800k| 0 | 0.0 |1339M| 405 | - | 623 |1298 | 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1490.03/1490.52 c 1408s| 3160k| 1808k| 0 | 0.0 |1344M| 405 | - | 623 |1227 | 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1493.23/1493.73 c 1411s| 3170k| 1815k| 0 | 0.0 |1350M| 405 | - | 623 |1203 | 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1496.42/1496.99 c 1414s| 3180k| 1823k| 0 | 0.0 |1356M| 405 | - | 623 |1062 | 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1498.02/1498.57 c (node 3184890) switching to memory saving mode (mem: 1296.0M/1620.0M)
1510.71/1511.29 o 3
1510.71/1511.29 c *1428s| 3185k|118925 | 0 | 0.0 | 163M| 405 | - | 623 |1525 | 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1510.71/1511.29 c (node 3185638) switching to standard mode (mem: 155.7M/1620.0M)
1512.92/1513.47 c
1512.92/1513.47 c SCIP Status : problem is solved [optimal solution found]
1512.92/1513.47 c Solving Time (sec) : 1430.31
1512.92/1513.47 c Solving Nodes : 3185639
1512.92/1513.47 c Primal Bound : +3.00000000000000e+00 (2 solutions)
1512.92/1513.47 c Dual Bound : +3.00000000000000e+00
1512.92/1513.47 c Gap : 0.00 %
1512.92/1513.47 s OPTIMUM FOUND
1512.92/1513.47 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x126 -x125 -x124 -x123
1512.92/1513.47 v -x122 -x121 -x120 -x119 x118 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
1512.92/1513.47 v x109 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x153 -x152
1512.92/1513.47 v -x151 -x150 -x149 -x148 x147 -x146 x145 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x144 -x143 -x142 -x141 -x140 -x139 x138
1512.92/1513.47 v x137 -x136 -x90 x89 x88 -x87 -x86 -x85 x84 -x83 x82 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 x81 x80 x79 -x78
1512.92/1513.47 v x77 -x76 -x75 x74 x73 -x72 x71 x70 x69 x68 x67 x66 -x65 x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50
1512.92/1513.47 v -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 -x27 -x26 -x25 -x24
1512.92/1513.47 v -x23 -x22 x21 x20 x19 x18 x17 x16 x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1512.92/1513.47 c SCIP Status : problem is solved [optimal solution found]
1512.92/1513.47 c Solving Time : 1430.31
1512.92/1513.47 c Original Problem :
1512.92/1513.47 c Problem name : HOME/instance-2663640-1276648918.opb
1512.92/1513.47 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1512.92/1513.47 c Constraints : 582 initial, 582 maximal
1512.92/1513.47 c Presolved Problem :
1512.92/1513.47 c Problem name : t_HOME/instance-2663640-1276648918.opb
1512.92/1513.47 c Variables : 623 (623 binary, 0 integer, 0 implicit integer, 0 continuous)
1512.92/1513.47 c Constraints : 463 initial, 4416 maximal
1512.92/1513.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1512.92/1513.47 c trivial : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c dualfix : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c boundshift : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c implics : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c probing : 0.03 0 0 0 0 0 0 0 0
1512.92/1513.47 c and : 0.09 14 112 0 0 0 112 0 112
1512.92/1513.47 c linear : 0.00 1 6 0 0 0 0 0 56
1512.92/1513.47 c logicor : 0.00 0 0 0 0 0 0 0 0
1512.92/1513.47 c root node : - 71 - - 71 - - - -
1512.92/1513.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1512.92/1513.47 c integral : 0 0 0 0 0 0 0 0 0 0
1512.92/1513.47 c and : 448 0 7757790 0 2708183 84243 13631881 0 0 0
1512.92/1513.47 c linear : 7 0 7673548 0 2708183 702906 5705906 0 0 0
1512.92/1513.47 c logicor : 8+ 0 3172454 0 2708035 17250 760743 0 0 0
1512.92/1513.47 c countsols : 0 0 0 0 2708185 0 0 0 0 0
1512.92/1513.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1512.92/1513.47 c integral : 0.00 0.00 0.00 0.00 0.00
1512.92/1513.47 c and : 173.69 0.00 115.65 0.00 58.04
1512.92/1513.47 c linear : 440.95 0.00 439.10 0.00 1.85
1512.92/1513.47 c logicor : 147.81 0.00 142.42 0.00 5.39
1512.92/1513.47 c countsols : 1.07 0.00 0.00 0.00 1.07
1512.92/1513.47 c Propagators : Time Calls Cutoffs DomReds
1512.92/1513.47 c vbounds : 3.97 2 0 0
1512.92/1513.47 c rootredcost : 3.82 0 0 0
1512.92/1513.47 c pseudoobj : 9.85 7757398 22 364
1512.92/1513.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1512.92/1513.47 c propagation : 267.85 804414 802529 10622007 70.6 40845 66.6 -
1512.92/1513.47 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1512.92/1513.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1512.92/1513.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1512.92/1513.47 c pseudo solution : 0.00 1 1 1 0.0 0 0.0 -
1512.92/1513.47 c applied globally : - - - 971729 33.7 - - -
1512.92/1513.47 c applied locally : - - - 53832 73.2 - - -
1512.92/1513.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1512.92/1513.47 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1512.92/1513.47 c redcost : 0.00 0 0 0 0 0
1512.92/1513.47 c impliedbounds : 0.00 0 0 0 0 0
1512.92/1513.47 c intobj : 0.00 0 0 0 0 0
1512.92/1513.47 c cgmip : 0.00 0 0 0 0 0
1512.92/1513.47 c gomory : 0.00 0 0 0 0 0
1512.92/1513.47 c strongcg : 0.00 0 0 0 0 0
1512.92/1513.47 c cmir : 0.00 0 0 0 0 0
1512.92/1513.47 c flowcover : 0.00 0 0 0 0 0
1512.92/1513.47 c clique : 0.00 0 0 0 0 0
1512.92/1513.47 c zerohalf : 0.00 0 0 0 0 0
1512.92/1513.47 c mcf : 0.00 0 0 0 0 0
1512.92/1513.47 c rapidlearning : 0.00 0 0 0 0 0
1512.92/1513.47 c Pricers : Time Calls Vars
1512.92/1513.47 c problem variables: 0.00 0 0
1512.92/1513.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1512.92/1513.47 c relpscost : 0.00 0 0 0 0 0 0
1512.92/1513.47 c pscost : 0.00 0 0 0 0 0 0
1512.92/1513.47 c inference : 173.95 2708183 0 0 0 0 5416366
1512.92/1513.47 c mostinf : 0.00 0 0 0 0 0 0
1512.92/1513.47 c leastinf : 0.00 0 0 0 0 0 0
1512.92/1513.47 c fullstrong : 0.00 0 0 0 0 0 0
1512.92/1513.47 c allfullstrong : 0.00 0 0 0 0 0 0
1512.92/1513.47 c random : 0.00 0 0 0 0 0 0
1512.92/1513.47 c Primal Heuristics : Time Calls Found
1512.92/1513.47 c LP solutions : 0.00 - 0
1512.92/1513.47 c pseudo solutions : 11.25 - 2
1512.92/1513.47 c oneopt : 2.46 0 0
1512.92/1513.47 c trivial : 0.00 2 0
1512.92/1513.47 c simplerounding : 0.00 0 0
1512.92/1513.47 c zirounding : 0.00 0 0
1512.92/1513.47 c rounding : 0.00 0 0
1512.92/1513.47 c shifting : 0.00 0 0
1512.92/1513.47 c intshifting : 0.00 0 0
1512.92/1513.47 c twoopt : 0.00 0 0
1512.92/1513.47 c fixandinfer : 0.00 0 0
1512.92/1513.47 c feaspump : 0.00 0 0
1512.92/1513.47 c coefdiving : 0.00 0 0
1512.92/1513.47 c pscostdiving : 0.00 0 0
1512.92/1513.47 c fracdiving : 0.00 0 0
1512.92/1513.47 c veclendiving : 0.00 0 0
1512.92/1513.47 c intdiving : 0.00 0 0
1512.92/1513.47 c actconsdiving : 0.00 0 0
1512.92/1513.47 c objpscostdiving : 0.00 0 0
1512.92/1513.47 c rootsoldiving : 0.00 0 0
1512.92/1513.47 c linesearchdiving : 0.00 0 0
1512.92/1513.47 c guideddiving : 0.00 0 0
1512.92/1513.47 c octane : 0.00 0 0
1512.92/1513.47 c rens : 0.00 0 0
1512.92/1513.47 c rins : 0.00 0 0
1512.92/1513.47 c localbranching : 0.00 0 0
1512.92/1513.47 c mutation : 0.00 0 0
1512.92/1513.47 c crossover : 0.00 0 0
1512.92/1513.47 c dins : 0.00 0 0
1512.92/1513.47 c undercover : 0.00 0 0
1512.92/1513.47 c nlp : 1.62 0 0
1512.92/1513.47 c trysol : 1.46 0 0
1512.92/1513.47 c LP : Time Calls Iterations Iter/call Iter/sec
1512.92/1513.47 c primal LP : 0.00 0 0 0.00 -
1512.92/1513.47 c dual LP : 0.00 0 0 0.00 -
1512.92/1513.47 c lex dual LP : 0.00 0 0 0.00 -
1512.92/1513.47 c barrier LP : 0.00 0 0 0.00 -
1512.92/1513.47 c diving/probing LP: 0.00 0 0 0.00 -
1512.92/1513.47 c strong branching : 0.00 0 0 0.00 -
1512.92/1513.47 c (at root node) : - 0 0 0.00 -
1512.92/1513.47 c conflict analysis: 0.00 0 0 0.00 -
1512.92/1513.47 c B&B Tree :
1512.92/1513.47 c number of runs : 1
1512.92/1513.47 c nodes : 3185639
1512.92/1513.47 c nodes (total) : 3185639
1512.92/1513.47 c nodes left : 0
1512.92/1513.47 c max depth : 405
1512.92/1513.47 c max depth (total): 405
1512.92/1513.47 c backtracks : 352611 (11.1%)
1512.92/1513.47 c delayed cutoffs : 519882
1512.92/1513.47 c repropagations : 955764 (3126677 domain reductions, 326968 cutoffs)
1512.92/1513.47 c avg switch length: 8.40
1512.92/1513.47 c switching time : 314.74
1512.92/1513.47 c Solution :
1512.92/1513.47 c Solutions found : 2 (2 improvements)
1512.92/1513.47 c First Solution : +5.00000000000000e+00 (in run 1, after 788260 nodes, 376.13 seconds, depth 272, found by <relaxation>)
1512.92/1513.47 c Primal Bound : +3.00000000000000e+00 (in run 1, after 3185638 nodes, 1417.13 seconds, depth 354, found by <relaxation>)
1512.92/1513.47 c Dual Bound : +3.00000000000000e+00
1512.92/1513.47 c Gap : 0.00 %
1512.92/1513.47 c Root Dual Bound : +1.00000000000000e+00
1512.92/1513.47 c Root Iterations : 0
1513.02/1513.55 c Time complete: 1513.07.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663640-1276648918/watcher-2663640-1276648918 -o /tmp/evaluation-result-2663640-1276648918/solver-2663640-1276648918 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663640-1276648918.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.94 1.00 0.99 3/106 7617 /proc/meminfo: memFree=1801948/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=6584 CPUtime=0 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 40493085 6742016 886 1992294400 4194304 7136930 140737096419248 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7617/statm: 1646 896 254 719 0 925 0 [startup+0.0386641 s] /proc/loadavg: 0.94 1.00 0.99 3/106 7617 /proc/meminfo: memFree=1801948/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=12060 CPUtime=0.03 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 2909 0 0 0 2 1 0 0 20 0 1 0 40493085 12349440 2221 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 3015 2221 328 719 0 2294 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12060 [startup+0.100669 s] /proc/loadavg: 0.94 1.00 0.99 3/106 7617 /proc/meminfo: memFree=1801948/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=12060 CPUtime=0.09 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 2909 0 0 0 4 5 0 0 20 0 1 0 40493085 12349440 2221 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 3015 2221 328 719 0 2294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12060 [startup+0.300688 s] /proc/loadavg: 0.94 1.00 0.99 3/106 7617 /proc/meminfo: memFree=1801948/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=13880 CPUtime=0.29 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 7545 0 0 0 19 10 0 0 20 0 1 0 40493085 14213120 2745 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 3470 2745 389 719 0 2749 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13880 [startup+0.700725 s] /proc/loadavg: 0.94 1.00 0.99 3/106 7617 /proc/meminfo: memFree=1801948/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=15056 CPUtime=0.69 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 7864 0 0 0 55 14 0 0 21 0 1 0 40493085 15417344 3064 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 3764 3064 394 719 0 3043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15056 [startup+1.5008 s] /proc/loadavg: 0.94 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1790160/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=17636 CPUtime=1.49 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 8496 0 0 0 129 20 0 0 23 0 1 0 40493085 18059264 3696 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 4409 3696 394 719 0 3688 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17636 [startup+3.10095 s] /proc/loadavg: 0.94 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1787060/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=20848 CPUtime=3.09 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 9300 0 0 0 278 31 0 0 25 0 1 0 40493085 21348352 4500 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 5212 4500 394 719 0 4491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20848 [startup+6.30025 s] /proc/loadavg: 0.94 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1781232/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=26724 CPUtime=6.29 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 10814 0 0 0 576 53 0 0 25 0 1 0 40493085 27365376 6014 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 6681 6014 394 719 0 5960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26724 [startup+12.7018 s] /proc/loadavg: 0.95 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1768832/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=36780 CPUtime=12.68 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 13357 0 0 0 1171 97 0 0 25 0 1 0 40493085 37662720 8557 1992294400 4194304 7136930 140737096419248 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 9195 8557 394 719 0 8474 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36780 [startup+25.501 s] /proc/loadavg: 0.96 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1754200/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=51516 CPUtime=25.48 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 17115 0 0 0 2365 183 0 0 25 0 1 0 40493085 52752384 12315 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 12879 12315 394 719 0 12158 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51516 [startup+51.1004 s] /proc/loadavg: 0.97 1.00 0.99 2/107 7618 /proc/meminfo: memFree=1721588/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=85248 CPUtime=51.07 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 25161 0 0 0 4772 335 0 0 25 0 1 0 40493085 87293952 20361 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 21312 20361 394 719 0 20591 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85248 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7620 /proc/meminfo: memFree=1674840/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=130936 CPUtime=102.26 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 36728 0 0 0 9635 591 0 0 25 0 1 0 40493085 134078464 31928 1992294400 4194304 7136930 140737096419248 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 32734 31928 394 719 0 32013 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 130936 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7622 /proc/meminfo: memFree=1605152/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=202868 CPUtime=162.24 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 54071 0 0 0 15274 950 0 0 25 0 1 0 40493085 207736832 49271 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 50717 49271 394 719 0 49996 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 202868 [startup+222.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7624 /proc/meminfo: memFree=1547368/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=259380 CPUtime=222.22 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 68490 0 0 0 20954 1268 0 0 25 0 1 0 40493085 265605120 63690 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 64845 63690 394 719 0 64124 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 259380 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7626 /proc/meminfo: memFree=1498512/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=307808 CPUtime=282.2 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 80760 0 0 0 26693 1527 0 0 25 0 1 0 40493085 315195392 75960 1992294400 4194304 7136930 140737096419248 18446744073709551615 5918773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 76952 75960 394 719 0 76231 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 307808 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7626 /proc/meminfo: memFree=1461064/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=344004 CPUtime=342.18 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 89969 0 0 0 32436 1782 0 0 25 0 1 0 40493085 352260096 85169 1992294400 4194304 7136930 140737096419248 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 86001 85169 394 719 0 85280 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 344004 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7628 /proc/meminfo: memFree=1421384/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=384184 CPUtime=402.16 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 100158 0 0 0 38138 2078 0 0 25 0 1 0 40493085 393404416 95358 1992294400 4194304 7136930 140737096419248 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 96046 95358 394 719 0 95325 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 384184 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7630 /proc/meminfo: memFree=1329376/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=480888 CPUtime=462.14 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 122791 0 0 0 43718 2496 0 0 25 0 1 0 40493085 492429312 117991 1992294400 4194304 7136930 140737096419248 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 120222 117991 394 719 0 119501 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 480888 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7632 /proc/meminfo: memFree=1272708/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=537940 CPUtime=522.12 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 137331 0 0 0 49363 2849 0 0 25 0 1 0 40493085 550850560 132531 1992294400 4194304 7136930 140737096419248 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 134485 132531 394 719 0 133764 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 537940 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7634 /proc/meminfo: memFree=1192232/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=615456 CPUtime=582.1 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 157174 0 0 0 54952 3258 0 0 25 0 1 0 40493085 630226944 152374 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 153864 152374 394 719 0 153143 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 615456 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7634 /proc/meminfo: memFree=1114980/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=689816 CPUtime=642.09 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 176200 0 0 0 60564 3645 0 0 25 0 1 0 40493085 706371584 171400 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 172454 171400 394 719 0 171733 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 689816 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=880372/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=935256 CPUtime=882.02 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 234706 0 0 0 83144 5058 0 0 25 0 1 0 40493085 957702144 229906 1992294400 4194304 7136930 140737096419248 18446744073709551615 4240564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 233814 229906 394 719 0 233093 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 935256 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7642 /proc/meminfo: memFree=834740/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=980532 CPUtime=941.99 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 246294 0 0 0 88806 5393 0 0 25 0 1 0 40493085 1004064768 241494 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 245133 241494 394 719 0 244412 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 980532 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7644 /proc/meminfo: memFree=776088/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1036500 CPUtime=1001.98 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 260608 0 0 0 94472 5726 0 0 25 0 1 0 40493085 1061376000 255808 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 259125 255808 394 719 0 258404 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1036500 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7646 /proc/meminfo: memFree=726364/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1085796 CPUtime=1061.96 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 273149 0 0 0 100175 6021 0 0 25 0 1 0 40493085 1111855104 268349 1992294400 4194304 7136930 140737096419248 18446744073709551615 5924416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 271449 268349 394 719 0 270728 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1085796 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7648 /proc/meminfo: memFree=692140/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1118560 CPUtime=1121.95 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 281511 0 0 0 105911 6284 0 0 25 0 1 0 40493085 1145405440 276711 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 279640 276711 394 719 0 278919 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1118560 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7659 /proc/meminfo: memFree=653080/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1157456 CPUtime=1181.92 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 291413 0 0 0 111642 6550 0 0 25 0 1 0 40493085 1185234944 286613 1992294400 4194304 7136930 140737096419248 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 289364 286613 394 719 0 288643 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1157456 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7659 /proc/meminfo: memFree=615260/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1193324 CPUtime=1241.9 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 300588 0 0 0 117383 6807 0 0 25 0 1 0 40493085 1221963776 295788 1992294400 4194304 7136930 140737096419248 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 298331 295788 394 719 0 297610 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1193324 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7661 /proc/meminfo: memFree=577316/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1230548 CPUtime=1301.89 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 310039 0 0 0 123100 7089 0 0 25 0 1 0 40493085 1260081152 305239 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 307637 305239 394 719 0 306916 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1230548 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7663 /proc/meminfo: memFree=539868/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1267280 CPUtime=1361.87 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 319414 0 0 0 128818 7369 0 0 25 0 1 0 40493085 1297694720 314614 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 316820 314614 394 719 0 316099 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1267280 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7665 /proc/meminfo: memFree=481216/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1325952 CPUtime=1421.86 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 334375 0 0 0 134481 7705 0 0 25 0 1 0 40493085 1357774848 329575 1992294400 4194304 7136930 140737096419248 18446744073709551615 5918656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 331488 329575 394 719 0 330767 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1325952 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=408552/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1396952 CPUtime=1481.82 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 352503 0 0 0 140069 8113 0 0 25 0 1 0 40493085 1430478848 347703 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 349238 347703 394 719 0 348517 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1396952 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=404212/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1403004 CPUtime=1484.23 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 354035 0 0 0 140291 8132 0 0 25 0 1 0 40493085 1436676096 349235 1992294400 4194304 7136930 140737096419248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 350751 349235 394 719 0 350030 0 Current children cumulated CPU time (s) 1484.23 Current children cumulated vsize (KiB) 1403004 [startup+1497.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=380652/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1423124 CPUtime=1497.02 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 359192 0 0 0 141474 8228 0 0 25 0 1 0 40493085 1457278976 354392 1992294400 4194304 7136930 140737096419248 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 355781 354392 394 719 0 355060 0 Current children cumulated CPU time (s) 1497.02 Current children cumulated vsize (KiB) 1423124 [startup+1503.9 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=378048/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1425212 CPUtime=1503.42 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 366844 0 0 0 142099 8243 0 0 25 0 1 0 40493085 1459417088 354905 1992294400 4194304 7136930 140737096419248 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 356303 354905 394 719 0 355582 0 Current children cumulated CPU time (s) 1503.42 Current children cumulated vsize (KiB) 1425212 [startup+1510.31 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=378792/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1422372 CPUtime=1509.83 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 366844 0 0 0 142740 8243 0 0 25 0 1 0 40493085 1456508928 354195 1992294400 4194304 7136930 140737096419248 18446744073709551615 6166159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 355593 354195 394 719 0 354872 0 Current children cumulated CPU time (s) 1509.83 Current children cumulated vsize (KiB) 1422372 [startup+1511.9 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=579424/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1182896 CPUtime=1511.41 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 367312 0 0 0 142891 8250 0 0 25 0 1 0 40493085 1211285504 294824 1992294400 4194304 7136930 140737096419248 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 295724 294824 395 719 0 295003 0 Current children cumulated CPU time (s) 1511.41 Current children cumulated vsize (KiB) 1182896 [startup+1512.7 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=657916/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=1071428 CPUtime=1512.21 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 367312 0 0 0 142964 8257 0 0 25 0 1 0 40493085 1097142272 266957 1992294400 4194304 7136930 140737096419248 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 267857 266957 395 719 0 267136 0 Current children cumulated CPU time (s) 1512.21 Current children cumulated vsize (KiB) 1071428 [startup+1513.1 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=657916/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=971468 CPUtime=1512.62 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 367312 0 0 0 143001 8261 0 0 25 0 1 0 40493085 994783232 241968 1992294400 4194304 7136930 140737096419248 18446744073709551615 6165646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7617/statm: 242867 241968 395 719 0 242146 0 Current children cumulated CPU time (s) 1512.62 Current children cumulated vsize (KiB) 971468 [startup+1513.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7667 /proc/meminfo: memFree=1398320/2059040 swapFree=4135932/4192956 [pid=7617] ppid=7615 vsize=360808 CPUtime=1513.02 /proc/7617/stat : 7617 (pbscip.linux.x8) R 7615 7617 7202 0 -1 4202496 367318 0 0 0 143033 8269 0 0 25 0 1 0 40493085 369467392 89616 1992294400 4194304 7136930 140737096419248 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7617/statm: 90202 89519 401 719 0 89481 0 Current children cumulated CPU time (s) 1513.02 Current children cumulated vsize (KiB) 360808 Child status: 0 Real time (s): 1513.55 CPU time (s): 1513.08 CPU user time (s): 1430.34 CPU system time (s): 82.7384 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1456072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1430.34 system time used= 82.7384 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367324 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= 2 involuntary context switches= 16886 runsolver used 2.57561 second user time and 7.09992 second system time The end
Begin job on node015 at 2010-06-16 02:41:58 IDJOB=2663640 IDBENCH=48013 IDSOLVER=1167 FILE ID=node015/2663640-1276648918 PBS_JOBID= 11172434 Free space on /tmp= 62584 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=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-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-2663640-1276648918/watcher-2663640-1276648918 -o /tmp/evaluation-result-2663640-1276648918/solver-2663640-1276648918 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663640-1276648918.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9de8f37e65dc0eaf693e157cab5aa725 RANDOM SEED=407823233 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802476 kB Buffers: 72480 kB Cached: 104372 kB SwapCached: 10856 kB Active: 100864 kB Inactive: 90224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802476 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 3272 kB Writeback: 8 kB AnonPages: 12724 kB Mapped: 9340 kB Slab: 43640 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181856 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-16 03:07:11