Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 5 | 1790.14 | 1790.7 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703926-1278561897.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 30 | - | 489k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1199
0.09/0.14 c y 0.1s| 1 | 0 | 57 | - | 529k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 62 | - | 614k| 0 | 9 | 146 | 48 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 69 | - | 675k| 0 | 13 | 146 | 48 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 73 | - | 689k| 0 | 15 | 146 | 48 | 146 | 19 | 13 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 94 | - | 713k| 0 | 15 | 146 | 48 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 99 | - | 731k| 0 | 16 | 146 | 48 | 146 | 25 | 19 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 106 | - | 735k| 0 | 15 | 146 | 48 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.28 c 0.3s| 1 | 2 | 106 | - | 735k| 0 | 15 | 146 | 48 | 146 | 26 | 20 | 0 | 9 | 0.000000e+00 | 1.199000e+03 | Inf
0.29/0.34 o 473
0.29/0.34 c c 0.3s| 19 | 20 | 286 | 10.0 | 813k| 18 | - | 146 | 48 | 146 | 15 | 20 | 1 | 109 | 0.000000e+00 | 4.730000e+02 | Inf
0.39/0.41 o 472
0.39/0.41 c f 0.4s| 62 | 62 | 493 | 6.3 | 813k| 45 | - | 146 | 48 | 146 | 15 | 20 | 3 | 248 | 0.000000e+00 | 4.720000e+02 | Inf
0.39/0.41 o 470
0.39/0.41 c v 0.4s| 62 | 61 | 493 | 6.3 | 835k| 45 | - | 146 | 48 | 146 | 15 | 20 | 5 | 248 | 0.000000e+00 | 4.700000e+02 | Inf
0.39/0.45 o 469
0.39/0.45 c * 0.4s| 96 | 93 | 595 | 5.1 | 848k| 45 | - | 146 | 48 | 146 | 15 | 20 | 5 | 354 | 0.000000e+00 | 4.690000e+02 | Inf
0.49/0.54 o 447
0.49/0.54 c g 0.5s| 183 | 174 | 1234 | 6.2 | 905k| 46 | - | 146 | 58 | 146 | 15 | 20 | 17 | 445 | 0.000000e+00 | 4.470000e+02 | Inf
0.59/0.60 o 199
0.59/0.60 c f 0.6s| 260 | 237 | 1677 | 6.1 | 948k| 46 | - | 146 | 58 | 146 | 15 | 20 | 17 | 464 | 0.000000e+00 | 1.990000e+02 | Inf
0.79/0.82 o 161
0.79/0.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.82 c s 0.8s| 580 | 550 | 3093 | 5.2 |1065k| 46 | 6 | 146 | 60 | 146 | 15 | 20 | 26 | 503 | 0.000000e+00 | 1.610000e+02 | Inf
1.39/1.48 o 115
1.39/1.48 c f 1.5s| 1462 | 1418 | 8400 | 5.7 |1511k| 46 | - | 146 | 93 | 146 | 15 | 20 | 92 | 545 | 0.000000e+00 | 1.150000e+02 | Inf
1.89/1.93 o 30
1.89/1.93 c s 1.9s| 2035 | 1528 | 11929 | 5.8 |1540k| 46 | 6 | 146 | 92 | 146 | 15 | 20 | 119 | 587 | 0.000000e+00 | 3.000000e+01 | Inf
1.89/1.93 o 28
1.89/1.93 c v 1.9s| 2035 | 1518 | 11944 | 5.8 |1551k| 46 | - | 146 | 92 | 146 | 15 | 20 | 123 | 593 | 0.000000e+00 | 2.800000e+01 | Inf
8.29/8.32 c 8.3s| 10000 | 7234 | 61261 | 6.1 |4399k| 46 | 6 | 146 | 67 | 146 | 15 | 20 | 893 | 982 | 0.000000e+00 | 2.800000e+01 | Inf
12.39/12.50 o 26
12.39/12.50 c *12.5s| 16603 | 10985 | 92745 | 5.6 |6502k| 46 | - | 146 | 77 | 146 | 15 | 20 |1489 |1293 | 0.000000e+00 | 2.600000e+01 | Inf
14.48/14.59 c 14.6s| 20000 | 12920 |108181 | 5.4 |7516k| 46 | - | 146 | 82 | 146 | 15 | 20 |1758 |1412 | 0.000000e+00 | 2.600000e+01 | Inf
18.59/18.64 o 25
18.59/18.64 c v18.6s| 26730 | 16406 |139301 | 5.2 |9578k| 46 | - | 146 | 74 | 146 | 15 | 20 |2270 |1676 | 0.000000e+00 | 2.500000e+01 | Inf
20.48/20.52 c 20.5s| 30000 | 18070 |154305 | 5.1 | 10M| 46 | - | 146 | 80 | 146 | 15 | 20 |2567 |1782 | 0.000000e+00 | 2.500000e+01 | Inf
21.68/21.76 o 24
21.68/21.76 c *21.7s| 32262 | 19077 |164106 | 5.1 | 11M| 46 | - | 146 | 84 | 146 | 15 | 20 |2743 |1854 | 0.000000e+00 | 2.400000e+01 | Inf
21.68/21.76 o 22
21.68/21.76 c *21.7s| 32263 | 18884 |164106 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2743 |1854 | 0.000000e+00 | 2.200000e+01 | Inf
21.68/21.77 o 20
21.68/21.77 c *21.8s| 32279 | 18598 |164161 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1859 | 0.000000e+00 | 2.000000e+01 | Inf
21.68/21.77 o 18
21.68/21.77 c *21.8s| 32281 | 18272 |164161 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1861 | 0.000000e+00 | 1.800000e+01 | Inf
21.68/21.78 o 16
21.68/21.78 c *21.8s| 32282 | 16582 |164161 | 5.1 |9219k| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1861 | 0.000000e+00 | 1.600000e+01 | Inf
25.89/25.93 c 25.9s| 40000 | 20080 |198429 | 5.0 | 10M| 46 | 6 | 146 | 89 | 146 | 15 | 20 |3181 |2120 | 0.000000e+00 | 1.600000e+01 | Inf
30.69/30.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.69/30.75 c 30.7s| 50000 | 23309 |237317 | 4.7 | 12M| 46 | - | 146 | 82 | 146 | 15 | 20 |3682 |2394 | 0.000000e+00 | 1.600000e+01 | Inf
35.27/35.35 c 35.3s| 60000 | 26243 |276155 | 4.6 | 14M| 46 | - | 146 | 88 | 146 | 15 | 20 |4131 |2638 | 0.000000e+00 | 1.600000e+01 | Inf
37.08/37.10 o 15
37.08/37.10 c *37.1s| 63838 | 27136 |290716 | 4.6 | 14M| 46 | - | 146 | 90 | 146 | 15 | 20 |4338 |2721 | 0.000000e+00 | 1.500000e+01 | Inf
37.08/37.10 o 13
37.08/37.10 c *37.1s| 63839 | 26765 |290716 | 4.6 | 14M| 46 | - | 146 | 90 | 146 | 15 | 20 |4338 |2721 | 0.000000e+00 | 1.300000e+01 | Inf
39.67/39.74 c 39.7s| 70000 | 27709 |312478 | 4.5 | 15M| 46 | 6 | 146 | 87 | 146 | 15 | 20 |4542 |2838 | 0.000000e+00 | 1.300000e+01 | Inf
43.97/44.02 c 44.0s| 80000 | 29626 |348983 | 4.4 | 16M| 46 | 6 | 146 | 82 | 146 | 15 | 20 |4898 |3058 | 0.000000e+00 | 1.300000e+01 | Inf
48.47/48.59 c 48.6s| 90000 | 32196 |387491 | 4.3 | 18M| 46 | 6 | 146 | 88 | 146 | 15 | 20 |5354 |3239 | 0.000000e+00 | 1.300000e+01 | Inf
53.17/53.29 c 53.3s|100000 | 34947 |427148 | 4.3 | 19M| 46 | - | 146 | 88 | 146 | 15 | 20 |5763 |3399 | 0.000000e+00 | 1.300000e+01 | Inf
57.46/57.56 c 57.5s|110000 | 36842 |463622 | 4.2 | 20M| 46 | 6 | 146 | 80 | 146 | 15 | 20 |6092 |3584 | 0.000000e+00 | 1.300000e+01 | Inf
61.76/61.82 c 61.8s|120000 | 38290 |501240 | 4.2 | 21M| 46 | - | 146 | 72 | 146 | 15 | 20 |6373 |3747 | 0.000000e+00 | 1.300000e+01 | Inf
65.87/65.97 c 66.0s|130000 | 39602 |537704 | 4.1 | 22M| 46 | 6 | 146 | 66 | 146 | 15 | 20 |6674 |3922 | 0.000000e+00 | 1.300000e+01 | Inf
70.06/70.10 c 70.1s|140000 | 40770 |573660 | 4.1 | 23M| 46 | - | 146 | 68 | 146 | 15 | 20 |6965 |4078 | 0.000000e+00 | 1.300000e+01 | Inf
74.26/74.30 c 74.3s|150000 | 42345 |610663 | 4.1 | 24M| 46 | 6 | 146 | 67 | 146 | 15 | 20 |7211 |4240 | 0.000000e+00 | 1.300000e+01 | Inf
76.66/76.72 o 12
76.66/76.72 c *76.7s|155903 | 42827 |632637 | 4.1 | 25M| 46 | - | 146 | 67 | 146 | 15 | 20 |7337 |4317 | 0.000000e+00 | 1.200000e+01 | Inf
78.36/78.44 c 78.4s|160000 | 43020 |647288 | 4.0 | 25M| 46 | 6 | 146 | 64 | 146 | 15 | 20 |7418 |4392 | 0.000000e+00 | 1.200000e+01 | Inf
82.66/82.74 o 11
82.66/82.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.66/82.74 c *82.7s|166293 | 43014 |669456 | 4.0 | 25M| 46 | - | 146 | 69 | 146 | 15 | 20 |7565 |4481 | 0.000000e+00 | 1.100000e+01 | Inf
84.15/84.26 c 84.2s|170000 | 43154 |682496 | 4.0 | 25M| 46 | 6 | 146 | 69 | 146 | 15 | 20 |7657 |4537 | 0.000000e+00 | 1.100000e+01 | Inf
88.97/89.03 c 89.0s|180000 | 43677 |718526 | 4.0 | 25M| 46 | - | 146 | 64 | 146 | 15 | 20 |7859 |4657 | 0.000000e+00 | 1.100000e+01 | Inf
93.15/93.23 c 93.2s|190000 | 44458 |754382 | 4.0 | 26M| 46 | 6 | 146 | 55 | 146 | 15 | 20 |8095 |4796 | 0.000000e+00 | 1.100000e+01 | Inf
97.35/97.45 c 97.4s|200000 | 45050 |790191 | 4.0 | 27M| 46 | 6 | 146 | 54 | 146 | 15 | 20 |8415 |4926 | 0.000000e+00 | 1.100000e+01 | Inf
101.76/101.82 c 102s|210000 | 47593 |827839 | 3.9 | 28M| 46 | - | 146 | 51 | 146 | 15 | 20 |8794 |5076 | 0.000000e+00 | 1.100000e+01 | Inf
106.05/106.18 c 106s|220000 | 49694 |866041 | 3.9 | 29M| 46 | 6 | 146 | 46 | 146 | 15 | 20 |9122 |5201 | 0.000000e+00 | 1.100000e+01 | Inf
110.65/110.71 c 111s|230000 | 52314 |906694 | 3.9 | 31M| 46 | 6 | 146 | 46 | 146 | 15 | 20 |9433 |5314 | 0.000000e+00 | 1.100000e+01 | Inf
115.45/115.58 c 116s|240000 | 55983 |949665 | 4.0 | 32M| 46 | 6 | 146 | 44 | 146 | 15 | 20 |9882 |5446 | 0.000000e+00 | 1.100000e+01 | Inf
119.95/120.02 c 120s|250000 | 59114 |987861 | 4.0 | 34M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 10k|5543 | 0.000000e+00 | 1.100000e+01 | Inf
123.85/123.97 o 9
123.85/123.97 c * 124s|259290 | 60463 | 1022k| 3.9 | 34M| 46 | - | 146 | 41 | 146 | 15 | 20 | 10k|5661 | 0.000000e+00 | 9.000000e+00 | Inf
124.16/124.27 c 124s|260000 | 60619 | 1025k| 3.9 | 34M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 10k|5662 | 0.000000e+00 | 9.000000e+00 | Inf
128.34/128.44 c 128s|270000 | 63166 | 1060k| 3.9 | 35M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 10k|5832 | 0.000000e+00 | 9.000000e+00 | Inf
132.35/132.42 c 132s|280000 | 65074 | 1094k| 3.9 | 37M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 11k|6014 | 0.000000e+00 | 9.000000e+00 | Inf
136.64/136.73 c 137s|290000 | 67272 | 1128k| 3.9 | 38M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 11k|6176 | 0.000000e+00 | 9.000000e+00 | Inf
140.54/140.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.54/140.61 c 141s|300000 | 69083 | 1161k| 3.9 | 39M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 11k|6314 | 0.000000e+00 | 9.000000e+00 | Inf
144.44/144.55 c 145s|310000 | 70908 | 1196k| 3.9 | 40M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 12k|6482 | 0.000000e+00 | 9.000000e+00 | Inf
148.45/148.52 c 149s|320000 | 72213 | 1231k| 3.8 | 41M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 12k|6631 | 0.000000e+00 | 9.000000e+00 | Inf
152.34/152.45 c 152s|330000 | 73482 | 1264k| 3.8 | 42M| 46 | - | 146 | 37 | 0 | 0 | 20 | 13k|6792 | 0.000000e+00 | 9.000000e+00 | Inf
156.14/156.28 c 156s|340000 | 74845 | 1298k| 3.8 | 43M| 46 | - | 146 | 38 | 146 | 15 | 20 | 13k|6949 | 0.000000e+00 | 9.000000e+00 | Inf
160.04/160.10 c 160s|350000 | 75919 | 1332k| 3.8 | 43M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 13k|7110 | 0.000000e+00 | 9.000000e+00 | Inf
163.75/163.87 c 164s|360000 | 77161 | 1365k| 3.8 | 44M| 46 | - | 146 | 38 | 0 | 0 | 20 | 13k|7283 | 0.000000e+00 | 9.000000e+00 | Inf
167.63/167.76 c 168s|370000 | 77844 | 1397k| 3.8 | 45M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 14k|7464 | 0.000000e+00 | 9.000000e+00 | Inf
171.54/171.61 c 172s|380000 | 78893 | 1430k| 3.8 | 46M| 46 | - | 146 | 37 | 0 | 0 | 20 | 14k|7618 | 0.000000e+00 | 9.000000e+00 | Inf
175.34/175.43 c 175s|390000 | 79389 | 1465k| 3.8 | 46M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 14k|7764 | 0.000000e+00 | 9.000000e+00 | Inf
179.14/179.20 c 179s|400000 | 80281 | 1498k| 3.7 | 47M| 46 | - | 146 | 39 | 146 | 15 | 20 | 15k|7919 | 0.000000e+00 | 9.000000e+00 | Inf
182.83/182.92 c 183s|410000 | 80991 | 1530k| 3.7 | 47M| 46 | - | 146 | 43 | 146 | 15 | 20 | 15k|8086 | 0.000000e+00 | 9.000000e+00 | Inf
186.43/186.59 c 187s|420000 | 81711 | 1560k| 3.7 | 48M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 15k|8209 | 0.000000e+00 | 9.000000e+00 | Inf
190.24/190.39 c 190s|430000 | 82667 | 1594k| 3.7 | 49M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 16k|8339 | 0.000000e+00 | 9.000000e+00 | Inf
194.23/194.31 c 194s|440000 | 83801 | 1629k| 3.7 | 49M| 46 | - | 146 | 38 | 146 | 15 | 20 | 16k|8468 | 0.000000e+00 | 9.000000e+00 | Inf
198.13/198.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.13/198.22 c 198s|450000 | 84542 | 1664k| 3.7 | 50M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 16k|8581 | 0.000000e+00 | 9.000000e+00 | Inf
201.92/202.05 c 202s|460000 | 85030 | 1699k| 3.7 | 51M| 46 | - | 146 | 44 | 146 | 15 | 20 | 17k|8699 | 0.000000e+00 | 9.000000e+00 | Inf
205.72/205.88 c 206s|470000 | 85442 | 1735k| 3.7 | 51M| 46 | - | 146 | 45 | 146 | 15 | 20 | 17k|8830 | 0.000000e+00 | 9.000000e+00 | Inf
209.52/209.66 c 210s|480000 | 85559 | 1768k| 3.7 | 51M| 46 | - | 146 | 40 | 146 | 15 | 20 | 17k|8957 | 0.000000e+00 | 9.000000e+00 | Inf
213.34/213.42 c 213s|490000 | 85593 | 1802k| 3.7 | 51M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 18k|9061 | 0.000000e+00 | 9.000000e+00 | Inf
217.13/217.21 c 217s|500000 | 86024 | 1835k| 3.7 | 52M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 18k|9255 | 0.000000e+00 | 9.000000e+00 | Inf
220.93/221.05 c 221s|510000 | 85972 | 1869k| 3.7 | 52M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 18k|9394 | 0.000000e+00 | 9.000000e+00 | Inf
224.82/224.96 c 225s|520000 | 86837 | 1904k| 3.7 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 19k|9515 | 0.000000e+00 | 9.000000e+00 | Inf
228.62/228.74 c 229s|530000 | 87848 | 1937k| 3.7 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 19k|9669 | 0.000000e+00 | 9.000000e+00 | Inf
232.42/232.54 c 233s|540000 | 89293 | 1970k| 3.6 | 54M| 46 | - | 146 | 41 | 146 | 15 | 20 | 19k|9800 | 0.000000e+00 | 9.000000e+00 | Inf
236.12/236.26 c 236s|550000 | 89923 | 2002k| 3.6 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 20k|9917 | 0.000000e+00 | 9.000000e+00 | Inf
239.81/239.96 c 240s|560000 | 90388 | 2033k| 3.6 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 20k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
243.51/243.69 c 244s|570000 | 90644 | 2065k| 3.6 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 20k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
247.21/247.38 c 247s|580000 | 90906 | 2096k| 3.6 | 56M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
250.92/251.09 c 251s|590000 | 91197 | 2128k| 3.6 | 57M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
254.71/254.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.71/254.84 c 255s|600000 | 91741 | 2159k| 3.6 | 57M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
258.42/258.54 c 259s|610000 | 92154 | 2190k| 3.6 | 57M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
262.01/262.17 c 262s|620000 | 92307 | 2221k| 3.6 | 58M| 46 | - | 146 | 36 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
265.71/265.87 c 266s|630000 | 92442 | 2252k| 3.6 | 58M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
269.42/269.54 c 270s|640000 | 92574 | 2283k| 3.6 | 58M| 46 | - | 146 | 41 | 146 | 15 | 20 | 22k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
273.21/273.30 c 273s|650000 | 92818 | 2316k| 3.6 | 59M| 46 | - | 146 | 45 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
276.81/276.94 c 277s|660000 | 93171 | 2346k| 3.6 | 59M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
280.51/280.64 c 281s|670000 | 93389 | 2378k| 3.5 | 59M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
284.21/284.30 c 284s|680000 | 93355 | 2408k| 3.5 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
285.30/285.42 o 7
285.30/285.42 c * 285s|682916 | 90949 | 2418k| 3.5 | 56M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
285.30/285.43 o 5
285.30/285.43 c * 285s|682917 | 87710 | 2418k| 3.5 | 52M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
287.81/287.96 c 288s|690000 | 88136 | 2443k| 3.5 | 52M| 46 | - | 146 | 35 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
291.32/291.41 c 291s|700000 | 88505 | 2477k| 3.5 | 52M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
294.61/294.80 c 295s|710000 | 88660 | 2509k| 3.5 | 52M| 46 | - | 146 | 33 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
298.20/298.36 c 298s|720000 | 89980 | 2544k| 3.5 | 53M| 46 | - | 146 | 35 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
301.61/301.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.61/301.74 c 302s|730000 | 90651 | 2577k| 3.5 | 54M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
304.90/305.08 c 305s|740000 | 90958 | 2608k| 3.5 | 54M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
308.31/308.44 c 308s|750000 | 91326 | 2639k| 3.5 | 54M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
311.70/311.81 c 312s|760000 | 91529 | 2671k| 3.5 | 55M| 46 | - | 146 | 36 | 0 | 0 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
315.01/315.13 c 315s|770000 | 91560 | 2701k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
318.30/318.44 c 318s|780000 | 91600 | 2732k| 3.5 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
321.60/321.72 c 322s|790000 | 91510 | 2761k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
324.89/325.02 c 325s|800000 | 91199 | 2791k| 3.5 | 55M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
328.20/328.37 c 328s|810000 | 91142 | 2822k| 3.5 | 55M| 46 | - | 146 | 35 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
331.49/331.65 c 332s|820000 | 90835 | 2851k| 3.5 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
334.89/335.01 c 335s|830000 | 90773 | 2883k| 3.5 | 55M| 46 | - | 146 | 34 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
338.19/338.35 c 338s|840000 | 90629 | 2914k| 3.5 | 55M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
341.69/341.81 c 342s|850000 | 91278 | 2947k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 26k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
344.99/345.17 c 345s|860000 | 91132 | 2978k| 3.5 | 55M| 46 | - | 146 | 31 | 146 | 15 | 20 | 26k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
348.40/348.56 c 349s|870000 | 90994 | 3008k| 3.5 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
351.69/351.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.69/351.90 c 352s|880000 | 90598 | 3038k| 3.5 | 55M| 46 | - | 146 | 31 | 0 | 0 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
355.00/355.18 c 355s|890000 | 90243 | 3069k| 3.4 | 55M| 46 | - | 146 | 33 | 0 | 0 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
358.40/358.51 c 359s|900000 | 90092 | 3100k| 3.4 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
361.70/361.87 c 362s|910000 | 89943 | 3132k| 3.4 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
364.99/365.18 c 365s|920000 | 89647 | 3162k| 3.4 | 54M| 46 | - | 146 | 32 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
368.29/368.48 c 368s|930000 | 89388 | 3192k| 3.4 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
371.69/371.81 c 372s|940000 | 89183 | 3222k| 3.4 | 54M| 46 | - | 146 | 33 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
375.00/375.16 c 375s|950000 | 89065 | 3253k| 3.4 | 54M| 46 | - | 146 | 32 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
378.48/378.61 c 379s|960000 | 90055 | 3285k| 3.4 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
381.88/382.00 c 382s|970000 | 90675 | 3317k| 3.4 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
385.18/385.39 c 385s|980000 | 90857 | 3348k| 3.4 | 55M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
388.68/388.81 c 389s|990000 | 91055 | 3380k| 3.4 | 55M| 46 | - | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
391.98/392.11 c 392s| 1000k| 91151 | 3410k| 3.4 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
395.28/395.46 c 395s| 1010k| 91291 | 3441k| 3.4 | 56M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 29k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
398.68/398.82 c 399s| 1020k| 91320 | 3470k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
401.98/402.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.98/402.17 c 402s| 1030k| 91141 | 3501k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
405.38/405.51 c 406s| 1040k| 91010 | 3531k| 3.4 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
408.68/408.85 c 409s| 1050k| 90870 | 3562k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
411.97/412.19 c 412s| 1060k| 91119 | 3592k| 3.4 | 56M| 46 | - | 146 | 38 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
415.28/415.49 c 415s| 1070k| 90947 | 3621k| 3.4 | 56M| 46 | - | 146 | 37 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
418.58/418.78 c 419s| 1080k| 90672 | 3652k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
421.97/422.17 c 422s| 1090k| 90776 | 3683k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
425.37/425.51 c 425s| 1100k| 90204 | 3713k| 3.4 | 56M| 46 | - | 146 | 34 | 146 | 15 | 20 | 31k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
428.78/428.94 c 429s| 1110k| 90200 | 3744k| 3.4 | 55M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 31k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
432.18/432.39 c 432s| 1120k| 91029 | 3777k| 3.4 | 56M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
435.58/435.77 c 436s| 1130k| 91225 | 3809k| 3.4 | 56M| 46 | - | 146 | 34 | 0 | 0 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
438.97/439.10 c 439s| 1140k| 91040 | 3840k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
442.27/442.43 c 442s| 1150k| 90595 | 3871k| 3.4 | 56M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
445.57/445.71 c 446s| 1160k| 89911 | 3901k| 3.4 | 56M| 46 | - | 146 | 33 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
448.87/449.02 c 449s| 1170k| 89926 | 3931k| 3.4 | 56M| 46 | - | 146 | 36 | 0 | 0 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
452.16/452.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.16/452.33 c 452s| 1180k| 89485 | 3960k| 3.4 | 55M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
455.46/455.64 c 456s| 1190k| 89024 | 3991k| 3.4 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
458.77/458.97 c 459s| 1200k| 88840 | 4021k| 3.4 | 54M| 46 | - | 146 | 36 | 146 | 15 | 20 | 33k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
462.16/462.33 c 462s| 1210k| 88570 | 4053k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 33k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
465.46/465.63 c 466s| 1220k| 88259 | 4082k| 3.3 | 54M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
468.76/468.95 c 469s| 1230k| 88130 | 4113k| 3.3 | 54M| 46 | - | 146 | 38 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
472.06/472.29 c 472s| 1240k| 87745 | 4144k| 3.3 | 53M| 46 | - | 146 | 34 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
475.46/475.63 c 476s| 1250k| 88065 | 4175k| 3.3 | 54M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
478.96/479.11 c 479s| 1260k| 88706 | 4207k| 3.3 | 54M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
482.36/482.50 c 482s| 1270k| 88891 | 4238k| 3.3 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
485.66/485.89 c 486s| 1280k| 88685 | 4269k| 3.3 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
489.06/489.23 c 489s| 1290k| 88298 | 4298k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
492.45/492.63 c 493s| 1300k| 88442 | 4329k| 3.3 | 54M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
495.76/495.98 c 496s| 1310k| 87994 | 4358k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
499.17/499.39 c 499s| 1320k| 87466 | 4389k| 3.3 | 53M| 46 | - | 146 | 39 | 0 | 0 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
502.46/502.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.46/502.70 c 503s| 1330k| 86911 | 4419k| 3.3 | 53M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
505.86/506.05 c 506s| 1340k| 86639 | 4450k| 3.3 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
509.25/509.44 c 509s| 1350k| 86538 | 4481k| 3.3 | 53M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
512.65/512.87 c 513s| 1360k| 86421 | 4514k| 3.3 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
516.05/516.20 c 516s| 1370k| 86042 | 4544k| 3.3 | 52M| 46 | - | 146 | 35 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
519.65/519.86 c 520s| 1380k| 86652 | 4580k| 3.3 | 53M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
523.25/523.40 c 523s| 1390k| 87860 | 4613k| 3.3 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
526.76/526.94 c 527s| 1400k| 88589 | 4647k| 3.3 | 54M| 46 | - | 146 | 39 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
530.15/530.39 c 530s| 1410k| 88982 | 4679k| 3.3 | 55M| 46 | - | 146 | 35 | 146 | 15 | 20 | 38k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
533.55/533.79 c 534s| 1420k| 89166 | 4711k| 3.3 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
537.05/537.21 c 537s| 1430k| 89350 | 4743k| 3.3 | 55M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
540.45/540.62 c 541s| 1440k| 89368 | 4774k| 3.3 | 55M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
543.84/544.08 c 544s| 1450k| 90123 | 4806k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
547.25/547.43 c 547s| 1460k| 90382 | 4836k| 3.3 | 56M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
550.54/550.75 c 551s| 1470k| 90556 | 4865k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
554.04/554.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.04/554.21 c 554s| 1480k| 90634 | 4897k| 3.3 | 56M| 46 | - | 146 | 33 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
557.34/557.56 c 558s| 1490k| 90517 | 4926k| 3.3 | 56M| 46 | - | 146 | 38 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
560.75/560.98 c 561s| 1500k| 90370 | 4958k| 3.3 | 56M| 46 | - | 146 | 37 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
564.24/564.44 c 564s| 1510k| 90113 | 4990k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 41k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
567.54/567.79 c 568s| 1520k| 89787 | 5020k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 41k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
571.04/571.21 c 571s| 1530k| 89663 | 5051k| 3.3 | 56M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
574.34/574.50 c 574s| 1540k| 89841 | 5082k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
577.64/577.89 c 578s| 1550k| 89403 | 5112k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
581.04/581.24 c 581s| 1560k| 88835 | 5143k| 3.3 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
584.43/584.66 c 585s| 1570k| 89229 | 5174k| 3.3 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
587.94/588.11 c 588s| 1580k| 89368 | 5206k| 3.3 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
591.33/591.55 c 592s| 1590k| 89239 | 5236k| 3.3 | 56M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
594.73/594.96 c 595s| 1600k| 88874 | 5266k| 3.3 | 56M| 46 | - | 146 | 31 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
598.14/598.36 c 598s| 1610k| 88665 | 5296k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 43k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
601.54/601.72 c 602s| 1620k| 88677 | 5326k| 3.3 | 56M| 46 | - | 146 | 31 | 0 | 0 | 20 | 43k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
604.84/605.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.84/605.07 c 605s| 1630k| 88443 | 5356k| 3.3 | 56M| 46 | - | 146 | 30 | 146 | 15 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
608.14/608.39 c 608s| 1640k| 87977 | 5385k| 3.3 | 55M| 46 | - | 146 | 32 | 0 | 0 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
611.63/611.81 c 612s| 1650k| 87557 | 5417k| 3.3 | 55M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
615.13/615.30 c 615s| 1660k| 88259 | 5450k| 3.3 | 55M| 46 | - | 146 | 38 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
618.53/618.75 c 619s| 1670k| 88546 | 5482k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
622.13/622.36 c 622s| 1680k| 89643 | 5516k| 3.3 | 56M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
625.52/625.78 c 626s| 1690k| 90289 | 5548k| 3.3 | 57M| 46 | - | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
628.93/629.17 c 629s| 1700k| 90804 | 5579k| 3.3 | 57M| 46 | - | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
632.33/632.58 c 633s| 1710k| 91054 | 5610k| 3.3 | 58M| 46 | - | 146 | 34 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
635.73/635.97 c 636s| 1720k| 91344 | 5639k| 3.3 | 58M| 46 | - | 146 | 34 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
639.12/639.39 c 639s| 1730k| 91497 | 5671k| 3.3 | 58M| 46 | - | 146 | 33 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
642.52/642.76 c 643s| 1740k| 91718 | 5701k| 3.3 | 58M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
646.02/646.26 c 646s| 1750k| 91712 | 5732k| 3.3 | 59M| 46 | - | 146 | 32 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
649.42/649.64 c 650s| 1760k| 91939 | 5761k| 3.3 | 59M| 46 | - | 146 | 36 | 146 | 15 | 20 | 46k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
652.82/653.08 c 653s| 1770k| 91867 | 5791k| 3.3 | 59M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
656.22/656.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.22/656.46 c 656s| 1780k| 92507 | 5820k| 3.3 | 59M| 46 | - | 146 | 32 | 0 | 0 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
659.62/659.84 c 660s| 1790k| 92476 | 5848k| 3.3 | 60M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
663.02/663.26 c 663s| 1800k| 92250 | 5878k| 3.3 | 60M| 46 | - | 146 | 31 | 0 | 0 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
666.43/666.64 c 667s| 1810k| 91939 | 5908k| 3.3 | 59M| 46 | - | 146 | 37 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
669.81/670.08 c 670s| 1820k| 92096 | 5939k| 3.3 | 60M| 46 | - | 146 | 33 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
673.31/673.50 c 673s| 1830k| 91774 | 5968k| 3.3 | 60M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
676.62/676.89 c 677s| 1840k| 91682 | 5999k| 3.3 | 60M| 46 | - | 146 | 30 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
680.01/680.27 c 680s| 1850k| 91199 | 6027k| 3.3 | 59M| 46 | - | 146 | 30 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
683.51/683.72 c 684s| 1860k| 91181 | 6059k| 3.3 | 59M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
686.91/687.15 c 687s| 1870k| 90877 | 6089k| 3.3 | 59M| 46 | 6 | 146 | 30 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
690.31/690.54 c 691s| 1880k| 90164 | 6118k| 3.3 | 59M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
693.71/693.92 c 694s| 1890k| 89597 | 6146k| 3.3 | 58M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
697.11/697.31 c 697s| 1900k| 88863 | 6177k| 3.3 | 58M| 46 | 6 | 146 | 30 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
700.52/700.74 c 701s| 1910k| 87149 | 6204k| 3.2 | 55M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
703.90/704.12 c 704s| 1920k| 86101 | 6234k| 3.2 | 54M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
707.21/707.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.21/707.49 c 707s| 1930k| 85384 | 6264k| 3.2 | 52M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
710.61/710.81 c 711s| 1940k| 85253 | 6296k| 3.2 | 52M| 46 | - | 146 | 32 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
714.00/714.21 c 714s| 1950k| 85289 | 6328k| 3.2 | 52M| 46 | - | 146 | 33 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
717.30/717.55 c 718s| 1960k| 85099 | 6359k| 3.2 | 52M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
720.81/721.06 c 721s| 1970k| 85442 | 6390k| 3.2 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
724.30/724.59 c 725s| 1980k| 85435 | 6420k| 3.2 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
727.80/728.06 c 728s| 1990k| 85365 | 6450k| 3.2 | 53M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 51k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
731.31/731.58 c 732s| 2000k| 85319 | 6480k| 3.2 | 53M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 51k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
734.80/735.03 c 735s| 2010k| 85322 | 6509k| 3.2 | 53M| 46 | - | 146 | 42 | 146 | 15 | 20 | 52k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
738.20/738.41 c 738s| 2020k| 85458 | 6538k| 3.2 | 53M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 52k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
741.60/741.89 c 742s| 2030k| 85007 | 6568k| 3.2 | 52M| 46 | - | 146 | 45 | 146 | 15 | 20 | 53k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
745.10/745.39 c 745s| 2040k| 85168 | 6597k| 3.2 | 53M| 46 | - | 146 | 46 | 146 | 15 | 20 | 53k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
748.70/748.93 c 749s| 2050k| 85414 | 6629k| 3.2 | 52M| 46 | - | 146 | 44 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
752.30/752.52 c 753s| 2060k| 85898 | 6663k| 3.2 | 53M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
755.80/756.04 c 756s| 2070k| 86368 | 6696k| 3.2 | 53M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
759.30/759.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.30/759.55 c 760s| 2080k| 86684 | 6728k| 3.2 | 54M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
762.79/763.06 c 763s| 2090k| 87144 | 6759k| 3.2 | 54M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
766.29/766.52 c 767s| 2100k| 87134 | 6790k| 3.2 | 54M| 46 | - | 146 | 42 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
769.89/770.10 c 770s| 2110k| 87529 | 6822k| 3.2 | 55M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
773.29/773.55 c 774s| 2120k| 87824 | 6854k| 3.2 | 55M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
776.79/777.01 c 777s| 2130k| 87842 | 6885k| 3.2 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
780.19/780.48 c 780s| 2140k| 87769 | 6916k| 3.2 | 55M| 46 | - | 146 | 41 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
783.69/783.96 c 784s| 2150k| 87642 | 6947k| 3.2 | 55M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
787.08/787.35 c 787s| 2160k| 87742 | 6977k| 3.2 | 55M| 46 | - | 146 | 41 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
790.59/790.81 c 791s| 2170k| 87760 | 7008k| 3.2 | 55M| 46 | - | 146 | 39 | 146 | 15 | 20 | 57k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
793.99/794.24 c 794s| 2180k| 87958 | 7039k| 3.2 | 55M| 46 | - | 146 | 48 | 146 | 15 | 20 | 57k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
797.48/797.77 c 798s| 2190k| 87886 | 7071k| 3.2 | 56M| 46 | - | 146 | 42 | 146 | 15 | 20 | 57k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
800.98/801.20 c 801s| 2200k| 87824 | 7102k| 3.2 | 56M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
804.58/804.83 c 805s| 2210k| 88585 | 7136k| 3.2 | 56M| 46 | - | 146 | 41 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
807.98/808.28 c 808s| 2220k| 88533 | 7168k| 3.2 | 56M| 46 | - | 146 | 42 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
811.58/811.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.58/811.81 c 812s| 2230k| 88816 | 7200k| 3.2 | 57M| 46 | - | 146 | 39 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
814.98/815.22 c 815s| 2240k| 88638 | 7231k| 3.2 | 57M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
818.37/818.65 c 819s| 2250k| 88275 | 7262k| 3.2 | 56M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
821.78/822.03 c 822s| 2260k| 88047 | 7292k| 3.2 | 56M| 46 | - | 146 | 43 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
825.28/825.52 c 826s| 2270k| 88219 | 7324k| 3.2 | 56M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
828.57/828.86 c 829s| 2280k| 88194 | 7354k| 3.2 | 56M| 46 | - | 146 | 45 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
832.17/832.41 c 832s| 2290k| 89238 | 7387k| 3.2 | 57M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
835.57/835.88 c 836s| 2300k| 90080 | 7418k| 3.2 | 58M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
838.98/839.29 c 839s| 2310k| 90314 | 7449k| 3.2 | 58M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
842.38/842.69 c 843s| 2320k| 90512 | 7479k| 3.2 | 58M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
845.77/846.07 c 846s| 2330k| 90696 | 7510k| 3.2 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
849.27/849.51 c 850s| 2340k| 91214 | 7541k| 3.2 | 59M| 46 | - | 146 | 46 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
852.57/852.81 c 853s| 2350k| 91605 | 7570k| 3.2 | 59M| 46 | - | 146 | 41 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
855.87/856.15 c 856s| 2360k| 91505 | 7599k| 3.2 | 59M| 46 | - | 146 | 44 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
859.27/859.53 c 860s| 2370k| 91452 | 7629k| 3.2 | 59M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
862.57/862.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.57/862.87 c 863s| 2380k| 91190 | 7659k| 3.2 | 59M| 46 | - | 146 | 37 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
865.97/866.21 c 866s| 2390k| 90949 | 7688k| 3.2 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
869.37/869.61 c 870s| 2400k| 90739 | 7718k| 3.2 | 59M| 46 | - | 146 | 39 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
872.77/873.03 c 873s| 2410k| 91031 | 7749k| 3.2 | 60M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
876.07/876.36 c 876s| 2420k| 91067 | 7778k| 3.2 | 60M| 46 | - | 146 | 42 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
879.36/879.67 c 880s| 2430k| 91112 | 7807k| 3.2 | 60M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
882.66/882.96 c 883s| 2440k| 91303 | 7835k| 3.2 | 60M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
886.06/886.34 c 886s| 2450k| 91612 | 7866k| 3.2 | 60M| 46 | - | 146 | 40 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
889.36/889.68 c 890s| 2460k| 92035 | 7896k| 3.2 | 61M| 46 | - | 146 | 41 | 146 | 15 | 20 | 63k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
892.66/892.97 c 893s| 2470k| 92225 | 7925k| 3.2 | 61M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 63k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
895.86/896.19 c 896s| 2480k| 92130 | 7954k| 3.2 | 61M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
899.26/899.50 c 899s| 2490k| 92458 | 7984k| 3.2 | 61M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
902.66/902.92 c 903s| 2500k| 93074 | 8014k| 3.2 | 62M| 46 | 6 | 146 | 50 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
905.96/906.23 c 906s| 2510k| 93156 | 8043k| 3.2 | 62M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
909.26/909.58 c 910s| 2520k| 93036 | 8073k| 3.2 | 62M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
912.66/912.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.66/912.90 c 913s| 2530k| 93246 | 8103k| 3.2 | 62M| 46 | - | 146 | 38 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
915.96/916.20 c 916s| 2540k| 92926 | 8132k| 3.2 | 62M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
919.16/919.49 c 919s| 2550k| 92920 | 8161k| 3.2 | 62M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
922.45/922.79 c 923s| 2560k| 93020 | 8191k| 3.2 | 62M| 46 | - | 146 | 40 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
925.86/926.13 c 926s| 2570k| 92750 | 8221k| 3.2 | 62M| 46 | - | 146 | 40 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
929.16/929.48 c 929s| 2580k| 92488 | 8250k| 3.2 | 62M| 46 | - | 146 | 40 | 0 | 0 | 20 | 66k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
932.45/932.80 c 933s| 2590k| 92581 | 8280k| 3.2 | 62M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 66k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
935.85/936.19 c 936s| 2600k| 92546 | 8310k| 3.2 | 62M| 46 | - | 146 | 47 | 0 | 0 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
939.24/939.51 c 940s| 2610k| 92311 | 8340k| 3.2 | 62M| 46 | - | 146 | 41 | 146 | 15 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
942.54/942.84 c 943s| 2620k| 92006 | 8369k| 3.2 | 62M| 46 | - | 146 | 46 | 0 | 0 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
945.94/946.23 c 946s| 2630k| 91825 | 8400k| 3.2 | 62M| 46 | - | 146 | 44 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
949.24/949.55 c 950s| 2640k| 91790 | 8430k| 3.2 | 62M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
952.64/952.90 c 953s| 2650k| 91551 | 8459k| 3.2 | 62M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
955.94/956.21 c 956s| 2660k| 91327 | 8488k| 3.2 | 61M| 46 | - | 146 | 39 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
959.24/959.58 c 960s| 2670k| 91241 | 8519k| 3.2 | 61M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
962.64/962.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.64/962.95 c 963s| 2680k| 91336 | 8549k| 3.2 | 61M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
966.14/966.40 c 966s| 2690k| 91803 | 8581k| 3.2 | 62M| 46 | - | 146 | 42 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
969.54/969.81 c 970s| 2700k| 91872 | 8612k| 3.2 | 62M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
972.84/973.18 c 973s| 2710k| 92049 | 8641k| 3.2 | 62M| 46 | - | 146 | 38 | 146 | 15 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
976.23/976.58 c 977s| 2720k| 92283 | 8671k| 3.2 | 63M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
979.63/979.93 c 980s| 2730k| 92050 | 8701k| 3.2 | 62M| 46 | - | 146 | 37 | 0 | 0 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
983.05/983.33 c 983s| 2740k| 91547 | 8730k| 3.2 | 62M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 69k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
986.34/986.67 c 987s| 2750k| 91775 | 8759k| 3.2 | 62M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
989.74/990.03 c 990s| 2760k| 91676 | 8787k| 3.2 | 62M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
993.13/993.49 c 993s| 2770k| 92128 | 8818k| 3.2 | 63M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
996.53/996.89 c 997s| 2780k| 92851 | 8849k| 3.2 | 63M| 46 | - | 146 | 37 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
999.93/1000.28 c 1000s| 2790k| 93480 | 8881k| 3.2 | 64M| 46 | - | 146 | 38 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1003.33/1003.61 c 1004s| 2800k| 93924 | 8911k| 3.2 | 64M| 46 | - | 146 | 37 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1006.63/1006.91 c 1007s| 2810k| 94297 | 8940k| 3.2 | 64M| 46 | - | 146 | 42 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1009.93/1010.23 c 1010s| 2820k| 94372 | 8970k| 3.2 | 65M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1013.22/1013.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.22/1013.56 c 1014s| 2830k| 94477 | 9000k| 3.2 | 65M| 46 | - | 146 | 39 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1016.62/1016.97 c 1017s| 2840k| 94318 | 9030k| 3.2 | 65M| 46 | - | 146 | 46 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1019.92/1020.23 c 1020s| 2850k| 93994 | 9058k| 3.2 | 65M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1023.33/1023.64 c 1024s| 2860k| 94605 | 9089k| 3.2 | 65M| 46 | - | 146 | 38 | 0 | 0 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1026.73/1027.03 c 1027s| 2870k| 94889 | 9120k| 3.2 | 65M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1030.02/1030.35 c 1030s| 2880k| 95059 | 9151k| 3.2 | 66M| 46 | - | 146 | 39 | 0 | 0 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1033.43/1033.75 c 1034s| 2890k| 95604 | 9183k| 3.2 | 66M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1036.82/1037.13 c 1037s| 2900k| 95946 | 9215k| 3.2 | 66M| 46 | - | 146 | 35 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1040.23/1040.53 c 1041s| 2910k| 96259 | 9246k| 3.2 | 67M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1043.53/1043.90 c 1044s| 2920k| 96249 | 9277k| 3.2 | 67M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1046.92/1047.26 c 1047s| 2930k| 96308 | 9308k| 3.2 | 67M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1050.32/1050.60 c 1051s| 2940k| 96199 | 9339k| 3.2 | 67M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1053.62/1053.92 c 1054s| 2950k| 95976 | 9368k| 3.2 | 67M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1056.92/1057.29 c 1057s| 2960k| 96128 | 9399k| 3.2 | 67M| 46 | - | 146 | 38 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1060.42/1060.74 c 1061s| 2970k| 96388 | 9432k| 3.2 | 67M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1063.92/1064.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.92/1064.25 c 1064s| 2980k| 97070 | 9464k| 3.2 | 68M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1067.41/1067.70 c 1068s| 2990k| 97920 | 9496k| 3.2 | 68M| 46 | - | 146 | 38 | 0 | 0 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1070.71/1071.09 c 1071s| 3000k| 98475 | 9527k| 3.2 | 69M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 75k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1074.11/1074.44 c 1074s| 3010k| 98884 | 9558k| 3.2 | 69M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 75k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1077.41/1077.77 c 1078s| 3020k| 99048 | 9588k| 3.2 | 69M| 46 | - | 146 | 37 | 146 | 15 | 20 | 75k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1080.80/1081.13 c 1081s| 3030k| 99379 | 9619k| 3.2 | 70M| 46 | - | 146 | 32 | 146 | 15 | 20 | 75k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1084.10/1084.49 c 1084s| 3040k| 99735 | 9649k| 3.2 | 70M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1087.52/1087.85 c 1088s| 3050k|100208 | 9680k| 3.2 | 70M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1090.81/1091.18 c 1091s| 3060k|100504 | 9711k| 3.2 | 71M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1094.22/1094.57 c 1095s| 3070k|100960 | 9742k| 3.2 | 71M| 46 | - | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1097.81/1098.13 c 1098s| 3080k|101987 | 9776k| 3.2 | 72M| 46 | - | 146 | 40 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1101.30/1101.64 c 1102s| 3090k|102717 | 9810k| 3.2 | 72M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1104.81/1105.19 c 1105s| 3100k|103126 | 9844k| 3.2 | 73M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1108.30/1108.66 c 1109s| 3110k|103270 | 9877k| 3.2 | 73M| 46 | - | 146 | 40 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1111.81/1112.17 c 1112s| 3120k|103448 | 9910k| 3.2 | 73M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1115.20/1115.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.20/1115.52 c 1116s| 3130k|103608 | 9941k| 3.2 | 73M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1118.60/1118.90 c 1119s| 3140k|103529 | 9973k| 3.2 | 74M| 46 | - | 146 | 36 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1122.00/1122.36 c 1122s| 3150k|103675 | 10006k| 3.2 | 74M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1125.40/1125.77 c 1126s| 3160k|104523 | 10038k| 3.2 | 74M| 46 | - | 146 | 38 | 146 | 15 | 20 | 78k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1128.79/1129.19 c 1129s| 3170k|105076 | 10072k| 3.2 | 75M| 46 | - | 146 | 36 | 146 | 15 | 20 | 78k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1132.19/1132.56 c 1133s| 3180k|105443 | 10103k| 3.2 | 75M| 46 | - | 146 | 41 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1135.50/1135.88 c 1136s| 3190k|105567 | 10133k| 3.2 | 75M| 46 | - | 146 | 40 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1138.90/1139.21 c 1139s| 3200k|105471 | 10164k| 3.2 | 75M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1142.29/1142.67 c 1143s| 3210k|106153 | 10198k| 3.2 | 76M| 46 | - | 146 | 38 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1145.59/1145.99 c 1146s| 3220k|106451 | 10228k| 3.2 | 76M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1149.00/1149.37 c 1149s| 3230k|106870 | 10260k| 3.2 | 77M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1152.50/1152.82 c 1153s| 3240k|107415 | 10293k| 3.2 | 77M| 46 | - | 146 | 40 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1155.80/1156.17 c 1156s| 3250k|107320 | 10325k| 3.2 | 77M| 46 | - | 146 | 37 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1159.19/1159.57 c 1160s| 3260k|107509 | 10357k| 3.2 | 77M| 46 | - | 146 | 36 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1162.49/1162.86 c 1163s| 3270k|107348 | 10387k| 3.2 | 77M| 46 | - | 146 | 35 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1165.79/1166.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.79/1166.18 c 1166s| 3280k|107297 | 10418k| 3.2 | 77M| 46 | - | 146 | 36 | 146 | 15 | 20 | 80k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1169.19/1169.58 c 1170s| 3290k|107493 | 10450k| 3.2 | 78M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 80k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1172.49/1172.89 c 1173s| 3300k|107775 | 10481k| 3.2 | 78M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1175.79/1176.13 c 1176s| 3310k|107934 | 10510k| 3.2 | 78M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1179.09/1179.46 c 1179s| 3320k|107894 | 10541k| 3.2 | 78M| 46 | - | 146 | 40 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1182.48/1182.81 c 1183s| 3330k|107800 | 10571k| 3.2 | 78M| 46 | - | 146 | 39 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1185.78/1186.16 c 1186s| 3340k|107758 | 10601k| 3.2 | 78M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1189.09/1189.49 c 1189s| 3350k|107655 | 10632k| 3.2 | 78M| 46 | - | 146 | 40 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1192.59/1192.97 c 1193s| 3360k|108326 | 10666k| 3.2 | 79M| 46 | - | 146 | 41 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1196.08/1196.40 c 1196s| 3370k|108467 | 10698k| 3.2 | 79M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1199.38/1199.74 c 1200s| 3380k|108411 | 10729k| 3.2 | 79M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1202.68/1203.09 c 1203s| 3390k|108791 | 10761k| 3.2 | 79M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1206.08/1206.44 c 1206s| 3400k|108790 | 10792k| 3.2 | 80M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1209.38/1209.75 c 1210s| 3410k|108654 | 10823k| 3.2 | 80M| 46 | - | 146 | 39 | 146 | 15 | 20 | 83k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1212.78/1213.19 c 1213s| 3420k|108657 | 10855k| 3.2 | 80M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1216.38/1216.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.38/1216.71 c 1217s| 3430k|109269 | 10888k| 3.2 | 80M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1219.88/1220.25 c 1220s| 3440k|110140 | 10921k| 3.2 | 81M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1223.38/1223.75 c 1224s| 3450k|110490 | 10953k| 3.2 | 81M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1226.87/1227.21 c 1227s| 3460k|110783 | 10984k| 3.2 | 81M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1230.28/1230.64 c 1231s| 3470k|110752 | 11016k| 3.2 | 81M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1233.67/1234.08 c 1234s| 3480k|110919 | 11047k| 3.2 | 82M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1237.18/1237.51 c 1238s| 3490k|110958 | 11078k| 3.2 | 82M| 46 | - | 146 | 42 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1240.57/1240.94 c 1241s| 3500k|110876 | 11109k| 3.2 | 82M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1243.97/1244.33 c 1244s| 3510k|110799 | 11139k| 3.2 | 82M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1247.57/1247.98 c 1248s| 3520k|111993 | 11172k| 3.2 | 83M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1251.17/1251.53 c 1252s| 3530k|113432 | 11204k| 3.2 | 83M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1254.67/1255.09 c 1255s| 3540k|115014 | 11238k| 3.2 | 84M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1258.17/1258.54 c 1259s| 3550k|116168 | 11270k| 3.2 | 85M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1261.57/1261.97 c 1262s| 3560k|116990 | 11302k| 3.2 | 86M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1265.06/1265.41 c 1265s| 3570k|117765 | 11334k| 3.2 | 86M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1268.47/1268.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.47/1268.88 c 1269s| 3580k|118444 | 11366k| 3.2 | 87M| 46 | - | 146 | 41 | 0 | 0 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1271.86/1272.25 c 1272s| 3590k|119015 | 11397k| 3.2 | 87M| 46 | - | 146 | 33 | 0 | 0 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1275.27/1275.69 c 1276s| 3600k|119702 | 11429k| 3.2 | 88M| 46 | - | 146 | 36 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1278.66/1279.08 c 1279s| 3610k|120190 | 11459k| 3.2 | 88M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1282.07/1282.47 c 1282s| 3620k|120805 | 11491k| 3.2 | 89M| 46 | - | 146 | 38 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1285.47/1285.86 c 1286s| 3630k|121594 | 11522k| 3.2 | 89M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1288.96/1289.35 c 1289s| 3640k|122294 | 11554k| 3.2 | 90M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1292.56/1292.90 c 1293s| 3650k|123673 | 11586k| 3.2 | 91M| 46 | - | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1295.96/1296.38 c 1296s| 3660k|124661 | 11619k| 3.2 | 91M| 46 | - | 146 | 55 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1299.56/1299.91 c 1300s| 3670k|125675 | 11651k| 3.2 | 92M| 46 | - | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1302.95/1303.33 c 1303s| 3680k|126616 | 11683k| 3.2 | 93M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 89k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1306.36/1306.75 c 1307s| 3690k|127173 | 11714k| 3.2 | 93M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 89k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1309.85/1310.20 c 1310s| 3700k|127899 | 11746k| 3.2 | 94M| 46 | - | 146 | 46 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1313.16/1313.59 c 1314s| 3710k|128489 | 11777k| 3.2 | 94M| 46 | - | 146 | 41 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1316.66/1317.03 c 1317s| 3720k|129079 | 11809k| 3.2 | 95M| 46 | - | 146 | 39 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1320.05/1320.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.05/1320.42 c 1320s| 3730k|129364 | 11840k| 3.2 | 95M| 46 | - | 146 | 36 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1323.45/1323.82 c 1324s| 3740k|129955 | 11872k| 3.2 | 96M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1326.75/1327.17 c 1327s| 3750k|130233 | 11902k| 3.2 | 96M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1330.15/1330.56 c 1331s| 3760k|130524 | 11932k| 3.2 | 96M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1333.55/1333.95 c 1334s| 3770k|131371 | 11964k| 3.2 | 97M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1336.95/1337.32 c 1337s| 3780k|131898 | 11995k| 3.2 | 97M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1340.25/1340.69 c 1341s| 3790k|132105 | 12025k| 3.2 | 98M| 46 | - | 146 | 38 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1343.65/1344.08 c 1344s| 3800k|132320 | 12056k| 3.2 | 98M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1346.95/1347.40 c 1347s| 3810k|132504 | 12086k| 3.2 | 98M| 46 | - | 146 | 39 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1350.35/1350.74 c 1351s| 3820k|132838 | 12116k| 3.2 | 99M| 46 | - | 146 | 36 | 0 | 0 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1353.75/1354.13 c 1354s| 3830k|133146 | 12147k| 3.2 | 99M| 46 | - | 146 | 33 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1357.05/1357.43 c 1357s| 3840k|133371 | 12176k| 3.2 | 99M| 46 | - | 146 | 35 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1360.45/1360.80 c 1361s| 3850k|133428 | 12206k| 3.2 | 99M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1363.74/1364.16 c 1364s| 3860k|133858 | 12236k| 3.2 | 100M| 46 | - | 146 | 35 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1367.15/1367.56 c 1368s| 3870k|134545 | 12266k| 3.2 | 100M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1370.54/1370.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.54/1370.94 c 1371s| 3880k|135128 | 12297k| 3.2 | 101M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1373.84/1374.27 c 1374s| 3890k|135414 | 12327k| 3.2 | 101M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1377.14/1377.59 c 1378s| 3900k|135484 | 12356k| 3.2 | 101M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1380.54/1380.98 c 1381s| 3910k|135595 | 12387k| 3.2 | 101M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1383.93/1384.36 c 1384s| 3920k|135682 | 12417k| 3.2 | 102M| 46 | - | 146 | 42 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1387.23/1387.68 c 1388s| 3930k|136009 | 12446k| 3.2 | 102M| 46 | - | 146 | 38 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1390.63/1391.05 c 1391s| 3940k|136447 | 12477k| 3.2 | 102M| 46 | - | 146 | 42 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1394.04/1394.40 c 1394s| 3950k|136469 | 12507k| 3.2 | 103M| 46 | - | 146 | 37 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1397.64/1398.00 c 1398s| 3960k|137783 | 12540k| 3.2 | 103M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1400.93/1401.37 c 1401s| 3970k|138718 | 12570k| 3.2 | 104M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1404.24/1404.70 c 1405s| 3980k|139379 | 12600k| 3.2 | 105M| 46 | - | 146 | 41 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1407.64/1408.03 c 1408s| 3990k|139663 | 12629k| 3.2 | 105M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 96k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1411.03/1411.44 c 1411s| 4000k|140282 | 12660k| 3.2 | 105M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 96k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1414.32/1414.73 c 1415s| 4010k|140547 | 12688k| 3.2 | 106M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1417.63/1418.08 c 1418s| 4020k|140792 | 12718k| 3.2 | 106M| 46 | - | 146 | 39 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1420.93/1421.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.93/1421.38 c 1421s| 4030k|140644 | 12748k| 3.2 | 106M| 46 | - | 146 | 40 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1424.32/1424.70 c 1425s| 4040k|140878 | 12777k| 3.2 | 106M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1427.62/1428.07 c 1428s| 4050k|141055 | 12807k| 3.2 | 107M| 46 | - | 146 | 37 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1430.92/1431.38 c 1431s| 4060k|141152 | 12836k| 3.2 | 107M| 46 | - | 146 | 37 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1434.32/1434.73 c 1435s| 4070k|141566 | 12866k| 3.2 | 107M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1437.63/1438.07 c 1438s| 4080k|141743 | 12896k| 3.2 | 108M| 46 | - | 146 | 35 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1441.02/1441.44 c 1441s| 4090k|142334 | 12925k| 3.2 | 108M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1444.32/1444.71 c 1445s| 4100k|142401 | 12953k| 3.2 | 108M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1447.62/1448.03 c 1448s| 4110k|142651 | 12982k| 3.2 | 108M| 46 | - | 146 | 38 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1450.92/1451.32 c 1451s| 4120k|142615 | 13011k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1454.22/1454.66 c 1455s| 4130k|142525 | 13041k| 3.2 | 109M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 99k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1457.62/1458.01 c 1458s| 4140k|142607 | 13070k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 99k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1460.92/1461.37 c 1461s| 4150k|142759 | 13100k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1464.21/1464.69 c 1465s| 4160k|142791 | 13128k| 3.2 | 109M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1467.62/1468.04 c 1468s| 4170k|142768 | 13159k| 3.2 | 109M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1471.02/1471.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.02/1471.42 c 1471s| 4180k|142579 | 13189k| 3.2 | 109M| 46 | - | 146 | 39 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1474.42/1474.80 c 1475s| 4190k|142402 | 13218k| 3.2 | 109M| 46 | - | 146 | 39 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1477.72/1478.15 c 1478s| 4200k|142465 | 13248k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1481.11/1481.53 c 1482s| 4210k|142429 | 13278k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1484.52/1484.93 c 1485s| 4220k|142243 | 13308k| 3.2 | 110M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1487.92/1488.38 c 1488s| 4230k|142642 | 13339k| 3.2 | 110M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1491.31/1491.76 c 1492s| 4240k|142443 | 13369k| 3.2 | 110M| 46 | - | 146 | 44 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1494.71/1495.15 c 1495s| 4250k|142398 | 13398k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1498.11/1498.53 c 1499s| 4260k|142509 | 13428k| 3.2 | 110M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1501.51/1501.90 c 1502s| 4270k|142496 | 13457k| 3.2 | 111M| 46 | - | 146 | 39 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1504.81/1505.22 c 1505s| 4280k|142607 | 13487k| 3.2 | 111M| 46 | - | 146 | 37 | 146 | 15 | 20 | 102k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1508.11/1508.52 c 1509s| 4290k|142720 | 13517k| 3.2 | 111M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 102k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1511.31/1511.79 c 1512s| 4300k|142923 | 13546k| 3.2 | 111M| 46 | - | 146 | 36 | 146 | 15 | 20 | 102k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1514.81/1515.22 c 1515s| 4310k|143301 | 13577k| 3.2 | 112M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 102k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1518.21/1518.66 c 1519s| 4320k|143664 | 13608k| 3.2 | 112M| 46 | - | 146 | 37 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1521.71/1522.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.71/1522.13 c 1522s| 4330k|144102 | 13639k| 3.1 | 112M| 46 | - | 146 | 38 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1525.00/1525.48 c 1525s| 4340k|144465 | 13668k| 3.1 | 113M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1528.40/1528.84 c 1529s| 4350k|144627 | 13697k| 3.1 | 113M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1531.70/1532.17 c 1532s| 4360k|144548 | 13725k| 3.1 | 113M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1535.11/1535.56 c 1536s| 4370k|144522 | 13755k| 3.1 | 113M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1538.60/1539.01 c 1539s| 4380k|145399 | 13787k| 3.1 | 114M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1541.99/1542.40 c 1542s| 4390k|146031 | 13818k| 3.1 | 114M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1545.30/1545.79 c 1546s| 4400k|146205 | 13848k| 3.1 | 115M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1548.69/1549.14 c 1549s| 4410k|146015 | 13878k| 3.1 | 115M| 46 | - | 146 | 38 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1552.10/1552.51 c 1552s| 4420k|146021 | 13908k| 3.1 | 115M| 46 | - | 146 | 36 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1555.39/1555.82 c 1556s| 4430k|145853 | 13937k| 3.1 | 115M| 46 | - | 146 | 46 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1558.70/1559.15 c 1559s| 4440k|145801 | 13967k| 3.1 | 115M| 46 | 6 | 146 | 50 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1562.09/1562.56 c 1563s| 4450k|146140 | 13997k| 3.1 | 115M| 46 | - | 146 | 43 | 146 | 15 | 20 | 106k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1565.49/1565.93 c 1566s| 4460k|146281 | 14027k| 3.1 | 115M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 106k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1568.79/1569.24 c 1569s| 4470k|146154 | 14056k| 3.1 | 115M| 46 | - | 146 | 39 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1572.19/1572.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.19/1572.61 c 1573s| 4480k|146237 | 14085k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1575.49/1575.94 c 1576s| 4490k|146360 | 14115k| 3.1 | 116M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1578.79/1579.27 c 1579s| 4500k|146172 | 14144k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1582.19/1582.63 c 1583s| 4510k|146195 | 14174k| 3.1 | 116M| 46 | - | 146 | 37 | 0 | 0 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1585.49/1585.93 c 1586s| 4520k|146159 | 14202k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1588.79/1589.22 c 1589s| 4530k|145780 | 14231k| 3.1 | 116M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1592.09/1592.58 c 1593s| 4540k|145832 | 14259k| 3.1 | 116M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1595.38/1595.88 c 1596s| 4550k|145836 | 14289k| 3.1 | 116M| 46 | - | 146 | 36 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1598.78/1599.25 c 1599s| 4560k|145812 | 14319k| 3.1 | 116M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1602.09/1602.56 c 1603s| 4570k|146145 | 14349k| 3.1 | 117M| 46 | - | 146 | 36 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1605.38/1605.82 c 1606s| 4580k|146345 | 14378k| 3.1 | 117M| 46 | - | 146 | 35 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1608.58/1609.09 c 1609s| 4590k|146194 | 14407k| 3.1 | 117M| 46 | - | 146 | 38 | 0 | 0 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1611.98/1612.49 c 1612s| 4600k|146013 | 14436k| 3.1 | 117M| 46 | - | 146 | 48 | 0 | 0 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1615.39/1615.87 c 1616s| 4610k|145763 | 14465k| 3.1 | 117M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1618.78/1619.26 c 1619s| 4620k|145651 | 14496k| 3.1 | 117M| 46 | - | 146 | 41 | 146 | 15 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1622.09/1622.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.09/1622.59 c 1623s| 4630k|145443 | 14525k| 3.1 | 117M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 109k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1625.48/1625.92 c 1626s| 4640k|145675 | 14554k| 3.1 | 117M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1628.77/1629.28 c 1629s| 4650k|145342 | 14583k| 3.1 | 117M| 46 | - | 146 | 40 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1632.18/1632.64 c 1633s| 4660k|145666 | 14614k| 3.1 | 117M| 46 | - | 146 | 36 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1635.48/1635.94 c 1636s| 4670k|145834 | 14644k| 3.1 | 118M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1638.78/1639.21 c 1639s| 4680k|145775 | 14673k| 3.1 | 118M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1642.08/1642.58 c 1643s| 4690k|145539 | 14702k| 3.1 | 118M| 46 | - | 146 | 41 | 0 | 0 | 20 | 111k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1645.57/1646.02 c 1646s| 4700k|145987 | 14734k| 3.1 | 118M| 46 | - | 146 | 44 | 146 | 15 | 20 | 111k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1648.97/1649.41 c 1649s| 4710k|146487 | 14764k| 3.1 | 118M| 46 | - | 146 | 40 | 0 | 0 | 20 | 111k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1652.27/1652.72 c 1653s| 4720k|146466 | 14793k| 3.1 | 119M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 111k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1655.67/1656.15 c 1656s| 4730k|147198 | 14824k| 3.1 | 119M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 112k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1658.97/1659.48 c 1659s| 4740k|147531 | 14855k| 3.1 | 119M| 46 | - | 146 | 37 | 146 | 15 | 20 | 112k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1662.27/1662.78 c 1663s| 4750k|147290 | 14884k| 3.1 | 119M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 112k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1665.67/1666.16 c 1666s| 4760k|147259 | 14915k| 3.1 | 120M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 113k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1669.07/1669.50 c 1669s| 4770k|147182 | 14944k| 3.1 | 120M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 113k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1672.26/1672.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1672.26/1672.79 c 1673s| 4780k|147073 | 14973k| 3.1 | 120M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 113k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1675.56/1676.09 c 1676s| 4790k|146931 | 15002k| 3.1 | 120M| 46 | - | 146 | 34 | 146 | 15 | 20 | 113k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1678.97/1679.42 c 1679s| 4800k|146926 | 15032k| 3.1 | 120M| 46 | - | 146 | 37 | 146 | 15 | 20 | 114k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1682.27/1682.71 c 1683s| 4810k|146792 | 15060k| 3.1 | 120M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 114k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1685.56/1686.04 c 1686s| 4820k|146612 | 15089k| 3.1 | 120M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 114k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1688.86/1689.34 c 1689s| 4830k|146730 | 15118k| 3.1 | 120M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 114k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1692.26/1692.72 c 1693s| 4840k|146543 | 15148k| 3.1 | 120M| 46 | - | 146 | 35 | 146 | 15 | 20 | 114k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1695.56/1696.06 c 1696s| 4850k|146712 | 15178k| 3.1 | 120M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 115k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1698.97/1699.44 c 1699s| 4860k|146661 | 15209k| 3.1 | 120M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 115k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1702.27/1702.78 c 1703s| 4870k|146536 | 15237k| 3.1 | 120M| 46 | - | 146 | 40 | 146 | 15 | 20 | 115k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1705.66/1706.12 c 1706s| 4880k|146483 | 15266k| 3.1 | 120M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 115k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1708.97/1709.49 c 1709s| 4890k|146247 | 15296k| 3.1 | 120M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 116k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1712.46/1712.93 c 1713s| 4900k|146927 | 15325k| 3.1 | 121M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 116k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1715.85/1716.32 c 1716s| 4910k|146946 | 15354k| 3.1 | 121M| 46 | - | 146 | 38 | 146 | 15 | 20 | 116k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1719.16/1719.68 c 1720s| 4920k|146388 | 15382k| 3.1 | 121M| 46 | - | 146 | 43 | 146 | 15 | 20 | 116k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1722.56/1723.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.56/1723.00 c 1723s| 4930k|146487 | 15412k| 3.1 | 121M| 46 | - | 146 | 47 | 146 | 15 | 20 | 116k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1725.85/1726.36 c 1726s| 4940k|146474 | 15442k| 3.1 | 121M| 46 | - | 146 | 42 | 0 | 0 | 20 | 117k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1729.15/1729.68 c 1730s| 4950k|146282 | 15470k| 3.1 | 121M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 117k| 44k| 0.000000e+00 | 5.000000e+00 | Inf
1732.55/1733.05 c 1733s| 4960k|146137 | 15501k| 3.1 | 121M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 117k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1735.85/1736.39 c 1736s| 4970k|146280 | 15531k| 3.1 | 121M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 117k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1739.25/1739.74 c 1740s| 4980k|146336 | 15560k| 3.1 | 121M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 117k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1742.55/1743.05 c 1743s| 4990k|146110 | 15588k| 3.1 | 121M| 46 | - | 146 | 36 | 146 | 15 | 20 | 118k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1745.85/1746.36 c 1746s| 5000k|145776 | 15617k| 3.1 | 121M| 46 | - | 146 | 37 | 0 | 0 | 20 | 118k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1749.24/1749.73 c 1750s| 5010k|145791 | 15647k| 3.1 | 121M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 118k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1752.55/1753.03 c 1753s| 5020k|145764 | 15676k| 3.1 | 121M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 118k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1755.94/1756.41 c 1756s| 5030k|146131 | 15707k| 3.1 | 121M| 46 | - | 146 | 47 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1759.25/1759.79 c 1760s| 5040k|146373 | 15738k| 3.1 | 122M| 46 | 6 | 146 | 47 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1762.65/1763.12 c 1763s| 5050k|146954 | 15768k| 3.1 | 122M| 46 | - | 146 | 46 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1765.94/1766.41 c 1766s| 5060k|146954 | 15797k| 3.1 | 122M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1769.14/1769.69 c 1770s| 5070k|146739 | 15825k| 3.1 | 122M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1772.55/1773.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.55/1773.06 c 1773s| 5080k|146542 | 15855k| 3.1 | 122M| 46 | - | 146 | 46 | 146 | 15 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1775.95/1776.46 c 1776s| 5090k|146320 | 15885k| 3.1 | 122M| 46 | - | 146 | 45 | 0 | 0 | 20 | 119k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1779.35/1779.83 c 1780s| 5100k|146699 | 15915k| 3.1 | 123M| 46 | - | 146 | 46 | 146 | 15 | 20 | 120k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1782.65/1783.12 c 1783s| 5110k|146331 | 15944k| 3.1 | 122M| 46 | 6 | 146 | 49 | 146 | 15 | 20 | 120k| 45k| 0.000000e+00 | 5.000000e+00 | Inf
1785.95/1786.43 c 1786s| 5120k|145856 | 15972k| 3.1 | 122M| 46 | - | 146 | 43 | 146 | 15 | 20 | 120k| 46k| 0.000000e+00 | 5.000000e+00 | Inf
1789.25/1789.73 c 1790s| 5130k|146105 | 16003k| 3.1 | 122M| 46 | - | 146 | 43 | 146 | 15 | 20 | 120k| 46k| 0.000000e+00 | 5.000000e+00 | Inf
1789.54/1790.01 c
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time (sec) : 1790.00
1789.54/1790.01 c Solving Nodes : 5130872
1789.54/1790.01 c Primal Bound : +5.00000000000000e+00 (30 solutions)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 s SATISFIABLE
1789.54/1790.01 v -x146 -x145 x144 x143 -x142 x141 x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 x131 x130 -x129 -x128 -x127 -x126 -x125 x124
1789.54/1790.01 v x123 x122 -x121 x120 -x119 x118 x117 x116 x115 -x114 -x113 x112 -x111 x110 x109 x108 -x107 x106 -x105 x104 x103 -x102 -x101
1789.54/1790.01 v -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76
1789.54/1790.01 v -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1789.54/1790.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1789.54/1790.01 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time : 1790.00
1789.54/1790.01 c Original Problem :
1789.54/1790.01 c Problem name : HOME/instance-2703926-1278561897.opb
1789.54/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 12 initial, 12 maximal
1789.54/1790.01 c Presolved Problem :
1789.54/1790.01 c Problem name : t_HOME/instance-2703926-1278561897.opb
1789.54/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 6 initial, 96 maximal
1789.54/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.54/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.54/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.54/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c root node : - 60 - - 60 - - - -
1789.54/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c integral : 0 0 0 2686650 0 1147 33046 0 0 5305384
1789.54/1790.01 c linear : 6+ 7 6691273 0 0 791910 5318597 0 0 0
1789.54/1790.01 c logicor : 0+ 0 1477802 0 0 5457 30823 0 0 0
1789.54/1790.01 c countsols : 0 0 0 14 1 0 0 0 0 0
1789.54/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.54/1790.01 c integral : 36.10 0.00 0.00 36.10 0.00
1789.54/1790.01 c linear : 421.16 0.00 421.16 0.00 0.00
1789.54/1790.01 c logicor : 2.98 0.00 2.98 0.00 0.00
1789.54/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.54/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.54/1790.01 c vbounds : 2.56 2 0 0
1789.54/1790.01 c rootredcost : 2.58 25 0 60
1789.54/1790.01 c pseudoobj : 48.44 6699772 8683 326909
1789.54/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.54/1790.01 c propagation : 46.60 805922 107735 135781 46.6 14 25.5 -
1789.54/1790.01 c infeasible LP : 0.98 12508 12506 18501 30.7 2 27.0 0
1789.54/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.54/1790.01 c applied globally : - - - 9698 22.4 - - -
1789.54/1790.01 c applied locally : - - - 111017 46.5 - - -
1789.54/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.54/1790.01 c cut pool : 0.00 5 - - 10 - (maximal pool size: 58)
1789.54/1790.01 c redcost : 63.33 3311429 0 15043087 0 0
1789.54/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.54/1790.01 c intobj : 0.00 0 0 0 0 0
1789.54/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.54/1790.01 c gomory : 0.01 6 0 0 0 0
1789.54/1790.01 c strongcg : 0.01 6 0 0 18 0
1789.54/1790.01 c cmir : 0.03 6 0 0 22 0
1789.54/1790.01 c flowcover : 0.04 6 0 0 23 0
1789.54/1790.01 c clique : 0.00 1 0 0 0 0
1789.54/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.54/1790.01 c mcf : 0.00 1 0 0 0 0
1789.54/1790.01 c rapidlearning : 0.11 1 0 0 0 42
1789.54/1790.01 c Pricers : Time Calls Vars
1789.54/1790.01 c problem variables: 0.00 0 0
1789.54/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c relpscost : 33.52 2686636 1147 33046 0 0 5305384
1789.54/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.54/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.54/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c random : 0.00 0 0 0 0 0 0
1789.54/1790.01 c Primal Heuristics : Time Calls Found
1789.54/1790.01 c LP solutions : 0.06 - 14
1789.54/1790.01 c pseudo solutions : 0.00 - 0
1789.54/1790.01 c oneopt : 2.02 24 0
1789.54/1790.01 c crossover : 5.57 9 0
1789.54/1790.01 c pscostdiving : 8.93 5216 0
1789.54/1790.01 c fracdiving : 8.93 5216 3
1789.54/1790.01 c veclendiving : 7.28 5217 3
1789.54/1790.01 c linesearchdiving : 7.62 5217 0
1789.54/1790.01 c guideddiving : 7.57 5217 1
1789.54/1790.01 c trivial : 0.00 2 0
1789.54/1790.01 c simplerounding : 1.35 0 0
1789.54/1790.01 c zirounding : 1.81 1000 0
1789.54/1790.01 c rounding : 2.89 24929 0
1789.54/1790.01 c shifting : 29.19 34308 5
1789.54/1790.01 c intshifting : 0.14 0 0
1789.54/1790.01 c twoopt : 0.00 0 0
1789.54/1790.01 c fixandinfer : 0.00 0 0
1789.54/1790.01 c feaspump : 0.37 1 0
1789.54/1790.01 c coefdiving : 12.77 5217 1
1789.54/1790.01 c intdiving : 0.00 0 0
1789.54/1790.01 c actconsdiving : 0.00 0 0
1789.54/1790.01 c objpscostdiving : 4.59 2608 0
1789.54/1790.01 c rootsoldiving : 5.72 1370 2
1789.54/1790.01 c octane : 0.00 0 0
1789.54/1790.01 c rens : 0.03 1 0
1789.54/1790.01 c rins : 0.00 0 0
1789.54/1790.01 c localbranching : 0.00 0 0
1789.54/1790.01 c mutation : 0.00 0 0
1789.54/1790.01 c dins : 0.00 0 0
1789.54/1790.01 c undercover : 0.00 0 0
1789.54/1790.01 c nlp : 1.52 0 0
1789.54/1790.01 c trysol : 2.49 0 0
1789.54/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.54/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.54/1790.01 c dual LP : 688.39 4823692 15366701 3.19 22322.82
1789.54/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.54/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.54/1790.01 c diving/probing LP: 29.87 245795 638963 2.60 21390.57
1789.54/1790.01 c strong branching : 10.01 46096 142945 3.10 14284.32
1789.54/1790.01 c (at root node) : - 9 322 35.78 -
1789.54/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.54/1790.01 c B&B Tree :
1789.54/1790.01 c number of runs : 1
1789.54/1790.01 c nodes : 5130872
1789.54/1790.01 c nodes (total) : 5130872
1789.54/1790.01 c nodes left : 146092
1789.54/1790.01 c max depth : 46
1789.54/1790.01 c max depth (total): 46
1789.54/1790.01 c backtracks : 1310687 (25.5%)
1789.54/1790.01 c delayed cutoffs : 17273
1789.54/1790.01 c repropagations : 34588 (103920 domain reductions, 16718 cutoffs)
1789.54/1790.01 c avg switch length: 4.97
1789.54/1790.01 c switching time : 125.82
1789.54/1790.01 c Solution :
1789.54/1790.01 c Solutions found : 30 (25 improvements)
1789.54/1790.01 c First Solution : +1.19900000000000e+03 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1789.54/1790.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 682917 nodes, 285.41 seconds, depth 40, found by <relaxation>)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Root Iterations : 106
1790.14/1790.70 c Time complete: 1790.24.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703926-1278561897/watcher-2703926-1278561897 -o /tmp/evaluation-result-2703926-1278561897/solver-2703926-1278561897 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703926-1278561897.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32465 /proc/meminfo: memFree=1691724/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=7904 CPUtime=0 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 1068 0 0 0 0 0 0 0 18 0 1 0 24396023 8093696 980 1992294400 4194304 8395647 140733435874608 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32465/statm: 1976 989 365 1026 0 946 0 [startup+0.0580701 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32465 /proc/meminfo: memFree=1691724/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=22548 CPUtime=0.04 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 4872 0 0 0 3 1 0 0 20 0 1 0 24396023 23089152 4431 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5637 4431 588 1026 0 4607 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 22548 [startup+0.101075 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32465 /proc/meminfo: memFree=1691724/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=22680 CPUtime=0.09 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 4908 0 0 0 7 2 0 0 20 0 1 0 24396023 23224320 4467 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5670 4467 597 1026 0 4640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22680 [startup+0.301091 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32465 /proc/meminfo: memFree=1691724/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=23968 CPUtime=0.29 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5565 0 0 0 26 3 0 0 20 0 1 0 24396023 24543232 5124 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5992 5124 621 1026 0 4962 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23968 [startup+0.701127 s] /proc/loadavg: 0.92 0.98 0.99 3/106 32465 /proc/meminfo: memFree=1691724/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=23968 CPUtime=0.69 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5568 0 0 0 64 5 0 0 20 0 1 0 24396023 24543232 5127 1992294400 4194304 8395647 140733435874608 18446744073709551615 7182428 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5992 5127 621 1026 0 4962 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23968 [startup+1.5012 s] /proc/loadavg: 0.92 0.98 0.99 2/107 32466 /proc/meminfo: memFree=1673736/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=23968 CPUtime=1.49 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5574 0 0 0 140 9 0 0 23 0 1 0 24396023 24543232 5133 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5992 5133 623 1026 0 4962 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23968 [startup+3.10034 s] /proc/loadavg: 0.92 0.98 0.99 2/107 32466 /proc/meminfo: memFree=1673364/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=23968 CPUtime=3.09 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5578 0 0 0 294 15 0 0 25 0 1 0 24396023 24543232 5137 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5992 5137 623 1026 0 4962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23968 [startup+6.30061 s] /proc/loadavg: 0.93 0.98 0.99 2/107 32466 /proc/meminfo: memFree=1672868/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=23968 CPUtime=6.29 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5590 0 0 0 603 26 0 0 25 0 1 0 24396023 24543232 5149 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 5992 5149 623 1026 0 4962 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23968 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 32466 /proc/meminfo: memFree=1671876/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=25128 CPUtime=12.69 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 5929 0 0 0 1219 50 0 0 25 0 1 0 24396023 25731072 5488 1992294400 4194304 8395647 140733435874608 18446744073709551615 6594150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 6282 5488 623 1026 0 5252 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25128 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 32466 /proc/meminfo: memFree=1668900/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=27144 CPUtime=25.48 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 17474 0 0 0 2443 105 0 0 25 0 1 0 24396023 27795456 6031 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 6786 6031 623 1026 0 5756 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27144 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 32468 /proc/meminfo: memFree=1662080/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=35688 CPUtime=51.07 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 30161 0 0 0 4896 211 0 0 25 0 1 0 24396023 36544512 8193 1992294400 4194304 8395647 140733435874608 18446744073709551615 5027320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 8922 8193 625 1026 0 7892 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35688 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 32468 /proc/meminfo: memFree=1651788/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=44780 CPUtime=102.26 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 46969 0 0 0 9783 443 0 0 25 0 1 0 24396023 45854720 10521 1992294400 4194304 8395647 140733435874608 18446744073709551615 4627417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 11195 10521 626 1026 0 10165 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44780 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32470 /proc/meminfo: memFree=1632320/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=63760 CPUtime=162.24 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 58542 0 0 0 15516 708 0 0 25 0 1 0 24396023 65290240 15332 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 15940 15332 626 1026 0 14910 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 63760 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32472 /proc/meminfo: memFree=1623516/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=72396 CPUtime=222.22 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 63390 0 0 0 21269 953 0 0 25 0 1 0 24396023 74133504 17518 1992294400 4194304 8395647 140733435874608 18446744073709551615 6214398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 18099 17518 626 1026 0 17069 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 72396 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32474 /proc/meminfo: memFree=1612480/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=83436 CPUtime=282.21 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 66123 0 0 0 27026 1195 0 0 25 0 1 0 24396023 85438464 20251 1992294400 4194304 8395647 140733435874608 18446744073709551615 5031905 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20859 20251 626 1026 0 19829 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 83436 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32476 /proc/meminfo: memFree=1611984/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=83820 CPUtime=342.2 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 73465 0 0 0 32757 1463 0 0 25 0 1 0 24396023 85831680 20347 1992294400 4194304 8395647 140733435874608 18446744073709551615 5029708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20955 20347 626 1026 0 19925 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 83820 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32476 /proc/meminfo: memFree=1613720/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=81592 CPUtime=402.18 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 73771 0 0 0 38490 1728 0 0 25 0 1 0 24396023 83550208 19788 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20398 19788 626 1026 0 19368 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 81592 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32478 /proc/meminfo: memFree=1613348/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=81588 CPUtime=462.16 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 74667 0 0 0 44231 1985 0 0 25 0 1 0 24396023 83546112 19819 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20397 19819 626 1026 0 19367 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 81588 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32480 /proc/meminfo: memFree=1613348/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=81588 CPUtime=522.15 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 74667 0 0 0 49982 2233 0 0 25 0 1 0 24396023 83546112 19819 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20397 19819 626 1026 0 19367 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 81588 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32482 /proc/meminfo: memFree=1613224/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=81588 CPUtime=582.13 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 75532 0 0 0 55711 2502 0 0 25 0 1 0 24396023 83546112 19819 1992294400 4194304 8395647 140733435874608 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20397 19819 626 1026 0 19367 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 81588 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 32484 /proc/meminfo: memFree=1612480/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=82944 CPUtime=642.13 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 75840 0 0 0 61449 2764 0 0 25 0 1 0 24396023 84934656 20127 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 20736 20127 626 1026 0 19706 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 82944 [startup+702.301 s] ################ # More data... # ################ [pid=32465] ppid=32463 vsize=114276 CPUtime=1301.97 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 84537 0 0 0 124599 5598 0 0 25 0 1 0 24396023 117018624 27958 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 28569 27958 626 1026 0 27539 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 114276 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32505 /proc/meminfo: memFree=1570940/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=123148 CPUtime=1361.94 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 86756 0 0 0 130343 5851 0 0 25 0 1 0 24396023 126103552 30177 1992294400 4194304 8395647 140733435874608 18446744073709551615 6262425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 30787 30177 626 1026 0 29757 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 123148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32507 /proc/meminfo: memFree=1563748/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=130172 CPUtime=1421.94 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 88514 0 0 0 136072 6122 0 0 25 0 1 0 24396023 133296128 31935 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 32543 31935 626 1026 0 31513 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 130172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32509 /proc/meminfo: memFree=1560772/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=133724 CPUtime=1481.92 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 89400 0 0 0 141814 6378 0 0 25 0 1 0 24396023 136933376 32821 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 33431 32821 626 1026 0 32401 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 133724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32511 /proc/meminfo: memFree=1555936/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=137988 CPUtime=1541.9 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 90466 0 0 0 147557 6633 0 0 25 0 1 0 24396023 141299712 33887 1992294400 4194304 8395647 140733435874608 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 34497 33887 626 1026 0 33467 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 137988 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32511 /proc/meminfo: memFree=1554324/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=139456 CPUtime=1601.88 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 90857 0 0 0 153303 6885 0 0 25 0 1 0 24396023 142802944 34278 1992294400 4194304 8395647 140733435874608 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 34864 34278 626 1026 0 33834 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 139456 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32513 /proc/meminfo: memFree=1551100/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=142684 CPUtime=1661.87 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 91639 0 0 0 159047 7140 0 0 25 0 1 0 24396023 146108416 35060 1992294400 4194304 8395647 140733435874608 18446744073709551615 6190066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 35671 35060 626 1026 0 34641 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 142684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 32515 /proc/meminfo: memFree=1549364/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=144336 CPUtime=1721.85 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92052 0 0 0 164784 7401 0 0 25 0 1 0 24396023 147800064 35473 1992294400 4194304 8395647 140733435874608 18446744073709551615 6064273 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 36084 35473 626 1026 0 35054 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 144336 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547256/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1781.84 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92551 0 0 0 170530 7654 0 0 25 0 1 0 24396023 149839872 35972 1992294400 4194304 8395647 140733435874608 18446744073709551615 4995245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35972 626 1026 0 35552 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 146328 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1790.14 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1790.14 s) to the 'lost time'. [startup+1790.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547132/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1790.14 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92553 0 0 0 171327 7687 0 0 25 0 1 0 24396023 149839872 35974 1992294400 4194304 8395647 140733435874608 18446744073709551615 4665344 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35974 628 1026 0 35552 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 146328 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1670732/2059040 swapFree=4141912/4192956 [pid=32465] ppid=-1 vsize=0 CPUtime=0 /proc/32465/stat : -- couldn't open stat file --/proc/32465/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547132/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1785.04 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92551 0 0 0 170837 7667 0 0 25 0 1 0 24396023 149839872 35972 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35972 626 1026 0 35552 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 146328 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547132/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1788.24 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92551 0 0 0 171143 7681 0 0 25 0 1 0 24396023 149839872 35972 1992294400 4194304 8395647 140733435874608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35972 626 1026 0 35552 0 Current children cumulated CPU time (s) 1788.24 Current children cumulated vsize (KiB) 146328 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547132/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1789.04 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92551 0 0 0 171219 7685 0 0 25 0 1 0 24396023 149839872 35972 1992294400 4194304 8395647 140733435874608 18446744073709551615 4616325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35972 626 1026 0 35552 0 Current children cumulated CPU time (s) 1789.04 Current children cumulated vsize (KiB) 146328 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1547132/2059040 swapFree=4141912/4192956 [pid=32465] ppid=32463 vsize=146328 CPUtime=1789.84 /proc/32465/stat : 32465 (pbscip.linux.x8) R 32463 32465 32440 0 -1 4202496 92553 0 0 0 171297 7687 0 0 25 0 1 0 24396023 149839872 35974 1992294400 4194304 8395647 140733435874608 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32465/statm: 36582 35974 628 1026 0 35552 0 Current children cumulated CPU time (s) 1789.84 Current children cumulated vsize (KiB) 146328 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32517 /proc/meminfo: memFree=1670732/2059040 swapFree=4141912/4192956 [pid=32465] ppid=-1 vsize=0 CPUtime=0 /proc/32465/stat : -- couldn't open stat file --/proc/32465/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32465 and gives # childrusage.ru_utime.tv_sec=1713 # childrusage.ru_utime.tv_usec=363529 # childrusage.ru_stime.tv_sec=76 # childrusage.ru_stime.tv_usec=887311 # CPU time returned by wait4() is 1790.25 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1790.14 # lost CPU user time (s): 1713.27 # lost CPU system time (s): 76.87 Real time (s): 1790.7 CPU time (s): 1790.14 CPU user time (s): 1713.27 CPU system time (s): 76.87 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 146328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1713.36 system time used= 76.8873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92556 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= 1 involuntary context switches= 2898 runsolver used 3.2825 second user time and 8.16776 second system time The end
Begin job on node057 at 2010-07-08 06:04:57 IDJOB=2703926 IDBENCH=2902 IDSOLVER=1213 FILE ID=node057/2703926-1278561897 PBS_JOBID= 11239580 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703926-1278561897/watcher-2703926-1278561897 -o /tmp/evaluation-result-2703926-1278561897/solver-2703926-1278561897 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703926-1278561897.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1040268955 node057.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1692376 kB Buffers: 59656 kB Cached: 207360 kB SwapCached: 6028 kB Active: 170476 kB Inactive: 111344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1692376 kB SwapTotal: 4192956 kB SwapFree: 4141912 kB Dirty: 10556 kB Writeback: 0 kB AnonPages: 11748 kB Mapped: 12032 kB Slab: 63028 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-07-08 06:34:47