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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 7 | 1801.42 | 1802.11 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
| MD5SUM | b690996610ff381ef60353517fe5a0e9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6 |
| 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 | 64 |
| 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 | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4389 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667087-1276602232.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.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
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 # 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 | 28 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 757
0.09/0.15 c y 0.1s| 1 | 0 | 55 | - | 532k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 65 | - | 714k| 0 | 12 | 146 | 114 | 146 | 13 | 7 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 72 | - | 747k| 0 | 13 | 146 | 114 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 78 | - | 784k| 0 | 14 | 146 | 114 | 146 | 20 | 14 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 87 | - | 798k| 0 | 16 | 146 | 114 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 110 | - | 813k| 0 | 18 | 146 | 114 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 118 | - | 822k| 0 | 18 | 146 | 114 | 146 | 28 | 22 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 118 | - | 823k| 0 | 18 | 146 | 114 | 146 | 28 | 22 | 0 | 9 | 0.000000e+00 | 7.570000e+02 | Inf
0.39/0.40 o 138
0.39/0.40 c c 0.3s| 19 | 20 | 343 | 12.5 | 872k| 18 | - | 146 | 114 | 146 | 18 | 22 | 0 | 109 | 0.000000e+00 | 1.380000e+02 | Inf
0.69/0.79 o 137
0.69/0.79 c c 0.7s| 408 | 401 | 2442 | 5.7 |1090k| 43 | - | 146 | 118 | 146 | 18 | 22 | 15 | 472 | 0.000000e+00 | 1.370000e+02 | Inf
0.79/0.83 o 92
0.79/0.83 c f 0.7s| 454 | 429 | 2692 | 5.7 |1123k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 472 | 0.000000e+00 | 9.200000e+01 | Inf
0.79/0.89 o 91
0.79/0.89 c * 0.8s| 535 | 506 | 2995 | 5.4 |1139k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 517 | 0.000000e+00 | 9.100000e+01 | Inf
0.79/0.89 o 89
0.79/0.89 c * 0.8s| 538 | 506 | 2998 | 5.4 |1141k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 525 | 0.000000e+00 | 8.900000e+01 | Inf
1.28/1.35 o 84
1.28/1.35 c C 1.2s| 738 | 704 | 3920 | 5.2 |1243k| 43 | 6 | 146 | 123 | 146 | 18 | 22 | 29 | 552 | 0.000000e+00 | 8.400000e+01 | Inf
2.10/2.20 o 82
2.10/2.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.20 c c 2.0s| 1892 | 1816 | 9898 | 5.2 |1854k| 43 | - | 146 | 157 | 146 | 18 | 22 | 115 | 634 | 0.000000e+00 | 8.200000e+01 | Inf
2.58/2.61 o 80
2.58/2.61 c p 2.4s| 2461 | 2344 | 12847 | 5.2 |2131k| 43 | - | 146 | 161 | 146 | 18 | 22 | 151 | 653 | 0.000000e+00 | 8.000000e+01 | Inf
2.58/2.61 o 78
2.58/2.61 c f 2.4s| 2461 | 2339 | 12847 | 5.2 |2130k| 43 | - | 146 | 161 | 146 | 18 | 22 | 153 | 653 | 0.000000e+00 | 7.800000e+01 | Inf
2.58/2.64 o 76
2.58/2.64 c l 2.4s| 2492 | 2365 | 13041 | 5.2 |2150k| 43 | - | 146 | 161 | 146 | 18 | 22 | 157 | 659 | 0.000000e+00 | 7.600000e+01 | Inf
2.99/3.07 o 74
2.99/3.07 c l 2.7s| 2947 | 2804 | 15390 | 5.2 |2383k| 43 | - | 146 | 163 | 146 | 18 | 22 | 201 | 678 | 0.000000e+00 | 7.400000e+01 | Inf
2.99/3.09 o 49
2.99/3.09 c g 2.8s| 2966 | 2648 | 15494 | 5.2 |2301k| 43 | - | 146 | 164 | 146 | 18 | 22 | 203 | 678 | 0.000000e+00 | 4.900000e+01 | Inf
7.79/7.83 o 48
7.79/7.83 c * 7.1s| 7654 | 6937 | 49059 | 6.4 |4337k| 45 | - | 146 | 187 | 146 | 18 | 22 | 765 | 773 | 0.000000e+00 | 4.800000e+01 | Inf
9.49/9.56 c 8.7s| 10000 | 8886 | 60434 | 6.0 |5295k| 45 | 6 | 146 | 80 | 146 | 18 | 22 | 948 | 879 | 0.000000e+00 | 4.800000e+01 | Inf
13.09/13.15 o 46
13.09/13.15 c *12.0s| 15470 | 13361 | 85803 | 5.5 |7497k| 46 | - | 146 | 73 | 146 | 18 | 22 |1309 |1103 | 0.000000e+00 | 4.600000e+01 | Inf
13.49/13.58 o 44
13.49/13.58 c *12.4s| 16101 | 13816 | 88863 | 5.5 |7712k| 46 | - | 146 | 73 | 146 | 18 | 22 |1351 |1132 | 0.000000e+00 | 4.400000e+01 | Inf
13.49/13.58 o 42
13.49/13.58 c *12.4s| 16102 | 13780 | 88863 | 5.5 |7680k| 46 | - | 146 | 73 | 146 | 18 | 22 |1351 |1132 | 0.000000e+00 | 4.200000e+01 | Inf
16.08/16.15 c 14.8s| 20000 | 16593 |106603 | 5.3 |9241k| 46 | 6 | 146 | 83 | 146 | 18 | 22 |1643 |1312 | 0.000000e+00 | 4.200000e+01 | Inf
16.49/16.55 o 40
16.49/16.55 c p15.2s| 20622 | 16922 |109420 | 5.3 |9412k| 46 | - | 146 | 85 | 146 | 18 | 22 |1691 |1356 | 0.000000e+00 | 4.000000e+01 | Inf
17.39/17.42 o 39
17.39/17.42 c *15.9s| 21671 | 17665 |115379 | 5.3 |9758k| 47 | - | 146 | 93 | 146 | 18 | 22 |1810 |1401 | 0.000000e+00 | 3.900000e+01 | Inf
24.09/24.11 c 22.0s| 30000 | 23264 |152941 | 5.1 | 13M| 47 | 6 | 146 | 69 | 146 | 18 | 22 |2539 |1695 | 0.000000e+00 | 3.900000e+01 | Inf
24.19/24.29 o 38
24.19/24.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.19/24.29 c *22.2s| 30266 | 23386 |154212 | 5.1 | 13M| 47 | - | 146 | 68 | 146 | 18 | 22 |2568 |1712 | 0.000000e+00 | 3.800000e+01 | Inf
24.69/24.72 o 36
24.69/24.72 c p22.6s| 30937 | 23706 |157326 | 5.1 | 13M| 47 | - | 146 | 69 | 146 | 18 | 22 |2610 |1733 | 0.000000e+00 | 3.600000e+01 | Inf
24.69/24.73 o 32
24.69/24.73 c *22.6s| 30938 | 21306 |157340 | 5.1 | 11M| 47 | - | 146 | 69 | 146 | 18 | 22 |2610 |1733 | 0.000000e+00 | 3.200000e+01 | Inf
30.38/30.43 c 27.8s| 40000 | 27427 |199445 | 5.0 | 15M| 47 | 6 | 146 | 57 | 146 | 18 | 22 |3546 |2047 | 0.000000e+00 | 3.200000e+01 | Inf
34.88/34.95 o 31
34.88/34.95 c *31.9s| 47433 | 32192 |232946 | 4.9 | 17M| 48 | - | 146 | 66 | 146 | 18 | 22 |4375 |2236 | 0.000000e+00 | 3.100000e+01 | Inf
36.38/36.49 c 33.3s| 50000 | 33717 |244327 | 4.9 | 18M| 51 | 6 | 146 | 65 | 146 | 18 | 22 |4617 |2294 | 0.000000e+00 | 3.100000e+01 | Inf
36.48/36.59 o 30
36.48/36.59 c *33.4s| 50179 | 33749 |245047 | 4.9 | 18M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2297 | 0.000000e+00 | 3.000000e+01 | Inf
36.48/36.59 o 28
36.48/36.59 c *33.4s| 50184 | 33509 |245053 | 4.9 | 18M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2304 | 0.000000e+00 | 2.800000e+01 | Inf
36.58/36.60 o 26
36.58/36.60 c *33.4s| 50185 | 33199 |245053 | 4.9 | 17M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2304 | 0.000000e+00 | 2.600000e+01 | Inf
37.39/37.49 o 24
37.39/37.49 c *34.2s| 51682 | 33475 |251204 | 4.9 | 17M| 51 | - | 146 | 62 | 146 | 18 | 22 |4787 |2332 | 0.000000e+00 | 2.400000e+01 | Inf
40.59/40.64 o 22
40.59/40.64 c v37.1s| 55327 | 34748 |265789 | 4.8 | 18M| 51 | - | 146 | 55 | 146 | 18 | 22 |5149 |2435 | 0.000000e+00 | 2.200000e+01 | Inf
43.08/43.11 c 39.3s| 60000 | 36931 |283971 | 4.7 | 19M| 51 | - | 146 | 62 | 146 | 18 | 22 |5654 |2542 | 0.000000e+00 | 2.200000e+01 | Inf
44.88/45.00 o 20
44.88/45.00 c *41.1s| 63531 | 37728 |297466 | 4.7 | 20M| 51 | - | 146 | 65 | 146 | 18 | 22 |6026 |2654 | 0.000000e+00 | 2.000000e+01 | Inf
48.78/48.89 c 44.6s| 70000 | 39957 |320822 | 4.6 | 21M| 51 | 6 | 146 | 66 | 146 | 18 | 22 |6670 |2831 | 0.000000e+00 | 2.000000e+01 | Inf
53.97/54.06 c 49.4s| 80000 | 43440 |357266 | 4.5 | 24M| 51 | - | 146 | 57 | 146 | 18 | 22 |7589 |3071 | 0.000000e+00 | 2.000000e+01 | Inf
59.17/59.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.17/59.28 c 54.2s| 90000 | 46995 |394078 | 4.4 | 26M| 51 | 6 | 146 | 50 | 146 | 18 | 22 |8489 |3264 | 0.000000e+00 | 2.000000e+01 | Inf
64.37/64.43 c 58.9s|100000 | 50596 |430808 | 4.3 | 28M| 51 | - | 146 | 58 | 0 | 0 | 22 |9391 |3472 | 0.000000e+00 | 2.000000e+01 | Inf
67.86/67.94 o 18
67.86/67.94 c *62.2s|106674 | 52417 |456070 | 4.3 | 29M| 51 | - | 146 | 54 | 146 | 18 | 22 |9983 |3570 | 0.000000e+00 | 1.800000e+01 | Inf
69.57/69.61 c 63.7s|110000 | 53640 |467795 | 4.3 | 30M| 51 | 6 | 146 | 53 | 146 | 18 | 22 | 10k|3613 | 0.000000e+00 | 1.800000e+01 | Inf
73.46/73.59 o 17
73.46/73.59 c *67.3s|118089 | 55646 |495807 | 4.2 | 31M| 51 | - | 146 | 45 | 146 | 18 | 22 | 10k|3745 | 0.000000e+00 | 1.700000e+01 | Inf
73.57/73.60 o 15
73.57/73.60 c *67.3s|118091 | 51683 |495808 | 4.2 | 28M| 51 | - | 146 | 45 | 146 | 18 | 22 | 10k|3745 | 0.000000e+00 | 1.500000e+01 | Inf
73.57/73.61 o 13
73.57/73.61 c *67.3s|118096 | 50883 |495813 | 4.2 | 27M| 51 | - | 146 | 36 | 146 | 18 | 22 | 10k|3751 | 0.000000e+00 | 1.300000e+01 | Inf
74.57/74.60 c 68.2s|120000 | 51515 |503295 | 4.2 | 27M| 51 | 6 | 146 | 41 | 146 | 18 | 22 | 11k|3783 | 0.000000e+00 | 1.300000e+01 | Inf
79.07/79.14 c 72.4s|130000 | 54014 |537430 | 4.1 | 29M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 11k|3954 | 0.000000e+00 | 1.300000e+01 | Inf
83.57/83.66 c 76.5s|140000 | 56586 |571350 | 4.1 | 30M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 12k|4141 | 0.000000e+00 | 1.300000e+01 | Inf
87.96/88.08 c 80.5s|150000 | 58695 |604291 | 4.0 | 32M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 13k|4319 | 0.000000e+00 | 1.300000e+01 | Inf
92.27/92.40 c 84.5s|160000 | 60203 |636495 | 4.0 | 33M| 51 | - | 146 | 31 | 146 | 18 | 22 | 14k|4486 | 0.000000e+00 | 1.300000e+01 | Inf
96.56/96.69 c 88.4s|170000 | 62076 |668729 | 3.9 | 34M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 14k|4638 | 0.000000e+00 | 1.300000e+01 | Inf
100.86/100.98 c 92.3s|180000 | 63570 |700628 | 3.9 | 35M| 51 | - | 146 | 32 | 146 | 18 | 22 | 15k|4775 | 0.000000e+00 | 1.300000e+01 | Inf
105.25/105.33 c 96.3s|190000 | 64876 |733623 | 3.9 | 36M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 16k|4914 | 0.000000e+00 | 1.300000e+01 | Inf
109.55/109.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.55/109.68 c 100s|200000 | 66287 |766563 | 3.8 | 37M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 16k|5034 | 0.000000e+00 | 1.300000e+01 | Inf
113.85/113.99 c 104s|210000 | 66925 |798024 | 3.8 | 37M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 17k|5169 | 0.000000e+00 | 1.300000e+01 | Inf
118.14/118.27 c 108s|220000 | 67694 |830320 | 3.8 | 38M| 51 | - | 146 | 32 | 146 | 18 | 22 | 18k|5290 | 0.000000e+00 | 1.300000e+01 | Inf
122.54/122.63 c 112s|230000 | 68579 |863317 | 3.8 | 39M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 19k|5409 | 0.000000e+00 | 1.300000e+01 | Inf
126.85/126.96 c 116s|240000 | 69172 |896146 | 3.7 | 40M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 20k|5516 | 0.000000e+00 | 1.300000e+01 | Inf
131.14/131.28 c 120s|250000 | 70140 |928323 | 3.7 | 40M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 20k|5606 | 0.000000e+00 | 1.300000e+01 | Inf
135.54/135.61 c 124s|260000 | 71442 |960284 | 3.7 | 41M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 21k|5712 | 0.000000e+00 | 1.300000e+01 | Inf
139.74/139.89 c 128s|270000 | 72419 |991766 | 3.7 | 42M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 22k|5820 | 0.000000e+00 | 1.300000e+01 | Inf
144.05/144.15 c 132s|280000 | 73004 | 1022k| 3.7 | 42M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 22k|5912 | 0.000000e+00 | 1.300000e+01 | Inf
148.34/148.43 c 136s|290000 | 74156 | 1054k| 3.6 | 43M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 23k|5997 | 0.000000e+00 | 1.300000e+01 | Inf
152.54/152.66 c 140s|300000 | 75353 | 1086k| 3.6 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 24k|6087 | 0.000000e+00 | 1.300000e+01 | Inf
156.74/156.87 c 144s|310000 | 76465 | 1118k| 3.6 | 45M| 51 | - | 146 | 32 | 0 | 0 | 22 | 24k|6175 | 0.000000e+00 | 1.300000e+01 | Inf
161.03/161.12 c 147s|320000 | 77170 | 1150k| 3.6 | 45M| 51 | - | 146 | 34 | 146 | 18 | 22 | 25k|6261 | 0.000000e+00 | 1.300000e+01 | Inf
162.23/162.37 o 9
162.23/162.37 c C 149s|322696 | 74453 | 1158k| 3.6 | 42M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 25k|6289 | 0.000000e+00 | 9.000000e+00 | Inf
165.34/165.46 c 151s|330000 | 74935 | 1181k| 3.6 | 42M| 51 | - | 146 | 33 | 146 | 18 | 22 | 25k|6393 | 0.000000e+00 | 9.000000e+00 | Inf
169.53/169.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.53/169.60 c 155s|340000 | 75419 | 1211k| 3.6 | 43M| 51 | - | 146 | 35 | 146 | 18 | 22 | 26k|6542 | 0.000000e+00 | 9.000000e+00 | Inf
175.53/175.63 c 161s|350000 | 75709 | 1241k| 3.5 | 43M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 27k|6689 | 0.000000e+00 | 9.000000e+00 | Inf
179.63/179.71 c 164s|360000 | 75912 | 1270k| 3.5 | 43M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 27k|6821 | 0.000000e+00 | 9.000000e+00 | Inf
183.64/183.77 c 168s|370000 | 76192 | 1300k| 3.5 | 44M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 28k|6970 | 0.000000e+00 | 9.000000e+00 | Inf
187.73/187.89 c 172s|380000 | 76048 | 1329k| 3.5 | 44M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 29k|7112 | 0.000000e+00 | 9.000000e+00 | Inf
191.82/191.94 c 175s|390000 | 76240 | 1359k| 3.5 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 29k|7256 | 0.000000e+00 | 9.000000e+00 | Inf
195.81/195.98 c 179s|400000 | 76524 | 1388k| 3.5 | 44M| 51 | - | 146 | 31 | 146 | 18 | 22 | 30k|7378 | 0.000000e+00 | 9.000000e+00 | Inf
199.92/200.02 c 183s|410000 | 76135 | 1417k| 3.5 | 44M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 31k|7523 | 0.000000e+00 | 9.000000e+00 | Inf
203.91/204.00 c 186s|420000 | 76338 | 1446k| 3.4 | 44M| 51 | - | 146 | 34 | 146 | 18 | 22 | 31k|7641 | 0.000000e+00 | 9.000000e+00 | Inf
207.92/208.05 c 190s|430000 | 76621 | 1475k| 3.4 | 45M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 32k|7769 | 0.000000e+00 | 9.000000e+00 | Inf
211.91/212.10 c 194s|440000 | 76276 | 1503k| 3.4 | 44M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 33k|7928 | 0.000000e+00 | 9.000000e+00 | Inf
216.01/216.17 c 197s|450000 | 75976 | 1532k| 3.4 | 44M| 51 | - | 146 | 33 | 146 | 18 | 22 | 33k|8035 | 0.000000e+00 | 9.000000e+00 | Inf
220.11/220.22 c 201s|460000 | 75559 | 1560k| 3.4 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 34k|8143 | 0.000000e+00 | 9.000000e+00 | Inf
224.22/224.32 c 205s|470000 | 75282 | 1588k| 3.4 | 44M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 35k|8234 | 0.000000e+00 | 9.000000e+00 | Inf
228.31/228.40 c 209s|480000 | 75074 | 1617k| 3.4 | 44M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 36k|8356 | 0.000000e+00 | 9.000000e+00 | Inf
232.41/232.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.41/232.52 c 212s|490000 | 74687 | 1645k| 3.4 | 44M| 51 | - | 146 | 32 | 146 | 18 | 22 | 36k|8484 | 0.000000e+00 | 9.000000e+00 | Inf
236.42/236.60 c 216s|500000 | 74501 | 1674k| 3.3 | 44M| 51 | - | 146 | 35 | 146 | 18 | 22 | 37k|8564 | 0.000000e+00 | 9.000000e+00 | Inf
240.50/240.68 c 220s|510000 | 74958 | 1703k| 3.3 | 44M| 51 | - | 146 | 34 | 146 | 18 | 22 | 38k|8674 | 0.000000e+00 | 9.000000e+00 | Inf
244.60/244.78 c 224s|520000 | 75308 | 1731k| 3.3 | 45M| 51 | - | 146 | 30 | 0 | 0 | 22 | 38k|8789 | 0.000000e+00 | 9.000000e+00 | Inf
248.70/248.87 c 227s|530000 | 75105 | 1760k| 3.3 | 45M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 39k|8910 | 0.000000e+00 | 9.000000e+00 | Inf
252.81/252.99 c 231s|540000 | 75347 | 1788k| 3.3 | 45M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 40k|9025 | 0.000000e+00 | 9.000000e+00 | Inf
256.99/257.15 c 235s|550000 | 74758 | 1817k| 3.3 | 45M| 51 | - | 146 | 31 | 146 | 18 | 22 | 41k|9120 | 0.000000e+00 | 9.000000e+00 | Inf
261.00/261.16 c 238s|560000 | 74779 | 1846k| 3.3 | 45M| 51 | - | 146 | 33 | 146 | 18 | 22 | 41k|9222 | 0.000000e+00 | 9.000000e+00 | Inf
265.00/265.19 c 242s|570000 | 74807 | 1876k| 3.3 | 45M| 51 | - | 146 | 32 | 146 | 18 | 22 | 42k|9322 | 0.000000e+00 | 9.000000e+00 | Inf
269.19/269.31 c 246s|580000 | 75275 | 1906k| 3.3 | 45M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 43k|9487 | 0.000000e+00 | 9.000000e+00 | Inf
273.39/273.56 c 250s|590000 | 76032 | 1938k| 3.3 | 46M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 43k|9592 | 0.000000e+00 | 9.000000e+00 | Inf
277.59/277.74 c 254s|600000 | 76433 | 1968k| 3.3 | 46M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 44k|9686 | 0.000000e+00 | 9.000000e+00 | Inf
281.79/281.92 c 258s|610000 | 76531 | 1998k| 3.3 | 47M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 45k|9822 | 0.000000e+00 | 9.000000e+00 | Inf
285.89/286.06 c 261s|620000 | 76626 | 2027k| 3.3 | 47M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 45k|9936 | 0.000000e+00 | 9.000000e+00 | Inf
290.09/290.22 c 265s|630000 | 76421 | 2057k| 3.3 | 47M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 46k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
294.19/294.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.19/294.36 c 269s|640000 | 75946 | 2085k| 3.3 | 47M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 47k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
298.28/298.49 c 273s|650000 | 75563 | 2115k| 3.3 | 46M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 48k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
302.49/302.68 c 276s|660000 | 74927 | 2144k| 3.2 | 46M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 48k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
306.58/306.72 c 280s|670000 | 74853 | 2172k| 3.2 | 46M| 51 | - | 146 | 30 | 0 | 0 | 22 | 49k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
310.58/310.76 c 284s|680000 | 74658 | 2201k| 3.2 | 46M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 50k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
314.77/314.93 c 288s|690000 | 74513 | 2232k| 3.2 | 46M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 51k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
318.77/319.00 c 291s|700000 | 74813 | 2263k| 3.2 | 46M| 51 | - | 146 | 38 | 146 | 18 | 22 | 51k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
322.96/323.10 c 295s|710000 | 74895 | 2293k| 3.2 | 46M| 51 | - | 146 | 36 | 146 | 18 | 22 | 52k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
327.07/327.28 c 299s|720000 | 76111 | 2325k| 3.2 | 47M| 51 | - | 146 | 35 | 146 | 18 | 22 | 52k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
331.37/331.54 c 303s|730000 | 77638 | 2357k| 3.2 | 48M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 53k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
335.57/335.71 c 307s|740000 | 79619 | 2389k| 3.2 | 49M| 51 | - | 146 | 33 | 146 | 18 | 22 | 54k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
339.67/339.90 c 310s|750000 | 80975 | 2421k| 3.2 | 50M| 51 | - | 146 | 35 | 0 | 0 | 22 | 54k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
343.86/344.09 c 314s|760000 | 82196 | 2453k| 3.2 | 51M| 51 | - | 146 | 39 | 0 | 0 | 22 | 55k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
348.15/348.30 c 318s|770000 | 83307 | 2484k| 3.2 | 52M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 55k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
352.35/352.50 c 322s|780000 | 84473 | 2517k| 3.2 | 52M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 56k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
356.56/356.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.56/356.72 c 326s|790000 | 85566 | 2549k| 3.2 | 53M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 57k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
360.67/360.82 c 330s|800000 | 86128 | 2580k| 3.2 | 54M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 57k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
364.86/365.01 c 333s|810000 | 86989 | 2612k| 3.2 | 54M| 51 | - | 146 | 33 | 146 | 18 | 22 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
369.06/369.25 c 337s|820000 | 88647 | 2644k| 3.2 | 55M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 59k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
373.35/373.52 c 341s|830000 | 90536 | 2678k| 3.2 | 57M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 59k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
377.55/377.70 c 345s|840000 | 92213 | 2711k| 3.2 | 58M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 60k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
381.64/381.87 c 349s|850000 | 93485 | 2743k| 3.2 | 58M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 60k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
385.86/386.03 c 353s|860000 | 94586 | 2775k| 3.2 | 59M| 51 | - | 146 | 35 | 146 | 18 | 22 | 61k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
390.04/390.24 c 356s|870000 | 95704 | 2807k| 3.2 | 60M| 51 | 6 | 146 | 44 | 146 | 18 | 22 | 61k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
394.24/394.43 c 360s|880000 | 96795 | 2839k| 3.2 | 61M| 51 | - | 146 | 34 | 146 | 18 | 22 | 62k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
398.54/398.78 c 364s|890000 | 99238 | 2873k| 3.2 | 62M| 51 | - | 146 | 34 | 0 | 0 | 22 | 63k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
402.74/402.96 c 368s|900000 |100593 | 2906k| 3.2 | 63M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 63k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
407.04/407.24 c 372s|910000 |102252 | 2940k| 3.2 | 64M| 51 | - | 146 | 36 | 146 | 18 | 22 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
411.43/411.64 c 376s|920000 |104037 | 2975k| 3.2 | 65M| 51 | - | 146 | 36 | 146 | 18 | 22 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
415.84/416.02 c 380s|930000 |105868 | 3010k| 3.2 | 66M| 51 | - | 146 | 36 | 146 | 18 | 22 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
420.14/420.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.14/420.31 c 384s|940000 |107435 | 3043k| 3.2 | 67M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 66k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
424.34/424.57 c 388s|950000 |108657 | 3077k| 3.2 | 68M| 51 | - | 146 | 30 | 146 | 18 | 22 | 66k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
428.63/428.83 c 392s|960000 |109882 | 3111k| 3.2 | 69M| 51 | - | 146 | 37 | 0 | 0 | 22 | 67k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
432.83/433.05 c 396s|970000 |111401 | 3143k| 3.2 | 70M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 68k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
437.03/437.24 c 400s|980000 |112581 | 3175k| 3.2 | 71M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 68k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
441.42/441.67 c 404s|990000 |115309 | 3210k| 3.2 | 72M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 69k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
445.82/446.06 c 408s| 1000k|118051 | 3244k| 3.2 | 74M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 69k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
450.02/450.27 c 411s| 1010k|120369 | 3277k| 3.2 | 75M| 51 | - | 146 | 34 | 146 | 18 | 22 | 70k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
454.32/454.53 c 415s| 1020k|122117 | 3311k| 3.2 | 76M| 51 | - | 146 | 34 | 146 | 18 | 22 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
458.62/458.83 c 419s| 1030k|123842 | 3345k| 3.2 | 77M| 51 | - | 146 | 35 | 146 | 18 | 22 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
462.82/463.08 c 423s| 1040k|125509 | 3379k| 3.2 | 78M| 51 | - | 146 | 40 | 146 | 18 | 22 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
467.11/467.35 c 427s| 1050k|127418 | 3412k| 3.2 | 79M| 51 | - | 146 | 41 | 146 | 18 | 22 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
471.42/471.67 c 431s| 1060k|129894 | 3445k| 3.3 | 81M| 51 | - | 146 | 33 | 146 | 18 | 22 | 73k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
475.61/475.86 c 435s| 1070k|131890 | 3477k| 3.3 | 82M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 74k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
479.81/480.02 c 439s| 1080k|133345 | 3508k| 3.2 | 83M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 74k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
483.91/484.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.91/484.16 c 442s| 1090k|134847 | 3539k| 3.2 | 84M| 51 | - | 146 | 39 | 146 | 18 | 22 | 75k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
488.12/488.32 c 446s| 1100k|136010 | 3571k| 3.2 | 84M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 75k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
492.21/492.44 c 450s| 1110k|137253 | 3602k| 3.2 | 85M| 51 | 6 | 146 | 41 | 146 | 18 | 22 | 76k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
496.40/496.61 c 454s| 1120k|138491 | 3633k| 3.2 | 86M| 51 | - | 146 | 38 | 146 | 18 | 22 | 77k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
500.50/500.75 c 457s| 1130k|139631 | 3664k| 3.2 | 87M| 51 | - | 146 | 38 | 146 | 18 | 22 | 77k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
504.61/504.88 c 461s| 1140k|140636 | 3696k| 3.2 | 88M| 51 | - | 146 | 39 | 146 | 18 | 22 | 78k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
508.80/509.08 c 465s| 1150k|141902 | 3728k| 3.2 | 88M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
513.00/513.21 c 469s| 1160k|142945 | 3758k| 3.2 | 89M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
517.09/517.37 c 473s| 1170k|143964 | 3790k| 3.2 | 90M| 51 | - | 146 | 38 | 146 | 18 | 22 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
521.20/521.46 c 476s| 1180k|145006 | 3820k| 3.2 | 91M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
525.29/525.59 c 480s| 1190k|145898 | 3851k| 3.2 | 91M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 81k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
529.40/529.69 c 484s| 1200k|147022 | 3882k| 3.2 | 92M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 82k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
533.69/533.92 c 488s| 1210k|148003 | 3913k| 3.2 | 93M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 82k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
537.79/538.08 c 492s| 1220k|148883 | 3945k| 3.2 | 93M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 83k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
541.99/542.21 c 495s| 1230k|149773 | 3975k| 3.2 | 94M| 51 | - | 146 | 42 | 146 | 18 | 22 | 84k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
546.19/546.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.19/546.40 c 499s| 1240k|150862 | 4008k| 3.2 | 95M| 51 | - | 146 | 34 | 146 | 18 | 22 | 84k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
550.28/550.53 c 503s| 1250k|152033 | 4039k| 3.2 | 96M| 51 | - | 146 | 34 | 0 | 0 | 22 | 85k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
554.38/554.61 c 507s| 1260k|152923 | 4069k| 3.2 | 96M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 85k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
558.38/558.66 c 510s| 1270k|153936 | 4099k| 3.2 | 97M| 51 | - | 146 | 41 | 0 | 0 | 22 | 86k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
562.48/562.74 c 514s| 1280k|155020 | 4130k| 3.2 | 98M| 51 | 6 | 146 | 42 | 146 | 18 | 22 | 86k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
566.59/566.80 c 518s| 1290k|155927 | 4161k| 3.2 | 99M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 87k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
570.59/570.83 c 522s| 1300k|157015 | 4191k| 3.2 | 99M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 87k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
574.58/574.89 c 525s| 1310k|158005 | 4221k| 3.2 | 100M| 51 | - | 146 | 41 | 0 | 0 | 22 | 88k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
578.67/578.98 c 529s| 1320k|158801 | 4251k| 3.2 | 101M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 89k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
582.78/583.08 c 533s| 1330k|159804 | 4281k| 3.2 | 101M| 51 | - | 146 | 35 | 146 | 18 | 22 | 89k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
586.97/587.21 c 537s| 1340k|160588 | 4312k| 3.2 | 102M| 51 | - | 146 | 36 | 146 | 18 | 22 | 90k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
591.07/591.30 c 540s| 1350k|161384 | 4343k| 3.2 | 103M| 51 | - | 146 | 35 | 0 | 0 | 22 | 90k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
595.07/595.39 c 544s| 1360k|161915 | 4373k| 3.2 | 103M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 91k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
599.17/599.48 c 548s| 1370k|162797 | 4403k| 3.2 | 104M| 51 | - | 146 | 35 | 146 | 18 | 22 | 92k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
603.26/603.53 c 551s| 1380k|163362 | 4433k| 3.2 | 104M| 51 | - | 146 | 34 | 146 | 18 | 22 | 92k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
607.46/607.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.46/607.75 c 555s| 1390k|164328 | 4466k| 3.2 | 105M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 93k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
611.66/611.96 c 559s| 1400k|164807 | 4499k| 3.2 | 106M| 51 | - | 146 | 36 | 0 | 0 | 22 | 93k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
615.76/616.05 c 563s| 1410k|165548 | 4529k| 3.2 | 106M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 94k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
619.86/620.16 c 567s| 1420k|166227 | 4559k| 3.2 | 107M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 94k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
623.95/624.27 c 570s| 1430k|166656 | 4589k| 3.2 | 107M| 51 | - | 146 | 35 | 146 | 18 | 22 | 95k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
628.05/628.38 c 574s| 1440k|167508 | 4621k| 3.2 | 108M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 95k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
632.35/632.61 c 578s| 1450k|169899 | 4652k| 3.2 | 109M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 96k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
636.44/636.72 c 582s| 1460k|171501 | 4682k| 3.2 | 110M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 96k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
640.55/640.81 c 586s| 1470k|172862 | 4712k| 3.2 | 111M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 97k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
644.55/644.88 c 589s| 1480k|173906 | 4742k| 3.2 | 112M| 51 | - | 146 | 35 | 146 | 18 | 22 | 97k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
648.65/648.95 c 593s| 1490k|174841 | 4772k| 3.2 | 112M| 51 | - | 146 | 34 | 146 | 18 | 22 | 98k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
652.64/652.97 c 597s| 1500k|175496 | 4801k| 3.2 | 113M| 51 | - | 146 | 35 | 146 | 18 | 22 | 98k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
656.74/657.00 c 600s| 1510k|176365 | 4830k| 3.2 | 114M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 99k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
660.75/661.07 c 604s| 1520k|176954 | 4859k| 3.2 | 114M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 99k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
664.84/665.18 c 608s| 1530k|177432 | 4888k| 3.2 | 115M| 51 | - | 146 | 37 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
668.94/669.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.94/669.26 c 612s| 1540k|178215 | 4917k| 3.2 | 115M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
673.03/673.31 c 615s| 1550k|178709 | 4945k| 3.2 | 116M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
677.04/677.38 c 619s| 1560k|179233 | 4974k| 3.2 | 116M| 51 | - | 146 | 35 | 0 | 0 | 22 | 101k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
681.14/681.44 c 623s| 1570k|179749 | 5002k| 3.2 | 117M| 51 | - | 146 | 32 | 146 | 18 | 22 | 101k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
685.14/685.48 c 626s| 1580k|180043 | 5030k| 3.2 | 117M| 51 | - | 146 | 33 | 0 | 0 | 22 | 102k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
689.23/689.53 c 630s| 1590k|180399 | 5059k| 3.2 | 118M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 102k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
693.23/693.58 c 634s| 1600k|180968 | 5089k| 3.2 | 118M| 51 | - | 146 | 40 | 146 | 18 | 22 | 103k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
697.33/697.69 c 638s| 1610k|182029 | 5119k| 3.2 | 119M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 103k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
701.44/701.78 c 641s| 1620k|182875 | 5149k| 3.2 | 119M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 104k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
705.62/705.94 c 645s| 1630k|183144 | 5178k| 3.2 | 120M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 105k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
709.72/710.04 c 649s| 1640k|183609 | 5208k| 3.2 | 120M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 105k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
713.82/714.10 c 653s| 1650k|184186 | 5237k| 3.2 | 121M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 106k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
717.93/718.25 c 656s| 1660k|184581 | 5268k| 3.2 | 121M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 106k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
722.02/722.33 c 660s| 1670k|185180 | 5297k| 3.2 | 122M| 51 | - | 146 | 35 | 146 | 18 | 22 | 107k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
726.12/726.47 c 664s| 1680k|185666 | 5328k| 3.2 | 122M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 107k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
730.21/730.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.21/730.56 c 668s| 1690k|186277 | 5359k| 3.2 | 123M| 51 | - | 146 | 34 | 146 | 18 | 22 | 108k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
734.31/734.69 c 671s| 1700k|186551 | 5390k| 3.2 | 123M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 108k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
738.52/738.82 c 675s| 1710k|187105 | 5421k| 3.2 | 124M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 109k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
742.71/743.06 c 679s| 1720k|188308 | 5453k| 3.2 | 124M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 109k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
746.91/747.20 c 683s| 1730k|188691 | 5483k| 3.2 | 125M| 51 | - | 146 | 34 | 146 | 18 | 22 | 110k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
750.92/751.27 c 687s| 1740k|189000 | 5512k| 3.2 | 125M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 110k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
755.21/755.52 c 690s| 1750k|190228 | 5545k| 3.2 | 126M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 111k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
759.30/759.64 c 694s| 1760k|191105 | 5576k| 3.2 | 127M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 111k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
763.50/763.81 c 698s| 1770k|191547 | 5607k| 3.2 | 127M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 112k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
767.51/767.85 c 702s| 1780k|192069 | 5637k| 3.2 | 128M| 51 | - | 146 | 37 | 146 | 18 | 22 | 112k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
771.50/771.89 c 705s| 1790k|192527 | 5667k| 3.2 | 128M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 113k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
775.70/776.06 c 709s| 1800k|193077 | 5699k| 3.2 | 129M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 113k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
779.90/780.20 c 713s| 1810k|193316 | 5730k| 3.2 | 129M| 51 | - | 146 | 34 | 146 | 18 | 22 | 114k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
784.01/784.32 c 717s| 1820k|193592 | 5760k| 3.2 | 129M| 51 | - | 146 | 34 | 146 | 18 | 22 | 114k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
788.10/788.42 c 721s| 1830k|193997 | 5790k| 3.2 | 130M| 51 | - | 146 | 35 | 146 | 18 | 22 | 115k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
792.29/792.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.29/792.61 c 724s| 1840k|194867 | 5821k| 3.2 | 130M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 115k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
796.39/796.70 c 728s| 1850k|195608 | 5851k| 3.2 | 131M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 116k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
800.40/800.75 c 732s| 1860k|196051 | 5881k| 3.2 | 131M| 51 | - | 146 | 37 | 146 | 18 | 22 | 116k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
804.49/804.80 c 736s| 1870k|196179 | 5911k| 3.2 | 132M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 117k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
808.49/808.88 c 739s| 1880k|196584 | 5940k| 3.2 | 132M| 51 | - | 146 | 32 | 146 | 18 | 22 | 117k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
812.68/813.00 c 743s| 1890k|197133 | 5970k| 3.2 | 133M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 118k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
816.78/817.15 c 747s| 1900k|197336 | 6001k| 3.2 | 133M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 118k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
820.88/821.25 c 751s| 1910k|197716 | 6030k| 3.2 | 133M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 119k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
824.98/825.36 c 754s| 1920k|198343 | 6062k| 3.2 | 134M| 51 | - | 146 | 36 | 146 | 18 | 22 | 119k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
829.18/829.52 c 758s| 1930k|199449 | 6094k| 3.2 | 135M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 120k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
833.28/833.69 c 762s| 1940k|199632 | 6124k| 3.2 | 135M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 120k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
837.47/837.80 c 766s| 1950k|199853 | 6154k| 3.2 | 135M| 51 | - | 146 | 35 | 0 | 0 | 22 | 121k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
841.57/841.91 c 769s| 1960k|200298 | 6184k| 3.2 | 136M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 121k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
847.07/847.42 c 774s| 1970k|200816 | 6214k| 3.2 | 136M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 122k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
851.17/851.54 c 778s| 1980k|201012 | 6244k| 3.2 | 137M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 123k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
855.27/855.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.27/855.67 c 782s| 1990k|201229 | 6273k| 3.2 | 137M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 123k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
859.36/859.75 c 786s| 2000k|201429 | 6303k| 3.2 | 137M| 51 | - | 146 | 32 | 146 | 18 | 22 | 124k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
863.46/863.85 c 789s| 2010k|201946 | 6332k| 3.2 | 138M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 124k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
867.57/867.97 c 793s| 2020k|202135 | 6362k| 3.1 | 138M| 51 | - | 146 | 32 | 0 | 0 | 22 | 125k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
871.66/872.07 c 797s| 2030k|202502 | 6392k| 3.1 | 138M| 51 | - | 146 | 34 | 146 | 18 | 22 | 125k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
875.86/876.23 c 801s| 2040k|203263 | 6422k| 3.1 | 139M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 126k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
879.96/880.32 c 804s| 2050k|203760 | 6452k| 3.1 | 139M| 51 | - | 146 | 32 | 146 | 18 | 22 | 126k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
884.07/884.44 c 808s| 2060k|204849 | 6483k| 3.1 | 140M| 51 | - | 146 | 31 | 146 | 18 | 22 | 127k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
888.16/888.52 c 812s| 2070k|205329 | 6513k| 3.1 | 141M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 127k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
892.26/892.61 c 816s| 2080k|205208 | 6542k| 3.1 | 141M| 51 | - | 146 | 32 | 146 | 18 | 22 | 128k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
896.46/896.81 c 820s| 2090k|205658 | 6574k| 3.1 | 141M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 128k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
900.65/901.01 c 823s| 2100k|206819 | 6606k| 3.1 | 142M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 129k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
904.75/905.14 c 827s| 2110k|207813 | 6637k| 3.1 | 143M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 129k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
908.95/909.32 c 831s| 2120k|209037 | 6670k| 3.1 | 144M| 51 | - | 146 | 32 | 146 | 18 | 22 | 130k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
913.04/913.44 c 835s| 2130k|209708 | 6701k| 3.1 | 144M| 51 | - | 146 | 32 | 0 | 0 | 22 | 131k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
917.14/917.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.14/917.56 c 838s| 2140k|210156 | 6732k| 3.1 | 145M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 131k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
921.35/921.71 c 842s| 2150k|210676 | 6763k| 3.1 | 145M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 132k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
925.44/925.88 c 846s| 2160k|211010 | 6796k| 3.1 | 146M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 132k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
929.63/930.07 c 850s| 2170k|211290 | 6827k| 3.1 | 146M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 133k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
933.84/934.21 c 854s| 2180k|211492 | 6857k| 3.1 | 146M| 51 | - | 146 | 33 | 146 | 18 | 22 | 134k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
937.84/938.28 c 857s| 2190k|211738 | 6887k| 3.1 | 147M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 134k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
942.03/942.45 c 861s| 2200k|211980 | 6918k| 3.1 | 147M| 51 | - | 146 | 33 | 146 | 18 | 22 | 135k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
946.13/946.53 c 865s| 2210k|212289 | 6948k| 3.1 | 147M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 136k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
950.23/950.63 c 869s| 2220k|212434 | 6979k| 3.1 | 148M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 136k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
954.34/954.79 c 873s| 2230k|212645 | 7009k| 3.1 | 148M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 137k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
958.52/958.93 c 876s| 2240k|212706 | 7040k| 3.1 | 148M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 137k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
962.63/963.05 c 880s| 2250k|213090 | 7069k| 3.1 | 149M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 138k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
966.73/967.15 c 884s| 2260k|213350 | 7100k| 3.1 | 149M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 138k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
970.83/971.26 c 888s| 2270k|213511 | 7129k| 3.1 | 149M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 139k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
974.92/975.32 c 891s| 2280k|214083 | 7158k| 3.1 | 150M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 139k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
979.02/979.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.02/979.49 c 895s| 2290k|214311 | 7189k| 3.1 | 150M| 51 | - | 146 | 33 | 146 | 18 | 22 | 140k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
983.22/983.60 c 899s| 2300k|214437 | 7220k| 3.1 | 150M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 140k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
987.32/987.74 c 903s| 2310k|214806 | 7251k| 3.1 | 151M| 51 | - | 146 | 35 | 146 | 18 | 22 | 141k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
991.52/991.94 c 907s| 2320k|215040 | 7281k| 3.1 | 151M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 141k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
995.71/996.10 c 910s| 2330k|217112 | 7312k| 3.1 | 152M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 142k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
999.71/1000.18 c 914s| 2340k|218678 | 7342k| 3.1 | 153M| 51 | - | 146 | 32 | 146 | 18 | 22 | 143k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1003.82/1004.25 c 918s| 2350k|219781 | 7371k| 3.1 | 154M| 51 | - | 146 | 35 | 146 | 18 | 22 | 143k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1007.91/1008.33 c 921s| 2360k|221000 | 7401k| 3.1 | 155M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 144k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1011.91/1012.38 c 925s| 2370k|221974 | 7430k| 3.1 | 155M| 51 | - | 146 | 33 | 146 | 18 | 22 | 144k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1016.01/1016.44 c 929s| 2380k|222634 | 7458k| 3.1 | 156M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 145k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1020.11/1020.54 c 933s| 2390k|223269 | 7487k| 3.1 | 157M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 146k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1024.10/1024.59 c 936s| 2400k|223913 | 7516k| 3.1 | 157M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 146k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1028.30/1028.70 c 940s| 2410k|224541 | 7545k| 3.1 | 158M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 147k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1032.29/1032.72 c 944s| 2420k|225513 | 7574k| 3.1 | 158M| 51 | - | 146 | 33 | 146 | 18 | 22 | 148k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1036.29/1036.74 c 947s| 2430k|225869 | 7602k| 3.1 | 159M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 148k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1040.29/1040.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.29/1040.77 c 951s| 2440k|226243 | 7630k| 3.1 | 159M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 149k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1044.38/1044.85 c 955s| 2450k|227062 | 7659k| 3.1 | 160M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 149k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1048.39/1048.86 c 958s| 2460k|227581 | 7688k| 3.1 | 160M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 150k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1052.38/1052.86 c 962s| 2470k|228676 | 7716k| 3.1 | 161M| 51 | - | 146 | 33 | 146 | 18 | 22 | 151k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1056.38/1056.89 c 966s| 2480k|229394 | 7745k| 3.1 | 161M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 151k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1060.48/1060.97 c 970s| 2490k|229874 | 7774k| 3.1 | 162M| 51 | - | 146 | 32 | 146 | 18 | 22 | 152k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1064.58/1065.08 c 973s| 2500k|230050 | 7802k| 3.1 | 162M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 152k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1068.68/1069.15 c 977s| 2510k|230529 | 7830k| 3.1 | 163M| 51 | - | 146 | 34 | 0 | 0 | 22 | 153k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1072.87/1073.32 c 981s| 2520k|231261 | 7860k| 3.1 | 163M| 51 | - | 146 | 35 | 146 | 18 | 22 | 154k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1076.87/1077.40 c 985s| 2530k|232095 | 7889k| 3.1 | 164M| 51 | - | 146 | 34 | 146 | 18 | 22 | 154k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1080.98/1081.43 c 988s| 2540k|232339 | 7917k| 3.1 | 164M| 51 | - | 146 | 34 | 146 | 18 | 22 | 155k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1085.08/1085.53 c 992s| 2550k|232733 | 7945k| 3.1 | 165M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 156k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1089.17/1089.63 c 996s| 2560k|233131 | 7973k| 3.1 | 165M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 156k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1093.27/1093.71 c 1000s| 2570k|233345 | 8002k| 3.1 | 165M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 157k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1097.28/1097.75 c 1003s| 2580k|233645 | 8030k| 3.1 | 166M| 51 | - | 146 | 35 | 146 | 18 | 22 | 158k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1101.37/1101.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.37/1101.87 c 1007s| 2590k|234352 | 8059k| 3.1 | 166M| 51 | - | 146 | 37 | 146 | 18 | 22 | 158k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1105.46/1105.96 c 1011s| 2600k|234275 | 8087k| 3.1 | 167M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 159k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1109.56/1110.06 c 1014s| 2610k|234355 | 8115k| 3.1 | 167M| 51 | - | 146 | 34 | 0 | 0 | 22 | 160k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1113.65/1114.14 c 1018s| 2620k|234396 | 8143k| 3.1 | 167M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 160k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1117.76/1118.25 c 1022s| 2630k|234280 | 8171k| 3.1 | 167M| 51 | - | 146 | 37 | 146 | 18 | 22 | 161k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1121.76/1122.29 c 1026s| 2640k|234288 | 8199k| 3.1 | 167M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 161k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1125.86/1126.35 c 1029s| 2650k|234715 | 8227k| 3.1 | 168M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 162k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1130.05/1130.54 c 1033s| 2660k|235299 | 8256k| 3.1 | 168M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 163k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1134.15/1134.62 c 1037s| 2670k|235532 | 8284k| 3.1 | 169M| 51 | - | 146 | 34 | 0 | 0 | 22 | 163k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1138.25/1138.72 c 1041s| 2680k|235875 | 8312k| 3.1 | 169M| 51 | - | 146 | 33 | 146 | 18 | 22 | 164k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1142.25/1142.77 c 1044s| 2690k|235944 | 8340k| 3.1 | 169M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 165k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1146.34/1146.88 c 1048s| 2700k|235783 | 8368k| 3.1 | 169M| 51 | - | 146 | 34 | 146 | 18 | 22 | 165k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1150.55/1151.00 c 1052s| 2710k|236064 | 8397k| 3.1 | 170M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 166k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1154.64/1155.10 c 1056s| 2720k|236328 | 8428k| 3.1 | 170M| 51 | - | 146 | 34 | 146 | 18 | 22 | 166k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1158.74/1159.28 c 1060s| 2730k|236523 | 8459k| 3.1 | 170M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 167k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1162.94/1163.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.94/1163.41 c 1063s| 2740k|236475 | 8488k| 3.1 | 170M| 51 | - | 146 | 35 | 146 | 18 | 22 | 168k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1167.14/1167.62 c 1067s| 2750k|236737 | 8519k| 3.1 | 171M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 168k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1171.33/1171.83 c 1071s| 2760k|237846 | 8550k| 3.1 | 171M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 169k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1175.54/1176.05 c 1075s| 2770k|238593 | 8582k| 3.1 | 172M| 51 | - | 146 | 33 | 146 | 18 | 22 | 169k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1179.74/1180.23 c 1079s| 2780k|239767 | 8613k| 3.1 | 173M| 51 | - | 146 | 34 | 146 | 18 | 22 | 170k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1183.04/1183.59 o 7
1183.04/1183.59 c *1082s| 2787k|236237 | 8639k| 3.1 | 166M| 51 | - | 146 | 36 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1183.94/1184.40 c 1083s| 2790k|236252 | 8645k| 3.1 | 166M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1189.43/1189.94 c 1087s| 2800k|236944 | 8676k| 3.1 | 167M| 51 | - | 146 | 28 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1193.23/1193.70 c 1091s| 2810k|237710 | 8706k| 3.1 | 168M| 51 | - | 146 | 32 | 146 | 18 | 22 | 172k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1197.12/1197.61 c 1094s| 2820k|238064 | 8737k| 3.1 | 168M| 51 | - | 146 | 30 | 146 | 18 | 22 | 172k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1201.03/1201.54 c 1098s| 2830k|238091 | 8768k| 3.1 | 168M| 51 | - | 146 | 35 | 146 | 18 | 22 | 173k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1204.82/1205.39 c 1102s| 2840k|238115 | 8798k| 3.1 | 168M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 174k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1208.72/1209.25 c 1105s| 2850k|238240 | 8829k| 3.1 | 169M| 51 | - | 146 | 32 | 146 | 18 | 22 | 174k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1212.52/1213.09 c 1109s| 2860k|238341 | 8859k| 3.1 | 169M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 175k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1216.42/1216.92 c 1112s| 2870k|238591 | 8889k| 3.1 | 169M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 175k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1220.22/1220.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.22/1220.71 c 1116s| 2880k|238928 | 8919k| 3.1 | 169M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 176k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1224.02/1224.58 c 1119s| 2890k|238839 | 8949k| 3.1 | 169M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 177k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1229.51/1230.03 c 1124s| 2900k|238960 | 8979k| 3.1 | 170M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 177k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1233.41/1233.92 c 1127s| 2910k|239485 | 9010k| 3.1 | 170M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 178k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1237.21/1237.74 c 1131s| 2920k|240496 | 9041k| 3.1 | 171M| 51 | - | 146 | 28 | 0 | 0 | 22 | 178k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1241.02/1241.58 c 1134s| 2930k|240902 | 9073k| 3.1 | 171M| 51 | - | 146 | 29 | 146 | 18 | 22 | 179k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1244.81/1245.39 c 1138s| 2940k|240987 | 9103k| 3.1 | 171M| 51 | - | 146 | 28 | 146 | 18 | 22 | 180k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1248.71/1249.24 c 1141s| 2950k|241195 | 9133k| 3.1 | 172M| 51 | - | 146 | 28 | 146 | 18 | 22 | 180k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1252.50/1253.03 c 1145s| 2960k|240994 | 9163k| 3.1 | 172M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 181k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1256.41/1256.90 c 1148s| 2970k|240740 | 9193k| 3.1 | 172M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 181k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1260.31/1260.83 c 1152s| 2980k|240754 | 9224k| 3.1 | 172M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 182k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1264.21/1264.72 c 1156s| 2990k|241017 | 9255k| 3.1 | 172M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 182k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1268.00/1268.57 c 1159s| 3000k|241407 | 9287k| 3.1 | 172M| 51 | - | 146 | 30 | 146 | 18 | 22 | 183k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1271.90/1272.41 c 1163s| 3010k|241327 | 9318k| 3.1 | 173M| 51 | - | 146 | 29 | 146 | 18 | 22 | 183k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1275.69/1276.24 c 1166s| 3020k|241444 | 9347k| 3.1 | 173M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 184k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1279.50/1280.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.50/1280.03 c 1169s| 3030k|241440 | 9377k| 3.1 | 173M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 184k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1283.30/1283.81 c 1173s| 3040k|242192 | 9407k| 3.1 | 173M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 185k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1287.00/1287.57 c 1176s| 3050k|242461 | 9437k| 3.1 | 174M| 51 | - | 146 | 36 | 146 | 18 | 22 | 185k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1290.80/1291.31 c 1180s| 3060k|242844 | 9466k| 3.1 | 174M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 186k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1294.50/1295.07 c 1183s| 3070k|243308 | 9494k| 3.1 | 175M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 186k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1298.29/1298.81 c 1186s| 3080k|243354 | 9522k| 3.1 | 175M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 187k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1302.09/1302.66 c 1190s| 3090k|243637 | 9553k| 3.1 | 175M| 51 | - | 146 | 29 | 146 | 18 | 22 | 188k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1306.09/1306.66 c 1194s| 3100k|243744 | 9587k| 3.1 | 175M| 51 | - | 146 | 30 | 146 | 18 | 22 | 188k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1309.98/1310.52 c 1197s| 3110k|243654 | 9617k| 3.1 | 175M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 189k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1313.90/1314.43 c 1201s| 3120k|244346 | 9649k| 3.1 | 176M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 189k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1317.78/1318.31 c 1204s| 3130k|245052 | 9681k| 3.1 | 176M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 190k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1321.59/1322.19 c 1208s| 3140k|244915 | 9714k| 3.1 | 176M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 190k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1325.48/1326.08 c 1211s| 3150k|245109 | 9745k| 3.1 | 177M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 191k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1329.29/1329.88 c 1215s| 3160k|245392 | 9775k| 3.1 | 177M| 51 | - | 146 | 35 | 146 | 18 | 22 | 191k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1333.18/1333.74 c 1218s| 3170k|245575 | 9806k| 3.1 | 177M| 51 | - | 146 | 37 | 146 | 18 | 22 | 192k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1336.99/1337.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.99/1337.57 c 1222s| 3180k|245474 | 9837k| 3.1 | 177M| 51 | - | 146 | 32 | 0 | 0 | 22 | 192k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1340.88/1341.43 c 1225s| 3190k|245362 | 9867k| 3.1 | 177M| 51 | - | 146 | 30 | 146 | 18 | 22 | 193k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1344.78/1345.34 c 1229s| 3200k|245384 | 9898k| 3.1 | 178M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 193k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1348.68/1349.22 c 1232s| 3210k|245303 | 9928k| 3.1 | 178M| 51 | - | 146 | 32 | 146 | 18 | 22 | 194k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1352.48/1353.07 c 1236s| 3220k|245237 | 9957k| 3.1 | 178M| 51 | - | 146 | 34 | 0 | 0 | 22 | 195k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1356.37/1356.94 c 1239s| 3230k|245978 | 9988k| 3.1 | 178M| 51 | - | 146 | 33 | 146 | 18 | 22 | 195k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1360.18/1360.79 c 1243s| 3240k|246148 | 10019k| 3.1 | 179M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 196k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1364.07/1364.63 c 1246s| 3250k|246044 | 10048k| 3.1 | 179M| 51 | - | 146 | 32 | 146 | 18 | 22 | 196k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1367.97/1368.50 c 1250s| 3260k|245848 | 10079k| 3.1 | 179M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 197k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1371.87/1372.41 c 1253s| 3270k|246150 | 10110k| 3.1 | 179M| 51 | - | 146 | 35 | 0 | 0 | 22 | 197k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1375.77/1376.32 c 1257s| 3280k|246611 | 10141k| 3.1 | 179M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 198k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1379.56/1380.17 c 1260s| 3290k|247167 | 10172k| 3.1 | 180M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 198k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1383.37/1383.99 c 1264s| 3300k|247460 | 10201k| 3.1 | 180M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 199k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1387.16/1387.79 c 1267s| 3310k|247617 | 10230k| 3.1 | 180M| 51 | - | 146 | 36 | 146 | 18 | 22 | 199k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1391.06/1391.60 c 1271s| 3320k|247874 | 10260k| 3.1 | 181M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 200k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1394.85/1395.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.85/1395.42 c 1274s| 3330k|247566 | 10289k| 3.1 | 181M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 201k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1398.67/1399.27 c 1278s| 3340k|247610 | 10319k| 3.1 | 181M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 201k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1402.66/1403.21 c 1282s| 3350k|248244 | 10352k| 3.1 | 181M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 202k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1406.46/1407.08 c 1285s| 3360k|248285 | 10384k| 3.1 | 181M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 202k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1410.35/1410.99 c 1289s| 3370k|247994 | 10415k| 3.1 | 181M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 203k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1414.25/1414.83 c 1292s| 3380k|248036 | 10445k| 3.1 | 182M| 51 | - | 146 | 31 | 0 | 0 | 22 | 203k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1418.15/1418.74 c 1296s| 3390k|247907 | 10476k| 3.1 | 182M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 204k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1421.95/1422.58 c 1299s| 3400k|248544 | 10507k| 3.1 | 182M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 204k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1425.84/1426.44 c 1303s| 3410k|248286 | 10538k| 3.1 | 182M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 205k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1429.75/1430.35 c 1306s| 3420k|248498 | 10568k| 3.1 | 182M| 51 | - | 146 | 30 | 146 | 18 | 22 | 205k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1433.54/1434.15 c 1310s| 3430k|248788 | 10599k| 3.1 | 183M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 206k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1437.44/1438.01 c 1313s| 3440k|248630 | 10629k| 3.1 | 183M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 206k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1441.24/1441.88 c 1317s| 3450k|248552 | 10658k| 3.1 | 183M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 207k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1445.13/1445.76 c 1320s| 3460k|248513 | 10689k| 3.1 | 183M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 207k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1449.04/1449.65 c 1324s| 3470k|248594 | 10721k| 3.1 | 183M| 51 | - | 146 | 34 | 0 | 0 | 22 | 208k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1452.93/1453.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.93/1453.50 c 1327s| 3480k|248623 | 10750k| 3.1 | 183M| 51 | - | 146 | 31 | 146 | 18 | 22 | 208k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1456.74/1457.34 c 1331s| 3490k|248623 | 10781k| 3.1 | 183M| 51 | - | 146 | 31 | 146 | 18 | 22 | 209k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1460.63/1461.24 c 1334s| 3500k|248388 | 10811k| 3.1 | 183M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 210k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1464.43/1465.08 c 1338s| 3510k|248375 | 10841k| 3.1 | 183M| 51 | - | 146 | 37 | 146 | 18 | 22 | 210k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1468.33/1468.93 c 1341s| 3520k|248167 | 10871k| 3.1 | 183M| 51 | - | 146 | 33 | 146 | 18 | 22 | 211k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1472.13/1472.79 c 1345s| 3530k|248046 | 10902k| 3.1 | 184M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 211k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1476.02/1476.67 c 1348s| 3540k|248252 | 10932k| 3.1 | 184M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 212k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1479.94/1480.52 c 1352s| 3550k|247980 | 10962k| 3.1 | 184M| 51 | - | 146 | 32 | 146 | 18 | 22 | 212k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1483.72/1484.39 c 1355s| 3560k|247573 | 10992k| 3.1 | 184M| 51 | - | 146 | 34 | 146 | 18 | 22 | 213k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1487.63/1488.30 c 1359s| 3570k|247499 | 11022k| 3.1 | 184M| 51 | - | 146 | 32 | 146 | 18 | 22 | 213k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1491.52/1492.14 c 1362s| 3580k|247325 | 11053k| 3.1 | 184M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 214k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1495.52/1496.10 c 1366s| 3590k|247544 | 11085k| 3.1 | 184M| 51 | - | 146 | 34 | 146 | 18 | 22 | 214k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1499.42/1500.00 c 1369s| 3600k|247584 | 11116k| 3.1 | 184M| 51 | 6 | 146 | 42 | 146 | 18 | 22 | 215k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1503.21/1503.85 c 1373s| 3610k|247538 | 11147k| 3.1 | 184M| 51 | - | 146 | 33 | 146 | 18 | 22 | 216k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1507.01/1507.65 c 1376s| 3620k|247730 | 11176k| 3.1 | 185M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 216k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1510.91/1511.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.91/1511.50 c 1380s| 3630k|247613 | 11205k| 3.1 | 185M| 51 | - | 146 | 35 | 146 | 18 | 22 | 217k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1514.71/1515.33 c 1383s| 3640k|247461 | 11235k| 3.1 | 185M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 217k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1518.61/1519.26 c 1387s| 3650k|249200 | 11266k| 3.1 | 186M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 218k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1522.41/1523.09 c 1390s| 3660k|250246 | 11297k| 3.1 | 186M| 51 | - | 146 | 33 | 146 | 18 | 22 | 218k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1526.31/1526.97 c 1394s| 3670k|251442 | 11329k| 3.1 | 187M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1530.21/1530.82 c 1398s| 3680k|252071 | 11359k| 3.1 | 188M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1534.11/1534.71 c 1401s| 3690k|252790 | 11390k| 3.1 | 188M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1537.90/1538.55 c 1405s| 3700k|253690 | 11420k| 3.1 | 189M| 51 | - | 146 | 34 | 146 | 18 | 22 | 220k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1541.70/1542.39 c 1408s| 3710k|254100 | 11450k| 3.1 | 189M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 220k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1545.61/1546.24 c 1412s| 3720k|254290 | 11480k| 3.1 | 189M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 221k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1549.50/1550.10 c 1415s| 3730k|254682 | 11511k| 3.1 | 190M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 221k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1553.29/1553.90 c 1418s| 3740k|255519 | 11543k| 3.1 | 190M| 51 | - | 146 | 31 | 0 | 0 | 22 | 222k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1557.00/1557.70 c 1422s| 3750k|255834 | 11573k| 3.1 | 191M| 51 | - | 146 | 32 | 146 | 18 | 22 | 222k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1560.89/1561.54 c 1425s| 3760k|256263 | 11604k| 3.1 | 191M| 51 | - | 146 | 30 | 146 | 18 | 22 | 223k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1564.70/1565.38 c 1429s| 3770k|256599 | 11634k| 3.1 | 191M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 223k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1568.59/1569.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.59/1569.26 c 1432s| 3780k|257135 | 11664k| 3.1 | 192M| 51 | - | 146 | 32 | 146 | 18 | 22 | 224k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1572.48/1573.18 c 1436s| 3790k|257779 | 11697k| 3.1 | 192M| 51 | - | 146 | 32 | 146 | 18 | 22 | 224k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1576.39/1577.04 c 1439s| 3800k|258662 | 11728k| 3.1 | 193M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 225k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1580.19/1580.89 c 1443s| 3810k|258991 | 11759k| 3.1 | 193M| 51 | - | 146 | 32 | 146 | 18 | 22 | 225k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1584.09/1584.74 c 1446s| 3820k|259083 | 11790k| 3.1 | 194M| 51 | - | 146 | 30 | 146 | 18 | 22 | 226k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1587.98/1588.62 c 1450s| 3830k|258959 | 11820k| 3.1 | 194M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 226k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1591.88/1592.50 c 1454s| 3840k|259405 | 11851k| 3.1 | 194M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 227k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1595.68/1596.39 c 1457s| 3850k|260038 | 11883k| 3.1 | 195M| 51 | - | 146 | 33 | 146 | 18 | 22 | 227k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1599.67/1600.37 c 1461s| 3860k|261635 | 11918k| 3.1 | 195M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1603.68/1604.30 c 1464s| 3870k|262893 | 11950k| 3.1 | 196M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1607.49/1608.16 c 1468s| 3880k|263832 | 11982k| 3.1 | 197M| 51 | - | 146 | 31 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1611.38/1612.03 c 1471s| 3890k|264354 | 12013k| 3.1 | 197M| 51 | - | 146 | 36 | 146 | 18 | 22 | 229k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1615.28/1615.95 c 1475s| 3900k|264930 | 12046k| 3.1 | 198M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 229k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1619.17/1619.83 c 1478s| 3910k|265472 | 12078k| 3.1 | 198M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 230k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1622.98/1623.68 c 1482s| 3920k|265888 | 12109k| 3.1 | 199M| 51 | - | 146 | 31 | 146 | 18 | 22 | 230k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1626.87/1627.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1626.87/1627.53 c 1485s| 3930k|266154 | 12140k| 3.1 | 199M| 51 | - | 146 | 33 | 0 | 0 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1630.77/1631.40 c 1489s| 3940k|266512 | 12171k| 3.1 | 199M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1634.56/1635.28 c 1492s| 3950k|266802 | 12203k| 3.1 | 200M| 51 | - | 146 | 34 | 146 | 18 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1638.46/1639.15 c 1496s| 3960k|266749 | 12235k| 3.1 | 200M| 51 | - | 146 | 33 | 146 | 18 | 22 | 232k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1642.37/1643.03 c 1499s| 3970k|266688 | 12266k| 3.1 | 200M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 232k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1646.26/1646.92 c 1503s| 3980k|266475 | 12296k| 3.1 | 200M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 233k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1650.16/1650.84 c 1507s| 3990k|266146 | 12327k| 3.1 | 200M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 233k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1654.06/1654.72 c 1510s| 4000k|265931 | 12357k| 3.1 | 200M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1657.85/1658.56 c 1514s| 4010k|266758 | 12388k| 3.1 | 201M| 51 | - | 146 | 33 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1661.65/1662.39 c 1517s| 4020k|267024 | 12417k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1665.56/1666.27 c 1521s| 4030k|266944 | 12447k| 3.1 | 201M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 235k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1669.45/1670.12 c 1524s| 4040k|266665 | 12476k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 235k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1673.35/1674.01 c 1528s| 4050k|266527 | 12506k| 3.1 | 201M| 51 | - | 146 | 32 | 146 | 18 | 22 | 236k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1677.25/1677.92 c 1531s| 4060k|266246 | 12536k| 3.1 | 201M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 236k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1681.05/1681.77 c 1535s| 4070k|266063 | 12565k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 237k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1684.95/1685.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.95/1685.61 c 1538s| 4080k|266321 | 12595k| 3.1 | 201M| 51 | - | 146 | 31 | 146 | 18 | 22 | 237k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1688.85/1689.51 c 1542s| 4090k|266147 | 12625k| 3.1 | 201M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 238k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1692.65/1693.37 c 1545s| 4100k|266169 | 12655k| 3.1 | 202M| 51 | - | 146 | 31 | 146 | 18 | 22 | 238k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1696.55/1697.20 c 1549s| 4110k|266262 | 12685k| 3.1 | 202M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 239k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1700.45/1701.10 c 1552s| 4120k|266039 | 12715k| 3.1 | 202M| 51 | - | 146 | 29 | 0 | 0 | 22 | 239k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1704.35/1705.08 c 1556s| 4130k|265405 | 12746k| 3.1 | 201M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 240k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1708.24/1708.99 c 1560s| 4140k|264860 | 12775k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 240k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1712.24/1712.90 c 1563s| 4150k|264247 | 12805k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 241k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1716.14/1716.81 c 1567s| 4160k|263687 | 12834k| 3.1 | 201M| 51 | - | 146 | 32 | 146 | 18 | 22 | 241k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1720.03/1720.71 c 1570s| 4170k|263235 | 12864k| 3.1 | 200M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 242k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1723.93/1724.64 c 1574s| 4180k|263076 | 12894k| 3.1 | 200M| 51 | - | 146 | 28 | 146 | 18 | 22 | 242k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1727.73/1728.48 c 1577s| 4190k|263230 | 12924k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 243k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1731.63/1732.34 c 1581s| 4200k|262902 | 12954k| 3.1 | 201M| 51 | - | 146 | 28 | 0 | 0 | 22 | 243k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1735.53/1736.27 c 1584s| 4210k|262033 | 12983k| 3.1 | 200M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 244k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1739.43/1740.19 c 1588s| 4220k|260887 | 13013k| 3.1 | 199M| 51 | - | 146 | 28 | 146 | 18 | 22 | 244k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1743.43/1744.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.43/1744.13 c 1592s| 4230k|259671 | 13042k| 3.1 | 198M| 51 | - | 146 | 31 | 146 | 18 | 22 | 245k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1747.33/1748.03 c 1595s| 4240k|259341 | 13073k| 3.1 | 198M| 51 | - | 146 | 29 | 146 | 18 | 22 | 245k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1751.22/1751.93 c 1599s| 4250k|258833 | 13104k| 3.1 | 198M| 51 | - | 146 | 29 | 146 | 18 | 22 | 246k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1755.03/1755.78 c 1602s| 4260k|258719 | 13134k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 246k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1758.92/1759.62 c 1606s| 4270k|259048 | 13163k| 3.1 | 198M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 247k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1762.72/1763.46 c 1609s| 4280k|258713 | 13192k| 3.1 | 198M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 247k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1766.62/1767.37 c 1613s| 4290k|258431 | 13223k| 3.1 | 198M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 248k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1770.51/1771.21 c 1616s| 4300k|258241 | 13253k| 3.1 | 198M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 248k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1774.31/1775.07 c 1620s| 4310k|258300 | 13283k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 249k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1778.21/1778.90 c 1623s| 4320k|258160 | 13314k| 3.1 | 198M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 249k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1782.01/1782.72 c 1627s| 4330k|257976 | 13343k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 250k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1785.81/1786.58 c 1630s| 4340k|257805 | 13374k| 3.1 | 198M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 250k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1789.71/1790.42 c 1634s| 4350k|257963 | 13403k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 251k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1793.61/1794.30 c 1637s| 4360k|257797 | 13433k| 3.1 | 198M| 51 | - | 146 | 34 | 146 | 18 | 22 | 251k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1797.41/1798.16 c 1641s| 4370k|258515 | 13463k| 3.1 | 199M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 252k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1643.00
1800.01/1800.71 c Solving Nodes : 4376717
1800.01/1800.71 c Primal Bound : +7.00000000000000e+00 (40 solutions)
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 s SATISFIABLE
1800.01/1800.71 v -x117 x146 -x145 -x144 -x143 x142 x141 x140 x139 -x138 x137 x136 -x135 -x134 -x133 x132 x131 x130 x129 -x128 x127 x126 x125 x124
1800.01/1800.71 v x123 -x122 -x121 x120 -x119 -x118 -x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.01/1800.71 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
1800.01/1800.71 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
1800.01/1800.71 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
1800.01/1800.71 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
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time : 1643.00
1800.01/1800.71 c Original Problem :
1800.01/1800.71 c Problem name : HOME/instance-2667087-1276602232.opb
1800.01/1800.71 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 12 initial, 12 maximal
1800.01/1800.71 c Presolved Problem :
1800.01/1800.71 c Problem name : t_HOME/instance-2667087-1276602232.opb
1800.01/1800.71 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 6 initial, 191 maximal
1800.01/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.71 c linear : 0.01 0 0 0 0 0 6 0 0
1800.01/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c root node : - 60 - - 60 - - - -
1800.01/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c integral : 0 0 0 2367234 0 467 14735 0 0 4704252
1800.01/1800.71 c linear : 6+ 7 5930557 1 0 790036 4973023 0 0 0
1800.01/1800.71 c logicor : 0+ 0 1136650 0 0 3654 81267 0 0 0
1800.01/1800.71 c countsols : 0 0 0 20 0 0 0 0 0 0
1800.01/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.71 c integral : 31.39 0.00 0.00 31.39 0.00
1800.01/1800.71 c linear : 395.18 0.00 395.18 0.00 0.00
1800.01/1800.71 c logicor : 2.72 0.00 2.72 0.00 0.00
1800.01/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.71 c vbounds : 3.13 2 0 0
1800.01/1800.71 c rootredcost : 2.92 35 0 60
1800.01/1800.71 c pseudoobj : 51.18 5939741 9366 668124
1800.01/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.71 c propagation : 47.78 802856 238382 274822 47.9 21 32.4 -
1800.01/1800.71 c infeasible LP : 1.20 14069 14057 23306 34.8 0 0.0 0
1800.01/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c pseudo solution : 0.00 10 10 10 2.0 0 0.0 -
1800.01/1800.71 c applied globally : - - - 7897 23.5 - - -
1800.01/1800.71 c applied locally : - - - 244726 47.5 - - -
1800.01/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.71 c cut pool : 0.00 5 - - 19 - (maximal pool size: 62)
1800.01/1800.71 c redcost : 81.68 3082491 0 15687542 0 0
1800.01/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.71 c intobj : 0.00 0 0 0 0 0
1800.01/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.71 c gomory : 0.00 6 0 0 0 0
1800.01/1800.71 c strongcg : 0.00 6 0 0 13 0
1800.01/1800.71 c cmir : 0.04 6 0 0 27 0
1800.01/1800.71 c flowcover : 0.03 6 0 0 35 0
1800.01/1800.71 c clique : 0.00 1 0 0 0 0
1800.01/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.71 c mcf : 0.00 1 0 0 0 0
1800.01/1800.71 c rapidlearning : 0.11 1 0 0 0 108
1800.01/1800.71 c Pricers : Time Calls Vars
1800.01/1800.71 c problem variables: 0.00 0 0
1800.01/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c relpscost : 28.27 2367214 467 14735 0 0 4704252
1800.01/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c random : 0.00 0 0 0 0 0 0
1800.01/1800.71 c Primal Heuristics : Time Calls Found
1800.01/1800.71 c LP solutions : 0.06 - 20
1800.01/1800.71 c pseudo solutions : 0.00 - 0
1800.01/1800.71 c oneopt : 2.82 33 0
1800.01/1800.71 c crossover : 11.28 14 2
1800.01/1800.71 c pscostdiving : 6.74 3267 3
1800.01/1800.71 c guideddiving : 5.14 3267 1
1800.01/1800.71 c fracdiving : 6.63 3267 2
1800.01/1800.71 c veclendiving : 5.31 3267 1
1800.01/1800.71 c objpscostdiving : 3.19 1634 0
1800.01/1800.71 c linesearchdiving : 5.44 3268 2
1800.01/1800.71 c coefdiving : 10.54 3268 3
1800.01/1800.71 c trivial : 0.00 2 0
1800.01/1800.71 c simplerounding : 2.09 0 0
1800.01/1800.71 c zirounding : 2.43 1000 0
1800.01/1800.71 c rounding : 3.53 23570 0
1800.01/1800.71 c shifting : 6.00 6597 0
1800.01/1800.71 c intshifting : 0.16 0 0
1800.01/1800.71 c twoopt : 0.00 0 0
1800.01/1800.71 c fixandinfer : 0.00 0 0
1800.01/1800.71 c feaspump : 0.48 2 0
1800.01/1800.71 c intdiving : 0.00 0 0
1800.01/1800.71 c actconsdiving : 0.00 0 0
1800.01/1800.71 c rootsoldiving : 4.93 1212 5
1800.01/1800.71 c octane : 0.00 0 0
1800.01/1800.71 c rens : 0.04 1 0
1800.01/1800.71 c rins : 0.00 0 0
1800.01/1800.71 c localbranching : 0.00 0 0
1800.01/1800.71 c mutation : 0.00 0 0
1800.01/1800.71 c dins : 0.00 0 0
1800.01/1800.71 c undercover : 0.00 0 0
1800.01/1800.71 c nlp : 1.84 0 0
1800.01/1800.71 c trysol : 3.20 0 0
1800.01/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.71 c dual LP : 570.98 4043297 13010294 3.22 22785.90
1800.01/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.71 c diving/probing LP: 20.95 179097 473019 2.64 22578.47
1800.01/1800.71 c strong branching : 6.42 30025 96987 3.23 15107.01
1800.01/1800.71 c (at root node) : - 9 581 64.56 -
1800.01/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.71 c B&B Tree :
1800.01/1800.71 c number of runs : 1
1800.01/1800.71 c nodes : 4376717
1800.01/1800.71 c nodes (total) : 4376717
1800.01/1800.71 c nodes left : 258728
1800.01/1800.71 c max depth : 51
1800.01/1800.71 c max depth (total): 51
1800.01/1800.71 c backtracks : 1059865 (24.2%)
1800.01/1800.71 c delayed cutoffs : 50504
1800.01/1800.71 c repropagations : 86248 (323269 domain reductions, 50229 cutoffs)
1800.01/1800.71 c avg switch length: 5.23
1800.01/1800.71 c switching time : 143.62
1800.01/1800.71 c Solution :
1800.01/1800.71 c Solutions found : 40 (35 improvements)
1800.01/1800.71 c First Solution : +7.57000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.01/1800.71 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2787976 nodes, 1081.78 seconds, depth 35, found by <relaxation>)
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Root Iterations : 118
1801.41/1802.10 c Time complete: 1801.41.
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667087-1276602232/watcher-2667087-1276602232 -o /tmp/evaluation-result-2667087-1276602232/solver-2667087-1276602232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667087-1276602232.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: 1.01 1.02 1.00 3/106 3616 /proc/meminfo: memFree=1838584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=7724 CPUtime=0 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 1085 0 0 0 0 0 0 0 20 0 1 0 35824565 7909376 1004 1992294400 4194304 8223781 140736149791136 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3616/statm: 1931 1013 348 984 0 944 0 [startup+0.083103 s] /proc/loadavg: 1.01 1.02 1.00 3/106 3616 /proc/meminfo: memFree=1838584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=20448 CPUtime=0.08 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 4857 0 0 0 6 2 0 0 20 0 1 0 35824565 20938752 3887 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 5112 3887 565 984 0 4125 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20448 [startup+0.101105 s] /proc/loadavg: 1.01 1.02 1.00 3/106 3616 /proc/meminfo: memFree=1838584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=20620 CPUtime=0.09 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 4879 0 0 0 7 2 0 0 20 0 1 0 35824565 21114880 3909 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 5155 3909 565 984 0 4168 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20620 [startup+0.301139 s] /proc/loadavg: 1.01 1.02 1.00 3/106 3616 /proc/meminfo: memFree=1838584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=14592 CPUtime=0.29 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 8040 0 0 0 25 4 0 0 20 0 1 0 35824565 14942208 2824 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 3648 2824 587 984 0 2661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14592 [startup+0.701208 s] /proc/loadavg: 1.01 1.02 1.00 3/106 3616 /proc/meminfo: memFree=1838584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=14592 CPUtime=0.69 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 8041 0 0 0 62 7 0 0 21 0 1 0 35824565 14942208 2825 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 3648 2825 588 984 0 2661 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14592 [startup+1.50035 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1828780/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=14592 CPUtime=1.49 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 11057 0 0 0 133 16 0 0 22 0 1 0 35824565 14942208 2827 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 3648 2827 589 984 0 2661 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14592 [startup+3.10062 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1828532/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=15592 CPUtime=3.09 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 13899 0 0 0 277 32 0 0 25 0 1 0 35824565 15966208 3085 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 3898 3085 589 984 0 2911 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15592 [startup+6.30017 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1826052/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=17592 CPUtime=6.28 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 16256 0 0 0 571 57 0 0 25 0 1 0 35824565 18014208 3596 1992294400 4194304 8223781 140736149791136 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 4398 3596 589 984 0 3411 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17592 [startup+12.7013 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1822332/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=21676 CPUtime=12.69 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 22948 0 0 0 1161 108 0 0 25 0 1 0 35824565 22196224 4643 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 5419 4643 589 984 0 4432 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21676 [startup+25.5015 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1814272/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=29076 CPUtime=25.48 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 35412 0 0 0 2329 219 0 0 25 0 1 0 35824565 29773824 6535 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 7269 6535 589 984 0 6282 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29076 [startup+51.1019 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3617 /proc/meminfo: memFree=1803112/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=39748 CPUtime=51.07 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 57574 0 0 0 4665 442 0 0 25 0 1 0 35824565 40701952 9266 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 9937 9266 591 984 0 8950 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39748 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3619 /proc/meminfo: memFree=1787736/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=54836 CPUtime=102.27 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 71140 0 0 0 9354 873 0 0 25 0 1 0 35824565 56152064 13121 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 13709 13121 591 984 0 12722 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54836 [startup+162.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 3621 /proc/meminfo: memFree=1778188/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=73628 CPUtime=162.23 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 76685 0 0 0 14850 1373 0 0 25 0 1 0 35824565 75395072 17020 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 18407 17020 591 984 0 17420 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 73628 [startup+222.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 3623 /proc/meminfo: memFree=1776452/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=67508 CPUtime=222.22 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 90826 0 0 0 20307 1915 0 0 25 0 1 0 35824565 69128192 15829 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 16877 15829 591 984 0 15890 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 67508 [startup+282.301 s] /proc/loadavg: 1.05 1.03 1.00 2/107 3623 /proc/meminfo: memFree=1775584/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=68480 CPUtime=282.19 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 91676 0 0 0 25787 2432 0 0 25 0 1 0 35824565 70123520 16072 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 17120 16072 591 984 0 16133 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 68480 [startup+342.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 3625 /proc/meminfo: memFree=1772360/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=71460 CPUtime=342.17 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 93044 0 0 0 31269 2948 0 0 25 0 1 0 35824565 73175040 16833 1992294400 4194304 8223781 140736149791136 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 17865 16833 591 984 0 16878 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 71460 [startup+402.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 3627 /proc/meminfo: memFree=1761076/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=82844 CPUtime=402.14 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 95959 0 0 0 36750 3464 0 0 25 0 1 0 35824565 84832256 19748 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 20711 19748 591 984 0 19724 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 82844 [startup+462.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 3629 /proc/meminfo: memFree=1744708/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=98272 CPUtime=462.12 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 99915 0 0 0 42239 3973 0 0 25 0 1 0 35824565 100630528 23704 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 24568 23704 591 984 0 23581 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 98272 [startup+522.301 s] /proc/loadavg: 1.05 1.05 1.00 2/107 3631 /proc/meminfo: memFree=1730820/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=111884 CPUtime=522.09 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 103965 0 0 0 47717 4492 0 0 25 0 1 0 35824565 114569216 27151 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 27971 27151 591 984 0 26984 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 111884 [startup+582.301 s] /proc/loadavg: 1.02 1.04 1.00 2/107 3631 /proc/meminfo: memFree=1719784/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=122500 CPUtime=582.08 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 106690 0 0 0 53200 5008 0 0 25 0 1 0 35824565 125440000 29876 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 30625 29876 591 984 0 29638 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 122500 [startup+642.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 3633 /proc/meminfo: memFree=1709120/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=132720 CPUtime=642.05 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 109308 0 0 0 58688 5517 0 0 25 0 1 0 35824565 135905280 32494 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 33180 32494 591 984 0 32193 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 132720 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3654 /proc/meminfo: memFree=1652080/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=192248 CPUtime=1061.88 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 126592 0 0 0 97076 9112 0 0 25 0 1 0 35824565 196861952 46572 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 48062 46572 591 984 0 47075 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 192248 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3656 /proc/meminfo: memFree=1647120/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=197184 CPUtime=1121.86 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 127815 0 0 0 102569 9617 0 0 25 0 1 0 35824565 201916416 47795 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 49296 47795 591 984 0 48309 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 197184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3656 /proc/meminfo: memFree=1640672/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=203836 CPUtime=1181.84 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 129512 0 0 0 108061 10123 0 0 25 0 1 0 35824565 208728064 49492 1992294400 4194304 8223781 140736149791136 18446744073709551615 5814121 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 50959 49492 591 984 0 49972 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 203836 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3658 /proc/meminfo: memFree=1637944/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=205848 CPUtime=1241.81 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 139911 0 0 0 113508 10673 0 0 25 0 1 0 35824565 210788352 50012 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 51462 50012 591 984 0 50475 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 205848 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3660 /proc/meminfo: memFree=1634720/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=208756 CPUtime=1301.79 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 141247 0 0 0 118960 11219 0 0 25 0 1 0 35824565 213766144 50748 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 52189 50748 591 984 0 51202 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 208756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3662 /proc/meminfo: memFree=1630876/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=212572 CPUtime=1361.77 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 142813 0 0 0 124417 11760 0 0 25 0 1 0 35824565 217673728 51714 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 53143 51714 591 984 0 52156 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 212572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3664 /proc/meminfo: memFree=1627776/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=215616 CPUtime=1421.75 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 143582 0 0 0 129883 12292 0 0 25 0 1 0 35824565 220790784 52483 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 53904 52483 591 984 0 52917 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 215616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3664 /proc/meminfo: memFree=1625916/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=217220 CPUtime=1481.73 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 143982 0 0 0 135338 12835 0 0 25 0 1 0 35824565 222433280 52883 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 54305 52883 591 984 0 53318 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 217220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3666 /proc/meminfo: memFree=1621576/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=221552 CPUtime=1541.7 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 145689 0 0 0 140794 13376 0 0 25 0 1 0 35824565 226869248 53989 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 55388 53989 591 984 0 54401 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 221552 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3668 /proc/meminfo: memFree=1615624/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=227380 CPUtime=1601.67 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 147178 0 0 0 146249 13918 0 0 25 0 1 0 35824565 232837120 55478 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 56845 55478 591 984 0 55858 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 227380 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3670 /proc/meminfo: memFree=1610044/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=232712 CPUtime=1661.65 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148527 0 0 0 151709 14456 0 0 25 0 1 0 35824565 238297088 56827 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 58178 56827 591 984 0 57191 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 232712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3672 /proc/meminfo: memFree=1608556/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=234004 CPUtime=1721.64 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148850 0 0 0 157167 14997 0 0 25 0 1 0 35824565 239620096 57150 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 58501 57150 591 984 0 57514 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 234004 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3672 /proc/meminfo: memFree=1608308/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=234004 CPUtime=1781.61 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148850 0 0 0 162622 15539 0 0 25 0 1 0 35824565 239620096 57150 1992294400 4194304 8223781 140736149791136 18446744073709551615 4981620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 58501 57150 591 984 0 57514 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 234004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3674 /proc/meminfo: memFree=1608308/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=234004 CPUtime=1800.01 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148850 0 0 0 164300 15701 0 0 25 0 1 0 35824565 239620096 57150 1992294400 4194304 8223781 140736149791136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3616/statm: 58501 57150 591 984 0 57514 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 234004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3674 /proc/meminfo: memFree=1608308/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=234004 CPUtime=1800.7 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148852 0 0 0 164369 15701 0 0 25 0 1 0 35824565 239620096 57152 1992294400 4194304 8223781 140736149791136 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3616/statm: 58501 57152 593 984 0 57514 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 234004 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3675 /proc/meminfo: memFree=1608300/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=234004 CPUtime=1801.11 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148852 0 0 0 164410 15701 0 0 25 0 1 0 35824565 239620096 57152 1992294400 4194304 8223781 140736149791136 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3616/statm: 58501 57152 593 984 0 57514 0 Current children cumulated CPU time (s) 1801.11 Current children cumulated vsize (KiB) 234004 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3675 /proc/meminfo: memFree=1608300/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=233424 CPUtime=1801.3 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148852 0 0 0 164429 15701 0 0 25 0 1 0 35824565 239026176 57008 1992294400 4194304 8223781 140736149791136 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3616/statm: 58356 57008 593 984 0 57369 0 Current children cumulated CPU time (s) 1801.3 Current children cumulated vsize (KiB) 233424 [startup+1802.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3675 /proc/meminfo: memFree=1608300/2059040 swapFree=4136120/4192956 [pid=3616] ppid=3614 vsize=40716 CPUtime=1801.41 /proc/3616/stat : 3616 (pbscip.linux.x8) R 3614 3616 3591 0 -1 4202496 148852 0 0 0 164437 15704 0 0 25 0 1 0 35824565 41693184 9553 1992294400 4194304 8223781 140736149791136 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3616/statm: 10088 9535 593 984 0 9101 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 40716 Child status: 0 Real time (s): 1802.11 CPU time (s): 1801.42 CPU user time (s): 1644.37 CPU system time (s): 157.047 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 234004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1644.37 system time used= 157.047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148856 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 5880 runsolver used 3.15152 second user time and 8.36573 second system time The end
Begin job on node014 at 2010-06-15 13:43:52 IDJOB=2667087 IDBENCH=2908 IDSOLVER=1169 FILE ID=node014/2667087-1276602232 PBS_JOBID= 11172259 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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_2.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-2667087-1276602232/watcher-2667087-1276602232 -o /tmp/evaluation-result-2667087-1276602232/solver-2667087-1276602232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667087-1276602232.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=661305002 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1838988 kB Buffers: 31284 kB Cached: 101016 kB SwapCached: 11120 kB Active: 92656 kB Inactive: 54120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1838988 kB SwapTotal: 4192956 kB SwapFree: 4136120 kB Dirty: 4520 kB Writeback: 0 kB AnonPages: 12424 kB Mapped: 9352 kB Slab: 51464 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183216 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= 62568 MiB End job on node014 at 2010-06-15 14:13:55