Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 14 | 1792.37 | 1792.94 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1792.37 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703924-1278562803.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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, 7 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/172 (58.7%) - 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, 7 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 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 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.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 38 | - | 565k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 436
0.09/0.15 c y 0.1s| 1 | 0 | 82 | - | 619k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 89 | - | 746k| 0 | 11 | 172 | 97 | 172 | 12 | 5 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 104 | - | 814k| 0 | 16 | 172 | 97 | 172 | 18 | 11 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 114 | - | 846k| 0 | 17 | 172 | 97 | 172 | 22 | 15 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 129 | - | 870k| 0 | 19 | 172 | 97 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 132 | - | 882k| 0 | 20 | 172 | 97 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.27 c 0.3s| 1 | 0 | 156 | - | 888k| 0 | 19 | 172 | 97 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.30/0.34 c 0.3s| 1 | 2 | 156 | - | 889k| 0 | 19 | 172 | 97 | 172 | 31 | 24 | 0 | 9 | 0.000000e+00 | 4.360000e+02 | Inf
0.50/0.50 o 174
0.50/0.50 c f 0.5s| 45 | 46 | 668 | 11.6 | 991k| 31 | - | 172 | 97 | 172 | 19 | 24 | 3 | 239 | 0.000000e+00 | 1.740000e+02 | Inf
1.00/1.00 o 173
1.00/1.00 c * 1.0s| 456 | 445 | 3582 | 7.5 |1187k| 46 | - | 172 | 99 | 172 | 19 | 24 | 22 | 498 | 0.000000e+00 | 1.730000e+02 | Inf
2.39/2.44 o 131
2.39/2.44 c g 2.4s| 2232 | 2205 | 13925 | 6.2 |2037k| 58 | - | 172 | 102 | 172 | 19 | 24 | 91 | 644 | 0.000000e+00 | 1.310000e+02 | Inf
5.49/5.53 o 130
5.49/5.53 c l 5.5s| 5481 | 5451 | 31627 | 5.7 |3596k| 58 | - | 172 | 102 | 172 | 19 | 24 | 214 | 697 | 0.000000e+00 | 1.300000e+02 | Inf
5.49/5.53 o 128
5.49/5.53 c g 5.5s| 5481 | 5450 | 31627 | 5.7 |3601k| 58 | - | 172 | 102 | 172 | 19 | 24 | 215 | 697 | 0.000000e+00 | 1.280000e+02 | Inf
8.09/8.10 o 123
8.09/8.10 c g 8.1s| 9049 | 8958 | 52250 | 5.8 |5147k| 58 | - | 172 | 19 | 172 | 19 | 24 | 377 | 823 | 0.000000e+00 | 1.230000e+02 | Inf
8.80/8.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.80/8.85 c 8.8s| 10000 | 9899 | 58214 | 5.8 |5537k| 58 | 7 | 172 | 20 | 172 | 19 | 24 | 429 | 857 | 0.000000e+00 | 1.230000e+02 | Inf
10.58/10.70 o 121
10.58/10.70 c *10.7s| 11407 | 11277 | 67798 | 5.9 |6116k| 58 | - | 172 | 22 | 172 | 19 | 24 | 496 | 918 | 0.000000e+00 | 1.210000e+02 | Inf
10.69/10.70 o 119
10.69/10.70 c *10.7s| 11408 | 11270 | 67798 | 5.9 |6107k| 58 | - | 172 | 22 | 172 | 19 | 24 | 496 | 918 | 0.000000e+00 | 1.190000e+02 | Inf
11.09/11.11 o 117
11.09/11.11 c *11.1s| 11904 | 11746 | 71252 | 6.0 |6313k| 58 | - | 172 | 22 | 172 | 19 | 24 | 518 | 953 | 0.000000e+00 | 1.170000e+02 | Inf
14.59/14.62 o 116
14.59/14.62 c *14.6s| 16603 | 16338 | 96612 | 5.8 |8299k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1161 | 0.000000e+00 | 1.160000e+02 | Inf
14.59/14.62 o 114
14.59/14.62 c *14.6s| 16605 | 16331 | 96612 | 5.8 |8285k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1165 | 0.000000e+00 | 1.140000e+02 | Inf
14.59/14.62 o 112
14.59/14.62 c *14.6s| 16606 | 16322 | 96612 | 5.8 |8277k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1165 | 0.000000e+00 | 1.120000e+02 | Inf
14.59/14.63 o 110
14.59/14.63 c *14.6s| 16611 | 16309 | 96649 | 5.8 |8260k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1171 | 0.000000e+00 | 1.100000e+02 | Inf
14.59/14.63 o 108
14.59/14.63 c *14.6s| 16612 | 16306 | 96649 | 5.8 |8257k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1171 | 0.000000e+00 | 1.080000e+02 | Inf
16.68/16.79 c 16.8s| 20000 | 19604 |114091 | 5.7 |9698k| 58 | 7 | 172 | 32 | 172 | 19 | 24 | 749 |1327 | 0.000000e+00 | 1.080000e+02 | Inf
18.59/18.65 o 106
18.59/18.65 c *18.6s| 22921 | 22400 |129198 | 5.6 | 10M| 58 | - | 172 | 31 | 172 | 19 | 24 | 834 |1443 | 0.000000e+00 | 1.060000e+02 | Inf
21.49/21.56 o 104
21.49/21.56 c *21.5s| 26211 | 25559 |145876 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 | 930 |1557 | 0.000000e+00 | 1.040000e+02 | Inf
22.08/22.11 o 103
22.08/22.11 c f22.1s| 27059 | 26351 |150282 | 5.5 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 | 960 |1611 | 0.000000e+00 | 1.030000e+02 | Inf
22.59/22.60 o 102
22.59/22.60 c *22.6s| 27659 | 26908 |154012 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1005 |1634 | 0.000000e+00 | 1.020000e+02 | Inf
22.59/22.61 o 100
22.59/22.61 c *22.6s| 27661 | 26890 |154012 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1005 |1636 | 0.000000e+00 | 1.000000e+02 | Inf
22.68/22.76 o 99
22.68/22.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.68/22.76 c *22.7s| 27801 | 27010 |155190 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1017 |1654 | 0.000000e+00 | 9.900000e+01 | Inf
22.68/22.76 o 97
22.68/22.76 c *22.7s| 27803 | 26992 |155190 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1017 |1654 | 0.000000e+00 | 9.700000e+01 | Inf
22.68/22.80 o 96
22.68/22.80 c *22.8s| 27834 | 26988 |155425 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1021 |1659 | 0.000000e+00 | 9.600000e+01 | Inf
22.78/22.88 o 94
22.78/22.88 c *22.9s| 27919 | 27031 |156009 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1027 |1661 | 0.000000e+00 | 9.400000e+01 | Inf
22.99/23.01 o 92
22.99/23.01 c l23.0s| 28081 | 27157 |157010 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1040 |1663 | 0.000000e+00 | 9.200000e+01 | Inf
24.38/24.49 c 24.5s| 30000 | 28903 |168998 | 5.6 | 13M| 58 | 7 | 172 | 26 | 172 | 19 | 24 |1114 |1792 | 0.000000e+00 | 9.200000e+01 | Inf
25.08/25.18 o 91
25.08/25.18 c *25.2s| 31056 | 29854 |174380 | 5.6 | 14M| 58 | - | 172 | 24 | 172 | 19 | 24 |1139 |1838 | 0.000000e+00 | 9.100000e+01 | Inf
28.28/28.33 o 89
28.28/28.33 c *28.3s| 34998 | 33477 |194511 | 5.6 | 16M| 58 | - | 172 | 23 | 172 | 19 | 24 |1264 |1994 | 0.000000e+00 | 8.900000e+01 | Inf
29.09/29.15 o 88
29.09/29.15 c *29.1s| 36281 | 34613 |200754 | 5.5 | 16M| 58 | - | 172 | 23 | 172 | 19 | 24 |1311 |2043 | 0.000000e+00 | 8.800000e+01 | Inf
29.09/29.15 o 86
29.09/29.15 c *29.1s| 36282 | 34580 |200754 | 5.5 | 16M| 58 | - | 172 | 23 | 172 | 19 | 24 |1311 |2043 | 0.000000e+00 | 8.600000e+01 | Inf
29.98/30.03 o 84
29.98/30.03 c *30.0s| 37575 | 35649 |207743 | 5.5 | 17M| 58 | - | 172 | 26 | 172 | 19 | 24 |1351 |2123 | 0.000000e+00 | 8.400000e+01 | Inf
31.48/31.56 o 83
31.48/31.56 c *31.5s| 39880 | 37709 |219561 | 5.5 | 18M| 58 | - | 172 | 24 | 172 | 19 | 24 |1421 |2219 | 0.000000e+00 | 8.300000e+01 | Inf
31.58/31.64 c 31.6s| 40000 | 37823 |220254 | 5.5 | 18M| 58 | 7 | 172 | 24 | 172 | 19 | 24 |1426 |2220 | 0.000000e+00 | 8.300000e+01 | Inf
33.18/33.24 o 82
33.18/33.24 c f33.2s| 42427 | 39909 |232545 | 5.5 | 19M| 58 | - | 172 | 22 | 172 | 19 | 24 |1514 |2345 | 0.000000e+00 | 8.200000e+01 | Inf
33.89/33.95 o 81
33.89/33.95 c f33.9s| 43148 | 40497 |237520 | 5.5 | 19M| 58 | - | 172 | 23 | 172 | 19 | 24 |1587 |2376 | 0.000000e+00 | 8.100000e+01 | Inf
38.48/38.51 o 80
38.48/38.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.48/38.51 c g38.5s| 49410 | 45812 |272465 | 5.5 | 22M| 58 | - | 172 | 22 | 172 | 19 | 24 |1908 |2609 | 0.000000e+00 | 8.000000e+01 | Inf
38.97/39.06 c 39.1s| 50000 | 46331 |276919 | 5.5 | 22M| 58 | 7 | 172 | 22 | 172 | 19 | 24 |1946 |2636 | 0.000000e+00 | 8.000000e+01 | Inf
40.97/41.06 o 78
40.97/41.06 c *41.0s| 52880 | 48668 |292609 | 5.5 | 23M| 58 | - | 172 | 25 | 172 | 19 | 24 |2074 |2764 | 0.000000e+00 | 7.800000e+01 | Inf
41.37/41.43 o 77
41.37/41.43 c *41.4s| 53400 | 49027 |295388 | 5.5 | 24M| 58 | - | 172 | 24 | 172 | 19 | 24 |2095 |2785 | 0.000000e+00 | 7.700000e+01 | Inf
41.37/41.43 o 75
41.37/41.43 c *41.4s| 53402 | 48930 |295391 | 5.5 | 23M| 58 | - | 172 | 24 | 172 | 19 | 24 |2095 |2793 | 0.000000e+00 | 7.500000e+01 | Inf
41.97/42.00 o 58
41.97/42.00 c g42.0s| 54187 | 47343 |299545 | 5.5 | 22M| 58 | - | 172 | 24 | 172 | 19 | 24 |2120 |2808 | 0.000000e+00 | 5.800000e+01 | Inf
45.97/46.03 o 56
45.97/46.03 c *46.0s| 59945 | 51672 |332119 | 5.5 | 25M| 58 | - | 172 | 32 | 172 | 19 | 24 |2370 |3129 | 0.000000e+00 | 5.600000e+01 | Inf
45.97/46.07 c 46.1s| 60000 | 51715 |332431 | 5.5 | 25M| 58 | 7 | 172 | 32 | 172 | 19 | 24 |2372 |3130 | 0.000000e+00 | 5.600000e+01 | Inf
52.47/52.56 c 52.6s| 70000 | 59399 |383521 | 5.5 | 29M| 58 | 7 | 172 | 36 | 172 | 19 | 24 |2824 |3540 | 0.000000e+00 | 5.600000e+01 | Inf
54.87/54.99 o 55
54.87/54.99 c *55.0s| 73805 | 62127 |402642 | 5.5 | 31M| 58 | - | 172 | 37 | 172 | 19 | 24 |2990 |3683 | 0.000000e+00 | 5.500000e+01 | Inf
55.16/55.20 o 54
55.16/55.20 c *55.2s| 74119 | 62185 |404090 | 5.4 | 31M| 58 | - | 172 | 37 | 172 | 19 | 24 |3015 |3705 | 0.000000e+00 | 5.400000e+01 | Inf
58.97/59.00 c 59.0s| 80000 | 66608 |434620 | 5.4 | 33M| 58 | 7 | 172 | 37 | 172 | 19 | 24 |3267 |3890 | 0.000000e+00 | 5.400000e+01 | Inf
63.66/63.77 o 52
63.66/63.77 c *63.8s| 87224 | 71141 |472714 | 5.4 | 36M| 58 | - | 172 | 38 | 172 | 19 | 24 |3713 |4171 | 0.000000e+00 | 5.200000e+01 | Inf
63.66/63.78 o 50
63.66/63.78 c *63.8s| 87225 | 70572 |472714 | 5.4 | 35M| 58 | - | 172 | 38 | 172 | 19 | 24 |3713 |4171 | 0.000000e+00 | 5.000000e+01 | Inf
65.46/65.54 c 65.5s| 90000 | 72466 |486637 | 5.4 | 37M| 58 | 7 | 172 | 35 | 172 | 19 | 24 |3855 |4250 | 0.000000e+00 | 5.000000e+01 | Inf
71.47/71.51 o 49
71.47/71.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.47/71.51 c *71.5s| 96659 | 76575 |521602 | 5.4 | 39M| 58 | - | 172 | 35 | 172 | 19 | 24 |4249 |4427 | 0.000000e+00 | 4.900000e+01 | Inf
71.47/71.52 o 47
71.47/71.52 c *71.5s| 96661 | 75238 |521604 | 5.4 | 38M| 58 | - | 172 | 35 | 172 | 19 | 24 |4249 |4428 | 0.000000e+00 | 4.700000e+01 | Inf
73.67/73.72 c 73.7s|100000 | 77301 |539294 | 5.4 | 40M| 58 | 7 | 172 | 32 | 172 | 19 | 24 |4455 |4518 | 0.000000e+00 | 4.700000e+01 | Inf
81.65/81.78 c 81.8s|110000 | 83461 |592380 | 5.4 | 44M| 58 | 7 | 172 | 35 | 172 | 19 | 24 |5002 |4757 | 0.000000e+00 | 4.700000e+01 | Inf
85.85/85.93 o 46
85.85/85.93 c *85.9s|116489 | 87622 |626281 | 5.4 | 47M| 58 | - | 172 | 40 | 172 | 19 | 24 |5338 |4913 | 0.000000e+00 | 4.600000e+01 | Inf
85.85/85.94 o 44
85.85/85.94 c *85.9s|116491 | 86793 |626283 | 5.4 | 46M| 58 | - | 172 | 40 | 172 | 19 | 24 |5338 |4915 | 0.000000e+00 | 4.400000e+01 | Inf
85.85/85.96 o 42
85.85/85.96 c *86.0s|116515 | 85796 |626405 | 5.4 | 45M| 58 | - | 172 | 40 | 172 | 19 | 24 |5340 |4916 | 0.000000e+00 | 4.200000e+01 | Inf
85.85/85.97 o 40
85.85/85.97 c *86.0s|116523 | 84677 |626437 | 5.4 | 44M| 58 | - | 172 | 40 | 172 | 19 | 24 |5340 |4919 | 0.000000e+00 | 4.000000e+01 | Inf
85.85/85.99 o 38
85.85/85.99 c *86.0s|116530 | 83555 |626471 | 5.4 | 43M| 58 | - | 172 | 40 | 172 | 19 | 24 |5342 |4921 | 0.000000e+00 | 3.800000e+01 | Inf
85.96/86.00 o 36
85.96/86.00 c *86.0s|116533 | 82430 |626486 | 5.4 | 42M| 59 | - | 172 | 40 | 172 | 19 | 24 |5342 |4923 | 0.000000e+00 | 3.600000e+01 | Inf
85.96/86.01 o 34
85.96/86.01 c *86.0s|116535 | 81195 |626487 | 5.4 | 41M| 60 | - | 172 | 40 | 172 | 19 | 24 |5342 |4923 | 0.000000e+00 | 3.400000e+01 | Inf
85.96/86.05 o 32
85.96/86.05 c *86.0s|116577 | 73147 |626660 | 5.4 | 36M| 64 | - | 172 | 40 | 172 | 19 | 24 |5347 |4932 | 0.000000e+00 | 3.200000e+01 | Inf
85.96/86.06 o 30
85.96/86.06 c *86.0s|116578 | 72244 |626660 | 5.4 | 35M| 64 | - | 172 | 40 | 172 | 19 | 24 |5347 |4932 | 0.000000e+00 | 3.000000e+01 | Inf
85.96/86.09 o 28
85.96/86.09 c v86.1s|116615 | 71285 |626778 | 5.4 | 34M| 67 | - | 172 | 32 | 172 | 19 | 24 |5353 |4937 | 0.000000e+00 | 2.800000e+01 | Inf
85.96/86.09 o 26
85.96/86.09 c g86.1s|116615 | 70248 |626778 | 5.4 | 34M| 67 | - | 172 | 32 | 172 | 19 | 24 |5354 |4937 | 0.000000e+00 | 2.600000e+01 | Inf
88.35/88.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.35/88.42 c 88.4s|120000 | 71888 |642510 | 5.4 | 35M| 67 | 7 | 172 | 35 | 172 | 19 | 24 |5540 |4977 | 0.000000e+00 | 2.600000e+01 | Inf
91.65/91.71 o 14
91.65/91.71 c C91.7s|125672 | 65294 |669220 | 5.3 | 30M| 67 | - | 172 | 34 | 172 | 19 | 24 |5832 |5091 | 0.000000e+00 | 1.400000e+01 | Inf
94.96/95.00 c 95.0s|130000 | 66810 |687422 | 5.3 | 31M| 67 | 7 | 172 | 38 | 172 | 19 | 24 |6003 |5200 | 0.000000e+00 | 1.400000e+01 | Inf
99.85/99.94 c 99.9s|140000 | 70391 |728769 | 5.2 | 33M| 67 | 7 | 172 | 56 | 172 | 19 | 24 |6334 |5368 | 0.000000e+00 | 1.400000e+01 | Inf
104.75/104.86 c 105s|150000 | 73581 |770234 | 5.1 | 35M| 67 | 7 | 172 | 61 | 172 | 19 | 24 |6686 |5574 | 0.000000e+00 | 1.400000e+01 | Inf
109.54/109.68 c 110s|160000 | 76180 |811110 | 5.1 | 37M| 67 | 7 | 172 | 60 | 172 | 19 | 24 |7012 |5741 | 0.000000e+00 | 1.400000e+01 | Inf
114.35/114.46 c 114s|170000 | 79021 |851170 | 5.0 | 38M| 67 | 7 | 172 | 65 | 172 | 19 | 24 |7379 |5915 | 0.000000e+00 | 1.400000e+01 | Inf
119.14/119.20 c 119s|180000 | 81647 |890307 | 4.9 | 40M| 67 | 7 | 172 | 60 | 172 | 19 | 24 |7676 |6066 | 0.000000e+00 | 1.400000e+01 | Inf
123.74/123.86 c 124s|190000 | 83670 |929797 | 4.9 | 41M| 67 | 7 | 172 | 59 | 172 | 19 | 24 |7947 |6221 | 0.000000e+00 | 1.400000e+01 | Inf
128.44/128.51 c 128s|200000 | 85727 |969521 | 4.8 | 43M| 67 | - | 172 | 55 | 0 | 0 | 24 |8270 |6370 | 0.000000e+00 | 1.400000e+01 | Inf
132.94/133.07 c 133s|210000 | 87773 | 1006k| 4.8 | 44M| 67 | 7 | 172 | 66 | 172 | 19 | 24 |8592 |6506 | 0.000000e+00 | 1.400000e+01 | Inf
137.53/137.65 c 138s|220000 | 89457 | 1045k| 4.8 | 45M| 67 | - | 172 | 60 | 172 | 19 | 24 |8924 |6646 | 0.000000e+00 | 1.400000e+01 | Inf
142.34/142.42 c 142s|230000 | 92305 | 1085k| 4.7 | 47M| 67 | - | 172 | 58 | 172 | 19 | 24 |9228 |6781 | 0.000000e+00 | 1.400000e+01 | Inf
148.93/149.06 c 149s|240000 | 94768 | 1124k| 4.7 | 49M| 67 | 7 | 172 | 50 | 172 | 19 | 24 |9542 |6920 | 0.000000e+00 | 1.400000e+01 | Inf
153.53/153.66 c 154s|250000 | 96884 | 1162k| 4.6 | 50M| 67 | 7 | 172 | 50 | 172 | 19 | 24 |9837 |7072 | 0.000000e+00 | 1.400000e+01 | Inf
158.24/158.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.24/158.32 c 158s|260000 | 99739 | 1201k| 4.6 | 52M| 67 | 7 | 172 | 41 | 172 | 19 | 24 | 10k|7202 | 0.000000e+00 | 1.400000e+01 | Inf
162.74/162.88 c 163s|270000 |102080 | 1240k| 4.6 | 53M| 67 | - | 172 | 54 | 172 | 19 | 24 | 10k|7331 | 0.000000e+00 | 1.400000e+01 | Inf
167.33/167.43 c 167s|280000 |104255 | 1279k| 4.6 | 55M| 67 | 7 | 172 | 44 | 172 | 19 | 24 | 10k|7477 | 0.000000e+00 | 1.400000e+01 | Inf
171.93/172.01 c 172s|290000 |106677 | 1318k| 4.5 | 56M| 67 | - | 172 | 41 | 172 | 19 | 24 | 11k|7596 | 0.000000e+00 | 1.400000e+01 | Inf
176.43/176.52 c 177s|300000 |108977 | 1356k| 4.5 | 58M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 11k|7739 | 0.000000e+00 | 1.400000e+01 | Inf
180.82/180.91 c 181s|310000 |110672 | 1392k| 4.5 | 59M| 67 | - | 172 | 37 | 172 | 19 | 24 | 11k|7864 | 0.000000e+00 | 1.400000e+01 | Inf
185.22/185.32 c 185s|320000 |112483 | 1430k| 4.5 | 60M| 67 | 7 | 172 | 43 | 172 | 19 | 24 | 11k|7985 | 0.000000e+00 | 1.400000e+01 | Inf
189.72/189.89 c 190s|330000 |114644 | 1469k| 4.5 | 62M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 12k|8111 | 0.000000e+00 | 1.400000e+01 | Inf
194.32/194.46 c 194s|340000 |116522 | 1508k| 4.4 | 63M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 12k|8261 | 0.000000e+00 | 1.400000e+01 | Inf
198.93/199.04 c 199s|350000 |118959 | 1547k| 4.4 | 65M| 67 | - | 172 | 36 | 172 | 19 | 24 | 12k|8384 | 0.000000e+00 | 1.400000e+01 | Inf
203.33/203.49 c 203s|360000 |120933 | 1585k| 4.4 | 66M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 13k|8492 | 0.000000e+00 | 1.400000e+01 | Inf
207.92/208.09 c 208s|370000 |123783 | 1625k| 4.4 | 67M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 13k|8614 | 0.000000e+00 | 1.400000e+01 | Inf
212.52/212.65 c 213s|380000 |126455 | 1664k| 4.4 | 69M| 67 | - | 172 | 26 | 172 | 19 | 24 | 13k|8718 | 0.000000e+00 | 1.400000e+01 | Inf
217.63/217.70 c 218s|390000 |130744 | 1708k| 4.4 | 71M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 14k|8819 | 0.000000e+00 | 1.400000e+01 | Inf
222.12/222.28 c 222s|400000 |133741 | 1747k| 4.4 | 73M| 67 | - | 172 | 26 | 172 | 19 | 24 | 14k|8918 | 0.000000e+00 | 1.400000e+01 | Inf
226.61/226.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.61/226.72 c 227s|410000 |135932 | 1786k| 4.4 | 74M| 67 | - | 172 | 29 | 172 | 19 | 24 | 14k|9032 | 0.000000e+00 | 1.400000e+01 | Inf
231.01/231.14 c 231s|420000 |138357 | 1823k| 4.3 | 76M| 67 | - | 172 | 25 | 172 | 19 | 24 | 15k|9124 | 0.000000e+00 | 1.400000e+01 | Inf
235.41/235.58 c 236s|430000 |140633 | 1861k| 4.3 | 77M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 15k|9223 | 0.000000e+00 | 1.400000e+01 | Inf
239.81/239.95 c 240s|440000 |142894 | 1899k| 4.3 | 79M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 15k|9322 | 0.000000e+00 | 1.400000e+01 | Inf
244.20/244.35 c 244s|450000 |144784 | 1937k| 4.3 | 80M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 16k|9400 | 0.000000e+00 | 1.400000e+01 | Inf
248.60/248.74 c 249s|460000 |146527 | 1974k| 4.3 | 81M| 67 | - | 172 | 28 | 172 | 19 | 24 | 16k|9497 | 0.000000e+00 | 1.400000e+01 | Inf
253.00/253.18 c 253s|470000 |148349 | 2013k| 4.3 | 82M| 67 | - | 172 | 27 | 172 | 19 | 24 | 16k|9594 | 0.000000e+00 | 1.400000e+01 | Inf
257.40/257.53 c 258s|480000 |150008 | 2050k| 4.3 | 84M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 16k|9690 | 0.000000e+00 | 1.400000e+01 | Inf
261.90/262.00 c 262s|490000 |151801 | 2089k| 4.3 | 85M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 17k|9779 | 0.000000e+00 | 1.400000e+01 | Inf
266.20/266.36 c 266s|500000 |153407 | 2126k| 4.3 | 86M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 17k|9875 | 0.000000e+00 | 1.400000e+01 | Inf
270.51/270.69 c 271s|510000 |154947 | 2162k| 4.2 | 87M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 17k|9974 | 0.000000e+00 | 1.400000e+01 | Inf
274.91/275.10 c 275s|520000 |156981 | 2200k| 4.2 | 89M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
279.31/279.43 c 279s|530000 |158617 | 2237k| 4.2 | 90M| 67 | - | 172 | 28 | 0 | 0 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
283.61/283.80 c 284s|540000 |160021 | 2274k| 4.2 | 91M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
288.00/288.16 c 288s|550000 |161699 | 2310k| 4.2 | 92M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
292.40/292.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.40/292.51 c 293s|560000 |163178 | 2347k| 4.2 | 93M| 67 | - | 172 | 28 | 0 | 0 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
296.59/296.72 c 297s|570000 |164365 | 2381k| 4.2 | 94M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
300.89/301.03 c 301s|580000 |165303 | 2417k| 4.2 | 95M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
305.29/305.48 c 305s|590000 |166824 | 2455k| 4.2 | 96M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
309.68/309.88 c 310s|600000 |168427 | 2494k| 4.2 | 97M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
314.08/314.21 c 314s|610000 |169755 | 2530k| 4.1 | 98M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
318.39/318.53 c 319s|620000 |170727 | 2567k| 4.1 | 99M| 67 | - | 172 | 26 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
322.68/322.87 c 323s|630000 |171686 | 2603k| 4.1 | 100M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
327.09/327.20 c 327s|640000 |173259 | 2640k| 4.1 | 101M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
331.28/331.49 c 331s|650000 |174401 | 2676k| 4.1 | 102M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
335.68/335.81 c 336s|660000 |175203 | 2713k| 4.1 | 102M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
339.98/340.15 c 340s|670000 |176814 | 2750k| 4.1 | 103M| 67 | - | 172 | 26 | 0 | 0 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
344.47/344.60 c 345s|680000 |178700 | 2789k| 4.1 | 105M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
348.77/348.95 c 349s|690000 |179937 | 2827k| 4.1 | 106M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
353.27/353.46 c 353s|700000 |182413 | 2865k| 4.1 | 107M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
357.87/358.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.87/358.02 c 358s|710000 |185142 | 2904k| 4.1 | 109M| 67 | 7 | 172 | 25 | 172 | 19 | 24 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
362.37/362.51 c 362s|720000 |187461 | 2941k| 4.1 | 110M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
366.77/366.98 c 367s|730000 |189612 | 2979k| 4.1 | 111M| 67 | - | 172 | 30 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
371.37/371.57 c 372s|740000 |192283 | 3018k| 4.1 | 113M| 67 | - | 172 | 28 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
376.16/376.31 c 376s|750000 |195151 | 3059k| 4.1 | 115M| 67 | - | 172 | 30 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
380.67/380.86 c 381s|760000 |197932 | 3098k| 4.1 | 116M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
385.16/385.31 c 385s|770000 |200335 | 3136k| 4.1 | 118M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
389.56/389.76 c 390s|780000 |202368 | 3175k| 4.1 | 119M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
394.36/394.54 c 395s|790000 |205543 | 3215k| 4.1 | 121M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
399.46/399.62 c 400s|800000 |209390 | 3258k| 4.1 | 123M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
404.57/404.71 c 405s|810000 |213418 | 3301k| 4.1 | 125M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
409.25/409.46 c 409s|820000 |216444 | 3341k| 4.1 | 127M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
413.96/414.16 c 414s|830000 |219645 | 3380k| 4.1 | 129M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
418.65/418.86 c 419s|840000 |222839 | 3420k| 4.1 | 130M| 67 | - | 172 | 31 | 0 | 0 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
423.45/423.66 c 424s|850000 |226433 | 3460k| 4.1 | 132M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
428.15/428.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.15/428.34 c 428s|860000 |229298 | 3499k| 4.1 | 134M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
432.85/433.06 c 433s|870000 |232496 | 3538k| 4.1 | 136M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
437.55/437.70 c 438s|880000 |235543 | 3577k| 4.1 | 137M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
442.25/442.40 c 442s|890000 |238778 | 3616k| 4.1 | 139M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
446.84/447.06 c 447s|900000 |241767 | 3655k| 4.1 | 141M| 67 | - | 172 | 32 | 0 | 0 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
451.54/451.78 c 452s|910000 |245404 | 3695k| 4.1 | 143M| 67 | - | 172 | 33 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
456.14/456.33 c 456s|920000 |248303 | 3733k| 4.1 | 145M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
460.65/460.89 c 461s|930000 |251176 | 3771k| 4.1 | 146M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
465.14/465.34 c 465s|940000 |253986 | 3809k| 4.1 | 148M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
469.74/469.91 c 470s|950000 |256536 | 3848k| 4.1 | 149M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
474.23/474.45 c 474s|960000 |259146 | 3886k| 4.0 | 151M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
478.74/478.98 c 479s|970000 |261930 | 3924k| 4.0 | 153M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
483.13/483.33 c 483s|980000 |263986 | 3960k| 4.0 | 154M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
487.53/487.70 c 488s|990000 |265679 | 3996k| 4.0 | 155M| 67 | - | 172 | 32 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
491.83/492.04 c 492s| 1000k|267685 | 4033k| 4.0 | 157M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
496.23/496.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.23/496.48 c 496s| 1010k|270315 | 4070k| 4.0 | 158M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 34k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
500.73/500.93 c 501s| 1020k|272685 | 4107k| 4.0 | 159M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 34k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
505.23/505.40 c 505s| 1030k|274815 | 4144k| 4.0 | 161M| 67 | - | 172 | 31 | 172 | 19 | 24 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
509.72/509.95 c 510s| 1040k|276784 | 4183k| 4.0 | 162M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
514.12/514.35 c 514s| 1050k|278601 | 4219k| 4.0 | 163M| 67 | - | 172 | 30 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
518.72/518.91 c 519s| 1060k|281355 | 4258k| 4.0 | 165M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
523.12/523.34 c 523s| 1070k|283481 | 4295k| 4.0 | 166M| 67 | - | 172 | 36 | 0 | 0 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
527.52/527.72 c 528s| 1080k|285381 | 4331k| 4.0 | 168M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
532.01/532.23 c 532s| 1090k|287464 | 4369k| 4.0 | 169M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
536.42/536.70 c 537s| 1100k|289615 | 4406k| 4.0 | 170M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
540.92/541.15 c 541s| 1110k|291291 | 4444k| 4.0 | 172M| 67 | - | 172 | 31 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
545.42/545.64 c 546s| 1120k|293746 | 4481k| 4.0 | 173M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
549.81/550.06 c 550s| 1130k|295744 | 4517k| 4.0 | 174M| 67 | - | 172 | 33 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
554.31/554.59 c 555s| 1140k|298004 | 4555k| 4.0 | 176M| 67 | - | 172 | 31 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
558.81/559.03 c 559s| 1150k|299474 | 4592k| 4.0 | 177M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
563.11/563.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.11/563.37 c 563s| 1160k|301324 | 4628k| 4.0 | 178M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
567.61/567.82 c 568s| 1170k|303088 | 4666k| 4.0 | 179M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 39k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
572.00/572.21 c 572s| 1180k|304737 | 4702k| 4.0 | 180M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 39k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
576.40/576.65 c 577s| 1190k|306703 | 4739k| 4.0 | 182M| 67 | - | 172 | 32 | 172 | 19 | 24 | 39k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
580.80/581.02 c 581s| 1200k|308564 | 4775k| 4.0 | 183M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
585.20/585.46 c 585s| 1210k|310489 | 4812k| 4.0 | 184M| 67 | - | 172 | 35 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
589.60/589.81 c 590s| 1220k|312236 | 4848k| 4.0 | 185M| 67 | - | 172 | 35 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
593.90/594.16 c 594s| 1230k|313962 | 4884k| 4.0 | 186M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
598.30/598.58 c 599s| 1240k|316269 | 4921k| 4.0 | 188M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
602.61/602.87 c 603s| 1250k|318041 | 4956k| 4.0 | 189M| 67 | - | 172 | 39 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
607.10/607.37 c 607s| 1260k|320077 | 4994k| 4.0 | 190M| 67 | 7 | 172 | 39 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
611.59/611.84 c 612s| 1270k|321799 | 5031k| 4.0 | 191M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
615.89/616.19 c 616s| 1280k|323518 | 5068k| 4.0 | 192M| 67 | - | 172 | 42 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
620.29/620.58 c 621s| 1290k|324957 | 5105k| 4.0 | 194M| 67 | - | 172 | 43 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
624.69/624.97 c 625s| 1300k|326710 | 5141k| 4.0 | 195M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
629.19/629.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.19/629.42 c 629s| 1310k|328208 | 5178k| 4.0 | 196M| 67 | - | 172 | 33 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
633.59/633.85 c 634s| 1320k|329768 | 5215k| 4.0 | 197M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
637.99/638.24 c 638s| 1330k|331810 | 5253k| 3.9 | 198M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
642.38/642.61 c 643s| 1340k|333189 | 5289k| 3.9 | 199M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 44k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
646.78/647.06 c 647s| 1350k|335757 | 5327k| 3.9 | 201M| 67 | - | 172 | 29 | 172 | 19 | 24 | 44k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
651.18/651.47 c 651s| 1360k|337889 | 5364k| 3.9 | 202M| 67 | - | 172 | 32 | 0 | 0 | 24 | 44k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
655.68/655.93 c 656s| 1370k|339960 | 5401k| 3.9 | 203M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
660.17/660.41 c 660s| 1380k|342089 | 5439k| 3.9 | 205M| 67 | - | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
664.48/664.78 c 665s| 1390k|344049 | 5475k| 3.9 | 206M| 67 | - | 172 | 32 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
668.78/669.08 c 669s| 1400k|345654 | 5510k| 3.9 | 207M| 67 | - | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
673.17/673.43 c 673s| 1410k|347034 | 5546k| 3.9 | 208M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
677.47/677.79 c 678s| 1420k|348152 | 5582k| 3.9 | 209M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
681.97/682.22 c 682s| 1430k|349850 | 5619k| 3.9 | 210M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
686.27/686.58 c 687s| 1440k|351571 | 5654k| 3.9 | 211M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
690.77/691.00 c 691s| 1450k|353142 | 5691k| 3.9 | 212M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
695.26/695.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.26/695.52 c 696s| 1460k|355367 | 5728k| 3.9 | 214M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
699.56/699.89 c 700s| 1470k|356966 | 5765k| 3.9 | 215M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
703.97/704.28 c 704s| 1480k|358548 | 5801k| 3.9 | 216M| 67 | - | 172 | 31 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
708.46/708.75 c 709s| 1490k|360195 | 5838k| 3.9 | 217M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
712.86/713.18 c 713s| 1500k|361412 | 5875k| 3.9 | 218M| 67 | - | 172 | 32 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
717.26/717.56 c 718s| 1510k|363055 | 5911k| 3.9 | 219M| 67 | - | 172 | 32 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
721.76/722.02 c 722s| 1520k|364691 | 5949k| 3.9 | 220M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 49k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
726.16/726.47 c 726s| 1530k|366096 | 5986k| 3.9 | 221M| 67 | - | 172 | 38 | 172 | 19 | 24 | 49k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
730.56/730.87 c 731s| 1540k|367786 | 6022k| 3.9 | 222M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 49k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
735.06/735.37 c 735s| 1550k|369095 | 6061k| 3.9 | 223M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
739.45/739.77 c 740s| 1560k|370534 | 6098k| 3.9 | 224M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
743.95/744.20 c 744s| 1570k|371874 | 6135k| 3.9 | 225M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
748.35/748.67 c 749s| 1580k|373623 | 6172k| 3.9 | 226M| 67 | 7 | 172 | 39 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
752.75/753.09 c 753s| 1590k|375136 | 6209k| 3.9 | 228M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
757.15/757.47 c 757s| 1600k|376464 | 6245k| 3.9 | 228M| 67 | - | 172 | 38 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
761.54/761.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.54/761.88 c 762s| 1610k|377920 | 6281k| 3.9 | 230M| 67 | - | 172 | 31 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
766.04/766.38 c 766s| 1620k|380755 | 6318k| 3.9 | 231M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
770.45/770.73 c 771s| 1630k|382926 | 6353k| 3.9 | 232M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
774.64/774.99 c 775s| 1640k|384789 | 6388k| 3.9 | 234M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
778.94/779.24 c 779s| 1650k|386216 | 6423k| 3.9 | 235M| 67 | - | 172 | 29 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
783.34/783.65 c 784s| 1660k|387921 | 6458k| 3.9 | 236M| 67 | - | 172 | 31 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
787.64/787.99 c 788s| 1670k|389285 | 6494k| 3.9 | 237M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
792.04/792.35 c 792s| 1680k|390681 | 6529k| 3.9 | 238M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
796.44/796.71 c 797s| 1690k|391678 | 6565k| 3.9 | 239M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
800.74/801.04 c 801s| 1700k|392933 | 6600k| 3.9 | 240M| 67 | - | 172 | 30 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
805.04/805.35 c 805s| 1710k|394157 | 6635k| 3.9 | 240M| 67 | - | 172 | 29 | 172 | 19 | 24 | 55k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
809.34/809.68 c 810s| 1720k|396340 | 6670k| 3.9 | 242M| 67 | - | 172 | 31 | 0 | 0 | 24 | 55k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
813.64/813.95 c 814s| 1730k|397889 | 6705k| 3.9 | 243M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 55k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
818.04/818.36 c 818s| 1740k|399550 | 6741k| 3.9 | 244M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
822.33/822.69 c 823s| 1750k|400753 | 6776k| 3.9 | 245M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
826.73/827.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.73/827.08 c 827s| 1760k|402419 | 6812k| 3.9 | 246M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
831.13/831.49 c 831s| 1770k|403712 | 6848k| 3.9 | 247M| 67 | - | 172 | 26 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
835.63/835.91 c 836s| 1780k|404909 | 6884k| 3.9 | 248M| 67 | - | 172 | 31 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
839.93/840.25 c 840s| 1790k|406011 | 6920k| 3.9 | 249M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
844.33/844.69 c 845s| 1800k|407327 | 6956k| 3.9 | 250M| 67 | - | 172 | 30 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
848.73/849.04 c 849s| 1810k|408570 | 6992k| 3.9 | 251M| 67 | - | 172 | 29 | 0 | 0 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
853.12/853.43 c 853s| 1820k|409625 | 7029k| 3.9 | 251M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
857.51/857.85 c 858s| 1830k|410868 | 7065k| 3.9 | 252M| 67 | - | 172 | 36 | 0 | 0 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
861.92/862.20 c 862s| 1840k|412247 | 7100k| 3.9 | 253M| 67 | - | 172 | 37 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
866.22/866.56 c 867s| 1850k|413471 | 7135k| 3.9 | 254M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
870.61/870.98 c 871s| 1860k|414857 | 7172k| 3.9 | 255M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
875.11/875.47 c 875s| 1870k|416764 | 7208k| 3.9 | 256M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
879.61/879.97 c 880s| 1880k|419215 | 7245k| 3.9 | 258M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
884.21/884.51 c 884s| 1890k|422177 | 7283k| 3.9 | 260M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
888.61/888.97 c 889s| 1900k|424171 | 7320k| 3.9 | 261M| 67 | - | 172 | 27 | 172 | 19 | 24 | 61k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
893.10/893.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.10/893.46 c 893s| 1910k|426132 | 7357k| 3.9 | 262M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
897.50/897.89 c 898s| 1920k|427867 | 7394k| 3.9 | 263M| 67 | - | 172 | 29 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
902.10/902.40 c 902s| 1930k|429743 | 7431k| 3.9 | 264M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
906.60/906.95 c 907s| 1940k|432669 | 7469k| 3.9 | 266M| 67 | - | 172 | 35 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
911.10/911.48 c 911s| 1950k|434918 | 7507k| 3.8 | 268M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
915.70/916.00 c 916s| 1960k|437155 | 7544k| 3.8 | 269M| 67 | - | 172 | 31 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
920.10/920.45 c 920s| 1970k|438848 | 7581k| 3.8 | 270M| 67 | - | 172 | 29 | 0 | 0 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
924.59/924.92 c 925s| 1980k|440616 | 7618k| 3.8 | 271M| 67 | - | 172 | 35 | 172 | 19 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
929.10/929.41 c 929s| 1990k|442513 | 7656k| 3.8 | 272M| 67 | - | 172 | 29 | 172 | 19 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
933.60/933.98 c 934s| 2000k|444832 | 7694k| 3.8 | 274M| 67 | - | 172 | 36 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
938.29/938.62 c 939s| 2010k|448135 | 7732k| 3.8 | 276M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
942.70/943.08 c 943s| 2020k|450509 | 7768k| 3.8 | 277M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
947.19/947.53 c 948s| 2030k|452599 | 7805k| 3.8 | 278M| 67 | - | 172 | 31 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
951.69/952.09 c 952s| 2040k|455236 | 7843k| 3.8 | 280M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
956.29/956.66 c 957s| 2050k|457796 | 7881k| 3.8 | 281M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
960.78/961.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.78/961.11 c 961s| 2060k|460457 | 7916k| 3.8 | 283M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
965.39/965.72 c 966s| 2070k|463443 | 7955k| 3.8 | 284M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
969.78/970.18 c 970s| 2080k|465560 | 7993k| 3.8 | 286M| 67 | - | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
974.29/974.62 c 975s| 2090k|467555 | 8029k| 3.8 | 287M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
978.77/979.17 c 979s| 2100k|469728 | 8066k| 3.8 | 288M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
983.28/983.68 c 984s| 2110k|472026 | 8103k| 3.8 | 290M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 67k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
987.77/988.13 c 988s| 2120k|473813 | 8140k| 3.8 | 291M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 67k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
992.18/992.53 c 993s| 2130k|475519 | 8176k| 3.8 | 292M| 67 | - | 172 | 29 | 0 | 0 | 24 | 67k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
996.57/996.90 c 997s| 2140k|477174 | 8211k| 3.8 | 293M| 67 | - | 172 | 33 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1000.87/1001.27 c 1001s| 2150k|479329 | 8246k| 3.8 | 294M| 67 | - | 172 | 30 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1005.37/1005.72 c 1006s| 2160k|480976 | 8282k| 3.8 | 295M| 67 | - | 172 | 32 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1009.76/1010.12 c 1010s| 2170k|482380 | 8317k| 3.8 | 296M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1014.16/1014.53 c 1015s| 2180k|484004 | 8354k| 3.8 | 297M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1018.76/1019.11 c 1019s| 2190k|487041 | 8391k| 3.8 | 299M| 67 | - | 172 | 35 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1023.56/1023.91 c 1024s| 2200k|490309 | 8432k| 3.8 | 301M| 67 | - | 172 | 30 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1028.16/1028.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.16/1028.52 c 1029s| 2210k|492978 | 8470k| 3.8 | 302M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1032.76/1033.19 c 1033s| 2220k|495973 | 8508k| 3.8 | 304M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1037.76/1038.11 c 1038s| 2230k|499771 | 8549k| 3.8 | 306M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1042.56/1042.99 c 1043s| 2240k|503380 | 8589k| 3.8 | 308M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1047.55/1047.95 c 1048s| 2250k|507097 | 8630k| 3.8 | 310M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1052.65/1053.03 c 1053s| 2260k|511373 | 8671k| 3.8 | 312M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1057.35/1057.77 c 1058s| 2270k|514664 | 8711k| 3.8 | 314M| 67 | - | 172 | 30 | 0 | 0 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1062.05/1062.48 c 1062s| 2280k|517860 | 8750k| 3.8 | 315M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1066.85/1067.21 c 1067s| 2290k|520754 | 8790k| 3.8 | 317M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1071.45/1071.89 c 1072s| 2300k|524186 | 8829k| 3.8 | 319M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1076.14/1076.50 c 1076s| 2310k|527517 | 8867k| 3.8 | 320M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1080.65/1081.05 c 1081s| 2320k|530504 | 8904k| 3.8 | 322M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1085.25/1085.62 c 1086s| 2330k|533742 | 8942k| 3.8 | 324M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1089.74/1090.19 c 1090s| 2340k|536672 | 8980k| 3.8 | 325M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 74k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1094.24/1094.68 c 1095s| 2350k|539151 | 9017k| 3.8 | 327M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 74k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1098.84/1099.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.84/1099.21 c 1099s| 2360k|541799 | 9054k| 3.8 | 328M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 74k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1103.33/1103.72 c 1104s| 2370k|544435 | 9091k| 3.8 | 330M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1107.94/1108.33 c 1108s| 2380k|547886 | 9128k| 3.8 | 332M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1112.63/1113.02 c 1113s| 2390k|551280 | 9166k| 3.8 | 333M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1117.13/1117.57 c 1118s| 2400k|554101 | 9203k| 3.8 | 335M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1121.73/1122.11 c 1122s| 2410k|556735 | 9240k| 3.8 | 337M| 67 | - | 172 | 26 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1126.23/1126.68 c 1127s| 2420k|559067 | 9278k| 3.8 | 338M| 67 | - | 172 | 29 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1130.83/1131.20 c 1131s| 2430k|561549 | 9315k| 3.8 | 339M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1135.22/1135.69 c 1136s| 2440k|563953 | 9352k| 3.8 | 341M| 67 | - | 172 | 27 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1139.82/1140.26 c 1140s| 2450k|566444 | 9390k| 3.8 | 342M| 67 | - | 172 | 31 | 0 | 0 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1144.32/1144.76 c 1145s| 2460k|568805 | 9426k| 3.8 | 344M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1148.92/1149.36 c 1149s| 2470k|571395 | 9465k| 3.8 | 345M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1153.43/1153.81 c 1154s| 2480k|573654 | 9501k| 3.8 | 346M| 67 | - | 172 | 34 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1157.83/1158.30 c 1158s| 2490k|576190 | 9538k| 3.8 | 348M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1162.33/1162.79 c 1163s| 2500k|578638 | 9574k| 3.8 | 349M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1166.81/1167.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.81/1167.23 c 1167s| 2510k|581032 | 9610k| 3.8 | 351M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1171.31/1171.78 c 1172s| 2520k|583257 | 9648k| 3.8 | 352M| 67 | - | 172 | 30 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1176.12/1176.54 c 1177s| 2530k|586645 | 9687k| 3.8 | 354M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1180.71/1181.16 c 1181s| 2540k|589861 | 9725k| 3.8 | 356M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1185.21/1185.69 c 1186s| 2550k|592765 | 9762k| 3.8 | 357M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1189.72/1190.11 c 1190s| 2560k|595292 | 9798k| 3.8 | 359M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1194.22/1194.62 c 1195s| 2570k|597679 | 9835k| 3.8 | 360M| 67 | - | 172 | 29 | 0 | 0 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1198.71/1199.10 c 1199s| 2580k|599937 | 9872k| 3.8 | 361M| 67 | - | 172 | 28 | 0 | 0 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1203.21/1203.64 c 1204s| 2590k|602063 | 9909k| 3.8 | 363M| 67 | - | 172 | 32 | 172 | 19 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1207.70/1208.18 c 1208s| 2600k|604040 | 9947k| 3.8 | 364M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1212.20/1212.61 c 1213s| 2610k|606172 | 9983k| 3.8 | 365M| 67 | - | 172 | 28 | 0 | 0 | 24 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1216.69/1217.11 c 1217s| 2620k|608588 | 10020k| 3.8 | 367M| 67 | - | 172 | 30 | 172 | 19 | 24 | 82k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1221.19/1221.66 c 1222s| 2630k|611454 | 10058k| 3.8 | 368M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1225.69/1226.16 c 1226s| 2640k|613471 | 10094k| 3.8 | 369M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1230.29/1230.72 c 1231s| 2650k|615938 | 10130k| 3.8 | 371M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1234.69/1235.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.69/1235.19 c 1235s| 2660k|618008 | 10167k| 3.8 | 372M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1239.30/1239.71 c 1240s| 2670k|619883 | 10204k| 3.8 | 373M| 67 | - | 172 | 33 | 172 | 19 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1243.79/1244.20 c 1244s| 2680k|622017 | 10240k| 3.8 | 375M| 67 | - | 172 | 33 | 0 | 0 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1248.39/1248.80 c 1249s| 2690k|624150 | 10278k| 3.8 | 376M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1252.88/1253.35 c 1253s| 2700k|626105 | 10315k| 3.8 | 377M| 67 | - | 172 | 26 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1257.39/1257.87 c 1258s| 2710k|629211 | 10351k| 3.8 | 379M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1261.88/1262.32 c 1262s| 2720k|631149 | 10387k| 3.8 | 380M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1266.28/1266.79 c 1267s| 2730k|633268 | 10423k| 3.8 | 381M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1270.78/1271.26 c 1271s| 2740k|635668 | 10459k| 3.8 | 383M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1275.37/1275.85 c 1276s| 2750k|637700 | 10497k| 3.8 | 384M| 67 | - | 172 | 30 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1279.88/1280.37 c 1280s| 2760k|640019 | 10534k| 3.8 | 385M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1284.38/1284.86 c 1285s| 2770k|641866 | 10570k| 3.8 | 387M| 67 | - | 172 | 30 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1288.87/1289.32 c 1289s| 2780k|644041 | 10606k| 3.8 | 388M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1293.37/1293.81 c 1294s| 2790k|646297 | 10642k| 3.8 | 389M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1297.87/1298.32 c 1298s| 2800k|648439 | 10679k| 3.8 | 391M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1302.36/1302.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.36/1302.81 c 1303s| 2810k|650509 | 10717k| 3.8 | 392M| 67 | - | 172 | 32 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1306.77/1307.28 c 1307s| 2820k|652288 | 10755k| 3.8 | 393M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1311.27/1311.75 c 1312s| 2830k|654155 | 10790k| 3.8 | 394M| 67 | - | 172 | 31 | 0 | 0 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1315.87/1316.33 c 1316s| 2840k|656331 | 10828k| 3.8 | 396M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1320.37/1320.83 c 1321s| 2850k|658235 | 10864k| 3.8 | 397M| 67 | - | 172 | 31 | 172 | 19 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1324.76/1325.24 c 1325s| 2860k|660283 | 10901k| 3.8 | 398M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 90k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1329.26/1329.77 c 1330s| 2870k|662957 | 10937k| 3.8 | 400M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 90k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1333.77/1334.24 c 1334s| 2880k|664922 | 10973k| 3.8 | 401M| 67 | - | 172 | 34 | 172 | 19 | 24 | 90k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1338.27/1338.71 c 1339s| 2890k|667073 | 11010k| 3.8 | 402M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1342.76/1343.20 c 1343s| 2900k|669066 | 11047k| 3.8 | 403M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1347.35/1347.89 c 1348s| 2910k|671886 | 11086k| 3.8 | 405M| 67 | - | 172 | 33 | 0 | 0 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1351.95/1352.49 c 1352s| 2920k|674783 | 11125k| 3.8 | 407M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1356.55/1357.01 c 1357s| 2930k|676990 | 11163k| 3.8 | 408M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1361.05/1361.55 c 1362s| 2940k|679478 | 11201k| 3.8 | 410M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1365.55/1366.01 c 1366s| 2950k|681137 | 11239k| 3.8 | 411M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1369.95/1370.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.95/1370.42 c 1370s| 2960k|682889 | 11275k| 3.8 | 412M| 67 | - | 172 | 32 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1374.35/1374.88 c 1375s| 2970k|685082 | 11312k| 3.8 | 413M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1378.85/1379.39 c 1379s| 2980k|686929 | 11349k| 3.8 | 414M| 67 | - | 172 | 36 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1383.35/1383.90 c 1384s| 2990k|688616 | 11386k| 3.8 | 415M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1387.85/1388.37 c 1388s| 3000k|690043 | 11422k| 3.8 | 416M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1392.34/1392.86 c 1393s| 3010k|692042 | 11458k| 3.8 | 418M| 67 | - | 172 | 27 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1396.84/1397.34 c 1397s| 3020k|693977 | 11495k| 3.8 | 419M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1401.44/1401.94 c 1402s| 3030k|696788 | 11533k| 3.8 | 421M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1405.94/1406.46 c 1406s| 3040k|698440 | 11570k| 3.8 | 422M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1410.44/1410.96 c 1411s| 3050k|700144 | 11607k| 3.8 | 423M| 67 | - | 172 | 30 | 0 | 0 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1415.24/1415.72 c 1416s| 3060k|702839 | 11647k| 3.8 | 424M| 67 | - | 172 | 30 | 172 | 19 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1419.83/1420.37 c 1420s| 3070k|705630 | 11686k| 3.8 | 426M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1424.43/1424.98 c 1425s| 3080k|707985 | 11724k| 3.8 | 427M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1429.13/1429.61 c 1430s| 3090k|710166 | 11763k| 3.8 | 429M| 67 | - | 172 | 32 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1433.73/1434.21 c 1434s| 3100k|713249 | 11801k| 3.8 | 430M| 67 | - | 172 | 30 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1438.13/1438.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.13/1438.65 c 1439s| 3110k|715986 | 11837k| 3.8 | 432M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1442.73/1443.24 c 1443s| 3120k|718451 | 11875k| 3.8 | 433M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 98k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1447.23/1447.80 c 1448s| 3130k|720677 | 11912k| 3.8 | 435M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 98k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1451.82/1452.38 c 1452s| 3140k|723005 | 11949k| 3.8 | 436M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 98k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1456.42/1456.91 c 1457s| 3150k|725301 | 11987k| 3.8 | 437M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1460.82/1461.37 c 1461s| 3160k|727356 | 12024k| 3.8 | 439M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1465.32/1465.88 c 1466s| 3170k|729203 | 12061k| 3.8 | 440M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1469.82/1470.38 c 1470s| 3180k|731058 | 12098k| 3.8 | 441M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1474.32/1474.82 c 1475s| 3190k|733309 | 12134k| 3.8 | 443M| 67 | - | 172 | 33 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1478.81/1479.33 c 1479s| 3200k|735322 | 12171k| 3.8 | 444M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1483.21/1483.79 c 1484s| 3210k|737300 | 12207k| 3.8 | 445M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1487.83/1488.31 c 1488s| 3220k|739217 | 12244k| 3.8 | 446M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1492.22/1492.78 c 1493s| 3230k|740869 | 12280k| 3.8 | 447M| 67 | - | 172 | 30 | 0 | 0 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1496.71/1497.28 c 1497s| 3240k|742708 | 12316k| 3.8 | 449M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1501.31/1501.80 c 1502s| 3250k|744788 | 12353k| 3.8 | 450M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1505.70/1506.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.70/1506.21 c 1506s| 3260k|746611 | 12389k| 3.8 | 451M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1510.10/1510.66 c 1511s| 3270k|748291 | 12426k| 3.8 | 452M| 67 | - | 172 | 28 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1514.60/1515.17 c 1515s| 3280k|750091 | 12462k| 3.8 | 453M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1519.10/1519.63 c 1520s| 3290k|751661 | 12498k| 3.8 | 455M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1523.61/1524.16 c 1524s| 3300k|753138 | 12535k| 3.8 | 456M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1528.10/1528.61 c 1529s| 3310k|754694 | 12571k| 3.8 | 457M| 67 | - | 172 | 28 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1532.50/1533.08 c 1533s| 3320k|756289 | 12607k| 3.8 | 458M| 67 | - | 172 | 28 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1537.10/1537.63 c 1538s| 3330k|757999 | 12644k| 3.8 | 459M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1541.60/1542.10 c 1542s| 3340k|759914 | 12680k| 3.8 | 460M| 67 | - | 172 | 30 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1546.00/1546.58 c 1547s| 3350k|761822 | 12716k| 3.8 | 461M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1550.51/1551.01 c 1551s| 3360k|763888 | 12752k| 3.8 | 463M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1554.90/1555.46 c 1555s| 3370k|765560 | 12788k| 3.8 | 464M| 67 | - | 172 | 26 | 0 | 0 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1559.39/1559.95 c 1560s| 3380k|767462 | 12825k| 3.8 | 465M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1563.89/1564.46 c 1564s| 3390k|769244 | 12861k| 3.8 | 466M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1568.29/1568.88 c 1569s| 3400k|771121 | 12896k| 3.8 | 467M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 107k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1572.79/1573.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.79/1573.37 c 1573s| 3410k|773030 | 12933k| 3.8 | 468M| 67 | - | 172 | 30 | 172 | 19 | 24 | 107k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1577.39/1577.93 c 1578s| 3420k|774908 | 12971k| 3.8 | 470M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 107k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1581.88/1582.46 c 1582s| 3430k|777812 | 13008k| 3.8 | 471M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1586.28/1586.88 c 1587s| 3440k|779725 | 13043k| 3.8 | 472M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1590.79/1591.33 c 1591s| 3450k|781832 | 13079k| 3.8 | 474M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1595.28/1595.83 c 1596s| 3460k|783494 | 13115k| 3.8 | 475M| 67 | - | 172 | 25 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1599.89/1600.46 c 1600s| 3470k|785610 | 13153k| 3.8 | 476M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1604.38/1604.92 c 1605s| 3480k|788178 | 13189k| 3.8 | 478M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1608.79/1609.36 c 1609s| 3490k|790359 | 13225k| 3.8 | 479M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1613.19/1613.79 c 1614s| 3500k|792421 | 13260k| 3.8 | 480M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1617.78/1618.35 c 1618s| 3510k|794423 | 13296k| 3.8 | 481M| 67 | - | 172 | 28 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1622.17/1622.74 c 1623s| 3520k|796157 | 13331k| 3.8 | 482M| 67 | - | 172 | 27 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1626.67/1627.24 c 1627s| 3530k|798405 | 13368k| 3.8 | 484M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 111k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1631.17/1631.74 c 1632s| 3540k|800565 | 13403k| 3.8 | 485M| 67 | - | 172 | 28 | 172 | 19 | 24 | 111k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1635.67/1636.20 c 1636s| 3550k|802054 | 13439k| 3.8 | 486M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 111k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1640.07/1640.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.07/1640.67 c 1641s| 3560k|803917 | 13475k| 3.8 | 487M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 112k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1644.67/1645.22 c 1645s| 3570k|805549 | 13511k| 3.8 | 488M| 67 | - | 172 | 29 | 172 | 19 | 24 | 112k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1649.07/1649.65 c 1650s| 3580k|807224 | 13546k| 3.8 | 489M| 67 | - | 172 | 31 | 172 | 19 | 24 | 112k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1653.57/1654.13 c 1654s| 3590k|809029 | 13583k| 3.8 | 491M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 113k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1658.07/1658.62 c 1659s| 3600k|810488 | 13619k| 3.8 | 492M| 67 | - | 172 | 31 | 172 | 19 | 24 | 113k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1662.77/1663.33 c 1663s| 3610k|813736 | 13658k| 3.8 | 493M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 113k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1667.36/1667.95 c 1668s| 3620k|816232 | 13695k| 3.8 | 495M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 113k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1671.96/1672.51 c 1672s| 3630k|818761 | 13733k| 3.8 | 496M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 114k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1676.56/1677.16 c 1677s| 3640k|821418 | 13771k| 3.8 | 498M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 114k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1681.06/1681.68 c 1682s| 3650k|823583 | 13808k| 3.8 | 499M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 114k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1685.67/1686.21 c 1686s| 3660k|825617 | 13845k| 3.8 | 501M| 67 | - | 172 | 35 | 172 | 19 | 24 | 115k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1690.16/1690.72 c 1691s| 3670k|827870 | 13881k| 3.8 | 502M| 67 | - | 172 | 38 | 0 | 0 | 24 | 115k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1694.66/1695.22 c 1695s| 3680k|829461 | 13918k| 3.8 | 503M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 115k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1699.15/1699.70 c 1700s| 3690k|831748 | 13954k| 3.8 | 504M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 116k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1703.55/1704.13 c 1704s| 3700k|833528 | 13990k| 3.8 | 506M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 116k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1707.95/1708.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.95/1708.59 c 1709s| 3710k|835509 | 14027k| 3.8 | 507M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 116k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1712.45/1713.05 c 1713s| 3720k|837871 | 14063k| 3.8 | 508M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 117k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1717.34/1717.96 c 1718s| 3730k|841848 | 14103k| 3.8 | 510M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 117k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1722.05/1722.61 c 1723s| 3740k|844919 | 14142k| 3.8 | 512M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 117k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1726.65/1727.21 c 1727s| 3750k|847663 | 14180k| 3.8 | 513M| 67 | - | 172 | 34 | 172 | 19 | 24 | 118k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1731.14/1731.79 c 1732s| 3760k|850224 | 14217k| 3.8 | 515M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 118k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1735.64/1736.28 c 1736s| 3770k|852554 | 14255k| 3.8 | 516M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 118k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1740.24/1740.80 c 1741s| 3780k|854925 | 14292k| 3.8 | 518M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 119k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1744.74/1745.39 c 1745s| 3790k|857330 | 14330k| 3.8 | 519M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 119k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1749.34/1749.94 c 1750s| 3800k|859657 | 14366k| 3.8 | 520M| 67 | - | 172 | 33 | 0 | 0 | 24 | 119k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1753.84/1754.49 c 1754s| 3810k|861614 | 14403k| 3.8 | 522M| 67 | - | 172 | 31 | 172 | 19 | 24 | 119k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1758.44/1759.00 c 1759s| 3820k|863464 | 14440k| 3.8 | 523M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 120k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1762.94/1763.59 c 1764s| 3830k|865463 | 14477k| 3.8 | 524M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 120k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1767.53/1768.18 c 1768s| 3840k|867384 | 14515k| 3.8 | 525M| 67 | - | 172 | 33 | 172 | 19 | 24 | 121k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1772.13/1772.75 c 1773s| 3850k|869234 | 14553k| 3.8 | 527M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 121k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1776.83/1777.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.83/1777.41 c 1777s| 3860k|871846 | 14592k| 3.8 | 528M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 121k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1781.34/1781.97 c 1782s| 3870k|874052 | 14629k| 3.8 | 530M| 67 | - | 172 | 34 | 172 | 19 | 24 | 121k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1785.92/1786.54 c 1787s| 3880k|875828 | 14667k| 3.8 | 531M| 67 | - | 172 | 30 | 172 | 19 | 24 | 122k| 26k| 0.000000e+00 | 1.400000e+01 | Inf
1789.42/1790.01 c
1789.42/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.42/1790.01 c Solving Time (sec) : 1790.00
1789.42/1790.01 c Solving Nodes : 3887628
1789.42/1790.01 c Primal Bound : +1.40000000000000e+01 (60 solutions)
1789.42/1790.01 c Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Gap : infinite
1789.42/1790.01 s SATISFIABLE
1789.42/1790.01 v -x172 -x171 -x170 x169 x168 x167 x166 x165 x164 x163 -x162 x161 -x160 -x159 x158 -x157 x156 x155 x154 -x153 -x152 x151 -x150 -x149
1789.42/1790.01 v x148 -x147 x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 x137 x136 x135 -x134 -x133 -x132 x131 x130 -x129 x128 -x127
1789.42/1790.01 v x126 x125 -x124 x123 -x122 -x121 -x120 x119 x118 x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1789.42/1790.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1789.42/1790.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1789.42/1790.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1789.42/1790.01 v -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1789.42/1790.01 v -x2 -x1
1789.42/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.42/1790.01 c Solving Time : 1790.00
1789.42/1790.01 c Original Problem :
1789.42/1790.01 c Problem name : HOME/instance-2703924-1278562803.opb
1789.42/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.42/1790.01 c Constraints : 14 initial, 14 maximal
1789.42/1790.01 c Presolved Problem :
1789.42/1790.01 c Problem name : t_HOME/instance-2703924-1278562803.opb
1789.42/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.42/1790.01 c Constraints : 7 initial, 103 maximal
1789.42/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.42/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.42/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.42/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c root node : - 56 - - 56 - - - -
1789.42/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.42/1790.01 c integral : 0 0 0 2414204 0 239 3863 0 0 4820498
1789.42/1790.01 c linear : 7+ 7 5648187 0 1 541092 3465275 0 0 0
1789.42/1790.01 c logicor : 0+ 0 940726 0 0 3455 39601 0 0 0
1789.42/1790.01 c countsols : 0 0 0 42 1 0 0 0 0 0
1789.42/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.42/1790.01 c integral : 31.47 0.00 0.00 31.47 0.00
1789.42/1790.01 c linear : 439.06 0.00 439.06 0.00 0.00
1789.42/1790.01 c logicor : 2.34 0.00 2.34 0.00 0.00
1789.42/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.42/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.42/1790.01 c vbounds : 2.22 2 0 0
1789.42/1790.01 c rootredcost : 2.25 57 0 56
1789.42/1790.01 c pseudoobj : 46.23 5652783 4749 287883
1789.42/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.42/1790.01 c propagation : 38.36 547145 109841 128378 58.5 10 40.8 -
1789.42/1790.01 c infeasible LP : 1.13 13269 12957 17498 41.0 3 33.7 0
1789.42/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.42/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.42/1790.01 c pseudo solution : 0.00 5 5 5 2.8 0 0.0 -
1789.42/1790.01 c applied globally : - - - 5273 26.7 - - -
1789.42/1790.01 c applied locally : - - - 117303 57.3 - - -
1789.42/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.42/1790.01 c cut pool : 0.00 5 - - 10 - (maximal pool size: 62)
1789.42/1790.01 c redcost : 77.51 3245060 0 16505154 0 0
1789.42/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.42/1790.01 c intobj : 0.00 0 0 0 0 0
1789.42/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.42/1790.01 c gomory : 0.01 6 0 0 0 0
1789.42/1790.01 c strongcg : 0.01 6 0 0 19 0
1789.42/1790.01 c cmir : 0.03 6 0 0 28 0
1789.42/1790.01 c flowcover : 0.05 6 0 0 30 0
1789.42/1790.01 c clique : 0.00 1 0 0 0 0
1789.42/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.42/1790.01 c mcf : 0.00 1 0 0 0 0
1789.42/1790.01 c rapidlearning : 0.12 1 0 0 0 90
1789.42/1790.01 c Pricers : Time Calls Vars
1789.42/1790.01 c problem variables: 0.00 0 0
1789.42/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.42/1790.01 c relpscost : 29.17 2414162 239 3863 0 0 4820498
1789.42/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.42/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.42/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.42/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.42/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.42/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.42/1790.01 c random : 0.00 0 0 0 0 0 0
1789.42/1790.01 c Primal Heuristics : Time Calls Found
1789.42/1790.01 c LP solutions : 0.12 - 42
1789.42/1790.01 c pseudo solutions : 0.00 - 0
1789.42/1790.01 c intshifting : 0.15 0 0
1789.42/1790.01 c feaspump : 0.23 2 0
1789.42/1790.01 c oneopt : 1.57 55 0
1789.42/1790.01 c crossover : 12.13 14 2
1789.42/1790.01 c rootsoldiving : 5.53 983 2
1789.42/1790.01 c coefdiving : 31.73 5441 0
1789.42/1790.01 c linesearchdiving : 13.03 5441 2
1789.42/1790.01 c guideddiving : 13.74 5441 6
1789.42/1790.01 c pscostdiving : 16.73 5441 0
1789.42/1790.01 c fracdiving : 17.51 5441 4
1789.42/1790.01 c veclendiving : 11.67 5441 1
1789.42/1790.01 c objpscostdiving : 5.89 2721 0
1789.42/1790.01 c trivial : 0.00 2 0
1789.42/1790.01 c simplerounding : 1.41 0 0
1789.42/1790.01 c zirounding : 1.48 1000 0
1789.42/1790.01 c rounding : 3.19 22776 0
1789.42/1790.01 c shifting : 8.39 7365 0
1789.42/1790.01 c twoopt : 0.00 0 0
1789.42/1790.01 c fixandinfer : 0.00 0 0
1789.42/1790.01 c intdiving : 0.00 0 0
1789.42/1790.01 c actconsdiving : 0.00 0 0
1789.42/1790.01 c octane : 0.00 0 0
1789.42/1790.01 c rens : 0.04 1 0
1789.42/1790.01 c rins : 0.00 0 0
1789.42/1790.01 c localbranching : 0.00 0 0
1789.42/1790.01 c mutation : 0.00 0 0
1789.42/1790.01 c dins : 0.00 0 0
1789.42/1790.01 c undercover : 0.00 0 0
1789.42/1790.01 c nlp : 1.13 0 0
1789.42/1790.01 c trysol : 2.11 0 0
1789.42/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.42/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.42/1790.01 c dual LP : 664.21 3568668 13678776 3.83 20594.07
1789.42/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.42/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.42/1790.01 c diving/probing LP: 58.49 466156 1016321 2.18 17375.40
1789.42/1790.01 c strong branching : 6.76 26545 84300 3.18 12462.98
1789.42/1790.01 c (at root node) : - 9 530 58.89 -
1789.42/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.42/1790.01 c B&B Tree :
1789.42/1790.01 c number of runs : 1
1789.42/1790.01 c nodes : 3887628
1789.42/1790.01 c nodes (total) : 3887628
1789.42/1790.01 c nodes left : 877097
1789.42/1790.01 c max depth : 67
1789.42/1790.01 c max depth (total): 67
1789.42/1790.01 c backtracks : 722740 (18.6%)
1789.42/1790.01 c delayed cutoffs : 21998
1789.42/1790.01 c repropagations : 40724 (146955 domain reductions, 21985 cutoffs)
1789.42/1790.01 c avg switch length: 5.45
1789.42/1790.01 c switching time : 138.31
1789.42/1790.01 c Solution :
1789.42/1790.01 c Solutions found : 60 (57 improvements)
1789.42/1790.01 c First Solution : +4.36000000000000e+02 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1789.42/1790.01 c Primal Bound : +1.40000000000000e+01 (in run 1, after 125672 nodes, 91.67 seconds, depth 39, found by <crossover>)
1789.42/1790.01 c Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Gap : infinite
1789.42/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Root Iterations : 156
1792.33/1792.90 c Time complete: 1792.33.
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703924-1278562803/watcher-2703924-1278562803 -o /tmp/evaluation-result-2703924-1278562803/solver-2703924-1278562803 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703924-1278562803.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.18 1.10 1.02 3/106 28463 /proc/meminfo: memFree=1714632/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=7904 CPUtime=0 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 1184 0 0 0 0 0 0 0 18 0 1 0 24492453 8093696 1096 1992294400 4194304 8395647 140733839869056 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28463/statm: 1976 1105 365 1026 0 946 0 [startup+0.041945 s] /proc/loadavg: 1.18 1.10 1.02 3/106 28463 /proc/meminfo: memFree=1714632/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=14880 CPUtime=0.03 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 3207 0 0 0 3 0 0 0 20 0 1 0 24492453 15237120 2766 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 3720 2766 568 1026 0 2690 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14880 [startup+0.10195 s] /proc/loadavg: 1.18 1.10 1.02 3/106 28463 /proc/meminfo: memFree=1714632/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=22920 CPUtime=0.09 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 4948 0 0 0 8 1 0 0 20 0 1 0 24492453 23470080 4507 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 5730 4507 597 1026 0 4700 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22920 [startup+0.301972 s] /proc/loadavg: 1.18 1.10 1.02 3/106 28463 /proc/meminfo: memFree=1714632/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=24380 CPUtime=0.3 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 5678 0 0 0 27 3 0 0 20 0 1 0 24492453 24965120 5237 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6095 5237 620 1026 0 5065 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24380 [startup+0.702014 s] /proc/loadavg: 1.18 1.10 1.02 3/106 28463 /proc/meminfo: memFree=1714632/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=24380 CPUtime=0.7 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 5680 0 0 0 65 5 0 0 20 0 1 0 24492453 24965120 5239 1992294400 4194304 8395647 140733839869056 18446744073709551615 5026854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6095 5239 622 1026 0 5065 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 24380 [startup+1.5011 s] /proc/loadavg: 1.18 1.10 1.02 2/107 28464 /proc/meminfo: memFree=1696024/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=24380 CPUtime=1.49 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 5685 0 0 0 140 9 0 0 23 0 1 0 24492453 24965120 5244 1992294400 4194304 8395647 140733839869056 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6095 5244 623 1026 0 5065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24380 [startup+3.10127 s] /proc/loadavg: 1.18 1.10 1.02 2/107 28464 /proc/meminfo: memFree=1695776/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=25624 CPUtime=3.09 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 5988 0 0 0 293 16 0 0 25 0 1 0 24492453 26238976 5547 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6406 5547 624 1026 0 5376 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25624 [startup+6.30161 s] /proc/loadavg: 1.16 1.10 1.02 2/107 28464 /proc/meminfo: memFree=1693544/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=26036 CPUtime=6.29 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 6100 0 0 0 596 33 0 0 25 0 1 0 24492453 26660864 5659 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6509 5659 624 1026 0 5479 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26036 [startup+12.7013 s] /proc/loadavg: 1.15 1.10 1.02 2/107 28466 /proc/meminfo: memFree=1694288/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=24464 CPUtime=12.69 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 6890 0 0 0 1209 60 0 0 25 0 1 0 24492453 25051136 5349 1992294400 4194304 8395647 140733839869056 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 6116 5349 624 1026 0 5086 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24464 [startup+25.5017 s] /proc/loadavg: 1.12 1.09 1.01 2/107 28466 /proc/meminfo: memFree=1688956/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=30268 CPUtime=25.49 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 16490 0 0 0 2427 122 0 0 25 0 1 0 24492453 30994432 6854 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 7567 6854 624 1026 0 6537 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30268 [startup+51.1014 s] /proc/loadavg: 1.08 1.08 1.01 2/107 28466 /proc/meminfo: memFree=1673084/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=45232 CPUtime=51.07 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 47335 0 0 0 4868 239 0 0 25 0 1 0 24492453 46317568 10710 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 11308 10710 624 1026 0 10278 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45232 [startup+102.309 s] /proc/loadavg: 1.03 1.07 1.01 2/107 28468 /proc/meminfo: memFree=1650888/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=68372 CPUtime=102.25 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 83951 0 0 0 9741 484 0 0 25 0 1 0 24492453 70012928 16211 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 17093 16211 630 1026 0 16063 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 68372 [startup+162.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 28470 /proc/meminfo: memFree=1640348/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=79396 CPUtime=162.23 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 90659 0 0 0 15487 736 0 0 25 0 1 0 24492453 81301504 18977 1992294400 4194304 8395647 140733839869056 18446744073709551615 5006154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 19849 18977 630 1026 0 18819 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 79396 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.00 2/107 28470 /proc/meminfo: memFree=1621996/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=97100 CPUtime=222.22 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 96069 0 0 0 21261 961 0 0 25 0 1 0 24492453 99430400 23528 1992294400 4194304 8395647 140733839869056 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 24275 23528 630 1026 0 23245 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 97100 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 28472 /proc/meminfo: memFree=1602900/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=115976 CPUtime=282.19 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 100858 0 0 0 27030 1189 0 0 25 0 1 0 24492453 118759424 28317 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 28994 28317 630 1026 0 27964 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 115976 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28474 /proc/meminfo: memFree=1588144/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=130272 CPUtime=342.18 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 104491 0 0 0 32804 1414 0 0 25 0 1 0 24492453 133398528 31950 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 32568 31950 630 1026 0 31538 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 130272 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28476 /proc/meminfo: memFree=1569668/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=152848 CPUtime=402.16 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 109191 0 0 0 38573 1643 0 0 25 0 1 0 24492453 156516352 36650 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 38212 36650 630 1026 0 37182 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 152848 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28478 /proc/meminfo: memFree=1547596/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=174844 CPUtime=462.15 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 114849 0 0 0 44346 1869 0 0 25 0 1 0 24492453 179040256 42308 1992294400 4194304 8395647 140733839869056 18446744073709551615 5031870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 43711 42308 630 1026 0 42681 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 174844 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28478 /proc/meminfo: memFree=1523292/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=197956 CPUtime=522.12 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 120747 0 0 0 50114 2098 0 0 25 0 1 0 24492453 202706944 48206 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 49489 48206 630 1026 0 48459 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 197956 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28480 /proc/meminfo: memFree=1501840/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=218912 CPUtime=582.11 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 126087 0 0 0 55895 2316 0 0 25 0 1 0 24492453 224165888 53546 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 54728 53546 630 1026 0 53698 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 218912 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28482 /proc/meminfo: memFree=1486588/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=232992 CPUtime=642.09 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 129702 0 0 0 61669 2540 0 0 25 0 1 0 24492453 238583808 57161 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 58248 57161 630 1026 0 57218 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 232992 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1369408/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=354848 CPUtime=1061.94 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 158938 0 0 0 102068 4126 0 0 25 0 1 0 24492453 363364352 86397 1992294400 4194304 8395647 140733839869056 18446744073709551615 6311137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 88712 86397 729 1026 0 87682 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 354848 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28494 /proc/meminfo: memFree=1348824/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=374464 CPUtime=1121.93 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 164010 0 0 0 107844 4349 0 0 25 0 1 0 24492453 383451136 91469 1992294400 4194304 8395647 140733839869056 18446744073709551615 6594373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 93616 91469 729 1026 0 92586 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 374464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28496 /proc/meminfo: memFree=1325264/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=397832 CPUtime=1181.91 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 169968 0 0 0 113616 4575 0 0 25 0 1 0 24492453 407379968 97427 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 99458 97427 729 1026 0 98428 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 397832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1305424/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=416592 CPUtime=1241.89 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 174776 0 0 0 119392 4797 0 0 25 0 1 0 24492453 426590208 102235 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 104148 102235 729 1026 0 103118 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 416592 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28500 /proc/meminfo: memFree=1289180/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=432360 CPUtime=1301.88 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 178834 0 0 0 125168 5020 0 0 25 0 1 0 24492453 442736640 106293 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 108090 106293 729 1026 0 107060 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 432360 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28502 /proc/meminfo: memFree=1271076/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=450296 CPUtime=1361.85 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 183432 0 0 0 130942 5243 0 0 25 0 1 0 24492453 461103104 110891 1992294400 4194304 8395647 140733839869056 18446744073709551615 6311049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 112574 110891 729 1026 0 111544 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 450296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28502 /proc/meminfo: memFree=1255080/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=465368 CPUtime=1421.84 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 187323 0 0 0 136721 5463 0 0 25 0 1 0 24492453 476536832 114782 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 116342 114782 729 1026 0 115312 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 465368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28504 /proc/meminfo: memFree=1234620/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=485236 CPUtime=1481.82 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 192420 0 0 0 142487 5695 0 0 25 0 1 0 24492453 496881664 119879 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 121309 119879 729 1026 0 120279 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 485236 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28506 /proc/meminfo: memFree=1218996/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=500500 CPUtime=1541.79 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 196296 0 0 0 148269 5910 0 0 25 0 1 0 24492453 512512000 123755 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 125125 123755 729 1026 0 124095 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 500500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28508 /proc/meminfo: memFree=1199776/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=519220 CPUtime=1601.78 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 202804 0 0 0 154053 6125 0 0 25 0 1 0 24492453 531681280 128543 1992294400 4194304 8395647 140733839869056 18446744073709551615 5592341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 129805 128543 732 1026 0 128775 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 519220 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28510 /proc/meminfo: memFree=1185268/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=533648 CPUtime=1661.76 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 206512 0 0 0 159831 6345 0 0 25 0 1 0 24492453 546455552 132251 1992294400 4194304 8395647 140733839869056 18446744073709551615 5005948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 133412 132251 732 1026 0 132382 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 533648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28510 /proc/meminfo: memFree=1166420/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=551452 CPUtime=1721.75 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 211120 0 0 0 165607 6568 0 0 25 0 1 0 24492453 564686848 136859 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 137863 136859 732 1026 0 136833 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 551452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1144480/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=571648 CPUtime=1781.73 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216251 0 0 0 171384 6789 0 0 25 0 1 0 24492453 585367552 141990 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 142912 141990 732 1026 0 141882 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 571648 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1142868/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=572988 CPUtime=1784.93 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216590 0 0 0 171693 6800 0 0 25 0 1 0 24492453 586739712 142329 1992294400 4194304 8395647 140733839869056 18446744073709551615 4457781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 143247 142329 732 1026 0 142217 0 Current children cumulated CPU time (s) 1784.93 Current children cumulated vsize (KiB) 572988 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1141380/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=574356 CPUtime=1788.13 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216939 0 0 0 172002 6811 0 0 25 0 1 0 24492453 588140544 142678 1992294400 4194304 8395647 140733839869056 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28463/statm: 143589 142678 732 1026 0 142559 0 Current children cumulated CPU time (s) 1788.13 Current children cumulated vsize (KiB) 574356 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1141380/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=574356 CPUtime=1789.72 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216942 0 0 0 172157 6815 0 0 25 0 1 0 24492453 588140544 142681 1992294400 4194304 8395647 140733839869056 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28463/statm: 143589 142681 734 1026 0 142559 0 Current children cumulated CPU time (s) 1789.72 Current children cumulated vsize (KiB) 574356 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1141380/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=574356 CPUtime=1791.33 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216942 0 0 0 172318 6815 0 0 25 0 1 0 24492453 588140544 142681 1992294400 4194304 8395647 140733839869056 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28463/statm: 143589 142681 734 1026 0 142559 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 574356 [startup+1792.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1141380/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=574356 CPUtime=1792.12 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216942 0 0 0 172397 6815 0 0 25 0 1 0 24492453 588140544 142681 1992294400 4194304 8395647 140733839869056 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28463/statm: 143589 142681 734 1026 0 142559 0 Current children cumulated CPU time (s) 1792.12 Current children cumulated vsize (KiB) 574356 [startup+1792.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28512 /proc/meminfo: memFree=1341888/2059040 swapFree=4139492/4192956 [pid=28463] ppid=28461 vsize=318284 CPUtime=1792.33 /proc/28463/stat : 28463 (pbscip.linux.x8) R 28461 28463 28297 0 -1 4202496 216943 0 0 0 172415 6818 0 0 25 0 1 0 24492453 325922816 76041 1992294400 4194304 8395647 140733839869056 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28463/statm: 79571 75832 735 1026 0 78541 0 Current children cumulated CPU time (s) 1792.33 Current children cumulated vsize (KiB) 318284 Child status: 0 Real time (s): 1792.94 CPU time (s): 1792.37 CPU user time (s): 1724.16 CPU system time (s): 68.2146 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 574356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.16 system time used= 68.2146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216943 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= 3 involuntary context switches= 4082 runsolver used 3.06253 second user time and 8.39572 second system time The end
Begin job on node019 at 2010-07-08 06:20:03 IDJOB=2703924 IDBENCH=2924 IDSOLVER=1213 FILE ID=node019/2703924-1278562803 PBS_JOBID= 11239542 Free space on /tmp= 62408 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_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-2703924-1278562803/watcher-2703924-1278562803 -o /tmp/evaluation-result-2703924-1278562803/solver-2703924-1278562803 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703924-1278562803.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=181245638 node019.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1715036 kB Buffers: 58684 kB Cached: 197132 kB SwapCached: 7112 kB Active: 149200 kB Inactive: 120536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1715036 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 10428 kB Writeback: 0 kB AnonPages: 11304 kB Mapped: 11880 kB Slab: 52280 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181524 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= 62396 MiB End job on node019 at 2010-07-08 06:49:56