Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | 1 | 1800.13 | 1800.12 |
| 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.03 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.03 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.03 c
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c reading problem <HOME/instance-3451083-1307095713.opb>
0.00/0.04 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.04 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.04 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 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.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.04 c 5 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.00
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 o 1352
0.00/0.04 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.04 c T 0.0s| 1 | 0 | 0 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.04 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.06 o 1345
0.00/0.06 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.06 c 0.0s| 1 | 0 | 29 | - | 484k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.06 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.07 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.07 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.08 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.09 c 0.1s| 1 | 0 | 61 | - | 608k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.05/0.14 c 0.1s| 1 | 2 | 160 | - | 609k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.05/0.18 o 907
0.05/0.18 c c 0.1s| 36 | 37 | 371 | 8.9 | 642k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.05/0.19 o 728
0.05/0.19 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.16/0.21 o 96
0.16/0.21 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.16/0.21 o 94
0.16/0.21 c v 0.2s| 85 | 67 | 650 | 7.0 | 686k| 36 | - | 120 | 5 | 120 | 20 | 23 | 5 | 312 | 0.000000e+00 | 9.400000e+01 | Inf
0.16/0.25 o 92
0.16/0.25 c l 0.2s| 203 | 160 | 1133 | 5.3 | 754k| 39 | - | 120 | 11 | 120 | 20 | 23 | 19 | 421 | 0.000000e+00 | 9.200000e+01 | Inf
0.16/0.27 o 90
0.16/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.16/0.27 c * 0.2s| 267 | 214 | 1417 | 5.1 | 779k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.16/0.27 o 88
0.16/0.27 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.16/0.27 o 86
0.16/0.27 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.16/0.27 o 84
0.16/0.27 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.16/0.28 o 83
0.16/0.28 c * 0.2s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.16/0.28 o 81
0.16/0.28 c * 0.2s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.26/0.30 o 79
0.26/0.30 c * 0.3s| 360 | 278 | 1781 | 4.8 | 821k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.26/0.30 o 77
0.26/0.30 c * 0.3s| 361 | 273 | 1781 | 4.8 | 818k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.26/0.30 o 73
0.26/0.30 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.26/0.32 o 72
0.26/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.26/0.33 o 69
0.26/0.33 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.26/0.33 o 21
0.26/0.33 c s 0.3s| 484 | 292 | 2386 | 4.8 | 822k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.26/0.33 o 20
0.26/0.33 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.35/1.40 o 19
1.35/1.40 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.35/1.40 o 17
1.35/1.40 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.46/1.51 o 15
1.46/1.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.46/1.51 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2404k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.55/2.67 o 14
2.55/2.67 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.75/2.89 c 2.8s| 10000 | 6886 | 49415 | 4.9 |3881k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.16/4.26 o 13
4.16/4.26 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.16/4.26 o 11
4.16/4.26 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.25/5.35 c 5.3s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
5.96/6.07 o 9
5.96/6.07 c * 6.0s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
6.06/6.14 o 8
6.06/6.14 c * 6.1s| 24454 | 12738 |102209 | 4.2 |6603k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.06/6.14 o 6
6.06/6.14 c * 6.1s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
6.95/7.06 c 7.0s| 30000 | 14005 |119930 | 4.0 |7091k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.46/8.54 c 8.5s| 40000 | 15780 |148504 | 3.7 |8137k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.06/10.18 c 10.1s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
11.56/11.64 c 11.6s| 60000 | 16722 |206180 | 3.4 |9113k| 39 | - | 120 | 452 | 0 | 0 | 23 |7604 |2066 | 0.000000e+00 | 6.000000e+00 | Inf
12.95/13.05 c 13.0s| 70000 | 16907 |235042 | 3.4 |9403k| 39 | 5 | 120 | 489 | 120 | 20 | 23 |8816 |2240 | 0.000000e+00 | 6.000000e+00 | Inf
14.36/14.48 c 14.4s| 80000 | 17165 |264484 | 3.3 |9696k| 39 | - | 120 | 485 | 120 | 20 | 23 |9944 |2447 | 0.000000e+00 | 6.000000e+00 | Inf
15.85/15.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.85/15.91 c 15.9s| 90000 | 16978 |292167 | 3.2 |9677k| 39 | 5 | 120 | 443 | 120 | 20 | 23 | 11k|2720 | 0.000000e+00 | 6.000000e+00 | Inf
17.26/17.31 c 17.3s|100000 | 17193 |321001 | 3.2 |9940k| 39 | - | 120 | 395 | 0 | 0 | 23 | 12k|2955 | 0.000000e+00 | 6.000000e+00 | Inf
18.56/18.69 c 18.7s|110000 | 17553 |349196 | 3.2 | 10M| 39 | 5 | 120 | 433 | 120 | 20 | 23 | 13k|3132 | 0.000000e+00 | 6.000000e+00 | Inf
19.96/20.06 c 20.0s|120000 | 17412 |377093 | 3.1 | 10M| 39 | - | 120 | 368 | 120 | 20 | 23 | 14k|3278 | 0.000000e+00 | 6.000000e+00 | Inf
21.35/21.43 c 21.4s|130000 | 17344 |405461 | 3.1 | 10M| 39 | 5 | 120 | 303 | 120 | 20 | 23 | 15k|3410 | 0.000000e+00 | 6.000000e+00 | Inf
22.75/22.87 c 22.8s|140000 | 18124 |435017 | 3.1 | 10M| 39 | 5 | 120 | 224 | 120 | 20 | 23 | 16k|3530 | 0.000000e+00 | 6.000000e+00 | Inf
24.17/24.25 c 24.2s|150000 | 19129 |464253 | 3.1 | 11M| 39 | 5 | 120 | 147 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
25.55/25.61 c 25.6s|160000 | 19529 |493346 | 3.1 | 11M| 39 | 5 | 120 | 136 | 120 | 20 | 23 | 19k|3786 | 0.000000e+00 | 6.000000e+00 | Inf
26.85/26.98 c 26.9s|170000 | 19814 |522186 | 3.1 | 12M| 39 | - | 120 | 166 | 120 | 20 | 23 | 20k|3922 | 0.000000e+00 | 6.000000e+00 | Inf
28.26/28.35 c 28.3s|180000 | 20552 |551203 | 3.1 | 12M| 39 | - | 120 | 174 | 120 | 20 | 23 | 21k|4030 | 0.000000e+00 | 6.000000e+00 | Inf
29.67/29.71 c 29.7s|190000 | 21584 |580280 | 3.1 | 13M| 39 | - | 120 | 110 | 120 | 20 | 23 | 22k|4166 | 0.000000e+00 | 6.000000e+00 | Inf
30.96/31.04 c 31.0s|200000 | 22196 |609297 | 3.0 | 13M| 39 | 5 | 120 | 95 | 120 | 20 | 23 | 24k|4303 | 0.000000e+00 | 6.000000e+00 | Inf
32.36/32.40 c 32.4s|210000 | 22830 |637704 | 3.0 | 14M| 39 | - | 120 | 104 | 120 | 20 | 23 | 25k|4458 | 0.000000e+00 | 6.000000e+00 | Inf
33.66/33.75 c 33.7s|220000 | 23013 |665684 | 3.0 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 26k|4607 | 0.000000e+00 | 6.000000e+00 | Inf
34.95/35.08 c 35.0s|230000 | 22810 |693388 | 3.0 | 14M| 39 | - | 120 | 114 | 120 | 20 | 23 | 27k|4738 | 0.000000e+00 | 6.000000e+00 | Inf
36.36/36.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.36/36.43 c 36.4s|240000 | 22853 |722090 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 28k|4885 | 0.000000e+00 | 6.000000e+00 | Inf
37.66/37.77 c 37.7s|250000 | 22586 |749949 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 30k|4995 | 0.000000e+00 | 6.000000e+00 | Inf
39.05/39.10 c 39.1s|260000 | 22555 |777530 | 3.0 | 15M| 39 | - | 120 | 155 | 120 | 20 | 23 | 31k|5125 | 0.000000e+00 | 6.000000e+00 | Inf
40.36/40.43 c 40.4s|270000 | 22380 |804862 | 3.0 | 15M| 39 | - | 120 | 165 | 120 | 20 | 23 | 32k|5227 | 0.000000e+00 | 6.000000e+00 | Inf
41.66/41.76 c 41.7s|280000 | 22205 |832823 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 33k|5344 | 0.000000e+00 | 6.000000e+00 | Inf
43.06/43.10 c 43.1s|290000 | 22173 |859914 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 35k|5439 | 0.000000e+00 | 6.000000e+00 | Inf
44.36/44.48 c 44.4s|300000 | 23187 |890531 | 3.0 | 16M| 39 | - | 120 | 136 | 120 | 20 | 23 | 36k|5566 | 0.000000e+00 | 6.000000e+00 | Inf
45.75/45.86 c 45.8s|310000 | 24761 |919766 | 3.0 | 17M| 39 | - | 120 | 130 | 120 | 20 | 23 | 37k|5676 | 0.000000e+00 | 6.000000e+00 | Inf
47.16/47.25 c 47.2s|320000 | 26598 |950187 | 3.0 | 18M| 39 | 5 | 120 | 135 | 120 | 20 | 23 | 38k|5757 | 0.000000e+00 | 6.000000e+00 | Inf
48.55/48.60 c 48.6s|330000 | 28219 |978187 | 3.0 | 19M| 39 | 5 | 120 | 137 | 120 | 20 | 23 | 39k|5860 | 0.000000e+00 | 6.000000e+00 | Inf
49.86/49.92 c 49.9s|340000 | 29272 | 1005k| 3.0 | 20M| 39 | - | 120 | 137 | 120 | 20 | 23 | 40k|5947 | 0.000000e+00 | 6.000000e+00 | Inf
51.16/51.27 c 51.2s|350000 | 30299 | 1034k| 3.0 | 20M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 42k|6031 | 0.000000e+00 | 6.000000e+00 | Inf
52.55/52.60 c 52.6s|360000 | 30764 | 1061k| 2.9 | 21M| 39 | - | 120 | 143 | 0 | 0 | 23 | 43k|6132 | 0.000000e+00 | 6.000000e+00 | Inf
53.77/53.91 c 53.9s|370000 | 31400 | 1088k| 2.9 | 21M| 39 | 5 | 120 | 97 | 120 | 20 | 23 | 44k|6222 | 0.000000e+00 | 6.000000e+00 | Inf
55.16/55.24 c 55.2s|380000 | 31933 | 1116k| 2.9 | 22M| 39 | 5 | 120 | 114 | 120 | 20 | 23 | 45k|6319 | 0.000000e+00 | 6.000000e+00 | Inf
56.46/56.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.46/56.59 c 56.6s|390000 | 32504 | 1144k| 2.9 | 22M| 39 | - | 120 | 108 | 120 | 20 | 23 | 46k|6420 | 0.000000e+00 | 6.000000e+00 | Inf
57.85/57.91 c 57.9s|400000 | 33076 | 1173k| 2.9 | 23M| 39 | - | 120 | 113 | 120 | 20 | 23 | 47k|6503 | 0.000000e+00 | 6.000000e+00 | Inf
59.15/59.22 c 59.2s|410000 | 33389 | 1200k| 2.9 | 23M| 39 | - | 120 | 120 | 0 | 0 | 23 | 49k|6585 | 0.000000e+00 | 6.000000e+00 | Inf
60.48/60.51 c 60.5s|420000 | 33596 | 1227k| 2.9 | 23M| 39 | - | 120 | 119 | 120 | 20 | 23 | 50k|6666 | 0.000000e+00 | 6.000000e+00 | Inf
61.76/61.82 c 61.8s|430000 | 33787 | 1253k| 2.9 | 24M| 39 | - | 120 | 128 | 120 | 20 | 23 | 51k|6764 | 0.000000e+00 | 6.000000e+00 | Inf
63.05/63.11 c 63.1s|440000 | 34132 | 1280k| 2.9 | 24M| 39 | - | 120 | 154 | 120 | 20 | 23 | 52k|6849 | 0.000000e+00 | 6.000000e+00 | Inf
64.36/64.46 c 64.4s|450000 | 34806 | 1308k| 2.9 | 25M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 53k|6940 | 0.000000e+00 | 6.000000e+00 | Inf
65.76/65.83 c 65.8s|460000 | 35391 | 1336k| 2.9 | 25M| 39 | 5 | 120 | 148 | 120 | 20 | 23 | 55k|7020 | 0.000000e+00 | 6.000000e+00 | Inf
67.08/67.15 c 67.1s|470000 | 36311 | 1365k| 2.9 | 26M| 39 | - | 120 | 134 | 120 | 20 | 23 | 56k|7086 | 0.000000e+00 | 6.000000e+00 | Inf
68.36/68.46 c 68.4s|480000 | 36567 | 1393k| 2.9 | 26M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 57k|7158 | 0.000000e+00 | 6.000000e+00 | Inf
69.66/69.77 c 69.7s|490000 | 37206 | 1421k| 2.9 | 27M| 39 | - | 120 | 177 | 120 | 20 | 23 | 58k|7234 | 0.000000e+00 | 6.000000e+00 | Inf
70.95/71.05 c 71.0s|500000 | 37385 | 1449k| 2.9 | 27M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 59k|7307 | 0.000000e+00 | 6.000000e+00 | Inf
72.25/72.33 c 72.3s|510000 | 37537 | 1475k| 2.9 | 27M| 39 | - | 120 | 133 | 120 | 20 | 23 | 60k|7394 | 0.000000e+00 | 6.000000e+00 | Inf
73.57/73.63 c 73.6s|520000 | 37724 | 1503k| 2.9 | 27M| 39 | - | 120 | 176 | 120 | 20 | 23 | 62k|7462 | 0.000000e+00 | 6.000000e+00 | Inf
74.86/74.97 c 74.9s|530000 | 38472 | 1529k| 2.9 | 28M| 39 | 5 | 120 | 193 | 120 | 20 | 23 | 63k|7564 | 0.000000e+00 | 6.000000e+00 | Inf
76.15/76.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.15/76.27 c 76.2s|540000 | 38810 | 1555k| 2.9 | 28M| 39 | - | 120 | 177 | 120 | 20 | 23 | 64k|7646 | 0.000000e+00 | 6.000000e+00 | Inf
77.46/77.56 c 77.5s|550000 | 39095 | 1581k| 2.9 | 29M| 39 | 5 | 120 | 176 | 120 | 20 | 23 | 66k|7716 | 0.000000e+00 | 6.000000e+00 | Inf
78.76/78.87 c 78.8s|560000 | 39074 | 1608k| 2.9 | 29M| 39 | 5 | 120 | 180 | 120 | 20 | 23 | 67k|7775 | 0.000000e+00 | 6.000000e+00 | Inf
80.05/80.17 c 80.1s|570000 | 40004 | 1636k| 2.9 | 29M| 39 | - | 120 | 217 | 120 | 20 | 23 | 68k|7834 | 0.000000e+00 | 6.000000e+00 | Inf
81.37/81.48 c 81.4s|580000 | 40362 | 1664k| 2.9 | 30M| 39 | 5 | 120 | 190 | 120 | 20 | 23 | 69k|7900 | 0.000000e+00 | 6.000000e+00 | Inf
82.66/82.78 c 82.7s|590000 | 40468 | 1691k| 2.9 | 30M| 39 | 5 | 120 | 216 | 120 | 20 | 23 | 70k|7958 | 0.000000e+00 | 6.000000e+00 | Inf
83.95/84.09 c 84.1s|600000 | 40042 | 1717k| 2.9 | 30M| 39 | - | 120 | 160 | 120 | 20 | 23 | 71k|8025 | 0.000000e+00 | 6.000000e+00 | Inf
85.36/85.41 c 85.4s|610000 | 39946 | 1744k| 2.9 | 30M| 39 | - | 120 | 157 | 120 | 20 | 23 | 73k|8101 | 0.000000e+00 | 6.000000e+00 | Inf
86.66/86.70 c 86.7s|620000 | 40273 | 1771k| 2.9 | 30M| 39 | - | 120 | 177 | 120 | 20 | 23 | 74k|8162 | 0.000000e+00 | 6.000000e+00 | Inf
87.87/87.99 c 88.0s|630000 | 39944 | 1799k| 2.9 | 30M| 39 | - | 120 | 154 | 120 | 20 | 23 | 75k|8242 | 0.000000e+00 | 6.000000e+00 | Inf
89.16/89.28 c 89.2s|640000 | 39760 | 1825k| 2.9 | 30M| 39 | - | 120 | 171 | 120 | 20 | 23 | 76k|8318 | 0.000000e+00 | 6.000000e+00 | Inf
90.46/90.58 c 90.5s|650000 | 39494 | 1853k| 2.9 | 30M| 39 | 5 | 120 | 174 | 120 | 20 | 23 | 77k|8384 | 0.000000e+00 | 6.000000e+00 | Inf
91.76/91.89 c 91.9s|660000 | 39503 | 1880k| 2.8 | 31M| 39 | 5 | 120 | 199 | 120 | 20 | 23 | 79k|8443 | 0.000000e+00 | 6.000000e+00 | Inf
93.06/93.18 c 93.1s|670000 | 39692 | 1908k| 2.8 | 31M| 39 | - | 120 | 210 | 120 | 20 | 23 | 80k|8516 | 0.000000e+00 | 6.000000e+00 | Inf
94.36/94.45 c 94.4s|680000 | 39463 | 1934k| 2.8 | 31M| 39 | 5 | 120 | 198 | 120 | 20 | 23 | 81k|8585 | 0.000000e+00 | 6.000000e+00 | Inf
95.68/95.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.68/95.75 c 95.7s|690000 | 39493 | 1961k| 2.8 | 31M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 82k|8642 | 0.000000e+00 | 6.000000e+00 | Inf
96.96/97.08 c 97.0s|700000 | 40028 | 1990k| 2.8 | 31M| 39 | - | 120 | 166 | 120 | 20 | 23 | 83k|8711 | 0.000000e+00 | 6.000000e+00 | Inf
98.26/98.37 c 98.3s|710000 | 40394 | 2018k| 2.8 | 32M| 39 | - | 120 | 189 | 120 | 20 | 23 | 84k|8773 | 0.000000e+00 | 6.000000e+00 | Inf
99.56/99.65 c 99.6s|720000 | 40164 | 2046k| 2.8 | 32M| 39 | 5 | 120 | 181 | 120 | 20 | 23 | 85k|8842 | 0.000000e+00 | 6.000000e+00 | Inf
100.86/100.95 c 101s|730000 | 40883 | 2073k| 2.8 | 32M| 39 | 5 | 120 | 202 | 120 | 20 | 23 | 86k|8881 | 0.000000e+00 | 6.000000e+00 | Inf
102.17/102.23 c 102s|740000 | 40865 | 2099k| 2.8 | 33M| 39 | - | 120 | 187 | 0 | 0 | 23 | 87k|8944 | 0.000000e+00 | 6.000000e+00 | Inf
103.46/103.51 c 103s|750000 | 40440 | 2125k| 2.8 | 32M| 39 | - | 120 | 177 | 120 | 20 | 23 | 89k|9012 | 0.000000e+00 | 6.000000e+00 | Inf
104.76/104.82 c 105s|760000 | 40220 | 2152k| 2.8 | 32M| 39 | 5 | 120 | 201 | 120 | 20 | 23 | 90k|9061 | 0.000000e+00 | 6.000000e+00 | Inf
106.06/106.12 c 106s|770000 | 39868 | 2178k| 2.8 | 32M| 39 | 5 | 120 | 178 | 120 | 20 | 23 | 91k|9126 | 0.000000e+00 | 6.000000e+00 | Inf
107.06/107.15 o 4
107.06/107.15 c * 107s|777635 | 38924 | 2200k| 2.8 | 30M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 4.000000e+00 | Inf
107.06/107.16 o 2
107.06/107.16 c * 107s|777636 | 36061 | 2200k| 2.8 | 25M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 2.000000e+00 | Inf
107.36/107.45 c 107s|780000 | 36013 | 2206k| 2.8 | 25M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 92k|9172 | 0.000000e+00 | 2.000000e+00 | Inf
108.46/108.58 c 109s|790000 | 35711 | 2230k| 2.8 | 25M| 39 | - | 120 | 160 | 120 | 20 | 23 | 93k|9200 | 0.000000e+00 | 2.000000e+00 | Inf
109.66/109.72 c 110s|800000 | 35814 | 2255k| 2.8 | 25M| 39 | - | 120 | 139 | 120 | 20 | 23 | 94k|9253 | 0.000000e+00 | 2.000000e+00 | Inf
110.76/110.85 c 111s|810000 | 36083 | 2281k| 2.8 | 26M| 39 | - | 120 | 164 | 120 | 20 | 23 | 94k|9326 | 0.000000e+00 | 2.000000e+00 | Inf
111.86/111.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.86/111.97 c 112s|820000 | 35463 | 2307k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 95k|9394 | 0.000000e+00 | 2.000000e+00 | Inf
113.05/113.12 c 113s|830000 | 35108 | 2332k| 2.8 | 25M| 39 | 5 | 120 | 102 | 120 | 20 | 23 | 96k|9469 | 0.000000e+00 | 2.000000e+00 | Inf
114.16/114.25 c 114s|840000 | 34643 | 2357k| 2.8 | 25M| 39 | 5 | 120 | 131 | 120 | 20 | 23 | 97k|9520 | 0.000000e+00 | 2.000000e+00 | Inf
115.26/115.38 c 115s|850000 | 34487 | 2383k| 2.8 | 25M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 97k|9581 | 0.000000e+00 | 2.000000e+00 | Inf
116.36/116.51 c 116s|860000 | 34098 | 2408k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 98k|9672 | 0.000000e+00 | 2.000000e+00 | Inf
117.57/117.61 c 118s|870000 | 33971 | 2433k| 2.8 | 25M| 39 | - | 120 | 131 | 120 | 20 | 23 | 99k|9719 | 0.000000e+00 | 2.000000e+00 | Inf
118.67/118.75 c 119s|880000 | 33433 | 2458k| 2.8 | 24M| 39 | 5 | 120 | 153 | 120 | 20 | 23 | 100k|9770 | 0.000000e+00 | 2.000000e+00 | Inf
119.77/119.87 c 120s|890000 | 33112 | 2484k| 2.8 | 24M| 39 | - | 120 | 160 | 120 | 20 | 23 | 100k|9826 | 0.000000e+00 | 2.000000e+00 | Inf
120.87/121.00 c 121s|900000 | 32700 | 2510k| 2.8 | 24M| 39 | - | 120 | 139 | 120 | 20 | 23 | 101k|9899 | 0.000000e+00 | 2.000000e+00 | Inf
121.97/122.11 c 122s|910000 | 33096 | 2536k| 2.8 | 24M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 102k|9935 | 0.000000e+00 | 2.000000e+00 | Inf
123.07/123.20 c 123s|920000 | 32953 | 2562k| 2.8 | 24M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 103k|9969 | 0.000000e+00 | 2.000000e+00 | Inf
124.17/124.30 c 124s|930000 | 32441 | 2587k| 2.8 | 24M| 39 | 5 | 120 | 139 | 120 | 20 | 23 | 103k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
125.37/125.43 c 125s|940000 | 31907 | 2611k| 2.8 | 23M| 39 | 5 | 120 | 169 | 120 | 20 | 23 | 104k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
126.47/126.53 c 126s|950000 | 31780 | 2636k| 2.8 | 23M| 39 | - | 120 | 197 | 120 | 20 | 23 | 105k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
127.66/127.71 c 128s|960000 | 32201 | 2663k| 2.8 | 24M| 39 | - | 120 | 218 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
128.76/128.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.76/128.83 c 129s|970000 | 32713 | 2691k| 2.8 | 24M| 39 | 5 | 120 | 197 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
129.86/129.93 c 130s|980000 | 32809 | 2717k| 2.8 | 24M| 39 | - | 120 | 210 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
130.96/131.07 c 131s|990000 | 33210 | 2742k| 2.8 | 24M| 39 | 5 | 120 | 247 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
132.06/132.18 c 132s| 1000k| 33012 | 2768k| 2.8 | 24M| 39 | 5 | 120 | 208 | 120 | 20 | 23 | 108k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
133.16/133.28 c 133s| 1010k| 32695 | 2793k| 2.8 | 24M| 39 | - | 120 | 214 | 120 | 20 | 23 | 109k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
134.26/134.38 c 134s| 1020k| 32157 | 2818k| 2.8 | 24M| 39 | 5 | 120 | 226 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
135.36/135.47 c 135s| 1030k| 31691 | 2841k| 2.8 | 23M| 39 | - | 120 | 233 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
136.56/136.62 c 137s| 1040k| 32354 | 2867k| 2.8 | 24M| 39 | - | 120 | 330 | 120 | 20 | 23 | 111k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
137.66/137.74 c 138s| 1050k| 32109 | 2891k| 2.8 | 24M| 39 | - | 120 | 383 | 120 | 20 | 23 | 112k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
138.76/138.87 c 139s| 1060k| 31908 | 2914k| 2.7 | 24M| 39 | 5 | 120 | 387 | 120 | 20 | 23 | 113k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
139.96/140.00 c 140s| 1070k| 30881 | 2938k| 2.7 | 23M| 39 | - | 120 | 145 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
141.06/141.13 c 141s| 1080k| 31283 | 2964k| 2.7 | 23M| 39 | 5 | 120 | 238 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
142.16/142.26 c 142s| 1090k| 31976 | 2989k| 2.7 | 23M| 39 | 5 | 120 | 244 | 120 | 20 | 23 | 115k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
143.26/143.37 c 143s| 1100k| 32237 | 3012k| 2.7 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 116k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
144.36/144.48 c 144s| 1110k| 31813 | 3036k| 2.7 | 24M| 39 | - | 120 | 249 | 120 | 20 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
145.46/145.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.46/145.58 c 146s| 1120k| 30842 | 3059k| 2.7 | 23M| 39 | - | 120 | 282 | 0 | 0 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
146.66/146.70 c 147s| 1130k| 30987 | 3083k| 2.7 | 23M| 39 | - | 120 | 310 | 120 | 20 | 23 | 118k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
147.76/147.82 c 148s| 1140k| 30462 | 3107k| 2.7 | 23M| 39 | - | 120 | 180 | 120 | 20 | 23 | 119k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
148.86/148.96 c 149s| 1150k| 30908 | 3132k| 2.7 | 23M| 39 | - | 120 | 267 | 0 | 0 | 23 | 120k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
149.96/150.08 c 150s| 1160k| 31305 | 3156k| 2.7 | 23M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 121k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
151.16/151.20 c 151s| 1170k| 32010 | 3181k| 2.7 | 24M| 39 | 5 | 120 | 305 | 120 | 20 | 23 | 121k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
152.26/152.32 c 152s| 1180k| 32127 | 3207k| 2.7 | 24M| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 122k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
153.36/153.44 c 153s| 1190k| 32054 | 3230k| 2.7 | 24M| 39 | - | 120 | 304 | 0 | 0 | 23 | 123k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
154.46/154.57 c 155s| 1200k| 32697 | 3254k| 2.7 | 24M| 39 | 5 | 120 | 317 | 120 | 20 | 23 | 124k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
155.66/155.70 c 156s| 1210k| 32637 | 3278k| 2.7 | 24M| 39 | - | 120 | 305 | 0 | 0 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
156.76/156.81 c 157s| 1220k| 32367 | 3302k| 2.7 | 24M| 39 | - | 120 | 317 | 120 | 20 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
157.86/157.94 c 158s| 1230k| 32232 | 3326k| 2.7 | 24M| 39 | - | 120 | 319 | 120 | 20 | 23 | 126k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
158.96/159.07 c 159s| 1240k| 31628 | 3350k| 2.7 | 24M| 39 | 5 | 120 | 284 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
159.16/159.24 o 1
159.16/159.24 c * 159s| 1241k| 31126 | 3354k| 2.7 | 23M| 39 | - | 120 | 298 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
161.16/161.30 c 161s| 1250k| 30145 | 3371k| 2.7 | 23M| 39 | - | 120 |2003 | 120 | 20 | 23 | 134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
163.26/163.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.26/163.35 c 163s| 1260k| 29127 | 3391k| 2.7 | 23M| 39 | - | 120 |2539 | 120 | 20 | 23 | 142k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
165.66/165.79 c 166s| 1270k| 29055 | 3414k| 2.7 | 23M| 39 | - | 120 |3798 | 120 | 20 | 23 | 150k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
167.76/167.89 c 168s| 1280k| 29399 | 3435k| 2.7 | 24M| 39 | - | 120 |4476 | 120 | 20 | 23 | 157k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
170.06/170.10 c 170s| 1290k| 29374 | 3455k| 2.7 | 25M| 39 | - | 120 |5260 | 120 | 20 | 23 | 166k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
172.36/172.49 c 172s| 1300k| 28924 | 3475k| 2.7 | 24M| 39 | 5 | 120 |5073 | 120 | 20 | 23 | 174k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
174.66/174.80 c 175s| 1310k| 28098 | 3495k| 2.7 | 23M| 39 | - | 120 |3677 | 120 | 20 | 23 | 182k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
176.86/176.92 c 177s| 1320k| 28142 | 3517k| 2.7 | 23M| 39 | 5 | 120 |4106 | 120 | 20 | 23 | 190k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
178.96/179.02 c 179s| 1330k| 28859 | 3539k| 2.7 | 24M| 39 | - | 120 |5725 | 0 | 0 | 23 | 197k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
181.16/181.29 c 181s| 1340k| 29661 | 3560k| 2.7 | 26M| 39 | 5 | 120 |6730 | 120 | 20 | 23 | 204k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
183.76/183.83 c 184s| 1350k| 29788 | 3580k| 2.7 | 26M| 39 | 5 | 120 |5737 | 120 | 20 | 23 | 212k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
186.16/186.26 c 186s| 1360k| 29826 | 3600k| 2.6 | 27M| 39 | - | 120 |6230 | 120 | 20 | 23 | 220k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
188.46/188.58 c 189s| 1370k| 30793 | 3621k| 2.6 | 28M| 39 | 5 | 120 |7609 | 120 | 20 | 23 | 226k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
191.06/191.19 c 191s| 1380k| 30896 | 3641k| 2.6 | 29M| 39 | - | 120 |7466 | 120 | 20 | 23 | 234k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
193.76/193.80 c 194s| 1390k| 30782 | 3660k| 2.6 | 29M| 39 | - | 120 |7552 | 120 | 20 | 23 | 241k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
196.36/196.41 c 196s| 1400k| 30765 | 3679k| 2.6 | 29M| 39 | - | 120 |7191 | 120 | 20 | 23 | 249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
198.86/198.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.86/198.96 c 199s| 1410k| 30831 | 3698k| 2.6 | 30M| 39 | 5 | 120 |7985 | 120 | 20 | 23 | 256k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
201.76/201.80 c 202s| 1420k| 30238 | 3717k| 2.6 | 29M| 39 | 5 | 120 |7045 | 120 | 20 | 23 | 264k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
204.26/204.30 c 204s| 1430k| 30479 | 3737k| 2.6 | 30M| 39 | 5 | 120 |8770 | 120 | 20 | 23 | 272k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
206.87/206.90 c 207s| 1440k| 31456 | 3759k| 2.6 | 30M| 39 | 5 | 120 |8136 | 120 | 20 | 23 | 279k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
209.27/209.33 c 209s| 1450k| 33000 | 3781k| 2.6 | 32M| 39 | 5 | 120 |9357 | 120 | 20 | 23 | 285k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
211.86/211.95 c 212s| 1460k| 33681 | 3801k| 2.6 | 33M| 39 | 5 | 120 |8797 | 120 | 20 | 23 | 292k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
214.37/214.48 c 214s| 1470k| 34612 | 3822k| 2.6 | 34M| 39 | - | 120 |9422 | 120 | 20 | 23 | 299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
217.06/217.19 c 217s| 1480k| 34927 | 3842k| 2.6 | 35M| 39 | - | 120 |8735 | 120 | 20 | 23 | 306k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
219.76/219.90 c 220s| 1490k| 35185 | 3861k| 2.6 | 35M| 39 | - | 120 |9301 | 120 | 20 | 23 | 314k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
222.56/222.68 c 223s| 1500k| 35210 | 3881k| 2.6 | 36M| 39 | - | 120 |9296 | 0 | 0 | 23 | 321k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
225.48/225.58 c 226s| 1510k| 34920 | 3900k| 2.6 | 36M| 39 | 5 | 120 |9452 | 120 | 20 | 23 | 329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
228.46/228.59 c 229s| 1520k| 34634 | 3919k| 2.6 | 36M| 39 | 5 | 120 |9529 | 120 | 20 | 23 | 337k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
231.46/231.57 c 232s| 1530k| 34362 | 3939k| 2.6 | 36M| 39 | 5 | 120 |9661 | 120 | 20 | 23 | 345k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
234.18/234.25 c 234s| 1540k| 34934 | 3958k| 2.6 | 37M| 39 | - | 120 | 10k| 0 | 0 | 23 | 352k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
237.26/237.33 c 237s| 1550k| 34424 | 3977k| 2.6 | 37M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 360k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
240.36/240.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.36/240.49 c 240s| 1560k| 33862 | 3997k| 2.6 | 36M| 39 | - | 120 |9809 | 0 | 0 | 23 | 368k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
243.47/243.59 c 244s| 1570k| 33336 | 4016k| 2.6 | 36M| 39 | - | 120 |9919 | 120 | 20 | 23 | 375k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
246.67/246.72 c 247s| 1580k| 32801 | 4035k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 383k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
249.68/249.75 c 250s| 1590k| 32492 | 4054k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 391k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
252.98/253.02 c 253s| 1600k| 31834 | 4073k| 2.5 | 34M| 39 | - | 120 | 10k| 120 | 20 | 23 | 399k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
256.36/256.43 c 256s| 1610k| 30937 | 4093k| 2.5 | 32M| 39 | - | 120 |9855 | 0 | 0 | 23 | 408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
259.86/259.90 c 260s| 1620k| 30234 | 4113k| 2.5 | 31M| 39 | - | 120 |9649 | 120 | 20 | 23 | 416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
262.36/262.49 c 262s| 1630k| 30128 | 4132k| 2.5 | 31M| 39 | - | 120 | 10k| 120 | 20 | 23 | 423k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
265.96/266.00 c 266s| 1640k| 29083 | 4151k| 2.5 | 29M| 39 | 5 | 120 |9669 | 120 | 20 | 23 | 432k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
269.87/269.97 c 270s| 1650k| 27467 | 4171k| 2.5 | 25M| 39 | - | 120 |8381 | 120 | 20 | 23 | 441k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
272.36/272.46 c 272s| 1660k| 27106 | 4191k| 2.5 | 23M| 39 | - | 120 |4826 | 120 | 20 | 23 | 449k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
274.77/274.86 c 275s| 1670k| 26378 | 4211k| 2.5 | 23M| 39 | - | 120 |4280 | 120 | 20 | 23 | 457k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
277.17/277.27 c 277s| 1680k| 25692 | 4232k| 2.5 | 22M| 39 | 5 | 120 |3924 | 120 | 20 | 23 | 465k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
279.38/279.49 c 279s| 1690k| 25230 | 4251k| 2.5 | 22M| 39 | - | 120 |5418 | 120 | 20 | 23 | 473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
281.76/281.83 c 282s| 1700k| 24780 | 4272k| 2.5 | 21M| 39 | 5 | 120 |4386 | 120 | 20 | 23 | 481k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
284.06/284.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.06/284.19 c 284s| 1710k| 24100 | 4293k| 2.5 | 21M| 39 | - | 120 |3853 | 0 | 0 | 23 | 489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
286.36/286.49 c 286s| 1720k| 23504 | 4314k| 2.5 | 20M| 39 | 5 | 120 |3971 | 120 | 20 | 23 | 497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
288.86/288.94 c 289s| 1730k| 22504 | 4335k| 2.5 | 19M| 39 | 5 | 120 |3274 | 120 | 20 | 23 | 506k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
290.86/290.99 c 291s| 1740k| 23305 | 4356k| 2.5 | 20M| 39 | 5 | 120 |5617 | 120 | 20 | 23 | 512k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
293.26/293.30 c 293s| 1750k| 23404 | 4376k| 2.5 | 21M| 39 | - | 120 |5524 | 120 | 20 | 23 | 520k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
295.67/295.74 c 296s| 1760k| 23162 | 4396k| 2.5 | 21M| 39 | 5 | 120 |5700 | 120 | 20 | 23 | 528k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
298.16/298.20 c 298s| 1770k| 22696 | 4416k| 2.5 | 20M| 39 | 5 | 120 |5995 | 120 | 20 | 23 | 536k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
300.46/300.58 c 301s| 1780k| 22887 | 4438k| 2.5 | 21M| 39 | 5 | 120 |7308 | 120 | 20 | 23 | 543k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
303.17/303.30 c 303s| 1790k| 22327 | 4458k| 2.5 | 20M| 39 | - | 120 |6617 | 120 | 20 | 23 | 551k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
305.57/305.69 c 306s| 1800k| 21938 | 4479k| 2.5 | 19M| 39 | - | 120 |4220 | 120 | 20 | 23 | 559k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
307.88/307.98 c 308s| 1810k| 21401 | 4499k| 2.5 | 18M| 39 | - | 120 |3426 | 120 | 20 | 23 | 567k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
310.26/310.31 c 310s| 1820k| 20612 | 4520k| 2.5 | 17M| 39 | 5 | 120 |3440 | 120 | 20 | 23 | 575k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
312.46/312.51 c 312s| 1830k| 20715 | 4540k| 2.5 | 18M| 39 | - | 120 |5598 | 0 | 0 | 23 | 583k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
314.86/314.97 c 315s| 1840k| 20223 | 4561k| 2.5 | 18M| 39 | - | 120 |5639 | 120 | 20 | 23 | 591k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
317.37/317.47 c 317s| 1850k| 19566 | 4581k| 2.5 | 17M| 39 | 5 | 120 |4366 | 120 | 20 | 23 | 599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
319.67/319.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.67/319.78 c 320s| 1860k| 19208 | 4602k| 2.5 | 17M| 39 | 5 | 120 |5402 | 120 | 20 | 23 | 607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
322.28/322.38 c 322s| 1870k| 18533 | 4623k| 2.5 | 16M| 39 | 5 | 120 |4971 | 120 | 20 | 23 | 615k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
324.56/324.66 c 325s| 1880k| 18761 | 4643k| 2.5 | 17M| 39 | - | 120 |7579 | 120 | 20 | 23 | 623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
327.26/327.34 c 327s| 1890k| 18177 | 4664k| 2.5 | 16M| 39 | 5 | 120 |6686 | 120 | 20 | 23 | 632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
329.87/329.98 c 330s| 1900k| 18008 | 4685k| 2.5 | 16M| 39 | 5 | 120 |6771 | 120 | 20 | 23 | 640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
332.36/332.49 c 332s| 1910k| 17687 | 4705k| 2.5 | 15M| 39 | - | 120 |5458 | 120 | 20 | 23 | 648k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
334.67/334.79 c 335s| 1920k| 17873 | 4724k| 2.5 | 16M| 39 | - | 120 |7105 | 120 | 20 | 23 | 655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
337.36/337.43 c 337s| 1930k| 17512 | 4743k| 2.5 | 16M| 39 | - | 120 |7329 | 0 | 0 | 23 | 663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
339.88/339.99 c 340s| 1940k| 17145 | 4765k| 2.5 | 15M| 39 | 5 | 120 |6407 | 120 | 20 | 23 | 671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
342.46/342.51 c 342s| 1950k| 16910 | 4785k| 2.5 | 15M| 39 | 5 | 120 |8122 | 120 | 20 | 23 | 679k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
345.27/345.40 c 345s| 1960k| 15976 | 4805k| 2.5 | 13M| 39 | 5 | 120 |3954 | 120 | 20 | 23 | 688k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
347.77/347.85 c 348s| 1970k| 15542 | 4826k| 2.4 | 12M| 39 | - | 120 |4997 | 120 | 20 | 23 | 696k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
350.26/350.33 c 350s| 1980k| 15032 | 4845k| 2.4 | 12M| 39 | - | 120 |6427 | 120 | 20 | 23 | 704k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
352.57/352.68 c 353s| 1990k| 15256 | 4866k| 2.4 | 13M| 39 | - | 120 |7794 | 120 | 20 | 23 | 711k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
355.06/355.18 c 355s| 2000k| 16113 | 4887k| 2.4 | 14M| 39 | 5 | 120 |8998 | 120 | 20 | 23 | 718k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
357.96/358.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.96/358.08 c 358s| 2010k| 15536 | 4906k| 2.4 | 14M| 39 | - | 120 |9297 | 120 | 20 | 23 | 726k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
360.87/360.91 c 361s| 2020k| 15254 | 4926k| 2.4 | 14M| 39 | - | 120 | 10k| 120 | 20 | 23 | 734k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
363.56/363.64 c 364s| 2030k| 15494 | 4947k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 743k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
366.66/366.77 c 367s| 2040k| 15473 | 4968k| 2.4 | 16M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 751k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
369.97/370.04 c 370s| 2050k| 15919 | 4988k| 2.4 | 17M| 39 | - | 120 | 16k| 0 | 0 | 23 | 759k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
373.88/374.00 c 374s| 2060k| 15791 | 5008k| 2.4 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 767k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
377.28/377.32 c 377s| 2070k| 16879 | 5029k| 2.4 | 19M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 774k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
381.36/381.40 c 381s| 2080k| 16888 | 5049k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 782k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
385.46/385.54 c 386s| 2090k| 16845 | 5068k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 790k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
389.57/389.69 c 390s| 2100k| 16690 | 5088k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 798k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
393.78/393.89 c 394s| 2110k| 17039 | 5108k| 2.4 | 21M| 39 | - | 120 | 21k| 0 | 0 | 23 | 806k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
398.77/398.87 c 399s| 2120k| 16499 | 5129k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 814k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
402.77/402.81 c 403s| 2130k| 17122 | 5149k| 2.4 | 21M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 822k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
406.67/406.75 c 407s| 2140k| 17307 | 5169k| 2.4 | 22M| 39 | - | 120 | 19k| 0 | 0 | 23 | 829k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
410.86/410.96 c 411s| 2150k| 17266 | 5189k| 2.4 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 | 837k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
415.17/415.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.17/415.24 c 415s| 2160k| 17175 | 5209k| 2.4 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 | 845k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
419.56/419.63 c 420s| 2170k| 17164 | 5228k| 2.4 | 23M| 39 | 5 | 120 | 21k| 120 | 20 | 23 | 853k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
425.68/425.74 c 426s| 2180k| 15631 | 5246k| 2.4 | 18M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 862k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
429.77/429.85 c 430s| 2190k| 15835 | 5267k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 | 869k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
433.47/433.58 c 434s| 2200k| 15872 | 5286k| 2.4 | 18M| 39 | - | 120 | 18k| 0 | 0 | 23 | 877k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
437.56/437.67 c 438s| 2210k| 15074 | 5305k| 2.4 | 17M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 885k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
440.98/441.09 c 441s| 2220k| 15071 | 5326k| 2.4 | 16M| 39 | - | 120 | 14k| 120 | 20 | 23 | 892k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
444.47/444.56 c 445s| 2230k| 14890 | 5346k| 2.4 | 15M| 39 | - | 120 | 12k| 120 | 20 | 23 | 900k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
447.58/447.62 c 448s| 2240k| 14773 | 5366k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 908k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
450.27/450.39 c 450s| 2250k| 15094 | 5385k| 2.4 | 16M| 39 | - | 120 | 13k| 120 | 20 | 23 | 915k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
453.37/453.45 c 453s| 2260k| 15158 | 5405k| 2.4 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 923k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
456.77/456.89 c 457s| 2270k| 14982 | 5426k| 2.4 | 16M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 931k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
460.17/460.20 c 460s| 2280k| 15193 | 5446k| 2.4 | 17M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 939k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
463.66/463.71 c 464s| 2290k| 15027 | 5467k| 2.4 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 | 947k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
467.17/467.27 c 467s| 2300k| 15608 | 5487k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
470.86/470.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.86/470.99 c 471s| 2310k| 16088 | 5507k| 2.4 | 19M| 39 | - | 120 | 18k| 120 | 20 | 23 | 961k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
474.76/474.82 c 475s| 2320k| 16282 | 5526k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 967k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
478.56/478.67 c 479s| 2330k| 16673 | 5546k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 974k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
483.07/483.13 c 483s| 2340k| 16571 | 5566k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 982k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
487.47/487.57 c 488s| 2350k| 16354 | 5585k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 989k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
492.07/492.17 c 492s| 2360k| 15832 | 5605k| 2.4 | 21M| 39 | - | 120 | 20k| 0 | 0 | 23 | 997k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
496.97/497.02 c 497s| 2370k| 15204 | 5624k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
500.77/500.86 c 501s| 2380k| 15684 | 5643k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1011k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
504.78/504.82 c 505s| 2390k| 15929 | 5661k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1018k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
508.87/508.96 c 509s| 2400k| 15931 | 5680k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1026k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
513.37/513.45 c 513s| 2410k| 15308 | 5698k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1033k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
517.17/517.27 c 517s| 2420k| 15982 | 5717k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1040k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
521.46/521.59 c 522s| 2430k| 15959 | 5736k| 2.4 | 21M| 39 | - | 120 | 22k| 0 | 0 | 23 |1048k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
526.07/526.16 c 526s| 2440k| 15715 | 5754k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1056k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
531.28/531.35 c 531s| 2450k| 14964 | 5774k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1064k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
534.67/534.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.67/534.76 c 535s| 2460k| 15567 | 5794k| 2.4 | 19M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1071k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
538.37/538.49 c 538s| 2470k| 15637 | 5813k| 2.4 | 20M| 39 | - | 120 | 20k| 120 | 20 | 23 |1079k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
542.37/542.49 c 542s| 2480k| 15472 | 5832k| 2.4 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1087k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
546.37/546.49 c 546s| 2490k| 15542 | 5852k| 2.4 | 20M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1095k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
550.77/550.82 c 551s| 2500k| 15117 | 5871k| 2.3 | 19M| 39 | - | 120 | 21k| 120 | 20 | 23 |1103k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
554.67/554.77 c 555s| 2510k| 15575 | 5891k| 2.3 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1110k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
559.17/559.26 c 559s| 2520k| 15573 | 5910k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1118k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
564.28/564.40 c 564s| 2530k| 14961 | 5929k| 2.3 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1126k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
568.58/568.66 c 569s| 2540k| 14896 | 5949k| 2.3 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
572.56/572.62 c 573s| 2550k| 15847 | 5970k| 2.3 | 20M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1141k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
576.57/576.67 c 577s| 2560k| 16426 | 5990k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1148k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
581.56/581.67 c 582s| 2570k| 16263 | 6008k| 2.3 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1156k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
586.06/586.18 c 586s| 2580k| 16406 | 6027k| 2.3 | 23M| 39 | - | 120 | 26k| 0 | 0 | 23 |1163k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
590.87/590.91 c 591s| 2590k| 16619 | 6046k| 2.3 | 24M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1171k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
596.08/596.14 c 596s| 2600k| 16251 | 6065k| 2.3 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
602.57/602.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.57/602.70 c 603s| 2610k| 14981 | 6084k| 2.3 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1188k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
607.09/607.17 c 607s| 2620k| 15558 | 6104k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1196k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
611.77/611.83 c 612s| 2630k| 15695 | 6124k| 2.3 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
617.27/617.38 c 617s| 2640k| 15241 | 6143k| 2.3 | 22M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
622.37/622.47 c 622s| 2650k| 15428 | 6164k| 2.3 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
626.77/626.80 c 627s| 2660k| 15749 | 6184k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
631.47/631.57 c 632s| 2670k| 15578 | 6205k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1235k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
635.68/635.80 c 636s| 2680k| 16438 | 6226k| 2.3 | 24M| 39 | - | 120 | 27k| 0 | 0 | 23 |1242k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
640.27/640.38 c 640s| 2690k| 16677 | 6247k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
645.58/645.62 c 646s| 2700k| 16186 | 6267k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1258k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
652.18/652.22 c 652s| 2710k| 14821 | 6287k| 2.3 | 21M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1267k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
656.37/656.43 c 656s| 2720k| 15547 | 6307k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1274k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
661.09/661.12 c 661s| 2730k| 15528 | 6327k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1282k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
666.37/666.45 c 666s| 2740k| 15710 | 6348k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1290k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
670.17/670.26 c 670s| 2750k| 17763 | 6371k| 2.3 | 23M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1296k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
674.29/674.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.29/674.34 c 674s| 2760k| 19267 | 6392k| 2.3 | 24M| 39 | - | 120 | 25k| 120 | 20 | 23 |1302k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
678.59/678.68 c 679s| 2770k| 20447 | 6412k| 2.3 | 26M| 39 | - | 120 | 25k| 120 | 20 | 23 |1309k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
682.98/683.10 c 683s| 2780k| 21382 | 6433k| 2.3 | 27M| 39 | - | 120 | 25k| 120 | 20 | 23 |1316k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
687.57/687.64 c 688s| 2790k| 22252 | 6453k| 2.3 | 28M| 39 | - | 120 | 26k| 120 | 20 | 23 |1323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
691.89/691.97 c 692s| 2800k| 23309 | 6474k| 2.3 | 29M| 39 | - | 120 | 26k| 120 | 20 | 23 |1329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
696.07/696.19 c 696s| 2810k| 24253 | 6494k| 2.3 | 31M| 39 | - | 120 | 28k| 0 | 0 | 23 |1336k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
701.17/701.22 c 701s| 2820k| 24934 | 6514k| 2.3 | 32M| 39 | - | 120 | 28k| 120 | 20 | 23 |1343k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
705.48/705.51 c 705s| 2830k| 25856 | 6534k| 2.3 | 33M| 39 | - | 120 | 29k| 120 | 20 | 23 |1350k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
711.07/711.12 c 711s| 2840k| 26149 | 6554k| 2.3 | 34M| 39 | - | 120 | 27k| 120 | 20 | 23 |1357k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
716.09/716.19 c 716s| 2850k| 26971 | 6575k| 2.3 | 35M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1364k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
720.67/720.73 c 721s| 2860k| 27933 | 6596k| 2.3 | 37M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1372k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
725.67/725.76 c 726s| 2870k| 28631 | 6616k| 2.3 | 38M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1379k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
731.58/731.60 c 732s| 2880k| 29265 | 6635k| 2.3 | 39M| 39 | - | 120 | 30k| 120 | 20 | 23 |1386k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
736.68/736.70 c 737s| 2890k| 30038 | 6655k| 2.3 | 40M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1393k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
742.39/742.49 c 742s| 2900k| 30625 | 6675k| 2.3 | 41M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
748.07/748.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.07/748.10 c 748s| 2910k| 30974 | 6694k| 2.3 | 42M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
753.88/753.96 c 754s| 2920k| 31582 | 6715k| 2.3 | 42M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1415k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
758.47/758.59 c 759s| 2930k| 32676 | 6735k| 2.3 | 44M| 39 | - | 120 | 31k| 120 | 20 | 23 |1422k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
763.48/763.53 c 763s| 2940k| 33127 | 6755k| 2.3 | 45M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1429k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
768.67/768.75 c 769s| 2950k| 33419 | 6774k| 2.3 | 45M| 39 | - | 120 | 31k| 0 | 0 | 23 |1436k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
773.97/774.02 c 774s| 2960k| 33830 | 6793k| 2.3 | 47M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1444k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
780.07/780.11 c 780s| 2970k| 34406 | 6813k| 2.3 | 47M| 39 | - | 120 | 31k| 120 | 20 | 23 |1451k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
785.28/785.40 c 785s| 2980k| 35241 | 6834k| 2.3 | 49M| 39 | - | 120 | 34k| 120 | 20 | 23 |1458k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
791.37/791.40 c 791s| 2990k| 35500 | 6854k| 2.3 | 49M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
798.37/798.47 c 798s| 3000k| 35450 | 6873k| 2.3 | 49M| 39 | - | 120 | 30k| 120 | 20 | 23 |1474k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
804.67/804.71 c 805s| 3010k| 35493 | 6892k| 2.3 | 50M| 39 | - | 120 | 30k| 0 | 0 | 23 |1482k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
809.37/809.44 c 809s| 3020k| 35996 | 6911k| 2.3 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
814.77/814.89 c 815s| 3030k| 36553 | 6932k| 2.3 | 52M| 39 | - | 120 | 33k| 120 | 20 | 23 |1497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
820.67/820.74 c 821s| 3040k| 37106 | 6951k| 2.3 | 53M| 39 | - | 120 | 34k| 120 | 20 | 23 |1504k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
826.58/826.64 c 827s| 3050k| 37436 | 6971k| 2.3 | 54M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1511k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
833.38/833.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.38/833.48 c 833s| 3060k| 37599 | 6990k| 2.3 | 54M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1519k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
840.08/840.14 c 840s| 3070k| 37741 | 7009k| 2.3 | 54M| 39 | - | 120 | 32k| 120 | 20 | 23 |1526k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
845.18/845.21 c 845s| 3080k| 38325 | 7029k| 2.3 | 56M| 39 | - | 120 | 34k| 0 | 0 | 23 |1534k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
851.47/851.51 c 851s| 3090k| 38312 | 7048k| 2.3 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |1541k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
856.90/856.96 c 857s| 3100k| 39372 | 7069k| 2.3 | 58M| 39 | - | 120 | 35k| 120 | 20 | 23 |1549k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
862.57/862.66 c 863s| 3110k| 39591 | 7088k| 2.3 | 59M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1556k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
868.37/868.47 c 868s| 3120k| 40303 | 7108k| 2.3 | 60M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1563k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
874.49/874.52 c 874s| 3130k| 41076 | 7128k| 2.3 | 61M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
880.87/880.98 c 881s| 3140k| 41439 | 7146k| 2.3 | 62M| 39 | - | 120 | 38k| 120 | 20 | 23 |1577k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
887.48/887.58 c 888s| 3150k| 41651 | 7165k| 2.3 | 63M| 39 | - | 120 | 38k| 120 | 20 | 23 |1584k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
895.29/895.32 c 895s| 3160k| 41150 | 7184k| 2.3 | 62M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
901.99/902.03 c 902s| 3170k| 41581 | 7203k| 2.3 | 63M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1600k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
909.98/910.09 c 910s| 3180k| 41578 | 7223k| 2.3 | 62M| 39 | - | 120 | 32k| 120 | 20 | 23 |1608k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
915.77/915.85 c 916s| 3190k| 42161 | 7245k| 2.3 | 63M| 39 | - | 120 | 34k| 120 | 20 | 23 |1616k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
921.69/921.74 c 922s| 3200k| 42683 | 7265k| 2.3 | 65M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
928.48/928.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.48/928.51 c 928s| 3210k| 42462 | 7284k| 2.3 | 64M| 39 | - | 120 | 34k| 0 | 0 | 23 |1632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
935.58/935.69 c 936s| 3220k| 42290 | 7304k| 2.3 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |1640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
942.18/942.22 c 942s| 3230k| 42232 | 7323k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1647k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
948.58/948.66 c 949s| 3240k| 42096 | 7343k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
954.98/955.03 c 955s| 3250k| 42017 | 7361k| 2.3 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |1663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
961.29/961.35 c 961s| 3260k| 41877 | 7380k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
966.90/966.93 c 967s| 3270k| 42407 | 7400k| 2.3 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1678k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
973.57/973.61 c 974s| 3280k| 41984 | 7418k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1686k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
978.99/979.07 c 979s| 3290k| 42661 | 7438k| 2.3 | 67M| 39 | - | 120 | 33k| 0 | 0 | 23 |1693k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
984.57/984.66 c 985s| 3300k| 42770 | 7456k| 2.3 | 67M| 39 | - | 120 | 33k| 120 | 20 | 23 |1701k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
990.37/990.41 c 990s| 3310k| 42741 | 7474k| 2.3 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1708k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
997.78/997.86 c 998s| 3320k| 42399 | 7494k| 2.3 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |1716k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1003.68/1003.71 c 1004s| 3330k| 42661 | 7513k| 2.3 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1724k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1010.28/1010.36 c 1010s| 3340k| 42653 | 7533k| 2.3 | 68M| 39 | - | 120 | 34k| 120 | 20 | 23 |1732k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1016.68/1016.70 c 1017s| 3350k| 42648 | 7553k| 2.3 | 69M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1739k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1022.48/1022.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.48/1022.52 c 1022s| 3360k| 42951 | 7572k| 2.3 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1747k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1028.98/1029.06 c 1029s| 3370k| 42976 | 7592k| 2.3 | 71M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |1755k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1036.97/1037.00 c 1037s| 3380k| 42766 | 7612k| 2.3 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1763k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1043.98/1044.03 c 1044s| 3390k| 42507 | 7631k| 2.3 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1771k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1049.58/1049.60 c 1050s| 3400k| 42715 | 7651k| 2.3 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1778k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1055.77/1055.84 c 1056s| 3410k| 42405 | 7670k| 2.2 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |1786k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1063.18/1063.24 c 1063s| 3420k| 42004 | 7689k| 2.2 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1794k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1069.68/1069.73 c 1070s| 3430k| 42171 | 7709k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1802k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1075.69/1075.74 c 1076s| 3440k| 42619 | 7728k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1809k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1081.98/1082.04 c 1082s| 3450k| 42547 | 7747k| 2.2 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1817k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1089.08/1089.15 c 1089s| 3460k| 42129 | 7767k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1826k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1095.07/1095.13 c 1095s| 3470k| 42107 | 7786k| 2.2 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |1833k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1101.09/1101.13 c 1101s| 3480k| 41959 | 7806k| 2.2 | 70M| 39 | - | 120 | 33k| 120 | 20 | 23 |1841k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1108.58/1108.61 c 1109s| 3490k| 41472 | 7826k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1850k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1114.68/1114.74 c 1115s| 3500k| 41615 | 7846k| 2.2 | 70M| 39 | - | 120 | 33k| 0 | 0 | 23 |1857k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1120.58/1120.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.58/1120.65 c 1121s| 3510k| 41412 | 7865k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1865k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1127.78/1127.82 c 1128s| 3520k| 40902 | 7884k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1873k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1134.09/1134.15 c 1134s| 3530k| 40727 | 7904k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1881k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1139.18/1139.28 c 1139s| 3540k| 41209 | 7924k| 2.2 | 70M| 39 | - | 120 | 34k| 0 | 0 | 23 |1888k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1146.20/1146.25 c 1146s| 3550k| 40587 | 7942k| 2.2 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1897k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1152.48/1152.57 c 1153s| 3560k| 40387 | 7961k| 2.2 | 70M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1905k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1160.08/1160.13 c 1160s| 3570k| 39982 | 7980k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1913k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1167.98/1168.02 c 1168s| 3580k| 39287 | 8000k| 2.2 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |1921k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1175.68/1175.80 c 1176s| 3590k| 38595 | 8020k| 2.2 | 67M| 39 | - | 120 | 31k| 120 | 20 | 23 |1930k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1183.60/1183.61 c 1184s| 3600k| 37717 | 8038k| 2.2 | 66M| 39 | - | 120 | 31k| 0 | 0 | 23 |1938k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1190.09/1190.18 c 1190s| 3610k| 37425 | 8057k| 2.2 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1946k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1196.98/1197.02 c 1197s| 3620k| 37251 | 8078k| 2.2 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1202.88/1202.95 c 1203s| 3630k| 37124 | 8097k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1963k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1210.29/1210.37 c 1210s| 3640k| 37143 | 8117k| 2.2 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1970k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1215.50/1215.53 c 1215s| 3650k| 38245 | 8136k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1977k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1221.49/1221.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.49/1221.56 c 1222s| 3660k| 38703 | 8156k| 2.2 | 67M| 39 | - | 120 | 34k| 120 | 20 | 23 |1984k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1226.99/1227.08 c 1227s| 3670k| 39024 | 8174k| 2.2 | 68M| 39 | - | 120 | 35k| 120 | 20 | 23 |1991k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1232.49/1232.57 c 1233s| 3680k| 39632 | 8195k| 2.2 | 70M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1998k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1239.38/1239.41 c 1239s| 3690k| 39780 | 8214k| 2.2 | 70M| 39 | - | 120 | 36k| 120 | 20 | 23 |2005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1245.59/1245.63 c 1246s| 3700k| 40401 | 8233k| 2.2 | 71M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2012k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1252.08/1252.15 c 1252s| 3710k| 40588 | 8253k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2019k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1258.78/1258.80 c 1259s| 3720k| 40646 | 8272k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2027k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1265.99/1266.09 c 1266s| 3730k| 40525 | 8291k| 2.2 | 72M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2035k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1273.18/1273.23 c 1273s| 3740k| 40204 | 8309k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2042k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1279.88/1279.94 c 1280s| 3750k| 40060 | 8328k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2050k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1286.58/1286.64 c 1287s| 3760k| 40128 | 8348k| 2.2 | 73M| 39 | - | 120 | 39k| 0 | 0 | 23 |2057k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1293.78/1293.85 c 1294s| 3770k| 39809 | 8367k| 2.2 | 73M| 39 | - | 120 | 38k| 120 | 20 | 23 |2065k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1301.30/1301.39 c 1301s| 3780k| 39420 | 8385k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2073k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1309.09/1309.17 c 1309s| 3790k| 38860 | 8404k| 2.2 | 71M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2081k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1316.48/1316.59 c 1317s| 3800k| 38247 | 8423k| 2.2 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2089k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1324.18/1324.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.18/1324.26 c 1324s| 3810k| 37652 | 8442k| 2.2 | 69M| 39 | - | 120 | 37k| 120 | 20 | 23 |2097k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1330.78/1330.89 c 1331s| 3820k| 37335 | 8461k| 2.2 | 69M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2104k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1338.28/1338.39 c 1338s| 3830k| 36994 | 8481k| 2.2 | 68M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2112k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1345.09/1345.16 c 1345s| 3840k| 37244 | 8502k| 2.2 | 68M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2120k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1351.68/1351.70 c 1352s| 3850k| 37288 | 8522k| 2.2 | 69M| 39 | - | 120 | 39k| 0 | 0 | 23 |2129k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1359.60/1359.65 c 1360s| 3860k| 36687 | 8541k| 2.2 | 67M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2137k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1367.88/1367.96 c 1368s| 3870k| 36142 | 8560k| 2.2 | 66M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2145k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1375.89/1376.01 c 1376s| 3880k| 35650 | 8580k| 2.2 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2153k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1383.58/1383.64 c 1384s| 3890k| 35183 | 8599k| 2.2 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |2162k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1391.29/1391.32 c 1391s| 3900k| 34550 | 8618k| 2.2 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2170k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1399.88/1399.93 c 1400s| 3910k| 33567 | 8637k| 2.2 | 61M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1405.80/1405.85 c 1406s| 3920k| 33324 | 8656k| 2.2 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2186k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1412.48/1412.59 c 1413s| 3930k| 32981 | 8674k| 2.2 | 61M| 39 | - | 120 | 34k| 0 | 0 | 23 |2194k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1420.98/1421.02 c 1421s| 3940k| 32246 | 8694k| 2.2 | 59M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1428.99/1429.03 c 1429s| 3950k| 31633 | 8712k| 2.2 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1436.89/1436.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.89/1436.93 c 1437s| 3960k| 30881 | 8731k| 2.2 | 57M| 39 | - | 120 | 33k| 120 | 20 | 23 |2219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1442.79/1442.86 c 1443s| 3970k| 30896 | 8750k| 2.2 | 58M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1449.38/1449.48 c 1449s| 3980k| 30384 | 8769k| 2.2 | 57M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2236k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1456.19/1456.25 c 1456s| 3990k| 30175 | 8789k| 2.2 | 56M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2244k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1462.28/1462.35 c 1462s| 4000k| 30102 | 8808k| 2.2 | 57M| 39 | - | 120 | 35k| 120 | 20 | 23 |2252k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1468.40/1468.51 c 1468s| 4010k| 29828 | 8827k| 2.2 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2260k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1475.69/1475.71 c 1476s| 4020k| 29578 | 8847k| 2.2 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2268k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1482.80/1482.84 c 1483s| 4030k| 29360 | 8866k| 2.2 | 56M| 39 | - | 120 | 36k| 120 | 20 | 23 |2276k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1490.79/1490.81 c 1491s| 4040k| 28975 | 8885k| 2.2 | 54M| 39 | - | 120 | 34k| 0 | 0 | 23 |2284k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1496.89/1496.98 c 1497s| 4050k| 29292 | 8905k| 2.2 | 56M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2291k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1503.99/1504.04 c 1504s| 4060k| 29201 | 8925k| 2.2 | 56M| 39 | - | 120 | 37k| 120 | 20 | 23 |2299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1510.99/1511.08 c 1511s| 4070k| 28922 | 8945k| 2.2 | 56M| 39 | - | 120 | 38k| 120 | 20 | 23 |2307k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1518.09/1518.15 c 1518s| 4080k| 28752 | 8963k| 2.2 | 55M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2315k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1525.79/1525.89 c 1526s| 4090k| 28255 | 8982k| 2.2 | 54M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1533.19/1533.27 c 1533s| 4100k| 27757 | 9002k| 2.2 | 53M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2331k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1539.69/1539.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.69/1539.76 c 1540s| 4110k| 27538 | 9021k| 2.2 | 53M| 39 | - | 120 | 35k| 120 | 20 | 23 |2338k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1546.89/1546.99 c 1547s| 4120k| 27275 | 9040k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2346k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1553.29/1553.30 c 1553s| 4130k| 27168 | 9059k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2354k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1560.49/1560.54 c 1561s| 4140k| 26754 | 9079k| 2.2 | 51M| 39 | - | 120 | 34k| 120 | 20 | 23 |2362k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1566.49/1566.56 c 1567s| 4150k| 26808 | 9099k| 2.2 | 52M| 39 | - | 120 | 36k| 120 | 20 | 23 |2369k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1574.59/1574.60 c 1575s| 4160k| 26330 | 9118k| 2.2 | 50M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2378k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1580.09/1580.19 c 1580s| 4170k| 26891 | 9137k| 2.2 | 51M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2385k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1585.89/1585.98 c 1586s| 4180k| 27008 | 9156k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2392k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1592.70/1592.76 c 1593s| 4190k| 26596 | 9174k| 2.2 | 51M| 39 | - | 120 | 36k| 120 | 20 | 23 |2400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1600.29/1600.34 c 1600s| 4200k| 25993 | 9193k| 2.2 | 50M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1607.99/1608.10 c 1608s| 4210k| 25440 | 9212k| 2.2 | 49M| 39 | - | 120 | 35k| 120 | 20 | 23 |2416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1614.59/1614.69 c 1615s| 4220k| 26009 | 9232k| 2.2 | 49M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2424k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1620.60/1620.65 c 1621s| 4230k| 26776 | 9253k| 2.2 | 51M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2430k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1626.99/1627.03 c 1627s| 4240k| 27193 | 9272k| 2.2 | 52M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2437k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1634.09/1634.12 c 1634s| 4250k| 27168 | 9291k| 2.2 | 52M| 39 | - | 120 | 36k| 0 | 0 | 23 |2445k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1640.19/1640.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.19/1640.28 c 1640s| 4260k| 27646 | 9310k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2452k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1647.60/1647.65 c 1648s| 4270k| 27409 | 9329k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2460k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1653.59/1653.63 c 1654s| 4280k| 28241 | 9349k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1660.09/1660.16 c 1660s| 4290k| 28455 | 9368k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1666.29/1666.36 c 1666s| 4300k| 29012 | 9387k| 2.2 | 56M| 39 | - | 120 | 41k| 120 | 20 | 23 |2480k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1673.20/1673.25 c 1673s| 4310k| 29099 | 9405k| 2.2 | 56M| 39 | - | 120 | 40k| 0 | 0 | 23 |2487k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1680.40/1680.40 c 1680s| 4320k| 29024 | 9423k| 2.2 | 56M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2494k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1687.41/1687.47 c 1687s| 4330k| 28896 | 9443k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2502k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1693.80/1693.84 c 1694s| 4340k| 28975 | 9462k| 2.2 | 56M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2509k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1701.29/1701.37 c 1701s| 4350k| 28691 | 9481k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2517k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1708.30/1708.32 c 1708s| 4360k| 29010 | 9500k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2524k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1715.59/1715.67 c 1716s| 4370k| 29037 | 9519k| 2.2 | 57M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2532k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1723.29/1723.34 c 1723s| 4380k| 28937 | 9538k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2539k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1730.69/1730.71 c 1731s| 4390k| 28467 | 9556k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2547k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1737.90/1737.98 c 1738s| 4400k| 28073 | 9575k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2554k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1745.40/1745.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.40/1745.45 c 1745s| 4410k| 27815 | 9594k| 2.2 | 55M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2562k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1752.90/1752.97 c 1753s| 4420k| 27364 | 9613k| 2.2 | 55M| 39 | - | 120 | 40k| 120 | 20 | 23 |2570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1759.70/1759.77 c 1760s| 4430k| 27126 | 9632k| 2.2 | 55M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2578k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1766.39/1766.46 c 1766s| 4440k| 27516 | 9652k| 2.2 | 55M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2585k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1773.11/1773.18 c 1773s| 4450k| 28002 | 9671k| 2.2 | 57M| 39 | 5 | 120 | 43k| 120 | 20 | 23 |2592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1781.00/1781.00 c 1781s| 4460k| 28316 | 9691k| 2.2 | 57M| 39 | - | 120 | 43k| 120 | 20 | 23 |2599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1789.00/1789.02 c 1789s| 4470k| 28376 | 9710k| 2.2 | 58M| 39 | - | 120 | 44k| 0 | 0 | 23 |2607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1796.39/1796.49 c 1796s| 4480k| 29008 | 9730k| 2.2 | 59M| 39 | - | 120 | 45k| 0 | 0 | 23 |2613k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1799.99/1800.04 c
1799.99/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.04 c Solving Time (sec) : 1800.00
1799.99/1800.04 c Solving Nodes : 4484464
1799.99/1800.04 c Primal Bound : +1.00000000000002e+00 (40 solutions)
1799.99/1800.04 c Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Gap : infinite
1799.99/1800.04 s SATISFIABLE
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1799.99/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.04 c Total Time : 1800.00
1799.99/1800.04 c solving : 1800.00
1799.99/1800.04 c presolving : 0.00 (included in solving)
1799.99/1800.04 c reading : 0.00 (included in solving)
1799.99/1800.04 c Original Problem :
1799.99/1800.04 c Problem name : HOME/instance-3451083-1307095713.opb
1799.99/1800.04 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.04 c Constraints : 10 initial, 10 maximal
1799.99/1800.04 c Presolved Problem :
1799.99/1800.04 c Problem name : t_HOME/instance-3451083-1307095713.opb
1799.99/1800.04 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.04 c Constraints : 5 initial, 45881 maximal
1799.99/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.99/1800.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c linear : 0.00 0 0 0 0 0 5 0 0 0
1799.99/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c root node : - 80 - - 80 - - - - -
1799.99/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.99/1800.04 c integral : 0 0 0 2435769 0 27 0 790 4775 0 0 4860434
1799.99/1800.04 c linear : 5+ 7 10611814 2 0 24 5133071 807800 5585156 0 0 0
1799.99/1800.04 c logicor : 0+ 0 5587685 0 0 0 4877561 41610 2420536 0 0 0
1799.99/1800.04 c countsols : 0 0 0 19 0 23 0 0 0 0 0 0
1799.99/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.99/1800.04 c integral : 14.42 0.00 0.00 14.42 0.00 0.00 0.00
1799.99/1800.04 c linear : 111.90 0.00 99.13 0.00 0.00 0.00 12.77
1799.99/1800.04 c logicor : 611.86 0.00 606.19 0.00 0.00 0.00 5.67
1799.99/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.99/1800.04 c vbounds : 0 0 0 0
1799.99/1800.04 c rootredcost : 31 0 0 80
1799.99/1800.04 c pseudoobj : 10614285 5679 2651 59530
1799.99/1800.04 c Propagator Timings : TotalTime Propagate Resprop
1799.99/1800.04 c vbounds : 1.73 1.73 0.00
1799.99/1800.04 c rootredcost : 2.02 2.02 0.00
1799.99/1800.04 c pseudoobj : 20.71 20.71 0.01
1799.99/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.99/1800.04 c propagation : 23.33 852061 614666 1670536 29.6 370 25.8 -
1799.99/1800.04 c infeasible LP : 31.82 1164410 1164397 2351242 20.1 17460 24.0 0
1799.99/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.04 c applied globally : - - - 2440429 20.4 - - -
1799.99/1800.04 c applied locally : - - - 176783 33.1 - - -
1799.99/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.99/1800.04 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1799.99/1800.04 c redcost : 8.09 2560056 0 2189094 0 0
1799.99/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1799.99/1800.04 c intobj : 0.00 0 0 0 0 0
1799.99/1800.04 c gomory : 0.00 6 0 0 1 0
1799.99/1800.04 c cgmip : 0.00 0 0 0 0 0
1799.99/1800.04 c closecuts : 0.00 0 0 0 0 0
1799.99/1800.04 c strongcg : 0.00 6 0 0 12 0
1799.99/1800.04 c cmir : 0.01 6 0 0 39 0
1799.99/1800.04 c flowcover : 0.01 6 0 0 54 0
1799.99/1800.04 c clique : 0.00 1 0 0 0 0
1799.99/1800.04 c zerohalf : 0.00 0 0 0 0 0
1799.99/1800.04 c mcf : 0.00 1 0 0 0 0
1799.99/1800.04 c oddcycle : 0.00 0 0 0 0 0
1799.99/1800.04 c rapidlearning : 0.01 1 0 0 0 2
1799.99/1800.04 c Pricers : Time Calls Vars
1799.99/1800.04 c problem variables: 0.00 0 0
1799.99/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.99/1800.04 c relpscost : 13.12 2435750 790 4775 0 0 4860434
1799.99/1800.04 c pscost : 0.00 0 0 0 0 0 0
1799.99/1800.04 c inference : 0.00 0 0 0 0 0 0
1799.99/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1799.99/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1799.99/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.04 c random : 0.00 0 0 0 0 0 0
1799.99/1800.04 c Primal Heuristics : Time Calls Found
1799.99/1800.04 c LP solutions : 0.01 - 19
1799.99/1800.04 c pseudo solutions : 0.00 - 0
1799.99/1800.04 c oneopt : 1.02 30 0
1799.99/1800.04 c crossover : 3.38 11 0
1799.99/1800.04 c guideddiving : 4.65 6868 0
1799.99/1800.04 c fracdiving : 4.70 6868 4
1799.99/1800.04 c coefdiving : 5.18 6868 1
1799.99/1800.04 c pscostdiving : 4.75 6869 3
1799.99/1800.04 c veclendiving : 5.47 6869 1
1799.99/1800.04 c linesearchdiving : 4.76 6869 1
1799.99/1800.04 c objpscostdiving : 1.47 3435 1
1799.99/1800.04 c rootsoldiving : 2.84 3435 0
1799.99/1800.04 c trivial : 0.00 2 0
1799.99/1800.04 c shiftandpropagate: 0.00 1 1
1799.99/1800.04 c simplerounding : 0.45 0 0
1799.99/1800.04 c zirounding : 6.80 0 0
1799.99/1800.04 c rounding : 1.15 22476 0
1799.99/1800.04 c shifting : 9.76 32524 8
1799.99/1800.04 c intshifting : 0.08 0 0
1799.99/1800.04 c twoopt : 0.00 0 0
1799.99/1800.04 c fixandinfer : 0.00 0 0
1799.99/1800.04 c feaspump : 0.05 1 0
1799.99/1800.04 c clique : 0.00 0 0
1799.99/1800.04 c intdiving : 0.00 0 0
1799.99/1800.04 c actconsdiving : 0.00 0 0
1799.99/1800.04 c octane : 0.00 0 0
1799.99/1800.04 c rens : 0.04 1 0
1799.99/1800.04 c rins : 0.00 0 0
1799.99/1800.04 c localbranching : 0.00 0 0
1799.99/1800.04 c mutation : 0.00 0 0
1799.99/1800.04 c dins : 0.00 0 0
1799.99/1800.04 c vbounds : 0.00 0 0
1799.99/1800.04 c undercover : 0.00 0 0
1799.99/1800.04 c subnlp : 0.64 0 0
1799.99/1800.04 c trysol : 0.82 0 0
1799.99/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1799.99/1800.04 c primal LP : 0.00 0 0 0.00 -
1799.99/1800.04 c dual LP : 221.52 3931977 9356368 2.38 42237.90
1799.99/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1799.99/1800.04 c barrier LP : 0.00 0 0 0.00 -
1799.99/1800.04 c diving/probing LP: 10.30 186211 383008 2.06 37191.31
1799.99/1800.04 c strong branching : 1.03 11300 33563 2.97 32648.01
1799.99/1800.04 c (at root node) : - 11 630 57.27 -
1799.99/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1799.99/1800.04 c B&B Tree :
1799.99/1800.04 c number of runs : 1
1799.99/1800.04 c nodes : 4484464
1799.99/1800.04 c nodes (total) : 4484464
1799.99/1800.04 c nodes left : 29067
1799.99/1800.04 c max depth : 39
1799.99/1800.04 c max depth (total): 39
1799.99/1800.04 c backtracks : 1368056 (30.5%)
1799.99/1800.04 c delayed cutoffs : 340959
1799.99/1800.04 c repropagations : 3217003 (3657661 domain reductions, 276624 cutoffs)
1799.99/1800.04 c avg switch length: 5.53
1799.99/1800.04 c switching time : 462.12
1799.99/1800.04 c Solution :
1799.99/1800.04 c Solutions found : 40 (32 improvements)
1799.99/1800.04 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1799.99/1800.04 c Primal Bound : +1.00000000000002e+00 (in run 1, after 1241561 nodes, 159.21 seconds, depth 33, found by <relaxation>)
1799.99/1800.04 c Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Gap : infinite
1799.99/1800.04 c Root Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Root Iterations : 61
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3451083-1307095713/watcher-3451083-1307095713 -o /tmp/evaluation-result-3451083-1307095713/solver-3451083-1307095713 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451083-1307095713.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.07 2.04 2.00 2/434 27313 /proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/27313/stat : 27313 (runsolver) S 27311 27313 27022 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 821170946 12079104 51 33554432000 4194304 5432328 140735399986240 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 1 0 0 0 /proc/27313/statm: 2949 51 31 303 0 2643 0 [startup+0.019364 s] /proc/loadavg: 2.07 2.04 2.00 2/434 27313 /proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/27313/stat : 27313 (runsolver) S 27311 27313 27022 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 821170946 12079104 51 33554432000 4194304 5432328 140735399986240 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 1 0 0 0 /proc/27313/statm: 2949 51 31 303 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11796 [startup+0.100354 s] /proc/loadavg: 2.07 2.04 2.00 2/434 27313 /proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=26800 CPUtime=0.05 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 6655 0 0 0 5 0 0 0 23 0 1 0 821170946 27443200 5646 33554432000 4194304 9163163 140737166200304 18446744073709551615 4417539 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 6700 5646 697 1214 0 5482 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 26800 [startup+0.300317 s] /proc/loadavg: 2.07 2.04 2.00 2/434 27313 /proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=26880 CPUtime=0.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7185 0 0 0 22 4 0 0 24 0 1 0 821170946 27525120 5689 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 6720 5689 708 1214 0 5502 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 26880 [startup+0.700248 s] /proc/loadavg: 2.07 2.04 2.00 2/434 27313 /proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=26880 CPUtime=0.65 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7190 0 0 0 56 9 0 0 25 0 1 0 821170946 27525120 5694 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 6720 5694 708 1214 0 5502 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 26880 [startup+1.50011 s] /proc/loadavg: 2.07 2.04 2.00 3/435 27314 /proc/meminfo: memFree=12358924/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=28036 CPUtime=1.46 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7471 0 0 0 125 21 0 0 25 0 1 0 821170946 28708864 5975 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 7009 5975 708 1214 0 5791 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 28036 [startup+3.10083 s] /proc/loadavg: 2.06 2.04 2.00 3/435 27314 /proc/meminfo: memFree=12358140/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=26880 CPUtime=3.06 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 9329 0 0 0 265 41 0 0 25 0 1 0 821170946 27525120 5717 33554432000 4194304 9163163 140737166200304 18446744073709551615 7447770 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 6720 5717 708 1214 0 5502 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 26880 [startup+6.30028 s] /proc/loadavg: 2.06 2.04 2.00 3/435 27315 /proc/meminfo: memFree=12357416/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=26880 CPUtime=6.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 19303 0 0 0 542 84 0 0 25 0 1 0 821170946 27525120 5739 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 6720 5739 709 1214 0 5502 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 26880 [startup+12.7002 s] /proc/loadavg: 2.12 2.05 2.01 3/435 27315 /proc/meminfo: memFree=12352404/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=28804 CPUtime=12.65 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 31297 0 0 0 1100 165 0 0 25 0 1 0 821170946 29495296 6167 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 7201 6167 709 1214 0 5983 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 28804 [startup+25.5009 s] /proc/loadavg: 2.11 2.05 2.00 3/435 27315 /proc/meminfo: memFree=12340012/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=31156 CPUtime=25.46 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 36636 0 0 0 2217 329 0 0 25 0 1 0 821170946 31903744 6722 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 7789 6722 709 1214 0 6571 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 31156 [startup+51.1005 s] /proc/loadavg: 2.07 2.05 2.00 3/435 27316 /proc/meminfo: memFree=12309932/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=40424 CPUtime=51.06 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 40705 0 0 0 4450 656 0 0 25 0 1 0 821170946 41394176 9093 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 10106 9093 709 1214 0 8888 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 40424 [startup+102.316 s] /proc/loadavg: 2.06 2.05 2.00 3/435 27317 /proc/meminfo: memFree=12250332/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=54192 CPUtime=102.27 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 45855 0 0 0 8903 1324 0 0 25 0 1 0 821170946 55492608 12573 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 13548 12573 709 1214 0 12330 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54192 [startup+162.3 s] /proc/loadavg: 2.06 2.05 2.00 3/435 27319 /proc/meminfo: memFree=12213732/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=55820 CPUtime=162.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 84825 0 0 0 14106 2120 0 0 25 0 1 0 821170946 57159680 13011 33554432000 4194304 9163163 140737166200304 18446744073709551615 4593111 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 13955 13011 709 1214 0 12737 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 55820 [startup+222.301 s] /proc/loadavg: 2.02 2.04 2.00 3/435 27320 /proc/meminfo: memFree=12195248/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=66568 CPUtime=222.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 103123 0 0 0 19716 2510 0 0 25 0 1 0 821170946 68165632 15609 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 16642 15609 709 1214 0 15424 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 66568 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.00 3/435 27322 /proc/meminfo: memFree=12172916/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=70180 CPUtime=282.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 107127 0 0 0 25420 2806 0 0 25 0 1 0 821170946 71864320 16458 33554432000 4194304 9163163 140737166200304 18446744073709551615 5842790 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 17545 16458 709 1214 0 16327 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 70180 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/435 27323 /proc/meminfo: memFree=12152200/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=70408 CPUtime=342.27 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 107161 0 0 0 31029 3198 0 0 25 0 1 0 821170946 72097792 16492 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275787 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 17602 16492 709 1214 0 16384 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 70408 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/435 27325 /proc/meminfo: memFree=12127636/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=72412 CPUtime=402.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112302 0 0 0 36761 3465 0 0 25 0 1 0 821170946 74149888 16827 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 18103 16827 709 1214 0 16885 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 72412 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 27327 /proc/meminfo: memFree=12099480/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=74064 CPUtime=462.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112671 0 0 0 42532 3694 0 0 25 0 1 0 821170946 75841536 17196 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 18516 17196 709 1214 0 17298 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 74064 [startup+522.301 s] /proc/loadavg: 2.14 2.05 2.01 3/435 27328 /proc/meminfo: memFree=12071200/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=74748 CPUtime=522.26 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112762 0 0 0 48322 3904 0 0 25 0 1 0 821170946 76541952 17287 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 18687 17287 709 1214 0 17469 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 74748 [startup+582.3 s] /proc/loadavg: 2.05 2.04 2.00 3/435 27330 /proc/meminfo: memFree=12056436/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=76152 CPUtime=582.27 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 113016 0 0 0 54112 4115 0 0 25 0 1 0 821170946 77979648 17541 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 19038 17541 709 1214 0 17820 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 76152 [startup+642.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.03 2.00 3/435 27338 /proc/meminfo: memFree=11911404/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=100252 CPUtime=882.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 127110 0 0 0 83260 4968 0 0 25 0 1 0 821170946 102658048 23539 33554432000 4194304 9163163 140737166200304 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 25063 23539 709 1214 0 23845 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 100252 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/435 27339 /proc/meminfo: memFree=11888696/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=103856 CPUtime=942.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 127839 0 0 0 89125 5103 0 0 25 0 1 0 821170946 106348544 24268 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 25964 24268 709 1214 0 24746 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 103856 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 27341 /proc/meminfo: memFree=11870076/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=106992 CPUtime=1002.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 128667 0 0 0 94988 5240 0 0 25 0 1 0 821170946 109559808 25096 33554432000 4194304 9163163 140737166200304 18446744073709551615 4240446 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 26748 25096 709 1214 0 25530 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 106992 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 27343 /proc/meminfo: memFree=11836704/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=109536 CPUtime=1062.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129327 0 0 0 100853 5375 0 0 25 0 1 0 821170946 112164864 25756 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 27384 25756 709 1214 0 26166 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 109536 [startup+1122.3 s] /proc/loadavg: 2.04 2.02 2.00 3/435 27344 /proc/meminfo: memFree=11810772/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=110204 CPUtime=1122.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129456 0 0 0 106716 5512 0 0 25 0 1 0 821170946 112848896 25885 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 27551 25885 709 1214 0 26333 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 110204 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/435 27346 /proc/meminfo: memFree=11784460/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=110204 CPUtime=1182.28 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129472 0 0 0 112583 5645 0 0 25 0 1 0 821170946 112848896 25901 33554432000 4194304 9163163 140737166200304 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 27551 25901 709 1214 0 26333 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 110204 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.00 3/435 27347 /proc/meminfo: memFree=11762864/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=110204 CPUtime=1242.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129487 0 0 0 118446 5783 0 0 25 0 1 0 821170946 112848896 25916 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 27551 25916 709 1214 0 26333 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 110204 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/435 27349 /proc/meminfo: memFree=11724544/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1302.3 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130395 0 0 0 124324 5906 0 0 25 0 1 0 821170946 116469760 26824 33554432000 4194304 9163163 140737166200304 18446744073709551615 5263715 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26824 709 1214 0 27217 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 113740 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/435 27351 /proc/meminfo: memFree=11687580/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1362.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130476 0 0 0 130211 6018 0 0 25 0 1 0 821170946 116469760 26905 33554432000 4194304 9163163 140737166200304 18446744073709551615 6923311 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26905 709 1214 0 27217 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 113740 [startup+1422.32 s] /proc/loadavg: 2.00 2.01 2.00 3/435 27352 /proc/meminfo: memFree=11650240/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1422.3 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130478 0 0 0 136091 6139 0 0 25 0 1 0 821170946 116469760 26907 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26907 709 1214 0 27217 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 113740 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/435 27354 /proc/meminfo: memFree=11604100/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1482.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130478 0 0 0 141959 6270 0 0 25 0 1 0 821170946 116469760 26907 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275961 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26907 709 1214 0 27217 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 113740 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/435 27355 /proc/meminfo: memFree=11568876/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1542.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 147835 6394 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26910 709 1214 0 27217 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 113740 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/435 27357 /proc/meminfo: memFree=11528944/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1602.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 153699 6530 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275452 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26910 709 1214 0 27217 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 113740 [startup+1662.3 s] /proc/loadavg: 2.11 2.03 2.01 3/435 27359 /proc/meminfo: memFree=11494716/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1662.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 159565 6664 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 4209482 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26910 709 1214 0 27217 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 113740 [startup+1722.3 s] /proc/loadavg: 2.22 2.07 2.02 3/435 27388 /proc/meminfo: memFree=12352876/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1722.29 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 165434 6795 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26910 709 1214 0 27217 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 113740 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 2.01 3/435 27390 /proc/meminfo: memFree=12351624/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=113740 CPUtime=1782.3 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 171326 6904 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/27313/statm: 28435 26910 709 1214 0 27217 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 113740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.13 2.07 2.02 3/435 27390 /proc/meminfo: memFree=12348152/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=115208 CPUtime=1800.11 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130850 0 0 0 173081 6930 0 0 25 0 1 0 821170946 117972992 27279 33554432000 4194304 9163163 140737166200304 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27313/statm: 28802 27279 712 1214 0 27584 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 115208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.13 2.07 2.02 3/435 27390 /proc/meminfo: memFree=12348152/32951132 swapFree=67093840/67111528 [pid=27313] ppid=27311 vsize=115208 CPUtime=1800.11 cores=1,3,5,7 /proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130850 0 0 0 173081 6930 0 0 25 0 1 0 821170946 117972992 27279 33554432000 4194304 9163163 140737166200304 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27313/statm: 28802 27279 712 1214 0 27584 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 115208 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.12 CPU time (s): 1800.13 CPU user time (s): 1730.82 CPU system time (s): 69.3095 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 115208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.82 system time used= 69.3095 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130850 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= 5 involuntary context switches= 3080 runsolver used 7.46986 second user time and 17.9163 second system time The end
Begin job on node131 at 2011-06-03 12:08:33 IDJOB=3451083 IDBENCH=2923 IDSOLVER=1948 FILE ID=node131/3451083-1307095713 RUNJOBID= node131-1307092006-27042 PBS_JOBID= 13497965 Free space on /tmp= 73888 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451083-1307095713/watcher-3451083-1307095713 -o /tmp/evaluation-result-3451083-1307095713/solver-3451083-1307095713 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451083-1307095713.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=466525121 node131.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.830 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.66 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 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.830 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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: 32951132 kB MemFree: 12380476 kB Buffers: 341860 kB Cached: 5654832 kB SwapCached: 948 kB Active: 16101628 kB Inactive: 4150296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12380476 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 12076 kB Writeback: 0 kB AnonPages: 14254416 kB Mapped: 41312 kB Slab: 195536 kB PageTables: 55632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95495068 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73876 MiB End job on node131 at 2011-06-03 12:38:35