Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | 1 | 1797.2 | 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.4 [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-3485561-1307774948.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.4
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 | - | 485k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.02 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 | - | 609k| 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 | - | 610k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.15 o 907
0.09/0.15 c c 0.2s| 36 | 37 | 371 | 8.9 | 643k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.09/0.16 o 728
0.09/0.16 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.18 o 96
0.09/0.18 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.19 o 94
0.09/0.19 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.23 o 92
0.19/0.23 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 | 780k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.19/0.25 o 88
0.19/0.25 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.25 o 86
0.19/0.25 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.25 o 84
0.19/0.25 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.26 o 83
0.19/0.26 c * 0.3s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.19/0.26 o 81
0.19/0.26 c * 0.3s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.19/0.27 o 79
0.19/0.27 c * 0.3s| 360 | 278 | 1781 | 4.8 | 822k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.19/0.27 o 77
0.19/0.27 c * 0.3s| 361 | 273 | 1781 | 4.8 | 819k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.19/0.28 o 73
0.19/0.28 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.29/0.32 o 72
0.29/0.32 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.29/0.32 o 69
0.29/0.32 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.29/0.32 o 21
0.29/0.32 c s 0.3s| 484 | 292 | 2386 | 4.8 | 823k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.29/0.32 o 20
0.29/0.32 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.47 o 15
1.39/1.47 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.47 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2405k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.59/2.63 o 14
2.59/2.63 c * 2.6s| 9166 | 6403 | 45705 | 5.0 |3668k| 39 | - | 120 | 177 | 120 | 20 | 23 |1594 | 710 | 0.000000e+00 | 1.400000e+01 | Inf
2.79/2.84 c 2.8s| 10000 | 6886 | 49415 | 4.9 |3882k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.19/4.22 o 13
4.19/4.22 c p 4.2s| 16567 | 10184 | 74695 | 4.5 |5505k| 39 | - | 120 | 220 | 120 | 20 | 23 |2724 | 948 | 0.000000e+00 | 1.300000e+01 | Inf
4.19/4.22 o 11
4.19/4.22 c f 4.2s| 16567 | 10112 | 74695 | 4.5 |5429k| 39 | - | 120 | 221 | 120 | 20 | 23 |2727 | 948 | 0.000000e+00 | 1.100000e+01 | Inf
5.40/5.41 c 5.4s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
6.09/6.13 o 9
6.09/6.13 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.19 o 8
6.09/6.19 c * 6.2s| 24454 | 12738 |102209 | 4.2 |6604k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.09/6.19 o 6
6.09/6.19 c * 6.2s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
7.10/7.12 c 7.1s| 30000 | 14005 |119930 | 4.0 |7092k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.49/8.59 c 8.6s| 40000 | 15780 |148504 | 3.7 |8138k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.19/10.27 c 10.3s| 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.75 c 11.8s| 60000 | 16718 |205970 | 3.4 |9098k| 39 | - | 120 | 454 | 120 | 20 | 23 |7624 |2047 | 0.000000e+00 | 6.000000e+00 | Inf
13.09/13.15 c 13.2s| 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.59 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.99/16.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.00 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.39/17.42 c 17.4s|100000 | 17372 |320689 | 3.2 |9974k| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 12k|2918 | 0.000000e+00 | 6.000000e+00 | Inf
18.70/18.78 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.14 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.55 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.34 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.70 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.05 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.40/28.46 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.82 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.17 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.51 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.86 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.21 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.54 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.54 c 36.5s|240000 | 23393 |719115 | 3.0 | 15M| 39 | 5 | 120 | 144 | 120 | 20 | 23 | 28k|4892 | 0.000000e+00 | 6.000000e+00 | Inf
37.79/37.87 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.19/39.21 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.49/40.55 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.23 o 5
41.19/41.23 c *41.2s|274965 | 22711 |814610 | 3.0 | 15M| 39 | - | 120 | 151 | 120 | 20 | 23 | 33k|5272 | 0.000000e+00 | 5.000000e+00 | Inf
41.89/41.91 c 41.9s|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.24 c 43.2s|290000 | 22301 |856432 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 34k|5499 | 0.000000e+00 | 5.000000e+00 | Inf
44.49/44.54 c 44.5s|300000 | 22344 |883619 | 2.9 | 15M| 39 | - | 120 | 181 | 120 | 20 | 23 | 36k|5652 | 0.000000e+00 | 5.000000e+00 | Inf
45.80/45.83 c 45.8s|310000 | 22058 |910059 | 2.9 | 15M| 39 | 5 | 120 | 163 | 120 | 20 | 23 | 37k|5801 | 0.000000e+00 | 5.000000e+00 | Inf
47.09/47.15 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.40/48.49 c 48.5s|330000 | 21636 |964439 | 2.9 | 15M| 39 | - | 120 | 194 | 120 | 20 | 23 | 39k|6112 | 0.000000e+00 | 5.000000e+00 | Inf
49.79/49.80 c 49.8s|340000 | 21943 |993008 | 2.9 | 15M| 39 | - | 120 | 184 | 120 | 20 | 23 | 40k|6284 | 0.000000e+00 | 5.000000e+00 | Inf
51.10/51.12 c 51.1s|350000 | 22760 | 1020k| 2.9 | 16M| 39 | - | 120 | 241 | 120 | 20 | 23 | 41k|6444 | 0.000000e+00 | 5.000000e+00 | Inf
52.49/52.51 c 52.5s|360000 | 24742 | 1050k| 2.9 | 17M| 39 | - | 120 | 262 | 120 | 20 | 23 | 42k|6546 | 0.000000e+00 | 5.000000e+00 | Inf
53.80/53.81 c 53.8s|370000 | 25794 | 1076k| 2.9 | 18M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 43k|6672 | 0.000000e+00 | 5.000000e+00 | Inf
55.10/55.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.10/55.17 c 55.2s|380000 | 27558 | 1104k| 2.9 | 19M| 39 | - | 120 | 239 | 120 | 20 | 23 | 44k|6775 | 0.000000e+00 | 5.000000e+00 | Inf
56.39/56.49 c 56.5s|390000 | 28985 | 1132k| 2.9 | 20M| 39 | 5 | 120 | 234 | 120 | 20 | 23 | 45k|6886 | 0.000000e+00 | 5.000000e+00 | Inf
57.70/57.78 c 57.8s|400000 | 29823 | 1158k| 2.9 | 20M| 39 | - | 120 | 243 | 120 | 20 | 23 | 46k|7002 | 0.000000e+00 | 5.000000e+00 | Inf
59.10/59.11 c 59.1s|410000 | 30560 | 1185k| 2.9 | 21M| 39 | - | 120 | 240 | 0 | 0 | 23 | 47k|7154 | 0.000000e+00 | 5.000000e+00 | Inf
60.40/60.41 c 60.4s|420000 | 31210 | 1212k| 2.9 | 21M| 39 | - | 120 | 207 | 120 | 20 | 23 | 48k|7285 | 0.000000e+00 | 5.000000e+00 | Inf
61.69/61.70 c 61.7s|430000 | 31462 | 1239k| 2.9 | 22M| 39 | 5 | 120 | 229 | 120 | 20 | 23 | 49k|7383 | 0.000000e+00 | 5.000000e+00 | Inf
62.89/62.98 c 63.0s|440000 | 32000 | 1265k| 2.9 | 22M| 39 | 5 | 120 | 207 | 120 | 20 | 23 | 50k|7514 | 0.000000e+00 | 5.000000e+00 | Inf
64.19/64.25 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.49/65.51 c 65.5s|460000 | 32469 | 1316k| 2.9 | 23M| 39 | 5 | 120 | 204 | 120 | 20 | 23 | 52k|7733 | 0.000000e+00 | 5.000000e+00 | Inf
66.69/66.77 c 66.8s|470000 | 32641 | 1341k| 2.9 | 23M| 39 | - | 120 | 214 | 120 | 20 | 23 | 54k|7845 | 0.000000e+00 | 5.000000e+00 | Inf
67.99/68.08 c 68.1s|480000 | 33018 | 1368k| 2.9 | 23M| 39 | 5 | 120 | 192 | 120 | 20 | 23 | 55k|7955 | 0.000000e+00 | 5.000000e+00 | Inf
69.30/69.33 c 69.3s|490000 | 32917 | 1394k| 2.8 | 23M| 39 | 5 | 120 | 211 | 120 | 20 | 23 | 56k|8050 | 0.000000e+00 | 5.000000e+00 | Inf
70.49/70.59 c 70.6s|500000 | 33046 | 1419k| 2.8 | 24M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 57k|8164 | 0.000000e+00 | 5.000000e+00 | Inf
71.79/71.86 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.09/73.12 c 73.1s|520000 | 33037 | 1470k| 2.8 | 24M| 39 | - | 120 | 258 | 0 | 0 | 23 | 59k|8365 | 0.000000e+00 | 5.000000e+00 | Inf
74.30/74.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.30/74.39 c 74.4s|530000 | 33152 | 1496k| 2.8 | 24M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 60k|8453 | 0.000000e+00 | 5.000000e+00 | Inf
75.59/75.64 c 75.6s|540000 | 32967 | 1520k| 2.8 | 24M| 39 | - | 120 | 269 | 120 | 20 | 23 | 61k|8536 | 0.000000e+00 | 5.000000e+00 | Inf
76.90/76.93 c 76.9s|550000 | 33114 | 1546k| 2.8 | 24M| 39 | 5 | 120 | 266 | 120 | 20 | 23 | 62k|8632 | 0.000000e+00 | 5.000000e+00 | Inf
78.09/78.19 c 78.2s|560000 | 33111 | 1570k| 2.8 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 63k|8721 | 0.000000e+00 | 5.000000e+00 | Inf
79.39/79.48 c 79.5s|570000 | 33294 | 1595k| 2.8 | 25M| 39 | 5 | 120 | 326 | 120 | 20 | 23 | 64k|8808 | 0.000000e+00 | 5.000000e+00 | Inf
80.70/80.73 c 80.7s|580000 | 33199 | 1620k| 2.8 | 25M| 39 | - | 120 | 351 | 120 | 20 | 23 | 65k|8893 | 0.000000e+00 | 5.000000e+00 | Inf
82.00/82.03 c 82.0s|590000 | 33434 | 1646k| 2.8 | 25M| 39 | - | 120 | 296 | 120 | 20 | 23 | 66k|9002 | 0.000000e+00 | 5.000000e+00 | Inf
83.30/83.35 c 83.3s|600000 | 34399 | 1672k| 2.8 | 26M| 39 | - | 120 | 289 | 0 | 0 | 23 | 67k|9107 | 0.000000e+00 | 5.000000e+00 | Inf
84.60/84.65 c 84.6s|610000 | 35097 | 1699k| 2.8 | 26M| 39 | - | 120 | 288 | 120 | 20 | 23 | 69k|9194 | 0.000000e+00 | 5.000000e+00 | Inf
85.89/85.92 c 85.9s|620000 | 35269 | 1725k| 2.8 | 26M| 39 | 5 | 120 | 298 | 120 | 20 | 23 | 70k|9289 | 0.000000e+00 | 5.000000e+00 | Inf
86.30/86.31 o 4
86.30/86.31 c f86.3s|623206 | 34748 | 1734k| 2.8 | 25M| 39 | - | 120 | 311 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 4.000000e+00 | Inf
86.30/86.32 o 2
86.30/86.32 c *86.3s|623219 | 32650 | 1734k| 2.8 | 22M| 39 | - | 120 | 298 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 2.000000e+00 | Inf
87.09/87.13 c 87.1s|630000 | 32496 | 1750k| 2.8 | 22M| 39 | - | 120 | 301 | 120 | 20 | 23 | 70k|9322 | 0.000000e+00 | 2.000000e+00 | Inf
88.19/88.26 c 88.3s|640000 | 32723 | 1774k| 2.8 | 22M| 39 | 5 | 120 | 398 | 120 | 20 | 23 | 71k|9355 | 0.000000e+00 | 2.000000e+00 | Inf
89.40/89.43 c 89.4s|650000 | 33048 | 1798k| 2.8 | 22M| 39 | - | 120 | 365 | 0 | 0 | 23 | 72k|9420 | 0.000000e+00 | 2.000000e+00 | Inf
90.49/90.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.49/90.55 c 90.6s|660000 | 33426 | 1822k| 2.8 | 23M| 39 | 5 | 120 | 404 | 120 | 20 | 23 | 73k|9443 | 0.000000e+00 | 2.000000e+00 | Inf
91.30/91.31 o 1
91.30/91.31 c *91.3s|666669 | 32817 | 1837k| 2.8 | 22M| 39 | - | 120 | 420 | 120 | 20 | 23 | 74k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
92.19/92.29 c 92.3s|670000 | 32650 | 1843k| 2.8 | 23M| 39 | 5 | 120 |1786 | 120 | 20 | 23 | 76k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
94.19/94.25 c 94.3s|680000 | 33228 | 1863k| 2.7 | 24M| 39 | 5 | 120 |3995 | 120 | 20 | 23 | 83k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
96.50/96.51 c 96.5s|690000 | 32613 | 1881k| 2.7 | 24M| 39 | 5 | 120 |2793 | 120 | 20 | 23 | 91k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
98.60/98.61 c 98.6s|700000 | 31775 | 1900k| 2.7 | 23M| 39 | - | 120 |2149 | 120 | 20 | 23 | 99k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
100.59/100.67 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.89/102.95 c 103s|720000 | 30741 | 1939k| 2.7 | 23M| 39 | - | 120 |4042 | 120 | 20 | 23 | 115k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
105.30/105.31 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.70/107.73 c 108s|740000 | 29472 | 1979k| 2.7 | 23M| 39 | - | 120 |5241 | 120 | 20 | 23 | 131k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
110.10/110.12 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.49/112.57 c 113s|760000 | 28653 | 2019k| 2.7 | 23M| 39 | - | 120 |5233 | 120 | 20 | 23 | 146k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
114.89/114.94 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.39/117.45 c 117s|780000 | 27891 | 2059k| 2.6 | 23M| 39 | - | 120 |5725 | 120 | 20 | 23 | 162k|9470 | 0.000000e+00 | 1.000000e+00 | Inf
119.90/119.98 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.29/122.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.29/122.35 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.92 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.40/127.43 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.90 c 130s|830000 | 25875 | 2159k| 2.6 | 22M| 39 | - | 120 |6355 | 120 | 20 | 23 | 202k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
132.40/132.47 c 132s|840000 | 25496 | 2180k| 2.6 | 21M| 39 | - | 120 |6002 | 120 | 20 | 23 | 210k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
134.90/134.95 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.29/137.37 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.70/142.73 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.56 c 146s|890000 | 25234 | 2280k| 2.6 | 23M| 39 | - | 120 |9154 | 120 | 20 | 23 | 250k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
148.20/148.27 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.09/153.17 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.83 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.60/158.67 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.50/161.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.50/161.57 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.50/164.54 c 165s|960000 | 28685 | 2418k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 301k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
167.50/167.58 c 168s|970000 | 28604 | 2438k| 2.5 | 28M| 39 | - | 120 | 10k| 0 | 0 | 23 | 308k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
170.59/170.66 c 171s|980000 | 28356 | 2456k| 2.5 | 28M| 39 | - | 120 | 10k| 120 | 20 | 23 | 316k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
173.60/173.69 c 174s|990000 | 28017 | 2474k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 324k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
176.70/176.74 c 177s| 1000k| 27850 | 2493k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 332k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
179.59/179.61 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.70/182.70 c 183s| 1020k| 27680 | 2532k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 348k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
185.59/185.69 c 186s| 1030k| 28011 | 2551k| 2.5 | 29M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 355k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
189.00/189.01 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.20/192.29 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.20/195.27 c 195s| 1060k| 26968 | 2608k| 2.5 | 28M| 39 | - | 120 | 13k| 120 | 20 | 23 | 379k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
198.70/198.75 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.80/201.87 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.79/204.88 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.10/208.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.10/208.18 c 208s| 1100k| 25771 | 2685k| 2.4 | 26M| 39 | - | 120 | 12k| 120 | 20 | 23 | 411k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
211.00/211.10 c 211s| 1110k| 26200 | 2704k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 418k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
214.40/214.49 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.90/217.94 c 218s| 1130k| 25156 | 2741k| 2.4 | 24M| 39 | - | 120 | 11k| 120 | 20 | 23 | 434k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
220.79/220.86 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.70/223.79 c 224s| 1150k| 26235 | 2780k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 448k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
226.90/226.91 c 227s| 1160k| 26784 | 2800k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 456k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
230.00/230.01 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.40/233.42 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.70/236.70 c 237s| 1190k| 26964 | 2856k| 2.4 | 28M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 478k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
240.10/240.12 c 240s| 1200k| 26703 | 2875k| 2.4 | 28M| 39 | - | 120 | 14k| 120 | 20 | 23 | 486k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
243.40/243.46 c 243s| 1210k| 26450 | 2894k| 2.4 | 28M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 494k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
247.10/247.14 c 247s| 1220k| 25885 | 2912k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 502k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
251.20/251.20 c 251s| 1230k| 24665 | 2931k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 511k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
254.11/254.15 c 254s| 1240k| 24236 | 2950k| 2.4 | 22M| 39 | - | 120 |9392 | 120 | 20 | 23 | 519k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
256.80/256.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.80/256.80 c 257s| 1250k| 24877 | 2971k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 527k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
259.41/259.50 c 260s| 1260k| 25622 | 2991k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 534k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
262.70/262.70 c 263s| 1270k| 25612 | 3010k| 2.4 | 25M| 39 | - | 120 | 11k| 120 | 20 | 23 | 542k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
265.71/265.76 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.90/268.92 c 269s| 1290k| 25058 | 3048k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 558k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
272.00/272.08 c 272s| 1300k| 24809 | 3066k| 2.4 | 25M| 39 | - | 120 | 12k| 0 | 0 | 23 | 566k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
275.30/275.32 c 275s| 1310k| 24659 | 3086k| 2.4 | 24M| 39 | - | 120 | 12k| 120 | 20 | 23 | 575k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
278.41/278.44 c 278s| 1320k| 24695 | 3106k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 583k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
281.70/281.71 c 282s| 1330k| 24270 | 3126k| 2.4 | 24M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 591k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
285.00/285.04 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.60/288.65 c 289s| 1350k| 24639 | 3165k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 607k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
292.61/292.63 c 293s| 1360k| 24707 | 3183k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 615k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
297.01/297.02 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.51/301.57 c 302s| 1380k| 24174 | 3222k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 632k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
304.71/304.72 c 305s| 1390k| 24307 | 3242k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 639k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
308.31/308.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.31/308.38 c 308s| 1400k| 24081 | 3262k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 648k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
312.00/312.00 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.40/315.50 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.70/318.72 c 319s| 1430k| 22895 | 3321k| 2.3 | 24M| 39 | - | 120 | 10k| 120 | 20 | 23 | 673k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
321.80/321.83 c 322s| 1440k| 22516 | 3341k| 2.3 | 23M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 681k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
324.81/324.86 c 325s| 1450k| 22180 | 3361k| 2.3 | 23M| 39 | - | 120 | 11k| 120 | 20 | 23 | 690k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
328.31/328.30 c 328s| 1460k| 21516 | 3379k| 2.3 | 21M| 39 | - | 120 |8776 | 120 | 20 | 23 | 698k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
331.71/331.75 c 332s| 1470k| 20660 | 3399k| 2.3 | 20M| 39 | - | 120 |8253 | 120 | 20 | 23 | 706k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
334.41/334.49 c 334s| 1480k| 21003 | 3419k| 2.3 | 21M| 39 | 5 | 120 |8777 | 120 | 20 | 23 | 714k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
337.01/337.06 c 337s| 1490k| 21108 | 3438k| 2.3 | 22M| 39 | - | 120 |9932 | 0 | 0 | 23 | 721k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
339.70/339.78 c 340s| 1500k| 21237 | 3457k| 2.3 | 22M| 39 | - | 120 |9807 | 120 | 20 | 23 | 729k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
342.51/342.54 c 343s| 1510k| 21123 | 3475k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 736k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
345.20/345.25 c 345s| 1520k| 21325 | 3494k| 2.3 | 23M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 744k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
348.10/348.14 c 348s| 1530k| 20968 | 3512k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 752k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
351.00/351.03 c 351s| 1540k| 20660 | 3530k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 761k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
353.60/353.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.60/353.66 c 354s| 1550k| 21933 | 3551k| 2.3 | 24M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 767k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
356.50/356.57 c 357s| 1560k| 22418 | 3570k| 2.3 | 25M| 39 | - | 120 | 13k| 120 | 20 | 23 | 774k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
359.61/359.68 c 360s| 1570k| 22558 | 3589k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 782k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
362.81/362.85 c 363s| 1580k| 22392 | 3608k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 789k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
365.90/365.97 c 366s| 1590k| 22476 | 3626k| 2.3 | 26M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 797k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
369.30/369.36 c 369s| 1600k| 21904 | 3645k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 805k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
372.30/372.35 c 372s| 1610k| 22710 | 3664k| 2.3 | 27M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 812k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
375.61/375.63 c 376s| 1620k| 22859 | 3682k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 819k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
378.71/378.77 c 379s| 1630k| 23351 | 3701k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 826k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
382.21/382.28 c 382s| 1640k| 23402 | 3719k| 2.3 | 28M| 39 | - | 120 | 16k| 120 | 20 | 23 | 833k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
386.01/386.05 c 386s| 1650k| 22633 | 3737k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 841k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
389.70/389.75 c 390s| 1660k| 22145 | 3755k| 2.3 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 849k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
393.00/393.01 c 393s| 1670k| 22431 | 3775k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 856k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
396.90/396.96 c 397s| 1680k| 21883 | 3794k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 864k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
401.31/401.34 c 401s| 1690k| 20549 | 3811k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 873k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
404.61/404.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.61/404.68 c 405s| 1700k| 20084 | 3831k| 2.3 | 21M| 39 | - | 120 | 11k| 120 | 20 | 23 | 881k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
408.01/408.07 c 408s| 1710k| 19815 | 3850k| 2.3 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 889k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
410.70/410.73 c 411s| 1720k| 20460 | 3870k| 2.3 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 896k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
413.40/413.48 c 413s| 1730k| 20386 | 3888k| 2.2 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 903k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
416.41/416.41 c 416s| 1740k| 19858 | 3905k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 910k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
419.41/419.41 c 419s| 1750k| 20139 | 3925k| 2.2 | 22M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 918k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
422.31/422.38 c 422s| 1760k| 20618 | 3944k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 925k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
425.61/425.64 c 426s| 1770k| 20340 | 3962k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 932k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
428.80/428.80 c 429s| 1780k| 20289 | 3982k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 940k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
432.41/432.48 c 432s| 1790k| 19632 | 4000k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 948k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
435.51/435.54 c 436s| 1800k| 19626 | 4018k| 2.2 | 21M| 39 | - | 120 | 13k| 0 | 0 | 23 | 956k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
439.20/439.25 c 439s| 1810k| 19289 | 4038k| 2.2 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 964k|9548 | 0.000000e+00 | 1.000000e+00 | Inf
442.51/442.54 c 443s| 1820k| 18683 | 4058k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 972k|9550 | 0.000000e+00 | 1.000000e+00 | Inf
445.60/445.60 c 446s| 1830k| 18624 | 4078k| 2.2 | 20M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 980k|9556 | 0.000000e+00 | 1.000000e+00 | Inf
449.21/449.20 c 449s| 1840k| 18189 | 4098k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 989k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
452.11/452.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.11/452.17 c 452s| 1850k| 18195 | 4118k| 2.2 | 20M| 39 | - | 120 | 15k| 120 | 20 | 23 | 997k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
455.91/455.99 c 456s| 1860k| 17553 | 4139k| 2.2 | 17M| 39 | - | 120 |9525 | 120 | 20 | 23 |1006k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
459.20/459.23 c 459s| 1870k| 16931 | 4159k| 2.2 | 17M| 39 | - | 120 | 10k| 120 | 20 | 23 |1014k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
462.61/462.60 c 463s| 1880k| 16133 | 4180k| 2.2 | 16M| 39 | - | 120 |9958 | 120 | 20 | 23 |1023k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
465.51/465.57 c 466s| 1890k| 15871 | 4200k| 2.2 | 16M| 39 | 5 | 120 | 11k| 120 | 20 | 23 |1031k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
468.41/468.49 c 468s| 1900k| 15977 | 4220k| 2.2 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 |1039k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
472.11/472.15 c 472s| 1910k| 15334 | 4241k| 2.2 | 15M| 39 | - | 120 | 11k| 120 | 20 | 23 |1049k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
475.01/475.05 c 475s| 1920k| 15199 | 4261k| 2.2 | 15M| 39 | 5 | 120 | 12k| 120 | 20 | 23 |1057k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
478.21/478.27 c 478s| 1930k| 15426 | 4282k| 2.2 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 |1065k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
482.01/482.03 c 482s| 1940k| 15446 | 4302k| 2.2 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1073k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
485.61/485.62 c 486s| 1950k| 15582 | 4323k| 2.2 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 |1081k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
489.01/489.03 c 489s| 1960k| 16015 | 4343k| 2.2 | 19M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1088k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
492.72/492.75 c 493s| 1970k| 16550 | 4363k| 2.2 | 19M| 39 | 5 | 120 | 16k| 120 | 20 | 23 |1096k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
496.31/496.36 c 496s| 1980k| 16879 | 4383k| 2.2 | 20M| 39 | - | 120 | 17k| 0 | 0 | 23 |1103k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
499.71/499.78 c 500s| 1990k| 17109 | 4403k| 2.2 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1111k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
503.51/503.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.51/503.50 c 504s| 2000k| 17632 | 4423k| 2.2 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1119k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
507.81/507.85 c 508s| 2010k| 17596 | 4443k| 2.2 | 23M| 39 | - | 120 | 19k| 120 | 20 | 23 |1127k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
512.11/512.16 c 512s| 2020k| 17412 | 4462k| 2.2 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 |1135k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
516.11/516.11 c 516s| 2030k| 17401 | 4483k| 2.2 | 23M| 39 | - | 120 | 20k| 0 | 0 | 23 |1143k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
520.51/520.56 c 521s| 2040k| 17072 | 4502k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1151k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
524.41/524.48 c 524s| 2050k| 16967 | 4523k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1160k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
528.11/528.16 c 528s| 2060k| 17286 | 4543k| 2.2 | 23M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1168k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
532.21/532.29 c 532s| 2070k| 17115 | 4563k| 2.2 | 23M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1177k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
536.31/536.34 c 536s| 2080k| 17358 | 4584k| 2.2 | 24M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1184k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
541.11/541.11 c 541s| 2090k| 17283 | 4604k| 2.2 | 24M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1192k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
545.62/545.61 c 546s| 2100k| 17623 | 4625k| 2.2 | 26M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1200k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
550.52/550.56 c 551s| 2110k| 17327 | 4645k| 2.2 | 25M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1208k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
557.22/557.26 c 557s| 2120k| 15185 | 4664k| 2.2 | 17M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1218k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
560.51/560.57 c 561s| 2130k| 15504 | 4684k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1225k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
564.42/564.44 c 564s| 2140k| 15482 | 4704k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1233k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
568.42/568.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.42/568.43 c 568s| 2150k| 15203 | 4724k| 2.2 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1241k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
572.21/572.23 c 572s| 2160k| 14993 | 4743k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1249k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
575.51/575.56 c 576s| 2170k| 15125 | 4764k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1257k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
578.92/578.97 c 579s| 2180k| 15246 | 4784k| 2.2 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1265k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
583.21/583.25 c 583s| 2190k| 15112 | 4804k| 2.2 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1274k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
587.42/587.45 c 587s| 2200k| 15230 | 4824k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1282k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
592.22/592.22 c 592s| 2210k| 14926 | 4843k| 2.2 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1290k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
596.22/596.27 c 596s| 2220k| 15686 | 4864k| 2.2 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1297k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
600.92/600.94 c 601s| 2230k| 15597 | 4883k| 2.2 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1304k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
605.22/605.29 c 605s| 2240k| 15944 | 4904k| 2.2 | 22M| 39 | - | 120 | 23k| 120 | 20 | 23 |1311k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
610.01/610.09 c 610s| 2250k| 16057 | 4923k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1318k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
615.02/615.03 c 615s| 2260k| 15869 | 4942k| 2.2 | 22M| 39 | - | 120 | 22k| 120 | 20 | 23 |1325k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
619.72/619.74 c 620s| 2270k| 15906 | 4962k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1332k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
625.12/625.11 c 625s| 2280k| 15071 | 4981k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1340k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
629.71/629.73 c 630s| 2290k| 15258 | 5002k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1348k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
634.81/634.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.81/634.87 c 635s| 2300k| 15224 | 5022k| 2.2 | 21M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1356k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
639.82/639.83 c 640s| 2310k| 15441 | 5043k| 2.2 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1365k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
645.81/645.89 c 646s| 2320k| 15215 | 5063k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1374k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
650.51/650.58 c 651s| 2330k| 15538 | 5084k| 2.2 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1381k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
654.92/654.93 c 655s| 2340k| 15482 | 5103k| 2.2 | 21M| 39 | - | 120 | 23k| 120 | 20 | 23 |1389k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
659.22/659.29 c 659s| 2350k| 15578 | 5124k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1397k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
664.01/664.05 c 664s| 2360k| 15575 | 5144k| 2.2 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1405k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
669.22/669.26 c 669s| 2370k| 15405 | 5164k| 2.2 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1413k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
674.02/674.00 c 674s| 2380k| 15486 | 5184k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1421k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
679.32/679.33 c 679s| 2390k| 15505 | 5205k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1429k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
684.62/684.63 c 685s| 2400k| 15126 | 5224k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1436k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
689.22/689.22 c 689s| 2410k| 15127 | 5245k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1444k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
693.92/693.90 c 694s| 2420k| 15850 | 5266k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1452k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
698.72/698.71 c 699s| 2430k| 16441 | 5287k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1459k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
703.92/703.91 c 704s| 2440k| 16729 | 5307k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1467k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
709.12/709.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.12/709.12 c 709s| 2450k| 16561 | 5326k| 2.2 | 24M| 39 | - | 120 | 26k| 0 | 0 | 23 |1475k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
714.02/714.06 c 714s| 2460k| 16812 | 5347k| 2.2 | 25M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1483k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
719.22/719.26 c 719s| 2470k| 16938 | 5367k| 2.2 | 26M| 39 | - | 120 | 28k| 120 | 20 | 23 |1490k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
726.02/726.07 c 726s| 2480k| 15802 | 5387k| 2.2 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1499k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
731.02/731.00 c 731s| 2490k| 16321 | 5408k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1507k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
736.11/736.12 c 736s| 2500k| 16445 | 5428k| 2.2 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1515k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
743.02/743.08 c 743s| 2510k| 14970 | 5448k| 2.2 | 20M| 39 | - | 120 | 23k| 120 | 20 | 23 |1524k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
747.12/747.14 c 747s| 2520k| 15156 | 5468k| 2.2 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1532k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
751.23/751.25 c 751s| 2530k| 15449 | 5488k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1539k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
755.52/755.57 c 756s| 2540k| 15991 | 5507k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1546k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
760.22/760.29 c 760s| 2550k| 16005 | 5527k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1553k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
764.92/764.94 c 765s| 2560k| 16093 | 5547k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1561k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
769.92/769.96 c 770s| 2570k| 16097 | 5566k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1568k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
775.43/775.47 c 775s| 2580k| 15445 | 5584k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1576k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
780.12/780.12 c 780s| 2590k| 15544 | 5603k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1583k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
784.72/784.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.72/784.70 c 785s| 2600k| 15890 | 5622k| 2.2 | 25M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1590k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
790.72/790.79 c 791s| 2610k| 15680 | 5643k| 2.2 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1598k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
795.12/795.20 c 795s| 2620k| 17391 | 5665k| 2.2 | 23M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1605k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
799.82/799.86 c 800s| 2630k| 18471 | 5686k| 2.2 | 25M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1612k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
804.42/804.49 c 804s| 2640k| 19643 | 5707k| 2.2 | 26M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1618k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
809.52/809.53 c 810s| 2650k| 20418 | 5728k| 2.2 | 27M| 39 | - | 120 | 26k| 120 | 20 | 23 |1626k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
814.22/814.29 c 814s| 2660k| 21268 | 5749k| 2.2 | 28M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1633k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
819.03/819.08 c 819s| 2670k| 22046 | 5770k| 2.2 | 30M| 39 | - | 120 | 27k| 120 | 20 | 23 |1640k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
823.83/823.83 c 824s| 2680k| 22794 | 5790k| 2.2 | 31M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1647k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
829.43/829.45 c 829s| 2690k| 22972 | 5809k| 2.2 | 31M| 39 | - | 120 | 26k| 120 | 20 | 23 |1655k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
834.52/834.59 c 835s| 2700k| 23350 | 5829k| 2.2 | 32M| 39 | - | 120 | 27k| 120 | 20 | 23 |1662k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
840.12/840.15 c 840s| 2710k| 23427 | 5848k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1669k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
845.62/845.60 c 846s| 2720k| 23740 | 5868k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1677k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
850.12/850.14 c 850s| 2730k| 24525 | 5889k| 2.2 | 35M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1684k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
855.62/855.60 c 856s| 2740k| 25004 | 5909k| 2.2 | 36M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1692k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
861.02/861.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.02/861.03 c 861s| 2750k| 25608 | 5930k| 2.2 | 37M| 39 | - | 120 | 30k| 120 | 20 | 23 |1699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
867.02/867.08 c 867s| 2760k| 25753 | 5949k| 2.2 | 37M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1707k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
872.73/872.78 c 873s| 2770k| 25821 | 5968k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
878.73/878.75 c 879s| 2780k| 25716 | 5988k| 2.2 | 38M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1722k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
884.63/884.60 c 885s| 2790k| 25658 | 6008k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1730k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
890.32/890.38 c 890s| 2800k| 26241 | 6029k| 2.2 | 39M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1738k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
895.33/895.37 c 895s| 2810k| 26900 | 6050k| 2.2 | 41M| 39 | - | 120 | 30k| 120 | 20 | 23 |1745k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
901.12/901.13 c 901s| 2820k| 26843 | 6070k| 2.2 | 41M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1753k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
907.22/907.20 c 907s| 2830k| 27565 | 6091k| 2.2 | 41M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1761k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
912.13/912.18 c 912s| 2840k| 28531 | 6111k| 2.2 | 43M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
917.33/917.31 c 917s| 2850k| 29152 | 6131k| 2.2 | 44M| 39 | - | 120 | 30k| 120 | 20 | 23 |1775k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
922.83/922.89 c 923s| 2860k| 29482 | 6151k| 2.2 | 45M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1782k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
928.52/928.51 c 929s| 2870k| 30040 | 6170k| 2.2 | 46M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1789k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
933.93/933.99 c 934s| 2880k| 31868 | 6192k| 2.2 | 47M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1796k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
940.03/940.09 c 940s| 2890k| 32675 | 6214k| 2.2 | 49M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1803k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
945.94/945.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.94/945.93 c 946s| 2900k| 33807 | 6234k| 2.1 | 50M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1809k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
952.43/952.42 c 952s| 2910k| 34242 | 6254k| 2.1 | 51M| 39 | - | 120 | 32k| 120 | 20 | 23 |1816k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
958.83/958.87 c 959s| 2920k| 34368 | 6273k| 2.1 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1824k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
965.03/965.06 c 965s| 2930k| 34414 | 6292k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1831k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
971.13/971.17 c 971s| 2940k| 34556 | 6312k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1838k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
977.33/977.35 c 977s| 2950k| 34380 | 6331k| 2.1 | 52M| 39 | - | 120 | 31k| 120 | 20 | 23 |1846k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
983.52/983.52 c 984s| 2960k| 34315 | 6351k| 2.1 | 53M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1854k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
989.63/989.60 c 990s| 2970k| 34467 | 6370k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1862k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
996.33/996.30 c 996s| 2980k| 34093 | 6389k| 2.1 | 53M| 39 | - | 120 | 30k| 120 | 20 | 23 |1870k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1002.53/1002.51 c 1003s| 2990k| 34324 | 6409k| 2.1 | 53M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1877k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1007.83/1007.89 c 1008s| 3000k| 35088 | 6429k| 2.1 | 54M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1884k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1013.43/1013.48 c 1013s| 3010k| 35403 | 6449k| 2.1 | 55M| 39 | - | 120 | 31k| 0 | 0 | 23 |1892k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1019.33/1019.34 c 1019s| 3020k| 35332 | 6469k| 2.1 | 56M| 39 | - | 120 | 31k| 120 | 20 | 23 |1900k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1025.33/1025.33 c 1025s| 3030k| 35445 | 6489k| 2.1 | 56M| 39 | - | 120 | 31k| 0 | 0 | 23 |1907k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1031.22/1031.21 c 1031s| 3040k| 35597 | 6509k| 2.1 | 57M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1915k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1037.03/1037.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.03/1037.00 c 1037s| 3050k| 36317 | 6529k| 2.1 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1922k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1043.33/1043.37 c 1043s| 3060k| 36215 | 6548k| 2.1 | 58M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1929k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1049.63/1049.69 c 1050s| 3070k| 36113 | 6567k| 2.1 | 58M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1937k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1055.03/1055.00 c 1055s| 3080k| 36950 | 6588k| 2.1 | 59M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1944k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1060.63/1060.62 c 1061s| 3090k| 37421 | 6608k| 2.1 | 61M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1952k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1067.13/1067.14 c 1067s| 3100k| 38051 | 6629k| 2.1 | 62M| 39 | - | 120 | 34k| 120 | 20 | 23 |1959k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1073.13/1073.17 c 1073s| 3110k| 38643 | 6648k| 2.1 | 63M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1966k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1079.83/1079.86 c 1080s| 3120k| 38941 | 6668k| 2.1 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1974k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1086.23/1086.20 c 1086s| 3130k| 39353 | 6688k| 2.1 | 64M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1982k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1092.13/1092.17 c 1092s| 3140k| 39571 | 6708k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |1989k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1099.23/1099.24 c 1099s| 3150k| 39273 | 6727k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1997k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1105.93/1105.98 c 1106s| 3160k| 39159 | 6747k| 2.1 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2006k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1111.53/1111.56 c 1112s| 3170k| 39396 | 6767k| 2.1 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |2013k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1117.33/1117.33 c 1117s| 3180k| 39520 | 6787k| 2.1 | 66M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2021k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1124.14/1124.12 c 1124s| 3190k| 39329 | 6806k| 2.1 | 66M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2029k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1132.23/1132.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.23/1132.25 c 1132s| 3200k| 38577 | 6825k| 2.1 | 65M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |2037k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1138.33/1138.31 c 1138s| 3210k| 38682 | 6845k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2045k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1145.04/1145.06 c 1145s| 3220k| 38380 | 6865k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2053k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1152.23/1152.27 c 1152s| 3230k| 37839 | 6884k| 2.1 | 65M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2061k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1158.44/1158.49 c 1158s| 3240k| 38232 | 6904k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2069k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1164.14/1164.17 c 1164s| 3250k| 39056 | 6924k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2076k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1170.14/1170.18 c 1170s| 3260k| 39379 | 6944k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2083k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1176.33/1176.36 c 1176s| 3270k| 39306 | 6963k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2091k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1184.74/1184.75 c 1185s| 3280k| 38215 | 6982k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2099k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1191.14/1191.10 c 1191s| 3290k| 38290 | 7001k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2107k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1197.63/1197.60 c 1198s| 3300k| 38172 | 7020k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2115k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1203.53/1203.51 c 1204s| 3310k| 38248 | 7040k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2123k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1211.04/1211.04 c 1211s| 3320k| 37829 | 7060k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2131k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1217.04/1217.07 c 1217s| 3330k| 37828 | 7080k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2139k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1222.93/1222.99 c 1223s| 3340k| 37860 | 7100k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2147k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1228.94/1228.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.94/1228.96 c 1229s| 3350k| 38161 | 7120k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2154k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1235.24/1235.27 c 1235s| 3360k| 38295 | 7140k| 2.1 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2162k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1243.34/1243.34 c 1243s| 3370k| 37599 | 7158k| 2.1 | 68M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2171k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1250.64/1250.68 c 1251s| 3380k| 37067 | 7178k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2179k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1257.14/1257.16 c 1257s| 3390k| 36987 | 7198k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2187k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1263.54/1263.51 c 1264s| 3400k| 36715 | 7217k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2195k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1270.64/1270.64 c 1271s| 3410k| 36238 | 7237k| 2.1 | 67M| 39 | - | 120 | 31k| 0 | 0 | 23 |2204k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1276.44/1276.44 c 1276s| 3420k| 37550 | 7259k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2211k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1282.34/1282.36 c 1282s| 3430k| 38224 | 7280k| 2.1 | 70M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2218k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1288.74/1288.79 c 1289s| 3440k| 38369 | 7300k| 2.1 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |2226k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1294.84/1294.81 c 1295s| 3450k| 38581 | 7321k| 2.1 | 71M| 39 | - | 120 | 33k| 0 | 0 | 23 |2234k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1300.94/1300.94 c 1301s| 3460k| 38809 | 7341k| 2.1 | 71M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2241k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1307.14/1307.19 c 1307s| 3470k| 38885 | 7361k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2249k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1313.64/1313.67 c 1314s| 3480k| 38603 | 7382k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2258k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1319.74/1319.72 c 1320s| 3490k| 38583 | 7401k| 2.1 | 73M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2266k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1326.14/1326.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.14/1326.18 c 1326s| 3500k| 38394 | 7421k| 2.1 | 72M| 39 | - | 120 | 34k| 120 | 20 | 23 |2274k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1332.74/1332.72 c 1333s| 3510k| 38177 | 7440k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2282k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1342.24/1342.22 c 1342s| 3520k| 36691 | 7459k| 2.1 | 69M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2291k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1349.54/1349.59 c 1350s| 3530k| 36151 | 7478k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2299k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1358.04/1358.05 c 1358s| 3540k| 35440 | 7498k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2307k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1365.44/1365.48 c 1365s| 3550k| 34838 | 7517k| 2.1 | 66M| 39 | - | 120 | 30k| 0 | 0 | 23 |2315k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1371.84/1371.84 c 1372s| 3560k| 34863 | 7537k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2323k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1378.85/1378.82 c 1379s| 3570k| 34943 | 7557k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2331k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1384.75/1384.77 c 1385s| 3580k| 35171 | 7577k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2339k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1390.84/1390.82 c 1391s| 3590k| 35070 | 7597k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2346k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1397.25/1397.26 c 1397s| 3600k| 35055 | 7616k| 2.1 | 68M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2354k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1404.54/1404.57 c 1405s| 3610k| 34512 | 7635k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2362k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1411.75/1411.77 c 1412s| 3620k| 34166 | 7655k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2370k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1420.55/1420.58 c 1421s| 3630k| 33175 | 7675k| 2.1 | 64M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2379k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1427.64/1427.69 c 1428s| 3640k| 32909 | 7695k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2387k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1433.75/1433.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.75/1433.72 c 1434s| 3650k| 33943 | 7717k| 2.1 | 66M| 39 | - | 120 | 34k| 120 | 20 | 23 |2394k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1439.85/1439.84 c 1440s| 3660k| 34856 | 7737k| 2.1 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2401k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1446.05/1446.01 c 1446s| 3670k| 35476 | 7757k| 2.1 | 68M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1452.85/1452.86 c 1453s| 3680k| 35624 | 7776k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2416k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1459.55/1459.52 c 1460s| 3690k| 35591 | 7796k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2424k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1466.15/1466.19 c 1466s| 3700k| 35251 | 7815k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2432k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1473.05/1473.09 c 1473s| 3710k| 34942 | 7835k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2440k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1481.24/1481.23 c 1481s| 3720k| 33881 | 7854k| 2.1 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2448k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1488.75/1488.72 c 1489s| 3730k| 33266 | 7873k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2457k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1496.74/1496.79 c 1497s| 3740k| 32941 | 7894k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |2465k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1503.14/1503.10 c 1503s| 3750k| 33205 | 7914k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2473k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1509.84/1509.88 c 1510s| 3760k| 33377 | 7934k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2481k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1516.75/1516.74 c 1517s| 3770k| 33428 | 7955k| 2.1 | 68M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2489k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1524.65/1524.63 c 1525s| 3780k| 32936 | 7975k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2497k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1531.75/1531.73 c 1532s| 3790k| 33144 | 7995k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2505k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1538.05/1538.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.05/1538.02 c 1538s| 3800k| 33296 | 8014k| 2.1 | 67M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2513k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1545.65/1545.67 c 1546s| 3810k| 32470 | 8032k| 2.1 | 65M| 39 | - | 120 | 34k| 120 | 20 | 23 |2522k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1553.45/1553.49 c 1553s| 3820k| 32635 | 8052k| 2.1 | 65M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2529k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1560.15/1560.10 c 1560s| 3830k| 32905 | 8071k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2536k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1568.56/1568.56 c 1569s| 3840k| 31909 | 8089k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2544k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1576.65/1576.66 c 1577s| 3850k| 31663 | 8109k| 2.1 | 63M| 39 | - | 120 | 32k| 120 | 20 | 23 |2552k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1582.15/1582.14 c 1582s| 3860k| 32053 | 8130k| 2.1 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2560k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1589.25/1589.26 c 1589s| 3870k| 31159 | 8148k| 2.1 | 63M| 39 | - | 120 | 33k| 120 | 20 | 23 |2569k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1597.26/1597.23 c 1597s| 3880k| 30874 | 8169k| 2.1 | 62M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2577k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1603.25/1603.25 c 1603s| 3890k| 31061 | 8190k| 2.1 | 63M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2585k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1609.05/1609.08 c 1609s| 3900k| 31949 | 8209k| 2.1 | 64M| 39 | - | 120 | 35k| 120 | 20 | 23 |2592k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1615.35/1615.39 c 1615s| 3910k| 31945 | 8228k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |2599k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1622.35/1622.31 c 1622s| 3920k| 31421 | 8248k| 2.1 | 64M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2608k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1631.65/1631.65 c 1632s| 3930k| 30027 | 8267k| 2.1 | 61M| 39 | - | 120 | 33k| 120 | 20 | 23 |2617k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1639.25/1639.28 c 1639s| 3940k| 29631 | 8286k| 2.1 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2625k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1645.45/1645.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.45/1645.44 c 1645s| 3950k| 29714 | 8307k| 2.1 | 61M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2634k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1652.45/1652.46 c 1652s| 3960k| 29391 | 8326k| 2.1 | 60M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2642k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1657.95/1657.96 c 1658s| 3970k| 29843 | 8346k| 2.1 | 62M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2649k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1665.75/1665.78 c 1666s| 3980k| 29331 | 8365k| 2.1 | 60M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2657k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1672.86/1672.86 c 1673s| 3990k| 29643 | 8385k| 2.1 | 61M| 39 | - | 120 | 36k| 120 | 20 | 23 |2664k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1680.35/1680.38 c 1680s| 4000k| 29192 | 8403k| 2.1 | 61M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2672k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1692.55/1692.55 c 1693s| 4010k| 27473 | 8421k| 2.1 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |2682k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1701.86/1701.87 c 1702s| 4020k| 26476 | 8441k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2690k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1709.96/1709.97 c 1710s| 4030k| 25707 | 8460k| 2.1 | 52M| 39 | - | 120 | 32k| 120 | 20 | 23 |2699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1715.75/1715.74 c 1716s| 4040k| 26698 | 8481k| 2.1 | 53M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2706k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1721.76/1721.75 c 1722s| 4050k| 27310 | 8500k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1728.35/1728.39 c 1728s| 4060k| 27409 | 8519k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2721k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1734.85/1734.85 c 1735s| 4070k| 27651 | 8538k| 2.1 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2729k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1741.16/1741.14 c 1741s| 4080k| 27969 | 8557k| 2.1 | 57M| 39 | - | 120 | 37k| 120 | 20 | 23 |2736k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1748.06/1748.06 c 1748s| 4090k| 27987 | 8576k| 2.1 | 57M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2744k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1755.36/1755.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.36/1755.36 c 1755s| 4100k| 27617 | 8595k| 2.1 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2752k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1761.96/1761.91 c 1762s| 4110k| 27938 | 8614k| 2.1 | 58M| 39 | - | 120 | 37k| 0 | 0 | 23 |2760k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1769.56/1769.59 c 1770s| 4120k| 27268 | 8633k| 2.1 | 57M| 39 | - | 120 | 36k| 0 | 0 | 23 |2768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1779.36/1779.37 c 1779s| 4130k| 25553 | 8651k| 2.1 | 53M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2777k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1786.96/1786.93 c 1787s| 4140k| 25538 | 8671k| 2.1 | 53M| 39 | - | 120 | 36k| 120 | 20 | 23 |2785k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1794.25/1794.29 c 1794s| 4150k| 25046 | 8689k| 2.1 | 52M| 39 | - | 120 | 37k| 0 | 0 | 23 |2793k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 4153692
1797.05/1797.00 c Primal Bound : +1.00000000000000e+00 (39 solutions)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s SATISFIABLE
1797.05/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.05/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.05/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.05/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.05/1797.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.00 (included in solving)
1797.05/1797.00 c reading : 0.00 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485561-1307774948.opb
1797.05/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 10 initial, 10 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485561-1307774948.opb
1797.05/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 5 initial, 38516 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.00 0 0 0 0 0 5 0 0 0
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 80 - - 80 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2264258 0 28 0 225 4576 0 0 4518944
1797.05/1797.00 c linear : 5+ 7 10436853 2 1 25 4615840 713899 4974743 0 0 0
1797.05/1797.00 c logicor : 0+ 0 5657379 0 0 0 5250508 47555 2696011 0 0 0
1797.05/1797.00 c countsols : 0 0 0 19 1 22 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 13.59 0.00 0.00 13.59 0.00 0.00 0.00
1797.05/1797.00 c linear : 113.84 0.00 102.86 0.00 0.00 0.00 10.98
1797.05/1797.00 c logicor : 607.34 0.00 601.24 0.00 0.00 0.00 6.10
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 32 0 0 80
1797.05/1797.00 c pseudoobj : 10438566 7912 1892 49129
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 1.45 1.45 0.00
1797.05/1797.00 c rootredcost : 1.55 1.55 0.00
1797.05/1797.00 c pseudoobj : 17.63 17.63 0.01
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 21.10 763346 566355 1591176 29.4 428 25.0 -
1797.05/1797.00 c infeasible LP : 36.36 1287573 1287544 2595442 20.1 20040 24.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 2662510 20.2 - - -
1797.05/1797.00 c applied locally : - - - 133506 33.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1797.05/1797.00 c redcost : 6.55 2345114 0 1537992 0 0
1797.05/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.00 6 0 0 1 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.00 6 0 0 12 0
1797.05/1797.00 c cmir : 0.01 6 0 0 39 0
1797.05/1797.00 c flowcover : 0.01 6 0 0 54 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.01 1 0 0 0 2
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 12.25 2264239 225 4576 0 0 4518944
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.01 - 19
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c intshifting : 0.09 0 0
1797.05/1797.00 c oneopt : 0.99 31 0
1797.05/1797.00 c crossover : 2.29 7 0
1797.05/1797.00 c coefdiving : 5.30 6363 1
1797.05/1797.00 c pscostdiving : 4.96 6363 3
1797.05/1797.00 c fracdiving : 4.92 6363 5
1797.05/1797.00 c objpscostdiving : 1.34 3182 1
1797.05/1797.00 c linesearchdiving : 4.89 6364 1
1797.05/1797.00 c guideddiving : 4.81 6364 0
1797.05/1797.00 c veclendiving : 5.64 6364 1
1797.05/1797.00 c rootsoldiving : 2.65 3183 1
1797.05/1797.00 c trivial : 0.00 2 0
1797.05/1797.00 c shiftandpropagate: 0.00 1 1
1797.05/1797.00 c simplerounding : 0.51 0 0
1797.05/1797.00 c zirounding : 5.97 0 0
1797.05/1797.00 c rounding : 0.91 21624 0
1797.05/1797.00 c shifting : 8.36 28397 5
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c feaspump : 0.05 1 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.05 1 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.54 0 0
1797.05/1797.00 c trysol : 0.71 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 211.88 3624948 8341795 2.30 39371.03
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 10.39 183861 355232 1.93 34202.52
1797.05/1797.00 c strong branching : 0.94 9590 32043 3.34 34007.40
1797.05/1797.00 c (at root node) : - 11 630 57.27 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 4153692
1797.05/1797.00 c nodes (total) : 4153692
1797.05/1797.00 c nodes left : 25302
1797.05/1797.00 c max depth : 39
1797.05/1797.00 c max depth (total): 39
1797.05/1797.00 c backtracks : 1271193 (30.6%)
1797.05/1797.00 c delayed cutoffs : 335334
1797.05/1797.00 c repropagations : 3393797 (3755606 domain reductions, 268497 cutoffs)
1797.05/1797.00 c avg switch length: 5.57
1797.05/1797.00 c switching time : 462.94
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 39 (33 improvements)
1797.05/1797.00 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1797.05/1797.00 c Primal Bound : +1.00000000000000e+00 (in run 1, after 666669 nodes, 91.31 seconds, depth 34, found by <relaxation>)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Root Iterations : 61
1797.15/1797.13 c Time complete: 1797.19.
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-3485561-1307774948/watcher-3485561-1307774948 -o /tmp/evaluation-result-3485561-1307774948/solver-3485561-1307774948 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485561-1307774948.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.98 2/177 8413 /proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=12216 CPUtime=0 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 2009 0 0 0 0 0 0 0 23 0 1 0 967725473 12509184 1965 33554432000 4194304 8979876 140736645986624 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 3054 1976 410 1169 0 1881 0 [startup+0.06704 s] /proc/loadavg: 2.00 2.00 1.98 2/177 8413 /proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27804 CPUtime=0.05 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6258 0 0 0 5 0 0 0 18 0 1 0 967725473 28471296 5603 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6951 5603 698 1169 0 5778 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 27804 [startup+0.101022 s] /proc/loadavg: 2.00 2.00 1.98 2/177 8413 /proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27804 CPUtime=0.09 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6267 0 0 0 8 1 0 0 18 0 1 0 967725473 28471296 5612 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6951 5612 698 1169 0 5778 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27804 [startup+0.300984 s] /proc/loadavg: 2.00 2.00 1.98 2/177 8413 /proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27804 CPUtime=0.29 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6274 0 0 0 24 5 0 0 18 0 1 0 967725473 28471296 5619 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6951 5619 704 1169 0 5778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27804 [startup+0.700915 s] /proc/loadavg: 2.00 2.00 1.98 2/177 8413 /proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27804 CPUtime=0.69 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6280 0 0 0 58 11 0 0 18 0 1 0 967725473 28471296 5625 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6951 5625 705 1169 0 5778 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27804 [startup+1.50076 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8414 /proc/meminfo: memFree=31212524/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27804 CPUtime=1.49 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6288 0 0 0 128 21 0 0 20 0 1 0 967725473 28471296 5633 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6951 5633 705 1169 0 5778 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27804 [startup+3.10045 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8414 /proc/meminfo: memFree=31212648/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=25300 CPUtime=3.09 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6997 0 0 0 264 45 0 0 25 0 1 0 967725473 25907200 5365 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6325 5365 706 1169 0 5152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25300 [startup+6.30085 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8414 /proc/meminfo: memFree=31211284/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=25300 CPUtime=6.29 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 12587 0 0 0 511 118 0 0 25 0 1 0 967725473 25907200 5386 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6325 5386 706 1169 0 5152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25300 [startup+12.7006 s] /proc/loadavg: 2.08 2.02 1.98 3/178 8414 /proc/meminfo: memFree=31207364/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=27340 CPUtime=12.7 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 19183 0 0 0 1052 218 0 0 25 0 1 0 967725473 27996160 5874 33554432000 4194304 8979876 140736645986624 18446744073709551615 7226462 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 6835 5874 706 1169 0 5662 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 27340 [startup+25.5002 s] /proc/loadavg: 2.07 2.02 1.98 3/178 8414 /proc/meminfo: memFree=31193200/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=30784 CPUtime=25.49 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 22698 0 0 0 2139 410 0 0 25 0 1 0 967725473 31522816 6694 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 7696 6694 706 1169 0 6523 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30784 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 1.98 3/178 8415 /proc/meminfo: memFree=31172700/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=34672 CPUtime=51.1 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 32256 0 0 0 4320 790 0 0 25 0 1 0 967725473 35504128 7673 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 8668 7673 706 1169 0 7495 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 34672 [startup+102.307 s] /proc/loadavg: 2.02 2.01 1.98 3/178 8416 /proc/meminfo: memFree=31138544/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=49068 CPUtime=102.3 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 52417 0 0 0 8736 1494 0 0 25 0 1 0 967725473 50245632 11313 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 12267 11313 706 1169 0 11094 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 49068 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8418 /proc/meminfo: memFree=31100888/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=55264 CPUtime=162.29 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 56082 0 0 0 14321 1908 0 0 25 0 1 0 967725473 56590336 12867 33554432000 4194304 8979876 140736645986624 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 13816 12867 706 1169 0 12643 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 55264 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8420 /proc/meminfo: memFree=31071316/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=58180 CPUtime=222.3 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 57590 0 0 0 19998 2232 0 0 25 0 1 0 967725473 59576320 13608 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 14545 13608 706 1169 0 13372 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 58180 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8421 /proc/meminfo: memFree=31044708/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=59584 CPUtime=282.31 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 57733 0 0 0 25680 2551 0 0 25 0 1 0 967725473 61014016 13751 33554432000 4194304 8979876 140736645986624 18446744073709551615 5383628 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 14896 13751 706 1169 0 13723 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 59584 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8423 /proc/meminfo: memFree=31026804/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=61144 CPUtime=342.3 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59120 0 0 0 31387 2843 0 0 25 0 1 0 967725473 62611456 14114 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 15286 14114 706 1169 0 14113 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 61144 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.98 3/178 8424 /proc/meminfo: memFree=31004540/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=62608 CPUtime=402.31 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59425 0 0 0 37083 3148 0 0 25 0 1 0 967725473 64110592 14419 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 15652 14419 706 1169 0 14479 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 62608 [startup+462.3 s] /proc/loadavg: 2.07 2.02 1.99 3/178 8426 /proc/meminfo: memFree=30986764/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=63004 CPUtime=462.31 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59473 0 0 0 42765 3466 0 0 25 0 1 0 967725473 64516096 14467 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 15751 14467 706 1169 0 14578 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 63004 [startup+522.301 s] /proc/loadavg: 2.03 2.01 1.99 3/178 8427 /proc/meminfo: memFree=30972200/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=63308 CPUtime=522.31 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59522 0 0 0 48489 3742 0 0 25 0 1 0 967725473 64827392 14516 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 15827 14516 706 1169 0 14654 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 63308 [startup+582.3 s] /proc/loadavg: 2.01 2.00 1.99 3/178 8429 /proc/meminfo: memFree=30957512/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=66224 CPUtime=582.31 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 60223 0 0 0 54252 3979 0 0 25 0 1 0 967725473 67813376 15217 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381842 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 16556 15217 706 1169 0 15383 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 66224 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30780200/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=94064 CPUtime=1062.33 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 68116 0 0 0 100710 5523 0 0 25 0 1 0 967725473 96321536 21980 33554432000 4194304 8979876 140736645986624 18446744073709551615 4329904 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 23516 21980 706 1169 0 22343 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 94064 [startup+1122.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 8452 /proc/meminfo: memFree=30740948/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=102600 CPUtime=1122.34 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 70310 0 0 0 106547 5687 0 0 25 0 1 0 967725473 105062400 24174 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 25650 24174 706 1169 0 24477 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 102600 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 8454 /proc/meminfo: memFree=30704184/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=103564 CPUtime=1182.33 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 70558 0 0 0 112393 5840 0 0 25 0 1 0 967725473 106049536 24422 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 25891 24422 706 1169 0 24718 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 103564 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 8456 /proc/meminfo: memFree=30660588/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=106244 CPUtime=1242.34 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71255 0 0 0 118234 6000 0 0 25 0 1 0 967725473 108793856 25119 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381842 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26561 25119 706 1169 0 25388 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 106244 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 8457 /proc/meminfo: memFree=30625796/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107232 CPUtime=1302.35 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71469 0 0 0 124071 6164 0 0 25 0 1 0 967725473 109805568 25333 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381814 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26808 25333 706 1169 0 25635 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 107232 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 8459 /proc/meminfo: memFree=30587528/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107616 CPUtime=1362.34 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 129931 6303 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26904 25435 706 1169 0 25731 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 107616 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 8461 /proc/meminfo: memFree=30559796/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107616 CPUtime=1422.36 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 135786 6450 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26904 25435 706 1169 0 25731 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 107616 [startup+1482.3 s] /proc/loadavg: 1.40 1.83 1.94 2/172 8486 /proc/meminfo: memFree=31443828/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107616 CPUtime=1482.35 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 141596 6639 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26904 25435 706 1169 0 25731 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 107616 [startup+1542.3 s] /proc/loadavg: 1.20 1.69 1.88 2/172 8488 /proc/meminfo: memFree=31444024/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107616 CPUtime=1542.35 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71573 0 0 0 147403 6832 0 0 25 0 1 0 967725473 110198784 25437 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26904 25437 706 1169 0 25731 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 107616 [startup+1602.3 s] /proc/loadavg: 1.07 1.56 1.82 2/172 8489 /proc/meminfo: memFree=31443988/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107616 CPUtime=1602.35 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71573 0 0 0 153226 7009 0 0 25 0 1 0 967725473 110198784 25437 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26904 25437 706 1169 0 25731 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 107616 [startup+1662.3 s] /proc/loadavg: 1.02 1.46 1.77 2/172 8491 /proc/meminfo: memFree=31443452/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1662.36 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72753 0 0 0 159038 7198 0 0 25 0 1 0 967725473 110403584 25521 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25521 706 1169 0 25781 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 107816 [startup+1722.3 s] /proc/loadavg: 1.01 1.37 1.72 2/172 8492 /proc/meminfo: memFree=31443292/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1722.36 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72753 0 0 0 164874 7362 0 0 25 0 1 0 967725473 110403584 25521 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25521 706 1169 0 25781 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 107816 [startup+1782.3 s] /proc/loadavg: 1.00 1.30 1.67 2/172 8494 /proc/meminfo: memFree=31443368/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1782.36 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72760 0 0 0 170696 7540 0 0 25 0 1 0 967725473 110403584 25528 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25528 706 1169 0 25781 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 107816 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.30 1.67 2/172 8494 /proc/meminfo: memFree=31443244/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1785.56 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72760 0 0 0 171006 7550 0 0 25 0 1 0 967725473 110403584 25528 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25528 706 1169 0 25781 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 107816 [startup+1791.91 s] /proc/loadavg: 1.00 1.29 1.66 2/172 8494 /proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1791.97 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72803 0 0 0 171629 7568 0 0 25 0 1 0 967725473 110403584 25571 33554432000 4194304 8979876 140736645986624 18446744073709551615 5382424 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25571 706 1169 0 25781 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 107816 [startup+1795.1 s] /proc/loadavg: 1.00 1.29 1.66 2/172 8494 /proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1795.16 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72803 0 0 0 171942 7574 0 0 25 0 1 0 967725473 110403584 25571 33554432000 4194304 8979876 140736645986624 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25571 706 1169 0 25781 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 107816 [startup+1795.9 s] /proc/loadavg: 1.00 1.29 1.66 2/172 8494 /proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1795.96 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72805 0 0 0 172019 7577 0 0 25 0 1 0 967725473 110403584 25573 33554432000 4194304 8979876 140736645986624 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25573 706 1169 0 25781 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 107816 [startup+1796.7 s] /proc/loadavg: 1.00 1.29 1.66 2/172 8494 /proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=107816 CPUtime=1796.76 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72805 0 0 0 172095 7581 0 0 25 0 1 0 967725473 110403584 25573 33554432000 4194304 8979876 140736645986624 18446744073709551615 4349783 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/8413/statm: 26954 25573 706 1169 0 25781 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 107816 [startup+1797.1 s] /proc/loadavg: 1.00 1.29 1.66 2/172 8494 /proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528 [pid=8413] ppid=8411 vsize=106696 CPUtime=1797.15 cores=1,3,5,7 /proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72894 0 0 0 172134 7581 0 0 25 0 1 0 967725473 109256704 25309 33554432000 4194304 8979876 140736645986624 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/8413/statm: 26674 25309 709 1169 0 25501 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 106696 Child status: 0 Real time (s): 1797.13 CPU time (s): 1797.2 CPU user time (s): 1721.38 CPU system time (s): 75.8235 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 107816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1721.38 system time used= 75.8235 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72899 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= 7 involuntary context switches= 22201 runsolver used 2.6276 second user time and 6.22005 second system time The end
Begin job on node115 at 2011-06-11 08:49:08 IDJOB=3485561 IDBENCH=2923 IDSOLVER=1977 FILE ID=node115/3485561-1307774948 RUNJOBID= node115-1307767739-5851 PBS_JOBID= 13550847 Free space on /tmp= 74112 MiB SOLVER NAME= SCIP spx 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.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485561-1307774948/watcher-3485561-1307774948 -o /tmp/evaluation-result-3485561-1307774948/solver-3485561-1307774948 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485561-1307774948.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1135889586 node115.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.811 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.62 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.811 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 : 5226.15 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.75 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.811 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.77 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.811 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.811 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31233660 kB Buffers: 266968 kB Cached: 944544 kB SwapCached: 9476 kB Active: 733296 kB Inactive: 793020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31233660 kB SwapTotal: 67111528 kB SwapFree: 67056212 kB Dirty: 16736 kB Writeback: 0 kB AnonPages: 311784 kB Mapped: 16160 kB Slab: 125500 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 504584 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= 74112 MiB End job on node115 at 2011-06-11 09:19:05