Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1551.72 | 1551.68 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo |
| MD5SUM | d36b5cd023115813d6df483e2bae50a2 |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 0.001999 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 274 |
| Total number of constraints | 259 |
| Number of soft constraints | 259 |
| Number of constraints which are clauses | 159 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 12525 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 12524 |
| Biggest number in a constraint | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705220-1278578353.wbo>
0.00/0.00 c original problem has 792 variables (533 bin, 0 int, 259 impl, 0 cont) and 519 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 12524
0.00/0.01 c feasible solution found by trivial heuristic, objective value 1.252400e+04
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 50 chg sides, 100 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 259 chg bounds, 50 chg sides, 100 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 259 chg bounds, 50 chg sides, 100 chg coeffs, 1 upgd conss, 418 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/533 (18.9%) - 0 fixings, 0 aggregations, 0 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, 259 tightened bounds, 0 added holes, 50 changed sides, 100 changed coefficients
0.00/0.02 c 422 implications, 0 cliques
0.00/0.02 c presolved problem has 792 variables (533 bin, 0 int, 259 impl, 0 cont) and 518 constraints
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 258 constraints of type <linear>
0.00/0.02 c 259 constraints of type <indicator>
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.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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 | - |2518k| 0 | 0 | 792 | 518 | 792 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.252400e+04 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 50 | - |2584k| 0 | 45 | 792 | 518 | 792 | 50 | 50 | 0 | 0 | 0.000000e+00 | 1.252400e+04 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 97 | - |2641k| 0 | 28 | 792 | 518 | 792 | 103 | 103 | 0 | 0 | 0.000000e+00 | 1.252400e+04 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 136 | - |2708k| 0 | 49 | 792 | 518 | 792 | 132 | 132 | 0 | 0 | 0.000000e+00 | 1.252400e+04 | Inf
0.00/0.06 o 12517
0.00/0.06 c y 0.1s| 1 | 0 | 136 | - |2719k| 0 | 49 | 792 | 518 | 792 | 132 | 132 | 0 | 0 | 0.000000e+00 | 1.251700e+04 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 170 | - |2797k| 0 | 50 | 792 | 518 | 792 | 157 | 157 | 0 | 0 | 0.000000e+00 | 1.251700e+04 | Inf
0.08/0.09 c 0.1s| 1 | 0 | 291 | - |2889k| 0 | 69 | 792 | 518 | 792 | 193 | 193 | 0 | 0 | 0.000000e+00 | 1.251700e+04 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 346 | - |2957k| 0 | 79 | 792 | 518 | 792 | 221 | 221 | 0 | 0 | 0.000000e+00 | 1.251700e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 410 | - |3032k| 0 | 82 | 792 | 518 | 792 | 249 | 249 | 0 | 0 | 0.000000e+00 | 1.251700e+04 | Inf
0.09/0.19 c 0.2s| 1 | 2 | 410 | - |3042k| 0 | 82 | 792 | 518 | 792 | 249 | 249 | 0 | 33 | 0.000000e+00 | 1.251700e+04 | Inf
5.09/5.14 c 5.1s| 10000 | 9979 | 10090 | 1.0 | 10M| 301 | 0 | 792 | 529 | 792 | 192 | 623 | 11 |1576 | 0.000000e+00 | 1.251700e+04 | Inf
8.80/8.87 c 8.9s| 20000 | 19973 | 18755 | 0.9 | 17M| 301 | 0 | 792 | 532 | 792 | 189 |1217 | 14 |1586 | 0.000000e+00 | 1.251700e+04 | Inf
12.49/12.58 c 12.6s| 30000 | 29969 | 27356 | 0.9 | 24M| 301 | 2 | 792 | 535 | 792 | 190 |1769 | 17 |1596 | 0.000000e+00 | 1.251700e+04 | Inf
16.19/16.25 c 16.2s| 40000 | 39969 | 35667 | 0.9 | 31M| 301 | 2 | 792 | 535 | 792 | 190 |2295 | 17 |1596 | 0.000000e+00 | 1.251700e+04 | Inf
19.89/19.93 c 19.9s| 50000 | 49969 | 44392 | 0.9 | 37M| 301 | 0 | 792 | 535 | 792 | 189 |2929 | 17 |1597 | 0.000000e+00 | 1.251700e+04 | Inf
23.60/23.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.60/23.64 c 23.6s| 60000 | 59969 | 53352 | 0.9 | 44M| 301 | 0 | 792 | 534 | 792 | 192 |3548 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
27.30/27.32 c 27.3s| 70000 | 69969 | 62242 | 0.9 | 51M| 301 | 0 | 792 | 533 | 792 | 188 |4113 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
30.99/31.00 c 31.0s| 80000 | 79969 | 71063 | 0.9 | 57M| 301 | 0 | 792 | 533 | 792 | 189 |4624 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
34.59/34.68 c 34.7s| 90000 | 89969 | 79780 | 0.9 | 64M| 301 | 3 | 792 | 532 | 792 | 189 |5140 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
38.30/38.35 c 38.3s|100000 | 99969 | 88602 | 0.9 | 71M| 301 | 5 | 792 | 532 | 792 | 187 |5685 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
41.99/42.03 c 42.0s|110000 |109969 | 97306 | 0.9 | 77M| 301 | 0 | 792 | 532 | 792 | 189 |6210 | 17 |1604 | 0.000000e+00 | 1.251700e+04 | Inf
45.59/45.69 c 45.7s|120000 |119963 |105195 | 0.9 | 84M| 301 | 0 | 792 | 534 | 792 | 190 |6619 | 20 |1666 | 0.000000e+00 | 1.251700e+04 | Inf
49.29/49.34 c 49.3s|130000 |129963 |112473 | 0.9 | 91M| 301 | 0 | 792 | 532 | 792 | 189 |6855 | 20 |1726 | 0.000000e+00 | 1.251700e+04 | Inf
52.89/52.98 c 53.0s|140000 |139963 |119596 | 0.9 | 98M| 301 | 0 | 792 | 530 | 792 | 189 |7022 | 20 |1781 | 0.000000e+00 | 1.251700e+04 | Inf
56.50/56.59 c 56.6s|150000 |149963 |126840 | 0.8 | 104M| 301 | 3 | 792 | 530 | 792 | 189 |7192 | 20 |1794 | 0.000000e+00 | 1.251700e+04 | Inf
60.20/60.21 c 60.2s|160000 |159960 |133772 | 0.8 | 111M| 301 | 1 | 792 | 532 | 792 | 188 |7346 | 22 |1846 | 0.000000e+00 | 1.251700e+04 | Inf
63.80/63.83 c 63.8s|170000 |169960 |140625 | 0.8 | 118M| 301 | 0 | 792 | 532 | 792 | 190 |7488 | 22 |1909 | 0.000000e+00 | 1.251700e+04 | Inf
67.40/67.46 c 67.5s|180000 |179960 |147546 | 0.8 | 124M| 301 | 1 | 792 | 532 | 792 | 189 |7655 | 22 |1966 | 0.000000e+00 | 1.251700e+04 | Inf
71.09/71.13 c 71.1s|190000 |189958 |155619 | 0.8 | 131M| 301 | 0 | 792 | 532 | 792 | 192 |8055 | 23 |2067 | 0.000000e+00 | 1.251700e+04 | Inf
74.70/74.80 c 74.8s|200000 |199956 |164144 | 0.8 | 138M| 301 | 0 | 792 | 531 | 792 | 190 |8465 | 25 |2148 | 0.000000e+00 | 1.251700e+04 | Inf
78.39/78.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.39/78.46 c 78.5s|210000 |209954 |172124 | 0.8 | 144M| 301 | 3 | 792 | 530 | 792 | 189 |8776 | 26 |2296 | 0.000000e+00 | 1.251700e+04 | Inf
81.99/82.07 c 82.1s|220000 |219954 |179594 | 0.8 | 151M| 301 | 1 | 792 | 530 | 792 | 190 |8959 | 26 |2301 | 0.000000e+00 | 1.251700e+04 | Inf
85.59/85.69 c 85.7s|230000 |229954 |186802 | 0.8 | 158M| 301 | 0 | 792 | 529 | 792 | 190 |9209 | 26 |2366 | 0.000000e+00 | 1.251700e+04 | Inf
89.29/89.30 c 89.3s|240000 |239954 |193650 | 0.8 | 164M| 301 | 0 | 792 | 529 | 792 | 190 |9422 | 26 |2422 | 0.000000e+00 | 1.251700e+04 | Inf
92.89/92.90 c 92.9s|250000 |249954 |200398 | 0.8 | 171M| 301 | 4 | 792 | 529 | 792 | 190 |9593 | 26 |2454 | 0.000000e+00 | 1.251700e+04 | Inf
96.50/96.50 c 96.5s|260000 |259954 |207234 | 0.8 | 178M| 301 | 0 | 792 | 529 | 792 | 190 |9787 | 26 |2476 | 0.000000e+00 | 1.251700e+04 | Inf
100.09/100.12 c 100s|270000 |269954 |214347 | 0.8 | 185M| 301 | 0 | 792 | 529 | 792 | 189 |9980 | 26 |2550 | 0.000000e+00 | 1.251700e+04 | Inf
103.70/103.71 c 104s|280000 |279954 |221247 | 0.8 | 191M| 301 | 2 | 792 | 529 | 792 | 189 | 10k| 26 |2578 | 0.000000e+00 | 1.251700e+04 | Inf
107.19/107.27 c 107s|290000 |289954 |227888 | 0.8 | 198M| 301 | 3 | 792 | 529 | 792 | 190 | 10k| 26 |2606 | 0.000000e+00 | 1.251700e+04 | Inf
110.79/110.87 c 111s|300000 |299954 |234821 | 0.8 | 205M| 301 | 3 | 792 | 528 | 792 | 192 | 10k| 26 |2667 | 0.000000e+00 | 1.251700e+04 | Inf
114.40/114.48 c 114s|310000 |309952 |242255 | 0.8 | 211M| 301 | 0 | 792 | 529 | 792 | 190 | 10k| 27 |2695 | 0.000000e+00 | 1.251700e+04 | Inf
117.99/118.09 c 118s|320000 |319952 |250029 | 0.8 | 218M| 301 | 0 | 792 | 528 | 792 | 190 | 10k| 27 |2726 | 0.000000e+00 | 1.251700e+04 | Inf
121.59/121.69 c 122s|330000 |329952 |257290 | 0.8 | 225M| 301 | 0 | 792 | 528 | 792 | 188 | 11k| 27 |2784 | 0.000000e+00 | 1.251700e+04 | Inf
125.20/125.22 c 125s|340000 |339952 |264092 | 0.8 | 231M| 301 | 0 | 792 | 528 | 792 | 189 | 11k| 27 |2820 | 0.000000e+00 | 1.251700e+04 | Inf
128.80/128.80 c 129s|350000 |349952 |271138 | 0.8 | 238M| 301 | 0 | 792 | 528 | 792 | 189 | 11k| 27 |2843 | 0.000000e+00 | 1.251700e+04 | Inf
132.29/132.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.29/132.39 c 132s|360000 |359952 |277853 | 0.8 | 245M| 301 | 0 | 792 | 528 | 792 | 190 | 11k| 27 |2898 | 0.000000e+00 | 1.251700e+04 | Inf
135.90/135.96 c 136s|370000 |369952 |284674 | 0.8 | 251M| 301 | 0 | 792 | 528 | 792 | 187 | 11k| 27 |2899 | 0.000000e+00 | 1.251700e+04 | Inf
139.49/139.58 c 140s|380000 |379952 |291732 | 0.8 | 258M| 301 | 3 | 792 | 528 | 792 | 190 | 11k| 27 |2965 | 0.000000e+00 | 1.251700e+04 | Inf
143.09/143.18 c 143s|390000 |389952 |298880 | 0.8 | 265M| 301 | 0 | 792 | 528 | 792 | 189 | 12k| 27 |3022 | 0.000000e+00 | 1.251700e+04 | Inf
146.70/146.78 c 147s|400000 |399952 |306812 | 0.8 | 271M| 301 | 2 | 792 | 528 | 792 | 190 | 12k| 27 |3058 | 0.000000e+00 | 1.251700e+04 | Inf
150.39/150.40 c 150s|410000 |409952 |314655 | 0.8 | 278M| 301 | 0 | 792 | 528 | 792 | 187 | 12k| 27 |3119 | 0.000000e+00 | 1.251700e+04 | Inf
153.90/153.99 c 154s|420000 |419952 |321729 | 0.8 | 285M| 301 | 0 | 792 | 528 | 792 | 190 | 12k| 27 |3144 | 0.000000e+00 | 1.251700e+04 | Inf
157.50/157.59 c 158s|430000 |429952 |328813 | 0.8 | 291M| 301 | 4 | 792 | 528 | 792 | 191 | 12k| 27 |3183 | 0.000000e+00 | 1.251700e+04 | Inf
161.09/161.17 c 161s|440000 |439950 |335964 | 0.8 | 298M| 301 | 0 | 792 | 529 | 792 | 191 | 13k| 28 |3238 | 0.000000e+00 | 1.251700e+04 | Inf
164.70/164.71 c 165s|450000 |449950 |342949 | 0.8 | 305M| 301 | 0 | 792 | 529 | 792 | 190 | 13k| 28 |3247 | 0.000000e+00 | 1.251700e+04 | Inf
168.30/168.33 c 168s|460000 |459950 |350060 | 0.8 | 311M| 301 | 0 | 792 | 529 | 792 | 190 | 13k| 28 |3319 | 0.000000e+00 | 1.251700e+04 | Inf
171.90/171.90 c 172s|470000 |469950 |356935 | 0.8 | 318M| 301 | 3 | 792 | 528 | 792 | 188 | 13k| 28 |3333 | 0.000000e+00 | 1.251700e+04 | Inf
175.39/175.42 c 175s|480000 |479950 |363509 | 0.8 | 325M| 301 | 0 | 792 | 528 | 792 | 191 | 13k| 28 |3390 | 0.000000e+00 | 1.251700e+04 | Inf
179.00/179.00 c 179s|490000 |489950 |370846 | 0.8 | 331M| 301 | 1 | 792 | 528 | 792 | 189 | 13k| 28 |3408 | 0.000000e+00 | 1.251700e+04 | Inf
182.60/182.62 c 183s|500000 |499950 |378056 | 0.8 | 338M| 301 | 0 | 792 | 528 | 792 | 191 | 14k| 28 |3455 | 0.000000e+00 | 1.251700e+04 | Inf
186.10/186.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.10/186.17 c 186s|510000 |509950 |384923 | 0.8 | 345M| 301 | 0 | 792 | 528 | 792 | 191 | 14k| 28 |3506 | 0.000000e+00 | 1.251700e+04 | Inf
189.70/189.73 c 190s|520000 |519950 |391954 | 0.8 | 351M| 301 | 0 | 792 | 528 | 792 | 190 | 14k| 28 |3519 | 0.000000e+00 | 1.251700e+04 | Inf
193.30/193.37 c 193s|530000 |529950 |399266 | 0.8 | 358M| 301 | 0 | 792 | 528 | 792 | 192 | 14k| 28 |3579 | 0.000000e+00 | 1.251700e+04 | Inf
196.90/196.97 c 197s|540000 |539950 |406515 | 0.8 | 365M| 301 | 0 | 792 | 528 | 792 | 191 | 14k| 28 |3586 | 0.000000e+00 | 1.251700e+04 | Inf
200.49/200.56 c 201s|550000 |549950 |413677 | 0.8 | 371M| 301 | 0 | 792 | 528 | 792 | 191 | 14k| 28 |3643 | 0.000000e+00 | 1.251700e+04 | Inf
204.10/204.13 c 204s|560000 |559950 |420806 | 0.8 | 378M| 301 | 0 | 792 | 528 | 792 | 192 | 14k| 28 |3645 | 0.000000e+00 | 1.251700e+04 | Inf
207.69/207.74 c 208s|570000 |569950 |427945 | 0.8 | 385M| 301 | 0 | 792 | 528 | 792 | 188 | 15k| 28 |3700 | 0.000000e+00 | 1.251700e+04 | Inf
211.30/211.32 c 211s|580000 |579950 |435154 | 0.7 | 391M| 301 | 4 | 792 | 528 | 792 | 189 | 15k| 28 |3719 | 0.000000e+00 | 1.251700e+04 | Inf
214.89/214.93 c 215s|590000 |589950 |442240 | 0.7 | 398M| 301 | 0 | 792 | 528 | 792 | 192 | 15k| 28 |3761 | 0.000000e+00 | 1.251700e+04 | Inf
218.49/218.54 c 219s|600000 |599950 |449278 | 0.7 | 405M| 301 | 3 | 792 | 528 | 792 | 190 | 15k| 28 |3798 | 0.000000e+00 | 1.251700e+04 | Inf
222.10/222.13 c 222s|610000 |609950 |456305 | 0.7 | 411M| 301 | 2 | 792 | 528 | 792 | 190 | 15k| 28 |3822 | 0.000000e+00 | 1.251700e+04 | Inf
225.70/225.72 c 226s|620000 |619950 |463106 | 0.7 | 418M| 301 | 1 | 792 | 528 | 792 | 187 | 16k| 28 |3861 | 0.000000e+00 | 1.251700e+04 | Inf
229.29/229.33 c 229s|630000 |629950 |470021 | 0.7 | 425M| 301 | 1 | 792 | 528 | 792 | 189 | 16k| 28 |3909 | 0.000000e+00 | 1.251700e+04 | Inf
232.90/232.92 c 233s|640000 |639950 |477032 | 0.7 | 431M| 301 | 0 | 792 | 528 | 792 | 191 | 16k| 28 |3933 | 0.000000e+00 | 1.251700e+04 | Inf
236.51/236.54 c 237s|650000 |649950 |484041 | 0.7 | 438M| 301 | 0 | 792 | 528 | 792 | 191 | 16k| 28 |3979 | 0.000000e+00 | 1.251700e+04 | Inf
240.09/240.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.09/240.14 c 240s|660000 |659950 |490861 | 0.7 | 445M| 301 | 0 | 792 | 528 | 792 | 192 | 16k| 28 |4000 | 0.000000e+00 | 1.251700e+04 | Inf
243.70/243.77 c 244s|670000 |669950 |498360 | 0.7 | 451M| 301 | 0 | 792 | 528 | 792 | 188 | 17k| 28 |4042 | 0.000000e+00 | 1.251700e+04 | Inf
247.30/247.38 c 247s|680000 |679950 |505627 | 0.7 | 458M| 301 | 1 | 792 | 528 | 792 | 190 | 17k| 28 |4069 | 0.000000e+00 | 1.251700e+04 | Inf
250.99/251.01 c 251s|690000 |689950 |512948 | 0.7 | 464M| 301 | 0 | 792 | 528 | 792 | 190 | 17k| 28 |4145 | 0.000000e+00 | 1.251700e+04 | Inf
254.60/254.63 c 255s|700000 |699950 |520570 | 0.7 | 471M| 301 | 3 | 792 | 528 | 792 | 190 | 17k| 28 |4147 | 0.000000e+00 | 1.251700e+04 | Inf
258.19/258.27 c 258s|710000 |709950 |527708 | 0.7 | 478M| 301 | 3 | 792 | 528 | 792 | 193 | 18k| 28 |4203 | 0.000000e+00 | 1.251700e+04 | Inf
261.80/261.88 c 262s|720000 |719950 |535068 | 0.7 | 484M| 301 | 4 | 792 | 528 | 792 | 190 | 18k| 28 |4210 | 0.000000e+00 | 1.251700e+04 | Inf
265.50/265.51 c 266s|730000 |729950 |542396 | 0.7 | 491M| 301 | 0 | 792 | 527 | 792 | 194 | 18k| 28 |4270 | 0.000000e+00 | 1.251700e+04 | Inf
269.10/269.10 c 269s|740000 |739948 |549529 | 0.7 | 498M| 301 | 0 | 792 | 528 | 792 | 190 | 18k| 29 |4272 | 0.000000e+00 | 1.251700e+04 | Inf
272.70/272.74 c 273s|750000 |749948 |557054 | 0.7 | 504M| 301 | 2 | 792 | 527 | 792 | 192 | 18k| 29 |4330 | 0.000000e+00 | 1.251700e+04 | Inf
276.30/276.34 c 276s|760000 |759948 |564112 | 0.7 | 511M| 301 | 0 | 792 | 527 | 792 | 192 | 19k| 29 |4344 | 0.000000e+00 | 1.251700e+04 | Inf
279.90/279.94 c 280s|770000 |769948 |571074 | 0.7 | 517M| 301 | 0 | 792 | 527 | 792 | 189 | 19k| 29 |4418 | 0.000000e+00 | 1.251700e+04 | Inf
283.50/283.55 c 284s|780000 |779948 |578935 | 0.7 | 524M| 301 | 0 | 792 | 527 | 792 | 189 | 19k| 29 |4423 | 0.000000e+00 | 1.251700e+04 | Inf
287.10/287.18 c 287s|790000 |789948 |586644 | 0.7 | 531M| 301 | 0 | 792 | 527 | 792 | 191 | 19k| 29 |4481 | 0.000000e+00 | 1.251700e+04 | Inf
290.70/290.79 c 291s|800000 |799948 |593647 | 0.7 | 537M| 301 | 0 | 792 | 527 | 792 | 189 | 19k| 29 |4488 | 0.000000e+00 | 1.251700e+04 | Inf
294.40/294.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.40/294.42 c 294s|810000 |809948 |601227 | 0.7 | 544M| 301 | 0 | 792 | 527 | 792 | 190 | 20k| 29 |4540 | 0.000000e+00 | 1.251700e+04 | Inf
298.30/298.30 c 298s|820000 |819948 |608404 | 0.7 | 551M| 301 | 0 | 792 | 527 | 792 | 189 | 20k| 29 |5269 | 0.000000e+00 | 1.251700e+04 | Inf
301.90/301.94 c 302s|830000 |829948 |615574 | 0.7 | 557M| 301 | 0 | 792 | 527 | 792 | 189 | 20k| 29 |5380 | 0.000000e+00 | 1.251700e+04 | Inf
305.50/305.54 c 306s|840000 |839948 |622378 | 0.7 | 564M| 301 | 0 | 792 | 527 | 792 | 191 | 20k| 29 |5380 | 0.000000e+00 | 1.251700e+04 | Inf
309.00/309.07 c 309s|850000 |849948 |628459 | 0.7 | 571M| 301 | 0 | 792 | 526 | 792 | 192 | 20k| 29 |5383 | 0.000000e+00 | 1.251700e+04 | Inf
312.60/312.62 c 313s|860000 |859948 |635134 | 0.7 | 577M| 301 | 0 | 792 | 526 | 792 | 191 | 21k| 29 |5383 | 0.000000e+00 | 1.251700e+04 | Inf
316.20/316.22 c 316s|870000 |869948 |642170 | 0.7 | 584M| 301 | 0 | 792 | 526 | 792 | 188 | 21k| 29 |5392 | 0.000000e+00 | 1.251700e+04 | Inf
319.80/319.85 c 320s|880000 |879948 |649080 | 0.7 | 590M| 301 | 0 | 792 | 526 | 792 | 189 | 21k| 29 |5475 | 0.000000e+00 | 1.251700e+04 | Inf
323.41/323.45 c 323s|890000 |889948 |655928 | 0.7 | 597M| 301 | 0 | 792 | 526 | 792 | 189 | 21k| 29 |5526 | 0.000000e+00 | 1.251700e+04 | Inf
327.00/327.04 c 327s|900000 |899948 |662631 | 0.7 | 604M| 301 | 0 | 792 | 526 | 792 | 189 | 21k| 29 |5528 | 0.000000e+00 | 1.251700e+04 | Inf
330.60/330.62 c 331s|910000 |909948 |669160 | 0.7 | 610M| 301 | 0 | 792 | 526 | 792 | 186 | 22k| 29 |5534 | 0.000000e+00 | 1.251700e+04 | Inf
334.20/334.22 c 334s|920000 |919948 |675845 | 0.7 | 617M| 301 | 0 | 792 | 526 | 792 | 188 | 22k| 29 |5536 | 0.000000e+00 | 1.251700e+04 | Inf
337.80/337.80 c 338s|930000 |929948 |682279 | 0.7 | 624M| 301 | 0 | 792 | 526 | 792 | 188 | 22k| 29 |5544 | 0.000000e+00 | 1.251700e+04 | Inf
341.30/341.37 c 341s|940000 |939948 |688707 | 0.7 | 630M| 301 | 0 | 792 | 526 | 792 | 189 | 22k| 29 |5544 | 0.000000e+00 | 1.251700e+04 | Inf
344.90/344.95 c 345s|950000 |949948 |695102 | 0.7 | 637M| 301 | 0 | 792 | 526 | 792 | 188 | 22k| 29 |5548 | 0.000000e+00 | 1.251700e+04 | Inf
348.50/348.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.50/348.52 c 349s|960000 |959948 |701556 | 0.7 | 644M| 301 | 4 | 792 | 526 | 792 | 188 | 23k| 29 |5549 | 0.000000e+00 | 1.251700e+04 | Inf
352.10/352.12 c 352s|970000 |969948 |708226 | 0.7 | 650M| 301 | 0 | 792 | 526 | 792 | 189 | 23k| 29 |5610 | 0.000000e+00 | 1.251700e+04 | Inf
355.70/355.73 c 356s|980000 |979948 |715154 | 0.7 | 657M| 301 | 0 | 792 | 526 | 792 | 190 | 23k| 29 |5690 | 0.000000e+00 | 1.251700e+04 | Inf
359.30/359.31 c 359s|990000 |989948 |721843 | 0.7 | 663M| 301 | 1 | 792 | 526 | 792 | 189 | 23k| 29 |5696 | 0.000000e+00 | 1.251700e+04 | Inf
362.90/362.99 c 363s| 1000k|999948 |729097 | 0.7 | 670M| 301 | 0 | 792 | 526 | 792 | 189 | 24k| 29 |5916 | 0.000000e+00 | 1.251700e+04 | Inf
366.51/366.56 c 367s| 1010k| 1009k|736161 | 0.7 | 677M| 301 | 3 | 792 | 526 | 792 | 190 | 24k| 29 |5916 | 0.000000e+00 | 1.251700e+04 | Inf
370.10/370.13 c 370s| 1020k| 1019k|743181 | 0.7 | 683M| 301 | 0 | 792 | 526 | 792 | 191 | 24k| 29 |5921 | 0.000000e+00 | 1.251700e+04 | Inf
373.70/373.70 c 374s| 1030k| 1029k|750199 | 0.7 | 690M| 301 | 0 | 792 | 526 | 792 | 191 | 24k| 29 |5921 | 0.000000e+00 | 1.251700e+04 | Inf
377.31/377.31 c 377s| 1040k| 1039k|757237 | 0.7 | 697M| 301 | 0 | 792 | 526 | 792 | 192 | 24k| 29 |5989 | 0.000000e+00 | 1.251700e+04 | Inf
380.90/380.92 c 381s| 1050k| 1049k|764135 | 0.7 | 703M| 301 | 0 | 792 | 526 | 792 | 192 | 25k| 29 |6011 | 0.000000e+00 | 1.251700e+04 | Inf
384.50/384.51 c 385s| 1060k| 1059k|770927 | 0.7 | 710M| 301 | 0 | 792 | 526 | 792 | 191 | 25k| 29 |6034 | 0.000000e+00 | 1.251700e+04 | Inf
388.10/388.13 c 388s| 1070k| 1069k|777735 | 0.7 | 717M| 301 | 2 | 792 | 526 | 792 | 189 | 25k| 29 |6099 | 0.000000e+00 | 1.251700e+04 | Inf
391.70/391.71 c 392s| 1080k| 1079k|784419 | 0.7 | 723M| 301 | 0 | 792 | 526 | 792 | 189 | 25k| 29 |6105 | 0.000000e+00 | 1.251700e+04 | Inf
395.30/395.30 c 395s| 1090k| 1089k|791179 | 0.7 | 730M| 301 | 0 | 792 | 526 | 792 | 193 | 25k| 29 |6111 | 0.000000e+00 | 1.251700e+04 | Inf
398.90/398.90 c 399s| 1100k| 1099k|797810 | 0.7 | 737M| 301 | 0 | 792 | 526 | 792 | 191 | 26k| 29 |6163 | 0.000000e+00 | 1.251700e+04 | Inf
402.51/402.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.51/402.50 c 402s| 1110k| 1109k|804646 | 0.7 | 743M| 301 | 2 | 792 | 526 | 792 | 190 | 26k| 29 |6181 | 0.000000e+00 | 1.251700e+04 | Inf
406.11/406.11 c 406s| 1120k| 1119k|811377 | 0.7 | 750M| 301 | 0 | 792 | 526 | 792 | 189 | 26k| 29 |6229 | 0.000000e+00 | 1.251700e+04 | Inf
409.70/409.73 c 410s| 1130k| 1129k|818113 | 0.7 | 757M| 301 | 0 | 792 | 526 | 792 | 194 | 26k| 29 |6307 | 0.000000e+00 | 1.251700e+04 | Inf
413.31/413.33 c 413s| 1140k| 1139k|824799 | 0.7 | 763M| 301 | 0 | 792 | 526 | 792 | 192 | 27k| 29 |6330 | 0.000000e+00 | 1.251700e+04 | Inf
416.90/416.92 c 417s| 1150k| 1149k|831493 | 0.7 | 770M| 301 | 0 | 792 | 526 | 792 | 189 | 27k| 29 |6349 | 0.000000e+00 | 1.251700e+04 | Inf
420.50/420.53 c 421s| 1160k| 1159k|838326 | 0.7 | 777M| 301 | 0 | 792 | 529 | 792 | 190 | 27k| 32 |6436 | 0.000000e+00 | 1.251700e+04 | Inf
424.00/424.07 c 424s| 1170k| 1169k|844585 | 0.7 | 783M| 301 | 0 | 792 | 529 | 792 | 190 | 27k| 32 |6455 | 0.000000e+00 | 1.251700e+04 | Inf
427.61/427.61 c 428s| 1180k| 1179k|850605 | 0.7 | 790M| 301 | 0 | 792 | 529 | 792 | 193 | 27k| 32 |6474 | 0.000000e+00 | 1.251700e+04 | Inf
431.11/431.19 c 431s| 1190k| 1189k|856752 | 0.7 | 797M| 301 | 1 | 792 | 528 | 792 | 190 | 28k| 32 |6529 | 0.000000e+00 | 1.251700e+04 | Inf
434.70/434.72 c 435s| 1200k| 1199k|862834 | 0.7 | 803M| 301 | 0 | 792 | 527 | 792 | 190 | 28k| 32 |6537 | 0.000000e+00 | 1.251700e+04 | Inf
438.21/438.26 c 438s| 1210k| 1209k|868864 | 0.7 | 810M| 301 | 0 | 792 | 527 | 792 | 190 | 28k| 32 |6537 | 0.000000e+00 | 1.251700e+04 | Inf
441.80/441.83 c 442s| 1220k| 1219k|874938 | 0.7 | 817M| 301 | 0 | 792 | 527 | 792 | 190 | 28k| 32 |6592 | 0.000000e+00 | 1.251700e+04 | Inf
445.30/445.36 c 445s| 1230k| 1229k|881079 | 0.7 | 824M| 301 | 0 | 792 | 526 | 792 | 192 | 28k| 32 |6595 | 0.000000e+00 | 1.251700e+04 | Inf
448.90/448.90 c 449s| 1240k| 1239k|886969 | 0.7 | 830M| 301 | 4 | 792 | 526 | 792 | 192 | 28k| 32 |6595 | 0.000000e+00 | 1.251700e+04 | Inf
452.40/452.47 c 452s| 1250k| 1249k|893079 | 0.7 | 837M| 301 | 0 | 792 | 526 | 792 | 192 | 29k| 32 |6653 | 0.000000e+00 | 1.251700e+04 | Inf
456.00/456.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.00/456.01 c 456s| 1260k| 1259k|899011 | 0.7 | 844M| 301 | 0 | 792 | 526 | 792 | 191 | 29k| 32 |6654 | 0.000000e+00 | 1.251700e+04 | Inf
459.51/459.59 c 460s| 1270k| 1269k|905472 | 0.7 | 850M| 301 | 0 | 792 | 526 | 792 | 193 | 29k| 32 |6657 | 0.000000e+00 | 1.251700e+04 | Inf
463.11/463.14 c 463s| 1280k| 1279k|911316 | 0.7 | 857M| 301 | 2 | 792 | 526 | 792 | 191 | 29k| 32 |6714 | 0.000000e+00 | 1.251700e+04 | Inf
466.60/466.68 c 467s| 1290k| 1289k|917350 | 0.7 | 864M| 301 | 0 | 792 | 526 | 792 | 190 | 29k| 32 |6717 | 0.000000e+00 | 1.251700e+04 | Inf
470.21/470.23 c 470s| 1300k| 1299k|923282 | 0.7 | 871M| 301 | 1 | 792 | 526 | 792 | 191 | 29k| 32 |6717 | 0.000000e+00 | 1.251700e+04 | Inf
473.81/473.81 c 474s| 1310k| 1309k|929589 | 0.7 | 877M| 301 | 0 | 792 | 526 | 792 | 192 | 30k| 32 |6770 | 0.000000e+00 | 1.251700e+04 | Inf
477.31/477.35 c 477s| 1320k| 1319k|935701 | 0.7 | 884M| 301 | 0 | 792 | 526 | 792 | 189 | 30k| 32 |6775 | 0.000000e+00 | 1.251700e+04 | Inf
480.91/480.90 c 481s| 1330k| 1329k|941877 | 0.7 | 891M| 301 | 0 | 792 | 526 | 792 | 192 | 30k| 32 |6776 | 0.000000e+00 | 1.251700e+04 | Inf
484.40/484.48 c 484s| 1340k| 1339k|948317 | 0.7 | 897M| 301 | 0 | 792 | 526 | 792 | 193 | 30k| 32 |6827 | 0.000000e+00 | 1.251700e+04 | Inf
488.01/488.03 c 488s| 1350k| 1349k|954595 | 0.7 | 904M| 301 | 4 | 792 | 526 | 792 | 190 | 30k| 32 |6836 | 0.000000e+00 | 1.251700e+04 | Inf
491.51/491.56 c 492s| 1360k| 1359k|960593 | 0.7 | 911M| 301 | 0 | 792 | 526 | 792 | 190 | 30k| 32 |6837 | 0.000000e+00 | 1.251700e+04 | Inf
495.10/495.12 c 495s| 1370k| 1369k|966403 | 0.7 | 918M| 301 | 0 | 792 | 526 | 792 | 189 | 31k| 32 |6890 | 0.000000e+00 | 1.251700e+04 | Inf
498.61/498.66 c 499s| 1380k| 1379k|972230 | 0.7 | 924M| 301 | 3 | 792 | 526 | 792 | 191 | 31k| 32 |6896 | 0.000000e+00 | 1.251700e+04 | Inf
502.20/502.20 c 502s| 1390k| 1389k|978086 | 0.7 | 931M| 301 | 0 | 792 | 526 | 792 | 192 | 31k| 32 |6896 | 0.000000e+00 | 1.251700e+04 | Inf
505.71/505.75 c 506s| 1400k| 1399k|983850 | 0.7 | 938M| 301 | 0 | 792 | 526 | 792 | 192 | 31k| 32 |6937 | 0.000000e+00 | 1.251700e+04 | Inf
509.21/509.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.21/509.30 c 509s| 1410k| 1409k|989707 | 0.7 | 945M| 301 | 0 | 792 | 526 | 792 | 193 | 31k| 32 |6952 | 0.000000e+00 | 1.251700e+04 | Inf
512.81/512.83 c 513s| 1420k| 1419k|995582 | 0.7 | 951M| 301 | 0 | 792 | 526 | 792 | 190 | 31k| 32 |6953 | 0.000000e+00 | 1.251700e+04 | Inf
516.31/516.39 c 516s| 1430k| 1429k| 1001k| 0.7 | 958M| 301 | 0 | 792 | 526 | 792 | 192 | 32k| 32 |6980 | 0.000000e+00 | 1.251700e+04 | Inf
519.90/519.94 c 520s| 1440k| 1439k| 1007k| 0.7 | 965M| 301 | 0 | 792 | 526 | 792 | 189 | 32k| 32 |7013 | 0.000000e+00 | 1.251700e+04 | Inf
523.40/523.48 c 523s| 1450k| 1449k| 1013k| 0.7 | 971M| 301 | 0 | 792 | 526 | 792 | 192 | 32k| 32 |7015 | 0.000000e+00 | 1.251700e+04 | Inf
527.01/527.02 c 527s| 1460k| 1459k| 1019k| 0.7 | 978M| 301 | 0 | 792 | 526 | 792 | 189 | 32k| 32 |7032 | 0.000000e+00 | 1.251700e+04 | Inf
530.61/530.60 c 531s| 1470k| 1469k| 1026k| 0.7 | 985M| 301 | 0 | 792 | 526 | 792 | 190 | 32k| 32 |7072 | 0.000000e+00 | 1.251700e+04 | Inf
534.11/534.13 c 534s| 1480k| 1479k| 1031k| 0.7 | 992M| 301 | 0 | 792 | 526 | 792 | 192 | 32k| 32 |7074 | 0.000000e+00 | 1.251700e+04 | Inf
537.61/537.69 c 538s| 1490k| 1489k| 1038k| 0.7 | 998M| 301 | 2 | 792 | 526 | 792 | 191 | 33k| 32 |7084 | 0.000000e+00 | 1.251700e+04 | Inf
541.22/541.24 c 541s| 1500k| 1499k| 1044k| 0.7 |1005M| 301 | 0 | 792 | 526 | 792 | 191 | 33k| 32 |7132 | 0.000000e+00 | 1.251700e+04 | Inf
544.71/544.79 c 545s| 1510k| 1509k| 1050k| 0.7 |1012M| 301 | 0 | 792 | 526 | 792 | 190 | 33k| 32 |7136 | 0.000000e+00 | 1.251700e+04 | Inf
548.31/548.32 c 548s| 1520k| 1519k| 1056k| 0.7 |1018M| 301 | 0 | 792 | 526 | 792 | 190 | 33k| 32 |7137 | 0.000000e+00 | 1.251700e+04 | Inf
551.80/551.87 c 552s| 1530k| 1529k| 1062k| 0.7 |1025M| 301 | 0 | 792 | 526 | 792 | 190 | 33k| 32 |7194 | 0.000000e+00 | 1.251700e+04 | Inf
555.41/555.41 c 555s| 1540k| 1539k| 1068k| 0.7 |1032M| 301 | 0 | 792 | 526 | 792 | 190 | 33k| 32 |7196 | 0.000000e+00 | 1.251700e+04 | Inf
558.90/558.95 c 559s| 1550k| 1549k| 1074k| 0.7 |1039M| 301 | 4 | 792 | 526 | 792 | 191 | 34k| 32 |7196 | 0.000000e+00 | 1.251700e+04 | Inf
562.51/562.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.51/562.50 c 562s| 1560k| 1559k| 1080k| 0.7 |1045M| 301 | 0 | 792 | 526 | 792 | 191 | 34k| 32 |7251 | 0.000000e+00 | 1.251700e+04 | Inf
566.00/566.02 c 566s| 1570k| 1569k| 1086k| 0.7 |1052M| 301 | 3 | 792 | 526 | 792 | 193 | 34k| 32 |7255 | 0.000000e+00 | 1.251700e+04 | Inf
569.50/569.55 c 570s| 1580k| 1579k| 1092k| 0.7 |1059M| 301 | 0 | 792 | 526 | 792 | 190 | 34k| 32 |7257 | 0.000000e+00 | 1.251700e+04 | Inf
573.01/573.09 c 573s| 1590k| 1589k| 1098k| 0.7 |1065M| 301 | 0 | 792 | 526 | 792 | 190 | 34k| 32 |7285 | 0.000000e+00 | 1.251700e+04 | Inf
576.61/576.62 c 577s| 1600k| 1599k| 1104k| 0.7 |1072M| 301 | 0 | 792 | 526 | 792 | 191 | 34k| 32 |7318 | 0.000000e+00 | 1.251700e+04 | Inf
580.11/580.16 c 580s| 1610k| 1609k| 1110k| 0.7 |1079M| 301 | 0 | 792 | 526 | 792 | 192 | 34k| 32 |7318 | 0.000000e+00 | 1.251700e+04 | Inf
583.71/583.70 c 584s| 1620k| 1619k| 1116k| 0.7 |1086M| 301 | 0 | 792 | 526 | 792 | 192 | 35k| 32 |7328 | 0.000000e+00 | 1.251700e+04 | Inf
587.21/587.26 c 587s| 1630k| 1629k| 1122k| 0.7 |1092M| 301 | 3 | 792 | 526 | 792 | 193 | 35k| 32 |7375 | 0.000000e+00 | 1.251700e+04 | Inf
590.81/590.82 c 591s| 1640k| 1639k| 1128k| 0.7 |1099M| 301 | 0 | 792 | 526 | 792 | 192 | 35k| 32 |7377 | 0.000000e+00 | 1.251700e+04 | Inf
594.31/594.39 c 594s| 1650k| 1649k| 1134k| 0.7 |1106M| 301 | 0 | 792 | 526 | 792 | 189 | 35k| 32 |7378 | 0.000000e+00 | 1.251700e+04 | Inf
597.91/597.96 c 598s| 1660k| 1659k| 1140k| 0.7 |1112M| 301 | 0 | 792 | 526 | 792 | 193 | 35k| 32 |7430 | 0.000000e+00 | 1.251700e+04 | Inf
601.51/601.53 c 602s| 1670k| 1669k| 1147k| 0.7 |1119M| 301 | 2 | 792 | 526 | 792 | 189 | 35k| 32 |7434 | 0.000000e+00 | 1.251700e+04 | Inf
605.10/605.11 c 605s| 1680k| 1679k| 1153k| 0.7 |1126M| 301 | 0 | 792 | 526 | 792 | 190 | 35k| 32 |7435 | 0.000000e+00 | 1.251700e+04 | Inf
608.71/608.70 c 609s| 1690k| 1689k| 1159k| 0.7 |1133M| 301 | 0 | 792 | 526 | 792 | 192 | 36k| 32 |7480 | 0.000000e+00 | 1.251700e+04 | Inf
612.20/612.28 c 612s| 1700k| 1699k| 1165k| 0.7 |1139M| 301 | 0 | 792 | 526 | 792 | 190 | 36k| 32 |7495 | 0.000000e+00 | 1.251700e+04 | Inf
615.81/615.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.81/615.85 c 616s| 1710k| 1709k| 1171k| 0.7 |1146M| 301 | 0 | 792 | 526 | 792 | 189 | 36k| 32 |7498 | 0.000000e+00 | 1.251700e+04 | Inf
619.41/619.42 c 619s| 1720k| 1719k| 1177k| 0.7 |1153M| 301 | 0 | 792 | 526 | 792 | 190 | 36k| 32 |7513 | 0.000000e+00 | 1.251700e+04 | Inf
622.91/622.98 c 623s| 1730k| 1729k| 1183k| 0.7 |1159M| 301 | 0 | 792 | 526 | 792 | 192 | 36k| 32 |7554 | 0.000000e+00 | 1.251700e+04 | Inf
626.51/626.55 c 627s| 1740k| 1739k| 1189k| 0.7 |1166M| 301 | 2 | 792 | 525 | 792 | 190 | 36k| 32 |7555 | 0.000000e+00 | 1.251700e+04 | Inf
630.11/630.12 c 630s| 1750k| 1749k| 1195k| 0.7 |1173M| 301 | 0 | 792 | 525 | 792 | 190 | 37k| 32 |7556 | 0.000000e+00 | 1.251700e+04 | Inf
633.71/633.70 c 634s| 1760k| 1759k| 1201k| 0.7 |1180M| 301 | 0 | 792 | 525 | 792 | 190 | 37k| 32 |7611 | 0.000000e+00 | 1.251700e+04 | Inf
637.21/637.27 c 637s| 1770k| 1769k| 1208k| 0.7 |1186M| 301 | 4 | 792 | 525 | 792 | 191 | 37k| 32 |7613 | 0.000000e+00 | 1.251700e+04 | Inf
640.81/640.83 c 641s| 1780k| 1779k| 1214k| 0.7 |1193M| 301 | 0 | 792 | 525 | 792 | 193 | 37k| 32 |7615 | 0.000000e+00 | 1.251700e+04 | Inf
644.41/644.42 c 644s| 1790k| 1789k| 1220k| 0.7 |1200M| 301 | 4 | 792 | 525 | 792 | 191 | 37k| 32 |7659 | 0.000000e+00 | 1.251700e+04 | Inf
647.92/647.97 c 648s| 1800k| 1799k| 1226k| 0.7 |1206M| 301 | 0 | 792 | 525 | 792 | 190 | 37k| 32 |7671 | 0.000000e+00 | 1.251700e+04 | Inf
651.51/651.54 c 652s| 1810k| 1809k| 1232k| 0.7 |1213M| 301 | 0 | 792 | 525 | 792 | 190 | 38k| 32 |7672 | 0.000000e+00 | 1.251700e+04 | Inf
655.11/655.12 c 655s| 1820k| 1819k| 1239k| 0.7 |1220M| 301 | 0 | 792 | 525 | 792 | 191 | 38k| 32 |7694 | 0.000000e+00 | 1.251700e+04 | Inf
658.71/658.71 c 659s| 1830k| 1829k| 1245k| 0.7 |1227M| 301 | 0 | 792 | 525 | 792 | 187 | 38k| 32 |7727 | 0.000000e+00 | 1.251700e+04 | Inf
662.22/662.28 c 662s| 1840k| 1839k| 1251k| 0.7 |1233M| 301 | 0 | 792 | 525 | 792 | 192 | 38k| 32 |7727 | 0.000000e+00 | 1.251700e+04 | Inf
665.81/665.83 c 666s| 1850k| 1849k| 1257k| 0.7 |1240M| 301 | 0 | 792 | 525 | 792 | 191 | 38k| 32 |7738 | 0.000000e+00 | 1.251700e+04 | Inf
669.41/669.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.41/669.43 c 669s| 1860k| 1859k| 1264k| 0.7 |1247M| 301 | 1 | 792 | 525 | 792 | 189 | 38k| 32 |7788 | 0.000000e+00 | 1.251700e+04 | Inf
673.01/673.00 c 673s| 1870k| 1869k| 1270k| 0.7 |1253M| 301 | 4 | 792 | 525 | 792 | 192 | 39k| 32 |7792 | 0.000000e+00 | 1.251700e+04 | Inf
676.52/676.56 c 677s| 1880k| 1879k| 1276k| 0.7 |1260M| 301 | 0 | 792 | 525 | 792 | 190 | 39k| 32 |7796 | 0.000000e+00 | 1.251700e+04 | Inf
680.11/680.15 c 680s| 1890k| 1889k| 1283k| 0.7 |1267M| 301 | 1 | 792 | 525 | 792 | 190 | 39k| 32 |7837 | 0.000000e+00 | 1.251700e+04 | Inf
683.71/683.71 c 684s| 1900k| 1899k| 1289k| 0.7 |1273M| 301 | 3 | 792 | 525 | 792 | 191 | 39k| 32 |7852 | 0.000000e+00 | 1.251700e+04 | Inf
687.21/687.28 c 687s| 1910k| 1909k| 1295k| 0.7 |1280M| 301 | 0 | 792 | 525 | 792 | 191 | 39k| 32 |7852 | 0.000000e+00 | 1.251700e+04 | Inf
690.82/690.86 c 691s| 1920k| 1919k| 1301k| 0.7 |1287M| 301 | 0 | 792 | 525 | 792 | 191 | 39k| 32 |7881 | 0.000000e+00 | 1.251700e+04 | Inf
694.41/694.44 c 694s| 1930k| 1929k| 1308k| 0.7 |1294M| 301 | 0 | 792 | 525 | 792 | 191 | 39k| 32 |7906 | 0.000000e+00 | 1.251700e+04 | Inf
698.01/698.04 c 698s| 1940k| 1939k| 1315k| 0.7 |1300M| 301 | 0 | 792 | 525 | 792 | 190 | 40k| 32 |7907 | 0.000000e+00 | 1.251700e+04 | Inf
701.61/701.60 c 702s| 1950k| 1949k| 1321k| 0.7 |1307M| 301 | 0 | 792 | 525 | 792 | 187 | 40k| 32 |7922 | 0.000000e+00 | 1.251700e+04 | Inf
705.12/705.18 c 705s| 1960k| 1959k| 1328k| 0.7 |1314M| 301 | 0 | 792 | 525 | 792 | 192 | 40k| 32 |7962 | 0.000000e+00 | 1.251700e+04 | Inf
708.71/708.76 c 709s| 1970k| 1969k| 1334k| 0.7 |1320M| 301 | 0 | 792 | 525 | 792 | 192 | 40k| 32 |7962 | 0.000000e+00 | 1.251700e+04 | Inf
712.32/712.35 c 712s| 1980k| 1979k| 1340k| 0.7 |1327M| 301 | 3 | 792 | 525 | 792 | 191 | 40k| 32 |7963 | 0.000000e+00 | 1.251700e+04 | Inf
715.91/715.96 c 716s| 1990k| 1989k| 1347k| 0.7 |1334M| 301 | 0 | 792 | 525 | 792 | 189 | 41k| 32 |8020 | 0.000000e+00 | 1.251700e+04 | Inf
719.51/719.52 c 720s| 2000k| 1999k| 1353k| 0.7 |1340M| 301 | 0 | 792 | 525 | 792 | 189 | 41k| 32 |8023 | 0.000000e+00 | 1.251700e+04 | Inf
723.02/723.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.02/723.09 c 723s| 2010k| 2009k| 1360k| 0.7 |1347M| 301 | 2 | 792 | 525 | 792 | 189 | 41k| 32 |8023 | 0.000000e+00 | 1.251700e+04 | Inf
726.62/726.67 c 727s| 2020k| 2019k| 1366k| 0.7 |1354M| 301 | 0 | 792 | 525 | 792 | 191 | 41k| 32 |8060 | 0.000000e+00 | 1.251700e+04 | Inf
730.22/730.24 c 730s| 2030k| 2029k| 1372k| 0.7 |1361M| 301 | 0 | 792 | 525 | 792 | 190 | 41k| 32 |8080 | 0.000000e+00 | 1.251700e+04 | Inf
733.81/733.81 c 734s| 2040k| 2039k| 1379k| 0.7 |1367M| 301 | 1 | 792 | 525 | 792 | 187 | 41k| 32 |8081 | 0.000000e+00 | 1.251700e+04 | Inf
737.41/737.40 c 737s| 2050k| 2049k| 1385k| 0.7 |1374M| 301 | 0 | 792 | 525 | 792 | 190 | 42k| 32 |8095 | 0.000000e+00 | 1.251700e+04 | Inf
741.01/741.00 c 741s| 2060k| 2059k| 1392k| 0.7 |1381M| 301 | 3 | 792 | 525 | 792 | 192 | 42k| 32 |8135 | 0.000000e+00 | 1.251700e+04 | Inf
744.52/744.58 c 745s| 2070k| 2069k| 1398k| 0.7 |1387M| 301 | 0 | 792 | 525 | 792 | 190 | 42k| 32 |8135 | 0.000000e+00 | 1.251700e+04 | Inf
748.12/748.15 c 748s| 2080k| 2079k| 1404k| 0.7 |1394M| 301 | 0 | 792 | 525 | 792 | 189 | 42k| 32 |8137 | 0.000000e+00 | 1.251700e+04 | Inf
751.71/751.76 c 752s| 2090k| 2089k| 1411k| 0.7 |1401M| 301 | 0 | 792 | 525 | 792 | 192 | 42k| 32 |8187 | 0.000000e+00 | 1.251700e+04 | Inf
755.31/755.33 c 755s| 2100k| 2099k| 1418k| 0.7 |1408M| 301 | 0 | 792 | 525 | 792 | 190 | 42k| 32 |8191 | 0.000000e+00 | 1.251700e+04 | Inf
758.81/758.88 c 759s| 2110k| 2109k| 1424k| 0.7 |1414M| 301 | 0 | 792 | 525 | 792 | 190 | 43k| 32 |8193 | 0.000000e+00 | 1.251700e+04 | Inf
762.41/762.45 c 762s| 2120k| 2119k| 1430k| 0.7 |1421M| 301 | 4 | 792 | 525 | 792 | 192 | 43k| 32 |8225 | 0.000000e+00 | 1.251700e+04 | Inf
766.01/766.02 c 766s| 2130k| 2129k| 1436k| 0.7 |1428M| 301 | 3 | 792 | 525 | 792 | 189 | 43k| 32 |8247 | 0.000000e+00 | 1.251700e+04 | Inf
769.52/769.58 c 770s| 2140k| 2139k| 1442k| 0.7 |1434M| 301 | 0 | 792 | 525 | 792 | 189 | 43k| 32 |8250 | 0.000000e+00 | 1.251700e+04 | Inf
773.11/773.14 c 773s| 2150k| 2149k| 1449k| 0.7 |1441M| 301 | 0 | 792 | 525 | 792 | 189 | 43k| 32 |8263 | 0.000000e+00 | 1.251700e+04 | Inf
776.72/776.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.72/776.73 c 777s| 2160k| 2159k| 1456k| 0.7 |1448M| 301 | 0 | 792 | 525 | 792 | 190 | 43k| 32 |8305 | 0.000000e+00 | 1.251700e+04 | Inf
780.31/780.30 c 780s| 2170k| 2169k| 1462k| 0.7 |1455M| 301 | 0 | 792 | 524 | 792 | 192 | 43k| 32 |8315 | 0.000000e+00 | 1.251700e+04 | Inf
783.81/783.85 c 784s| 2180k| 2179k| 1469k| 0.7 |1461M| 301 | 4 | 792 | 524 | 792 | 192 | 44k| 32 |8322 | 0.000000e+00 | 1.251700e+04 | Inf
787.42/787.44 c 787s| 2190k| 2189k| 1476k| 0.7 |1468M| 301 | 0 | 792 | 524 | 792 | 187 | 44k| 32 |8367 | 0.000000e+00 | 1.251700e+04 | Inf
791.01/791.03 c 791s| 2200k| 2199k| 1482k| 0.7 |1475M| 301 | 0 | 792 | 524 | 792 | 191 | 44k| 32 |8374 | 0.000000e+00 | 1.251700e+04 | Inf
794.52/794.57 c 795s| 2210k| 2209k| 1489k| 0.7 |1482M| 301 | 0 | 792 | 524 | 792 | 190 | 44k| 32 |8378 | 0.000000e+00 | 1.251700e+04 | Inf
798.02/798.08 c 798s| 2220k| 2219k| 1495k| 0.7 |1488M| 301 | 0 | 792 | 524 | 792 | 190 | 44k| 32 |8400 | 0.000000e+00 | 1.251700e+04 | Inf
801.61/801.64 c 802s| 2230k| 2229k| 1501k| 0.7 |1495M| 301 | 0 | 792 | 524 | 792 | 190 | 44k| 32 |8450 | 0.000000e+00 | 1.251700e+04 | Inf
805.22/805.22 c 805s| 2240k| 2239k| 1508k| 0.7 |1502M| 301 | 0 | 792 | 524 | 792 | 189 | 45k| 32 |8460 | 0.000000e+00 | 1.251700e+04 | Inf
808.82/808.80 c 809s| 2250k| 2249k| 1514k| 0.7 |1509M| 301 | 0 | 792 | 524 | 792 | 192 | 45k| 32 |8461 | 0.000000e+00 | 1.251700e+04 | Inf
812.42/812.40 c 812s| 2260k| 2259k| 1521k| 0.7 |1515M| 301 | 0 | 792 | 524 | 792 | 192 | 45k| 32 |8502 | 0.000000e+00 | 1.251700e+04 | Inf
815.92/815.99 c 816s| 2270k| 2269k| 1527k| 0.7 |1522M| 301 | 0 | 792 | 524 | 792 | 190 | 45k| 32 |8515 | 0.000000e+00 | 1.251700e+04 | Inf
819.52/819.57 c 820s| 2280k| 2279k| 1534k| 0.7 |1529M| 301 | 0 | 792 | 524 | 792 | 192 | 45k| 32 |8516 | 0.000000e+00 | 1.251700e+04 | Inf
823.11/823.15 c 823s| 2290k| 2289k| 1541k| 0.7 |1535M| 301 | 0 | 792 | 524 | 792 | 192 | 45k| 32 |8541 | 0.000000e+00 | 1.251700e+04 | Inf
826.71/826.76 c 827s| 2300k| 2299k| 1547k| 0.7 |1542M| 301 | 0 | 792 | 524 | 792 | 193 | 46k| 32 |8596 | 0.000000e+00 | 1.251700e+04 | Inf
830.31/830.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.31/830.37 c 830s| 2310k| 2309k| 1554k| 0.7 |1549M| 301 | 0 | 792 | 524 | 792 | 190 | 46k| 32 |8609 | 0.000000e+00 | 1.251700e+04 | Inf
833.91/833.96 c 834s| 2320k| 2319k| 1561k| 0.7 |1556M| 301 | 0 | 792 | 524 | 792 | 190 | 46k| 32 |8627 | 0.000000e+00 | 1.251700e+04 | Inf
837.52/837.54 c 838s| 2330k| 2329k| 1567k| 0.7 |1562M| 301 | 0 | 792 | 524 | 792 | 190 | 46k| 32 |8663 | 0.000000e+00 | 1.251700e+04 | Inf
841.12/841.12 c 841s| 2340k| 2339k| 1574k| 0.7 |1569M| 301 | 0 | 792 | 524 | 792 | 190 | 46k| 32 |8710 | 0.000000e+00 | 1.251700e+04 | Inf
844.73/844.71 c 845s| 2350k| 2349k| 1580k| 0.7 |1576M| 301 | 0 | 792 | 524 | 792 | 192 | 47k| 32 |8723 | 0.000000e+00 | 1.251700e+04 | Inf
848.32/848.30 c 848s| 2360k| 2359k| 1587k| 0.7 |1583M| 301 | 0 | 792 | 524 | 792 | 191 | 47k| 32 |8737 | 0.000000e+00 | 1.251700e+04 | Inf
851.91/851.92 c 852s| 2370k| 2369k| 1594k| 0.7 |1589M| 301 | 0 | 792 | 524 | 792 | 191 | 47k| 32 |8778 | 0.000000e+00 | 1.251700e+04 | Inf
855.52/855.52 c 856s| 2380k| 2379k| 1601k| 0.7 |1596M| 301 | 3 | 792 | 524 | 792 | 189 | 47k| 32 |8795 | 0.000000e+00 | 1.251700e+04 | Inf
859.02/859.08 c 859s| 2390k| 2389k| 1607k| 0.7 |1603M| 301 | 0 | 792 | 524 | 792 | 189 | 47k| 32 |8797 | 0.000000e+00 | 1.251700e+04 | Inf
862.61/862.66 c 863s| 2400k| 2399k| 1614k| 0.7 |1609M| 301 | 0 | 792 | 524 | 792 | 190 | 48k| 32 |8821 | 0.000000e+00 | 1.251700e+04 | Inf
866.22/866.23 c 866s| 2410k| 2409k| 1620k| 0.7 |1616M| 301 | 0 | 792 | 524 | 792 | 190 | 48k| 32 |8859 | 0.000000e+00 | 1.251700e+04 | Inf
869.81/869.80 c 870s| 2420k| 2419k| 1627k| 0.7 |1623M| 301 | 3 | 792 | 524 | 792 | 191 | 48k| 32 |8866 | 0.000000e+00 | 1.251700e+04 | Inf
873.32/873.35 c 873s| 2430k| 2429k| 1633k| 0.7 |1630M| 301 | 0 | 792 | 524 | 792 | 192 | 48k| 32 |8868 | 0.000000e+00 | 1.251700e+04 | Inf
876.91/876.95 c 877s| 2440k| 2439k| 1640k| 0.7 |1636M| 301 | 3 | 792 | 524 | 792 | 191 | 48k| 32 |8913 | 0.000000e+00 | 1.251700e+04 | Inf
880.52/880.51 c 881s| 2450k| 2449k| 1647k| 0.7 |1643M| 301 | 0 | 792 | 524 | 792 | 190 | 48k| 32 |8925 | 0.000000e+00 | 1.251700e+04 | Inf
884.02/884.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.02/884.06 c 884s| 2460k| 2459k| 1653k| 0.7 |1650M| 301 | 0 | 792 | 524 | 792 | 190 | 49k| 32 |8927 | 0.000000e+00 | 1.251700e+04 | Inf
887.52/887.60 c 888s| 2470k| 2469k| 1659k| 0.7 |1656M| 301 | 0 | 792 | 524 | 792 | 187 | 49k| 32 |8940 | 0.000000e+00 | 1.251700e+04 | Inf
891.12/891.19 c 891s| 2480k| 2479k| 1666k| 0.7 |1663M| 301 | 0 | 792 | 524 | 792 | 192 | 49k| 32 |8978 | 0.000000e+00 | 1.251700e+04 | Inf
894.72/894.74 c 895s| 2490k| 2489k| 1672k| 0.7 |1670M| 301 | 0 | 792 | 524 | 792 | 190 | 49k| 32 |8989 | 0.000000e+00 | 1.251700e+04 | Inf
898.32/898.31 c 898s| 2500k| 2499k| 1679k| 0.7 |1677M| 301 | 0 | 792 | 524 | 792 | 190 | 49k| 32 |8993 | 0.000000e+00 | 1.251700e+04 | Inf
901.81/901.89 c 902s| 2510k| 2509k| 1686k| 0.7 |1683M| 301 | 0 | 792 | 524 | 792 | 190 | 49k| 32 |9034 | 0.000000e+00 | 1.251700e+04 | Inf
905.42/905.44 c 905s| 2520k| 2519k| 1692k| 0.7 |1690M| 301 | 0 | 792 | 524 | 792 | 193 | 50k| 32 |9053 | 0.000000e+00 | 1.251700e+04 | Inf
908.92/908.99 c 909s| 2530k| 2529k| 1699k| 0.7 |1697M| 301 | 0 | 792 | 524 | 792 | 190 | 50k| 32 |9056 | 0.000000e+00 | 1.251700e+04 | Inf
912.51/912.53 c 913s| 2540k| 2539k| 1705k| 0.7 |1703M| 301 | 0 | 792 | 524 | 792 | 192 | 50k| 32 |9061 | 0.000000e+00 | 1.251700e+04 | Inf
916.12/916.12 c 916s| 2550k| 2549k| 1712k| 0.7 |1710M| 301 | 0 | 792 | 524 | 792 | 189 | 50k| 32 |9110 | 0.000000e+00 | 1.251700e+04 | Inf
919.62/919.68 c 920s| 2560k| 2559k| 1718k| 0.7 |1717M| 301 | 0 | 792 | 524 | 792 | 189 | 50k| 32 |9117 | 0.000000e+00 | 1.251700e+04 | Inf
923.22/923.26 c 923s| 2570k| 2569k| 1725k| 0.7 |1724M| 301 | 0 | 792 | 524 | 792 | 192 | 50k| 32 |9118 | 0.000000e+00 | 1.251700e+04 | Inf
926.82/926.83 c 927s| 2580k| 2579k| 1731k| 0.7 |1730M| 301 | 0 | 792 | 524 | 792 | 190 | 51k| 32 |9142 | 0.000000e+00 | 1.251700e+04 | Inf
930.42/930.42 c 930s| 2590k| 2589k| 1738k| 0.7 |1737M| 301 | 0 | 792 | 524 | 792 | 192 | 51k| 32 |9177 | 0.000000e+00 | 1.251700e+04 | Inf
934.02/934.01 c 934s| 2600k| 2599k| 1744k| 0.7 |1744M| 301 | 2 | 792 | 524 | 792 | 189 | 51k| 32 |9190 | 0.000000e+00 | 1.251700e+04 | Inf
937.52/937.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.52/937.57 c 938s| 2610k| 2609k| 1751k| 0.7 |1750M| 301 | 0 | 792 | 524 | 792 | 187 | 51k| 32 |9190 | 0.000000e+00 | 1.251700e+04 | Inf
941.12/941.15 c 941s| 2620k| 2619k| 1758k| 0.7 |1757M| 301 | 0 | 792 | 524 | 792 | 193 | 51k| 32 |9223 | 0.000000e+00 | 1.251700e+04 | Inf
944.72/944.75 c 945s| 2630k| 2629k| 1764k| 0.7 |1764M| 301 | 0 | 792 | 524 | 792 | 190 | 51k| 32 |9249 | 0.000000e+00 | 1.251700e+04 | Inf
948.23/948.29 c 948s| 2640k| 2639k| 1771k| 0.7 |1771M| 301 | 1 | 792 | 524 | 792 | 192 | 52k| 32 |9252 | 0.000000e+00 | 1.251700e+04 | Inf
951.82/951.87 c 952s| 2650k| 2649k| 1777k| 0.7 |1777M| 301 | 2 | 792 | 524 | 792 | 190 | 52k| 32 |9253 | 0.000000e+00 | 1.251700e+04 | Inf
955.42/955.46 c 955s| 2660k| 2659k| 1784k| 0.7 |1784M| 301 | 0 | 792 | 524 | 792 | 192 | 52k| 32 |9305 | 0.000000e+00 | 1.251700e+04 | Inf
959.02/959.04 c 959s| 2670k| 2669k| 1790k| 0.7 |1791M| 301 | 0 | 792 | 524 | 792 | 189 | 52k| 32 |9314 | 0.000000e+00 | 1.251700e+04 | Inf
962.62/962.60 c 963s| 2680k| 2679k| 1797k| 0.7 |1798M| 301 | 0 | 792 | 524 | 792 | 190 | 52k| 32 |9323 | 0.000000e+00 | 1.251700e+04 | Inf
966.12/966.19 c 966s| 2690k| 2689k| 1804k| 0.7 |1804M| 301 | 0 | 792 | 524 | 792 | 191 | 53k| 32 |9337 | 0.000000e+00 | 1.251700e+04 | Inf
969.72/969.79 c 970s| 2700k| 2699k| 1810k| 0.7 |1811M| 301 | 0 | 792 | 524 | 792 | 190 | 53k| 32 |9378 | 0.000000e+00 | 1.251700e+04 | Inf
973.33/973.36 c 973s| 2710k| 2709k| 1817k| 0.7 |1818M| 301 | 2 | 792 | 524 | 792 | 190 | 53k| 32 |9382 | 0.000000e+00 | 1.251700e+04 | Inf
976.92/976.95 c 977s| 2720k| 2719k| 1823k| 0.7 |1824M| 301 | 4 | 792 | 524 | 792 | 192 | 53k| 32 |9382 | 0.000000e+00 | 1.251700e+04 | Inf
980.52/980.56 c 981s| 2730k| 2729k| 1830k| 0.7 |1831M| 301 | 1 | 792 | 524 | 792 | 192 | 53k| 32 |9426 | 0.000000e+00 | 1.251700e+04 | Inf
984.12/984.16 c 984s| 2740k| 2739k| 1837k| 0.7 |1838M| 301 | 3 | 792 | 524 | 792 | 191 | 53k| 32 |9435 | 0.000000e+00 | 1.251700e+04 | Inf
987.72/987.78 c 988s| 2750k| 2749k| 1844k| 0.7 |1845M| 301 | 1 | 792 | 524 | 792 | 189 | 54k| 32 |9442 | 0.000000e+00 | 1.251700e+04 | Inf
991.32/991.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.32/991.36 c 991s| 2760k| 2759k| 1850k| 0.7 |1851M| 301 | 0 | 792 | 524 | 792 | 191 | 54k| 32 |9450 | 0.000000e+00 | 1.251700e+04 | Inf
994.92/994.96 c 995s| 2770k| 2769k| 1857k| 0.7 |1858M| 301 | 4 | 792 | 524 | 792 | 190 | 54k| 32 |9506 | 0.000000e+00 | 1.251700e+04 | Inf
998.52/998.54 c 999s| 2780k| 2779k| 1863k| 0.7 |1865M| 301 | 2 | 792 | 524 | 792 | 191 | 54k| 32 |9509 | 0.000000e+00 | 1.251700e+04 | Inf
1002.13/1002.11 c 1002s| 2790k| 2789k| 1870k| 0.7 |1871M| 301 | 3 | 792 | 524 | 792 | 189 | 54k| 32 |9514 | 0.000000e+00 | 1.251700e+04 | Inf
1005.72/1005.70 c 1006s| 2800k| 2799k| 1877k| 0.7 |1878M| 301 | 2 | 792 | 525 | 792 | 192 | 55k| 33 |9534 | 0.000000e+00 | 1.251700e+04 | Inf
1009.32/1009.30 c 1009s| 2810k| 2809k| 1883k| 0.7 |1885M| 301 | 0 | 792 | 525 | 792 | 192 | 55k| 33 |9579 | 0.000000e+00 | 1.251700e+04 | Inf
1012.83/1012.87 c 1013s| 2820k| 2819k| 1890k| 0.7 |1892M| 301 | 2 | 792 | 525 | 792 | 192 | 55k| 33 |9585 | 0.000000e+00 | 1.251700e+04 | Inf
1016.43/1016.43 c 1016s| 2830k| 2829k| 1896k| 0.7 |1898M| 301 | 0 | 792 | 525 | 792 | 189 | 55k| 33 |9587 | 0.000000e+00 | 1.251700e+04 | Inf
1020.02/1020.01 c 1020s| 2840k| 2839k| 1903k| 0.7 |1905M| 301 | 0 | 792 | 525 | 792 | 193 | 55k| 33 |9614 | 0.000000e+00 | 1.251700e+04 | Inf
1023.63/1023.62 c 1024s| 2850k| 2849k| 1910k| 0.7 |1912M| 301 | 0 | 792 | 525 | 792 | 189 | 56k| 33 |9645 | 0.000000e+00 | 1.251700e+04 | Inf
1027.23/1027.20 c 1027s| 2860k| 2859k| 1916k| 0.7 |1919M| 301 | 1 | 792 | 525 | 792 | 191 | 56k| 33 |9645 | 0.000000e+00 | 1.251700e+04 | Inf
1030.73/1030.78 c 1031s| 2870k| 2869k| 1923k| 0.7 |1925M| 301 | 2 | 792 | 525 | 792 | 189 | 56k| 33 |9652 | 0.000000e+00 | 1.251700e+04 | Inf
1034.32/1034.36 c 1034s| 2880k| 2879k| 1929k| 0.7 |1932M| 301 | 0 | 792 | 525 | 792 | 187 | 56k| 33 |9690 | 0.000000e+00 | 1.251700e+04 | Inf
1037.93/1037.93 c 1038s| 2890k| 2889k| 1936k| 0.7 |1939M| 301 | 0 | 792 | 525 | 792 | 191 | 56k| 33 |9706 | 0.000000e+00 | 1.251700e+04 | Inf
1041.52/1041.51 c 1042s| 2900k| 2899k| 1942k| 0.7 |1946M| 301 | 1 | 792 | 525 | 792 | 191 | 56k| 33 |9707 | 0.000000e+00 | 1.251700e+04 | Inf
1045.03/1045.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.03/1045.09 c 1045s| 2910k| 2909k| 1949k| 0.7 |1952M| 301 | 2 | 792 | 525 | 792 | 189 | 57k| 33 |9717 | 0.000000e+00 | 1.251700e+04 | Inf
1048.62/1048.68 c 1049s| 2920k| 2919k| 1955k| 0.7 |1959M| 301 | 0 | 792 | 525 | 792 | 190 | 57k| 33 |9764 | 0.000000e+00 | 1.251700e+04 | Inf
1052.22/1052.26 c 1052s| 2930k| 2929k| 1962k| 0.7 |1966M| 301 | 0 | 792 | 525 | 792 | 190 | 57k| 33 |9771 | 0.000000e+00 | 1.251700e+04 | Inf
1055.82/1055.81 c 1056s| 2940k| 2939k| 1968k| 0.7 |1972M| 301 | 0 | 792 | 525 | 792 | 193 | 57k| 33 |9771 | 0.000000e+00 | 1.251700e+04 | Inf
1059.42/1059.41 c 1059s| 2950k| 2949k| 1975k| 0.7 |1979M| 301 | 0 | 792 | 525 | 792 | 193 | 57k| 33 |9786 | 0.000000e+00 | 1.251700e+04 | Inf
1063.03/1063.00 c 1063s| 2960k| 2959k| 1981k| 0.7 |1986M| 301 | 0 | 792 | 524 | 792 | 190 | 58k| 33 |9825 | 0.000000e+00 | 1.251700e+04 | Inf
1066.52/1066.54 c 1067s| 2970k| 2969k| 1988k| 0.7 |1993M| 301 | 0 | 792 | 524 | 792 | 190 | 58k| 33 |9826 | 0.000000e+00 | 1.251700e+04 | Inf
1070.12/1070.13 c 1070s| 2980k| 2979k| 1995k| 0.7 |1999M| 301 | 0 | 792 | 524 | 792 | 192 | 58k| 33 |9830 | 0.000000e+00 | 1.251700e+04 | Inf
1073.72/1073.71 c 1074s| 2990k| 2989k| 2001k| 0.7 |2006M| 301 | 0 | 792 | 524 | 792 | 193 | 58k| 33 |9857 | 0.000000e+00 | 1.251700e+04 | Inf
1077.32/1077.32 c 1077s| 3000k| 2999k| 2008k| 0.7 |2013M| 301 | 0 | 792 | 524 | 792 | 194 | 58k| 33 |9892 | 0.000000e+00 | 1.251700e+04 | Inf
1080.93/1080.92 c 1081s| 3010k| 3009k| 2015k| 0.7 |2020M| 301 | 0 | 792 | 524 | 792 | 190 | 59k| 33 |9893 | 0.000000e+00 | 1.251700e+04 | Inf
1084.43/1084.49 c 1084s| 3020k| 3019k| 2021k| 0.7 |2026M| 301 | 1 | 792 | 524 | 792 | 190 | 59k| 33 |9901 | 0.000000e+00 | 1.251700e+04 | Inf
1088.02/1088.08 c 1088s| 3030k| 3029k| 2028k| 0.7 |2033M| 301 | 0 | 792 | 524 | 792 | 192 | 59k| 33 |9932 | 0.000000e+00 | 1.251700e+04 | Inf
1091.63/1091.67 c 1092s| 3040k| 3039k| 2034k| 0.7 |2040M| 301 | 0 | 792 | 524 | 792 | 190 | 59k| 33 |9954 | 0.000000e+00 | 1.251700e+04 | Inf
1095.23/1095.23 c 1095s| 3050k| 3049k| 2040k| 0.7 |2047M| 301 | 2 | 792 | 524 | 792 | 192 | 59k| 33 |9958 | 0.000000e+00 | 1.251700e+04 | Inf
1098.73/1098.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.73/1098.80 c 1099s| 3060k| 3059k| 2047k| 0.7 |2053M| 301 | 0 | 792 | 524 | 792 | 190 | 59k| 33 |9959 | 0.000000e+00 | 1.251700e+04 | Inf
1102.33/1102.39 c 1102s| 3070k| 3069k| 2053k| 0.7 |2060M| 301 | 0 | 792 | 524 | 792 | 192 | 60k| 33 |9995 | 0.000000e+00 | 1.251700e+04 | Inf
1105.93/1105.96 c 1106s| 3080k| 3079k| 2060k| 0.7 |2067M| 301 | 0 | 792 | 524 | 792 | 189 | 60k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1109.52/1109.52 c 1110s| 3090k| 3089k| 2066k| 0.7 |2073M| 301 | 0 | 792 | 524 | 792 | 189 | 60k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1113.03/1113.09 c 1113s| 3100k| 3099k| 2073k| 0.7 |2080M| 301 | 1 | 792 | 524 | 792 | 190 | 60k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1116.62/1116.65 c 1117s| 3110k| 3109k| 2079k| 0.7 |2087M| 301 | 1 | 792 | 524 | 792 | 192 | 60k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1120.23/1120.21 c 1120s| 3120k| 3119k| 2086k| 0.7 |2094M| 301 | 0 | 792 | 524 | 792 | 191 | 60k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1123.72/1123.77 c 1124s| 3130k| 3129k| 2092k| 0.7 |2100M| 301 | 0 | 792 | 524 | 792 | 191 | 61k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1127.33/1127.35 c 1127s| 3140k| 3139k| 2098k| 0.7 |2107M| 301 | 0 | 792 | 524 | 792 | 191 | 61k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1130.93/1130.93 c 1131s| 3150k| 3149k| 2105k| 0.7 |2114M| 301 | 0 | 792 | 524 | 792 | 191 | 61k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1134.43/1134.49 c 1134s| 3160k| 3159k| 2111k| 0.7 |2121M| 301 | 0 | 792 | 524 | 792 | 191 | 61k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1138.02/1138.04 c 1138s| 3170k| 3169k| 2118k| 0.7 |2127M| 301 | 0 | 792 | 524 | 792 | 190 | 61k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1141.63/1141.60 c 1142s| 3180k| 3179k| 2124k| 0.7 |2134M| 301 | 1 | 792 | 524 | 792 | 190 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1145.13/1145.18 c 1145s| 3190k| 3189k| 2130k| 0.7 |2141M| 301 | 0 | 792 | 524 | 792 | 193 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1148.73/1148.76 c 1149s| 3200k| 3199k| 2137k| 0.7 |2147M| 301 | 0 | 792 | 524 | 792 | 194 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1152.32/1152.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.32/1152.33 c 1152s| 3210k| 3209k| 2144k| 0.7 |2154M| 301 | 0 | 792 | 524 | 792 | 190 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1155.93/1155.90 c 1156s| 3220k| 3219k| 2150k| 0.7 |2161M| 301 | 0 | 792 | 524 | 792 | 192 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1159.43/1159.48 c 1159s| 3230k| 3229k| 2156k| 0.7 |2168M| 301 | 0 | 792 | 524 | 792 | 193 | 62k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1163.03/1163.07 c 1163s| 3240k| 3239k| 2163k| 0.7 |2174M| 301 | 3 | 792 | 524 | 792 | 192 | 63k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1166.62/1166.63 c 1167s| 3250k| 3249k| 2170k| 0.7 |2181M| 301 | 0 | 792 | 524 | 792 | 190 | 63k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1170.22/1170.23 c 1170s| 3260k| 3259k| 2176k| 0.7 |2188M| 301 | 0 | 792 | 524 | 792 | 190 | 63k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1173.83/1173.82 c 1174s| 3270k| 3269k| 2183k| 0.7 |2195M| 301 | 0 | 792 | 524 | 792 | 192 | 63k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1177.42/1177.42 c 1177s| 3280k| 3279k| 2189k| 0.7 |2201M| 301 | 0 | 792 | 524 | 792 | 192 | 63k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1180.93/1180.99 c 1181s| 3290k| 3289k| 2196k| 0.7 |2208M| 301 | 0 | 792 | 524 | 792 | 189 | 64k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1184.53/1184.56 c 1185s| 3300k| 3299k| 2202k| 0.7 |2215M| 301 | 4 | 792 | 524 | 792 | 190 | 64k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1188.13/1188.18 c 1188s| 3310k| 3309k| 2209k| 0.7 |2222M| 301 | 0 | 792 | 524 | 792 | 190 | 64k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1191.73/1191.76 c 1192s| 3320k| 3319k| 2216k| 0.7 |2228M| 301 | 0 | 792 | 524 | 792 | 190 | 64k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1195.32/1195.37 c 1195s| 3330k| 3329k| 2222k| 0.7 |2235M| 301 | 1 | 792 | 524 | 792 | 190 | 64k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1198.93/1198.96 c 1199s| 3340k| 3339k| 2229k| 0.7 |2242M| 301 | 3 | 792 | 524 | 792 | 191 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1202.53/1202.57 c 1203s| 3350k| 3349k| 2235k| 0.7 |2248M| 301 | 0 | 792 | 524 | 792 | 192 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1206.12/1206.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.12/1206.14 c 1206s| 3360k| 3359k| 2242k| 0.7 |2255M| 301 | 0 | 792 | 524 | 792 | 194 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1209.73/1209.74 c 1210s| 3370k| 3369k| 2248k| 0.7 |2262M| 301 | 0 | 792 | 524 | 792 | 192 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1213.33/1213.31 c 1213s| 3380k| 3379k| 2255k| 0.7 |2269M| 301 | 0 | 792 | 524 | 792 | 191 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1216.93/1216.91 c 1217s| 3390k| 3389k| 2261k| 0.7 |2275M| 301 | 0 | 792 | 524 | 792 | 190 | 65k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1220.43/1220.46 c 1220s| 3400k| 3399k| 2268k| 0.7 |2282M| 301 | 1 | 792 | 524 | 792 | 190 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1223.93/1223.95 c 1224s| 3410k| 3409k| 2273k| 0.7 |2289M| 301 | 0 | 792 | 524 | 792 | 190 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1227.53/1227.51 c 1228s| 3420k| 3419k| 2280k| 0.7 |2296M| 301 | 1 | 792 | 524 | 792 | 191 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1231.13/1231.12 c 1231s| 3430k| 3429k| 2286k| 0.7 |2302M| 301 | 0 | 792 | 524 | 792 | 190 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1234.72/1234.72 c 1235s| 3440k| 3439k| 2293k| 0.7 |2309M| 301 | 1 | 792 | 524 | 792 | 191 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1238.23/1238.26 c 1238s| 3450k| 3449k| 2299k| 0.7 |2316M| 301 | 0 | 792 | 524 | 792 | 190 | 66k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1241.84/1241.85 c 1242s| 3460k| 3459k| 2306k| 0.7 |2323M| 301 | 2 | 792 | 524 | 792 | 193 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1245.43/1245.43 c 1245s| 3470k| 3469k| 2313k| 0.7 |2329M| 301 | 0 | 792 | 524 | 792 | 190 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1249.03/1249.01 c 1249s| 3480k| 3479k| 2319k| 0.7 |2336M| 301 | 0 | 792 | 524 | 792 | 190 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1252.53/1252.59 c 1253s| 3490k| 3489k| 2326k| 0.7 |2343M| 301 | 1 | 792 | 524 | 792 | 193 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1256.14/1256.15 c 1256s| 3500k| 3499k| 2333k| 0.7 |2349M| 301 | 0 | 792 | 524 | 792 | 193 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1259.73/1259.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.73/1259.76 c 1260s| 3510k| 3509k| 2339k| 0.7 |2356M| 301 | 0 | 792 | 524 | 792 | 190 | 67k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1263.33/1263.36 c 1263s| 3520k| 3519k| 2346k| 0.7 |2363M| 301 | 0 | 792 | 524 | 792 | 190 | 68k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1267.03/1267.00 c 1267s| 3530k| 3529k| 2353k| 0.7 |2370M| 301 | 4 | 792 | 524 | 792 | 191 | 68k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1270.63/1270.66 c 1271s| 3540k| 3539k| 2360k| 0.7 |2376M| 301 | 0 | 792 | 524 | 792 | 191 | 68k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1274.33/1274.34 c 1274s| 3550k| 3549k| 2367k| 0.7 |2383M| 301 | 2 | 792 | 524 | 792 | 193 | 68k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1278.03/1278.00 c 1278s| 3560k| 3559k| 2374k| 0.7 |2390M| 301 | 0 | 792 | 524 | 792 | 193 | 69k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1281.63/1281.63 c 1282s| 3570k| 3569k| 2382k| 0.7 |2397M| 301 | 0 | 792 | 524 | 792 | 192 | 69k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1285.23/1285.25 c 1285s| 3580k| 3579k| 2389k| 0.7 |2403M| 301 | 3 | 792 | 524 | 792 | 189 | 69k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1288.83/1288.87 c 1289s| 3590k| 3589k| 2395k| 0.7 |2410M| 301 | 2 | 792 | 524 | 792 | 190 | 69k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1292.44/1292.47 c 1292s| 3600k| 3599k| 2402k| 0.7 |2417M| 301 | 0 | 792 | 524 | 792 | 190 | 69k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1296.04/1296.08 c 1296s| 3610k| 3609k| 2409k| 0.7 |2423M| 301 | 0 | 792 | 524 | 792 | 191 | 70k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1299.63/1299.69 c 1300s| 3620k| 3619k| 2416k| 0.7 |2430M| 301 | 0 | 792 | 524 | 792 | 189 | 70k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1303.33/1303.31 c 1303s| 3630k| 3629k| 2423k| 0.7 |2437M| 301 | 0 | 792 | 524 | 792 | 193 | 70k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1306.93/1306.91 c 1307s| 3640k| 3639k| 2429k| 0.7 |2444M| 301 | 3 | 792 | 524 | 792 | 192 | 70k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1310.53/1310.51 c 1311s| 3650k| 3649k| 2436k| 0.7 |2450M| 301 | 0 | 792 | 524 | 792 | 190 | 70k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1314.13/1314.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.13/1314.10 c 1314s| 3660k| 3659k| 2443k| 0.7 |2457M| 301 | 0 | 792 | 524 | 792 | 192 | 71k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1317.74/1317.74 c 1318s| 3670k| 3669k| 2450k| 0.7 |2464M| 301 | 0 | 792 | 524 | 792 | 192 | 71k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1321.33/1321.37 c 1321s| 3680k| 3679k| 2456k| 0.7 |2471M| 301 | 0 | 792 | 524 | 792 | 192 | 71k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1324.93/1324.99 c 1325s| 3690k| 3689k| 2463k| 0.7 |2477M| 301 | 0 | 792 | 524 | 792 | 190 | 71k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1328.64/1328.61 c 1329s| 3700k| 3699k| 2470k| 0.7 |2484M| 301 | 0 | 792 | 524 | 792 | 190 | 71k| 33 | 10k| 0.000000e+00 | 1.251700e+04 | Inf
1332.23/1332.22 c 1332s| 3710k| 3709k| 2477k| 0.7 |2491M| 301 | 0 | 792 | 524 | 792 | 190 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1335.83/1335.83 c 1336s| 3720k| 3719k| 2484k| 0.7 |2497M| 301 | 0 | 792 | 524 | 792 | 187 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1339.43/1339.43 c 1339s| 3730k| 3729k| 2490k| 0.7 |2504M| 301 | 0 | 792 | 524 | 792 | 191 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1343.03/1343.03 c 1343s| 3740k| 3739k| 2497k| 0.7 |2511M| 301 | 0 | 792 | 524 | 792 | 192 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1346.64/1346.66 c 1347s| 3750k| 3749k| 2504k| 0.7 |2518M| 301 | 0 | 792 | 524 | 792 | 190 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1350.24/1350.26 c 1350s| 3760k| 3759k| 2511k| 0.7 |2524M| 301 | 0 | 792 | 524 | 792 | 190 | 72k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1353.83/1353.87 c 1354s| 3770k| 3769k| 2517k| 0.7 |2531M| 301 | 0 | 792 | 524 | 792 | 189 | 73k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1357.43/1357.47 c 1357s| 3780k| 3779k| 2524k| 0.7 |2538M| 301 | 2 | 792 | 524 | 792 | 190 | 73k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1361.04/1361.08 c 1361s| 3790k| 3789k| 2531k| 0.7 |2545M| 301 | 4 | 792 | 524 | 792 | 189 | 73k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1364.73/1364.70 c 1365s| 3800k| 3799k| 2538k| 0.7 |2551M| 301 | 0 | 792 | 524 | 792 | 190 | 73k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1368.23/1368.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.23/1368.30 c 1368s| 3810k| 3809k| 2545k| 0.7 |2558M| 301 | 0 | 792 | 524 | 792 | 191 | 73k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1371.94/1371.90 c 1372s| 3820k| 3819k| 2551k| 0.7 |2565M| 301 | 0 | 792 | 524 | 792 | 190 | 74k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1375.53/1375.52 c 1376s| 3830k| 3829k| 2558k| 0.7 |2571M| 301 | 0 | 792 | 524 | 792 | 192 | 74k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1379.13/1379.14 c 1379s| 3840k| 3839k| 2565k| 0.7 |2578M| 301 | 0 | 792 | 524 | 792 | 192 | 74k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1382.74/1382.75 c 1383s| 3850k| 3849k| 2572k| 0.7 |2585M| 301 | 0 | 792 | 524 | 792 | 192 | 74k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1386.34/1386.36 c 1386s| 3860k| 3859k| 2578k| 0.7 |2592M| 301 | 2 | 792 | 524 | 792 | 191 | 74k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1389.93/1389.96 c 1390s| 3870k| 3869k| 2585k| 0.7 |2598M| 301 | 0 | 792 | 524 | 792 | 193 | 75k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1393.53/1393.58 c 1394s| 3880k| 3879k| 2592k| 0.7 |2605M| 301 | 1 | 792 | 524 | 792 | 187 | 75k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1397.13/1397.18 c 1397s| 3890k| 3889k| 2599k| 0.7 |2612M| 301 | 0 | 792 | 524 | 792 | 190 | 75k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1400.74/1400.77 c 1401s| 3900k| 3899k| 2605k| 0.7 |2619M| 301 | 0 | 792 | 524 | 792 | 190 | 75k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1404.34/1404.37 c 1404s| 3910k| 3909k| 2612k| 0.7 |2625M| 301 | 0 | 792 | 524 | 792 | 189 | 75k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1407.93/1407.97 c 1408s| 3920k| 3919k| 2619k| 0.7 |2632M| 301 | 0 | 792 | 524 | 792 | 190 | 76k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1411.54/1411.57 c 1412s| 3930k| 3929k| 2626k| 0.7 |2639M| 301 | 2 | 792 | 524 | 792 | 190 | 76k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1415.14/1415.16 c 1415s| 3940k| 3939k| 2632k| 0.7 |2645M| 301 | 1 | 792 | 524 | 792 | 192 | 76k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1418.73/1418.75 c 1419s| 3950k| 3949k| 2639k| 0.7 |2652M| 301 | 0 | 792 | 524 | 792 | 189 | 76k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1422.34/1422.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.34/1422.36 c 1422s| 3960k| 3959k| 2646k| 0.7 |2659M| 301 | 2 | 792 | 524 | 792 | 189 | 76k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1425.94/1425.95 c 1426s| 3970k| 3969k| 2653k| 0.7 |2666M| 301 | 0 | 792 | 524 | 792 | 189 | 77k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1429.54/1429.54 c 1430s| 3980k| 3979k| 2659k| 0.7 |2672M| 301 | 3 | 792 | 524 | 792 | 191 | 77k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1433.13/1433.14 c 1433s| 3990k| 3989k| 2666k| 0.7 |2679M| 301 | 0 | 792 | 524 | 792 | 190 | 77k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1436.73/1436.74 c 1437s| 4000k| 3999k| 2673k| 0.7 |2686M| 301 | 0 | 792 | 524 | 792 | 190 | 77k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1440.34/1440.34 c 1440s| 4010k| 4009k| 2680k| 0.7 |2693M| 301 | 0 | 792 | 524 | 792 | 191 | 77k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1443.94/1443.91 c 1444s| 4020k| 4019k| 2686k| 0.7 |2699M| 301 | 0 | 792 | 524 | 792 | 187 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1447.54/1447.50 c 1447s| 4030k| 4029k| 2693k| 0.7 |2706M| 301 | 0 | 792 | 524 | 792 | 190 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1451.14/1451.11 c 1451s| 4040k| 4039k| 2700k| 0.7 |2713M| 301 | 2 | 792 | 524 | 792 | 192 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1454.73/1454.70 c 1455s| 4050k| 4049k| 2706k| 0.7 |2719M| 301 | 0 | 792 | 524 | 792 | 192 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1458.24/1458.29 c 1458s| 4060k| 4059k| 2713k| 0.7 |2726M| 301 | 0 | 792 | 524 | 792 | 190 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1461.84/1461.88 c 1462s| 4070k| 4069k| 2720k| 0.7 |2733M| 301 | 4 | 792 | 524 | 792 | 190 | 78k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1465.44/1465.49 c 1465s| 4080k| 4079k| 2727k| 0.7 |2740M| 301 | 0 | 792 | 524 | 792 | 192 | 79k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1469.03/1469.08 c 1469s| 4090k| 4089k| 2733k| 0.7 |2746M| 301 | 0 | 792 | 524 | 792 | 191 | 79k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1472.63/1472.68 c 1473s| 4100k| 4099k| 2740k| 0.7 |2753M| 301 | 1 | 792 | 524 | 792 | 190 | 79k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1476.24/1476.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.24/1476.29 c 1476s| 4110k| 4109k| 2747k| 0.7 |2760M| 301 | 2 | 792 | 524 | 792 | 192 | 79k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1479.94/1479.90 c 1480s| 4120k| 4119k| 2754k| 0.7 |2766M| 301 | 0 | 792 | 524 | 792 | 192 | 79k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1483.54/1483.53 c 1484s| 4130k| 4129k| 2761k| 0.7 |2773M| 301 | 0 | 792 | 524 | 792 | 192 | 80k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1487.14/1487.16 c 1487s| 4140k| 4139k| 2767k| 0.7 |2780M| 301 | 0 | 792 | 524 | 792 | 191 | 80k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1490.74/1490.77 c 1491s| 4150k| 4149k| 2774k| 0.7 |2787M| 301 | 0 | 792 | 524 | 792 | 192 | 80k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1494.33/1494.39 c 1494s| 4160k| 4159k| 2781k| 0.7 |2793M| 301 | 0 | 792 | 524 | 792 | 190 | 80k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1498.03/1498.00 c 1498s| 4170k| 4169k| 2788k| 0.7 |2800M| 301 | 0 | 792 | 524 | 792 | 187 | 80k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1501.64/1501.63 c 1502s| 4180k| 4179k| 2795k| 0.7 |2807M| 301 | 0 | 792 | 524 | 792 | 191 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1505.23/1505.23 c 1505s| 4190k| 4189k| 2802k| 0.7 |2813M| 301 | 0 | 792 | 524 | 792 | 191 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1508.84/1508.81 c 1509s| 4200k| 4199k| 2809k| 0.7 |2820M| 301 | 1 | 792 | 524 | 792 | 192 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1512.34/1512.40 c 1512s| 4210k| 4209k| 2816k| 0.7 |2827M| 301 | 0 | 792 | 524 | 792 | 190 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1516.04/1516.00 c 1516s| 4220k| 4219k| 2822k| 0.7 |2834M| 301 | 3 | 792 | 524 | 792 | 189 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1519.54/1519.56 c 1520s| 4230k| 4229k| 2829k| 0.7 |2840M| 301 | 0 | 792 | 524 | 792 | 193 | 81k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1523.13/1523.12 c 1523s| 4240k| 4239k| 2836k| 0.7 |2847M| 301 | 3 | 792 | 524 | 792 | 191 | 82k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1526.74/1526.72 c 1527s| 4250k| 4249k| 2843k| 0.7 |2854M| 301 | 0 | 792 | 524 | 792 | 190 | 82k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1530.34/1530.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.34/1530.34 c 1530s| 4260k| 4259k| 2849k| 0.7 |2861M| 301 | 0 | 792 | 524 | 792 | 191 | 82k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1533.93/1533.95 c 1534s| 4270k| 4269k| 2856k| 0.7 |2867M| 301 | 0 | 792 | 524 | 792 | 192 | 82k| 33 | 11k| 0.000000e+00 | 1.251700e+04 | Inf
1534.55/1534.56 c (node 4271717) switching to memory saving mode (mem: 2736.0M/3420.0M)
1535.24/1535.22 o 862
1535.24/1535.22 c *1535s| 4271k| 4197k| 2857k| 0.7 |2834M| 369 | - | 792 | 524 | 792 | 193 | 82k| 33 | 11k| 0.000000e+00 | 8.620000e+02 | Inf
1535.44/1535.46 o 811
1535.44/1535.46 c *1535s| 4271k| 4104k| 2857k| 0.7 |2785M| 369 | - | 792 | 524 | 792 | 193 | 82k| 33 | 11k| 0.000000e+00 | 8.110000e+02 | Inf
1535.74/1535.79 o 782
1535.74/1535.79 c *1536s| 4271k| 3989k| 2857k| 0.7 |2723M| 369 | - | 792 | 530 | 792 | 193 | 82k| 39 | 11k| 0.000000e+00 | 7.820000e+02 | Inf
1544.14/1544.12 o 354
1544.14/1544.12 c *1544s| 4271k|951917 | 2858k| 0.7 | 699M| 387 | - | 792 | 543 | 792 | 187 | 82k| 52 | 11k| 0.000000e+00 | 3.540000e+02 | Inf
1544.14/1544.12 c (node 4271955) switching to standard mode (mem: 667.0M/3420.0M)
1544.54/1544.59 o 331
1544.54/1544.59 c *1545s| 4271k|858802 | 2858k| 0.7 | 634M| 387 | - | 792 | 543 | 792 | 187 | 82k| 52 | 11k| 0.000000e+00 | 3.310000e+02 | Inf
1544.74/1544.79 o 324
1544.74/1544.79 c g1545s| 4272k|823538 | 2858k| 0.7 | 608M| 387 | - | 792 | 549 | 792 | 190 | 82k| 58 | 11k| 0.000000e+00 | 3.240000e+02 | Inf
1544.94/1544.91 o 319
1544.94/1544.91 c c1545s| 4272k|802447 | 2858k| 0.7 | 594M| 387 | - | 792 | 549 | 792 | 190 | 82k| 58 | 11k| 0.000000e+00 | 3.190000e+02 | Inf
1545.04/1545.04 o 316
1545.04/1545.04 c f1545s| 4272k|789894 | 2858k| 0.7 | 582M| 387 | - | 792 | 553 | 792 | 189 | 82k| 62 | 11k| 0.000000e+00 | 3.160000e+02 | Inf
1545.14/1545.12 o 313
1545.14/1545.12 c l1545s| 4272k|779969 | 2858k| 0.7 | 575M| 387 | - | 792 | 553 | 792 | 187 | 82k| 62 | 12k| 0.000000e+00 | 3.130000e+02 | Inf
1545.24/1545.28 o 308
1545.24/1545.28 c v1545s| 4272k|749285 | 2858k| 0.7 | 553M| 387 | - | 792 | 556 | 792 | 187 | 82k| 65 | 12k| 0.000000e+00 | 3.080000e+02 | Inf
1545.34/1545.38 o 304
1545.34/1545.38 c g1545s| 4272k|734845 | 2859k| 0.7 | 541M| 387 | - | 792 | 556 | 792 | 187 | 82k| 65 | 12k| 0.000000e+00 | 3.040000e+02 | Inf
1545.44/1545.43 o 303
1545.44/1545.43 c c1545s| 4272k|731146 | 2859k| 0.7 | 538M| 387 | - | 792 | 556 | 792 | 187 | 82k| 65 | 12k| 0.000000e+00 | 3.030000e+02 | Inf
1545.63/1545.67 o 300
1545.63/1545.67 c *1546s| 4272k|676734 | 2859k| 0.7 | 497M| 387 | - | 792 | 556 | 792 | 187 | 82k| 65 | 12k| 0.000000e+00 | 3.000000e+02 | Inf
1545.74/1545.78 o 295
1545.74/1545.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.74/1545.78 c *1546s| 4272k|656913 | 2859k| 0.7 | 481M| 387 | - | 792 | 557 | 792 | 187 | 82k| 66 | 12k| 0.000000e+00 | 2.950000e+02 | Inf
1545.84/1545.83 o 294
1545.84/1545.83 c *1546s| 4272k|655511 | 2859k| 0.7 | 480M| 387 | - | 792 | 565 | 792 | 189 | 82k| 74 | 12k| 0.000000e+00 | 2.940000e+02 | Inf
1545.94/1545.91 o 289
1545.94/1545.91 c *1546s| 4272k|641998 | 2859k| 0.7 | 471M| 387 | - | 792 | 570 | 792 | 189 | 82k| 79 | 12k| 0.000000e+00 | 2.890000e+02 | Inf
1545.94/1545.99 o 284
1545.94/1545.99 c *1546s| 4272k|631780 | 2859k| 0.7 | 461M| 387 | - | 792 | 570 | 792 | 187 | 82k| 79 | 12k| 0.000000e+00 | 2.840000e+02 | Inf
1546.14/1546.15 o 275
1546.14/1546.15 c p1546s| 4272k|605111 | 2859k| 0.7 | 436M| 387 | - | 792 | 570 | 792 | 187 | 82k| 79 | 12k| 0.000000e+00 | 2.750000e+02 | Inf
1546.24/1546.24 o 270
1546.24/1546.24 c *1546s| 4272k|585666 | 2860k| 0.7 | 425M| 387 | - | 792 | 570 | 792 | 189 | 82k| 79 | 12k| 0.000000e+00 | 2.700000e+02 | Inf
1546.34/1546.37 o 262
1546.34/1546.37 c *1546s| 4272k|564237 | 2860k| 0.7 | 407M| 387 | - | 792 | 570 | 792 | 189 | 82k| 79 | 12k| 0.000000e+00 | 2.620000e+02 | Inf
1546.44/1546.45 o 256
1546.44/1546.45 c *1546s| 4272k|553394 | 2860k| 0.7 | 400M| 387 | - | 792 | 570 | 792 | 189 | 82k| 79 | 12k| 0.000000e+00 | 2.560000e+02 | Inf
1546.54/1546.54 o 251
1546.54/1546.54 c *1547s| 4272k|536278 | 2860k| 0.7 | 388M| 387 | - | 792 | 570 | 792 | 189 | 82k| 79 | 12k| 0.000000e+00 | 2.510000e+02 | Inf
1546.54/1546.58 o 249
1546.54/1546.58 c *1547s| 4272k|533903 | 2860k| 0.7 | 387M| 387 | - | 792 | 574 | 792 | 187 | 82k| 83 | 12k| 0.000000e+00 | 2.490000e+02 | Inf
1546.64/1546.63 o 248
1546.64/1546.63 c *1547s| 4272k|531592 | 2860k| 0.7 | 385M| 387 | - | 792 | 574 | 792 | 187 | 82k| 83 | 12k| 0.000000e+00 | 2.480000e+02 | Inf
1546.74/1546.72 o 243
1546.74/1546.72 c *1547s| 4272k|517668 | 2860k| 0.7 | 376M| 387 | - | 792 | 574 | 792 | 189 | 82k| 83 | 12k| 0.000000e+00 | 2.430000e+02 | Inf
1546.74/1546.78 o 240
1546.74/1546.78 c *1547s| 4272k|512078 | 2860k| 0.7 | 373M| 387 | - | 792 | 583 | 792 | 187 | 82k| 93 | 12k| 0.000000e+00 | 2.400000e+02 | Inf
1546.84/1546.87 o 235
1546.84/1546.87 c *1547s| 4272k|499833 | 2861k| 0.7 | 362M| 387 | - | 792 | 583 | 792 | 187 | 82k| 93 | 12k| 0.000000e+00 | 2.350000e+02 | Inf
1546.94/1546.98 o 224
1546.94/1546.98 c *1547s| 4272k|478442 | 2861k| 0.7 | 345M| 387 | - | 792 | 583 | 792 | 187 | 82k| 93 | 12k| 0.000000e+00 | 2.240000e+02 | Inf
1547.04/1547.07 o 219
1547.04/1547.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.04/1547.07 c *1547s| 4272k|461199 | 2861k| 0.7 | 334M| 387 | - | 792 | 583 | 792 | 187 | 82k| 93 | 12k| 0.000000e+00 | 2.190000e+02 | Inf
1547.14/1547.15 o 214
1547.14/1547.15 c *1547s| 4272k|451089 | 2861k| 0.7 | 325M| 387 | - | 792 | 596 | 792 | 189 | 82k| 106 | 12k| 0.000000e+00 | 2.140000e+02 | Inf
1547.34/1547.33 o 211
1547.34/1547.33 c *1547s| 4273k|410619 | 2861k| 0.7 | 295M| 387 | - | 792 | 597 | 792 | 187 | 82k| 109 | 12k| 0.000000e+00 | 2.110000e+02 | Inf
1547.34/1547.39 o 209
1547.34/1547.39 c *1547s| 4273k|402871 | 2861k| 0.7 | 289M| 387 | - | 792 | 600 | 792 | 190 | 82k| 112 | 12k| 0.000000e+00 | 2.090000e+02 | Inf
1547.44/1547.43 o 208
1547.44/1547.43 c *1547s| 4273k|398791 | 2861k| 0.7 | 286M| 387 | - | 792 | 602 | 792 | 189 | 82k| 114 | 12k| 0.000000e+00 | 2.080000e+02 | Inf
1547.44/1547.46 o 203
1547.44/1547.46 c *1547s| 4273k|391865 | 2861k| 0.7 | 280M| 387 | - | 792 | 602 | 792 | 189 | 82k| 114 | 12k| 0.000000e+00 | 2.030000e+02 | Inf
1547.64/1547.63 o 195
1547.64/1547.63 c *1548s| 4273k|353163 | 2861k| 0.7 | 252M| 387 | - | 792 | 604 | 792 | 190 | 82k| 116 | 12k| 0.000000e+00 | 1.950000e+02 | Inf
1547.64/1547.66 o 193
1547.64/1547.66 c *1548s| 4273k|350111 | 2861k| 0.7 | 251M| 387 | - | 792 | 604 | 792 | 187 | 82k| 116 | 12k| 0.000000e+00 | 1.930000e+02 | Inf
1547.64/1547.69 o 190
1547.64/1547.69 c *1548s| 4273k|348210 | 2862k| 0.7 | 250M| 387 | - | 792 | 605 | 792 | 190 | 82k| 117 | 12k| 0.000000e+00 | 1.900000e+02 | Inf
1547.74/1547.73 o 185
1547.74/1547.73 c *1548s| 4273k|341103 | 2862k| 0.7 | 245M| 387 | - | 792 | 605 | 792 | 190 | 82k| 118 | 12k| 0.000000e+00 | 1.850000e+02 | Inf
1547.84/1547.84 o 182
1547.84/1547.84 c *1548s| 4273k|335680 | 2862k| 0.7 | 240M| 387 | - | 792 | 616 | 792 | 188 | 82k| 129 | 12k| 0.000000e+00 | 1.820000e+02 | Inf
1547.94/1547.91 o 177
1547.94/1547.91 c *1548s| 4273k|323810 | 2862k| 0.7 | 231M| 387 | - | 792 | 617 | 792 | 187 | 82k| 130 | 12k| 0.000000e+00 | 1.770000e+02 | Inf
1547.94/1547.98 o 169
1547.94/1547.98 c *1548s| 4273k|308004 | 2862k| 0.7 | 222M| 387 | - | 792 | 617 | 792 | 187 | 82k| 130 | 12k| 0.000000e+00 | 1.690000e+02 | Inf
1548.04/1548.00 o 167
1548.04/1548.00 c *1548s| 4273k|307429 | 2862k| 0.7 | 221M| 387 | - | 792 | 618 | 792 | 189 | 82k| 131 | 12k| 0.000000e+00 | 1.670000e+02 | Inf
1548.04/1548.03 o 164
1548.04/1548.03 c *1548s| 4273k|304027 | 2862k| 0.7 | 219M| 387 | - | 792 | 621 | 792 | 187 | 82k| 134 | 12k| 0.000000e+00 | 1.640000e+02 | Inf
1548.04/1548.07 o 160
1548.04/1548.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.04/1548.07 c f1548s| 4273k|302757 | 2863k| 0.7 | 218M| 387 | - | 792 | 635 | 792 | 188 | 82k| 148 | 12k| 0.000000e+00 | 1.600000e+02 | Inf
1548.14/1548.14 o 158
1548.14/1548.14 c *1548s| 4273k|289546 | 2863k| 0.7 | 209M| 387 | - | 792 | 637 | 792 | 190 | 82k| 150 | 12k| 0.000000e+00 | 1.580000e+02 | Inf
1548.24/1548.20 o 155
1548.24/1548.20 c *1548s| 4273k|277395 | 2863k| 0.7 | 202M| 387 | - | 792 | 641 | 792 | 188 | 82k| 154 | 12k| 0.000000e+00 | 1.550000e+02 | Inf
1548.34/1548.31 o 150
1548.34/1548.31 c *1548s| 4273k|269317 | 2863k| 0.7 | 195M| 387 | - | 792 | 648 | 792 | 187 | 82k| 161 | 12k| 0.000000e+00 | 1.500000e+02 | Inf
1548.34/1548.34 o 149
1548.34/1548.34 c *1548s| 4273k|267460 | 2863k| 0.7 | 193M| 387 | - | 792 | 649 | 792 | 188 | 82k| 162 | 12k| 0.000000e+00 | 1.490000e+02 | Inf
1548.34/1548.38 o 142
1548.34/1548.38 c *1548s| 4273k|262738 | 2863k| 0.7 | 190M| 387 | - | 792 | 652 | 792 | 187 | 82k| 165 | 12k| 0.000000e+00 | 1.420000e+02 | Inf
1548.44/1548.48 o 140
1548.44/1548.48 c *1548s| 4273k|248549 | 2863k| 0.7 | 172M| 387 | - | 792 | 654 | 792 | 189 | 82k| 167 | 12k| 0.000000e+00 | 1.400000e+02 | Inf
1548.54/1548.51 o 139
1548.54/1548.51 c *1549s| 4273k|248072 | 2863k| 0.7 | 172M| 387 | - | 792 | 656 | 792 | 189 | 82k| 169 | 12k| 0.000000e+00 | 1.390000e+02 | Inf
1548.54/1548.53 o 137
1548.54/1548.53 c *1549s| 4273k|248034 | 2864k| 0.7 | 172M| 387 | - | 792 | 656 | 792 | 188 | 82k| 169 | 12k| 0.000000e+00 | 1.370000e+02 | Inf
1548.54/1548.56 o 136
1548.54/1548.56 c *1549s| 4273k|247858 | 2864k| 0.7 | 172M| 387 | - | 792 | 660 | 792 | 187 | 82k| 173 | 12k| 0.000000e+00 | 1.360000e+02 | Inf
1548.54/1548.59 o 134
1548.54/1548.59 c *1549s| 4273k|246709 | 2864k| 0.7 | 171M| 387 | - | 792 | 666 | 792 | 190 | 82k| 180 | 12k| 0.000000e+00 | 1.340000e+02 | Inf
1548.64/1548.62 o 133
1548.64/1548.62 c *1549s| 4273k|245699 | 2864k| 0.7 | 171M| 387 | - | 792 | 671 | 792 | 187 | 82k| 185 | 12k| 0.000000e+00 | 1.330000e+02 | Inf
1548.64/1548.64 o 131
1548.64/1548.64 c *1549s| 4273k|244163 | 2864k| 0.7 | 170M| 387 | - | 792 | 671 | 792 | 189 | 82k| 185 | 12k| 0.000000e+00 | 1.310000e+02 | Inf
1548.64/1548.66 o 128
1548.64/1548.66 c *1549s| 4273k|243320 | 2864k| 0.7 | 169M| 387 | - | 792 | 671 | 792 | 187 | 82k| 185 | 12k| 0.000000e+00 | 1.280000e+02 | Inf
1548.64/1548.70 o 123
1548.64/1548.70 c *1549s| 4273k|238540 | 2864k| 0.7 | 166M| 387 | - | 792 | 671 | 792 | 190 | 82k| 185 | 12k| 0.000000e+00 | 1.230000e+02 | Inf
1548.74/1548.77 o 116
1548.74/1548.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.74/1548.77 c *1549s| 4273k|223517 | 2864k| 0.7 | 156M| 387 | - | 792 | 675 | 792 | 190 | 82k| 189 | 12k| 0.000000e+00 | 1.160000e+02 | Inf
1548.84/1548.80 o 113
1548.84/1548.80 c *1549s| 4273k|221462 | 2865k| 0.7 | 155M| 387 | - | 792 | 679 | 792 | 187 | 82k| 193 | 12k| 0.000000e+00 | 1.130000e+02 | Inf
1548.93/1548.91 o 108
1548.93/1548.91 c *1549s| 4273k|193924 | 2865k| 0.7 | 133M| 387 | - | 792 | 679 | 792 | 187 | 82k| 193 | 12k| 0.000000e+00 | 1.080000e+02 | Inf
1548.93/1548.95 o 103
1548.93/1548.95 c *1549s| 4273k|188556 | 2865k| 0.7 | 130M| 387 | - | 792 | 684 | 792 | 190 | 82k| 198 | 12k| 0.000000e+00 | 1.030000e+02 | Inf
1549.03/1549.04 o 98
1549.03/1549.04 c *1549s| 4273k|170295 | 2865k| 0.7 | 118M| 387 | - | 792 | 683 | 792 | 191 | 82k| 198 | 12k| 0.000000e+00 | 9.800000e+01 | Inf
1549.03/1549.09 o 95
1549.03/1549.09 c *1549s| 4273k|158623 | 2865k| 0.7 | 111M| 387 | - | 792 | 667 | 792 | 187 | 82k| 200 | 12k| 0.000000e+00 | 9.500000e+01 | Inf
1549.23/1549.24 o 84
1549.23/1549.24 c *1549s| 4274k|132165 | 2865k| 0.7 | 97M| 387 | - | 792 | 664 | 792 | 191 | 82k| 212 | 12k| 0.000000e+00 | 8.400000e+01 | Inf
1549.23/1549.27 o 79
1549.23/1549.27 c *1549s| 4274k|131638 | 2865k| 0.7 | 96M| 387 | - | 792 | 639 | 792 | 189 | 82k| 216 | 12k| 0.000000e+00 | 7.900000e+01 | Inf
1549.23/1549.30 o 72
1549.23/1549.30 c *1549s| 4274k|131278 | 2865k| 0.7 | 96M| 387 | - | 792 | 631 | 792 | 189 | 82k| 221 | 12k| 0.000000e+00 | 7.200000e+01 | Inf
1549.33/1549.32 o 71
1549.33/1549.32 c *1549s| 4274k|131291 | 2865k| 0.7 | 96M| 387 | - | 792 | 617 | 792 | 190 | 82k| 221 | 12k| 0.000000e+00 | 7.100000e+01 | Inf
1549.33/1549.34 o 66
1549.33/1549.34 c *1549s| 4274k|131171 | 2866k| 0.7 | 96M| 387 | - | 792 | 615 | 792 | 189 | 82k| 221 | 12k| 0.000000e+00 | 6.600000e+01 | Inf
1549.44/1549.43 o 59
1549.44/1549.43 c *1549s| 4274k|114285 | 2866k| 0.7 | 85M| 387 | - | 792 | 610 | 792 | 190 | 82k| 222 | 12k| 0.000000e+00 | 5.900000e+01 | Inf
1549.44/1549.46 o 54
1549.44/1549.46 c *1549s| 4274k|114237 | 2866k| 0.7 | 85M| 387 | - | 792 | 588 | 792 | 190 | 82k| 225 | 12k| 0.000000e+00 | 5.400000e+01 | Inf
1549.54/1549.54 o 50
1549.54/1549.54 c *1550s| 4274k|103829 | 2866k| 0.7 | 72M| 387 | - | 792 | 576 | 792 | 187 | 82k| 226 | 12k| 0.000000e+00 | 5.000000e+01 | Inf
1549.54/1549.56 o 47
1549.54/1549.56 c *1550s| 4274k|103353 | 2866k| 0.7 | 71M| 387 | - | 792 | 511 | 792 | 188 | 82k| 227 | 12k| 0.000000e+00 | 4.700000e+01 | Inf
1549.54/1549.57 o 42
1549.54/1549.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.54/1549.57 c *1550s| 4274k|103232 | 2866k| 0.7 | 71M| 387 | - | 792 | 503 | 792 | 184 | 82k| 227 | 12k| 0.000000e+00 | 4.200000e+01 | Inf
1550.14/1550.19 o 41
1550.14/1550.19 c l1550s| 4274k| 94017 | 2867k| 0.7 | 68M| 387 | - | 792 | 490 | 792 | 180 | 82k| 230 | 13k| 0.000000e+00 | 4.100000e+01 | Inf
1550.34/1550.34 o 31
1550.34/1550.34 c g1550s| 4274k| 90926 | 2867k| 0.7 | 66M| 387 | - | 792 | 484 | 792 | 180 | 82k| 230 | 14k| 0.000000e+00 | 3.100000e+01 | Inf
1550.63/1550.66 o 26
1550.63/1550.66 c *1551s| 4274k| 90221 | 2868k| 0.7 | 65M| 387 | - | 792 | 457 | 792 | 180 | 82k| 232 | 14k| 0.000000e+00 | 2.600000e+01 | Inf
1551.05/1551.04 o 20
1551.05/1551.04 c *1551s| 4274k| 90297 | 2868k| 0.7 | 65M| 387 | - | 792 | 434 | 792 | 181 | 82k| 234 | 15k| 0.000000e+00 | 2.000000e+01 | Inf
1551.05/1551.07 o 13
1551.05/1551.07 c *1551s| 4274k| 89948 | 2868k| 0.7 | 65M| 387 | - | 792 | 427 | 792 | 181 | 82k| 243 | 15k| 0.000000e+00 | 1.300000e+01 | Inf
1551.05/1551.08 o 7
1551.05/1551.08 c *1551s| 4274k| 89738 | 2868k| 0.7 | 65M| 387 | - | 792 | 402 | 792 | 181 | 82k| 245 | 15k| 0.000000e+00 | 7.000000e+00 | Inf
1551.14/1551.15 o 4
1551.14/1551.15 c *1551s| 4274k| 89565 | 2869k| 0.7 | 65M| 387 | - | 792 | 247 | 792 | 188 | 82k| 254 | 15k| 0.000000e+00 | 4.000000e+00 | Inf
1551.54/1551.57 c
1551.54/1551.57 c SCIP Status : problem is solved [optimal solution found]
1551.54/1551.57 c Solving Time (sec) : 1551.57
1551.54/1551.57 c Solving Nodes : 4274966
1551.54/1551.57 c Primal Bound : +4.00000000000000e+00 (192 solutions)
1551.54/1551.57 c Dual Bound : +4.00000000000000e+00
1551.54/1551.57 c Gap : 0.00 %
1551.54/1551.57 s OPTIMUM FOUND
1551.54/1551.57 v -x274 -x273 x272 x271 x270 x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252
1551.54/1551.57 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 x232 x231
1551.54/1551.57 v x230 x229 x228 x227 -x226 x225 x224 -x223 x222 x221 -x220 -x219 x218 -x217 x216 x215 -x214 -x213 x212 -x211 -x210 -x209 -x208
1551.54/1551.57 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1551.54/1551.57 v x186 x185 x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 x169 x168 x167 x166 x165
1551.54/1551.57 v x164 -x163 -x162 -x161 x160 x159 x158 -x157 -x156 -x155 x154 x153 -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 x142
1551.54/1551.57 v x141 x140 x139 x138 x137 -x136 x135 x134 x133 x132 x131 -x130 x129 x128 x127 x126 x125 -x124 x123 x122 x121 x120 x119 -x118
1551.54/1551.57 v x117 x116 x115 x114 x113 -x112 x111 x110 x109 x108 x107 -x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92
1551.54/1551.57 v x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 x67 -x66
1551.54/1551.57 v -x65 x64 -x63 -x62 -x61 x60 -x59 x58 -x57 x56 -x55 x54 -x53 x52 -x51 x50 x49 -x48 -x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37
1551.54/1551.57 v x36 x35 x34 x33 x32 x31 -x30 x29 x28 -x27 x26 -x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6
1551.54/1551.57 v x5 x4 x3 x2 x1
1551.54/1551.57 c SCIP Status : problem is solved [optimal solution found]
1551.54/1551.57 c Solving Time : 1551.57
1551.54/1551.57 c Original Problem :
1551.54/1551.57 c Problem name : HOME/instance-2705220-1278578353.wbo
1551.54/1551.57 c Variables : 792 (533 binary, 0 integer, 259 implicit integer, 0 continuous)
1551.54/1551.57 c Constraints : 519 initial, 519 maximal
1551.54/1551.57 c Presolved Problem :
1551.54/1551.57 c Problem name : t_HOME/instance-2705220-1278578353.wbo
1551.54/1551.57 c Variables : 792 (533 binary, 0 integer, 259 implicit integer, 0 continuous)
1551.54/1551.57 c Constraints : 518 initial, 685 maximal
1551.54/1551.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1551.54/1551.57 c trivial : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c implics : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c probing : 0.01 0 0 0 0 0 0 0 0
1551.54/1551.57 c varbound : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c linear : 0.00 0 0 0 259 0 1 50 100
1551.54/1551.57 c indicator : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c logicor : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1551.54/1551.57 c root node : - 564 - - 564 - - - -
1551.54/1551.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1551.54/1551.57 c integral : 0 0 0 4346507 0 0 40 0 0 2143458
1551.54/1551.57 c varbound : 1 7 612638 332712 0 8 27317 1 0 0
1551.54/1551.57 c linear : 258 7 7232088 3274751 0 83 1141907 82618 0 0
1551.54/1551.57 c indicator : 259 0 7231817 3274743 0 13 1145460 0 0 0
1551.54/1551.57 c logicor : 0+ 0 1439 0 0 37 360 0 0 0
1551.54/1551.57 c bounddisjunction : 0+ 0 239568 0 0 6 138046 0 0 0
1551.54/1551.57 c countsols : 0 0 0 3203081 0 0 0 0 0 0
1551.54/1551.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1551.54/1551.57 c integral : 12.60 0.00 0.00 12.60 0.00
1551.54/1551.57 c varbound : 0.26 0.00 0.20 0.06 0.00
1551.54/1551.57 c linear : 65.09 0.00 15.46 49.63 0.00
1551.54/1551.57 c indicator : 82.40 0.08 36.98 45.34 0.00
1551.54/1551.57 c logicor : 0.01 0.00 0.01 0.00 0.00
1551.54/1551.57 c bounddisjunction : 0.44 0.00 0.44 0.00 0.00
1551.54/1551.57 c countsols : 0.40 0.00 0.00 0.40 0.00
1551.54/1551.57 c Propagators : Time Calls Cutoffs DomReds
1551.54/1551.57 c vbounds : 27.96 2389752 0 2055138
1551.54/1551.57 c rootredcost : 1.20 81 0 237
1551.54/1551.57 c pseudoobj : 36.42 7231917 21 25820
1551.54/1551.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1551.54/1551.57 c propagation : 0.00 147 147 274 17.8 17 11.4 -
1551.54/1551.57 c infeasible LP : 0.00 17 17 19 4.2 2 18.5 0
1551.54/1551.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1551.54/1551.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1551.54/1551.57 c pseudo solution : 0.00 1 1 1 0.0 0 0.0 -
1551.54/1551.57 c applied globally : - - - 254 17.0 - - -
1551.54/1551.57 c applied locally : - - - 0 0.0 - - -
1551.54/1551.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1551.54/1551.57 c cut pool : 0.00 5 - - 115 - (maximal pool size: 576)
1551.54/1551.57 c redcost : 76.29 4346683 0 5993 0 0
1551.54/1551.57 c impliedbounds : 0.00 6 0 0 0 0
1551.54/1551.57 c intobj : 0.00 0 0 0 0 0
1551.54/1551.57 c cgmip : 0.00 0 0 0 0 0
1551.54/1551.57 c gomory : 0.01 6 0 0 54 0
1551.54/1551.57 c strongcg : 0.00 6 0 0 102 0
1551.54/1551.57 c cmir : 0.02 6 0 0 234 0
1551.54/1551.57 c flowcover : 0.03 6 0 0 417 0
1551.54/1551.57 c clique : 0.00 1 0 0 0 0
1551.54/1551.57 c zerohalf : 0.00 0 0 0 0 0
1551.54/1551.57 c mcf : 0.00 1 0 0 0 0
1551.54/1551.57 c rapidlearning : 0.03 1 0 0 0 0
1551.54/1551.57 c Pricers : Time Calls Vars
1551.54/1551.57 c problem variables: 0.00 0 0
1551.54/1551.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1551.54/1551.57 c relpscost : 11.06 1071756 0 40 0 0 2143458
1551.54/1551.57 c pscost : 0.00 0 0 0 0 0 0
1551.54/1551.57 c inference : 129.44 3203011 0 0 0 0 6406030
1551.54/1551.57 c mostinf : 0.00 0 0 0 0 0 0
1551.54/1551.57 c leastinf : 0.00 0 0 0 0 0 0
1551.54/1551.57 c fullstrong : 0.00 0 0 0 0 0 0
1551.54/1551.57 c allfullstrong : 0.00 0 0 0 0 0 0
1551.54/1551.57 c random : 0.00 0 0 0 0 0 0
1551.54/1551.57 c Primal Heuristics : Time Calls Found
1551.54/1551.57 c LP solutions : 11.94 - 70
1551.54/1551.57 c pseudo solutions : 0.00 - 0
1551.54/1551.57 c feaspump : 0.01 0 0
1551.54/1551.57 c oneopt : 1.93 78 0
1551.54/1551.57 c crossover : 1.14 15 0
1551.54/1551.57 c pscostdiving : 6.34 27239 1
1551.54/1551.57 c fracdiving : 6.31 27239 2
1551.54/1551.57 c veclendiving : 6.49 27239 1
1551.54/1551.57 c guideddiving : 6.52 27239 3
1551.54/1551.57 c coefdiving : 6.36 27240 2
1551.54/1551.57 c linesearchdiving : 6.29 27240 2
1551.54/1551.57 c objpscostdiving : 6.52 27234 0
1551.54/1551.57 c rootsoldiving : 6.60 27234 0
1551.54/1551.57 c trivial : 0.00 2 2
1551.54/1551.57 c simplerounding : 1.67 1069688 0
1551.54/1551.57 c zirounding : 0.97 1000 0
1551.54/1551.57 c rounding : 1.00 14582 0
1551.54/1551.57 c shifting : 0.99 4523 0
1551.54/1551.57 c intshifting : 0.01 0 0
1551.54/1551.57 c twoopt : 0.00 0 0
1551.54/1551.57 c fixandinfer : 0.00 0 0
1551.54/1551.57 c intdiving : 0.00 0 0
1551.54/1551.57 c actconsdiving : 0.00 0 0
1551.54/1551.57 c octane : 0.00 0 0
1551.54/1551.57 c rens : 0.01 1 0
1551.54/1551.57 c rins : 0.00 0 0
1551.54/1551.57 c localbranching : 0.00 0 0
1551.54/1551.57 c mutation : 0.00 0 0
1551.54/1551.57 c dins : 0.00 0 0
1551.54/1551.57 c undercover : 0.00 0 0
1551.54/1551.57 c nlp : 0.60 0 0
1551.54/1551.57 c trysol : 0.97 32207 109
1551.54/1551.57 c LP : Time Calls Iterations Iter/call Iter/sec
1551.54/1551.57 c primal LP : 0.00 0 0 0.00 -
1551.54/1551.57 c dual LP : 688.23 1391868 2866211 2.06 4164.62
1551.54/1551.57 c lex dual LP : 0.00 0 0 0.00 -
1551.54/1551.57 c barrier LP : 0.00 0 0 0.00 -
1551.54/1551.57 c diving/probing LP: 0.11 275 2870 10.44 27313.30
1551.54/1551.57 c strong branching : 6.84 15232 88269 5.79 12901.46
1551.54/1551.57 c (at root node) : - 33 1181 35.79 -
1551.54/1551.57 c conflict analysis: 0.00 0 0 0.00 -
1551.54/1551.57 c B&B Tree :
1551.54/1551.57 c number of runs : 1
1551.54/1551.57 c nodes : 4274966
1551.54/1551.57 c nodes (total) : 4274966
1551.54/1551.57 c nodes left : 0
1551.54/1551.57 c max depth : 387
1551.54/1551.57 c max depth (total): 387
1551.54/1551.57 c backtracks : 27592 (0.6%)
1551.54/1551.57 c delayed cutoffs : 107013
1551.54/1551.57 c repropagations : 5313 (10719 domain reductions, 29 cutoffs)
1551.54/1551.57 c avg switch length: 2.12
1551.54/1551.57 c switching time : 55.48
1551.54/1551.57 c Solution :
1551.54/1551.57 c Solutions found : 192 (83 improvements)
1551.54/1551.57 c First Solution : +1.25240000000000e+04 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1551.54/1551.57 c Primal Bound : +4.00000000000000e+00 (in run 1, after 4274965 nodes, 1551.14 seconds, depth 35, found by <relaxation>)
1551.54/1551.57 c Dual Bound : +4.00000000000000e+00
1551.54/1551.57 c Gap : 0.00 %
1551.54/1551.57 c Root Dual Bound : +0.00000000000000e+00
1551.54/1551.57 c Root Iterations : 410
1551.64/1551.67 c Time complete: 1551.71.
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705220-1278578353/watcher-2705220-1278578353 -o /tmp/evaluation-result-2705220-1278578353/solver-2705220-1278578353 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705220-1278578353.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: 2.00 2.00 1.95 4/178 22913 /proc/meminfo: memFree=29104112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=12328 CPUtime=0 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 1923 0 0 0 0 0 0 0 24 0 1 0 26048938 12623872 1841 4089446400 4194304 10345943 140736152872480 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22913/statm: 3082 1854 429 1502 0 1575 0 [startup+0.0840721 s] /proc/loadavg: 2.00 2.00 1.95 4/178 22913 /proc/meminfo: memFree=29104112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=27056 CPUtime=0.08 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 6496 0 0 0 7 1 0 0 24 0 1 0 26048938 27705344 5581 4089446400 4194304 10345943 140736152872480 18446744073709551615 5849682 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 6764 5581 741 1502 0 5257 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 27056 [startup+0.101078 s] /proc/loadavg: 2.00 2.00 1.95 4/178 22913 /proc/meminfo: memFree=29104112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=27056 CPUtime=0.09 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 6497 0 0 0 8 1 0 0 24 0 1 0 26048938 27705344 5582 4089446400 4194304 10345943 140736152872480 18446744073709551615 5842705 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 6764 5582 741 1502 0 5257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27056 [startup+0.30103 s] /proc/loadavg: 2.00 2.00 1.95 4/178 22913 /proc/meminfo: memFree=29104112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=27056 CPUtime=0.29 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 7429 0 0 0 28 1 0 0 25 0 1 0 26048938 27705344 5629 4089446400 4194304 10345943 140736152872480 18446744073709551615 6337553 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 6764 5629 758 1502 0 5257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27056 [startup+0.700906 s] /proc/loadavg: 2.00 2.00 1.95 4/178 22913 /proc/meminfo: memFree=29104112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=27056 CPUtime=0.69 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 7430 0 0 0 67 2 0 0 25 0 1 0 26048938 27705344 5630 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 6764 5630 759 1502 0 5257 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27056 [startup+1.50076 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22914 /proc/meminfo: memFree=29082900/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=33464 CPUtime=1.49 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 9007 0 0 0 146 3 0 0 25 0 1 0 26048938 34267136 7207 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 8366 7207 769 1502 0 6859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33464 [startup+3.10058 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22914 /proc/meminfo: memFree=29070508/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=30920 CPUtime=3.09 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 9990 0 0 0 305 4 0 0 25 0 1 0 26048938 31662080 6625 4089446400 4194304 10345943 140736152872480 18446744073709551615 6528232 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 7730 6625 769 1502 0 6223 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30920 [startup+6.30099 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22914 /proc/meminfo: memFree=29070384/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=34608 CPUtime=6.29 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 14244 0 0 0 624 5 0 0 25 0 1 0 26048938 35438592 7415 4089446400 4194304 10345943 140736152872480 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 8652 7415 769 1502 0 7145 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34608 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22914 /proc/meminfo: memFree=29059016/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=45984 CPUtime=12.69 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 18845 0 0 0 1261 8 0 0 25 0 1 0 26048938 47087616 10132 4089446400 4194304 10345943 140736152872480 18446744073709551615 6864723 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 11496 10132 769 1502 0 9989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45984 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22915 /proc/meminfo: memFree=29028132/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=69992 CPUtime=25.49 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 26737 0 0 0 2536 13 0 0 25 0 1 0 26048938 71671808 16094 4089446400 4194304 10345943 140736152872480 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 17498 16094 769 1502 0 15991 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69992 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22915 /proc/meminfo: memFree=28956076/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=118348 CPUtime=51.09 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 40316 0 0 0 5084 25 0 0 25 0 1 0 26048938 121188352 28065 4089446400 4194304 10345943 140736152872480 18446744073709551615 6519508 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22913/statm: 29587 28065 769 1502 0 28080 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118348 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22917 /proc/meminfo: memFree=28785492/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=218632 CPUtime=102.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 66130 0 0 0 10181 49 0 0 25 0 1 0 26048938 223879168 52248 4089446400 4194304 10345943 140736152872480 18446744073709551615 6760568 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 54658 52248 769 1502 0 53151 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 218632 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22918 /proc/meminfo: memFree=28555756/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=332228 CPUtime=162.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 96329 0 0 0 16152 78 0 0 25 0 1 0 26048938 340201472 80825 4089446400 4194304 10345943 140736152872480 18446744073709551615 6519481 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 83057 80825 769 1502 0 81550 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 332228 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22920 /proc/meminfo: memFree=28334972/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=450604 CPUtime=222.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 123818 0 0 0 22122 108 0 0 25 0 1 0 26048938 461418496 108290 4089446400 4194304 10345943 140736152872480 18446744073709551615 6847531 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 112651 108290 769 1502 0 111144 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 450604 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22921 /proc/meminfo: memFree=28201360/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=562896 CPUtime=282.29 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 152041 0 0 0 28095 134 0 0 25 0 1 0 26048938 576405504 136505 4089446400 4194304 10345943 140736152872480 18446744073709551615 6518846 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 140724 136505 769 1502 0 139217 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 562896 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22923 /proc/meminfo: memFree=28085480/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=671296 CPUtime=342.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 181092 0 0 0 34072 158 0 0 25 0 1 0 26048938 687407104 164026 4089446400 4194304 10345943 140736152872480 18446744073709551615 6865066 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 167824 164026 769 1502 0 166317 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 671296 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22925 /proc/meminfo: memFree=27968612/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=800872 CPUtime=402.31 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 209191 0 0 0 40045 186 0 0 25 0 1 0 26048938 820092928 192092 4089446400 4194304 10345943 140736152872480 18446744073709551615 8160445 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 200218 192092 769 1502 0 198711 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 800872 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22926 /proc/meminfo: memFree=27849264/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=915544 CPUtime=462.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 237963 0 0 0 46020 210 0 0 25 0 1 0 26048938 937517056 220839 4089446400 4194304 10345943 140736152872480 18446744073709551615 5012632 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 228886 220839 769 1502 0 227379 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 915544 [startup+522.301 s] /proc/loadavg: 2.06 2.02 1.95 3/179 22928 /proc/meminfo: memFree=27729308/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1031912 CPUtime=522.31 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 266843 0 0 0 51994 237 0 0 25 0 1 0 26048938 1056677888 249706 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 257978 249706 769 1502 0 256471 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1031912 [startup+582.301 s] /proc/loadavg: 2.02 2.01 1.95 3/179 22929 /proc/meminfo: memFree=27610932/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1144496 CPUtime=582.3 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 295142 0 0 0 57967 263 0 0 25 0 1 0 26048938 1171963904 277979 4089446400 4194304 10345943 140736152872480 18446744073709551615 6525286 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 286124 277979 769 1502 0 284617 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1144496 [startup+642.301 s] /proc/loadavg: 2.01 2.00 1.95 3/179 22931 /proc/meminfo: memFree=27494172/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1259952 CPUtime=642.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 325273 0 0 0 63943 289 0 0 25 0 1 0 26048938 1290190848 306582 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 314988 306582 769 1502 0 313481 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1259952 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27142212/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1633636 CPUtime=822.31 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 410576 0 0 0 81864 367 0 0 25 0 1 0 26048938 1672843264 391842 4089446400 4194304 10345943 140736152872480 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 408409 391842 769 1502 0 406902 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1633636 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22937 /proc/meminfo: memFree=27028460/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1743708 CPUtime=882.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 438172 0 0 0 87840 392 0 0 25 0 1 0 26048938 1785556992 419410 4089446400 4194304 10345943 140736152872480 18446744073709551615 6119758 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 435927 419410 769 1502 0 434420 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1743708 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22939 /proc/meminfo: memFree=26909236/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1859560 CPUtime=942.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 467151 0 0 0 93814 418 0 0 25 0 1 0 26048938 1904189440 448372 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 464890 448372 769 1502 0 463383 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1859560 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22941 /proc/meminfo: memFree=26788756/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=1970156 CPUtime=1002.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 495107 0 0 0 99786 446 0 0 25 0 1 0 26048938 2017439744 476308 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 492539 476308 769 1502 0 491032 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1970156 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22942 /proc/meminfo: memFree=26673260/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2082752 CPUtime=1062.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 523173 0 0 0 105760 472 0 0 25 0 1 0 26048938 2132738048 504356 4089446400 4194304 10345943 140736152872480 18446744073709551615 6548608 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 520688 504356 769 1502 0 519181 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2082752 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22944 /proc/meminfo: memFree=26550936/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2198176 CPUtime=1122.32 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 552222 0 0 0 111731 501 0 0 25 0 1 0 26048938 2250932224 533396 4089446400 4194304 10345943 140736152872480 18446744073709551615 8159985 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 549544 533396 769 1502 0 548037 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2198176 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 1.96 3/179 22945 /proc/meminfo: memFree=26432572/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2311508 CPUtime=1182.33 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 582226 0 0 0 117705 528 0 0 25 0 1 0 26048938 2366984192 561773 4089446400 4194304 10345943 140736152872480 18446744073709551615 8861929 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 577877 561773 769 1502 0 576370 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2311508 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 1.96 3/179 22947 /proc/meminfo: memFree=26310860/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2425216 CPUtime=1242.33 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 610344 0 0 0 123679 554 0 0 25 0 1 0 26048938 2483421184 589884 4089446400 4194304 10345943 140736152872480 18446744073709551615 6785130 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 606304 589884 769 1502 0 604797 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2425216 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22949 /proc/meminfo: memFree=26191384/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2537304 CPUtime=1302.34 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 638478 0 0 0 129654 580 0 0 25 0 1 0 26048938 2598199296 618008 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 634326 618008 769 1502 0 632819 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2537304 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22959 /proc/meminfo: memFree=26074452/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2652392 CPUtime=1362.33 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 667047 0 0 0 135627 606 0 0 25 0 1 0 26048938 2716049408 646566 4089446400 4194304 10345943 140736152872480 18446744073709551615 6518861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 663098 646566 769 1502 0 661591 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2652392 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22961 /proc/meminfo: memFree=25954112/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2761868 CPUtime=1422.34 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 694605 0 0 0 141601 633 0 0 25 0 1 0 26048938 2828152832 674101 4089446400 4194304 10345943 140736152872480 18446744073709551615 6803589 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 690467 674101 769 1502 0 688960 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2761868 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22962 /proc/meminfo: memFree=25836632/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2874676 CPUtime=1482.33 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 723006 0 0 0 147572 661 0 0 25 0 1 0 26048938 2943668224 702477 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 718669 702477 769 1502 0 717162 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2874676 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25731172/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=3038764 CPUtime=1542.34 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 764234 0 0 0 153549 685 0 0 25 0 1 0 26048938 3111694336 727010 4089446400 4194304 10345943 140736152872480 18446744073709551615 6324956 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 759691 727010 769 1502 0 758184 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 3038764 Solver just ended. Dumping a history of the last processes samples [startup+1545.51 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782992/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2924920 CPUtime=1545.54 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 767991 0 0 0 153869 685 0 0 25 0 1 0 26048938 2995118080 714079 4089446400 4194304 10345943 140736152872480 18446744073709551615 6325662 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 731230 714079 769 1502 0 729723 0 Current children cumulated CPU time (s) 1545.54 Current children cumulated vsize (KiB) 2924920 [startup+1548.7 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782496/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2924920 CPUtime=1548.74 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 768082 0 0 0 154188 686 0 0 25 0 1 0 26048938 2995118080 714170 4089446400 4194304 10345943 140736152872480 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 731230 714170 769 1502 0 729723 0 Current children cumulated CPU time (s) 1548.74 Current children cumulated vsize (KiB) 2924920 [startup+1550.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782624/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2924920 CPUtime=1550.34 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 768107 0 0 0 154347 687 0 0 25 0 1 0 26048938 2995118080 714195 4089446400 4194304 10345943 140736152872480 18446744073709551615 6923685 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 731230 714195 769 1502 0 729723 0 Current children cumulated CPU time (s) 1550.34 Current children cumulated vsize (KiB) 2924920 [startup+1551.1 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782624/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2924920 CPUtime=1551.14 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 768351 0 0 0 154426 688 0 0 25 0 1 0 26048938 2995118080 714439 4089446400 4194304 10345943 140736152872480 18446744073709551615 6702715 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 731230 714439 769 1502 0 729723 0 Current children cumulated CPU time (s) 1551.14 Current children cumulated vsize (KiB) 2924920 [startup+1551.5 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782624/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2924920 CPUtime=1551.54 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 768352 0 0 0 154466 688 0 0 25 0 1 0 26048938 2995118080 714440 4089446400 4194304 10345943 140736152872480 18446744073709551615 6324956 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22913/statm: 731230 714440 769 1502 0 729723 0 Current children cumulated CPU time (s) 1551.54 Current children cumulated vsize (KiB) 2924920 [startup+1551.6 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22964 /proc/meminfo: memFree=25782624/32950928 swapFree=67111528/67111528 [pid=22913] ppid=22911 vsize=2423844 CPUtime=1551.64 /proc/22913/stat : 22913 (pbscip.linux.x8) R 22911 22913 22443 0 -1 4202496 768356 0 0 0 154474 690 0 0 18 0 1 0 26048938 2482016256 569788 4089446400 4194304 10345943 140736152872480 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22913/statm: 605961 569278 773 1502 0 604454 0 Current children cumulated CPU time (s) 1551.64 Current children cumulated vsize (KiB) 2423844 Child status: 0 Real time (s): 1551.68 CPU time (s): 1551.72 CPU user time (s): 1544.75 CPU system time (s): 6.97794 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3168472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1544.75 system time used= 6.97794 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 768359 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1555 runsolver used 2.31465 second user time and 4.75428 second system time The end
Begin job on node116 at 2010-07-08 10:39:13 IDJOB=2705220 IDBENCH=79324 IDSOLVER=1214 FILE ID=node116/2705220-1278578353 PBS_JOBID= 11240222 Free space on /tmp= 73452 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705220-1278578353/watcher-2705220-1278578353 -o /tmp/evaluation-result-2705220-1278578353/solver-2705220-1278578353 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705220-1278578353.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d36b5cd023115813d6df483e2bae50a2 RANDOM SEED=1713272524 node116.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.858 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.71 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.858 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.83 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.858 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.858 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 : 5332.83 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.858 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.73 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.858 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.75 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.858 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.75 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.858 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29104516 kB Buffers: 159056 kB Cached: 3411760 kB SwapCached: 0 kB Active: 1341096 kB Inactive: 2351092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29104516 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25788 kB Writeback: 0 kB AnonPages: 121356 kB Mapped: 17720 kB Slab: 89620 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 264932 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73440 MiB End job on node116 at 2010-07-08 11:05:05