Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPTIMUM | 1648.5 | 1648.47 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo |
| MD5SUM | f0f1b4bd1941524addf8f99056f86f1e |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 0.000999 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 237 |
| Total number of constraints | 197 |
| Number of soft constraints | 197 |
| Number of constraints which are clauses | 123 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 74 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 10122 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10121 |
| Biggest number in a constraint | 772 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2305 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692503-1277931721.wbo>
0.00/0.00 c original problem has 631 variables (434 bin, 0 int, 0 impl, 197 cont) and 395 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 10121
0.00/0.01 c feasible solution found by trivial heuristic, objective value 1.012100e+04
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 197 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 197 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 197 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 197 chg bounds, 39 chg sides, 78 chg coeffs, 1 upgd conss, 197 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 172/434 (39.6%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 1 deleted constraints, 197 tightened bounds, 0 added holes, 39 changed sides, 78 changed coefficients
0.00/0.02 c 200 implications, 0 cliques
0.00/0.02 c presolved problem has 631 variables (434 bin, 0 int, 0 impl, 197 cont) and 394 constraints
0.00/0.02 c 197 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 196 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c t 0.0s| 1 | 0 | 0 | - |1998k| 0 | 0 | 631 | 394 | 631 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.012100e+04 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 38 | - |2042k| 0 | 33 | 631 | 394 | 631 | 38 | 38 | 0 | 0 | 0.000000e+00 | 1.012100e+04 | Inf
0.00/0.02 o 10029
0.00/0.02 c y 0.0s| 1 | 0 | 38 | - |2054k| 0 | 33 | 631 | 394 | 631 | 38 | 38 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 80 | - |2110k| 0 | 30 | 631 | 394 | 631 | 83 | 83 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 146 | - |2160k| 0 | 56 | 631 | 394 | 631 | 118 | 118 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 196 | - |2241k| 0 | 48 | 631 | 394 | 631 | 149 | 149 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.00/0.05 c 0.1s| 1 | 0 | 235 | - |2283k| 0 | 48 | 631 | 394 | 631 | 172 | 172 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.06/0.06 c 0.1s| 1 | 0 | 270 | - |2313k| 0 | 55 | 631 | 394 | 631 | 186 | 186 | 0 | 0 | 0.000000e+00 | 1.002900e+04 | Inf
0.09/0.14 c 0.1s| 1 | 2 | 338 | - |2329k| 0 | 55 | 631 | 394 | 631 | 186 | 186 | 0 | 33 | 0.000000e+00 | 1.002900e+04 | Inf
4.09/4.20 c 4.0s| 10000 | 10001 | 11258 | 1.1 |9420k| 141 | 0 | 631 | 394 | 631 | 127 | 442 | 0 |1041 | 0.000000e+00 | 1.002900e+04 | Inf
7.29/7.36 c 7.1s| 20000 | 19997 | 19093 | 0.9 | 15M| 141 | 0 | 631 | 398 | 631 | 124 | 677 | 4 |1070 | 0.000000e+00 | 1.002900e+04 | Inf
10.59/10.65 c 10.2s| 30000 | 29991 | 27501 | 0.9 | 22M| 141 | 0 | 631 | 402 | 631 | 131 |1449 | 8 |1082 | 0.000000e+00 | 1.002900e+04 | Inf
13.89/13.95 c 13.4s| 40000 | 39991 | 35132 | 0.9 | 28M| 141 | 0 | 631 | 402 | 631 | 126 |2436 | 8 |1091 | 0.000000e+00 | 1.002900e+04 | Inf
17.19/17.26 c 16.6s| 50000 | 49989 | 43684 | 0.9 | 35M| 151 | 0 | 631 | 403 | 631 | 132 |3503 | 9 |1094 | 0.000000e+00 | 1.002900e+04 | Inf
20.49/20.58 c 19.8s| 60000 | 59989 | 51951 | 0.9 | 41M| 151 | 1 | 631 | 403 | 631 | 134 |4525 | 9 |1103 | 0.000000e+00 | 1.002900e+04 | Inf
23.89/23.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.89/23.90 c 23.0s| 70000 | 69989 | 60552 | 0.9 | 48M| 151 | 0 | 631 | 402 | 631 | 132 |5577 | 9 |1123 | 0.000000e+00 | 1.002900e+04 | Inf
27.19/27.22 c 26.2s| 80000 | 79989 | 68314 | 0.9 | 54M| 151 | 0 | 631 | 401 | 631 | 132 |6655 | 9 |1127 | 0.000000e+00 | 1.002900e+04 | Inf
30.49/30.52 c 29.3s| 90000 | 89989 | 76316 | 0.8 | 61M| 151 | 0 | 631 | 401 | 631 | 125 |7707 | 9 |1144 | 0.000000e+00 | 1.002900e+04 | Inf
33.79/33.83 c 32.5s|100000 | 99989 | 84500 | 0.8 | 67M| 151 | 0 | 631 | 401 | 631 | 133 |8796 | 10 |1185 | 0.000000e+00 | 1.002900e+04 | Inf
37.08/37.18 c 35.7s|110000 |109989 | 93320 | 0.8 | 74M| 151 | 0 | 631 | 400 | 631 | 129 |9881 | 10 |1244 | 0.000000e+00 | 1.002900e+04 | Inf
40.49/40.58 c 39.0s|120000 |119989 |103384 | 0.9 | 80M| 151 | 0 | 631 | 399 | 631 | 132 | 10k| 10 |1358 | 0.000000e+00 | 1.002900e+04 | Inf
43.99/44.01 c 42.3s|130000 |129989 |114463 | 0.9 | 86M| 151 | 0 | 631 | 399 | 631 | 131 | 12k| 10 |1430 | 0.000000e+00 | 1.002900e+04 | Inf
47.39/47.40 c 45.6s|140000 |139989 |124584 | 0.9 | 93M| 151 | 0 | 631 | 398 | 631 | 135 | 13k| 10 |1501 | 0.000000e+00 | 1.002900e+04 | Inf
50.79/50.85 c 48.9s|150000 |149989 |136869 | 0.9 | 99M| 151 | 0 | 631 | 396 | 631 | 135 | 14k| 10 |1621 | 0.000000e+00 | 1.002900e+04 | Inf
54.18/54.22 c 52.1s|160000 |159989 |146653 | 0.9 | 106M| 151 | 0 | 631 | 396 | 631 | 134 | 15k| 10 |1675 | 0.000000e+00 | 1.002900e+04 | Inf
57.58/57.64 c 55.4s|170000 |169987 |158558 | 0.9 | 112M| 151 | 0 | 631 | 397 | 631 | 125 | 17k| 11 |1788 | 0.000000e+00 | 1.002900e+04 | Inf
60.89/60.96 c 58.6s|180000 |179987 |167884 | 0.9 | 119M| 151 | 0 | 631 | 396 | 631 | 132 | 18k| 11 |1822 | 0.000000e+00 | 1.002900e+04 | Inf
64.19/64.26 c 61.8s|190000 |189987 |175559 | 0.9 | 125M| 151 | 0 | 631 | 396 | 631 | 134 | 19k| 11 |1836 | 0.000000e+00 | 1.002900e+04 | Inf
67.49/67.56 c 65.0s|200000 |199987 |183232 | 0.9 | 131M| 151 | 0 | 631 | 396 | 631 | 136 | 20k| 11 |1854 | 0.000000e+00 | 1.002900e+04 | Inf
70.78/70.88 c 68.2s|210000 |209987 |191337 | 0.9 | 138M| 151 | 0 | 631 | 396 | 631 | 131 | 21k| 11 |1917 | 0.000000e+00 | 1.002900e+04 | Inf
74.09/74.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.09/74.16 c 71.3s|220000 |219987 |199007 | 0.9 | 144M| 151 | 0 | 631 | 396 | 631 | 126 | 22k| 11 |1962 | 0.000000e+00 | 1.002900e+04 | Inf
77.38/77.46 c 74.5s|230000 |229987 |207227 | 0.9 | 151M| 151 | 0 | 631 | 396 | 631 | 133 | 23k| 11 |1982 | 0.000000e+00 | 1.002900e+04 | Inf
80.79/80.81 c 77.7s|240000 |239985 |215961 | 0.9 | 157M| 151 | 0 | 631 | 397 | 631 | 134 | 24k| 12 |2004 | 0.000000e+00 | 1.002900e+04 | Inf
84.09/84.14 c 80.9s|250000 |249985 |223884 | 0.9 | 164M| 151 | 0 | 631 | 397 | 631 | 132 | 25k| 12 |2046 | 0.000000e+00 | 1.002900e+04 | Inf
87.49/87.50 c 84.2s|260000 |259985 |232541 | 0.9 | 170M| 151 | 0 | 631 | 396 | 631 | 134 | 26k| 12 |2182 | 0.000000e+00 | 1.002900e+04 | Inf
90.79/90.80 c 87.4s|270000 |269985 |240622 | 0.9 | 176M| 151 | 0 | 631 | 396 | 631 | 134 | 27k| 12 |2207 | 0.000000e+00 | 1.002900e+04 | Inf
94.09/94.15 c 90.6s|280000 |279985 |249297 | 0.9 | 183M| 151 | 0 | 631 | 396 | 631 | 133 | 28k| 12 |2248 | 0.000000e+00 | 1.002900e+04 | Inf
97.39/97.44 c 93.7s|290000 |289985 |257590 | 0.9 | 189M| 151 | 0 | 631 | 396 | 631 | 133 | 29k| 12 |2293 | 0.000000e+00 | 1.002900e+04 | Inf
100.69/100.75 c 96.9s|300000 |299985 |266066 | 0.9 | 196M| 151 | 0 | 631 | 396 | 631 | 132 | 30k| 12 |2340 | 0.000000e+00 | 1.002900e+04 | Inf
103.98/104.06 c 100s|310000 |309985 |274440 | 0.9 | 202M| 151 | 0 | 631 | 396 | 631 | 131 | 31k| 12 |2378 | 0.000000e+00 | 1.002900e+04 | Inf
107.39/107.42 c 103s|320000 |319985 |283293 | 0.9 | 208M| 151 | 0 | 631 | 396 | 631 | 125 | 32k| 12 |2485 | 0.000000e+00 | 1.002900e+04 | Inf
110.69/110.73 c 107s|330000 |329983 |291628 | 0.9 | 215M| 151 | 0 | 631 | 397 | 631 | 131 | 33k| 13 |2548 | 0.000000e+00 | 1.002900e+04 | Inf
113.99/114.07 c 110s|340000 |339983 |300979 | 0.9 | 221M| 155 | 0 | 631 | 397 | 631 | 134 | 35k| 13 |2620 | 0.000000e+00 | 1.002900e+04 | Inf
117.49/117.52 c 113s|350000 |349983 |311320 | 0.9 | 228M| 155 | 0 | 631 | 396 | 631 | 145 | 37k| 13 |2656 | 0.000000e+00 | 1.002900e+04 | Inf
121.00/121.04 c 116s|360000 |359983 |320744 | 0.9 | 234M| 155 | 0 | 631 | 396 | 631 | 145 | 39k| 13 |2679 | 0.000000e+00 | 1.002900e+04 | Inf
124.49/124.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.49/124.57 c 120s|370000 |369983 |329942 | 0.9 | 240M| 155 | 0 | 631 | 396 | 631 | 143 | 42k| 13 |2695 | 0.000000e+00 | 1.002900e+04 | Inf
128.09/128.14 c 123s|380000 |379983 |338929 | 0.9 | 247M| 155 | 0 | 631 | 396 | 631 | 148 | 44k| 13 |2737 | 0.000000e+00 | 1.002900e+04 | Inf
131.69/131.70 c 127s|390000 |389981 |348691 | 0.9 | 253M| 155 | 1 | 631 | 397 | 631 | 125 | 47k| 14 |2877 | 0.000000e+00 | 1.002900e+04 | Inf
135.09/135.15 c 130s|400000 |399981 |357282 | 0.9 | 260M| 155 | 0 | 631 | 396 | 631 | 145 | 49k| 14 |2907 | 0.000000e+00 | 1.002900e+04 | Inf
138.60/138.66 c 133s|410000 |409981 |367687 | 0.9 | 266M| 155 | 0 | 631 | 396 | 631 | 144 | 52k| 14 |2981 | 0.000000e+00 | 1.002900e+04 | Inf
142.09/142.17 c 137s|420000 |419981 |376911 | 0.9 | 273M| 155 | 1 | 631 | 396 | 631 | 145 | 54k| 14 |3018 | 0.000000e+00 | 1.002900e+04 | Inf
145.69/145.70 c 140s|430000 |429979 |387345 | 0.9 | 279M| 155 | 0 | 631 | 397 | 631 | 142 | 56k| 15 |3116 | 0.000000e+00 | 1.002900e+04 | Inf
149.19/149.28 c 144s|440000 |439979 |400909 | 0.9 | 285M| 155 | 2 | 631 | 396 | 631 | 141 | 59k| 15 |3194 | 0.000000e+00 | 1.002900e+04 | Inf
152.80/152.85 c 147s|450000 |449979 |414053 | 0.9 | 292M| 155 | 5 | 631 | 396 | 631 | 124 | 61k| 15 |3243 | 0.000000e+00 | 1.002900e+04 | Inf
156.39/156.43 c 150s|460000 |459979 |427169 | 0.9 | 298M| 155 | 0 | 631 | 396 | 631 | 125 | 64k| 15 |3302 | 0.000000e+00 | 1.002900e+04 | Inf
159.89/159.98 c 154s|470000 |469979 |436320 | 0.9 | 305M| 155 | 0 | 631 | 396 | 631 | 145 | 67k| 15 |3313 | 0.000000e+00 | 1.002900e+04 | Inf
163.59/163.62 c 157s|480000 |479979 |453653 | 0.9 | 311M| 155 | 0 | 631 | 396 | 631 | 144 | 69k| 15 |3389 | 0.000000e+00 | 1.002900e+04 | Inf
167.20/167.21 c 161s|490000 |489979 |466415 | 1.0 | 317M| 155 | 0 | 631 | 397 | 631 | 134 | 72k| 16 |3443 | 0.000000e+00 | 1.002900e+04 | Inf
170.60/170.68 c 164s|500000 |499979 |475722 | 1.0 | 324M| 155 | 2 | 631 | 397 | 631 | 143 | 74k| 16 |3485 | 0.000000e+00 | 1.002900e+04 | Inf
174.09/174.16 c 168s|510000 |509979 |485067 | 1.0 | 330M| 155 | 0 | 631 | 397 | 631 | 143 | 77k| 16 |3519 | 0.000000e+00 | 1.002900e+04 | Inf
177.60/177.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.60/177.67 c 171s|520000 |519979 |493584 | 0.9 | 337M| 155 | 0 | 631 | 397 | 631 | 126 | 79k| 16 |3545 | 0.000000e+00 | 1.002900e+04 | Inf
181.09/181.10 c 174s|530000 |529975 |501533 | 0.9 | 343M| 155 | 1 | 631 | 398 | 631 | 144 | 81k| 18 |3569 | 0.000000e+00 | 1.002900e+04 | Inf
184.49/184.59 c 178s|540000 |539973 |510562 | 0.9 | 350M| 155 | 0 | 631 | 398 | 631 | 145 | 84k| 19 |3627 | 0.000000e+00 | 1.002900e+04 | Inf
188.00/188.02 c 181s|550000 |549973 |518005 | 0.9 | 356M| 155 | 0 | 631 | 397 | 631 | 142 | 86k| 19 |3650 | 0.000000e+00 | 1.002900e+04 | Inf
191.40/191.42 c 184s|560000 |559973 |525790 | 0.9 | 362M| 155 | 2 | 631 | 397 | 631 | 143 | 88k| 19 |3662 | 0.000000e+00 | 1.002900e+04 | Inf
194.89/194.92 c 188s|570000 |569973 |533789 | 0.9 | 369M| 155 | 0 | 631 | 396 | 631 | 147 | 91k| 19 |3675 | 0.000000e+00 | 1.002900e+04 | Inf
198.39/198.43 c 191s|580000 |579973 |541666 | 0.9 | 375M| 157 | 0 | 631 | 396 | 631 | 142 | 93k| 19 |3704 | 0.000000e+00 | 1.002900e+04 | Inf
201.99/202.07 c 194s|590000 |589973 |551383 | 0.9 | 382M| 157 | 0 | 631 | 396 | 631 | 154 | 97k| 19 |3745 | 0.000000e+00 | 1.002900e+04 | Inf
205.60/205.69 c 198s|600000 |599973 |560991 | 0.9 | 388M| 157 | 0 | 631 | 396 | 631 | 124 | 101k| 19 |3765 | 0.000000e+00 | 1.002900e+04 | Inf
209.29/209.32 c 201s|610000 |609973 |570524 | 0.9 | 395M| 157 | 2 | 631 | 396 | 631 | 156 | 104k| 19 |3790 | 0.000000e+00 | 1.002900e+04 | Inf
212.89/212.98 c 205s|620000 |619973 |580884 | 0.9 | 401M| 157 | 0 | 631 | 396 | 631 | 156 | 108k| 19 |3843 | 0.000000e+00 | 1.002900e+04 | Inf
216.60/216.65 c 208s|630000 |629973 |590214 | 0.9 | 408M| 157 | 0 | 631 | 396 | 631 | 153 | 112k| 19 |3895 | 0.000000e+00 | 1.002900e+04 | Inf
220.20/220.28 c 212s|640000 |639973 |599295 | 0.9 | 414M| 157 | 4 | 631 | 396 | 631 | 151 | 115k| 19 |3929 | 0.000000e+00 | 1.002900e+04 | Inf
223.90/223.90 c 215s|650000 |649973 |608393 | 0.9 | 421M| 157 | 4 | 631 | 396 | 631 | 154 | 118k| 19 |3955 | 0.000000e+00 | 1.002900e+04 | Inf
227.49/227.54 c 219s|660000 |659973 |617635 | 0.9 | 427M| 157 | 0 | 631 | 396 | 631 | 153 | 122k| 19 |3964 | 0.000000e+00 | 1.002900e+04 | Inf
231.10/231.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.10/231.17 c 222s|670000 |669973 |627034 | 0.9 | 434M| 157 | 4 | 631 | 396 | 631 | 124 | 125k| 19 |3988 | 0.000000e+00 | 1.002900e+04 | Inf
234.69/234.78 c 226s|680000 |679973 |636872 | 0.9 | 440M| 157 | 0 | 631 | 396 | 631 | 152 | 129k| 19 |4026 | 0.000000e+00 | 1.002900e+04 | Inf
238.39/238.42 c 229s|690000 |689973 |647220 | 0.9 | 447M| 157 | 0 | 631 | 396 | 631 | 155 | 132k| 19 |4100 | 0.000000e+00 | 1.002900e+04 | Inf
242.00/242.03 c 233s|700000 |699973 |657537 | 0.9 | 453M| 157 | 0 | 631 | 396 | 631 | 156 | 136k| 19 |4105 | 0.000000e+00 | 1.002900e+04 | Inf
245.59/245.60 c 236s|710000 |709973 |667931 | 0.9 | 459M| 157 | 0 | 631 | 396 | 631 | 155 | 139k| 19 |4125 | 0.000000e+00 | 1.002900e+04 | Inf
249.19/249.24 c 240s|720000 |719973 |677710 | 0.9 | 466M| 157 | 0 | 631 | 396 | 631 | 153 | 143k| 19 |4154 | 0.000000e+00 | 1.002900e+04 | Inf
252.79/252.87 c 243s|730000 |729973 |686912 | 0.9 | 472M| 157 | 0 | 631 | 396 | 631 | 155 | 146k| 19 |4167 | 0.000000e+00 | 1.002900e+04 | Inf
256.49/256.50 c 247s|740000 |739973 |696292 | 0.9 | 479M| 157 | 0 | 631 | 396 | 631 | 158 | 149k| 19 |4189 | 0.000000e+00 | 1.002900e+04 | Inf
260.09/260.16 c 250s|750000 |749973 |706751 | 0.9 | 485M| 157 | 0 | 631 | 396 | 631 | 144 | 153k| 19 |4211 | 0.000000e+00 | 1.002900e+04 | Inf
263.79/263.82 c 254s|760000 |759973 |716675 | 0.9 | 492M| 157 | 0 | 631 | 396 | 631 | 154 | 157k| 19 |4228 | 0.000000e+00 | 1.002900e+04 | Inf
267.39/267.44 c 257s|770000 |769973 |725276 | 0.9 | 498M| 157 | 0 | 631 | 396 | 631 | 150 | 160k| 19 |4241 | 0.000000e+00 | 1.002900e+04 | Inf
271.00/271.06 c 261s|780000 |779973 |734320 | 0.9 | 505M| 157 | 1 | 631 | 396 | 631 | 143 | 163k| 19 |4259 | 0.000000e+00 | 1.002900e+04 | Inf
274.70/274.71 c 264s|790000 |789973 |743300 | 0.9 | 511M| 157 | 0 | 631 | 396 | 631 | 125 | 167k| 19 |4335 | 0.000000e+00 | 1.002900e+04 | Inf
278.30/278.31 c 268s|800000 |799973 |752445 | 0.9 | 518M| 157 | 0 | 631 | 396 | 631 | 149 | 170k| 19 |4346 | 0.000000e+00 | 1.002900e+04 | Inf
281.89/281.96 c 271s|810000 |809973 |762035 | 0.9 | 524M| 157 | 0 | 631 | 396 | 631 | 163 | 174k| 19 |4366 | 0.000000e+00 | 1.002900e+04 | Inf
285.59/285.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.59/285.66 c 275s|820000 |819973 |772070 | 0.9 | 531M| 157 | 0 | 631 | 396 | 631 | 163 | 178k| 19 |4381 | 0.000000e+00 | 1.002900e+04 | Inf
289.30/289.35 c 278s|830000 |829973 |781772 | 0.9 | 537M| 157 | 2 | 631 | 396 | 631 | 163 | 183k| 19 |4411 | 0.000000e+00 | 1.002900e+04 | Inf
293.20/293.21 c 282s|840000 |839973 |792886 | 0.9 | 544M| 157 | 2 | 631 | 396 | 631 | 162 | 187k| 19 |4426 | 0.000000e+00 | 1.002900e+04 | Inf
297.00/297.04 c 286s|850000 |849973 |803712 | 0.9 | 550M| 157 | 0 | 631 | 396 | 631 | 128 | 192k| 19 |4446 | 0.000000e+00 | 1.002900e+04 | Inf
300.79/300.87 c 290s|860000 |859973 |814612 | 0.9 | 557M| 157 | 0 | 631 | 396 | 631 | 160 | 197k| 19 |4474 | 0.000000e+00 | 1.002900e+04 | Inf
304.60/304.69 c 293s|870000 |869973 |824970 | 0.9 | 563M| 157 | 0 | 631 | 396 | 631 | 125 | 201k| 19 |4498 | 0.000000e+00 | 1.002900e+04 | Inf
308.49/308.57 c 297s|880000 |879973 |835855 | 0.9 | 570M| 157 | 0 | 631 | 396 | 631 | 152 | 206k| 19 |4653 | 0.000000e+00 | 1.002900e+04 | Inf
312.30/312.38 c 301s|890000 |889973 |846354 | 1.0 | 576M| 157 | 0 | 631 | 396 | 631 | 150 | 210k| 19 |4657 | 0.000000e+00 | 1.002900e+04 | Inf
316.09/316.14 c 304s|900000 |899973 |856467 | 1.0 | 583M| 157 | 0 | 631 | 396 | 631 | 164 | 215k| 19 |4660 | 0.000000e+00 | 1.002900e+04 | Inf
319.89/319.91 c 308s|910000 |909973 |867425 | 1.0 | 590M| 157 | 0 | 631 | 396 | 631 | 132 | 219k| 19 |4683 | 0.000000e+00 | 1.002900e+04 | Inf
323.69/323.71 c 312s|920000 |919973 |878212 | 1.0 | 596M| 157 | 1 | 631 | 396 | 631 | 143 | 224k| 19 |4706 | 0.000000e+00 | 1.002900e+04 | Inf
327.39/327.47 c 315s|930000 |929973 |888703 | 1.0 | 603M| 157 | 0 | 631 | 396 | 631 | 128 | 228k| 19 |4741 | 0.000000e+00 | 1.002900e+04 | Inf
331.19/331.21 c 319s|940000 |939973 |898861 | 1.0 | 609M| 157 | 1 | 631 | 396 | 631 | 158 | 233k| 19 |4755 | 0.000000e+00 | 1.002900e+04 | Inf
335.00/335.03 c 322s|950000 |949973 |909497 | 1.0 | 616M| 157 | 0 | 631 | 396 | 631 | 155 | 237k| 19 |4777 | 0.000000e+00 | 1.002900e+04 | Inf
338.80/338.87 c 326s|960000 |959973 |920613 | 1.0 | 622M| 157 | 4 | 631 | 396 | 631 | 163 | 242k| 19 |4861 | 0.000000e+00 | 1.002900e+04 | Inf
342.59/342.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.59/342.63 c 330s|970000 |969973 |931239 | 1.0 | 629M| 157 | 0 | 631 | 396 | 631 | 165 | 246k| 19 |4866 | 0.000000e+00 | 1.002900e+04 | Inf
346.40/346.41 c 333s|980000 |979973 |941977 | 1.0 | 635M| 157 | 0 | 631 | 396 | 631 | 127 | 250k| 19 |4882 | 0.000000e+00 | 1.002900e+04 | Inf
350.19/350.20 c 337s|990000 |989973 |952448 | 1.0 | 642M| 157 | 0 | 631 | 396 | 631 | 153 | 255k| 19 |4892 | 0.000000e+00 | 1.002900e+04 | Inf
353.99/354.00 c 341s| 1000k|999973 |964479 | 1.0 | 648M| 157 | 0 | 631 | 396 | 631 | 124 | 259k| 19 |4985 | 0.000000e+00 | 1.002900e+04 | Inf
357.70/357.77 c 344s| 1010k| 1009k|975820 | 1.0 | 655M| 157 | 0 | 631 | 396 | 631 | 161 | 264k| 19 |5014 | 0.000000e+00 | 1.002900e+04 | Inf
361.49/361.54 c 348s| 1020k| 1019k|986901 | 1.0 | 661M| 157 | 0 | 631 | 396 | 631 | 148 | 268k| 19 |5066 | 0.000000e+00 | 1.002900e+04 | Inf
365.29/365.39 c 352s| 1030k| 1029k|997868 | 1.0 | 668M| 157 | 1 | 631 | 396 | 631 | 164 | 273k| 19 |5129 | 0.000000e+00 | 1.002900e+04 | Inf
369.09/369.17 c 355s| 1040k| 1039k| 1008k| 1.0 | 674M| 157 | 0 | 631 | 396 | 631 | 161 | 277k| 19 |5156 | 0.000000e+00 | 1.002900e+04 | Inf
372.90/372.98 c 359s| 1050k| 1049k| 1020k| 1.0 | 681M| 157 | 0 | 631 | 396 | 631 | 163 | 282k| 19 |5208 | 0.000000e+00 | 1.002900e+04 | Inf
376.70/376.78 c 363s| 1060k| 1059k| 1031k| 1.0 | 687M| 157 | 0 | 631 | 396 | 631 | 164 | 287k| 19 |5236 | 0.000000e+00 | 1.002900e+04 | Inf
380.51/380.57 c 366s| 1070k| 1069k| 1042k| 1.0 | 694M| 157 | 0 | 631 | 396 | 631 | 143 | 291k| 19 |5286 | 0.000000e+00 | 1.002900e+04 | Inf
384.30/384.31 c 370s| 1080k| 1079k| 1052k| 1.0 | 700M| 157 | 0 | 631 | 396 | 631 | 157 | 296k| 19 |5313 | 0.000000e+00 | 1.002900e+04 | Inf
388.00/388.08 c 374s| 1090k| 1089k| 1063k| 1.0 | 707M| 157 | 0 | 631 | 396 | 631 | 164 | 300k| 19 |5341 | 0.000000e+00 | 1.002900e+04 | Inf
391.80/391.88 c 377s| 1100k| 1099k| 1075k| 1.0 | 713M| 157 | 0 | 631 | 396 | 631 | 147 | 305k| 19 |5406 | 0.000000e+00 | 1.002900e+04 | Inf
395.50/395.55 c 381s| 1110k| 1109k| 1086k| 1.0 | 720M| 157 | 0 | 631 | 396 | 631 | 161 | 309k| 19 |5416 | 0.000000e+00 | 1.002900e+04 | Inf
399.30/399.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.30/399.32 c 384s| 1120k| 1119k| 1097k| 1.0 | 726M| 157 | 0 | 631 | 396 | 631 | 163 | 313k| 19 |5441 | 0.000000e+00 | 1.002900e+04 | Inf
402.99/403.07 c 388s| 1130k| 1129k| 1109k| 1.0 | 733M| 157 | 0 | 631 | 396 | 631 | 164 | 318k| 19 |5461 | 0.000000e+00 | 1.002900e+04 | Inf
406.80/406.83 c 392s| 1140k| 1139k| 1120k| 1.0 | 739M| 157 | 1 | 631 | 396 | 631 | 163 | 322k| 19 |5495 | 0.000000e+00 | 1.002900e+04 | Inf
410.60/410.64 c 395s| 1150k| 1149k| 1132k| 1.0 | 746M| 157 | 0 | 631 | 396 | 631 | 162 | 327k| 19 |5517 | 0.000000e+00 | 1.002900e+04 | Inf
414.39/414.45 c 399s| 1160k| 1159k| 1144k| 1.0 | 752M| 157 | 0 | 631 | 396 | 631 | 126 | 332k| 19 |5552 | 0.000000e+00 | 1.002900e+04 | Inf
418.20/418.21 c 403s| 1170k| 1169k| 1155k| 1.0 | 759M| 157 | 0 | 631 | 396 | 631 | 127 | 336k| 19 |5583 | 0.000000e+00 | 1.002900e+04 | Inf
421.90/421.99 c 406s| 1180k| 1179k| 1166k| 1.0 | 765M| 157 | 0 | 631 | 396 | 631 | 163 | 341k| 19 |5600 | 0.000000e+00 | 1.002900e+04 | Inf
425.70/425.74 c 410s| 1190k| 1189k| 1177k| 1.0 | 772M| 157 | 4 | 631 | 396 | 631 | 163 | 345k| 19 |5608 | 0.000000e+00 | 1.002900e+04 | Inf
429.50/429.52 c 414s| 1200k| 1199k| 1188k| 1.0 | 778M| 157 | 0 | 631 | 396 | 631 | 162 | 350k| 19 |5637 | 0.000000e+00 | 1.002900e+04 | Inf
433.20/433.30 c 417s| 1210k| 1209k| 1200k| 1.0 | 785M| 157 | 0 | 631 | 396 | 631 | 162 | 355k| 19 |5675 | 0.000000e+00 | 1.002900e+04 | Inf
436.99/437.02 c 421s| 1220k| 1219k| 1210k| 1.0 | 791M| 157 | 0 | 631 | 396 | 631 | 142 | 359k| 19 |5702 | 0.000000e+00 | 1.002900e+04 | Inf
440.80/440.82 c 424s| 1230k| 1229k| 1223k| 1.0 | 798M| 157 | 2 | 631 | 396 | 631 | 124 | 363k| 19 |5774 | 0.000000e+00 | 1.002900e+04 | Inf
444.60/444.65 c 428s| 1240k| 1239k| 1235k| 1.0 | 804M| 157 | 0 | 631 | 396 | 631 | 154 | 368k| 19 |5807 | 0.000000e+00 | 1.002900e+04 | Inf
448.49/448.50 c 432s| 1250k| 1249k| 1247k| 1.0 | 811M| 157 | 0 | 631 | 396 | 631 | 165 | 373k| 19 |5824 | 0.000000e+00 | 1.002900e+04 | Inf
452.30/452.37 c 436s| 1260k| 1259k| 1258k| 1.0 | 817M| 157 | 0 | 631 | 396 | 631 | 164 | 378k| 19 |5836 | 0.000000e+00 | 1.002900e+04 | Inf
456.20/456.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.20/456.21 c 439s| 1270k| 1269k| 1269k| 1.0 | 824M| 157 | 0 | 631 | 396 | 631 | 127 | 382k| 19 |5855 | 0.000000e+00 | 1.002900e+04 | Inf
460.00/460.03 c 443s| 1280k| 1279k| 1281k| 1.0 | 830M| 157 | 0 | 631 | 396 | 631 | 141 | 387k| 19 |5879 | 0.000000e+00 | 1.002900e+04 | Inf
463.80/463.86 c 447s| 1290k| 1289k| 1292k| 1.0 | 837M| 157 | 1 | 631 | 396 | 631 | 130 | 392k| 19 |5901 | 0.000000e+00 | 1.002900e+04 | Inf
467.59/467.68 c 450s| 1300k| 1299k| 1302k| 1.0 | 843M| 157 | 5 | 631 | 396 | 631 | 124 | 397k| 19 |5916 | 0.000000e+00 | 1.002900e+04 | Inf
471.40/471.44 c 454s| 1310k| 1309k| 1313k| 1.0 | 850M| 157 | 0 | 631 | 396 | 631 | 160 | 401k| 19 |5937 | 0.000000e+00 | 1.002900e+04 | Inf
475.10/475.17 c 458s| 1320k| 1319k| 1324k| 1.0 | 856M| 157 | 0 | 631 | 396 | 631 | 161 | 405k| 19 |5978 | 0.000000e+00 | 1.002900e+04 | Inf
478.90/478.93 c 461s| 1330k| 1329k| 1334k| 1.0 | 863M| 157 | 4 | 631 | 396 | 631 | 161 | 410k| 19 |6007 | 0.000000e+00 | 1.002900e+04 | Inf
482.70/482.70 c 465s| 1340k| 1339k| 1346k| 1.0 | 870M| 159 | 0 | 631 | 396 | 631 | 161 | 414k| 19 |6035 | 0.000000e+00 | 1.002900e+04 | Inf
486.49/486.51 c 469s| 1350k| 1349k| 1358k| 1.0 | 876M| 159 | 0 | 631 | 396 | 631 | 156 | 419k| 19 |6113 | 0.000000e+00 | 1.002900e+04 | Inf
490.10/490.19 c 472s| 1360k| 1359k| 1369k| 1.0 | 883M| 159 | 0 | 631 | 396 | 631 | 161 | 422k| 19 |6124 | 0.000000e+00 | 1.002900e+04 | Inf
493.90/493.97 c 476s| 1370k| 1369k| 1379k| 1.0 | 889M| 159 | 0 | 631 | 396 | 631 | 166 | 427k| 19 |6128 | 0.000000e+00 | 1.002900e+04 | Inf
497.70/497.75 c 479s| 1380k| 1379k| 1391k| 1.0 | 896M| 159 | 0 | 631 | 396 | 631 | 126 | 431k| 19 |6157 | 0.000000e+00 | 1.002900e+04 | Inf
501.39/501.48 c 483s| 1390k| 1389k| 1402k| 1.0 | 902M| 161 | 0 | 631 | 396 | 631 | 166 | 436k| 19 |6174 | 0.000000e+00 | 1.002900e+04 | Inf
505.20/505.27 c 487s| 1400k| 1399k| 1413k| 1.0 | 909M| 167 | 4 | 631 | 396 | 631 | 164 | 440k| 19 |6204 | 0.000000e+00 | 1.002900e+04 | Inf
508.90/508.99 c 490s| 1410k| 1409k| 1424k| 1.0 | 915M| 169 | 1 | 631 | 396 | 631 | 126 | 444k| 19 |6226 | 0.000000e+00 | 1.002900e+04 | Inf
512.61/512.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.61/512.68 c 494s| 1420k| 1419k| 1435k| 1.0 | 922M| 169 | 0 | 631 | 396 | 631 | 137 | 448k| 19 |6243 | 0.000000e+00 | 1.002900e+04 | Inf
516.30/516.38 c 497s| 1430k| 1429k| 1446k| 1.0 | 928M| 169 | 4 | 631 | 396 | 631 | 164 | 452k| 19 |6250 | 0.000000e+00 | 1.002900e+04 | Inf
520.00/520.09 c 501s| 1440k| 1439k| 1457k| 1.0 | 935M| 169 | 0 | 631 | 396 | 631 | 162 | 456k| 19 |6267 | 0.000000e+00 | 1.002900e+04 | Inf
523.80/523.81 c 504s| 1450k| 1449k| 1468k| 1.0 | 941M| 169 | 0 | 631 | 396 | 631 | 160 | 461k| 19 |6327 | 0.000000e+00 | 1.002900e+04 | Inf
527.50/527.55 c 508s| 1460k| 1459k| 1479k| 1.0 | 948M| 169 | 1 | 631 | 396 | 631 | 124 | 465k| 19 |6366 | 0.000000e+00 | 1.002900e+04 | Inf
531.21/531.26 c 512s| 1470k| 1469k| 1490k| 1.0 | 954M| 169 | 0 | 631 | 396 | 631 | 161 | 469k| 19 |6373 | 0.000000e+00 | 1.002900e+04 | Inf
534.90/534.99 c 515s| 1480k| 1479k| 1501k| 1.0 | 961M| 169 | 4 | 631 | 396 | 631 | 162 | 473k| 19 |6415 | 0.000000e+00 | 1.002900e+04 | Inf
538.60/538.69 c 519s| 1490k| 1489k| 1511k| 1.0 | 967M| 169 | 0 | 631 | 396 | 631 | 160 | 477k| 19 |6429 | 0.000000e+00 | 1.002900e+04 | Inf
542.40/542.41 c 522s| 1500k| 1499k| 1522k| 1.0 | 974M| 169 | 0 | 631 | 396 | 631 | 163 | 481k| 19 |6448 | 0.000000e+00 | 1.002900e+04 | Inf
546.09/546.13 c 526s| 1510k| 1509k| 1533k| 1.0 | 980M| 169 | 4 | 631 | 396 | 631 | 163 | 486k| 19 |6480 | 0.000000e+00 | 1.002900e+04 | Inf
549.80/549.82 c 530s| 1520k| 1519k| 1544k| 1.0 | 987M| 169 | 0 | 631 | 396 | 631 | 125 | 490k| 19 |6491 | 0.000000e+00 | 1.002900e+04 | Inf
553.50/553.54 c 533s| 1530k| 1529k| 1555k| 1.0 | 993M| 169 | 0 | 631 | 396 | 631 | 165 | 494k| 19 |6539 | 0.000000e+00 | 1.002900e+04 | Inf
557.30/557.30 c 537s| 1540k| 1539k| 1566k| 1.0 |1000M| 169 | 0 | 631 | 396 | 631 | 159 | 498k| 19 |6586 | 0.000000e+00 | 1.002900e+04 | Inf
561.00/561.04 c 540s| 1550k| 1549k| 1577k| 1.0 |1006M| 169 | 1 | 631 | 396 | 631 | 127 | 502k| 19 |6630 | 0.000000e+00 | 1.002900e+04 | Inf
564.70/564.76 c 544s| 1560k| 1559k| 1588k| 1.0 |1012M| 169 | 4 | 631 | 396 | 631 | 158 | 507k| 19 |6632 | 0.000000e+00 | 1.002900e+04 | Inf
568.40/568.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.40/568.43 c 547s| 1570k| 1569k| 1599k| 1.0 |1019M| 169 | 0 | 631 | 396 | 631 | 143 | 511k| 19 |6681 | 0.000000e+00 | 1.002900e+04 | Inf
572.10/572.17 c 551s| 1580k| 1579k| 1609k| 1.0 |1025M| 169 | 0 | 631 | 396 | 631 | 145 | 515k| 19 |6704 | 0.000000e+00 | 1.002900e+04 | Inf
575.80/575.80 c 555s| 1590k| 1589k| 1619k| 1.0 |1032M| 169 | 0 | 631 | 396 | 631 | 132 | 518k| 19 |6725 | 0.000000e+00 | 1.002900e+04 | Inf
579.40/579.49 c 558s| 1600k| 1599k| 1630k| 1.0 |1038M| 169 | 0 | 631 | 396 | 631 | 164 | 522k| 19 |6736 | 0.000000e+00 | 1.002900e+04 | Inf
583.10/583.19 c 562s| 1610k| 1609k| 1641k| 1.0 |1045M| 169 | 0 | 631 | 396 | 631 | 161 | 527k| 19 |6757 | 0.000000e+00 | 1.002900e+04 | Inf
586.89/586.94 c 565s| 1620k| 1619k| 1652k| 1.0 |1051M| 169 | 0 | 631 | 396 | 631 | 164 | 531k| 19 |6782 | 0.000000e+00 | 1.002900e+04 | Inf
590.60/590.69 c 569s| 1630k| 1629k| 1663k| 1.0 |1058M| 169 | 0 | 631 | 396 | 631 | 164 | 535k| 19 |6802 | 0.000000e+00 | 1.002900e+04 | Inf
594.30/594.39 c 572s| 1640k| 1639k| 1674k| 1.0 |1064M| 169 | 0 | 631 | 396 | 631 | 127 | 539k| 19 |6804 | 0.000000e+00 | 1.002900e+04 | Inf
598.10/598.12 c 576s| 1650k| 1649k| 1684k| 1.0 |1071M| 169 | 4 | 631 | 396 | 631 | 163 | 543k| 19 |6840 | 0.000000e+00 | 1.002900e+04 | Inf
601.80/601.89 c 580s| 1660k| 1659k| 1695k| 1.0 |1078M| 169 | 3 | 631 | 396 | 631 | 164 | 548k| 19 |6844 | 0.000000e+00 | 1.002900e+04 | Inf
605.60/605.64 c 583s| 1670k| 1669k| 1705k| 1.0 |1084M| 169 | 0 | 631 | 396 | 631 | 153 | 552k| 19 |6873 | 0.000000e+00 | 1.002900e+04 | Inf
609.31/609.34 c 587s| 1680k| 1679k| 1716k| 1.0 |1091M| 169 | 0 | 631 | 396 | 631 | 162 | 556k| 19 |6897 | 0.000000e+00 | 1.002900e+04 | Inf
613.10/613.10 c 590s| 1690k| 1689k| 1726k| 1.0 |1097M| 169 | 4 | 631 | 396 | 631 | 159 | 560k| 19 |6946 | 0.000000e+00 | 1.002900e+04 | Inf
616.70/616.78 c 594s| 1700k| 1699k| 1737k| 1.0 |1104M| 169 | 0 | 631 | 397 | 631 | 160 | 564k| 20 |6975 | 0.000000e+00 | 1.002900e+04 | Inf
620.50/620.50 c 598s| 1710k| 1709k| 1748k| 1.0 |1110M| 169 | 0 | 631 | 398 | 631 | 139 | 569k| 21 |6992 | 0.000000e+00 | 1.002900e+04 | Inf
624.20/624.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.20/624.30 c 601s| 1720k| 1719k| 1760k| 1.0 |1117M| 169 | 0 | 631 | 397 | 631 | 166 | 573k| 21 |7071 | 0.000000e+00 | 1.002900e+04 | Inf
628.01/628.08 c 605s| 1730k| 1729k| 1774k| 1.0 |1123M| 169 | 1 | 631 | 397 | 631 | 160 | 577k| 21 |7111 | 0.000000e+00 | 1.002900e+04 | Inf
631.70/631.79 c 608s| 1740k| 1739k| 1786k| 1.0 |1130M| 169 | 0 | 631 | 397 | 631 | 159 | 581k| 21 |7127 | 0.000000e+00 | 1.002900e+04 | Inf
635.60/635.60 c 612s| 1750k| 1749k| 1801k| 1.0 |1136M| 169 | 0 | 631 | 397 | 631 | 160 | 585k| 21 |7148 | 0.000000e+00 | 1.002900e+04 | Inf
639.30/639.39 c 616s| 1760k| 1759k| 1816k| 1.0 |1142M| 169 | 0 | 631 | 396 | 631 | 157 | 589k| 21 |7178 | 0.000000e+00 | 1.002900e+04 | Inf
643.10/643.19 c 619s| 1770k| 1769k| 1831k| 1.0 |1149M| 169 | 0 | 631 | 396 | 631 | 152 | 594k| 21 |7206 | 0.000000e+00 | 1.002900e+04 | Inf
646.90/646.96 c 623s| 1780k| 1779k| 1845k| 1.0 |1155M| 169 | 0 | 631 | 396 | 631 | 146 | 598k| 21 |7225 | 0.000000e+00 | 1.002900e+04 | Inf
650.70/650.74 c 627s| 1790k| 1789k| 1861k| 1.0 |1162M| 169 | 1 | 631 | 396 | 631 | 124 | 602k| 21 |7251 | 0.000000e+00 | 1.002900e+04 | Inf
654.41/654.48 c 630s| 1800k| 1799k| 1874k| 1.0 |1168M| 169 | 0 | 631 | 396 | 631 | 156 | 606k| 21 |7282 | 0.000000e+00 | 1.002900e+04 | Inf
658.20/658.24 c 634s| 1810k| 1809k| 1887k| 1.0 |1175M| 169 | 0 | 631 | 396 | 631 | 161 | 611k| 21 |7297 | 0.000000e+00 | 1.002900e+04 | Inf
661.90/661.97 c 638s| 1820k| 1819k| 1899k| 1.0 |1181M| 169 | 4 | 631 | 396 | 631 | 162 | 615k| 21 |7316 | 0.000000e+00 | 1.002900e+04 | Inf
665.70/665.73 c 641s| 1830k| 1829k| 1910k| 1.0 |1188M| 169 | 0 | 631 | 396 | 631 | 132 | 619k| 21 |7384 | 0.000000e+00 | 1.002900e+04 | Inf
669.40/669.47 c 645s| 1840k| 1839k| 1921k| 1.0 |1194M| 169 | 0 | 631 | 396 | 631 | 156 | 623k| 21 |7412 | 0.000000e+00 | 1.002900e+04 | Inf
673.20/673.22 c 648s| 1850k| 1849k| 1931k| 1.0 |1201M| 169 | 0 | 631 | 396 | 631 | 163 | 627k| 21 |7421 | 0.000000e+00 | 1.002900e+04 | Inf
677.00/677.01 c 652s| 1860k| 1859k| 1942k| 1.0 |1207M| 169 | 4 | 631 | 396 | 631 | 163 | 632k| 21 |7435 | 0.000000e+00 | 1.002900e+04 | Inf
680.71/680.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.71/680.79 c 656s| 1870k| 1869k| 1953k| 1.0 |1214M| 169 | 0 | 631 | 396 | 631 | 164 | 636k| 21 |7450 | 0.000000e+00 | 1.002900e+04 | Inf
684.50/684.58 c 659s| 1880k| 1879k| 1965k| 1.0 |1220M| 169 | 0 | 631 | 396 | 631 | 161 | 641k| 21 |7477 | 0.000000e+00 | 1.002900e+04 | Inf
688.31/688.36 c 663s| 1890k| 1889k| 1979k| 1.0 |1227M| 169 | 0 | 631 | 397 | 631 | 124 | 645k| 22 |7509 | 0.000000e+00 | 1.002900e+04 | Inf
692.21/692.21 c 667s| 1900k| 1899k| 1995k| 1.1 |1233M| 169 | 0 | 631 | 397 | 631 | 160 | 649k| 22 |7542 | 0.000000e+00 | 1.002900e+04 | Inf
696.00/696.04 c 670s| 1910k| 1909k| 2010k| 1.1 |1240M| 169 | 0 | 631 | 397 | 631 | 161 | 654k| 22 |7581 | 0.000000e+00 | 1.002900e+04 | Inf
699.80/699.83 c 674s| 1920k| 1919k| 2023k| 1.1 |1246M| 169 | 3 | 631 | 397 | 631 | 162 | 658k| 22 |7619 | 0.000000e+00 | 1.002900e+04 | Inf
703.60/703.69 c 678s| 1930k| 1929k| 2040k| 1.1 |1252M| 169 | 0 | 631 | 397 | 631 | 124 | 662k| 22 |7641 | 0.000000e+00 | 1.002900e+04 | Inf
707.40/707.45 c 681s| 1940k| 1939k| 2052k| 1.1 |1259M| 169 | 0 | 631 | 398 | 631 | 161 | 666k| 23 |7672 | 0.000000e+00 | 1.002900e+04 | Inf
711.10/711.12 c 685s| 1950k| 1949k| 2063k| 1.1 |1265M| 169 | 0 | 631 | 397 | 631 | 133 | 670k| 23 |7693 | 0.000000e+00 | 1.002900e+04 | Inf
714.81/714.84 c 689s| 1960k| 1959k| 2074k| 1.1 |1272M| 169 | 0 | 631 | 396 | 631 | 146 | 674k| 23 |7738 | 0.000000e+00 | 1.002900e+04 | Inf
718.51/718.54 c 692s| 1970k| 1969k| 2085k| 1.1 |1278M| 169 | 0 | 631 | 396 | 631 | 165 | 678k| 23 |7758 | 0.000000e+00 | 1.002900e+04 | Inf
722.21/722.25 c 696s| 1980k| 1979k| 2096k| 1.1 |1285M| 169 | 0 | 631 | 396 | 631 | 126 | 683k| 23 |7789 | 0.000000e+00 | 1.002900e+04 | Inf
725.91/726.00 c 699s| 1990k| 1989k| 2107k| 1.1 |1291M| 169 | 0 | 631 | 396 | 631 | 145 | 687k| 23 |7803 | 0.000000e+00 | 1.002900e+04 | Inf
729.70/729.75 c 703s| 2000k| 1999k| 2119k| 1.1 |1298M| 169 | 0 | 631 | 400 | 631 | 160 | 691k| 27 |7829 | 0.000000e+00 | 1.002900e+04 | Inf
733.50/733.57 c 707s| 2010k| 2009k| 2135k| 1.1 |1304M| 169 | 0 | 631 | 402 | 631 | 162 | 695k| 30 |7844 | 0.000000e+00 | 1.002900e+04 | Inf
737.30/737.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.30/737.33 c 710s| 2020k| 2019k| 2149k| 1.1 |1311M| 169 | 0 | 631 | 401 | 631 | 134 | 699k| 30 |7888 | 0.000000e+00 | 1.002900e+04 | Inf
741.10/741.12 c 714s| 2030k| 2029k| 2165k| 1.1 |1317M| 169 | 0 | 631 | 401 | 631 | 125 | 703k| 30 |7926 | 0.000000e+00 | 1.002900e+04 | Inf
744.80/744.89 c 718s| 2040k| 2039k| 2179k| 1.1 |1324M| 169 | 2 | 631 | 402 | 631 | 162 | 708k| 32 |7942 | 0.000000e+00 | 1.002900e+04 | Inf
748.50/748.56 c 721s| 2050k| 2049k| 2189k| 1.1 |1330M| 169 | 3 | 631 | 402 | 631 | 162 | 712k| 32 |7978 | 0.000000e+00 | 1.002900e+04 | Inf
752.20/752.21 c 725s| 2060k| 2059k| 2199k| 1.1 |1337M| 169 | 0 | 631 | 402 | 631 | 125 | 715k| 32 |7994 | 0.000000e+00 | 1.002900e+04 | Inf
755.80/755.85 c 728s| 2070k| 2069k| 2208k| 1.1 |1343M| 169 | 4 | 631 | 401 | 631 | 163 | 719k| 32 |8002 | 0.000000e+00 | 1.002900e+04 | Inf
759.40/759.49 c 732s| 2080k| 2079k| 2218k| 1.1 |1350M| 169 | 0 | 631 | 400 | 631 | 126 | 723k| 32 |8032 | 0.000000e+00 | 1.002900e+04 | Inf
763.10/763.14 c 735s| 2090k| 2089k| 2228k| 1.1 |1356M| 169 | 0 | 631 | 399 | 631 | 165 | 727k| 32 |8045 | 0.000000e+00 | 1.002900e+04 | Inf
766.81/766.80 c 739s| 2100k| 2099k| 2238k| 1.1 |1363M| 169 | 0 | 631 | 398 | 631 | 161 | 731k| 32 |8062 | 0.000000e+00 | 1.002900e+04 | Inf
770.41/770.41 c 742s| 2110k| 2109k| 2247k| 1.1 |1369M| 169 | 0 | 631 | 398 | 631 | 125 | 734k| 32 |8073 | 0.000000e+00 | 1.002900e+04 | Inf
774.10/774.10 c 746s| 2120k| 2119k| 2257k| 1.1 |1376M| 169 | 0 | 631 | 399 | 631 | 124 | 738k| 33 |8082 | 0.000000e+00 | 1.002900e+04 | Inf
777.71/777.80 c 749s| 2130k| 2129k| 2267k| 1.1 |1382M| 169 | 1 | 631 | 399 | 631 | 142 | 742k| 33 |8096 | 0.000000e+00 | 1.002900e+04 | Inf
781.51/781.51 c 753s| 2140k| 2139k| 2277k| 1.1 |1389M| 169 | 4 | 631 | 398 | 631 | 161 | 746k| 33 |8121 | 0.000000e+00 | 1.002900e+04 | Inf
785.21/785.22 c 756s| 2150k| 2149k| 2287k| 1.1 |1395M| 169 | 0 | 631 | 398 | 631 | 153 | 750k| 33 |8135 | 0.000000e+00 | 1.002900e+04 | Inf
788.71/788.72 c 760s| 2160k| 2159k| 2296k| 1.1 |1402M| 169 | 0 | 631 | 398 | 631 | 141 | 752k| 33 |8143 | 0.000000e+00 | 1.002900e+04 | Inf
792.30/792.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.30/792.31 c 763s| 2170k| 2169k| 2305k| 1.1 |1408M| 169 | 4 | 631 | 398 | 631 | 160 | 756k| 33 |8162 | 0.000000e+00 | 1.002900e+04 | Inf
795.90/795.99 c 767s| 2180k| 2179k| 2315k| 1.1 |1415M| 169 | 0 | 631 | 398 | 631 | 138 | 759k| 33 |8163 | 0.000000e+00 | 1.002900e+04 | Inf
799.61/799.64 c 770s| 2190k| 2189k| 2324k| 1.1 |1421M| 169 | 0 | 631 | 398 | 631 | 158 | 763k| 33 |8176 | 0.000000e+00 | 1.002900e+04 | Inf
803.21/803.30 c 774s| 2200k| 2199k| 2334k| 1.1 |1428M| 169 | 2 | 631 | 398 | 631 | 160 | 766k| 33 |8191 | 0.000000e+00 | 1.002900e+04 | Inf
807.00/807.01 c 777s| 2210k| 2209k| 2344k| 1.1 |1434M| 169 | 2 | 631 | 398 | 631 | 164 | 770k| 33 |8201 | 0.000000e+00 | 1.002900e+04 | Inf
810.61/810.69 c 781s| 2220k| 2219k| 2353k| 1.1 |1441M| 169 | 0 | 631 | 398 | 631 | 162 | 774k| 33 |8208 | 0.000000e+00 | 1.002900e+04 | Inf
814.40/814.40 c 784s| 2230k| 2229k| 2363k| 1.1 |1447M| 169 | 0 | 631 | 398 | 631 | 162 | 778k| 33 |8217 | 0.000000e+00 | 1.002900e+04 | Inf
818.00/818.01 c 788s| 2240k| 2239k| 2372k| 1.1 |1454M| 169 | 0 | 631 | 398 | 631 | 140 | 781k| 33 |8252 | 0.000000e+00 | 1.002900e+04 | Inf
821.40/821.43 c 791s| 2250k| 2249k| 2379k| 1.1 |1460M| 169 | 0 | 631 | 397 | 631 | 140 | 783k| 33 |8253 | 0.000000e+00 | 1.002900e+04 | Inf
824.91/824.98 c 795s| 2260k| 2259k| 2388k| 1.1 |1467M| 169 | 2 | 631 | 397 | 631 | 162 | 786k| 33 |8274 | 0.000000e+00 | 1.002900e+04 | Inf
828.61/828.64 c 798s| 2270k| 2269k| 2397k| 1.1 |1473M| 169 | 1 | 631 | 397 | 631 | 130 | 790k| 33 |8316 | 0.000000e+00 | 1.002900e+04 | Inf
832.31/832.36 c 802s| 2280k| 2279k| 2408k| 1.1 |1480M| 169 | 0 | 631 | 396 | 631 | 124 | 794k| 33 |8381 | 0.000000e+00 | 1.002900e+04 | Inf
836.02/836.07 c 805s| 2290k| 2289k| 2417k| 1.1 |1486M| 169 | 0 | 631 | 396 | 631 | 156 | 798k| 33 |8386 | 0.000000e+00 | 1.002900e+04 | Inf
839.71/839.76 c 809s| 2300k| 2299k| 2427k| 1.1 |1493M| 169 | 2 | 631 | 396 | 631 | 161 | 802k| 33 |8386 | 0.000000e+00 | 1.002900e+04 | Inf
843.41/843.40 c 812s| 2310k| 2309k| 2436k| 1.1 |1499M| 169 | 0 | 631 | 396 | 631 | 143 | 805k| 33 |8403 | 0.000000e+00 | 1.002900e+04 | Inf
847.01/847.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.01/847.04 c 816s| 2320k| 2319k| 2445k| 1.1 |1506M| 169 | 0 | 631 | 396 | 631 | 162 | 809k| 33 |8405 | 0.000000e+00 | 1.002900e+04 | Inf
850.71/850.72 c 819s| 2330k| 2329k| 2455k| 1.1 |1513M| 169 | 0 | 631 | 396 | 631 | 161 | 813k| 33 |8444 | 0.000000e+00 | 1.002900e+04 | Inf
854.41/854.41 c 823s| 2340k| 2339k| 2464k| 1.1 |1519M| 169 | 0 | 631 | 396 | 631 | 164 | 816k| 33 |8464 | 0.000000e+00 | 1.002900e+04 | Inf
858.11/858.12 c 827s| 2350k| 2349k| 2473k| 1.1 |1526M| 169 | 0 | 631 | 396 | 631 | 133 | 820k| 33 |8465 | 0.000000e+00 | 1.002900e+04 | Inf
861.81/861.80 c 830s| 2360k| 2359k| 2484k| 1.1 |1532M| 169 | 1 | 631 | 396 | 631 | 141 | 824k| 33 |8485 | 0.000000e+00 | 1.002900e+04 | Inf
865.41/865.41 c 834s| 2370k| 2369k| 2493k| 1.1 |1539M| 169 | 12 | 631 | 396 | 631 | 124 | 827k| 33 |8508 | 0.000000e+00 | 1.002900e+04 | Inf
868.91/868.93 c 837s| 2380k| 2379k| 2501k| 1.1 |1545M| 169 | 4 | 631 | 396 | 631 | 162 | 830k| 33 |8512 | 0.000000e+00 | 1.002900e+04 | Inf
872.51/872.58 c 840s| 2390k| 2389k| 2511k| 1.1 |1552M| 169 | 0 | 631 | 396 | 631 | 137 | 834k| 33 |8543 | 0.000000e+00 | 1.002900e+04 | Inf
876.21/876.23 c 844s| 2400k| 2399k| 2520k| 1.1 |1558M| 169 | 0 | 631 | 396 | 631 | 164 | 838k| 33 |8567 | 0.000000e+00 | 1.002900e+04 | Inf
879.81/879.85 c 847s| 2410k| 2409k| 2529k| 1.0 |1564M| 169 | 0 | 631 | 396 | 631 | 160 | 842k| 33 |8568 | 0.000000e+00 | 1.002900e+04 | Inf
883.40/883.48 c 851s| 2420k| 2419k| 2538k| 1.0 |1571M| 169 | 0 | 631 | 396 | 631 | 126 | 845k| 33 |8587 | 0.000000e+00 | 1.002900e+04 | Inf
887.10/887.10 c 854s| 2430k| 2429k| 2547k| 1.0 |1577M| 169 | 0 | 631 | 396 | 631 | 166 | 849k| 33 |8594 | 0.000000e+00 | 1.002900e+04 | Inf
890.71/890.77 c 858s| 2440k| 2439k| 2556k| 1.0 |1584M| 169 | 3 | 631 | 396 | 631 | 165 | 853k| 33 |8604 | 0.000000e+00 | 1.002900e+04 | Inf
894.40/894.48 c 862s| 2450k| 2449k| 2564k| 1.0 |1590M| 169 | 0 | 631 | 396 | 631 | 141 | 857k| 33 |8613 | 0.000000e+00 | 1.002900e+04 | Inf
898.00/898.09 c 865s| 2460k| 2459k| 2573k| 1.0 |1597M| 169 | 0 | 631 | 396 | 631 | 125 | 860k| 33 |8625 | 0.000000e+00 | 1.002900e+04 | Inf
901.71/901.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.71/901.78 c 869s| 2470k| 2469k| 2583k| 1.0 |1603M| 169 | 0 | 631 | 396 | 631 | 162 | 864k| 33 |8657 | 0.000000e+00 | 1.002900e+04 | Inf
905.41/905.44 c 872s| 2480k| 2479k| 2594k| 1.0 |1610M| 169 | 4 | 631 | 396 | 631 | 161 | 868k| 33 |8696 | 0.000000e+00 | 1.002900e+04 | Inf
909.00/909.08 c 876s| 2490k| 2489k| 2604k| 1.0 |1616M| 169 | 0 | 631 | 396 | 631 | 157 | 871k| 33 |8710 | 0.000000e+00 | 1.002900e+04 | Inf
912.70/912.74 c 879s| 2500k| 2499k| 2614k| 1.0 |1623M| 169 | 0 | 631 | 396 | 631 | 124 | 875k| 33 |8732 | 0.000000e+00 | 1.002900e+04 | Inf
916.01/916.06 c 882s| 2510k| 2509k| 2620k| 1.0 |1629M| 169 | 1 | 631 | 396 | 631 | 132 | 877k| 33 |8734 | 0.000000e+00 | 1.002900e+04 | Inf
919.62/919.61 c 886s| 2520k| 2519k| 2630k| 1.0 |1636M| 169 | 0 | 631 | 396 | 631 | 141 | 879k| 33 |8741 | 0.000000e+00 | 1.002900e+04 | Inf
923.30/923.33 c 889s| 2530k| 2529k| 2642k| 1.0 |1642M| 169 | 0 | 631 | 396 | 631 | 156 | 883k| 33 |8766 | 0.000000e+00 | 1.002900e+04 | Inf
927.00/927.00 c 893s| 2540k| 2539k| 2653k| 1.0 |1648M| 169 | 4 | 631 | 396 | 631 | 159 | 887k| 33 |8772 | 0.000000e+00 | 1.002900e+04 | Inf
930.61/930.68 c 896s| 2550k| 2549k| 2662k| 1.0 |1655M| 169 | 0 | 631 | 396 | 631 | 140 | 891k| 33 |8799 | 0.000000e+00 | 1.002900e+04 | Inf
934.31/934.33 c 900s| 2560k| 2559k| 2671k| 1.0 |1661M| 169 | 1 | 631 | 396 | 631 | 162 | 895k| 33 |8806 | 0.000000e+00 | 1.002900e+04 | Inf
937.80/937.84 c 903s| 2570k| 2569k| 2678k| 1.0 |1668M| 169 | 0 | 631 | 396 | 631 | 159 | 897k| 33 |8820 | 0.000000e+00 | 1.002900e+04 | Inf
941.40/941.44 c 907s| 2580k| 2579k| 2688k| 1.0 |1674M| 169 | 0 | 631 | 396 | 631 | 144 | 901k| 33 |8833 | 0.000000e+00 | 1.002900e+04 | Inf
945.11/945.11 c 910s| 2590k| 2589k| 2698k| 1.0 |1681M| 169 | 0 | 631 | 396 | 631 | 160 | 905k| 33 |8842 | 0.000000e+00 | 1.002900e+04 | Inf
948.81/948.82 c 914s| 2600k| 2599k| 2709k| 1.0 |1687M| 169 | 0 | 631 | 396 | 631 | 131 | 909k| 33 |8854 | 0.000000e+00 | 1.002900e+04 | Inf
952.51/952.55 c 918s| 2610k| 2609k| 2721k| 1.0 |1694M| 169 | 0 | 631 | 396 | 631 | 164 | 913k| 33 |8872 | 0.000000e+00 | 1.002900e+04 | Inf
956.21/956.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.21/956.26 c 921s| 2620k| 2619k| 2733k| 1.0 |1700M| 169 | 0 | 631 | 396 | 631 | 161 | 917k| 33 |8875 | 0.000000e+00 | 1.002900e+04 | Inf
959.81/959.89 c 925s| 2630k| 2629k| 2742k| 1.0 |1706M| 169 | 0 | 631 | 396 | 631 | 158 | 920k| 33 |8895 | 0.000000e+00 | 1.002900e+04 | Inf
963.52/963.56 c 928s| 2640k| 2639k| 2753k| 1.0 |1713M| 169 | 0 | 631 | 396 | 631 | 158 | 924k| 33 |8905 | 0.000000e+00 | 1.002900e+04 | Inf
967.21/967.22 c 932s| 2650k| 2649k| 2763k| 1.0 |1719M| 169 | 0 | 631 | 396 | 631 | 161 | 928k| 33 |8928 | 0.000000e+00 | 1.002900e+04 | Inf
970.91/970.95 c 935s| 2660k| 2659k| 2775k| 1.0 |1726M| 169 | 1 | 631 | 396 | 631 | 159 | 932k| 33 |8937 | 0.000000e+00 | 1.002900e+04 | Inf
974.62/974.69 c 939s| 2670k| 2669k| 2787k| 1.0 |1732M| 169 | 0 | 631 | 396 | 631 | 161 | 936k| 33 |8958 | 0.000000e+00 | 1.002900e+04 | Inf
978.31/978.38 c 942s| 2680k| 2679k| 2797k| 1.0 |1739M| 169 | 0 | 631 | 396 | 631 | 135 | 940k| 33 |8961 | 0.000000e+00 | 1.002900e+04 | Inf
982.01/982.03 c 946s| 2690k| 2689k| 2806k| 1.0 |1745M| 169 | 0 | 631 | 396 | 631 | 131 | 944k| 33 |8979 | 0.000000e+00 | 1.002900e+04 | Inf
985.61/985.68 c 949s| 2700k| 2699k| 2815k| 1.0 |1752M| 169 | 1 | 631 | 396 | 631 | 162 | 948k| 33 |8979 | 0.000000e+00 | 1.002900e+04 | Inf
989.31/989.31 c 953s| 2710k| 2709k| 2825k| 1.0 |1758M| 169 | 0 | 631 | 396 | 631 | 125 | 951k| 33 |8991 | 0.000000e+00 | 1.002900e+04 | Inf
993.01/993.00 c 956s| 2720k| 2719k| 2835k| 1.0 |1764M| 169 | 0 | 631 | 396 | 631 | 158 | 955k| 33 |9006 | 0.000000e+00 | 1.002900e+04 | Inf
996.51/996.57 c 960s| 2730k| 2729k| 2844k| 1.0 |1771M| 169 | 0 | 631 | 396 | 631 | 162 | 958k| 33 |9065 | 0.000000e+00 | 1.002900e+04 | Inf
1000.21/1000.23 c 963s| 2740k| 2739k| 2854k| 1.0 |1777M| 169 | 0 | 631 | 396 | 631 | 142 | 962k| 33 |9090 | 0.000000e+00 | 1.002900e+04 | Inf
1003.81/1003.88 c 967s| 2750k| 2749k| 2864k| 1.0 |1784M| 169 | 0 | 631 | 396 | 631 | 151 | 966k| 33 |9095 | 0.000000e+00 | 1.002900e+04 | Inf
1007.41/1007.49 c 970s| 2760k| 2759k| 2872k| 1.0 |1790M| 169 | 4 | 631 | 396 | 631 | 160 | 970k| 33 |9110 | 0.000000e+00 | 1.002900e+04 | Inf
1011.01/1011.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.01/1011.09 c 974s| 2770k| 2769k| 2881k| 1.0 |1797M| 169 | 0 | 631 | 396 | 631 | 160 | 973k| 33 |9117 | 0.000000e+00 | 1.002900e+04 | Inf
1014.81/1014.81 c 978s| 2780k| 2779k| 2893k| 1.0 |1803M| 169 | 0 | 631 | 396 | 631 | 124 | 977k| 33 |9154 | 0.000000e+00 | 1.002900e+04 | Inf
1018.41/1018.46 c 981s| 2790k| 2789k| 2902k| 1.0 |1810M| 169 | 0 | 631 | 396 | 631 | 161 | 981k| 33 |9157 | 0.000000e+00 | 1.002900e+04 | Inf
1022.01/1022.07 c 984s| 2800k| 2799k| 2911k| 1.0 |1816M| 169 | 0 | 631 | 396 | 631 | 150 | 984k| 33 |9174 | 0.000000e+00 | 1.002900e+04 | Inf
1025.71/1025.73 c 988s| 2810k| 2809k| 2921k| 1.0 |1822M| 169 | 4 | 631 | 396 | 631 | 160 | 988k| 33 |9186 | 0.000000e+00 | 1.002900e+04 | Inf
1029.31/1029.39 c 992s| 2820k| 2819k| 2930k| 1.0 |1829M| 169 | 0 | 631 | 396 | 631 | 162 | 992k| 33 |9204 | 0.000000e+00 | 1.002900e+04 | Inf
1032.82/1032.84 c 995s| 2830k| 2829k| 2938k| 1.0 |1835M| 169 | 0 | 631 | 396 | 631 | 143 | 994k| 33 |9212 | 0.000000e+00 | 1.002900e+04 | Inf
1036.11/1036.19 c 998s| 2840k| 2839k| 2945k| 1.0 |1842M| 169 | 0 | 631 | 396 | 631 | 140 | 996k| 33 |9214 | 0.000000e+00 | 1.002900e+04 | Inf
1039.51/1039.59 c 1001s| 2850k| 2849k| 2952k| 1.0 |1848M| 169 | 0 | 631 | 396 | 631 | 141 | 998k| 33 |9229 | 0.000000e+00 | 1.002900e+04 | Inf
1043.01/1043.02 c 1005s| 2860k| 2859k| 2960k| 1.0 |1855M| 169 | 0 | 631 | 396 | 631 | 159 |1000k| 33 |9252 | 0.000000e+00 | 1.002900e+04 | Inf
1046.61/1046.65 c 1008s| 2870k| 2869k| 2969k| 1.0 |1861M| 169 | 0 | 631 | 396 | 631 | 129 |1003k| 33 |9256 | 0.000000e+00 | 1.002900e+04 | Inf
1050.31/1050.33 c 1012s| 2880k| 2879k| 2979k| 1.0 |1868M| 169 | 0 | 631 | 396 | 631 | 146 |1007k| 33 |9287 | 0.000000e+00 | 1.002900e+04 | Inf
1054.01/1054.00 c 1015s| 2890k| 2889k| 2989k| 1.0 |1874M| 169 | 0 | 631 | 396 | 631 | 160 |1011k| 33 |9293 | 0.000000e+00 | 1.002900e+04 | Inf
1057.71/1057.72 c 1019s| 2900k| 2899k| 3001k| 1.0 |1881M| 169 | 0 | 631 | 396 | 631 | 140 |1015k| 33 |9306 | 0.000000e+00 | 1.002900e+04 | Inf
1061.52/1061.51 c 1023s| 2910k| 2909k| 3014k| 1.0 |1887M| 169 | 1 | 631 | 396 | 631 | 146 |1019k| 33 |9310 | 0.000000e+00 | 1.002900e+04 | Inf
1065.31/1065.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.31/1065.32 c 1026s| 2920k| 2919k| 3028k| 1.0 |1893M| 169 | 0 | 631 | 396 | 631 | 125 |1023k| 33 |9359 | 0.000000e+00 | 1.002900e+04 | Inf
1069.01/1069.02 c 1030s| 2930k| 2929k| 3037k| 1.0 |1900M| 169 | 0 | 631 | 396 | 631 | 124 |1027k| 33 |9386 | 0.000000e+00 | 1.002900e+04 | Inf
1072.61/1072.67 c 1033s| 2940k| 2939k| 3047k| 1.0 |1906M| 169 | 0 | 631 | 396 | 631 | 159 |1031k| 33 |9388 | 0.000000e+00 | 1.002900e+04 | Inf
1076.31/1076.38 c 1037s| 2950k| 2949k| 3057k| 1.0 |1913M| 169 | 0 | 631 | 396 | 631 | 162 |1035k| 33 |9408 | 0.000000e+00 | 1.002900e+04 | Inf
1080.01/1080.01 c 1040s| 2960k| 2959k| 3066k| 1.0 |1919M| 169 | 0 | 631 | 396 | 631 | 160 |1039k| 33 |9418 | 0.000000e+00 | 1.002900e+04 | Inf
1083.71/1083.70 c 1044s| 2970k| 2969k| 3076k| 1.0 |1926M| 169 | 1 | 631 | 396 | 631 | 132 |1042k| 33 |9458 | 0.000000e+00 | 1.002900e+04 | Inf
1087.31/1087.35 c 1047s| 2980k| 2979k| 3086k| 1.0 |1932M| 169 | 0 | 631 | 396 | 631 | 163 |1046k| 33 |9481 | 0.000000e+00 | 1.002900e+04 | Inf
1090.91/1090.99 c 1051s| 2990k| 2989k| 3096k| 1.0 |1939M| 169 | 0 | 631 | 396 | 631 | 150 |1050k| 33 |9501 | 0.000000e+00 | 1.002900e+04 | Inf
1094.61/1094.64 c 1054s| 3000k| 2999k| 3105k| 1.0 |1945M| 169 | 3 | 631 | 396 | 631 | 161 |1054k| 33 |9521 | 0.000000e+00 | 1.002900e+04 | Inf
1098.32/1098.30 c 1058s| 3010k| 3009k| 3115k| 1.0 |1952M| 169 | 0 | 631 | 396 | 631 | 142 |1058k| 33 |9537 | 0.000000e+00 | 1.002900e+04 | Inf
1101.91/1101.92 c 1061s| 3020k| 3019k| 3124k| 1.0 |1958M| 169 | 0 | 631 | 396 | 631 | 124 |1062k| 33 |9551 | 0.000000e+00 | 1.002900e+04 | Inf
1105.42/1105.46 c 1065s| 3030k| 3029k| 3132k| 1.0 |1964M| 169 | 0 | 631 | 396 | 631 | 160 |1065k| 33 |9551 | 0.000000e+00 | 1.002900e+04 | Inf
1109.01/1109.08 c 1068s| 3040k| 3039k| 3142k| 1.0 |1971M| 169 | 0 | 631 | 396 | 631 | 159 |1068k| 33 |9564 | 0.000000e+00 | 1.002900e+04 | Inf
1112.71/1112.71 c 1072s| 3050k| 3049k| 3151k| 1.0 |1977M| 169 | 0 | 631 | 396 | 631 | 165 |1072k| 33 |9567 | 0.000000e+00 | 1.002900e+04 | Inf
1116.31/1116.38 c 1075s| 3060k| 3059k| 3160k| 1.0 |1984M| 169 | 0 | 631 | 396 | 631 | 125 |1076k| 33 |9592 | 0.000000e+00 | 1.002900e+04 | Inf
1120.01/1120.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.01/1120.04 c 1079s| 3070k| 3069k| 3169k| 1.0 |1990M| 169 | 0 | 631 | 396 | 631 | 154 |1079k| 33 |9612 | 0.000000e+00 | 1.002900e+04 | Inf
1123.61/1123.63 c 1082s| 3080k| 3079k| 3178k| 1.0 |1997M| 169 | 0 | 631 | 396 | 631 | 145 |1083k| 33 |9614 | 0.000000e+00 | 1.002900e+04 | Inf
1127.21/1127.24 c 1086s| 3090k| 3089k| 3187k| 1.0 |2003M| 169 | 0 | 631 | 396 | 631 | 160 |1086k| 33 |9644 | 0.000000e+00 | 1.002900e+04 | Inf
1130.91/1130.93 c 1089s| 3100k| 3099k| 3197k| 1.0 |2010M| 169 | 0 | 631 | 396 | 631 | 160 |1091k| 33 |9674 | 0.000000e+00 | 1.002900e+04 | Inf
1134.51/1134.57 c 1093s| 3110k| 3109k| 3206k| 1.0 |2016M| 169 | 0 | 631 | 396 | 631 | 135 |1094k| 33 |9676 | 0.000000e+00 | 1.002900e+04 | Inf
1138.21/1138.23 c 1096s| 3120k| 3119k| 3215k| 1.0 |2022M| 169 | 0 | 631 | 396 | 631 | 145 |1098k| 33 |9688 | 0.000000e+00 | 1.002900e+04 | Inf
1141.91/1141.91 c 1100s| 3130k| 3129k| 3225k| 1.0 |2029M| 169 | 0 | 631 | 396 | 631 | 158 |1102k| 33 |9706 | 0.000000e+00 | 1.002900e+04 | Inf
1145.51/1145.58 c 1104s| 3140k| 3139k| 3234k| 1.0 |2035M| 169 | 0 | 631 | 396 | 631 | 148 |1106k| 33 |9725 | 0.000000e+00 | 1.002900e+04 | Inf
1149.21/1149.27 c 1107s| 3150k| 3149k| 3244k| 1.0 |2042M| 169 | 0 | 631 | 396 | 631 | 160 |1110k| 33 |9725 | 0.000000e+00 | 1.002900e+04 | Inf
1152.92/1152.96 c 1111s| 3160k| 3159k| 3254k| 1.0 |2049M| 169 | 2 | 631 | 396 | 631 | 162 |1114k| 33 |9739 | 0.000000e+00 | 1.002900e+04 | Inf
1156.61/1156.67 c 1114s| 3170k| 3169k| 3264k| 1.0 |2055M| 169 | 1 | 631 | 396 | 631 | 159 |1118k| 33 |9743 | 0.000000e+00 | 1.002900e+04 | Inf
1160.32/1160.36 c 1118s| 3180k| 3179k| 3273k| 1.0 |2062M| 169 | 0 | 631 | 396 | 631 | 141 |1122k| 33 |9761 | 0.000000e+00 | 1.002900e+04 | Inf
1164.02/1164.09 c 1121s| 3190k| 3189k| 3282k| 1.0 |2068M| 169 | 0 | 631 | 396 | 631 | 157 |1126k| 33 |9776 | 0.000000e+00 | 1.002900e+04 | Inf
1167.81/1167.80 c 1125s| 3200k| 3199k| 3291k| 1.0 |2075M| 169 | 0 | 631 | 396 | 631 | 158 |1130k| 33 |9793 | 0.000000e+00 | 1.002900e+04 | Inf
1171.41/1171.49 c 1129s| 3210k| 3209k| 3301k| 1.0 |2081M| 169 | 0 | 631 | 396 | 631 | 127 |1134k| 33 |9814 | 0.000000e+00 | 1.002900e+04 | Inf
1175.21/1175.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.21/1175.21 c 1132s| 3220k| 3219k| 3312k| 1.0 |2087M| 169 | 0 | 631 | 396 | 631 | 160 |1138k| 33 |9830 | 0.000000e+00 | 1.002900e+04 | Inf
1178.91/1178.99 c 1136s| 3230k| 3229k| 3324k| 1.0 |2094M| 169 | 0 | 631 | 396 | 631 | 145 |1142k| 33 |9855 | 0.000000e+00 | 1.002900e+04 | Inf
1182.71/1182.78 c 1139s| 3240k| 3239k| 3336k| 1.0 |2100M| 169 | 0 | 631 | 396 | 631 | 125 |1146k| 33 |9880 | 0.000000e+00 | 1.002900e+04 | Inf
1186.42/1186.45 c 1143s| 3250k| 3249k| 3346k| 1.0 |2107M| 169 | 0 | 631 | 396 | 631 | 124 |1150k| 33 |9891 | 0.000000e+00 | 1.002900e+04 | Inf
1190.12/1190.19 c 1147s| 3260k| 3259k| 3355k| 1.0 |2113M| 169 | 0 | 631 | 396 | 631 | 163 |1155k| 33 |9905 | 0.000000e+00 | 1.002900e+04 | Inf
1193.61/1193.63 c 1150s| 3270k| 3269k| 3362k| 1.0 |2120M| 169 | 0 | 631 | 396 | 631 | 140 |1157k| 33 |9909 | 0.000000e+00 | 1.002900e+04 | Inf
1197.31/1197.33 c 1153s| 3280k| 3279k| 3371k| 1.0 |2126M| 169 | 0 | 631 | 396 | 631 | 163 |1161k| 33 |9922 | 0.000000e+00 | 1.002900e+04 | Inf
1200.91/1200.97 c 1157s| 3290k| 3289k| 3380k| 1.0 |2133M| 169 | 4 | 631 | 396 | 631 | 161 |1164k| 33 |9944 | 0.000000e+00 | 1.002900e+04 | Inf
1204.61/1204.65 c 1160s| 3300k| 3299k| 3389k| 1.0 |2139M| 169 | 2 | 631 | 396 | 631 | 158 |1168k| 33 |9950 | 0.000000e+00 | 1.002900e+04 | Inf
1208.22/1208.29 c 1164s| 3310k| 3309k| 3398k| 1.0 |2146M| 169 | 0 | 631 | 396 | 631 | 137 |1172k| 33 |9957 | 0.000000e+00 | 1.002900e+04 | Inf
1211.91/1211.92 c 1167s| 3320k| 3319k| 3408k| 1.0 |2152M| 169 | 1 | 631 | 396 | 631 | 158 |1176k| 33 |9969 | 0.000000e+00 | 1.002900e+04 | Inf
1215.51/1215.57 c 1171s| 3330k| 3329k| 3417k| 1.0 |2159M| 169 | 0 | 631 | 396 | 631 | 162 |1179k| 33 |9969 | 0.000000e+00 | 1.002900e+04 | Inf
1219.21/1219.22 c 1174s| 3340k| 3339k| 3427k| 1.0 |2165M| 169 | 0 | 631 | 396 | 631 | 160 |1183k| 33 |9988 | 0.000000e+00 | 1.002900e+04 | Inf
1222.82/1222.86 c 1178s| 3350k| 3349k| 3437k| 1.0 |2172M| 169 | 1 | 631 | 396 | 631 | 161 |1187k| 33 |9988 | 0.000000e+00 | 1.002900e+04 | Inf
1226.52/1226.52 c 1181s| 3360k| 3359k| 3447k| 1.0 |2178M| 169 | 0 | 631 | 396 | 631 | 157 |1190k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1230.12/1230.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.12/1230.17 c 1185s| 3370k| 3369k| 3456k| 1.0 |2185M| 169 | 1 | 631 | 396 | 631 | 161 |1194k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1233.81/1233.82 c 1189s| 3380k| 3379k| 3466k| 1.0 |2191M| 169 | 4 | 631 | 396 | 631 | 159 |1198k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1237.52/1237.50 c 1192s| 3390k| 3389k| 3477k| 1.0 |2198M| 169 | 0 | 631 | 396 | 631 | 159 |1202k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1241.21/1241.23 c 1196s| 3400k| 3399k| 3488k| 1.0 |2204M| 169 | 0 | 631 | 396 | 631 | 163 |1206k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1244.91/1244.93 c 1199s| 3410k| 3409k| 3500k| 1.0 |2211M| 169 | 0 | 631 | 396 | 631 | 163 |1210k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1248.52/1248.57 c 1203s| 3420k| 3419k| 3510k| 1.0 |2217M| 169 | 0 | 631 | 396 | 631 | 130 |1213k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1252.21/1252.29 c 1206s| 3430k| 3429k| 3522k| 1.0 |2223M| 169 | 0 | 631 | 396 | 631 | 160 |1217k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1255.92/1255.98 c 1210s| 3440k| 3439k| 3533k| 1.0 |2230M| 169 | 0 | 631 | 396 | 631 | 157 |1221k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1259.61/1259.67 c 1213s| 3450k| 3449k| 3543k| 1.0 |2236M| 169 | 4 | 631 | 396 | 631 | 161 |1225k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1263.31/1263.31 c 1217s| 3460k| 3459k| 3553k| 1.0 |2243M| 169 | 0 | 631 | 396 | 631 | 144 |1229k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1266.81/1266.88 c 1220s| 3470k| 3469k| 3562k| 1.0 |2249M| 175 | 0 | 631 | 396 | 631 | 133 |1233k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1270.52/1270.55 c 1224s| 3480k| 3479k| 3573k| 1.0 |2256M| 175 | 0 | 631 | 396 | 631 | 139 |1236k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1274.22/1274.21 c 1227s| 3490k| 3489k| 3582k| 1.0 |2262M| 175 | 2 | 631 | 396 | 631 | 165 |1240k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1277.82/1277.86 c 1231s| 3500k| 3499k| 3592k| 1.0 |2269M| 175 | 0 | 631 | 396 | 631 | 152 |1244k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1281.42/1281.50 c 1234s| 3510k| 3509k| 3602k| 1.0 |2275M| 175 | 3 | 631 | 396 | 631 | 161 |1248k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1285.11/1285.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.11/1285.13 c 1238s| 3520k| 3519k| 3611k| 1.0 |2281M| 175 | 0 | 631 | 396 | 631 | 134 |1252k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1288.71/1288.71 c 1241s| 3530k| 3529k| 3620k| 1.0 |2288M| 175 | 0 | 631 | 396 | 631 | 153 |1255k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1292.31/1292.35 c 1245s| 3540k| 3539k| 3629k| 1.0 |2294M| 175 | 0 | 631 | 396 | 631 | 145 |1259k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1296.01/1296.00 c 1248s| 3550k| 3549k| 3640k| 1.0 |2301M| 175 | 2 | 631 | 396 | 631 | 162 |1263k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1299.51/1299.59 c 1252s| 3560k| 3559k| 3649k| 1.0 |2307M| 175 | 1 | 631 | 396 | 631 | 127 |1266k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1303.11/1303.19 c 1255s| 3570k| 3569k| 3658k| 1.0 |2314M| 175 | 0 | 631 | 396 | 631 | 134 |1270k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1306.83/1306.80 c 1259s| 3580k| 3579k| 3667k| 1.0 |2320M| 175 | 0 | 631 | 396 | 631 | 162 |1274k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1310.41/1310.44 c 1262s| 3590k| 3589k| 3677k| 1.0 |2326M| 175 | 4 | 631 | 396 | 631 | 159 |1278k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1314.01/1314.09 c 1266s| 3600k| 3599k| 3686k| 1.0 |2333M| 175 | 1 | 631 | 396 | 631 | 164 |1281k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1317.62/1317.70 c 1269s| 3610k| 3609k| 3696k| 1.0 |2339M| 175 | 0 | 631 | 396 | 631 | 157 |1285k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1321.31/1321.32 c 1273s| 3620k| 3619k| 3704k| 1.0 |2346M| 175 | 0 | 631 | 396 | 631 | 127 |1289k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1324.91/1324.96 c 1276s| 3630k| 3629k| 3714k| 1.0 |2352M| 175 | 0 | 631 | 396 | 631 | 126 |1293k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1328.52/1328.57 c 1280s| 3640k| 3639k| 3723k| 1.0 |2359M| 175 | 0 | 631 | 396 | 631 | 125 |1296k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1332.22/1332.23 c 1283s| 3650k| 3649k| 3732k| 1.0 |2365M| 175 | 0 | 631 | 396 | 631 | 161 |1300k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1335.81/1335.86 c 1287s| 3660k| 3659k| 3741k| 1.0 |2372M| 175 | 0 | 631 | 396 | 631 | 163 |1304k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1339.42/1339.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.42/1339.48 c 1290s| 3670k| 3669k| 3750k| 1.0 |2378M| 175 | 0 | 631 | 396 | 631 | 160 |1308k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1343.02/1343.05 c 1294s| 3680k| 3679k| 3758k| 1.0 |2385M| 175 | 0 | 631 | 396 | 631 | 159 |1312k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1346.61/1346.65 c 1297s| 3690k| 3689k| 3767k| 1.0 |2391M| 175 | 0 | 631 | 396 | 631 | 161 |1315k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1350.22/1350.26 c 1301s| 3700k| 3699k| 3776k| 1.0 |2398M| 175 | 0 | 631 | 396 | 631 | 159 |1319k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1353.82/1353.86 c 1304s| 3710k| 3709k| 3785k| 1.0 |2404M| 175 | 0 | 631 | 396 | 631 | 164 |1323k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1357.52/1357.51 c 1308s| 3720k| 3719k| 3794k| 1.0 |2411M| 175 | 0 | 631 | 396 | 631 | 154 |1327k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1361.02/1361.09 c 1311s| 3730k| 3729k| 3803k| 1.0 |2417M| 175 | 0 | 631 | 396 | 631 | 125 |1330k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1364.72/1364.70 c 1315s| 3740k| 3739k| 3812k| 1.0 |2424M| 175 | 0 | 631 | 396 | 631 | 161 |1334k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1368.32/1368.35 c 1318s| 3750k| 3749k| 3821k| 1.0 |2430M| 175 | 0 | 631 | 396 | 631 | 160 |1337k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1372.01/1372.05 c 1322s| 3760k| 3759k| 3832k| 1.0 |2437M| 175 | 0 | 631 | 396 | 631 | 163 |1342k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1375.72/1375.71 c 1325s| 3770k| 3769k| 3843k| 1.0 |2443M| 175 | 0 | 631 | 396 | 631 | 152 |1345k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1379.32/1379.40 c 1329s| 3780k| 3779k| 3854k| 1.0 |2449M| 175 | 0 | 631 | 396 | 631 | 159 |1349k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1383.12/1383.10 c 1332s| 3790k| 3789k| 3866k| 1.0 |2456M| 175 | 0 | 631 | 396 | 631 | 163 |1353k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1386.71/1386.77 c 1336s| 3800k| 3799k| 3878k| 1.0 |2462M| 175 | 0 | 631 | 396 | 631 | 153 |1357k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1390.43/1390.47 c 1339s| 3810k| 3809k| 3888k| 1.0 |2469M| 175 | 2 | 631 | 396 | 631 | 163 |1361k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1393.92/1393.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.92/1393.99 c 1343s| 3820k| 3819k| 3897k| 1.0 |2475M| 175 | 0 | 631 | 396 | 631 | 143 |1364k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1397.41/1397.49 c 1346s| 3830k| 3829k| 3906k| 1.0 |2482M| 175 | 0 | 631 | 396 | 631 | 144 |1366k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1401.12/1401.10 c 1350s| 3840k| 3839k| 3916k| 1.0 |2488M| 175 | 2 | 631 | 396 | 631 | 125 |1369k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1404.82/1404.85 c 1353s| 3850k| 3849k| 3928k| 1.0 |2495M| 175 | 0 | 631 | 396 | 631 | 162 |1373k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1408.42/1408.44 c 1357s| 3860k| 3859k| 3938k| 1.0 |2501M| 175 | 0 | 631 | 396 | 631 | 161 |1377k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1412.02/1412.08 c 1360s| 3870k| 3869k| 3947k| 1.0 |2507M| 175 | 0 | 631 | 396 | 631 | 162 |1381k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1415.72/1415.70 c 1364s| 3880k| 3879k| 3957k| 1.0 |2514M| 175 | 0 | 631 | 396 | 631 | 162 |1384k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1419.32/1419.30 c 1367s| 3890k| 3889k| 3966k| 1.0 |2520M| 175 | 0 | 631 | 396 | 631 | 141 |1388k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1422.92/1422.92 c 1371s| 3900k| 3899k| 3976k| 1.0 |2527M| 175 | 0 | 631 | 396 | 631 | 131 |1392k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1426.63/1426.63 c 1374s| 3910k| 3909k| 3987k| 1.0 |2533M| 175 | 1 | 631 | 396 | 631 | 137 |1395k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1430.22/1430.24 c 1378s| 3920k| 3919k| 3997k| 1.0 |2540M| 175 | 1 | 631 | 396 | 631 | 143 |1399k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1433.82/1433.84 c 1381s| 3930k| 3929k| 4007k| 1.0 |2546M| 175 | 0 | 631 | 396 | 631 | 165 |1403k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1437.41/1437.45 c 1385s| 3940k| 3939k| 4016k| 1.0 |2553M| 175 | 1 | 631 | 396 | 631 | 162 |1406k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1441.03/1441.05 c 1388s| 3950k| 3949k| 4026k| 1.0 |2559M| 175 | 0 | 631 | 396 | 631 | 143 |1410k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1444.62/1444.67 c 1392s| 3960k| 3959k| 4036k| 1.0 |2566M| 175 | 0 | 631 | 396 | 631 | 125 |1413k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1448.21/1448.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.21/1448.30 c 1395s| 3970k| 3969k| 4046k| 1.0 |2572M| 175 | 0 | 631 | 396 | 631 | 137 |1417k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1451.93/1451.94 c 1399s| 3980k| 3979k| 4055k| 1.0 |2579M| 175 | 0 | 631 | 396 | 631 | 156 |1421k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1455.52/1455.59 c 1402s| 3990k| 3989k| 4065k| 1.0 |2585M| 175 | 0 | 631 | 396 | 631 | 162 |1425k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1459.21/1459.28 c 1406s| 4000k| 3999k| 4077k| 1.0 |2592M| 175 | 0 | 631 | 396 | 631 | 131 |1428k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1462.92/1462.97 c 1409s| 4010k| 4009k| 4089k| 1.0 |2598M| 175 | 0 | 631 | 396 | 631 | 124 |1432k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1466.62/1466.65 c 1413s| 4020k| 4019k| 4100k| 1.0 |2605M| 175 | 0 | 631 | 396 | 631 | 125 |1436k| 33 | 10k| 0.000000e+00 | 1.002900e+04 | Inf
1470.21/1470.29 c 1416s| 4030k| 4029k| 4110k| 1.0 |2611M| 175 | 1 | 631 | 396 | 631 | 145 |1440k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1474.03/1474.02 c 1420s| 4040k| 4039k| 4122k| 1.0 |2617M| 175 | 0 | 631 | 396 | 631 | 166 |1444k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1477.71/1477.72 c 1424s| 4050k| 4049k| 4133k| 1.0 |2624M| 175 | 0 | 631 | 396 | 631 | 161 |1448k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1481.42/1481.40 c 1427s| 4060k| 4059k| 4144k| 1.0 |2630M| 175 | 0 | 631 | 396 | 631 | 153 |1451k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1484.92/1484.97 c 1430s| 4070k| 4069k| 4153k| 1.0 |2637M| 175 | 0 | 631 | 396 | 631 | 139 |1455k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1488.33/1488.33 c 1434s| 4080k| 4079k| 4161k| 1.0 |2643M| 175 | 0 | 631 | 396 | 631 | 140 |1456k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1491.82/1491.86 c 1437s| 4090k| 4089k| 4170k| 1.0 |2650M| 175 | 0 | 631 | 396 | 631 | 125 |1459k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1495.42/1495.49 c 1441s| 4100k| 4099k| 4180k| 1.0 |2656M| 175 | 4 | 631 | 396 | 631 | 162 |1463k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1499.12/1499.11 c 1444s| 4110k| 4109k| 4190k| 1.0 |2663M| 175 | 0 | 631 | 396 | 631 | 161 |1466k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1502.71/1502.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.71/1502.74 c 1448s| 4120k| 4119k| 4200k| 1.0 |2669M| 175 | 0 | 631 | 396 | 631 | 125 |1470k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1506.31/1506.35 c 1451s| 4130k| 4129k| 4210k| 1.0 |2676M| 175 | 0 | 631 | 396 | 631 | 163 |1474k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1509.92/1509.99 c 1455s| 4140k| 4139k| 4220k| 1.0 |2682M| 175 | 0 | 631 | 396 | 631 | 157 |1477k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1513.62/1513.66 c 1458s| 4150k| 4149k| 4231k| 1.0 |2688M| 175 | 0 | 631 | 396 | 631 | 160 |1481k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1517.22/1517.26 c 1462s| 4160k| 4159k| 4241k| 1.0 |2695M| 175 | 0 | 631 | 396 | 631 | 160 |1484k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1520.82/1520.86 c 1465s| 4170k| 4169k| 4250k| 1.0 |2701M| 175 | 0 | 631 | 396 | 631 | 163 |1488k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1524.52/1524.56 c 1469s| 4180k| 4179k| 4262k| 1.0 |2708M| 175 | 0 | 631 | 396 | 631 | 161 |1492k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1528.12/1528.18 c 1472s| 4190k| 4189k| 4273k| 1.0 |2714M| 175 | 0 | 631 | 396 | 631 | 160 |1495k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1531.82/1531.86 c 1476s| 4200k| 4199k| 4284k| 1.0 |2721M| 175 | 0 | 631 | 396 | 631 | 157 |1499k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1535.53/1535.54 c 1479s| 4210k| 4209k| 4295k| 1.0 |2727M| 175 | 4 | 631 | 396 | 631 | 162 |1503k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1539.22/1539.24 c 1483s| 4220k| 4219k| 4307k| 1.0 |2734M| 175 | 0 | 631 | 396 | 631 | 143 |1507k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1542.72/1542.78 c 1486s| 4230k| 4229k| 4316k| 1.0 |2740M| 175 | 0 | 631 | 396 | 631 | 124 |1510k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1546.42/1546.45 c 1490s| 4240k| 4239k| 4328k| 1.0 |2746M| 175 | 0 | 631 | 396 | 631 | 161 |1514k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1550.12/1550.14 c 1493s| 4250k| 4249k| 4339k| 1.0 |2753M| 175 | 0 | 631 | 396 | 631 | 134 |1517k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1553.81/1553.83 c 1497s| 4260k| 4259k| 4350k| 1.0 |2759M| 175 | 4 | 631 | 396 | 631 | 161 |1521k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1557.52/1557.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.52/1557.56 c 1500s| 4270k| 4269k| 4361k| 1.0 |2766M| 175 | 0 | 631 | 396 | 631 | 161 |1525k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1561.22/1561.27 c 1504s| 4280k| 4279k| 4373k| 1.0 |2772M| 175 | 0 | 631 | 396 | 631 | 161 |1529k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1564.92/1564.90 c 1507s| 4290k| 4289k| 4382k| 1.0 |2779M| 175 | 0 | 631 | 396 | 631 | 130 |1533k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1568.63/1568.61 c 1511s| 4300k| 4299k| 4393k| 1.0 |2785M| 175 | 0 | 631 | 396 | 631 | 152 |1536k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1572.32/1572.34 c 1515s| 4310k| 4309k| 4406k| 1.0 |2792M| 175 | 0 | 631 | 396 | 631 | 161 |1540k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1576.02/1576.06 c 1518s| 4320k| 4319k| 4416k| 1.0 |2798M| 175 | 0 | 631 | 396 | 631 | 162 |1544k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1579.72/1579.72 c 1522s| 4330k| 4329k| 4427k| 1.0 |2805M| 175 | 0 | 631 | 396 | 631 | 158 |1548k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1583.32/1583.31 c 1525s| 4340k| 4339k| 4436k| 1.0 |2811M| 175 | 0 | 631 | 396 | 631 | 125 |1551k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1586.82/1586.89 c 1529s| 4350k| 4349k| 4446k| 1.0 |2817M| 175 | 3 | 631 | 396 | 631 | 159 |1555k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1590.53/1590.51 c 1532s| 4360k| 4359k| 4455k| 1.0 |2824M| 175 | 0 | 631 | 396 | 631 | 131 |1558k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1594.22/1594.24 c 1536s| 4370k| 4369k| 4466k| 1.0 |2830M| 175 | 0 | 631 | 396 | 631 | 162 |1562k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1597.92/1597.94 c 1539s| 4380k| 4379k| 4476k| 1.0 |2837M| 175 | 0 | 631 | 396 | 631 | 164 |1566k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1601.62/1601.63 c 1543s| 4390k| 4389k| 4486k| 1.0 |2843M| 175 | 0 | 631 | 396 | 631 | 164 |1570k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1605.22/1605.28 c 1546s| 4400k| 4399k| 4495k| 1.0 |2850M| 175 | 0 | 631 | 396 | 631 | 161 |1574k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1608.92/1608.93 c 1550s| 4410k| 4409k| 4504k| 1.0 |2856M| 175 | 2 | 631 | 396 | 631 | 164 |1578k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1612.52/1612.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.52/1612.58 c 1553s| 4420k| 4419k| 4514k| 1.0 |2863M| 175 | 1 | 631 | 396 | 631 | 133 |1581k| 33 | 11k| 0.000000e+00 | 1.002900e+04 | Inf
1615.72/1615.77 c (node 4428712) switching to memory saving mode (mem: 2736.0M/3420.0M)
1616.72/1616.71 o 721
1616.72/1616.71 c *1557s| 4428k| 4295k| 4523k| 1.0 |2796M| 281 | - | 631 | 396 | 631 | 168 |1585k| 33 | 11k| 0.000000e+00 | 7.210000e+02 | Inf
1618.22/1618.26 o 594
1618.22/1618.26 c *1559s| 4428k| 3914k| 4523k| 1.0 |2585M| 284 | - | 631 | 396 | 631 | 168 |1585k| 33 | 11k| 0.000000e+00 | 5.940000e+02 | Inf
1618.82/1618.88 o 571
1618.82/1618.88 c *1560s| 4428k| 3790k| 4523k| 1.0 |2515M| 284 | - | 631 | 396 | 631 | 169 |1585k| 33 | 11k| 0.000000e+00 | 5.710000e+02 | Inf
1619.92/1619.95 o 539
1619.92/1619.95 c *1561s| 4428k| 3578k| 4524k| 1.0 |2389M| 284 | - | 631 | 686 | 631 | 164 |1585k| 323 | 11k| 0.000000e+00 | 5.390000e+02 | Inf
1620.42/1620.40 o 531
1620.42/1620.40 c *1561s| 4429k| 3520k| 4524k| 1.0 |2355M| 284 | - | 631 |2396 | 631 | 161 |1585k|2033 | 11k| 0.000000e+00 | 5.310000e+02 | Inf
1622.82/1622.86 o 475
1622.82/1622.86 c *1564s| 4429k| 3025k| 4524k| 1.0 |2061M| 284 | - | 631 |3366 | 631 | 163 |1585k|3003 | 11k| 0.000000e+00 | 4.750000e+02 | Inf
1623.92/1623.96 o 452
1623.92/1623.96 c *1565s| 4429k| 2804k| 4524k| 1.0 |1934M| 284 | - | 631 |3376 | 631 | 162 |1585k|3013 | 11k| 0.000000e+00 | 4.520000e+02 | Inf
1625.73/1625.74 o 420
1625.73/1625.74 c *1566s| 4429k| 2478k| 4524k| 1.0 |1722M| 284 | - | 631 |3416 | 631 | 165 |1585k|3053 | 11k| 0.000000e+00 | 4.200000e+02 | Inf
1626.83/1626.89 o 401
1626.83/1626.89 c *1568s| 4429k| 2284k| 4524k| 1.0 |1592M| 284 | - | 631 |3447 | 631 | 165 |1585k|3084 | 11k| 0.000000e+00 | 4.010000e+02 | Inf
1627.32/1627.36 o 394
1627.32/1627.36 c *1568s| 4429k| 2211k| 4524k| 1.0 |1545M| 284 | - | 631 |3951 | 631 | 162 |1585k|3588 | 11k| 0.000000e+00 | 3.940000e+02 | Inf
1627.42/1627.49 o 393
1627.42/1627.49 c *1568s| 4429k| 2201k| 4524k| 1.0 |1539M| 284 | - | 631 |4134 | 631 | 163 |1585k|3771 | 11k| 0.000000e+00 | 3.930000e+02 | Inf
1629.53/1629.56 o 355
1629.53/1629.56 c *1570s| 4429k| 1818k| 4524k| 1.0 |1298M| 284 | - | 631 |4184 | 631 | 161 |1585k|3821 | 11k| 0.000000e+00 | 3.550000e+02 | Inf
1629.53/1629.56 c (node 4429569) switching to standard mode (mem: 1238.1M/3420.0M)
1631.13/1631.13 o 332
1631.13/1631.13 c *1572s| 4429k| 1582k| 4524k| 1.0 |1134M| 284 | - | 631 |4184 | 631 | 159 |1585k|3821 | 11k| 0.000000e+00 | 3.320000e+02 | Inf
1631.23/1631.28 c 1572s| 4430k| 1583k| 4525k| 1.0 |1134M| 284 | 0 | 631 |4185 | 631 | 126 |1585k|3822 | 11k| 0.000000e+00 | 3.320000e+02 | Inf
1632.22/1632.29 o 320
1632.22/1632.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.22/1632.29 c p1573s| 4430k| 1475k| 4525k| 1.0 |1061M| 284 | - | 631 |4191 | 631 | 132 |1585k|3828 | 11k| 0.000000e+00 | 3.200000e+02 | Inf
1633.72/1633.71 o 298
1633.72/1633.71 c *1574s| 4431k| 1288k| 4525k| 1.0 | 923M| 284 | - | 631 |4191 | 631 | 132 |1585k|3828 | 12k| 0.000000e+00 | 2.980000e+02 | Inf
1636.52/1636.55 o 293
1636.52/1636.55 c f1577s| 4438k| 1257k| 4527k| 1.0 | 899M| 284 | - | 631 |2021 | 631 | 124 |1585k|3830 | 12k| 0.000000e+00 | 2.930000e+02 | Inf
1636.83/1636.89 o 289
1636.83/1636.89 c f1577s| 4438k| 1231k| 4527k| 1.0 | 883M| 284 | - | 631 |2027 | 631 | 124 |1585k|3837 | 12k| 0.000000e+00 | 2.890000e+02 | Inf
1637.62/1637.69 o 278
1637.62/1637.69 c c1578s| 4439k| 1147k| 4528k| 1.0 | 819M| 284 | - | 631 |1996 | 631 | 129 |1585k|3837 | 12k| 0.000000e+00 | 2.780000e+02 | Inf
1638.42/1638.44 o 260
1638.42/1638.44 c p1579s| 4439k| 1033k| 4528k| 1.0 | 731M| 284 | - | 631 |1996 | 631 | 130 |1585k|3837 | 12k| 0.000000e+00 | 2.600000e+02 | Inf
1639.12/1639.13 o 249
1639.12/1639.13 c g1580s| 4439k|970605 | 4528k| 1.0 | 683M| 284 | - | 631 |1999 | 631 | 126 |1585k|3840 | 13k| 0.000000e+00 | 2.490000e+02 | Inf
1639.12/1639.14 c 1580s| 4440k|970636 | 4528k| 1.0 | 683M| 284 | 0 | 631 |1999 | 631 | 125 |1585k|3840 | 13k| 0.000000e+00 | 2.490000e+02 | Inf
1639.33/1639.38 o 248
1639.33/1639.38 c c1580s| 4440k|967506 | 4529k| 1.0 | 681M| 284 | - | 631 |2000 | 631 | 131 |1585k|3841 | 13k| 0.000000e+00 | 2.480000e+02 | Inf
1640.23/1640.22 o 236
1640.23/1640.22 c *1581s| 4440k|906790 | 4530k| 1.0 | 631M| 284 | - | 631 |1652 | 631 | 125 |1585k|3868 | 13k| 0.000000e+00 | 2.360000e+02 | Inf
1640.82/1640.84 o 226
1640.82/1640.84 c c1581s| 4441k|864652 | 4531k| 1.0 | 596M| 284 | - | 631 |1255 | 631 | 124 |1585k|3901 | 14k| 0.000000e+00 | 2.260000e+02 | Inf
1641.13/1641.13 o 219
1641.13/1641.13 c *1582s| 4441k|836785 | 4532k| 1.0 | 575M| 284 | - | 631 |1089 | 631 | 125 |1585k|3903 | 14k| 0.000000e+00 | 2.190000e+02 | Inf
1641.92/1641.97 o 206
1641.92/1641.97 c g1582s| 4442k|774274 | 4533k| 1.0 | 529M| 284 | - | 631 |1067 | 631 | 125 |1585k|3905 | 14k| 0.000000e+00 | 2.060000e+02 | Inf
1642.02/1642.10 o 204
1642.02/1642.10 c v1583s| 4442k|767199 | 4533k| 1.0 | 524M| 284 | - | 631 |1067 | 631 | 124 |1585k|3905 | 14k| 0.000000e+00 | 2.040000e+02 | Inf
1642.52/1642.58 o 184
1642.52/1642.58 c *1583s| 4442k|698432 | 4533k| 1.0 | 474M| 284 | - | 631 |1067 | 631 | 125 |1585k|3905 | 14k| 0.000000e+00 | 1.840000e+02 | Inf
1642.72/1642.73 o 180
1642.72/1642.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.72/1642.73 c c1583s| 4442k|680293 | 4533k| 1.0 | 462M| 284 | - | 631 |1065 | 631 | 128 |1585k|3905 | 14k| 0.000000e+00 | 1.800000e+02 | Inf
1643.22/1643.21 o 158
1643.22/1643.21 c g1584s| 4442k|608100 | 4533k| 1.0 | 406M| 284 | - | 631 |1065 | 631 | 125 |1585k|3905 | 14k| 0.000000e+00 | 1.580000e+02 | Inf
1643.33/1643.40 o 153
1643.33/1643.40 c *1584s| 4442k|577207 | 4534k| 1.0 | 389M| 284 | - | 631 |1067 | 631 | 129 |1585k|3907 | 14k| 0.000000e+00 | 1.530000e+02 | Inf
1643.43/1643.48 o 150
1643.43/1643.48 c *1584s| 4442k|567082 | 4534k| 1.0 | 384M| 284 | - | 631 |1067 | 631 | 125 |1585k|3907 | 14k| 0.000000e+00 | 1.500000e+02 | Inf
1643.93/1643.93 o 128
1643.93/1643.93 c *1584s| 4442k|501426 | 4534k| 1.0 | 330M| 284 | - | 631 |1067 | 631 | 125 |1585k|3907 | 14k| 0.000000e+00 | 1.280000e+02 | Inf
1644.02/1644.07 o 124
1644.02/1644.07 c p1585s| 4442k|486910 | 4534k| 1.0 | 317M| 284 | - | 631 |1066 | 631 | 124 |1585k|3907 | 14k| 0.000000e+00 | 1.240000e+02 | Inf
1644.12/1644.17 o 118
1644.12/1644.17 c f1585s| 4442k|474811 | 4534k| 1.0 | 308M| 284 | - | 631 |1067 | 631 | 126 |1585k|3909 | 14k| 0.000000e+00 | 1.180000e+02 | Inf
1644.32/1644.36 o 114
1644.32/1644.36 c *1585s| 4442k|452585 | 4534k| 1.0 | 287M| 284 | - | 631 |1030 | 631 | 124 |1585k|3914 | 14k| 0.000000e+00 | 1.140000e+02 | Inf
1644.72/1644.78 o 92
1644.72/1644.78 c *1585s| 4442k|379510 | 4534k| 1.0 | 245M| 284 | - | 631 | 978 | 631 | 124 |1585k|3925 | 14k| 0.000000e+00 | 9.200000e+01 | Inf
1644.82/1644.83 o 89
1644.82/1644.83 c v1585s| 4442k|376682 | 4534k| 1.0 | 243M| 284 | - | 631 | 904 | 631 | 127 |1585k|3929 | 14k| 0.000000e+00 | 8.900000e+01 | Inf
1645.12/1645.19 o 82
1645.12/1645.19 c c1586s| 4442k|335385 | 4535k| 1.0 | 204M| 284 | - | 631 | 897 | 631 | 127 |1585k|3935 | 14k| 0.000000e+00 | 8.200000e+01 | Inf
1645.22/1645.24 o 81
1645.22/1645.24 c g1586s| 4443k|334474 | 4535k| 1.0 | 204M| 284 | - | 631 | 851 | 631 | 126 |1585k|3935 | 14k| 0.000000e+00 | 8.100000e+01 | Inf
1645.42/1645.45 o 60
1645.42/1645.45 c *1586s| 4443k|299961 | 4535k| 1.0 | 182M| 284 | - | 631 | 850 | 631 | 127 |1585k|3935 | 14k| 0.000000e+00 | 6.000000e+01 | Inf
1645.42/1645.49 o 59
1645.42/1645.49 c *1586s| 4443k|298356 | 4535k| 1.0 | 181M| 284 | - | 631 | 802 | 631 | 126 |1585k|3935 | 14k| 0.000000e+00 | 5.900000e+01 | Inf
1646.23/1646.20 o 56
1646.23/1646.20 c *1587s| 4444k|264508 | 4538k| 1.0 | 162M| 284 | - | 631 | 756 | 631 | 139 |1585k|3952 | 14k| 0.000000e+00 | 5.600000e+01 | Inf
1646.33/1646.32 o 46
1646.33/1646.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.33/1646.32 c *1587s| 4444k|244239 | 4538k| 1.0 | 150M| 284 | - | 631 | 756 | 631 | 138 |1585k|3952 | 14k| 0.000000e+00 | 4.600000e+01 | Inf
1646.52/1646.55 o 38
1646.52/1646.55 c *1587s| 4444k|209080 | 4539k| 1.0 | 130M| 284 | - | 631 | 632 | 631 | 130 |1585k|3972 | 14k| 0.000000e+00 | 3.800000e+01 | Inf
1646.63/1646.66 o 31
1646.63/1646.66 c *1587s| 4444k|203666 | 4539k| 1.0 | 126M| 284 | - | 631 | 362 | 631 | 128 |1585k|4004 | 15k| 0.000000e+00 | 3.100000e+01 | Inf
1646.82/1646.82 o 22
1646.82/1646.82 c v1587s| 4444k|184876 | 4540k| 1.0 | 116M| 284 | - | 631 | 384 | 631 | 124 |1585k|4045 | 15k| 0.000000e+00 | 2.200000e+01 | Inf
1646.92/1646.91 o 18
1646.92/1646.91 c l1587s| 4444k|176157 | 4540k| 1.0 | 111M| 284 | - | 631 | 324 | 631 | 127 |1585k|4049 | 15k| 0.000000e+00 | 1.800000e+01 | Inf
1648.42/1648.44 c
1648.42/1648.44 c SCIP Status : problem is solved [optimal solution found]
1648.42/1648.44 c Solving Time (sec) : 1588.77
1648.42/1648.44 c Solving Nodes : 4444382
1648.42/1648.44 c Primal Bound : +1.80000000000000e+01 (188 solutions)
1648.42/1648.44 c Dual Bound : +1.80000000000000e+01
1648.42/1648.44 c Gap : 0.00 %
1648.42/1648.44 s OPTIMUM FOUND
1648.42/1648.44 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216
1648.42/1648.44 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 x207 -x206 -x205 x204 -x203 -x202 x201 x200 x199 -x198 x197 x196 x195 x194
1648.42/1648.44 v -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 x175 -x174 -x173 x172
1648.42/1648.44 v x171 x170 -x169 -x168 x167 x166 x165 x164 -x163 x162 x161 x160 -x159 x158 -x157 -x156 x155 -x154 x153 x152 x151 -x150 -x149
1648.42/1648.44 v -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 x137 x136 -x135 x134 x133 x132 x131 -x130 -x129 -x128 -x127
1648.42/1648.44 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 x118 x117 x116 x115 x114 x113 -x112 x111 -x110 x109 x108 x107 x106 x105 x104 -x103
1648.42/1648.44 v x102 -x101 x100 x99 x98 x97 x96 x95 -x94 x93 -x92 x91 x90 x89 x88 x87 x86 x85 -x84 -x83 x82 -x81 -x80 x79 x78 x77 x76 -x75
1648.42/1648.44 v -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 -x49
1648.42/1648.44 v 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 -x23 x22
1648.42/1648.44 v -x21 -x20 x19 x18 -x17 -x16 x15 -x14 -x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1648.42/1648.44 c SCIP Status : problem is solved [optimal solution found]
1648.42/1648.44 c Solving Time : 1588.77
1648.42/1648.44 c Original Problem :
1648.42/1648.44 c Problem name : HOME/instance-2692503-1277931721.wbo
1648.42/1648.44 c Variables : 631 (434 binary, 0 integer, 0 implicit integer, 197 continuous)
1648.42/1648.44 c Constraints : 395 initial, 395 maximal
1648.42/1648.44 c Presolved Problem :
1648.42/1648.44 c Problem name : t_HOME/instance-2692503-1277931721.wbo
1648.42/1648.44 c Variables : 631 (434 binary, 0 integer, 0 implicit integer, 197 continuous)
1648.42/1648.44 c Constraints : 394 initial, 4191 maximal
1648.42/1648.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1648.42/1648.44 c trivial : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c implics : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c probing : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c indicator : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c varbound : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c linear : 0.01 0 0 0 197 0 1 39 78
1648.42/1648.44 c logicor : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1648.42/1648.44 c root node : - 182 - - 347 - - - -
1648.42/1648.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1648.42/1648.44 c integral : 0 0 0 5093022 0 0 19 0 0 1535944
1648.42/1648.44 c indicator : 197 0 7873671 4325027 0 11 3780785 0 0 0
1648.42/1648.44 c varbound : 1 6 741428 461603 0 0 49789 1 0 0
1648.42/1648.44 c linear : 196 6 7874077 4325031 0 402 2552341 1585836 0 0
1648.42/1648.44 c logicor : 0+ 0 167942 0 0 17 76791 0 0 0
1648.42/1648.44 c bounddisjunction : 0+ 0 83 0 0 0 0 0 0 0
1648.42/1648.44 c countsols : 0 0 0 3675904 0 0 0 0 0 0
1648.42/1648.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1648.42/1648.44 c integral : 10.42 0.00 0.00 10.42 0.00
1648.42/1648.44 c indicator : 64.92 0.13 19.08 45.71 0.00
1648.42/1648.44 c varbound : 0.36 0.00 0.28 0.08 0.00
1648.42/1648.44 c linear : 73.27 0.00 18.66 54.61 0.00
1648.42/1648.44 c logicor : 0.36 0.00 0.36 0.00 0.00
1648.42/1648.44 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1648.42/1648.44 c countsols : 0.83 0.00 0.00 0.83 0.00
1648.42/1648.44 c Propagators : Time Calls Cutoffs DomReds
1648.42/1648.44 c vbounds : 2.02 100253 0 345
1648.42/1648.44 c rootredcost : 1.77 48 0 163
1648.42/1648.44 c pseudoobj : 43.96 7873850 104 47652
1648.42/1648.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1648.42/1648.44 c propagation : 0.02 523 521 1271 16.3 6575 3.9 -
1648.42/1648.44 c infeasible LP : 0.00 14 14 16 3.8 0 0.0 0
1648.42/1648.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1648.42/1648.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1648.42/1648.44 c pseudo solution : 0.00 20 20 52 14.2 327 4.0 -
1648.42/1648.44 c applied globally : - - - 4050 3.8 - - -
1648.42/1648.44 c applied locally : - - - 0 0.0 - - -
1648.42/1648.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1648.42/1648.44 c cut pool : 0.00 4 - - 53 - (maximal pool size: 343)
1648.42/1648.44 c redcost : 63.89 5093296 0 8147 0 0
1648.42/1648.44 c impliedbounds : 0.00 5 0 0 0 0
1648.42/1648.44 c intobj : 0.00 0 0 0 0 0
1648.42/1648.44 c cgmip : 0.00 0 0 0 0 0
1648.42/1648.44 c gomory : 0.00 5 0 0 62 0
1648.42/1648.44 c strongcg : 0.00 5 0 0 0 0
1648.42/1648.44 c cmir : 0.00 5 0 0 129 0
1648.42/1648.44 c flowcover : 0.04 5 0 0 238 0
1648.42/1648.44 c clique : 0.00 1 0 0 0 0
1648.42/1648.44 c zerohalf : 0.00 0 0 0 0 0
1648.42/1648.44 c mcf : 0.00 1 0 0 0 0
1648.42/1648.44 c rapidlearning : 0.00 0 0 0 0 0
1648.42/1648.44 c Pricers : Time Calls Vars
1648.42/1648.44 c problem variables: 0.00 0 0
1648.42/1648.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1648.42/1648.44 c relpscost : 8.63 767991 0 19 0 0 1535944
1648.42/1648.44 c pscost : 0.00 0 0 0 0 0 0
1648.42/1648.44 c inference : 93.61 3675876 0 0 0 0 7351752
1648.42/1648.44 c mostinf : 0.00 0 0 0 0 0 0
1648.42/1648.44 c leastinf : 0.00 0 0 0 0 0 0
1648.42/1648.44 c fullstrong : 0.00 0 0 0 0 0 0
1648.42/1648.44 c allfullstrong : 0.00 0 0 0 0 0 0
1648.42/1648.44 c random : 0.00 0 0 0 0 0 0
1648.42/1648.44 c Primal Heuristics : Time Calls Found
1648.42/1648.44 c LP solutions : 18.20 - 28
1648.42/1648.44 c pseudo solutions : 0.00 - 0
1648.42/1648.44 c oneopt : 3.01 45 0
1648.42/1648.44 c crossover : 1.51 22 0
1648.42/1648.44 c coefdiving : 13.03 26170 5
1648.42/1648.44 c guideddiving : 12.77 26170 4
1648.42/1648.44 c pscostdiving : 12.12 26170 3
1648.42/1648.44 c fracdiving : 11.98 26170 3
1648.42/1648.44 c veclendiving : 9.76 26170 3
1648.42/1648.44 c objpscostdiving : 3.79 21144 0
1648.42/1648.44 c rootsoldiving : 4.37 21144 0
1648.42/1648.44 c trivial : 0.00 2 2
1648.42/1648.44 c simplerounding : 2.26 747425 0
1648.42/1648.44 c zirounding : 1.29 1000 0
1648.42/1648.44 c rounding : 1.56 12093 0
1648.42/1648.44 c shifting : 0.58 3858 0
1648.42/1648.44 c intshifting : 0.23 237 0
1648.42/1648.44 c twoopt : 0.00 0 0
1648.42/1648.44 c fixandinfer : 0.00 0 0
1648.42/1648.44 c feaspump : 0.02 0 0
1648.42/1648.44 c intdiving : 0.00 0 0
1648.42/1648.44 c actconsdiving : 0.00 0 0
1648.42/1648.44 c linesearchdiving : 9.98 26170 1
1648.42/1648.44 c octane : 0.00 0 0
1648.42/1648.44 c rens : 0.01 1 0
1648.42/1648.44 c rins : 0.00 0 0
1648.42/1648.44 c localbranching : 0.00 0 0
1648.42/1648.44 c mutation : 0.00 0 0
1648.42/1648.44 c dins : 0.00 0 0
1648.42/1648.44 c undercover : 0.00 0 0
1648.42/1648.44 c nlp : 1.15 0 0
1648.42/1648.44 c trysol : 2.07 55621 139
1648.42/1648.44 c LP : Time Calls Iterations Iter/call Iter/sec
1648.42/1648.44 c primal LP : 0.01 0 0 0.00 0.00
1648.42/1648.44 c dual LP : 666.93 2044648 4320051 2.11 6477.52
1648.42/1648.44 c lex dual LP : 0.00 0 0 0.00 -
1648.42/1648.44 c barrier LP : 0.00 0 0 0.00 -
1648.42/1648.44 c diving/probing LP: 24.54 114739 220192 1.92 8972.78
1648.42/1648.44 c strong branching : 5.60 15049 80303 5.34 14339.82
1648.42/1648.44 c (at root node) : - 33 1565 47.42 -
1648.42/1648.44 c conflict analysis: 0.00 0 0 0.00 -
1648.42/1648.44 c B&B Tree :
1648.42/1648.44 c number of runs : 1
1648.42/1648.44 c nodes : 4444382
1648.42/1648.44 c nodes (total) : 4444382
1648.42/1648.44 c nodes left : 0
1648.42/1648.44 c max depth : 284
1648.42/1648.44 c max depth (total): 284
1648.42/1648.44 c backtracks : 50947 (1.1%)
1648.42/1648.44 c delayed cutoffs : 188501
1648.42/1648.44 c repropagations : 2771 (10425 domain reductions, 55 cutoffs)
1648.42/1648.44 c avg switch length: 2.32
1648.42/1648.44 c switching time : 71.04
1648.42/1648.44 c Solution :
1648.42/1648.44 c Solutions found : 188 (49 improvements)
1648.42/1648.44 c First Solution : +1.01210000000000e+04 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1648.42/1648.44 c Primal Bound : +1.80000000000000e+01 (in run 1, after 4444382 nodes, 1587.37 seconds, depth 54, found by <linesearchdiving>)
1648.42/1648.44 c Dual Bound : +1.80000000000000e+01
1648.42/1648.44 c Gap : 0.00 %
1648.42/1648.44 c Root Dual Bound : +0.00000000000000e+00
1648.42/1648.44 c Root Iterations : 270
1648.42/1648.47 c Time complete: 1648.49.
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692503-1277931721/watcher-2692503-1277931721 -o /tmp/evaluation-result-2692503-1277931721/solver-2692503-1277931721 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692503-1277931721.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.87 1.97 2.05 3/182 17593 /proc/meminfo: memFree=31363564/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=9744 CPUtime=0 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 1733 0 0 0 0 0 0 0 25 0 1 0 134468290 9977856 1652 4089446400 4194304 8223781 140736188734688 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17593/statm: 2436 1652 369 984 0 1449 0 [startup+0.0682089 s] /proc/loadavg: 1.87 1.97 2.05 3/182 17593 /proc/meminfo: memFree=31363564/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=15768 CPUtime=0.06 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 3779 0 0 0 6 0 0 0 18 0 1 0 134468290 16146432 3076 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 3942 3076 564 984 0 2955 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15768 [startup+0.1002 s] /proc/loadavg: 1.87 1.97 2.05 3/182 17593 /proc/meminfo: memFree=31363564/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=15884 CPUtime=0.09 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 6238 0 0 0 9 0 0 0 18 0 1 0 134468290 16265216 3128 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 3971 3128 578 984 0 2984 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15884 [startup+0.300165 s] /proc/loadavg: 1.87 1.97 2.05 3/182 17593 /proc/meminfo: memFree=31363564/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=15844 CPUtime=0.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 6239 0 0 0 28 1 0 0 18 0 1 0 134468290 16224256 3119 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 3961 3119 578 984 0 2974 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15844 [startup+0.70109 s] /proc/loadavg: 1.87 1.97 2.05 3/182 17593 /proc/meminfo: memFree=31363564/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=15884 CPUtime=0.69 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 6246 0 0 0 67 2 0 0 18 0 1 0 134468290 16265216 3126 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 3971 3126 580 984 0 2984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15884 [startup+1.50096 s] /proc/loadavg: 1.87 1.97 2.05 3/183 17594 /proc/meminfo: memFree=31351652/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=19004 CPUtime=1.5 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 14152 0 0 0 145 5 0 0 19 0 1 0 134468290 19460096 3905 4089446400 4194304 8223781 140736188734688 18446744073709551615 5479128 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 4751 3905 581 984 0 3764 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19004 [startup+3.10066 s] /proc/loadavg: 1.87 1.97 2.05 3/183 17594 /proc/meminfo: memFree=31348428/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=22776 CPUtime=3.09 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 19864 0 0 0 298 11 0 0 25 0 1 0 134468290 23322624 4867 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 5694 4867 581 984 0 4707 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22776 [startup+6.30107 s] /proc/loadavg: 1.88 1.97 2.05 3/183 17594 /proc/meminfo: memFree=31341740/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=28824 CPUtime=6.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 23766 0 0 0 606 23 0 0 25 0 1 0 134468290 29515776 6397 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 7206 6397 586 984 0 6219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28824 [startup+12.7009 s] /proc/loadavg: 1.89 1.97 2.05 3/183 17594 /proc/meminfo: memFree=31329000/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=42476 CPUtime=12.7 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 29658 0 0 0 1221 49 0 0 25 0 1 0 134468290 43495424 9906 4089446400 4194304 8223781 140736188734688 18446744073709551615 4902883 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 10619 9906 586 984 0 9632 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 42476 [startup+25.5006 s] /proc/loadavg: 1.91 1.97 2.05 3/183 17594 /proc/meminfo: memFree=31301804/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=69240 CPUtime=25.49 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 38336 0 0 0 2452 97 0 0 25 0 1 0 134468290 70901760 16208 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17593/statm: 17310 16208 586 984 0 16323 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69240 [startup+51.1009 s] /proc/loadavg: 1.94 1.97 2.04 3/183 17595 /proc/meminfo: memFree=31249860/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=119520 CPUtime=51.09 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 53576 0 0 0 4912 197 0 0 25 0 1 0 134468290 122388480 29074 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 29880 29074 586 984 0 28893 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 119520 [startup+102.307 s] /proc/loadavg: 1.97 1.97 2.04 3/183 17597 /proc/meminfo: memFree=31145412/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=220720 CPUtime=102.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 80791 0 0 0 9841 388 0 0 25 0 1 0 134468290 226017280 53910 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 55180 53910 586 984 0 54193 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 220720 [startup+162.301 s] /proc/loadavg: 1.99 1.97 2.03 3/183 17598 /proc/meminfo: memFree=31019760/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=338204 CPUtime=162.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 111151 0 0 0 15610 619 0 0 25 0 1 0 134468290 346320896 81898 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 84551 81898 586 984 0 83564 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 338204 [startup+222.301 s] /proc/loadavg: 2.04 1.99 2.03 3/183 17599 /proc/meminfo: memFree=30893220/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=445272 CPUtime=222.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 138560 0 0 0 21394 835 0 0 25 0 1 0 134468290 455958528 109307 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 111318 109307 586 984 0 110331 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 445272 [startup+282.301 s] /proc/loadavg: 2.13 2.02 2.04 3/183 17601 /proc/meminfo: memFree=30770272/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=550588 CPUtime=282.29 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 165481 0 0 0 27170 1059 0 0 25 0 1 0 134468290 563802112 136227 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 137647 136227 586 984 0 136660 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 550588 [startup+342.301 s] /proc/loadavg: 2.04 2.01 2.03 3/183 17603 /proc/meminfo: memFree=30647340/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=653880 CPUtime=342.3 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 194315 0 0 0 32950 1280 0 0 25 0 1 0 134468290 669573120 162672 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 163470 162672 586 984 0 162483 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 653880 [startup+402.301 s] /proc/loadavg: 2.01 2.01 2.03 3/183 17605 /proc/meminfo: memFree=30525156/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=772308 CPUtime=402.3 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 220420 0 0 0 38735 1495 0 0 25 0 1 0 134468290 790843392 188777 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 193077 188777 586 984 0 192090 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 772308 [startup+462.301 s] /proc/loadavg: 2.04 2.02 2.03 3/183 17606 /proc/meminfo: memFree=30400464/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=874196 CPUtime=462.3 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 246461 0 0 0 44516 1714 0 0 25 0 1 0 134468290 895176704 214818 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 218549 214818 586 984 0 217562 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 874196 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.02 3/183 17607 /proc/meminfo: memFree=30277408/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=976416 CPUtime=522.3 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 272641 0 0 0 50301 1929 0 0 25 0 1 0 134468290 999849984 240997 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 244104 240997 586 984 0 243117 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 976416 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.01 3/183 17609 /proc/meminfo: memFree=30150388/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=1080136 CPUtime=582.3 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 299164 0 0 0 56079 2151 0 0 25 0 1 0 134468290 1106059264 267520 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 270034 267520 586 984 0 269047 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1080136 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.01 3/183 17611 /proc/meminfo: memFree=30023220/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=1181340 CPUtime=642.31 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 327476 0 0 0 61864 2367 0 0 25 0 1 0 134468290 1209692160 293444 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 295335 293444 586 984 0 294348 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1181340 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29114576/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=1946316 CPUtime=1062.31 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 514800 0 0 0 102328 3903 0 0 25 0 1 0 134468290 1993027584 480764 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 486579 480764 586 984 0 485592 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1946316 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17623 /proc/meminfo: memFree=28987296/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2051508 CPUtime=1122.31 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 541714 0 0 0 108112 4119 0 0 25 0 1 0 134468290 2100744192 507678 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 512877 507678 586 984 0 511890 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2051508 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17625 /proc/meminfo: memFree=28866228/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2151024 CPUtime=1182.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 567225 0 0 0 113893 4339 0 0 25 0 1 0 134468290 2202648576 533189 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 537756 533189 586 984 0 536769 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2151024 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17627 /proc/meminfo: memFree=28734356/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2256112 CPUtime=1242.31 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 596490 0 0 0 119666 4565 0 0 25 0 1 0 134468290 2310258688 560085 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 564028 560085 586 984 0 563041 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2256112 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17629 /proc/meminfo: memFree=28586244/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2361512 CPUtime=1302.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 623456 0 0 0 125451 4781 0 0 25 0 1 0 134468290 2418188288 587051 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 590378 587051 586 984 0 589391 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2361512 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17630 /proc/meminfo: memFree=28432516/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2469896 CPUtime=1362.31 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 651147 0 0 0 131234 4997 0 0 25 0 1 0 134468290 2529173504 614742 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 617474 614742 586 984 0 616487 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2469896 [startup+1422.31 s] /proc/loadavg: 2.08 2.03 2.01 3/183 17631 /proc/meminfo: memFree=28273732/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2574004 CPUtime=1422.33 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 677812 0 0 0 137009 5224 0 0 25 0 1 0 134468290 2635780096 641407 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 643501 641407 586 984 0 642514 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2574004 [startup+1482.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 17633 /proc/meminfo: memFree=28114700/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2678728 CPUtime=1482.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 704593 0 0 0 142794 5438 0 0 25 0 1 0 134468290 2743017472 668188 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 669682 668188 586 984 0 668695 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2678728 [startup+1542.3 s] /proc/loadavg: 2.09 2.05 2.01 3/183 17635 /proc/meminfo: memFree=27950836/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2849660 CPUtime=1542.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 731573 0 0 0 148571 5661 0 0 25 0 1 0 134468290 2918051840 695168 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 712415 695168 586 984 0 711428 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2849660 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 17637 /proc/meminfo: memFree=27794556/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2952424 CPUtime=1602.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 757895 0 0 0 154359 5873 0 0 25 0 1 0 134468290 3023282176 721490 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 738106 721490 586 984 0 737119 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2952424 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 2.02 2.04 2.00 3/183 17637 /proc/meminfo: memFree=27768004/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2970764 CPUtime=1612.72 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 762587 0 0 0 155358 5914 0 0 25 0 1 0 134468290 3042062336 726182 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 742691 726182 586 984 0 741704 0 Current children cumulated CPU time (s) 1612.72 Current children cumulated vsize (KiB) 2970764 [startup+1625.5 s] /proc/loadavg: 2.02 2.04 2.00 3/183 17637 /proc/meminfo: memFree=27749020/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2977116 CPUtime=1625.52 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 781490 0 0 0 156624 5928 0 0 25 0 1 0 134468290 3048566784 727785 4089446400 4194304 8223781 140736188734688 18446744073709551615 6206655 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 744279 727785 586 984 0 743292 0 Current children cumulated CPU time (s) 1625.52 Current children cumulated vsize (KiB) 2977116 [startup+1638.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27777028/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2879500 CPUtime=1638.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 805797 0 0 0 157887 5945 0 0 25 0 1 0 134468290 2948608000 717782 4089446400 4194304 8223781 140736188734688 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 719875 717782 586 984 0 718888 0 Current children cumulated CPU time (s) 1638.32 Current children cumulated vsize (KiB) 2879500 [startup+1644.7 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27772056/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2879612 CPUtime=1644.72 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 815193 0 0 0 158519 5953 0 0 25 0 1 0 134468290 2948722688 717790 4089446400 4194304 8223781 140736188734688 18446744073709551615 6206655 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 719903 717790 586 984 0 718916 0 Current children cumulated CPU time (s) 1644.72 Current children cumulated vsize (KiB) 2879612 [startup+1646.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27790160/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2852128 CPUtime=1646.33 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 818354 0 0 0 158678 5955 0 0 25 0 1 0 134468290 2920579072 710937 4089446400 4194304 8223781 140736188734688 18446744073709551615 6206658 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 713032 710937 586 984 0 712045 0 Current children cumulated CPU time (s) 1646.33 Current children cumulated vsize (KiB) 2852128 [startup+1647.1 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27815324/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2799920 CPUtime=1647.13 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 818391 0 0 0 158756 5957 0 0 25 0 1 0 134468290 2867118080 697877 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 699980 697877 588 984 0 698993 0 Current children cumulated CPU time (s) 1647.13 Current children cumulated vsize (KiB) 2799920 [startup+1647.9 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27873852/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2763096 CPUtime=1647.92 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 818391 0 0 0 158832 5960 0 0 25 0 1 0 134468290 2829410304 688678 4089446400 4194304 8223781 140736188734688 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 690774 688678 588 984 0 689787 0 Current children cumulated CPU time (s) 1647.92 Current children cumulated vsize (KiB) 2763096 [startup+1648.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27873852/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=2315440 CPUtime=1648.32 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 818391 0 0 0 158869 5963 0 0 25 0 1 0 134468290 2371010560 576889 4089446400 4194304 8223781 140736188734688 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 578827 576856 588 984 0 577840 0 Current children cumulated CPU time (s) 1648.32 Current children cumulated vsize (KiB) 2315440 [startup+1648.4 s] /proc/loadavg: 2.01 2.03 2.00 3/183 17637 /proc/meminfo: memFree=27873852/32951124 swapFree=67111528/67111528 [pid=17593] ppid=17591 vsize=1364824 CPUtime=1648.42 /proc/17593/stat : 17593 (pbscip.linux.x8) R 17591 17593 16712 0 -1 4202496 818391 0 0 0 158875 5967 0 0 25 0 1 0 134468290 1397579776 339519 4089446400 4194304 8223781 140736188734688 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17593/statm: 341010 339274 588 984 0 340023 0 Current children cumulated CPU time (s) 1648.42 Current children cumulated vsize (KiB) 1364824 Child status: 0 Real time (s): 1648.47 CPU time (s): 1648.5 CPU user time (s): 1588.77 CPU system time (s): 59.7289 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3106696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1588.77 system time used= 59.7289 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 818397 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= 1551 runsolver used 2.86456 second user time and 6.12807 second system time The end
Begin job on node134 at 2010-06-30 23:02:01 IDJOB=2692503 IDBENCH=79322 IDSOLVER=1204 FILE ID=node134/2692503-1277931721 PBS_JOBID= 11197373 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692503-1277931721/watcher-2692503-1277931721 -o /tmp/evaluation-result-2692503-1277931721/solver-2692503-1277931721 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692503-1277931721.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f0f1b4bd1941524addf8f99056f86f1e RANDOM SEED=1026337230 node134.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7397.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31364216 kB Buffers: 221768 kB Cached: 1101316 kB SwapCached: 0 kB Active: 721208 kB Inactive: 719180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31364216 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9784 kB Writeback: 0 kB AnonPages: 117516 kB Mapped: 16152 kB Slab: 81892 kB PageTables: 4892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 267300 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node134 at 2010-06-30 23:29:30