Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | 1 | 1797.17 | 1797.13 |
| 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 | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1320.51 |
| 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-3489003-1307773615.opb>
0.00/0.00 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 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.01 o 1352
0.00/0.01 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.01 c T 0.0s| 1 | 0 | 0 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.01 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.02 o 1345
0.00/0.02 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.02 c 0.0s| 1 | 0 | 29 | - | 484k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 38 | - | 525k| 0 | 12 | 120 | 7 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 43 | - | 550k| 0 | 15 | 120 | 7 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 47 | - | 576k| 0 | 16 | 120 | 7 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 53 | - | 596k| 0 | 19 | 120 | 7 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.05 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.11 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.14 o 907
0.09/0.14 c c 0.1s| 36 | 37 | 371 | 8.9 | 642k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.09/0.15 o 728
0.09/0.15 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.09/0.17 o 96
0.09/0.17 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.09/0.18 o 94
0.09/0.18 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.22 o 92
0.19/0.22 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.24 o 90
0.19/0.24 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.24 c * 0.2s| 267 | 214 | 1417 | 5.1 | 779k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.19/0.24 o 88
0.19/0.24 c * 0.2s| 269 | 214 | 1417 | 5.1 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 458 | 0.000000e+00 | 8.800000e+01 | Inf
0.19/0.24 o 86
0.19/0.24 c p 0.2s| 272 | 215 | 1419 | 5.0 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 463 | 0.000000e+00 | 8.600000e+01 | Inf
0.19/0.24 o 84
0.19/0.24 c f 0.2s| 272 | 212 | 1419 | 5.0 | 785k| 39 | - | 120 | 11 | 120 | 20 | 23 | 21 | 463 | 0.000000e+00 | 8.400000e+01 | Inf
0.19/0.25 o 83
0.19/0.25 c * 0.2s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.19/0.25 o 81
0.19/0.25 c * 0.2s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.19/0.26 o 79
0.19/0.26 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.19/0.26 o 77
0.19/0.26 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.19/0.27 o 73
0.19/0.27 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.19/0.29 o 72
0.19/0.29 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.19/0.29 o 69
0.19/0.29 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.19/0.30 o 21
0.19/0.30 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.29/0.30 o 20
0.29/0.30 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.29/1.37 o 19
1.29/1.37 c * 1.4s| 4682 | 3550 | 22448 | 4.8 |2387k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.900000e+01 | Inf
1.29/1.37 o 17
1.29/1.37 c * 1.4s| 4683 | 3524 | 22448 | 4.8 |2360k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.700000e+01 | Inf
1.39/1.48 o 15
1.39/1.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.48 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2404k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.59/2.66 o 14
2.59/2.66 c * 2.7s| 9166 | 6403 | 45705 | 5.0 |3668k| 39 | - | 120 | 177 | 120 | 20 | 23 |1594 | 710 | 0.000000e+00 | 1.400000e+01 | Inf
2.79/2.87 c 2.9s| 10000 | 6886 | 49415 | 4.9 |3881k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.19/4.26 o 13
4.19/4.26 c p 4.3s| 16567 | 10184 | 74695 | 4.5 |5505k| 39 | - | 120 | 220 | 120 | 20 | 23 |2724 | 948 | 0.000000e+00 | 1.300000e+01 | Inf
4.19/4.26 o 11
4.19/4.26 c f 4.3s| 16567 | 10112 | 74695 | 4.5 |5429k| 39 | - | 120 | 221 | 120 | 20 | 23 |2727 | 948 | 0.000000e+00 | 1.100000e+01 | Inf
5.29/5.35 c 5.4s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
5.99/6.08 o 9
5.99/6.08 c * 6.1s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
6.09/6.15 o 8
6.09/6.15 c * 6.2s| 24454 | 12738 |102209 | 4.2 |6603k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.09/6.15 o 6
6.09/6.15 c * 6.2s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
6.99/7.08 c 7.1s| 30000 | 14005 |119930 | 4.0 |7091k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.49/8.57 c 8.6s| 40000 | 15780 |148504 | 3.7 |8137k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.20/10.22 c 10.2s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
11.69/11.70 c 11.7s| 60000 | 16718 |205970 | 3.4 |9097k| 39 | - | 120 | 454 | 120 | 20 | 23 |7624 |2047 | 0.000000e+00 | 6.000000e+00 | Inf
13.10/13.11 c 13.1s| 70000 | 16968 |234692 | 3.4 |9400k| 39 | 5 | 120 | 469 | 120 | 20 | 23 |8786 |2210 | 0.000000e+00 | 6.000000e+00 | Inf
14.49/14.55 c 14.6s| 80000 | 17095 |264161 | 3.3 |9580k| 39 | 5 | 120 | 422 | 120 | 20 | 23 |9947 |2429 | 0.000000e+00 | 6.000000e+00 | Inf
15.89/15.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.89/15.97 c 16.0s| 90000 | 17155 |292310 | 3.2 |9769k| 39 | - | 120 | 423 | 120 | 20 | 23 | 11k|2682 | 0.000000e+00 | 6.000000e+00 | Inf
17.29/17.39 c 17.4s|100000 | 17372 |320689 | 3.2 |9973k| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 12k|2918 | 0.000000e+00 | 6.000000e+00 | Inf
18.70/18.76 c 18.8s|110000 | 17422 |348290 | 3.2 | 10M| 39 | 5 | 120 | 363 | 120 | 20 | 23 | 13k|3080 | 0.000000e+00 | 6.000000e+00 | Inf
20.09/20.13 c 20.1s|120000 | 17586 |375866 | 3.1 | 10M| 39 | 5 | 120 | 347 | 120 | 20 | 23 | 14k|3231 | 0.000000e+00 | 6.000000e+00 | Inf
21.49/21.54 c 21.5s|130000 | 18389 |406275 | 3.1 | 10M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 15k|3360 | 0.000000e+00 | 6.000000e+00 | Inf
22.89/22.96 c 23.0s|140000 | 19316 |435927 | 3.1 | 11M| 39 | 5 | 120 | 194 | 120 | 20 | 23 | 16k|3496 | 0.000000e+00 | 6.000000e+00 | Inf
24.29/24.35 c 24.3s|150000 | 20565 |465770 | 3.1 | 12M| 39 | 5 | 120 | 177 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
25.69/25.71 c 25.7s|160000 | 21090 |493836 | 3.1 | 12M| 39 | - | 120 | 149 | 120 | 20 | 23 | 18k|3815 | 0.000000e+00 | 6.000000e+00 | Inf
26.99/27.07 c 27.1s|170000 | 21257 |522263 | 3.1 | 13M| 39 | 5 | 120 | 162 | 120 | 20 | 23 | 20k|3982 | 0.000000e+00 | 6.000000e+00 | Inf
28.39/28.47 c 28.5s|180000 | 22634 |551978 | 3.1 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 21k|4108 | 0.000000e+00 | 6.000000e+00 | Inf
29.79/29.84 c 29.8s|190000 | 23495 |580222 | 3.1 | 14M| 39 | - | 120 | 116 | 120 | 20 | 23 | 22k|4241 | 0.000000e+00 | 6.000000e+00 | Inf
31.09/31.19 c 31.2s|200000 | 23495 |608052 | 3.0 | 15M| 39 | 5 | 120 | 117 | 120 | 20 | 23 | 23k|4386 | 0.000000e+00 | 6.000000e+00 | Inf
32.49/32.53 c 32.5s|210000 | 23485 |635930 | 3.0 | 15M| 39 | - | 120 | 133 | 120 | 20 | 23 | 25k|4505 | 0.000000e+00 | 6.000000e+00 | Inf
33.79/33.89 c 33.9s|220000 | 23594 |664375 | 3.0 | 15M| 39 | - | 120 | 159 | 120 | 20 | 23 | 26k|4613 | 0.000000e+00 | 6.000000e+00 | Inf
35.20/35.24 c 35.2s|230000 | 23540 |692509 | 3.0 | 15M| 39 | 5 | 120 | 118 | 120 | 20 | 23 | 27k|4768 | 0.000000e+00 | 6.000000e+00 | Inf
36.49/36.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.49/36.57 c 36.6s|240000 | 23393 |719115 | 3.0 | 15M| 39 | 5 | 120 | 144 | 120 | 20 | 23 | 28k|4892 | 0.000000e+00 | 6.000000e+00 | Inf
37.89/37.91 c 37.9s|250000 | 23275 |746303 | 3.0 | 15M| 39 | 5 | 120 | 149 | 120 | 20 | 23 | 30k|4998 | 0.000000e+00 | 6.000000e+00 | Inf
39.20/39.24 c 39.2s|260000 | 23078 |773124 | 3.0 | 15M| 39 | - | 120 | 150 | 120 | 20 | 23 | 31k|5118 | 0.000000e+00 | 6.000000e+00 | Inf
40.50/40.58 c 40.6s|270000 | 22988 |800948 | 3.0 | 15M| 39 | - | 120 | 138 | 120 | 20 | 23 | 32k|5221 | 0.000000e+00 | 6.000000e+00 | Inf
41.19/41.26 o 5
41.19/41.26 c *41.3s|274965 | 22711 |814610 | 3.0 | 15M| 39 | - | 120 | 151 | 120 | 20 | 23 | 33k|5272 | 0.000000e+00 | 5.000000e+00 | Inf
41.89/41.96 c 42.0s|280000 | 22512 |828121 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 33k|5358 | 0.000000e+00 | 5.000000e+00 | Inf
43.19/43.30 c 43.3s|290000 | 22301 |856432 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 34k|5499 | 0.000000e+00 | 5.000000e+00 | Inf
44.59/44.60 c 44.6s|300000 | 22344 |883619 | 2.9 | 15M| 39 | - | 120 | 181 | 120 | 20 | 23 | 36k|5652 | 0.000000e+00 | 5.000000e+00 | Inf
45.90/45.90 c 45.9s|310000 | 22058 |910059 | 2.9 | 15M| 39 | 5 | 120 | 163 | 120 | 20 | 23 | 37k|5801 | 0.000000e+00 | 5.000000e+00 | Inf
47.20/47.22 c 47.2s|320000 | 21337 |936726 | 2.9 | 15M| 39 | - | 120 | 161 | 120 | 20 | 23 | 38k|5970 | 0.000000e+00 | 5.000000e+00 | Inf
48.49/48.56 c 48.6s|330000 | 21636 |964439 | 2.9 | 15M| 39 | - | 120 | 194 | 120 | 20 | 23 | 39k|6112 | 0.000000e+00 | 5.000000e+00 | Inf
49.80/49.87 c 49.9s|340000 | 21943 |993008 | 2.9 | 15M| 39 | - | 120 | 184 | 120 | 20 | 23 | 40k|6284 | 0.000000e+00 | 5.000000e+00 | Inf
51.19/51.20 c 51.2s|350000 | 22760 | 1020k| 2.9 | 16M| 39 | - | 120 | 241 | 120 | 20 | 23 | 41k|6444 | 0.000000e+00 | 5.000000e+00 | Inf
52.49/52.58 c 52.6s|360000 | 24742 | 1050k| 2.9 | 17M| 39 | - | 120 | 262 | 120 | 20 | 23 | 42k|6546 | 0.000000e+00 | 5.000000e+00 | Inf
53.80/53.89 c 53.9s|370000 | 25794 | 1076k| 2.9 | 18M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 43k|6672 | 0.000000e+00 | 5.000000e+00 | Inf
55.19/55.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.19/55.25 c 55.3s|380000 | 27558 | 1104k| 2.9 | 19M| 39 | - | 120 | 239 | 120 | 20 | 23 | 44k|6775 | 0.000000e+00 | 5.000000e+00 | Inf
56.50/56.57 c 56.6s|390000 | 28985 | 1132k| 2.9 | 20M| 39 | 5 | 120 | 234 | 120 | 20 | 23 | 45k|6886 | 0.000000e+00 | 5.000000e+00 | Inf
57.80/57.86 c 57.9s|400000 | 29823 | 1158k| 2.9 | 20M| 39 | - | 120 | 243 | 120 | 20 | 23 | 46k|7002 | 0.000000e+00 | 5.000000e+00 | Inf
59.09/59.19 c 59.2s|410000 | 30560 | 1185k| 2.9 | 21M| 39 | - | 120 | 240 | 0 | 0 | 23 | 47k|7154 | 0.000000e+00 | 5.000000e+00 | Inf
60.40/60.49 c 60.5s|420000 | 31210 | 1212k| 2.9 | 21M| 39 | - | 120 | 207 | 120 | 20 | 23 | 48k|7285 | 0.000000e+00 | 5.000000e+00 | Inf
61.69/61.78 c 61.8s|430000 | 31462 | 1239k| 2.9 | 22M| 39 | 5 | 120 | 229 | 120 | 20 | 23 | 49k|7383 | 0.000000e+00 | 5.000000e+00 | Inf
63.00/63.06 c 63.1s|440000 | 32000 | 1265k| 2.9 | 22M| 39 | 5 | 120 | 207 | 120 | 20 | 23 | 50k|7514 | 0.000000e+00 | 5.000000e+00 | Inf
64.29/64.33 c 64.3s|450000 | 32270 | 1291k| 2.9 | 22M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 51k|7621 | 0.000000e+00 | 5.000000e+00 | Inf
65.50/65.59 c 65.6s|460000 | 32469 | 1316k| 2.9 | 23M| 39 | 5 | 120 | 204 | 120 | 20 | 23 | 52k|7733 | 0.000000e+00 | 5.000000e+00 | Inf
66.80/66.86 c 66.9s|470000 | 32641 | 1341k| 2.9 | 23M| 39 | - | 120 | 214 | 120 | 20 | 23 | 54k|7845 | 0.000000e+00 | 5.000000e+00 | Inf
68.10/68.17 c 68.2s|480000 | 33018 | 1368k| 2.9 | 23M| 39 | 5 | 120 | 192 | 120 | 20 | 23 | 55k|7955 | 0.000000e+00 | 5.000000e+00 | Inf
69.39/69.42 c 69.4s|490000 | 32917 | 1394k| 2.8 | 23M| 39 | 5 | 120 | 211 | 120 | 20 | 23 | 56k|8050 | 0.000000e+00 | 5.000000e+00 | Inf
70.60/70.68 c 70.7s|500000 | 33046 | 1419k| 2.8 | 24M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 57k|8164 | 0.000000e+00 | 5.000000e+00 | Inf
71.90/71.95 c 71.9s|510000 | 33126 | 1445k| 2.8 | 24M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 58k|8264 | 0.000000e+00 | 5.000000e+00 | Inf
73.19/73.21 c 73.2s|520000 | 33037 | 1470k| 2.8 | 24M| 39 | - | 120 | 258 | 0 | 0 | 23 | 59k|8365 | 0.000000e+00 | 5.000000e+00 | Inf
74.40/74.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.40/74.48 c 74.5s|530000 | 33152 | 1496k| 2.8 | 24M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 60k|8453 | 0.000000e+00 | 5.000000e+00 | Inf
75.69/75.73 c 75.7s|540000 | 32967 | 1520k| 2.8 | 24M| 39 | - | 120 | 269 | 120 | 20 | 23 | 61k|8536 | 0.000000e+00 | 5.000000e+00 | Inf
77.00/77.02 c 77.0s|550000 | 33114 | 1546k| 2.8 | 24M| 39 | 5 | 120 | 266 | 120 | 20 | 23 | 62k|8632 | 0.000000e+00 | 5.000000e+00 | Inf
78.20/78.29 c 78.3s|560000 | 33111 | 1570k| 2.8 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 63k|8721 | 0.000000e+00 | 5.000000e+00 | Inf
79.50/79.58 c 79.6s|570000 | 33294 | 1595k| 2.8 | 25M| 39 | 5 | 120 | 326 | 120 | 20 | 23 | 64k|8808 | 0.000000e+00 | 5.000000e+00 | Inf
80.79/80.83 c 80.8s|580000 | 33199 | 1620k| 2.8 | 25M| 39 | - | 120 | 351 | 120 | 20 | 23 | 65k|8893 | 0.000000e+00 | 5.000000e+00 | Inf
82.10/82.13 c 82.1s|590000 | 33434 | 1646k| 2.8 | 25M| 39 | - | 120 | 296 | 120 | 20 | 23 | 66k|9002 | 0.000000e+00 | 5.000000e+00 | Inf
83.39/83.44 c 83.4s|600000 | 34399 | 1672k| 2.8 | 26M| 39 | - | 120 | 289 | 0 | 0 | 23 | 67k|9107 | 0.000000e+00 | 5.000000e+00 | Inf
84.69/84.74 c 84.7s|610000 | 35097 | 1699k| 2.8 | 26M| 39 | - | 120 | 288 | 120 | 20 | 23 | 69k|9194 | 0.000000e+00 | 5.000000e+00 | Inf
85.99/86.02 c 86.0s|620000 | 35269 | 1725k| 2.8 | 26M| 39 | 5 | 120 | 298 | 120 | 20 | 23 | 70k|9289 | 0.000000e+00 | 5.000000e+00 | Inf
86.40/86.41 o 4
86.40/86.41 c f86.4s|623206 | 34748 | 1734k| 2.8 | 25M| 39 | - | 120 | 311 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 4.000000e+00 | Inf
86.40/86.42 o 2
86.40/86.42 c *86.4s|623219 | 32650 | 1734k| 2.8 | 22M| 39 | - | 120 | 298 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 2.000000e+00 | Inf
87.19/87.24 c 87.2s|630000 | 32496 | 1750k| 2.8 | 22M| 39 | - | 120 | 301 | 120 | 20 | 23 | 70k|9322 | 0.000000e+00 | 2.000000e+00 | Inf
88.29/88.38 c 88.4s|640000 | 32723 | 1774k| 2.8 | 22M| 39 | 5 | 120 | 398 | 120 | 20 | 23 | 71k|9355 | 0.000000e+00 | 2.000000e+00 | Inf
89.49/89.55 c 89.5s|650000 | 33048 | 1798k| 2.8 | 22M| 39 | - | 120 | 365 | 0 | 0 | 23 | 72k|9420 | 0.000000e+00 | 2.000000e+00 | Inf
90.59/90.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.59/90.68 c 90.7s|660000 | 33426 | 1822k| 2.8 | 23M| 39 | 5 | 120 | 404 | 120 | 20 | 23 | 73k|9443 | 0.000000e+00 | 2.000000e+00 | Inf
91.40/91.43 o 1
91.40/91.43 c *91.4s|666669 | 32817 | 1837k| 2.8 | 22M| 39 | - | 120 | 420 | 120 | 20 | 23 | 74k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
92.30/92.39 c 92.4s|670000 | 32650 | 1843k| 2.8 | 23M| 39 | 5 | 120 |1786 | 120 | 20 | 23 | 76k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
94.30/94.37 c 94.4s|680000 | 33228 | 1863k| 2.7 | 24M| 39 | 5 | 120 |3995 | 120 | 20 | 23 | 83k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
96.60/96.62 c 96.6s|690000 | 32613 | 1881k| 2.7 | 24M| 39 | 5 | 120 |2793 | 120 | 20 | 23 | 91k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
98.69/98.73 c 98.7s|700000 | 31775 | 1900k| 2.7 | 23M| 39 | - | 120 |2149 | 120 | 20 | 23 | 99k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
100.70/100.78 c 101s|710000 | 31128 | 1919k| 2.7 | 23M| 39 | 5 | 120 |3965 | 120 | 20 | 23 | 107k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
102.99/103.06 c 103s|720000 | 30741 | 1939k| 2.7 | 23M| 39 | - | 120 |4042 | 120 | 20 | 23 | 115k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
105.39/105.42 c 105s|730000 | 30196 | 1959k| 2.7 | 23M| 39 | 5 | 120 |4746 | 120 | 20 | 23 | 123k|9467 | 0.000000e+00 | 1.000000e+00 | Inf
107.80/107.84 c 108s|740000 | 29472 | 1979k| 2.7 | 23M| 39 | - | 120 |5241 | 120 | 20 | 23 | 131k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
110.20/110.22 c 110s|750000 | 29227 | 1998k| 2.7 | 23M| 39 | 5 | 120 |5413 | 120 | 20 | 23 | 138k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
112.60/112.66 c 113s|760000 | 28653 | 2019k| 2.7 | 23M| 39 | - | 120 |5233 | 120 | 20 | 23 | 146k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
115.00/115.04 c 115s|770000 | 28477 | 2039k| 2.6 | 23M| 39 | 5 | 120 |5786 | 120 | 20 | 23 | 154k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
117.50/117.54 c 118s|780000 | 27891 | 2059k| 2.6 | 23M| 39 | - | 120 |5725 | 120 | 20 | 23 | 162k|9470 | 0.000000e+00 | 1.000000e+00 | Inf
120.00/120.07 c 120s|790000 | 27629 | 2079k| 2.6 | 22M| 39 | 5 | 120 |5669 | 120 | 20 | 23 | 170k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
122.39/122.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.39/122.43 c 122s|800000 | 27440 | 2099k| 2.6 | 23M| 39 | 5 | 120 |6093 | 120 | 20 | 23 | 178k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
124.89/124.99 c 125s|810000 | 26788 | 2119k| 2.6 | 22M| 39 | 5 | 120 |5952 | 120 | 20 | 23 | 186k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
127.39/127.49 c 127s|820000 | 26241 | 2139k| 2.6 | 22M| 39 | - | 120 |5496 | 120 | 20 | 23 | 194k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
129.90/129.95 c 130s|830000 | 25875 | 2159k| 2.6 | 22M| 39 | - | 120 |6355 | 120 | 20 | 23 | 202k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
132.49/132.51 c 133s|840000 | 25496 | 2180k| 2.6 | 21M| 39 | - | 120 |6002 | 120 | 20 | 23 | 210k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
134.90/134.98 c 135s|850000 | 25174 | 2199k| 2.6 | 21M| 39 | 5 | 120 |6939 | 120 | 20 | 23 | 218k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
137.30/137.39 c 137s|860000 | 25831 | 2220k| 2.6 | 23M| 39 | 5 | 120 |8916 | 120 | 20 | 23 | 226k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
139.90/139.95 c 140s|870000 | 26181 | 2241k| 2.6 | 23M| 39 | 5 | 120 |9275 | 120 | 20 | 23 | 233k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
142.69/142.76 c 143s|880000 | 25679 | 2260k| 2.6 | 23M| 39 | 5 | 120 |8899 | 120 | 20 | 23 | 242k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
145.49/145.58 c 146s|890000 | 25234 | 2280k| 2.6 | 23M| 39 | - | 120 |9154 | 120 | 20 | 23 | 250k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
148.19/148.28 c 148s|900000 | 25311 | 2298k| 2.6 | 22M| 39 | - | 120 |8071 | 120 | 20 | 23 | 257k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
150.70/150.71 c 151s|910000 | 26064 | 2318k| 2.5 | 23M| 39 | - | 120 |8355 | 120 | 20 | 23 | 263k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
153.10/153.16 c 153s|920000 | 27499 | 2340k| 2.5 | 25M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 270k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
155.79/155.82 c 156s|930000 | 28391 | 2359k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 277k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
158.59/158.64 c 159s|940000 | 28658 | 2379k| 2.5 | 27M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 285k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
161.49/161.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.49/161.54 c 162s|950000 | 28797 | 2399k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 293k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
164.40/164.50 c 164s|960000 | 28685 | 2418k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 301k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
167.49/167.53 c 168s|970000 | 28604 | 2438k| 2.5 | 28M| 39 | - | 120 | 10k| 0 | 0 | 23 | 308k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
170.60/170.60 c 171s|980000 | 28356 | 2456k| 2.5 | 28M| 39 | - | 120 | 10k| 120 | 20 | 23 | 316k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
173.59/173.63 c 174s|990000 | 28017 | 2474k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 324k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
176.60/176.68 c 177s| 1000k| 27850 | 2493k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 332k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
179.50/179.54 c 180s| 1010k| 27977 | 2513k| 2.5 | 28M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 340k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
182.60/182.62 c 183s| 1020k| 27680 | 2532k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 348k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
185.60/185.60 c 186s| 1030k| 28011 | 2551k| 2.5 | 29M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 355k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
188.90/188.91 c 189s| 1040k| 27599 | 2570k| 2.5 | 28M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 363k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
192.09/192.18 c 192s| 1050k| 27089 | 2589k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 372k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
195.09/195.15 c 195s| 1060k| 26968 | 2608k| 2.5 | 28M| 39 | - | 120 | 13k| 120 | 20 | 23 | 379k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
198.60/198.63 c 199s| 1070k| 26286 | 2627k| 2.5 | 26M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 388k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
201.70/201.79 c 202s| 1080k| 26240 | 2647k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 395k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
204.69/204.79 c 205s| 1090k| 26444 | 2666k| 2.4 | 27M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 403k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
208.00/208.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.00/208.08 c 208s| 1100k| 25771 | 2685k| 2.4 | 26M| 39 | - | 120 | 12k| 120 | 20 | 23 | 411k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
210.89/210.99 c 211s| 1110k| 26200 | 2704k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 418k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
214.30/214.37 c 214s| 1120k| 25649 | 2722k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 426k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
217.80/217.81 c 218s| 1130k| 25156 | 2741k| 2.4 | 24M| 39 | - | 120 | 11k| 120 | 20 | 23 | 434k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
220.70/220.72 c 221s| 1140k| 25243 | 2760k| 2.4 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 441k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
223.60/223.65 c 224s| 1150k| 26235 | 2780k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 448k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
226.70/226.76 c 227s| 1160k| 26784 | 2800k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 456k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
229.80/229.85 c 230s| 1170k| 27070 | 2819k| 2.4 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 463k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
233.20/233.25 c 233s| 1180k| 26965 | 2837k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 470k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
236.51/236.53 c 237s| 1190k| 26964 | 2856k| 2.4 | 28M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 478k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
239.90/239.94 c 240s| 1200k| 26703 | 2875k| 2.4 | 28M| 39 | - | 120 | 14k| 120 | 20 | 23 | 486k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
243.20/243.28 c 243s| 1210k| 26450 | 2894k| 2.4 | 28M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 494k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
246.90/246.95 c 247s| 1220k| 25885 | 2912k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 502k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
250.90/250.99 c 251s| 1230k| 24665 | 2931k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 511k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
253.89/253.94 c 254s| 1240k| 24236 | 2950k| 2.4 | 22M| 39 | - | 120 |9392 | 120 | 20 | 23 | 519k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
256.49/256.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.49/256.58 c 257s| 1250k| 24877 | 2971k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 527k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
259.20/259.27 c 259s| 1260k| 25622 | 2991k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 534k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
262.39/262.45 c 262s| 1270k| 25612 | 3010k| 2.4 | 25M| 39 | - | 120 | 11k| 120 | 20 | 23 | 542k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
265.50/265.50 c 266s| 1280k| 25463 | 3029k| 2.4 | 25M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 550k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
268.60/268.64 c 269s| 1290k| 25058 | 3048k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 558k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
271.80/271.80 c 272s| 1300k| 24809 | 3066k| 2.4 | 25M| 39 | - | 120 | 12k| 0 | 0 | 23 | 566k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
275.00/275.03 c 275s| 1310k| 24659 | 3086k| 2.4 | 24M| 39 | - | 120 | 12k| 120 | 20 | 23 | 575k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
278.10/278.14 c 278s| 1320k| 24695 | 3106k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 583k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
281.40/281.40 c 281s| 1330k| 24270 | 3126k| 2.4 | 24M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 591k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
284.69/284.71 c 285s| 1340k| 24422 | 3145k| 2.3 | 25M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 599k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
288.30/288.30 c 288s| 1350k| 24639 | 3165k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 607k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
292.20/292.26 c 292s| 1360k| 24707 | 3183k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 615k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
296.59/296.62 c 297s| 1370k| 24652 | 3202k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 623k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
301.10/301.15 c 301s| 1380k| 24174 | 3222k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 632k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
304.20/304.28 c 304s| 1390k| 24307 | 3242k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 639k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
307.90/307.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.90/307.92 c 308s| 1400k| 24081 | 3262k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 648k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
311.50/311.53 c 312s| 1410k| 23679 | 3282k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 656k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
315.00/315.00 c 315s| 1420k| 23124 | 3302k| 2.3 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 665k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
318.20/318.21 c 318s| 1430k| 22895 | 3321k| 2.3 | 24M| 39 | - | 120 | 10k| 120 | 20 | 23 | 673k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
321.30/321.31 c 321s| 1440k| 22516 | 3341k| 2.3 | 23M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 681k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
324.30/324.32 c 324s| 1450k| 22180 | 3361k| 2.3 | 23M| 39 | - | 120 | 11k| 120 | 20 | 23 | 690k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
327.70/327.74 c 328s| 1460k| 21516 | 3379k| 2.3 | 21M| 39 | - | 120 |8776 | 120 | 20 | 23 | 698k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
331.10/331.16 c 331s| 1470k| 20660 | 3399k| 2.3 | 20M| 39 | - | 120 |8253 | 120 | 20 | 23 | 706k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
333.80/333.89 c 334s| 1480k| 21003 | 3419k| 2.3 | 21M| 39 | 5 | 120 |8777 | 120 | 20 | 23 | 714k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
336.40/336.49 c 336s| 1490k| 21108 | 3438k| 2.3 | 22M| 39 | - | 120 |9932 | 0 | 0 | 23 | 721k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
339.20/339.20 c 339s| 1500k| 21237 | 3457k| 2.3 | 22M| 39 | - | 120 |9807 | 120 | 20 | 23 | 729k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
341.90/341.95 c 342s| 1510k| 21123 | 3475k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 736k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
344.59/344.64 c 345s| 1520k| 21325 | 3494k| 2.3 | 23M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 744k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
347.50/347.52 c 348s| 1530k| 20968 | 3512k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 752k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
350.30/350.40 c 350s| 1540k| 20660 | 3530k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 761k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
353.00/353.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.00/353.02 c 353s| 1550k| 21933 | 3551k| 2.3 | 24M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 767k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
355.90/355.90 c 356s| 1560k| 22418 | 3570k| 2.3 | 25M| 39 | - | 120 | 13k| 120 | 20 | 23 | 774k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
358.99/359.00 c 359s| 1570k| 22558 | 3589k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 782k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
362.10/362.15 c 362s| 1580k| 22392 | 3608k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 789k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
365.21/365.26 c 365s| 1590k| 22476 | 3626k| 2.3 | 26M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 797k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
368.60/368.63 c 369s| 1600k| 21904 | 3645k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 805k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
371.60/371.61 c 372s| 1610k| 22710 | 3664k| 2.3 | 27M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 812k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
374.80/374.87 c 375s| 1620k| 22859 | 3682k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 819k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
378.00/378.00 c 378s| 1630k| 23351 | 3701k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 826k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
381.40/381.49 c 381s| 1640k| 23402 | 3719k| 2.3 | 28M| 39 | - | 120 | 16k| 120 | 20 | 23 | 833k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
385.20/385.24 c 385s| 1650k| 22633 | 3737k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 841k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
388.90/388.91 c 389s| 1660k| 22145 | 3755k| 2.3 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 849k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
392.10/392.15 c 392s| 1670k| 22431 | 3775k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 856k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
396.01/396.08 c 396s| 1680k| 21883 | 3794k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 864k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
400.40/400.43 c 400s| 1690k| 20549 | 3811k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 873k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
403.71/403.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.71/403.75 c 404s| 1700k| 20084 | 3831k| 2.3 | 21M| 39 | - | 120 | 11k| 120 | 20 | 23 | 881k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
407.10/407.12 c 407s| 1710k| 19815 | 3850k| 2.3 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 889k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
409.70/409.77 c 410s| 1720k| 20460 | 3870k| 2.3 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 896k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
412.51/412.51 c 413s| 1730k| 20386 | 3888k| 2.2 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 903k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
415.41/415.42 c 415s| 1740k| 19858 | 3905k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 910k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
418.40/418.41 c 418s| 1750k| 20139 | 3925k| 2.2 | 22M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 918k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
421.30/421.36 c 421s| 1760k| 20618 | 3944k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 925k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
424.61/424.61 c 425s| 1770k| 20340 | 3962k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 932k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
427.70/427.75 c 428s| 1780k| 20289 | 3982k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 940k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
431.41/431.42 c 431s| 1790k| 19632 | 4000k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 948k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
434.40/434.46 c 434s| 1800k| 19626 | 4018k| 2.2 | 21M| 39 | - | 120 | 13k| 0 | 0 | 23 | 956k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
438.10/438.15 c 438s| 1810k| 19289 | 4038k| 2.2 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 964k|9548 | 0.000000e+00 | 1.000000e+00 | Inf
441.40/441.42 c 441s| 1820k| 18683 | 4058k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 972k|9550 | 0.000000e+00 | 1.000000e+00 | Inf
444.41/444.46 c 444s| 1830k| 18624 | 4078k| 2.2 | 20M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 980k|9556 | 0.000000e+00 | 1.000000e+00 | Inf
448.00/448.04 c 448s| 1840k| 18189 | 4098k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 989k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
450.90/451.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.90/451.00 c 451s| 1850k| 18195 | 4118k| 2.2 | 20M| 39 | - | 120 | 15k| 120 | 20 | 23 | 997k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
454.70/454.78 c 455s| 1860k| 17553 | 4139k| 2.2 | 17M| 39 | - | 120 |9525 | 120 | 20 | 23 |1006k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
458.01/458.01 c 458s| 1870k| 16931 | 4159k| 2.2 | 17M| 39 | - | 120 | 10k| 120 | 20 | 23 |1014k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
461.30/461.36 c 461s| 1880k| 16133 | 4180k| 2.2 | 16M| 39 | - | 120 |9958 | 120 | 20 | 23 |1023k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
464.31/464.32 c 464s| 1890k| 15871 | 4200k| 2.2 | 16M| 39 | 5 | 120 | 11k| 120 | 20 | 23 |1031k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
467.20/467.23 c 467s| 1900k| 15977 | 4220k| 2.2 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 |1039k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
470.81/470.87 c 471s| 1910k| 15334 | 4241k| 2.2 | 15M| 39 | - | 120 | 11k| 120 | 20 | 23 |1049k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
473.70/473.75 c 474s| 1920k| 15199 | 4261k| 2.2 | 15M| 39 | 5 | 120 | 12k| 120 | 20 | 23 |1057k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
476.90/476.96 c 477s| 1930k| 15426 | 4282k| 2.2 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 |1065k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
480.61/480.70 c 481s| 1940k| 15446 | 4302k| 2.2 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1073k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
484.20/484.28 c 484s| 1950k| 15582 | 4323k| 2.2 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 |1081k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
487.60/487.67 c 488s| 1960k| 16015 | 4343k| 2.2 | 19M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1088k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
491.30/491.38 c 491s| 1970k| 16550 | 4363k| 2.2 | 19M| 39 | 5 | 120 | 16k| 120 | 20 | 23 |1096k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
494.90/494.97 c 495s| 1980k| 16879 | 4383k| 2.2 | 20M| 39 | - | 120 | 17k| 0 | 0 | 23 |1103k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
498.31/498.38 c 498s| 1990k| 17109 | 4403k| 2.2 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1111k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
502.10/502.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.10/502.10 c 502s| 2000k| 17632 | 4423k| 2.2 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1119k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
506.40/506.43 c 506s| 2010k| 17596 | 4443k| 2.2 | 23M| 39 | - | 120 | 19k| 120 | 20 | 23 |1127k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
510.71/510.72 c 511s| 2020k| 17412 | 4462k| 2.2 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 |1135k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
514.60/514.66 c 515s| 2030k| 17401 | 4483k| 2.2 | 23M| 39 | - | 120 | 20k| 0 | 0 | 23 |1143k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
519.00/519.08 c 519s| 2040k| 17072 | 4502k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1151k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
522.90/522.98 c 523s| 2050k| 16967 | 4523k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1160k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
526.61/526.64 c 527s| 2060k| 17286 | 4543k| 2.2 | 23M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1168k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
530.70/530.76 c 531s| 2070k| 17115 | 4563k| 2.2 | 23M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1177k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
534.71/534.79 c 535s| 2080k| 17358 | 4584k| 2.2 | 24M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1184k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
539.50/539.53 c 540s| 2090k| 17283 | 4604k| 2.2 | 24M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1192k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
544.01/544.02 c 544s| 2100k| 17623 | 4625k| 2.2 | 26M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1200k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
548.91/548.94 c 549s| 2110k| 17327 | 4645k| 2.2 | 25M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1208k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
555.61/555.60 c 556s| 2120k| 15185 | 4664k| 2.2 | 17M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1218k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
558.81/558.89 c 559s| 2130k| 15504 | 4684k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1225k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
562.70/562.75 c 563s| 2140k| 15482 | 4704k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1233k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
566.70/566.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.70/566.72 c 567s| 2150k| 15203 | 4724k| 2.2 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1241k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
570.50/570.51 c 571s| 2160k| 14993 | 4743k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1249k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
573.81/573.84 c 574s| 2170k| 15125 | 4764k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1257k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
577.21/577.23 c 577s| 2180k| 15246 | 4784k| 2.2 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1265k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
581.41/581.49 c 581s| 2190k| 15112 | 4804k| 2.2 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1274k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
585.60/585.68 c 586s| 2200k| 15230 | 4824k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1282k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
590.41/590.43 c 590s| 2210k| 14926 | 4843k| 2.2 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1290k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
594.41/594.47 c 594s| 2220k| 15686 | 4864k| 2.2 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1297k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
599.10/599.13 c 599s| 2230k| 15597 | 4883k| 2.2 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1304k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
603.41/603.47 c 603s| 2240k| 15944 | 4904k| 2.2 | 22M| 39 | - | 120 | 23k| 120 | 20 | 23 |1311k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
608.21/608.27 c 608s| 2250k| 16057 | 4923k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1318k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
613.20/613.20 c 613s| 2260k| 15869 | 4942k| 2.2 | 22M| 39 | - | 120 | 22k| 120 | 20 | 23 |1325k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
617.81/617.89 c 618s| 2270k| 15906 | 4962k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1332k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
623.20/623.24 c 623s| 2280k| 15071 | 4981k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1340k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
627.80/627.84 c 628s| 2290k| 15258 | 5002k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1348k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
632.90/632.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.90/632.95 c 633s| 2300k| 15224 | 5022k| 2.2 | 21M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1356k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
638.01/638.01 c 638s| 2310k| 15441 | 5043k| 2.2 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1365k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
644.00/644.04 c 644s| 2320k| 15215 | 5063k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1374k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
648.70/648.71 c 649s| 2330k| 15538 | 5084k| 2.2 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1381k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
653.01/653.05 c 653s| 2340k| 15482 | 5103k| 2.2 | 21M| 39 | - | 120 | 23k| 120 | 20 | 23 |1389k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
657.40/657.40 c 657s| 2350k| 15578 | 5124k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1397k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
662.11/662.16 c 662s| 2360k| 15575 | 5144k| 2.2 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1405k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
667.31/667.36 c 667s| 2370k| 15405 | 5164k| 2.2 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1413k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
672.01/672.10 c 672s| 2380k| 15486 | 5184k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1421k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
677.41/677.43 c 677s| 2390k| 15505 | 5205k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1429k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
682.71/682.72 c 683s| 2400k| 15126 | 5224k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1436k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
687.31/687.31 c 687s| 2410k| 15127 | 5245k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1444k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
691.91/691.99 c 692s| 2420k| 15850 | 5266k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1452k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
696.71/696.79 c 697s| 2430k| 16441 | 5287k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1459k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
701.91/701.99 c 702s| 2440k| 16729 | 5307k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1467k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
707.11/707.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.11/707.20 c 707s| 2450k| 16561 | 5326k| 2.2 | 24M| 39 | - | 120 | 26k| 0 | 0 | 23 |1475k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
712.11/712.13 c 712s| 2460k| 16812 | 5347k| 2.2 | 25M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1483k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
717.31/717.33 c 717s| 2470k| 16938 | 5367k| 2.2 | 26M| 39 | - | 120 | 28k| 120 | 20 | 23 |1490k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
724.11/724.13 c 724s| 2480k| 15802 | 5387k| 2.2 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1499k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
729.01/729.07 c 729s| 2490k| 16321 | 5408k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1507k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
734.21/734.20 c 734s| 2500k| 16445 | 5428k| 2.2 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1515k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
741.11/741.15 c 741s| 2510k| 14970 | 5448k| 2.2 | 20M| 39 | - | 120 | 23k| 120 | 20 | 23 |1524k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
745.21/745.21 c 745s| 2520k| 15156 | 5468k| 2.2 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1532k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
749.31/749.31 c 749s| 2530k| 15449 | 5488k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1539k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
753.61/753.64 c 754s| 2540k| 15991 | 5507k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1546k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
758.30/758.36 c 758s| 2550k| 16005 | 5527k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1553k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
763.00/763.00 c 763s| 2560k| 16093 | 5547k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1561k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
768.01/768.03 c 768s| 2570k| 16097 | 5566k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1568k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
773.51/773.55 c 774s| 2580k| 15445 | 5584k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1576k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
778.21/778.20 c 778s| 2590k| 15544 | 5603k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1583k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
782.71/782.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.71/782.79 c 783s| 2600k| 15890 | 5622k| 2.2 | 25M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1590k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
788.81/788.88 c 789s| 2610k| 15680 | 5643k| 2.2 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1598k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
793.21/793.28 c 793s| 2620k| 17391 | 5665k| 2.2 | 23M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1605k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
797.91/797.93 c 798s| 2630k| 18471 | 5686k| 2.2 | 25M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1612k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
802.51/802.55 c 803s| 2640k| 19643 | 5707k| 2.2 | 26M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1618k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
807.51/807.58 c 808s| 2650k| 20418 | 5728k| 2.2 | 27M| 39 | - | 120 | 26k| 120 | 20 | 23 |1626k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
812.31/812.33 c 812s| 2660k| 21268 | 5749k| 2.2 | 28M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1633k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
817.11/817.12 c 817s| 2670k| 22046 | 5770k| 2.2 | 30M| 39 | - | 120 | 27k| 120 | 20 | 23 |1640k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
821.81/821.86 c 822s| 2680k| 22794 | 5790k| 2.2 | 31M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1647k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
827.42/827.47 c 827s| 2690k| 22972 | 5809k| 2.2 | 31M| 39 | - | 120 | 26k| 120 | 20 | 23 |1655k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
832.61/832.61 c 833s| 2700k| 23350 | 5829k| 2.2 | 32M| 39 | - | 120 | 27k| 120 | 20 | 23 |1662k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
838.12/838.16 c 838s| 2710k| 23427 | 5848k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1669k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
843.51/843.59 c 844s| 2720k| 23740 | 5868k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1677k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
848.12/848.13 c 848s| 2730k| 24525 | 5889k| 2.2 | 35M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1684k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
853.52/853.58 c 854s| 2740k| 25004 | 5909k| 2.2 | 36M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1692k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
858.91/859.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.91/859.00 c 859s| 2750k| 25608 | 5930k| 2.2 | 37M| 39 | - | 120 | 30k| 120 | 20 | 23 |1699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
865.01/865.04 c 865s| 2760k| 25753 | 5949k| 2.2 | 37M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1707k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
870.72/870.72 c 871s| 2770k| 25821 | 5968k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
876.61/876.67 c 877s| 2780k| 25716 | 5988k| 2.2 | 38M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1722k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
882.41/882.49 c 882s| 2790k| 25658 | 6008k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1730k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
888.21/888.25 c 888s| 2800k| 26241 | 6029k| 2.2 | 39M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1738k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
893.22/893.23 c 893s| 2810k| 26900 | 6050k| 2.2 | 41M| 39 | - | 120 | 30k| 120 | 20 | 23 |1745k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
898.91/898.98 c 899s| 2820k| 26843 | 6070k| 2.2 | 41M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1753k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
905.01/905.03 c 905s| 2830k| 27565 | 6091k| 2.2 | 41M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1761k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
910.01/910.01 c 910s| 2840k| 28531 | 6111k| 2.2 | 43M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
915.12/915.13 c 915s| 2850k| 29152 | 6131k| 2.2 | 44M| 39 | - | 120 | 30k| 120 | 20 | 23 |1775k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
920.62/920.69 c 921s| 2860k| 29482 | 6151k| 2.2 | 45M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1782k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
926.22/926.29 c 926s| 2870k| 30040 | 6170k| 2.2 | 46M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1789k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
931.72/931.75 c 932s| 2880k| 31868 | 6192k| 2.2 | 47M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1796k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
937.82/937.82 c 938s| 2890k| 32675 | 6214k| 2.2 | 49M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1803k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
943.62/943.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.62/943.64 c 944s| 2900k| 33807 | 6234k| 2.1 | 50M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1809k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
950.11/950.10 c 950s| 2910k| 34242 | 6254k| 2.1 | 51M| 39 | - | 120 | 32k| 120 | 20 | 23 |1816k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
956.52/956.52 c 957s| 2920k| 34368 | 6273k| 2.1 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1824k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
962.61/962.69 c 963s| 2930k| 34414 | 6292k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1831k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
968.71/968.77 c 969s| 2940k| 34556 | 6312k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1838k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
974.92/974.93 c 975s| 2950k| 34380 | 6331k| 2.1 | 52M| 39 | - | 120 | 31k| 120 | 20 | 23 |1846k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
981.02/981.07 c 981s| 2960k| 34315 | 6351k| 2.1 | 53M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1854k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
987.12/987.14 c 987s| 2970k| 34467 | 6370k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1862k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
993.81/993.80 c 994s| 2980k| 34093 | 6389k| 2.1 | 53M| 39 | - | 120 | 30k| 120 | 20 | 23 |1870k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
999.92/999.99 c 1000s| 2990k| 34324 | 6409k| 2.1 | 53M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1877k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1005.32/1005.35 c 1005s| 3000k| 35088 | 6429k| 2.1 | 54M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1884k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1010.93/1010.91 c 1011s| 3010k| 35403 | 6449k| 2.1 | 55M| 39 | - | 120 | 31k| 0 | 0 | 23 |1892k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1016.71/1016.74 c 1017s| 3020k| 35332 | 6469k| 2.1 | 56M| 39 | - | 120 | 31k| 120 | 20 | 23 |1900k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1022.72/1022.72 c 1023s| 3030k| 35445 | 6489k| 2.1 | 56M| 39 | - | 120 | 31k| 0 | 0 | 23 |1907k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1028.53/1028.57 c 1029s| 3040k| 35597 | 6509k| 2.1 | 57M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1915k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1034.32/1034.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.32/1034.34 c 1034s| 3050k| 36317 | 6529k| 2.1 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1922k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1040.62/1040.67 c 1041s| 3060k| 36215 | 6548k| 2.1 | 58M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1929k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1046.92/1046.96 c 1047s| 3070k| 36113 | 6567k| 2.1 | 58M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1937k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1052.22/1052.25 c 1052s| 3080k| 36950 | 6588k| 2.1 | 59M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1944k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1057.82/1057.84 c 1058s| 3090k| 37421 | 6608k| 2.1 | 61M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1952k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1064.32/1064.33 c 1064s| 3100k| 38051 | 6629k| 2.1 | 62M| 39 | - | 120 | 34k| 120 | 20 | 23 |1959k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1070.32/1070.32 c 1070s| 3110k| 38643 | 6648k| 2.1 | 63M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1966k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1076.92/1076.96 c 1077s| 3120k| 38941 | 6668k| 2.1 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1974k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1083.21/1083.27 c 1083s| 3130k| 39353 | 6688k| 2.1 | 64M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1982k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1089.22/1089.21 c 1089s| 3140k| 39571 | 6708k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |1989k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1096.21/1096.25 c 1096s| 3150k| 39273 | 6727k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1997k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1102.92/1102.95 c 1103s| 3160k| 39159 | 6747k| 2.1 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2006k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1108.52/1108.51 c 1109s| 3170k| 39396 | 6767k| 2.1 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |2013k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1114.23/1114.26 c 1114s| 3180k| 39520 | 6787k| 2.1 | 66M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2021k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1121.02/1121.02 c 1121s| 3190k| 39329 | 6806k| 2.1 | 66M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2029k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1129.02/1129.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.02/1129.08 c 1129s| 3200k| 38577 | 6825k| 2.1 | 65M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |2037k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1135.13/1135.13 c 1135s| 3210k| 38682 | 6845k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2045k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1141.83/1141.85 c 1142s| 3220k| 38380 | 6865k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2053k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1149.02/1149.03 c 1149s| 3230k| 37839 | 6884k| 2.1 | 65M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2061k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1155.22/1155.22 c 1155s| 3240k| 38232 | 6904k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2069k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1160.92/1160.90 c 1161s| 3250k| 39056 | 6924k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2076k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1166.82/1166.88 c 1167s| 3260k| 39379 | 6944k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2083k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1173.02/1173.03 c 1173s| 3270k| 39306 | 6963k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2091k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1181.32/1181.37 c 1181s| 3280k| 38215 | 6982k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2099k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1187.62/1187.69 c 1188s| 3290k| 38290 | 7001k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2107k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1194.12/1194.17 c 1194s| 3300k| 38172 | 7020k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2115k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1200.03/1200.05 c 1200s| 3310k| 38248 | 7040k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2123k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1207.51/1207.53 c 1208s| 3320k| 37829 | 7060k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2131k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1213.52/1213.52 c 1214s| 3330k| 37828 | 7080k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2139k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1219.42/1219.42 c 1219s| 3340k| 37860 | 7100k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2147k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1225.33/1225.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.33/1225.35 c 1225s| 3350k| 38161 | 7120k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2154k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1231.62/1231.62 c 1232s| 3360k| 38295 | 7140k| 2.1 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2162k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1239.62/1239.64 c 1240s| 3370k| 37599 | 7158k| 2.1 | 68M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2171k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1246.92/1246.92 c 1247s| 3380k| 37067 | 7178k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2179k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1253.32/1253.36 c 1253s| 3390k| 36987 | 7198k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2187k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1259.62/1259.69 c 1260s| 3400k| 36715 | 7217k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2195k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1266.72/1266.78 c 1267s| 3410k| 36238 | 7237k| 2.1 | 67M| 39 | - | 120 | 31k| 0 | 0 | 23 |2204k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1272.52/1272.54 c 1273s| 3420k| 37550 | 7259k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2211k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1278.42/1278.44 c 1278s| 3430k| 38224 | 7280k| 2.1 | 70M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2218k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1284.82/1284.84 c 1285s| 3440k| 38369 | 7300k| 2.1 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |2226k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1290.82/1290.82 c 1291s| 3450k| 38581 | 7321k| 2.1 | 71M| 39 | - | 120 | 33k| 0 | 0 | 23 |2234k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1296.93/1296.92 c 1297s| 3460k| 38809 | 7341k| 2.1 | 71M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2241k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1303.12/1303.14 c 1303s| 3470k| 38885 | 7361k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2249k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1309.52/1309.59 c 1310s| 3480k| 38603 | 7382k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2258k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1315.62/1315.61 c 1316s| 3490k| 38583 | 7401k| 2.1 | 73M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2266k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1322.03/1322.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.03/1322.03 c 1322s| 3500k| 38394 | 7421k| 2.1 | 72M| 39 | - | 120 | 34k| 120 | 20 | 23 |2274k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1328.52/1328.54 c 1329s| 3510k| 38177 | 7440k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2282k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1337.93/1337.99 c 1338s| 3520k| 36691 | 7459k| 2.1 | 69M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2291k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1345.33/1345.31 c 1345s| 3530k| 36151 | 7478k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2299k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1353.72/1353.72 c 1354s| 3540k| 35440 | 7498k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2307k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1361.12/1361.12 c 1361s| 3550k| 34838 | 7517k| 2.1 | 66M| 39 | - | 120 | 30k| 0 | 0 | 23 |2315k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1367.43/1367.44 c 1367s| 3560k| 34863 | 7537k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2323k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1374.32/1374.39 c 1374s| 3570k| 34943 | 7557k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2331k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1380.32/1380.31 c 1380s| 3580k| 35171 | 7577k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2339k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1386.33/1386.32 c 1386s| 3590k| 35070 | 7597k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2346k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1392.72/1392.73 c 1393s| 3600k| 35055 | 7616k| 2.1 | 68M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2354k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1400.03/1400.01 c 1400s| 3610k| 34512 | 7635k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2362k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1407.13/1407.18 c 1407s| 3620k| 34166 | 7655k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2370k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1415.93/1415.95 c 1416s| 3630k| 33175 | 7675k| 2.1 | 64M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2379k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1423.03/1423.02 c 1423s| 3640k| 32909 | 7695k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2387k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1429.02/1429.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.02/1429.03 c 1429s| 3650k| 33943 | 7717k| 2.1 | 66M| 39 | - | 120 | 34k| 120 | 20 | 23 |2394k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1435.12/1435.12 c 1435s| 3660k| 34856 | 7737k| 2.1 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2401k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1441.22/1441.26 c 1441s| 3670k| 35476 | 7757k| 2.1 | 68M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1448.03/1448.09 c 1448s| 3680k| 35624 | 7776k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2416k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1454.72/1454.72 c 1455s| 3690k| 35591 | 7796k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2424k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1461.33/1461.38 c 1461s| 3700k| 35251 | 7815k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2432k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1468.23/1468.25 c 1468s| 3710k| 34942 | 7835k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2440k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1476.32/1476.35 c 1476s| 3720k| 33881 | 7854k| 2.1 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2448k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1483.83/1483.81 c 1484s| 3730k| 33266 | 7873k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2457k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1491.83/1491.85 c 1492s| 3740k| 32941 | 7894k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |2465k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1498.13/1498.13 c 1498s| 3750k| 33205 | 7914k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2473k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1504.83/1504.88 c 1505s| 3760k| 33377 | 7934k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2481k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1511.73/1511.72 c 1512s| 3770k| 33428 | 7955k| 2.1 | 68M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2489k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1519.53/1519.57 c 1520s| 3780k| 32936 | 7975k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2497k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1526.63/1526.64 c 1527s| 3790k| 33144 | 7995k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2505k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1532.93/1532.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.93/1532.90 c 1533s| 3800k| 33296 | 8014k| 2.1 | 67M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2513k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1540.53/1540.52 c 1541s| 3810k| 32470 | 8032k| 2.1 | 65M| 39 | - | 120 | 34k| 120 | 20 | 23 |2522k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1548.22/1548.29 c 1548s| 3820k| 32635 | 8052k| 2.1 | 65M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2529k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1554.83/1554.87 c 1555s| 3830k| 32905 | 8071k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2536k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1563.23/1563.29 c 1563s| 3840k| 31909 | 8089k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2544k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1571.33/1571.35 c 1571s| 3850k| 31663 | 8109k| 2.1 | 63M| 39 | - | 120 | 32k| 120 | 20 | 23 |2552k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1576.82/1576.81 c 1577s| 3860k| 32053 | 8130k| 2.1 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2560k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1583.83/1583.90 c 1584s| 3870k| 31159 | 8148k| 2.1 | 63M| 39 | - | 120 | 33k| 120 | 20 | 23 |2569k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1591.83/1591.83 c 1592s| 3880k| 30874 | 8169k| 2.1 | 62M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2577k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1597.83/1597.83 c 1598s| 3890k| 31061 | 8190k| 2.1 | 63M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2585k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1603.63/1603.64 c 1604s| 3900k| 31949 | 8209k| 2.1 | 64M| 39 | - | 120 | 35k| 120 | 20 | 23 |2592k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1609.93/1609.93 c 1610s| 3910k| 31945 | 8228k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |2599k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1616.83/1616.84 c 1617s| 3920k| 31421 | 8248k| 2.1 | 64M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2608k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1626.13/1626.13 c 1626s| 3930k| 30027 | 8267k| 2.1 | 61M| 39 | - | 120 | 33k| 120 | 20 | 23 |2617k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1633.73/1633.72 c 1634s| 3940k| 29631 | 8286k| 2.1 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2625k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1640.03/1640.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.03/1640.01 c 1640s| 3950k| 29714 | 8307k| 2.1 | 61M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2634k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1647.03/1647.01 c 1647s| 3960k| 29391 | 8326k| 2.1 | 60M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2642k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1652.43/1652.49 c 1652s| 3970k| 29843 | 8346k| 2.1 | 62M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2649k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1660.23/1660.26 c 1660s| 3980k| 29331 | 8365k| 2.1 | 60M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2657k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1667.33/1667.30 c 1667s| 3990k| 29643 | 8385k| 2.1 | 61M| 39 | - | 120 | 36k| 120 | 20 | 23 |2664k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1674.74/1674.79 c 1675s| 4000k| 29192 | 8403k| 2.1 | 61M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2672k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1686.84/1686.88 c 1687s| 4010k| 27473 | 8421k| 2.1 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |2682k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1696.14/1696.16 c 1696s| 4020k| 26476 | 8441k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2690k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1704.24/1704.23 c 1704s| 4030k| 25707 | 8460k| 2.1 | 52M| 39 | - | 120 | 32k| 120 | 20 | 23 |2699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1709.93/1709.99 c 1710s| 4040k| 26698 | 8481k| 2.1 | 53M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2706k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1715.94/1715.98 c 1716s| 4050k| 27310 | 8500k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1722.64/1722.61 c 1723s| 4060k| 27409 | 8519k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2721k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1729.03/1729.05 c 1729s| 4070k| 27651 | 8538k| 2.1 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2729k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1735.33/1735.33 c 1735s| 4080k| 27969 | 8557k| 2.1 | 57M| 39 | - | 120 | 37k| 120 | 20 | 23 |2736k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1742.23/1742.22 c 1742s| 4090k| 27987 | 8576k| 2.1 | 57M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2744k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1749.53/1749.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.53/1749.50 c 1749s| 4100k| 27617 | 8595k| 2.1 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2752k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1756.04/1756.03 c 1756s| 4110k| 27938 | 8614k| 2.1 | 58M| 39 | - | 120 | 37k| 0 | 0 | 23 |2760k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1763.63/1763.67 c 1764s| 4120k| 27268 | 8633k| 2.1 | 57M| 39 | - | 120 | 36k| 0 | 0 | 23 |2768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1773.43/1773.40 c 1773s| 4130k| 25553 | 8651k| 2.1 | 53M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2777k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1780.94/1780.93 c 1781s| 4140k| 25538 | 8671k| 2.1 | 53M| 39 | - | 120 | 36k| 120 | 20 | 23 |2785k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1788.23/1788.27 c 1788s| 4150k| 25046 | 8689k| 2.1 | 52M| 39 | - | 120 | 37k| 0 | 0 | 23 |2793k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 4159579
1797.03/1797.00 c Primal Bound : +1.00000000000000e+00 (39 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s SATISFIABLE
1797.03/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
1797.03/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
1797.03/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
1797.03/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
1797.03/1797.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.00 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3489003-1307773615.opb
1797.03/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 10 initial, 10 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3489003-1307773615.opb
1797.03/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 5 initial, 38516 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 5 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 80 - - 80 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2267184 0 26 0 225 4576 0 0 4524796
1797.03/1797.00 c linear : 5+ 7 10453840 2 0 23 4623346 715030 4982597 0 0 0
1797.03/1797.00 c logicor : 0+ 0 5667095 0 0 0 5260703 47627 2700856 0 0 0
1797.03/1797.00 c countsols : 0 0 0 19 0 22 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 13.48 0.00 0.00 13.48 0.00 0.00 0.00
1797.03/1797.00 c linear : 112.98 0.00 102.00 0.00 0.00 0.00 10.99
1797.03/1797.00 c logicor : 607.89 0.00 601.69 0.00 0.00 0.00 6.20
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 32 0 0 80
1797.03/1797.00 c pseudoobj : 10455553 7912 1892 49129
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.60 1.60 0.00
1797.03/1797.00 c rootredcost : 1.69 1.69 0.00
1797.03/1797.00 c pseudoobj : 19.00 18.99 0.01
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 21.25 764549 567287 1594010 29.4 430 25.0 -
1797.03/1797.00 c infeasible LP : 36.98 1289910 1289881 2600357 20.1 20071 24.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 2667477 20.3 - - -
1797.03/1797.00 c applied locally : - - - 133665 33.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1797.03/1797.00 c redcost : 6.93 2348040 0 1537992 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.00 6 0 0 1 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.00 6 0 0 12 0
1797.03/1797.00 c cmir : 0.01 6 0 0 39 0
1797.03/1797.00 c flowcover : 0.01 6 0 0 54 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.01 1 0 0 0 2
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 12.22 2267165 225 4576 0 0 4524796
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.01 - 19
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c intshifting : 0.08 0 0
1797.03/1797.00 c feaspump : 0.05 1 0
1797.03/1797.00 c oneopt : 0.90 31 0
1797.03/1797.00 c crossover : 2.85 7 0
1797.03/1797.00 c pscostdiving : 4.96 6369 3
1797.03/1797.00 c objpscostdiving : 1.36 3185 1
1797.03/1797.00 c rootsoldiving : 2.68 3185 1
1797.03/1797.00 c fracdiving : 4.92 6370 5
1797.03/1797.00 c linesearchdiving : 4.88 6370 1
1797.03/1797.00 c guideddiving : 4.82 6370 0
1797.03/1797.00 c veclendiving : 5.64 6370 1
1797.03/1797.00 c coefdiving : 5.30 6370 1
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.00 1 1
1797.03/1797.00 c simplerounding : 0.46 0 0
1797.03/1797.00 c zirounding : 6.20 0 0
1797.03/1797.00 c rounding : 0.94 21638 0
1797.03/1797.00 c shifting : 8.39 28415 5
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.04 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.64 0 0
1797.03/1797.00 c trysol : 0.81 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 210.86 3629841 8352436 2.30 39611.97
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 10.37 184053 355570 1.93 34272.81
1797.03/1797.00 c strong branching : 0.94 9590 32043 3.34 34030.19
1797.03/1797.00 c (at root node) : - 11 630 57.27 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 4159579
1797.03/1797.00 c nodes (total) : 4159579
1797.03/1797.00 c nodes left : 24576
1797.03/1797.00 c max depth : 39
1797.03/1797.00 c max depth (total): 39
1797.03/1797.00 c backtracks : 1273472 (30.6%)
1797.03/1797.00 c delayed cutoffs : 336023
1797.03/1797.00 c repropagations : 3400216 (3762207 domain reductions, 268983 cutoffs)
1797.03/1797.00 c avg switch length: 5.57
1797.03/1797.00 c switching time : 460.45
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 39 (33 improvements)
1797.03/1797.00 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1797.03/1797.00 c Primal Bound : +1.00000000000000e+00 (in run 1, after 666669 nodes, 91.43 seconds, depth 34, found by <relaxation>)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 61
1797.14/1797.13 c Time complete: 1797.16.
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3489003-1307773615/watcher-3489003-1307773615 -o /tmp/evaluation-result-3489003-1307773615/solver-3489003-1307773615 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489003-1307773615.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.01 2.00 2/177 9642 /proc/meminfo: memFree=29966824/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=12700 CPUtime=0 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 888961175 13004800 2100 33554432000 4194304 9016284 140737153616064 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/9642/statm: 3175 2103 356 1178 0 1993 0 [startup+0.072633 s] /proc/loadavg: 2.00 2.01 2.00 2/177 9642 /proc/meminfo: memFree=29966824/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=30436 CPUtime=0.06 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 7157 0 0 0 6 0 0 0 25 0 1 0 888961175 31166464 6148 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 7609 6148 681 1178 0 6427 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 30436 [startup+0.100676 s] /proc/loadavg: 2.00 2.01 2.00 2/177 9642 /proc/meminfo: memFree=29966824/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=26740 CPUtime=0.09 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 7158 0 0 0 8 1 0 0 25 0 1 0 888961175 27381760 5662 33554432000 4194304 9016284 140737153616064 18446744073709551615 4445242 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6685 5662 682 1178 0 5503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26740 [startup+0.300641 s] /proc/loadavg: 2.00 2.01 2.00 2/177 9642 /proc/meminfo: memFree=29966824/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=26740 CPUtime=0.29 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 7161 0 0 0 27 2 0 0 25 0 1 0 888961175 27381760 5665 33554432000 4194304 9016284 140737153616064 18446744073709551615 5877939 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6685 5665 685 1178 0 5503 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26740 [startup+0.70064 s] /proc/loadavg: 2.00 2.01 2.00 2/177 9642 /proc/meminfo: memFree=29966824/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=26740 CPUtime=0.69 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 7166 0 0 0 66 3 0 0 25 0 1 0 888961175 27381760 5670 33554432000 4194304 9016284 140737153616064 18446744073709551615 5878165 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6685 5670 685 1178 0 5503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26740 [startup+1.50049 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9644 /proc/meminfo: memFree=29946132/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=27896 CPUtime=1.49 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 7447 0 0 0 144 5 0 0 25 0 1 0 888961175 28565504 5951 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6974 5951 685 1178 0 5792 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27896 [startup+3.10021 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9644 /proc/meminfo: memFree=29945240/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=26740 CPUtime=3.09 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 9306 0 0 0 297 12 0 0 25 0 1 0 888961175 27381760 5693 33554432000 4194304 9016284 140737153616064 18446744073709551615 5878149 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6685 5693 685 1178 0 5503 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26740 [startup+6.30054 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9644 /proc/meminfo: memFree=29939508/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=26740 CPUtime=6.29 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 19281 0 0 0 598 31 0 0 25 0 1 0 888961175 27381760 5717 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 6685 5717 688 1178 0 5503 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26740 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9644 /proc/meminfo: memFree=29931184/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=28816 CPUtime=12.69 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 31430 0 0 0 1208 61 0 0 25 0 1 0 888961175 29507584 6145 33554432000 4194304 9016284 140737153616064 18446744073709551615 5221899 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 7204 6145 688 1178 0 6022 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28816 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9644 /proc/meminfo: memFree=29916792/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=32196 CPUtime=25.49 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 36950 0 0 0 2431 118 0 0 25 0 1 0 888961175 32968704 7032 33554432000 4194304 9016284 140737153616064 18446744073709551615 6679808 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 8049 7032 688 1178 0 6867 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32196 [startup+51.1008 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9645 /proc/meminfo: memFree=29889468/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=36116 CPUtime=51.1 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 53306 0 0 0 4881 229 0 0 25 0 1 0 888961175 36982784 8004 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 9029 8004 688 1178 0 7847 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 36116 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9646 /proc/meminfo: memFree=29830484/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=50512 CPUtime=102.3 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 90087 0 0 0 9799 431 0 0 25 0 1 0 888961175 51724288 11640 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 12628 11640 688 1178 0 11446 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 50512 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9687 /proc/meminfo: memFree=31627672/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=56708 CPUtime=162.3 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 100974 0 0 0 15667 563 0 0 25 0 1 0 888961175 58068992 13147 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 14177 13147 688 1178 0 12995 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 56708 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9688 /proc/meminfo: memFree=31624572/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=58940 CPUtime=222.29 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 105823 0 0 0 21568 661 0 0 25 0 1 0 888961175 60354560 13651 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 14735 13651 688 1178 0 13553 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 58940 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9690 /proc/meminfo: memFree=31617588/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=61032 CPUtime=282.29 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 106207 0 0 0 27469 760 0 0 25 0 1 0 888961175 62496768 14035 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 15258 14035 688 1178 0 14076 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 61032 [startup+342.301 s] /proc/loadavg: 2.04 2.01 2.00 3/178 9692 /proc/meminfo: memFree=31614312/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=62588 CPUtime=342.29 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 110667 0 0 0 33373 856 0 0 25 0 1 0 888961175 64090112 14418 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 15647 14418 688 1178 0 14465 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 62588 [startup+402.301 s] /proc/loadavg: 2.01 2.01 2.00 3/178 9693 /proc/meminfo: memFree=31610260/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=64056 CPUtime=402.31 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 110984 0 0 0 39270 961 0 0 25 0 1 0 888961175 65593344 14735 33554432000 4194304 9016284 140737153616064 18446744073709551615 4844428 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 16014 14735 688 1178 0 14832 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 64056 [startup+462.3 s] /proc/loadavg: 2.05 2.02 2.00 3/178 9695 /proc/meminfo: memFree=31609936/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=64448 CPUtime=462.3 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 111036 0 0 0 45153 1077 0 0 25 0 1 0 888961175 65994752 14787 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 16112 14787 688 1178 0 14930 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 64448 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/178 9696 /proc/meminfo: memFree=31610752/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=64752 CPUtime=522.31 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 111087 0 0 0 51049 1182 0 0 25 0 1 0 888961175 66306048 14838 33554432000 4194304 9016284 140737153616064 18446744073709551615 5221837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 16188 14838 688 1178 0 15006 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 64752 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 9698 /proc/meminfo: memFree=31607456/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=68080 CPUtime=582.31 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 111846 0 0 0 56954 1277 0 0 25 0 1 0 888961175 69713920 15597 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 17020 15597 688 1178 0 15838 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 68080 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31511768/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=96404 CPUtime=1062.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 126122 0 0 0 104379 1853 0 0 25 0 1 0 888961175 98717696 22531 33554432000 4194304 9016284 140737153616064 18446744073709551615 4321411 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 24101 22531 688 1178 0 22919 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 96404 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9712 /proc/meminfo: memFree=31484072/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=104044 CPUtime=1122.31 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 128089 0 0 0 110318 1913 0 0 25 0 1 0 888961175 106541056 24498 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 26011 24498 688 1178 0 24829 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 104044 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9714 /proc/meminfo: memFree=31482284/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=105008 CPUtime=1182.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 128337 0 0 0 116255 1977 0 0 25 0 1 0 888961175 107528192 24746 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 26252 24746 688 1178 0 25070 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 105008 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9716 /proc/meminfo: memFree=31479004/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=107688 CPUtime=1242.33 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129035 0 0 0 122198 2035 0 0 25 0 1 0 888961175 110272512 25444 33554432000 4194304 9016284 140737153616064 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 26922 25444 688 1178 0 25740 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 107688 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9717 /proc/meminfo: memFree=31475728/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1302.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129347 0 0 0 128135 2097 0 0 25 0 1 0 888961175 111677440 25756 33554432000 4194304 9016284 140737153616064 18446744073709551615 5254010 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25756 688 1178 0 26083 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 109060 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9719 /proc/meminfo: memFree=31475280/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1362.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129351 0 0 0 134084 2148 0 0 25 0 1 0 888961175 111677440 25760 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25760 688 1178 0 26083 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 109060 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9720 /proc/meminfo: memFree=31471248/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1422.34 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129351 0 0 0 140035 2199 0 0 25 0 1 0 888961175 111677440 25760 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25760 688 1178 0 26083 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 109060 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9722 /proc/meminfo: memFree=31458164/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1482.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129351 0 0 0 145979 2253 0 0 25 0 1 0 888961175 111677440 25760 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25760 688 1178 0 26083 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 109060 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9724 /proc/meminfo: memFree=31438392/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1542.32 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129353 0 0 0 151925 2307 0 0 25 0 1 0 888961175 111677440 25762 33554432000 4194304 9016284 140737153616064 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25762 688 1178 0 26083 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 109060 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9725 /proc/meminfo: memFree=31435844/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109060 CPUtime=1602.33 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 129353 0 0 0 157872 2361 0 0 25 0 1 0 888961175 111677440 25762 33554432000 4194304 9016284 140737153616064 18446744073709551615 4320939 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27265 25762 688 1178 0 26083 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 109060 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9727 /proc/meminfo: memFree=31435040/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1662.33 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138898 0 0 0 163812 2421 0 0 25 0 1 0 888961175 111882240 25847 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25847 688 1178 0 26133 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 109260 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9728 /proc/meminfo: memFree=31434728/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1722.33 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138898 0 0 0 169766 2467 0 0 25 0 1 0 888961175 111882240 25847 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325784 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25847 688 1178 0 26133 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 109260 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 9730 /proc/meminfo: memFree=31434044/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1782.34 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138906 0 0 0 175719 2515 0 0 25 0 1 0 888961175 111882240 25855 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25855 688 1178 0 26133 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 109260 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433544/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1785.53 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138948 0 0 0 176034 2519 0 0 25 0 1 0 888961175 111882240 25897 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25897 688 1178 0 26133 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 109260 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433540/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1791.94 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138951 0 0 0 176670 2524 0 0 25 0 1 0 888961175 111882240 25900 33554432000 4194304 9016284 140737153616064 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25900 688 1178 0 26133 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 109260 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433168/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1795.14 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138951 0 0 0 176987 2527 0 0 25 0 1 0 888961175 111882240 25900 33554432000 4194304 9016284 140737153616064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25900 688 1178 0 26133 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 109260 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433168/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1795.94 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138951 0 0 0 177067 2527 0 0 25 0 1 0 888961175 111882240 25900 33554432000 4194304 9016284 140737153616064 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25900 688 1178 0 26133 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 109260 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433284/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109260 CPUtime=1796.74 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 138951 0 0 0 177147 2527 0 0 25 0 1 0 888961175 111882240 25900 33554432000 4194304 9016284 140737153616064 18446744073709551615 6469444 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/9642/statm: 27315 25900 688 1178 0 26133 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 109260 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 9730 /proc/meminfo: memFree=31433284/32950928 swapFree=67079488/67111528 [pid=9642] ppid=9640 vsize=109552 CPUtime=1797.14 cores=0,2,4,6 /proc/9642/stat : 9642 (scip-2.0.1.4b_2) R 9640 9642 7911 0 -1 4202496 139035 0 0 0 177186 2528 0 0 25 0 1 0 888961175 112181248 25984 33554432000 4194304 9016284 140737153616064 18446744073709551615 6817575 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/9642/statm: 27388 25984 690 1178 0 26206 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 109552 Child status: 0 Real time (s): 1797.13 CPU time (s): 1797.17 CPU user time (s): 1771.89 CPU system time (s): 25.2842 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 137656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.89 system time used= 25.2842 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139040 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= 10 involuntary context switches= 2611 runsolver used 2.5956 second user time and 5.62315 second system time The end
Begin job on node125 at 2011-06-11 08:26:55 IDJOB=3489003 IDBENCH=2923 IDSOLVER=1979 FILE ID=node125/3489003-1307773615 RUNJOBID= node125-1307759259-7929 PBS_JOBID= 13550864 Free space on /tmp= 74012 MiB SOLVER NAME= 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-3489003-1307773615/watcher-3489003-1307773615 -o /tmp/evaluation-result-3489003-1307773615/solver-3489003-1307773615 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489003-1307773615.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1045953054 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29967376 kB Buffers: 282860 kB Cached: 728468 kB SwapCached: 3400 kB Active: 2233048 kB Inactive: 549356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29967376 kB SwapTotal: 67111528 kB SwapFree: 67079488 kB Dirty: 16948 kB Writeback: 4 kB AnonPages: 1769072 kB Mapped: 16876 kB Slab: 132760 kB PageTables: 7976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1942664 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73996 MiB End job on node125 at 2011-06-11 08:56:52