Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 1 | 1796.85 | 1797.2 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 1789.91 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3734945-1338715522.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.02 o 1352
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 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 25 | - | 446k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.352000e+03 | Inf
0.00/0.03 o 1345
0.00/0.03 c y 0.0s| 1 | 0 | 25 | - | 482k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 29 | - | 484k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.02/0.04 c 0.0s| 1 | 0 | 38 | - | 525k| 0 | 12 | 120 | 7 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.02/0.05 c 0.0s| 1 | 0 | 43 | - | 550k| 0 | 15 | 120 | 7 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.02/0.05 c 0.0s| 1 | 0 | 47 | - | 576k| 0 | 16 | 120 | 7 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.02/0.06 c 0.1s| 1 | 0 | 53 | - | 596k| 0 | 19 | 120 | 7 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 61 | - | 608k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 2 | 160 | - | 609k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.17 o 907
0.09/0.17 c c 0.2s| 36 | 37 | 371 | 8.9 | 642k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.09/0.18 o 728
0.09/0.18 c p 0.2s| 50 | 49 | 441 | 7.8 | 650k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 214 | 0.000000e+00 | 7.280000e+02 | Inf
0.19/0.20 o 96
0.19/0.20 c f 0.2s| 71 | 53 | 601 | 7.7 | 661k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 273 | 0.000000e+00 | 9.600000e+01 | Inf
0.19/0.21 o 94
0.19/0.21 c v 0.2s| 85 | 67 | 650 | 7.0 | 686k| 36 | - | 120 | 5 | 120 | 20 | 23 | 5 | 312 | 0.000000e+00 | 9.400000e+01 | Inf
0.19/0.25 o 92
0.19/0.25 c l 0.2s| 203 | 160 | 1133 | 5.3 | 754k| 39 | - | 120 | 11 | 120 | 20 | 23 | 19 | 421 | 0.000000e+00 | 9.200000e+01 | Inf
0.19/0.28 o 90
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c * 0.3s| 267 | 214 | 1417 | 5.1 | 779k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.19/0.28 o 88
0.19/0.28 c * 0.3s| 269 | 214 | 1417 | 5.1 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 458 | 0.000000e+00 | 8.800000e+01 | Inf
0.19/0.28 o 86
0.19/0.28 c p 0.3s| 272 | 215 | 1419 | 5.0 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 463 | 0.000000e+00 | 8.600000e+01 | Inf
0.19/0.28 o 84
0.19/0.28 c f 0.3s| 272 | 212 | 1419 | 5.0 | 785k| 39 | - | 120 | 11 | 120 | 20 | 23 | 21 | 463 | 0.000000e+00 | 8.400000e+01 | Inf
0.19/0.29 o 83
0.19/0.29 c * 0.3s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.19/0.29 o 81
0.19/0.29 c * 0.3s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.28/0.30 o 79
0.28/0.30 c * 0.3s| 360 | 278 | 1781 | 4.8 | 821k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.28/0.31 o 77
0.28/0.31 c * 0.3s| 361 | 273 | 1781 | 4.8 | 818k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.28/0.31 o 73
0.28/0.31 c * 0.3s| 390 | 289 | 1890 | 4.7 | 829k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 506 | 0.000000e+00 | 7.300000e+01 | Inf
0.28/0.34 o 72
0.28/0.34 c * 0.3s| 461 | 354 | 2303 | 4.9 | 860k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 510 | 0.000000e+00 | 7.200000e+01 | Inf
0.28/0.34 o 69
0.28/0.34 c * 0.3s| 464 | 345 | 2313 | 4.9 | 855k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 511 | 0.000000e+00 | 6.900000e+01 | Inf
0.28/0.34 o 21
0.28/0.34 c s 0.3s| 484 | 292 | 2386 | 4.8 | 822k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.28/0.35 o 20
0.28/0.35 c f 0.3s| 484 | 291 | 2396 | 4.8 | 833k| 39 | - | 120 | 15 | 120 | 20 | 23 | 35 | 518 | 0.000000e+00 | 2.000000e+01 | Inf
1.58/1.60 o 19
1.58/1.60 c * 1.6s| 4682 | 3550 | 22448 | 4.8 |2387k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.900000e+01 | Inf
1.69/1.70 o 17
1.69/1.70 c * 1.6s| 4683 | 3524 | 22448 | 4.8 |2360k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.700000e+01 | Inf
1.69/1.72 o 15
1.69/1.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.72 c * 1.7s| 4976 | 3654 | 24289 | 4.9 |2404k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.99/3.09 o 14
2.99/3.09 c * 3.1s| 9166 | 6403 | 45705 | 5.0 |3668k| 39 | - | 120 | 177 | 120 | 20 | 23 |1594 | 710 | 0.000000e+00 | 1.400000e+01 | Inf
3.30/3.34 c 3.3s| 10000 | 6886 | 49415 | 4.9 |3881k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.88/4.98 o 13
4.88/4.98 c p 5.0s| 16567 | 10184 | 74695 | 4.5 |5505k| 39 | - | 120 | 220 | 120 | 20 | 23 |2724 | 948 | 0.000000e+00 | 1.300000e+01 | Inf
4.88/4.98 o 11
4.88/4.98 c f 5.0s| 16567 | 10112 | 74695 | 4.5 |5429k| 39 | - | 120 | 221 | 120 | 20 | 23 |2727 | 948 | 0.000000e+00 | 1.100000e+01 | Inf
6.18/6.29 c 6.3s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
7.08/7.14 o 9
7.08/7.14 c * 7.1s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
7.18/7.23 o 8
7.18/7.23 c * 7.2s| 24454 | 12738 |102209 | 4.2 |6603k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
7.18/7.23 o 6
7.18/7.23 c * 7.2s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
8.28/8.33 c 8.3s| 30000 | 14005 |119930 | 4.0 |7091k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
10.09/10.10 c 10.1s| 40000 | 15780 |148504 | 3.7 |8137k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
11.98/12.09 c 12.1s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
13.78/13.85 c 13.8s| 60000 | 16718 |205970 | 3.4 |9097k| 39 | - | 120 | 454 | 120 | 20 | 23 |7624 |2047 | 0.000000e+00 | 6.000000e+00 | Inf
15.48/15.54 c 15.5s| 70000 | 16968 |234692 | 3.4 |9400k| 39 | 5 | 120 | 469 | 120 | 20 | 23 |8786 |2210 | 0.000000e+00 | 6.000000e+00 | Inf
17.18/17.26 c 17.3s| 80000 | 17095 |264161 | 3.3 |9580k| 39 | 5 | 120 | 422 | 120 | 20 | 23 |9947 |2429 | 0.000000e+00 | 6.000000e+00 | Inf
18.88/18.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.88/18.96 c 19.0s| 90000 | 17155 |292310 | 3.2 |9769k| 39 | - | 120 | 423 | 120 | 20 | 23 | 11k|2682 | 0.000000e+00 | 6.000000e+00 | Inf
20.58/20.66 c 20.7s|100000 | 17372 |320689 | 3.2 |9973k| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 12k|2918 | 0.000000e+00 | 6.000000e+00 | Inf
22.18/22.29 c 22.3s|110000 | 17422 |348290 | 3.2 | 10M| 39 | 5 | 120 | 363 | 120 | 20 | 23 | 13k|3080 | 0.000000e+00 | 6.000000e+00 | Inf
23.88/23.94 c 23.9s|120000 | 17586 |375866 | 3.1 | 10M| 39 | 5 | 120 | 347 | 120 | 20 | 23 | 14k|3231 | 0.000000e+00 | 6.000000e+00 | Inf
25.58/25.62 c 25.6s|130000 | 18389 |406275 | 3.1 | 10M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 15k|3360 | 0.000000e+00 | 6.000000e+00 | Inf
27.27/27.33 c 27.3s|140000 | 19316 |435927 | 3.1 | 11M| 39 | 5 | 120 | 194 | 120 | 20 | 23 | 16k|3496 | 0.000000e+00 | 6.000000e+00 | Inf
28.88/28.99 c 29.0s|150000 | 20565 |465770 | 3.1 | 12M| 39 | 5 | 120 | 177 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
30.57/30.62 c 30.6s|160000 | 21090 |493836 | 3.1 | 12M| 39 | - | 120 | 149 | 120 | 20 | 23 | 18k|3815 | 0.000000e+00 | 6.000000e+00 | Inf
32.18/32.25 c 32.3s|170000 | 21257 |522263 | 3.1 | 13M| 39 | 5 | 120 | 162 | 120 | 20 | 23 | 20k|3982 | 0.000000e+00 | 6.000000e+00 | Inf
33.88/33.94 c 33.9s|180000 | 22634 |551978 | 3.1 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 21k|4108 | 0.000000e+00 | 6.000000e+00 | Inf
35.47/35.58 c 35.6s|190000 | 23495 |580222 | 3.1 | 14M| 39 | - | 120 | 116 | 120 | 20 | 23 | 22k|4241 | 0.000000e+00 | 6.000000e+00 | Inf
37.18/37.20 c 37.2s|200000 | 23495 |608052 | 3.0 | 15M| 39 | 5 | 120 | 117 | 120 | 20 | 23 | 23k|4386 | 0.000000e+00 | 6.000000e+00 | Inf
38.78/38.82 c 38.8s|210000 | 23485 |635930 | 3.0 | 15M| 39 | - | 120 | 133 | 120 | 20 | 23 | 25k|4505 | 0.000000e+00 | 6.000000e+00 | Inf
40.38/40.45 c 40.4s|220000 | 23594 |664375 | 3.0 | 15M| 39 | - | 120 | 159 | 120 | 20 | 23 | 26k|4613 | 0.000000e+00 | 6.000000e+00 | Inf
41.97/42.07 c 42.1s|230000 | 23540 |692509 | 3.0 | 15M| 39 | 5 | 120 | 118 | 120 | 20 | 23 | 27k|4768 | 0.000000e+00 | 6.000000e+00 | Inf
43.58/43.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.58/43.68 c 43.7s|240000 | 23393 |719115 | 3.0 | 15M| 39 | 5 | 120 | 144 | 120 | 20 | 23 | 28k|4892 | 0.000000e+00 | 6.000000e+00 | Inf
45.17/45.29 c 45.3s|250000 | 23275 |746303 | 3.0 | 15M| 39 | 5 | 120 | 149 | 120 | 20 | 23 | 30k|4998 | 0.000000e+00 | 6.000000e+00 | Inf
46.87/46.90 c 46.9s|260000 | 23078 |773124 | 3.0 | 15M| 39 | - | 120 | 150 | 120 | 20 | 23 | 31k|5118 | 0.000000e+00 | 6.000000e+00 | Inf
48.48/48.52 c 48.5s|270000 | 22988 |800948 | 3.0 | 15M| 39 | - | 120 | 138 | 120 | 20 | 23 | 32k|5221 | 0.000000e+00 | 6.000000e+00 | Inf
49.28/49.33 o 5
49.28/49.33 c *49.3s|274965 | 22711 |814610 | 3.0 | 15M| 39 | - | 120 | 151 | 120 | 20 | 23 | 33k|5272 | 0.000000e+00 | 5.000000e+00 | Inf
50.08/50.18 c 50.2s|280000 | 22512 |828121 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 33k|5358 | 0.000000e+00 | 5.000000e+00 | Inf
51.68/51.79 c 51.8s|290000 | 22301 |856432 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 34k|5499 | 0.000000e+00 | 5.000000e+00 | Inf
53.27/53.36 c 53.4s|300000 | 22344 |883619 | 2.9 | 15M| 39 | - | 120 | 181 | 120 | 20 | 23 | 36k|5652 | 0.000000e+00 | 5.000000e+00 | Inf
54.88/54.93 c 54.9s|310000 | 22058 |910059 | 2.9 | 15M| 39 | 5 | 120 | 163 | 120 | 20 | 23 | 37k|5801 | 0.000000e+00 | 5.000000e+00 | Inf
56.47/56.52 c 56.5s|320000 | 21337 |936726 | 2.9 | 15M| 39 | - | 120 | 161 | 120 | 20 | 23 | 38k|5970 | 0.000000e+00 | 5.000000e+00 | Inf
58.08/58.13 c 58.1s|330000 | 21636 |964439 | 2.9 | 15M| 39 | - | 120 | 194 | 120 | 20 | 23 | 39k|6112 | 0.000000e+00 | 5.000000e+00 | Inf
59.68/59.71 c 59.7s|340000 | 21943 |993008 | 2.9 | 15M| 39 | - | 120 | 184 | 120 | 20 | 23 | 40k|6284 | 0.000000e+00 | 5.000000e+00 | Inf
61.27/61.31 c 61.3s|350000 | 22760 | 1020k| 2.9 | 16M| 39 | - | 120 | 241 | 120 | 20 | 23 | 41k|6444 | 0.000000e+00 | 5.000000e+00 | Inf
62.87/62.96 c 63.0s|360000 | 24742 | 1050k| 2.9 | 17M| 39 | - | 120 | 262 | 120 | 20 | 23 | 42k|6546 | 0.000000e+00 | 5.000000e+00 | Inf
64.47/64.54 c 64.5s|370000 | 25794 | 1076k| 2.9 | 18M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 43k|6672 | 0.000000e+00 | 5.000000e+00 | Inf
66.07/66.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.07/66.18 c 66.2s|380000 | 27558 | 1104k| 2.9 | 19M| 39 | - | 120 | 239 | 120 | 20 | 23 | 44k|6775 | 0.000000e+00 | 5.000000e+00 | Inf
67.67/67.77 c 67.8s|390000 | 28985 | 1132k| 2.9 | 20M| 39 | 5 | 120 | 234 | 120 | 20 | 23 | 45k|6886 | 0.000000e+00 | 5.000000e+00 | Inf
69.27/69.34 c 69.3s|400000 | 29823 | 1158k| 2.9 | 20M| 39 | - | 120 | 243 | 120 | 20 | 23 | 46k|7002 | 0.000000e+00 | 5.000000e+00 | Inf
70.87/70.94 c 70.9s|410000 | 30560 | 1185k| 2.9 | 21M| 39 | - | 120 | 240 | 0 | 0 | 23 | 47k|7154 | 0.000000e+00 | 5.000000e+00 | Inf
72.47/72.51 c 72.5s|420000 | 31210 | 1212k| 2.9 | 21M| 39 | - | 120 | 207 | 120 | 20 | 23 | 48k|7285 | 0.000000e+00 | 5.000000e+00 | Inf
73.97/74.08 c 74.1s|430000 | 31462 | 1239k| 2.9 | 22M| 39 | 5 | 120 | 229 | 120 | 20 | 23 | 49k|7383 | 0.000000e+00 | 5.000000e+00 | Inf
75.57/75.63 c 75.6s|440000 | 32000 | 1265k| 2.9 | 22M| 39 | 5 | 120 | 207 | 120 | 20 | 23 | 50k|7514 | 0.000000e+00 | 5.000000e+00 | Inf
77.07/77.18 c 77.2s|450000 | 32270 | 1291k| 2.9 | 22M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 51k|7621 | 0.000000e+00 | 5.000000e+00 | Inf
78.67/78.70 c 78.7s|460000 | 32469 | 1316k| 2.9 | 23M| 39 | 5 | 120 | 204 | 120 | 20 | 23 | 52k|7733 | 0.000000e+00 | 5.000000e+00 | Inf
80.17/80.24 c 80.2s|470000 | 32641 | 1341k| 2.9 | 23M| 39 | - | 120 | 214 | 120 | 20 | 23 | 54k|7845 | 0.000000e+00 | 5.000000e+00 | Inf
81.76/81.82 c 81.8s|480000 | 33018 | 1368k| 2.9 | 23M| 39 | 5 | 120 | 192 | 120 | 20 | 23 | 55k|7955 | 0.000000e+00 | 5.000000e+00 | Inf
83.27/83.34 c 83.3s|490000 | 32917 | 1394k| 2.8 | 23M| 39 | 5 | 120 | 211 | 120 | 20 | 23 | 56k|8050 | 0.000000e+00 | 5.000000e+00 | Inf
84.77/84.88 c 84.9s|500000 | 33046 | 1419k| 2.8 | 24M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 57k|8164 | 0.000000e+00 | 5.000000e+00 | Inf
86.37/86.41 c 86.4s|510000 | 33126 | 1445k| 2.8 | 24M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 58k|8264 | 0.000000e+00 | 5.000000e+00 | Inf
87.88/87.95 c 87.9s|520000 | 33037 | 1470k| 2.8 | 24M| 39 | - | 120 | 258 | 0 | 0 | 23 | 59k|8365 | 0.000000e+00 | 5.000000e+00 | Inf
89.37/89.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.37/89.49 c 89.5s|530000 | 33152 | 1496k| 2.8 | 24M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 60k|8453 | 0.000000e+00 | 5.000000e+00 | Inf
90.96/91.02 c 91.0s|540000 | 32967 | 1520k| 2.8 | 24M| 39 | - | 120 | 269 | 120 | 20 | 23 | 61k|8536 | 0.000000e+00 | 5.000000e+00 | Inf
92.47/92.58 c 92.6s|550000 | 33114 | 1546k| 2.8 | 24M| 39 | 5 | 120 | 266 | 120 | 20 | 23 | 62k|8632 | 0.000000e+00 | 5.000000e+00 | Inf
94.07/94.12 c 94.1s|560000 | 33111 | 1570k| 2.8 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 63k|8721 | 0.000000e+00 | 5.000000e+00 | Inf
95.57/95.69 c 95.7s|570000 | 33294 | 1595k| 2.8 | 25M| 39 | 5 | 120 | 326 | 120 | 20 | 23 | 64k|8808 | 0.000000e+00 | 5.000000e+00 | Inf
97.17/97.21 c 97.2s|580000 | 33199 | 1620k| 2.8 | 25M| 39 | - | 120 | 351 | 120 | 20 | 23 | 65k|8893 | 0.000000e+00 | 5.000000e+00 | Inf
98.66/98.78 c 98.8s|590000 | 33434 | 1646k| 2.8 | 25M| 39 | - | 120 | 296 | 120 | 20 | 23 | 66k|9002 | 0.000000e+00 | 5.000000e+00 | Inf
100.27/100.38 c 100s|600000 | 34399 | 1672k| 2.8 | 26M| 39 | - | 120 | 289 | 0 | 0 | 23 | 67k|9107 | 0.000000e+00 | 5.000000e+00 | Inf
101.86/101.95 c 102s|610000 | 35097 | 1699k| 2.8 | 26M| 39 | - | 120 | 288 | 120 | 20 | 23 | 69k|9194 | 0.000000e+00 | 5.000000e+00 | Inf
103.47/103.50 c 104s|620000 | 35269 | 1725k| 2.8 | 26M| 39 | 5 | 120 | 298 | 120 | 20 | 23 | 70k|9289 | 0.000000e+00 | 5.000000e+00 | Inf
103.87/103.98 o 4
103.87/103.98 c f 104s|623206 | 34748 | 1734k| 2.8 | 25M| 39 | - | 120 | 311 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 4.000000e+00 | Inf
103.87/103.99 o 2
103.87/103.99 c * 104s|623219 | 32650 | 1734k| 2.8 | 22M| 39 | - | 120 | 298 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 2.000000e+00 | Inf
104.97/105.01 c 105s|630000 | 32496 | 1750k| 2.8 | 22M| 39 | - | 120 | 301 | 120 | 20 | 23 | 70k|9322 | 0.000000e+00 | 2.000000e+00 | Inf
106.37/106.41 c 106s|640000 | 32723 | 1774k| 2.8 | 22M| 39 | 5 | 120 | 398 | 120 | 20 | 23 | 71k|9355 | 0.000000e+00 | 2.000000e+00 | Inf
107.77/107.84 c 108s|650000 | 33048 | 1798k| 2.8 | 22M| 39 | - | 120 | 365 | 0 | 0 | 23 | 72k|9420 | 0.000000e+00 | 2.000000e+00 | Inf
109.16/109.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.16/109.23 c 109s|660000 | 33426 | 1822k| 2.8 | 23M| 39 | 5 | 120 | 404 | 120 | 20 | 23 | 73k|9443 | 0.000000e+00 | 2.000000e+00 | Inf
110.07/110.16 o 1
110.07/110.16 c * 110s|666669 | 32817 | 1837k| 2.8 | 22M| 39 | - | 120 | 420 | 120 | 20 | 23 | 74k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
111.26/111.37 c 111s|670000 | 32650 | 1843k| 2.8 | 23M| 39 | 5 | 120 |1786 | 120 | 20 | 23 | 76k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
113.67/113.75 c 114s|680000 | 33228 | 1863k| 2.7 | 24M| 39 | 5 | 120 |3995 | 120 | 20 | 23 | 83k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
116.26/116.39 c 116s|690000 | 32613 | 1881k| 2.7 | 24M| 39 | 5 | 120 |2793 | 120 | 20 | 23 | 91k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
118.86/118.90 c 119s|700000 | 31775 | 1900k| 2.7 | 23M| 39 | - | 120 |2149 | 120 | 20 | 23 | 99k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
121.27/121.34 c 121s|710000 | 31128 | 1919k| 2.7 | 23M| 39 | 5 | 120 |3965 | 120 | 20 | 23 | 107k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
123.96/124.04 c 124s|720000 | 30741 | 1939k| 2.7 | 23M| 39 | - | 120 |4042 | 120 | 20 | 23 | 115k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
126.77/126.80 c 127s|730000 | 30196 | 1959k| 2.7 | 23M| 39 | 5 | 120 |4746 | 120 | 20 | 23 | 123k|9467 | 0.000000e+00 | 1.000000e+00 | Inf
129.56/129.61 c 130s|740000 | 29472 | 1979k| 2.7 | 23M| 39 | - | 120 |5241 | 120 | 20 | 23 | 131k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
132.37/132.40 c 132s|750000 | 29227 | 1998k| 2.7 | 23M| 39 | 5 | 120 |5413 | 120 | 20 | 23 | 138k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
135.17/135.25 c 135s|760000 | 28653 | 2019k| 2.7 | 23M| 39 | - | 120 |5233 | 120 | 20 | 23 | 146k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
137.96/138.04 c 138s|770000 | 28477 | 2039k| 2.6 | 23M| 39 | 5 | 120 |5786 | 120 | 20 | 23 | 154k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
140.86/140.95 c 141s|780000 | 27891 | 2059k| 2.6 | 23M| 39 | - | 120 |5725 | 120 | 20 | 23 | 162k|9470 | 0.000000e+00 | 1.000000e+00 | Inf
143.86/143.90 c 144s|790000 | 27629 | 2079k| 2.6 | 22M| 39 | 5 | 120 |5669 | 120 | 20 | 23 | 170k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
146.55/146.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.55/146.67 c 147s|800000 | 27440 | 2099k| 2.6 | 23M| 39 | 5 | 120 |6093 | 120 | 20 | 23 | 178k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
149.56/149.65 c 150s|810000 | 26788 | 2119k| 2.6 | 22M| 39 | 5 | 120 |5952 | 120 | 20 | 23 | 186k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
152.46/152.55 c 153s|820000 | 26241 | 2139k| 2.6 | 22M| 39 | - | 120 |5496 | 120 | 20 | 23 | 194k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
155.35/155.43 c 155s|830000 | 25875 | 2159k| 2.6 | 22M| 39 | - | 120 |6355 | 120 | 20 | 23 | 202k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
158.36/158.41 c 158s|840000 | 25496 | 2180k| 2.6 | 21M| 39 | - | 120 |6002 | 120 | 20 | 23 | 210k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
161.16/161.26 c 161s|850000 | 25174 | 2199k| 2.6 | 21M| 39 | 5 | 120 |6939 | 120 | 20 | 23 | 218k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
163.95/164.07 c 164s|860000 | 25831 | 2220k| 2.6 | 23M| 39 | 5 | 120 |8916 | 120 | 20 | 23 | 226k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
166.95/167.04 c 167s|870000 | 26181 | 2241k| 2.6 | 23M| 39 | 5 | 120 |9275 | 120 | 20 | 23 | 233k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
170.15/170.27 c 170s|880000 | 25679 | 2260k| 2.6 | 23M| 39 | 5 | 120 |8899 | 120 | 20 | 23 | 242k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
173.45/173.50 c 173s|890000 | 25234 | 2280k| 2.6 | 23M| 39 | - | 120 |9154 | 120 | 20 | 23 | 250k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
176.46/176.58 c 177s|900000 | 25311 | 2298k| 2.6 | 22M| 39 | - | 120 |8071 | 120 | 20 | 23 | 257k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
179.26/179.38 c 179s|910000 | 26064 | 2318k| 2.5 | 23M| 39 | - | 120 |8355 | 120 | 20 | 23 | 263k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
182.05/182.19 c 182s|920000 | 27499 | 2340k| 2.5 | 25M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 270k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
185.05/185.18 c 185s|930000 | 28391 | 2359k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 277k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
188.25/188.36 c 188s|940000 | 28658 | 2379k| 2.5 | 27M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 285k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
191.54/191.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.54/191.62 c 192s|950000 | 28797 | 2399k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 293k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
194.64/194.78 c 195s|960000 | 28685 | 2418k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 301k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
197.84/198.00 c 198s|970000 | 28604 | 2438k| 2.5 | 28M| 39 | - | 120 | 10k| 0 | 0 | 23 | 308k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
201.14/201.24 c 201s|980000 | 28356 | 2456k| 2.5 | 28M| 39 | - | 120 | 10k| 120 | 20 | 23 | 316k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
204.23/204.39 c 204s|990000 | 28017 | 2474k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 324k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
207.43/207.55 c 208s| 1000k| 27850 | 2493k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 332k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
210.42/210.52 c 211s| 1010k| 27977 | 2513k| 2.5 | 28M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 340k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
213.63/213.70 c 214s| 1020k| 27680 | 2532k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 348k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
216.64/216.79 c 217s| 1030k| 28011 | 2551k| 2.5 | 29M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 355k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
220.03/220.19 c 220s| 1040k| 27599 | 2570k| 2.5 | 28M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 363k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
223.43/223.56 c 224s| 1050k| 27089 | 2589k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 372k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
226.53/226.64 c 227s| 1060k| 26968 | 2608k| 2.5 | 28M| 39 | - | 120 | 13k| 120 | 20 | 23 | 379k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
230.12/230.20 c 230s| 1070k| 26286 | 2627k| 2.5 | 26M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 388k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
233.33/233.48 c 233s| 1080k| 26240 | 2647k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 395k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
236.43/236.57 c 237s| 1090k| 26444 | 2666k| 2.4 | 27M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 403k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
239.83/239.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.83/239.93 c 240s| 1100k| 25771 | 2685k| 2.4 | 26M| 39 | - | 120 | 12k| 120 | 20 | 23 | 411k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
242.83/242.94 c 243s| 1110k| 26200 | 2704k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 418k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
246.23/246.39 c 246s| 1120k| 25649 | 2722k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 426k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
249.82/249.93 c 250s| 1130k| 25156 | 2741k| 2.4 | 24M| 39 | - | 120 | 11k| 120 | 20 | 23 | 434k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
252.83/252.95 c 253s| 1140k| 25243 | 2760k| 2.4 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 441k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
255.82/255.98 c 256s| 1150k| 26235 | 2780k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 448k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
259.12/259.20 c 259s| 1160k| 26784 | 2800k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 456k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
262.22/262.39 c 262s| 1170k| 27070 | 2819k| 2.4 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 463k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
265.72/265.87 c 266s| 1180k| 26965 | 2837k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 470k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
269.12/269.23 c 269s| 1190k| 26964 | 2856k| 2.4 | 28M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 478k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
272.62/272.73 c 273s| 1200k| 26703 | 2875k| 2.4 | 28M| 39 | - | 120 | 14k| 120 | 20 | 23 | 486k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
276.02/276.16 c 276s| 1210k| 26450 | 2894k| 2.4 | 28M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 494k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
279.71/279.90 c 280s| 1220k| 25885 | 2912k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 502k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
283.92/284.02 c 284s| 1230k| 24665 | 2931k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 511k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
287.02/287.11 c 287s| 1240k| 24236 | 2950k| 2.4 | 22M| 39 | - | 120 |9392 | 120 | 20 | 23 | 519k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
289.81/289.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.81/289.91 c 290s| 1250k| 24877 | 2971k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 527k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
292.62/292.74 c 293s| 1260k| 25622 | 2991k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 534k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
295.92/296.02 c 296s| 1270k| 25612 | 3010k| 2.4 | 25M| 39 | - | 120 | 11k| 120 | 20 | 23 | 542k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
299.02/299.19 c 299s| 1280k| 25463 | 3029k| 2.4 | 25M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 550k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
302.32/302.44 c 302s| 1290k| 25058 | 3048k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 558k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
305.62/305.71 c 306s| 1300k| 24809 | 3066k| 2.4 | 25M| 39 | - | 120 | 12k| 0 | 0 | 23 | 566k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
308.92/309.04 c 309s| 1310k| 24659 | 3086k| 2.4 | 24M| 39 | - | 120 | 12k| 120 | 20 | 23 | 575k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
312.11/312.25 c 312s| 1320k| 24695 | 3106k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 583k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
315.51/315.61 c 316s| 1330k| 24270 | 3126k| 2.4 | 24M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 591k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
318.92/319.00 c 319s| 1340k| 24422 | 3145k| 2.3 | 25M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 599k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
322.51/322.68 c 323s| 1350k| 24639 | 3165k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 607k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
326.61/326.72 c 327s| 1360k| 24707 | 3183k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 615k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
331.01/331.17 c 331s| 1370k| 24652 | 3202k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 623k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
335.81/335.93 c 336s| 1380k| 24174 | 3222k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 632k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
339.10/339.20 c 339s| 1390k| 24307 | 3242k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 639k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
342.91/343.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.91/343.02 c 343s| 1400k| 24081 | 3262k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 648k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
346.71/346.82 c 347s| 1410k| 23679 | 3282k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 656k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
350.40/350.54 c 351s| 1420k| 23124 | 3302k| 2.3 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 665k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
353.81/353.92 c 354s| 1430k| 22895 | 3321k| 2.3 | 24M| 39 | - | 120 | 10k| 120 | 20 | 23 | 673k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
357.11/357.23 c 357s| 1440k| 22516 | 3341k| 2.3 | 23M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 681k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
360.30/360.47 c 360s| 1450k| 22180 | 3361k| 2.3 | 23M| 39 | - | 120 | 11k| 120 | 20 | 23 | 690k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
364.01/364.11 c 364s| 1460k| 21516 | 3379k| 2.3 | 21M| 39 | - | 120 |8776 | 120 | 20 | 23 | 698k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
367.60/367.73 c 368s| 1470k| 20660 | 3399k| 2.3 | 20M| 39 | - | 120 |8253 | 120 | 20 | 23 | 706k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
370.51/370.65 c 371s| 1480k| 21003 | 3419k| 2.3 | 21M| 39 | 5 | 120 |8777 | 120 | 20 | 23 | 714k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
373.30/373.45 c 373s| 1490k| 21108 | 3438k| 2.3 | 22M| 39 | - | 120 |9932 | 0 | 0 | 23 | 721k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
376.20/376.34 c 376s| 1500k| 21237 | 3457k| 2.3 | 22M| 39 | - | 120 |9807 | 120 | 20 | 23 | 729k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
379.10/379.25 c 379s| 1510k| 21123 | 3475k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 736k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
382.00/382.12 c 382s| 1520k| 21325 | 3494k| 2.3 | 23M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 744k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
385.00/385.17 c 385s| 1530k| 20968 | 3512k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 752k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
388.11/388.22 c 388s| 1540k| 20660 | 3530k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 761k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
390.80/390.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.80/390.99 c 391s| 1550k| 21933 | 3551k| 2.3 | 24M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 767k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
393.90/394.02 c 394s| 1560k| 22418 | 3570k| 2.3 | 25M| 39 | - | 120 | 13k| 120 | 20 | 23 | 774k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
397.10/397.24 c 397s| 1570k| 22558 | 3589k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 782k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
400.40/400.52 c 401s| 1580k| 22392 | 3608k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 789k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
403.61/403.74 c 404s| 1590k| 22476 | 3626k| 2.3 | 26M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 797k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
407.09/407.24 c 407s| 1600k| 21904 | 3645k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 805k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
410.20/410.34 c 410s| 1610k| 22710 | 3664k| 2.3 | 27M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 812k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
413.60/413.70 c 414s| 1620k| 22859 | 3682k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 819k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
416.81/416.93 c 417s| 1630k| 23351 | 3701k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 826k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
420.40/420.54 c 421s| 1640k| 23402 | 3719k| 2.3 | 28M| 39 | - | 120 | 16k| 120 | 20 | 23 | 833k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
424.29/424.41 c 424s| 1650k| 22633 | 3737k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 841k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
428.10/428.23 c 428s| 1660k| 22145 | 3755k| 2.3 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 849k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
431.40/431.59 c 432s| 1670k| 22431 | 3775k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 856k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
435.50/435.67 c 436s| 1680k| 21883 | 3794k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 864k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
440.09/440.22 c 440s| 1690k| 20549 | 3811k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 873k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
443.59/443.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.59/443.76 c 444s| 1700k| 20084 | 3831k| 2.3 | 21M| 39 | - | 120 | 11k| 120 | 20 | 23 | 881k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
447.19/447.35 c 447s| 1710k| 19815 | 3850k| 2.3 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 889k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
449.99/450.18 c 450s| 1720k| 20460 | 3870k| 2.3 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 896k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
452.89/453.08 c 453s| 1730k| 20386 | 3888k| 2.2 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 903k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
455.99/456.15 c 456s| 1740k| 19858 | 3905k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 910k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
459.09/459.28 c 459s| 1750k| 20139 | 3925k| 2.2 | 22M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 918k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
462.19/462.36 c 462s| 1760k| 20618 | 3944k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 925k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
465.59/465.72 c 466s| 1770k| 20340 | 3962k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 932k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
468.89/469.01 c 469s| 1780k| 20289 | 3982k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 940k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
472.69/472.85 c 473s| 1790k| 19632 | 4000k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 948k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
475.89/476.04 c 476s| 1800k| 19626 | 4018k| 2.2 | 21M| 39 | - | 120 | 13k| 0 | 0 | 23 | 956k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
479.79/479.94 c 480s| 1810k| 19289 | 4038k| 2.2 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 964k|9548 | 0.000000e+00 | 1.000000e+00 | Inf
483.29/483.46 c 483s| 1820k| 18683 | 4058k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 972k|9550 | 0.000000e+00 | 1.000000e+00 | Inf
486.49/486.68 c 487s| 1830k| 18624 | 4078k| 2.2 | 20M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 980k|9556 | 0.000000e+00 | 1.000000e+00 | Inf
490.28/490.46 c 490s| 1840k| 18189 | 4098k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 989k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
493.48/493.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.48/493.60 c 494s| 1850k| 18195 | 4118k| 2.2 | 20M| 39 | - | 120 | 15k| 120 | 20 | 23 | 997k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
497.48/497.60 c 498s| 1860k| 17553 | 4139k| 2.2 | 17M| 39 | - | 120 |9525 | 120 | 20 | 23 |1006k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
500.88/501.04 c 501s| 1870k| 16931 | 4159k| 2.2 | 17M| 39 | - | 120 | 10k| 120 | 20 | 23 |1014k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
504.48/504.61 c 505s| 1880k| 16133 | 4180k| 2.2 | 16M| 39 | - | 120 |9958 | 120 | 20 | 23 |1023k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
507.58/507.78 c 508s| 1890k| 15871 | 4200k| 2.2 | 16M| 39 | 5 | 120 | 11k| 120 | 20 | 23 |1031k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
510.68/510.86 c 511s| 1900k| 15977 | 4220k| 2.2 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 |1039k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
514.58/514.72 c 515s| 1910k| 15334 | 4241k| 2.2 | 15M| 39 | - | 120 | 11k| 120 | 20 | 23 |1049k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
517.68/517.82 c 518s| 1920k| 15199 | 4261k| 2.2 | 15M| 39 | 5 | 120 | 12k| 120 | 20 | 23 |1057k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
520.97/521.18 c 521s| 1930k| 15426 | 4282k| 2.2 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 |1065k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
524.88/525.06 c 525s| 1940k| 15446 | 4302k| 2.2 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1073k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
528.67/528.84 c 529s| 1950k| 15582 | 4323k| 2.2 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 |1081k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
532.29/532.42 c 532s| 1960k| 16015 | 4343k| 2.2 | 19M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1088k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
536.07/536.29 c 536s| 1970k| 16550 | 4363k| 2.2 | 19M| 39 | 5 | 120 | 16k| 120 | 20 | 23 |1096k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
539.89/540.02 c 540s| 1980k| 16879 | 4383k| 2.2 | 20M| 39 | - | 120 | 17k| 0 | 0 | 23 |1103k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
543.38/543.57 c 544s| 1990k| 17109 | 4403k| 2.2 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1111k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
547.27/547.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.27/547.41 c 547s| 2000k| 17632 | 4423k| 2.2 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1119k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
551.78/551.96 c 552s| 2010k| 17596 | 4443k| 2.2 | 23M| 39 | - | 120 | 19k| 120 | 20 | 23 |1127k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
556.27/556.49 c 556s| 2020k| 17412 | 4462k| 2.2 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 |1135k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
560.47/560.64 c 561s| 2030k| 17401 | 4483k| 2.2 | 23M| 39 | - | 120 | 20k| 0 | 0 | 23 |1143k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
565.18/565.36 c 565s| 2040k| 17072 | 4502k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1151k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
569.27/569.46 c 569s| 2050k| 16967 | 4523k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1160k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
573.17/573.36 c 573s| 2060k| 17286 | 4543k| 2.2 | 23M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1168k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
577.57/577.73 c 578s| 2070k| 17115 | 4563k| 2.2 | 23M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1177k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
581.78/581.99 c 582s| 2080k| 17358 | 4584k| 2.2 | 24M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1184k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
586.87/587.05 c 587s| 2090k| 17283 | 4604k| 2.2 | 24M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1192k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
591.67/591.85 c 592s| 2100k| 17623 | 4625k| 2.2 | 26M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1200k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
596.97/597.15 c 597s| 2110k| 17327 | 4645k| 2.2 | 25M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1208k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
604.17/604.31 c 604s| 2120k| 15185 | 4664k| 2.2 | 17M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1218k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
607.56/607.72 c 608s| 2130k| 15504 | 4684k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1225k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
611.56/611.71 c 612s| 2140k| 15482 | 4704k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1233k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
615.77/615.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.77/615.93 c 616s| 2150k| 15203 | 4724k| 2.2 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1241k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
619.76/619.93 c 620s| 2160k| 14993 | 4743k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1249k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
623.36/623.51 c 624s| 2170k| 15125 | 4764k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1257k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
626.87/627.05 c 627s| 2180k| 15246 | 4784k| 2.2 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1265k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
631.27/631.48 c 631s| 2190k| 15112 | 4804k| 2.2 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1274k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
635.67/635.88 c 636s| 2200k| 15230 | 4824k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1282k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
640.76/640.97 c 641s| 2210k| 14926 | 4843k| 2.2 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1290k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
645.05/645.24 c 645s| 2220k| 15686 | 4864k| 2.2 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1297k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
649.96/650.11 c 650s| 2230k| 15597 | 4883k| 2.2 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1304k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
654.45/654.65 c 655s| 2240k| 15944 | 4904k| 2.2 | 22M| 39 | - | 120 | 23k| 120 | 20 | 23 |1311k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
659.46/659.66 c 660s| 2250k| 16057 | 4923k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1318k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
664.66/664.84 c 665s| 2260k| 15869 | 4942k| 2.2 | 22M| 39 | - | 120 | 22k| 120 | 20 | 23 |1325k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
669.56/669.75 c 670s| 2270k| 15906 | 4962k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1332k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
675.26/675.45 c 675s| 2280k| 15071 | 4981k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1340k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
680.15/680.37 c 680s| 2290k| 15258 | 5002k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1348k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
685.65/685.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.65/685.89 c 686s| 2300k| 15224 | 5022k| 2.2 | 21M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1356k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
691.15/691.38 c 691s| 2310k| 15441 | 5043k| 2.2 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1365k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
697.85/698.05 c 698s| 2320k| 15215 | 5063k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1374k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
702.95/703.14 c 703s| 2330k| 15538 | 5084k| 2.2 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1381k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
707.55/707.75 c 708s| 2340k| 15482 | 5103k| 2.2 | 21M| 39 | - | 120 | 23k| 120 | 20 | 23 |1389k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
712.25/712.41 c 712s| 2350k| 15578 | 5124k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1397k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
717.25/717.48 c 717s| 2360k| 15575 | 5144k| 2.2 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1405k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
722.84/723.08 c 723s| 2370k| 15405 | 5164k| 2.2 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1413k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
727.95/728.16 c 728s| 2380k| 15486 | 5184k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1421k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
733.64/733.84 c 734s| 2390k| 15505 | 5205k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1429k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
739.34/739.56 c 740s| 2400k| 15126 | 5224k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1436k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
744.24/744.46 c 744s| 2410k| 15127 | 5245k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1444k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
749.34/749.51 c 750s| 2420k| 15850 | 5266k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1452k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
754.54/754.73 c 755s| 2430k| 16441 | 5287k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1459k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
760.23/760.41 c 760s| 2440k| 16729 | 5307k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1467k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
765.83/766.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.83/766.09 c 766s| 2450k| 16561 | 5326k| 2.2 | 24M| 39 | - | 120 | 26k| 0 | 0 | 23 |1475k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
771.24/771.45 c 771s| 2460k| 16812 | 5347k| 2.2 | 25M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1483k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
776.93/777.10 c 777s| 2470k| 16938 | 5367k| 2.2 | 26M| 39 | - | 120 | 28k| 120 | 20 | 23 |1490k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
784.43/784.67 c 785s| 2480k| 15802 | 5387k| 2.2 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1499k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
789.84/790.02 c 790s| 2490k| 16321 | 5408k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1507k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
795.33/795.57 c 796s| 2500k| 16445 | 5428k| 2.2 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1515k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
803.13/803.32 c 803s| 2510k| 14970 | 5448k| 2.2 | 20M| 39 | - | 120 | 23k| 120 | 20 | 23 |1524k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
807.43/807.60 c 808s| 2520k| 15156 | 5468k| 2.2 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1532k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
811.64/811.88 c 812s| 2530k| 15449 | 5488k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1539k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
816.23/816.44 c 816s| 2540k| 15991 | 5507k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1546k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
821.23/821.43 c 821s| 2550k| 16005 | 5527k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1553k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
826.13/826.37 c 826s| 2560k| 16093 | 5547k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1561k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
831.53/831.72 c 832s| 2570k| 16097 | 5566k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1568k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
837.42/837.63 c 838s| 2580k| 15445 | 5584k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1576k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
842.22/842.50 c 842s| 2590k| 15544 | 5603k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1583k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
847.13/847.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.13/847.31 c 847s| 2600k| 15890 | 5622k| 2.2 | 25M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1590k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
853.73/853.97 c 854s| 2610k| 15680 | 5643k| 2.2 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1598k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
858.62/858.83 c 859s| 2620k| 17391 | 5665k| 2.2 | 23M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1605k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
863.72/863.98 c 864s| 2630k| 18471 | 5686k| 2.2 | 25M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1612k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
868.92/869.11 c 869s| 2640k| 19643 | 5707k| 2.2 | 26M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1618k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
874.52/874.71 c 875s| 2650k| 20418 | 5728k| 2.2 | 27M| 39 | - | 120 | 26k| 120 | 20 | 23 |1626k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
879.72/879.97 c 880s| 2660k| 21268 | 5749k| 2.2 | 28M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1633k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
885.02/885.20 c 885s| 2670k| 22046 | 5770k| 2.2 | 30M| 39 | - | 120 | 27k| 120 | 20 | 23 |1640k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
890.21/890.45 c 890s| 2680k| 22794 | 5790k| 2.2 | 31M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1647k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
896.62/896.82 c 897s| 2690k| 22972 | 5809k| 2.2 | 31M| 39 | - | 120 | 26k| 120 | 20 | 23 |1655k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
902.32/902.54 c 903s| 2700k| 23350 | 5829k| 2.2 | 32M| 39 | - | 120 | 27k| 120 | 20 | 23 |1662k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
908.52/908.76 c 909s| 2710k| 23427 | 5848k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1669k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
914.72/914.94 c 915s| 2720k| 23740 | 5868k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1677k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
919.71/919.94 c 920s| 2730k| 24525 | 5889k| 2.2 | 35M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1684k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
925.92/926.10 c 926s| 2740k| 25004 | 5909k| 2.2 | 36M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1692k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
932.01/932.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.01/932.21 c 932s| 2750k| 25608 | 5930k| 2.2 | 37M| 39 | - | 120 | 30k| 120 | 20 | 23 |1699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
938.81/939.02 c 939s| 2760k| 25753 | 5949k| 2.2 | 37M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1707k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
945.31/945.51 c 946s| 2770k| 25821 | 5968k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
952.01/952.26 c 952s| 2780k| 25716 | 5988k| 2.2 | 38M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1722k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
958.70/958.90 c 959s| 2790k| 25658 | 6008k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1730k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
965.21/965.47 c 965s| 2800k| 26241 | 6029k| 2.2 | 39M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1738k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
970.80/971.04 c 971s| 2810k| 26900 | 6050k| 2.2 | 41M| 39 | - | 120 | 30k| 120 | 20 | 23 |1745k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
977.30/977.56 c 978s| 2820k| 26843 | 6070k| 2.2 | 41M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1753k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
984.31/984.57 c 985s| 2830k| 27565 | 6091k| 2.2 | 41M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1761k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
990.00/990.22 c 990s| 2840k| 28531 | 6111k| 2.2 | 43M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
995.80/996.04 c 996s| 2850k| 29152 | 6131k| 2.2 | 44M| 39 | - | 120 | 30k| 120 | 20 | 23 |1775k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1002.10/1002.38 c 1002s| 2860k| 29482 | 6151k| 2.2 | 45M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1782k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1008.51/1008.77 c 1009s| 2870k| 30040 | 6170k| 2.2 | 46M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1789k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1014.90/1015.11 c 1015s| 2880k| 31868 | 6192k| 2.2 | 47M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1796k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1021.99/1022.21 c 1022s| 2890k| 32675 | 6214k| 2.2 | 49M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1803k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1028.69/1028.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.69/1028.94 c 1029s| 2900k| 33807 | 6234k| 2.1 | 50M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1809k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1036.19/1036.47 c 1036s| 2910k| 34242 | 6254k| 2.1 | 51M| 39 | - | 120 | 32k| 120 | 20 | 23 |1816k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1043.70/1043.99 c 1044s| 2920k| 34368 | 6273k| 2.1 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1824k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1050.89/1051.14 c 1051s| 2930k| 34414 | 6292k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1831k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1057.78/1058.01 c 1058s| 2940k| 34556 | 6312k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1838k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1064.59/1064.87 c 1065s| 2950k| 34380 | 6331k| 2.1 | 52M| 39 | - | 120 | 31k| 120 | 20 | 23 |1846k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1071.28/1071.58 c 1072s| 2960k| 34315 | 6351k| 2.1 | 53M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1854k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1077.78/1078.05 c 1078s| 2970k| 34467 | 6370k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1862k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1085.07/1085.35 c 1085s| 2980k| 34093 | 6389k| 2.1 | 53M| 39 | - | 120 | 30k| 120 | 20 | 23 |1870k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1091.77/1092.05 c 1092s| 2990k| 34324 | 6409k| 2.1 | 53M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1877k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1097.48/1097.78 c 1098s| 3000k| 35088 | 6429k| 2.1 | 54M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1884k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1103.36/1103.68 c 1104s| 3010k| 35403 | 6449k| 2.1 | 55M| 39 | - | 120 | 31k| 0 | 0 | 23 |1892k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1109.57/1109.90 c 1110s| 3020k| 35332 | 6469k| 2.1 | 56M| 39 | - | 120 | 31k| 120 | 20 | 23 |1900k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1115.96/1116.25 c 1116s| 3030k| 35445 | 6489k| 2.1 | 56M| 39 | - | 120 | 31k| 0 | 0 | 23 |1907k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1122.27/1122.53 c 1123s| 3040k| 35597 | 6509k| 2.1 | 57M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1915k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1128.47/1128.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.47/1128.77 c 1129s| 3050k| 36317 | 6529k| 2.1 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1922k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1135.36/1135.65 c 1136s| 3060k| 36215 | 6548k| 2.1 | 58M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1929k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1142.16/1142.43 c 1142s| 3070k| 36113 | 6567k| 2.1 | 58M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1937k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1147.86/1148.12 c 1148s| 3080k| 36950 | 6588k| 2.1 | 59M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1944k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1153.86/1154.18 c 1154s| 3090k| 37421 | 6608k| 2.1 | 61M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1952k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1160.95/1161.26 c 1161s| 3100k| 38051 | 6629k| 2.1 | 62M| 39 | - | 120 | 34k| 120 | 20 | 23 |1959k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1167.55/1167.81 c 1168s| 3110k| 38643 | 6648k| 2.1 | 63M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1966k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1174.85/1175.16 c 1175s| 3120k| 38941 | 6668k| 2.1 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1974k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1181.85/1182.10 c 1182s| 3130k| 39353 | 6688k| 2.1 | 64M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1982k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1188.36/1188.64 c 1189s| 3140k| 39571 | 6708k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |1989k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1196.15/1196.45 c 1196s| 3150k| 39273 | 6727k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1997k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1203.65/1203.90 c 1204s| 3160k| 39159 | 6747k| 2.1 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2006k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1209.55/1209.87 c 1210s| 3170k| 39396 | 6767k| 2.1 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |2013k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1215.75/1216.08 c 1216s| 3180k| 39520 | 6787k| 2.1 | 66M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2021k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1223.25/1223.53 c 1224s| 3190k| 39329 | 6806k| 2.1 | 66M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2029k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1232.35/1232.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.35/1232.64 c 1233s| 3200k| 38577 | 6825k| 2.1 | 65M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |2037k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1238.85/1239.17 c 1239s| 3210k| 38682 | 6845k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2045k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1246.14/1246.49 c 1246s| 3220k| 38380 | 6865k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2053k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1254.14/1254.47 c 1254s| 3230k| 37839 | 6884k| 2.1 | 65M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2061k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1260.84/1261.17 c 1261s| 3240k| 38232 | 6904k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2069k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1266.85/1267.18 c 1267s| 3250k| 39056 | 6924k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2076k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1273.34/1273.63 c 1274s| 3260k| 39379 | 6944k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2083k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1279.94/1280.25 c 1280s| 3270k| 39306 | 6963k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2091k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1289.34/1289.60 c 1290s| 3280k| 38215 | 6982k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2099k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1296.14/1296.49 c 1296s| 3290k| 38290 | 7001k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2107k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1303.24/1303.53 c 1304s| 3300k| 38172 | 7020k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2115k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1309.54/1309.86 c 1310s| 3310k| 38248 | 7040k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2123k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1317.83/1318.16 c 1318s| 3320k| 37829 | 7060k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2131k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1324.33/1324.67 c 1325s| 3330k| 37828 | 7080k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2139k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1330.64/1330.97 c 1331s| 3340k| 37860 | 7100k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2147k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1337.04/1337.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.04/1337.39 c 1337s| 3350k| 38161 | 7120k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2154k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1343.84/1344.20 c 1344s| 3360k| 38295 | 7140k| 2.1 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2162k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1352.83/1353.19 c 1353s| 3370k| 37599 | 7158k| 2.1 | 68M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2171k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1360.93/1361.20 c 1361s| 3380k| 37067 | 7178k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2179k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1367.93/1368.29 c 1368s| 3390k| 36987 | 7198k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2187k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1374.82/1375.15 c 1375s| 3400k| 36715 | 7217k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2195k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1382.62/1382.94 c 1383s| 3410k| 36238 | 7237k| 2.1 | 67M| 39 | - | 120 | 31k| 0 | 0 | 23 |2204k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1389.03/1389.39 c 1389s| 3420k| 37550 | 7259k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2211k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1395.63/1395.93 c 1396s| 3430k| 38224 | 7280k| 2.1 | 70M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2218k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1402.72/1403.07 c 1403s| 3440k| 38369 | 7300k| 2.1 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |2226k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1409.32/1409.63 c 1410s| 3450k| 38581 | 7321k| 2.1 | 71M| 39 | - | 120 | 33k| 0 | 0 | 23 |2234k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1416.01/1416.31 c 1416s| 3460k| 38809 | 7341k| 2.1 | 71M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2241k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1422.82/1423.14 c 1423s| 3470k| 38885 | 7361k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2249k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1430.01/1430.30 c 1430s| 3480k| 38603 | 7382k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2258k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1436.51/1436.84 c 1437s| 3490k| 38583 | 7401k| 2.1 | 73M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2266k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1443.51/1443.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.51/1443.84 c 1444s| 3500k| 38394 | 7421k| 2.1 | 72M| 39 | - | 120 | 34k| 120 | 20 | 23 |2274k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1450.62/1450.99 c 1451s| 3510k| 38177 | 7440k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2282k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1461.51/1461.83 c 1462s| 3520k| 36691 | 7459k| 2.1 | 69M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2291k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1469.51/1469.84 c 1470s| 3530k| 36151 | 7478k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2299k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1478.91/1479.29 c 1479s| 3540k| 35440 | 7498k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2307k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1487.10/1487.46 c 1487s| 3550k| 34838 | 7517k| 2.1 | 66M| 39 | - | 120 | 30k| 0 | 0 | 23 |2315k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1494.11/1494.42 c 1494s| 3560k| 34863 | 7537k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2323k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1501.80/1502.18 c 1502s| 3570k| 34943 | 7557k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2331k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1508.30/1508.65 c 1509s| 3580k| 35171 | 7577k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2339k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1514.80/1515.17 c 1515s| 3590k| 35070 | 7597k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2346k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1521.80/1522.11 c 1522s| 3600k| 35055 | 7616k| 2.1 | 68M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2354k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1529.71/1530.08 c 1530s| 3610k| 34512 | 7635k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2362k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1537.60/1537.92 c 1538s| 3620k| 34166 | 7655k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2370k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1547.40/1547.76 c 1548s| 3630k| 33175 | 7675k| 2.1 | 64M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2379k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1555.20/1555.52 c 1556s| 3640k| 32909 | 7695k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2387k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1561.80/1562.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.80/1562.14 c 1562s| 3650k| 33943 | 7717k| 2.1 | 66M| 39 | - | 120 | 34k| 120 | 20 | 23 |2394k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1568.49/1568.83 c 1569s| 3660k| 34856 | 7737k| 2.1 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2401k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1575.09/1575.49 c 1575s| 3670k| 35476 | 7757k| 2.1 | 68M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1582.58/1582.92 c 1583s| 3680k| 35624 | 7776k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2416k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1589.58/1589.98 c 1590s| 3690k| 35591 | 7796k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2424k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1596.68/1597.08 c 1597s| 3700k| 35251 | 7815k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2432k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1604.07/1604.42 c 1604s| 3710k| 34942 | 7835k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2440k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1612.88/1613.25 c 1613s| 3720k| 33881 | 7854k| 2.1 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2448k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1620.98/1621.38 c 1621s| 3730k| 33266 | 7873k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2457k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1629.78/1630.19 c 1630s| 3740k| 32941 | 7894k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |2465k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1636.48/1636.83 c 1637s| 3750k| 33205 | 7914k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2473k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1643.67/1644.03 c 1644s| 3760k| 33377 | 7934k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2481k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1650.97/1651.34 c 1651s| 3770k| 33428 | 7955k| 2.1 | 68M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2489k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1659.36/1659.79 c 1660s| 3780k| 32936 | 7975k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2497k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1667.18/1667.56 c 1668s| 3790k| 33144 | 7995k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2505k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1673.87/1674.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.87/1674.25 c 1674s| 3800k| 33296 | 8014k| 2.1 | 67M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2513k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1682.17/1682.52 c 1683s| 3810k| 32470 | 8032k| 2.1 | 65M| 39 | - | 120 | 34k| 120 | 20 | 23 |2522k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1690.66/1691.04 c 1691s| 3820k| 32635 | 8052k| 2.1 | 65M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2529k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1697.66/1698.05 c 1698s| 3830k| 32905 | 8071k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2536k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1706.86/1707.27 c 1707s| 3840k| 31909 | 8089k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2544k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1715.76/1716.18 c 1716s| 3850k| 31663 | 8109k| 2.1 | 63M| 39 | - | 120 | 32k| 120 | 20 | 23 |2552k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1721.56/1721.99 c 1722s| 3860k| 32053 | 8130k| 2.1 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2560k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1729.25/1729.69 c 1730s| 3870k| 31159 | 8148k| 2.1 | 63M| 39 | - | 120 | 33k| 120 | 20 | 23 |2569k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1738.05/1738.43 c 1738s| 3880k| 30874 | 8169k| 2.1 | 62M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2577k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1744.45/1744.83 c 1745s| 3890k| 31061 | 8190k| 2.1 | 63M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2585k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1750.55/1750.98 c 1751s| 3900k| 31949 | 8209k| 2.1 | 64M| 39 | - | 120 | 35k| 120 | 20 | 23 |2592k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1757.15/1757.59 c 1758s| 3910k| 31945 | 8228k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |2599k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1764.55/1764.97 c 1765s| 3920k| 31421 | 8248k| 2.1 | 64M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2608k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1774.85/1775.22 c 1775s| 3930k| 30027 | 8267k| 2.1 | 61M| 39 | - | 120 | 33k| 120 | 20 | 23 |2617k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1783.15/1783.53 c 1784s| 3940k| 29631 | 8286k| 2.1 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2625k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1789.84/1790.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.84/1790.21 c 1790s| 3950k| 29714 | 8307k| 2.1 | 61M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2634k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1796.64/1797.00 c
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Solving Time (sec) : 1797.00
1796.64/1797.00 c Solving Nodes : 3958853
1796.64/1797.00 c Primal Bound : +1.00000000000000e+00 (39 solutions)
1796.64/1797.00 c Dual Bound : +0.00000000000000e+00
1796.64/1797.00 c Gap : infinite
1796.64/1797.00 s SATISFIABLE
1796.64/1797.00 v x90 -x120 -x119 x118 -x117 -x116 -x115 x114 x113 x112 -x111 -x110 x109 x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98
1796.64/1797.00 v x97 x96 -x95 x94 x93 -x92 x91 x89 x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1796.64/1797.00 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1796.64/1797.00 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1796.64/1797.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Total Time : 1797.00
1796.64/1797.00 c solving : 1797.00
1796.64/1797.00 c presolving : 0.00 (included in solving)
1796.64/1797.00 c reading : 0.00 (included in solving)
1796.64/1797.00 c Original Problem :
1796.64/1797.01 c Problem name : HOME/instance-3734945-1338715522.opb
1796.64/1797.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 10 initial, 10 maximal
1796.64/1797.01 c Presolved Problem :
1796.64/1797.01 c Problem name : t_HOME/instance-3734945-1338715522.opb
1796.64/1797.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 5 initial, 37646 maximal
1796.64/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.64/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c linear : 0.00 0 0 0 0 0 5 0 0 0
1796.64/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c root node : - 80 - - 80 - - - - -
1796.64/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c integral : 0 0 0 2159305 0 26 0 225 4576 0 0 4309038
1796.64/1797.01 c linear : 5+ 7 9903451 2 0 23 4402301 681214 4750155 0 0 0
1796.64/1797.01 c logicor : 0+ 0 5354576 0 0 0 4950512 44730 2539499 0 0 0
1796.64/1797.01 c countsols : 0 0 0 19 0 22 0 0 0 0 0 0
1796.64/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.64/1797.01 c integral : 17.33 0.00 0.00 17.33 0.00 0.00 0.00
1796.64/1797.01 c linear : 123.73 0.00 110.72 0.00 0.00 0.00 13.02
1796.64/1797.01 c logicor : 556.64 0.00 547.75 0.00 0.00 0.00 8.89
1796.64/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.64/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.64/1797.01 c vbounds : 0 0 0 0
1796.64/1797.01 c rootredcost : 32 0 0 80
1796.64/1797.01 c pseudoobj : 9905164 7912 1892 49129
1796.64/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.64/1797.01 c vbounds : 6.85 6.85 0.00
1796.64/1797.01 c rootredcost : 6.79 6.79 0.00
1796.64/1797.01 c pseudoobj : 22.92 22.91 0.01
1796.64/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.64/1797.01 c propagation : 29.23 727836 538978 1510012 29.4 408 25.1 -
1796.64/1797.01 c infeasible LP : 39.43 1214598 1214571 2447470 20.0 18802 24.0 0
1796.64/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.64/1797.01 c applied globally : - - - 2512707 20.2 - - -
1796.64/1797.01 c applied locally : - - - 128962 33.0 - - -
1796.64/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.64/1797.01 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1796.64/1797.01 c redcost : 7.91 2240161 0 1537992 0 0
1796.64/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1796.64/1797.01 c intobj : 0.00 0 0 0 0 0
1796.64/1797.01 c gomory : 0.00 6 0 0 1 0
1796.64/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.64/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.64/1797.01 c strongcg : 0.00 6 0 0 12 0
1796.64/1797.01 c cmir : 0.01 6 0 0 39 0
1796.64/1797.01 c flowcover : 0.01 6 0 0 54 0
1796.64/1797.01 c clique : 0.00 1 0 0 0 0
1796.64/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.64/1797.01 c mcf : 0.00 1 0 0 0 0
1796.64/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.64/1797.01 c rapidlearning : 0.02 1 0 0 0 2
1796.64/1797.01 c Pricers : Time Calls Vars
1796.64/1797.01 c problem variables: 0.00 0 0
1796.64/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c relpscost : 12.99 2159286 225 4576 0 0 4309038
1796.64/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.64/1797.01 c inference : 0.00 0 0 0 0 0 0
1796.64/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.64/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.64/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.01 c random : 0.00 0 0 0 0 0 0
1796.64/1797.01 c Primal Heuristics : Time Calls Found
1796.64/1797.01 c LP solutions : 0.01 - 19
1796.64/1797.01 c pseudo solutions : 0.00 - 0
1796.64/1797.01 c oneopt : 3.30 31 0
1796.64/1797.01 c crossover : 5.40 7 0
1796.64/1797.01 c fracdiving : 5.52 6093 5
1796.64/1797.01 c veclendiving : 6.12 6093 1
1796.64/1797.01 c guideddiving : 5.36 6093 0
1796.64/1797.01 c rootsoldiving : 3.19 3047 1
1796.64/1797.01 c objpscostdiving : 1.84 3047 1
1796.64/1797.01 c linesearchdiving : 5.48 6094 1
1796.64/1797.01 c coefdiving : 5.97 6094 1
1796.64/1797.01 c pscostdiving : 5.57 6094 3
1796.64/1797.01 c trivial : 0.00 2 0
1796.64/1797.01 c shiftandpropagate: 0.00 1 1
1796.64/1797.01 c simplerounding : 2.91 0 0
1796.64/1797.01 c zirounding : 8.93 0 0
1796.64/1797.01 c rounding : 2.14 21121 0
1796.64/1797.01 c shifting : 8.56 27646 5
1796.64/1797.01 c intshifting : 0.33 0 0
1796.64/1797.01 c twoopt : 0.00 0 0
1796.64/1797.01 c fixandinfer : 0.00 0 0
1796.64/1797.01 c feaspump : 0.22 1 0
1796.64/1797.01 c clique : 0.00 0 0
1796.64/1797.01 c intdiving : 0.00 0 0
1796.64/1797.01 c actconsdiving : 0.00 0 0
1796.64/1797.01 c octane : 0.00 0 0
1796.64/1797.01 c rens : 0.05 1 0
1796.64/1797.01 c rins : 0.00 0 0
1796.64/1797.01 c localbranching : 0.00 0 0
1796.64/1797.01 c mutation : 0.00 0 0
1796.64/1797.01 c dins : 0.00 0 0
1796.64/1797.01 c vbounds : 0.00 0 0
1796.64/1797.01 c undercover : 0.00 0 0
1796.64/1797.01 c subnlp : 2.80 0 0
1796.64/1797.01 c trysol : 4.48 0 0
1796.64/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.64/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.64/1797.01 c dual LP : 195.75 3458240 7980631 2.31 40768.51
1796.64/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.64/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.64/1797.01 c diving/probing LP: 9.72 177416 343840 1.94 35378.56
1796.64/1797.01 c strong branching : 0.91 9590 32043 3.34 35074.07
1796.64/1797.01 c (at root node) : - 11 630 57.27 -
1796.64/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.64/1797.01 c B&B Tree :
1796.64/1797.01 c number of runs : 1
1796.64/1797.01 c nodes : 3958853
1796.64/1797.01 c nodes (total) : 3958853
1796.64/1797.01 c nodes left : 29380
1796.64/1797.01 c max depth : 39
1796.64/1797.01 c max depth (total): 39
1796.64/1797.01 c backtracks : 1207772 (30.5%)
1796.64/1797.01 c delayed cutoffs : 316187
1796.64/1797.01 c repropagations : 3203903 (3551925 domain reductions, 254046 cutoffs)
1796.64/1797.01 c avg switch length: 5.54
1796.64/1797.01 c switching time : 437.60
1796.64/1797.01 c Solution :
1796.64/1797.01 c Solutions found : 39 (33 improvements)
1796.64/1797.01 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1796.64/1797.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 666669 nodes, 110.16 seconds, depth 34, found by <relaxation>)
1796.64/1797.01 c Dual Bound : +0.00000000000000e+00
1796.64/1797.01 c Gap : infinite
1796.64/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.64/1797.01 c Root Iterations : 61
1796.74/1797.19 c Time complete: 1796.84.
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734945-1338715522/watcher-3734945-1338715522 -o /tmp/evaluation-result-3734945-1338715522/solver-3734945-1338715522 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734945-1338715522.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12387 /proc/meminfo: memFree=28599240/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=7628 CPUtime=0 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 856 0 0 0 0 0 0 0 20 0 1 0 337676597 7811072 811 33554432000 4194304 9016284 140734489883808 140734984319704 7870589 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 1907 818 189 1178 0 725 0 [startup+0.041697 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12387 /proc/meminfo: memFree=28599240/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=26668 CPUtime=0.02 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 6270 0 0 0 2 0 0 0 20 0 1 0 337676597 27308032 5262 33554432000 4194304 9016284 140734489883808 140734984319704 7928192 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 6667 5262 667 1178 0 5485 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 26668 [startup+0.100356 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12387 /proc/meminfo: memFree=28599240/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=30444 CPUtime=0.09 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 7156 0 0 0 8 1 0 0 20 0 1 0 337676597 31174656 6148 33554432000 4194304 9016284 140734489883808 140734984319704 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 7611 6148 681 1178 0 6429 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30444 [startup+0.300291 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12387 /proc/meminfo: memFree=28599240/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=26748 CPUtime=0.28 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 7160 0 0 0 27 1 0 0 20 0 1 0 337676597 27389952 5665 33554432000 4194304 9016284 140734489883808 140734984319704 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 6687 5665 685 1178 0 5505 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 26748 [startup+0.700259 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12387 /proc/meminfo: memFree=28599240/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=26748 CPUtime=0.68 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 7164 0 0 0 66 2 0 0 20 0 1 0 337676597 27389952 5669 33554432000 4194304 9016284 140734489883808 140734984319704 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 6687 5669 685 1178 0 5505 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26748 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28576928/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=27772 CPUtime=1.49 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 7396 0 0 0 146 3 0 0 20 0 1 0 337676597 28438528 5901 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 6943 5901 685 1178 0 5761 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27772 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28573060/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=29096 CPUtime=3.08 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 9197 0 0 0 299 9 0 0 20 0 1 0 337676597 29794304 6254 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/12387/statm: 7274 6254 685 1178 0 6092 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29096 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28561404/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=26748 CPUtime=6.28 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 13498 0 0 0 607 21 0 0 20 0 1 0 337676597 27389952 5710 33554432000 4194304 9016284 140734489883808 140734489878920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 6687 5710 686 1178 0 5505 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26748 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28561456/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=28404 CPUtime=12.68 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 29534 0 0 0 1221 47 0 0 20 0 1 0 337676597 29085696 6039 33554432000 4194304 9016284 140734489883808 140734489878920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 7101 6039 688 1178 0 5919 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28404 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28545948/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=30408 CPUtime=25.48 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 33569 0 0 0 2455 93 0 0 20 0 1 0 337676597 31137792 6560 33554432000 4194304 9016284 140734489883808 140734489877976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 7602 6560 688 1178 0 6420 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30408 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28505616/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=35908 CPUtime=51.07 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 48136 0 0 0 4922 185 0 0 20 0 1 0 337676597 36769792 7974 33554432000 4194304 9016284 140734489883808 140734489877672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 8977 7974 688 1178 0 7795 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35908 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12388 /proc/meminfo: memFree=28446124/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=46584 CPUtime=102.27 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 59346 0 0 0 9876 351 0 0 20 0 1 0 337676597 47702016 10689 33554432000 4194304 9016284 140734489883808 140734489878920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 11646 10689 688 1178 0 10464 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46584 [startup+162.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12388 /proc/meminfo: memFree=28379656/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=53580 CPUtime=162.25 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 96402 0 0 0 15736 489 0 0 20 0 1 0 337676597 54865920 12311 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 13395 12311 688 1178 0 12213 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 53580 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12388 /proc/meminfo: memFree=28311224/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=58664 CPUtime=222.22 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 101408 0 0 0 21630 592 0 0 20 0 1 0 337676597 60071936 13905 33554432000 4194304 9016284 140734489883808 140734489878136 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 14666 13905 688 1178 0 13484 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 58664 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12391 /proc/meminfo: memFree=28251200/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=59928 CPUtime=282.21 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 106024 0 0 0 27539 682 0 0 20 0 1 0 337676597 61366272 14176 33554432000 4194304 9016284 140734489883808 140734489878136 4941552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 14982 14176 688 1178 0 13800 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59928 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12392 /proc/meminfo: memFree=28182388/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=62004 CPUtime=342.21 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 106513 0 0 0 33443 778 0 0 20 0 1 0 337676597 63492096 14665 33554432000 4194304 9016284 140734489883808 140734489878136 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 15501 14665 688 1178 0 14319 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 62004 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12392 /proc/meminfo: memFree=28130432/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=62976 CPUtime=402.2 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 110713 0 0 0 39340 880 0 0 20 0 1 0 337676597 64487424 14788 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 15744 14788 688 1178 0 14562 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 62976 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12392 /proc/meminfo: memFree=28074880/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=64064 CPUtime=462.19 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 110992 0 0 0 45247 972 0 0 20 0 1 0 337676597 65601536 15067 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 16016 15067 688 1178 0 14834 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 64064 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12392 /proc/meminfo: memFree=28019816/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=64456 CPUtime=522.18 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 111057 0 0 0 51156 1062 0 0 20 0 1 0 337676597 66002944 15132 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 16114 15132 688 1178 0 14932 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 64456 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12393 /proc/meminfo: memFree=27957136/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=64760 CPUtime=582.17 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 111104 0 0 0 57083 1134 0 0 20 0 1 0 337676597 66314240 15179 33554432000 4194304 9016284 140734489883808 140734489878920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 16190 15179 688 1178 0 15008 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 64760 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27497984/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=88952 CPUtime=1062.08 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 124319 0 0 0 104624 1584 0 0 20 0 1 0 337676597 91086848 21546 33554432000 4194304 9016284 140734489883808 140734489877960 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 22238 21546 688 1178 0 21056 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 88952 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12398 /proc/meminfo: memFree=27444640/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=93300 CPUtime=1122.07 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 125412 0 0 0 110572 1635 0 0 20 0 1 0 337676597 95539200 22657 33554432000 4194304 9016284 140734489883808 140734489878136 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 23325 22657 688 1178 0 22143 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 93300 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12398 /proc/meminfo: memFree=27388964/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=99848 CPUtime=1182.05 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 126988 0 0 0 116523 1682 0 0 20 0 1 0 337676597 102244352 24233 33554432000 4194304 9016284 140734489883808 140734489878920 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 24962 24233 688 1178 0 23780 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 99848 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12399 /proc/meminfo: memFree=27332916/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=104052 CPUtime=1242.04 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 128081 0 0 0 122476 1728 0 0 20 0 1 0 337676597 106549248 25326 33554432000 4194304 9016284 140734489883808 140734489877768 4349788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 26013 25326 688 1178 0 24831 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 104052 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12399 /proc/meminfo: memFree=27277984/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=105016 CPUtime=1302.05 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 128329 0 0 0 128431 1774 0 0 20 0 1 0 337676597 107536384 25574 33554432000 4194304 9016284 140734489883808 140734489878136 4341541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 26254 25574 688 1178 0 25072 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 105016 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12399 /proc/meminfo: memFree=27227268/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=107696 CPUtime=1362.03 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129023 0 0 0 134384 1819 0 0 20 0 1 0 337676597 110280704 26268 33554432000 4194304 9016284 140734489883808 140734489878040 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 26924 26268 688 1178 0 25742 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 107696 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12399 /proc/meminfo: memFree=27172952/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1422.03 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129335 0 0 0 140333 1870 0 0 20 0 1 0 337676597 111685632 26580 33554432000 4194304 9016284 140734489883808 140734489878136 5325523 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26580 688 1178 0 26085 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 109068 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12402 /proc/meminfo: memFree=27127064/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1482.01 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129339 0 0 0 146291 1910 0 0 20 0 1 0 337676597 111685632 26584 33554432000 4194304 9016284 140734489883808 140734489878136 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26584 688 1178 0 26085 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 109068 [startup+1542.3 s] /proc/loadavg: 1.94 1.98 1.99 3/177 12442 /proc/meminfo: memFree=28833264/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1542 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129339 0 0 0 152248 1952 0 0 20 0 1 0 337676597 111685632 26584 33554432000 4194304 9016284 140734489883808 140734489878136 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26584 688 1178 0 26085 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 109068 [startup+1602.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 12442 /proc/meminfo: memFree=28810480/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1601.98 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129348 0 0 0 158201 1997 0 0 20 0 1 0 337676597 111685632 26628 33554432000 4194304 9016284 140734489883808 140734489878136 6469453 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26628 688 1178 0 26085 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 109068 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12442 /proc/meminfo: memFree=28806536/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1661.96 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129348 0 0 0 164160 2036 0 0 20 0 1 0 337676597 111685632 26628 33554432000 4194304 9016284 140734489883808 140734489878136 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26628 688 1178 0 26085 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 109068 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 12442 /proc/meminfo: memFree=28801700/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1721.96 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129348 0 0 0 170117 2079 0 0 20 0 1 0 337676597 111685632 26628 33554432000 4194304 9016284 140734489883808 140734489878920 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26628 688 1178 0 26085 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 109068 [startup+1782.3 s] /proc/loadavg: 2.03 2.00 2.00 3/176 12442 /proc/meminfo: memFree=28801020/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1781.95 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 129348 0 0 0 176073 2122 0 0 20 0 1 0 337676597 111685632 26628 33554432000 4194304 9016284 140734489883808 140734489878088 5326152 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26628 688 1178 0 26085 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 109068 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.03 2.00 2.00 3/176 12518 /proc/meminfo: memFree=28800720/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=135372 CPUtime=1785.15 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 135962 0 0 0 176389 2126 0 0 20 0 1 0 337676597 138620928 33242 33554432000 4194304 9016284 140734489883808 140734489878136 4536486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 33843 33242 688 1178 0 32661 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (KiB) 135372 [startup+1791.91 s] /proc/loadavg: 2.03 2.00 2.00 3/177 12519 /proc/meminfo: memFree=28728792/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1791.55 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 138840 0 0 0 177024 2131 0 0 20 0 1 0 337676597 111685632 26660 33554432000 4194304 9016284 140734489883808 140734489878136 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26660 688 1178 0 26085 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 109068 [startup+1795.1 s] /proc/loadavg: 2.03 2.00 2.00 3/177 12519 /proc/meminfo: memFree=28727876/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1794.75 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 138841 0 0 0 177340 2135 0 0 20 0 1 0 337676597 111685632 26677 33554432000 4194304 9016284 140734489883808 140734489878136 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26677 688 1178 0 26085 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 109068 [startup+1795.9 s] /proc/loadavg: 2.03 2.00 2.00 3/177 12519 /proc/meminfo: memFree=28727876/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1795.55 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 138841 0 0 0 177420 2135 0 0 20 0 1 0 337676597 111685632 26677 33554432000 4194304 9016284 140734489883808 140734489878136 4887744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26677 688 1178 0 26085 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (KiB) 109068 [startup+1796.7 s] /proc/loadavg: 2.03 2.00 2.00 3/177 12519 /proc/meminfo: memFree=28728000/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109068 CPUtime=1796.34 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 138841 0 0 0 177499 2135 0 0 20 0 1 0 337676597 111685632 26677 33554432000 4194304 9016284 140734489883808 140734489878136 6469479 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27267 26677 688 1178 0 26085 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (KiB) 109068 [startup+1797.1 s] /proc/loadavg: 2.03 2.00 2.00 3/177 12519 /proc/meminfo: memFree=28728000/32873844 swapFree=7644/7644 [pid=12387] ppid=12385 vsize=109504 CPUtime=1796.74 cores=1,3,5,7 /proc/12387/stat : 12387 (scip-2.0.1.4b_2) R 12385 12387 10351 0 -1 4202496 138948 0 0 0 177539 2135 0 0 20 0 1 0 337676597 112132096 26784 33554432000 4194304 9016284 140734489883808 140734489879480 4897769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/12387/statm: 27376 26784 690 1178 0 26194 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 109504 Child status: 0 Real time (s): 1797.2 CPU time (s): 1796.85 CPU user time (s): 1775.49 CPU system time (s): 21.3608 CPU usage (%): 99.9807 Max. virtual memory (cumulated for all children) (KiB): 135372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.49 system time used= 21.3608 maximum resident set size= 144476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138953 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= 51 involuntary context switches= 2333 runsolver used 3.33249 second user time and 8.89065 second system time The end
Begin job on node147 at 2012-06-03 11:25:22 IDJOB=3734945 IDBENCH=2923 IDSOLVER=2329 FILE ID=node147/3734945-1338715522 RUNJOBID= node147-1338702405-10368 PBS_JOBID= 14636713 Free space on /tmp= 70772 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734945-1338715522/watcher-3734945-1338715522 -o /tmp/evaluation-result-3734945-1338715522/solver-3734945-1338715522 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734945-1338715522.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=770261347 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28600148 kB Buffers: 447252 kB Cached: 2586100 kB SwapCached: 3380 kB Active: 1869112 kB Inactive: 1543820 kB Active(anon): 375480 kB Inactive(anon): 5908 kB Active(file): 1493632 kB Inactive(file): 1537912 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 419320 kB Mapped: 12164 kB Shmem: 0 kB Slab: 722044 kB SReclaimable: 163128 kB SUnreclaim: 558916 kB KernelStack: 1432 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 507016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70752 MiB End job on node147 at 2012-06-03 11:55:19