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 | 76 | 1789.66 | 1790.16 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare2_1.opb |
| MD5SUM | b994237fdc481ca53da2e19e2a850128 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25995 |
| Best CPU time to get the best result obtained on this benchmark | 1800.18 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31694 |
| Optimality of the best value was proved | NO |
| Number of variables | 330 |
| Total number of constraints | 13 |
| 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 | 13 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 150 |
| Number of terms in the objective function | 210 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 7516192761 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 7516192761 |
| Number of bits of the biggest sum of numbers | 33 |
| 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-2703854-1278557407.opb>
0.00/0.01 c original problem has 330 variables (330 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 63 del vars, 0 del conss, 63 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 63 del vars, 0 del conss, 63 chg bounds, 6 chg sides, 6 chg coeffs, 6 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/267 (37.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 63 deleted vars, 0 deleted constraints, 63 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
0.00/0.05 c 120 implications, 0 cliques
0.00/0.05 c presolved problem has 267 variables (267 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.05 c 6 constraints of type <knapsack>
0.00/0.05 c 7 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1790
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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.05 c 0.0s| 1 | 0 | 39 | - | 953k| 0 | 7 | 267 | 13 | 267 | 13 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 121 | - | 991k| 0 | 12 | 267 | 13 | 267 | 19 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 125 | - |1004k| 0 | 14 | 267 | 13 | 267 | 21 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.20 c 0.2s| 1 | 0 | 130 | - |1005k| 0 | 15 | 267 | 13 | 267 | 22 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.23 c 0.2s| 1 | 0 | 140 | - |1022k| 0 | 18 | 267 | 13 | 267 | 26 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.27 c 0.3s| 1 | 0 | 143 | - |1026k| 0 | 20 | 267 | 13 | 267 | 28 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.6s| 1 | 2 | 143 | - |1026k| 0 | 20 | 267 | 13 | 267 | 28 | 15 | 0 | 20 | 0.000000e+00 | -- | Inf
1.19/1.24 o 440728
1.19/1.24 c c 1.2s| 42 | 42 | 1076 | 22.8 |1110k| 41 | - | 267 | 13 | 267 | 26 | 15 | 0 | 295 | 0.000000e+00 | 4.407280e+05 | Inf
1.19/1.24 o 440393
1.19/1.24 c p 1.2s| 42 | 41 | 1076 | 22.8 |1150k| 41 | - | 267 | 13 | 267 | 26 | 15 | 1 | 295 | 0.000000e+00 | 4.403930e+05 | Inf
1.39/1.42 o 275184
1.39/1.42 c v 1.4s| 101 | 82 | 1697 | 15.5 |1202k| 43 | - | 267 | 13 | 267 | 26 | 15 | 2 | 508 | 0.000000e+00 | 2.751840e+05 | Inf
1.49/1.57 o 183868
1.49/1.57 c l 1.6s| 169 | 123 | 2358 | 13.2 |1238k| 43 | - | 267 | 13 | 267 | 26 | 15 | 3 | 686 | 0.000000e+00 | 1.838680e+05 | Inf
1.69/1.70 o 179441
1.69/1.70 c * 1.7s| 229 | 164 | 2931 | 12.2 |1275k| 47 | - | 267 | 13 | 267 | 26 | 15 | 5 | 851 | 0.000000e+00 | 1.794410e+05 | Inf
1.69/1.74 o 119465
1.69/1.74 c c 1.7s| 248 | 144 | 3138 | 12.1 |1275k| 48 | - | 267 | 13 | 267 | 26 | 15 | 8 | 932 | 0.000000e+00 | 1.194650e+05 | Inf
1.79/1.89 o 119180
1.79/1.89 c v 1.9s| 347 | 214 | 3917 | 10.9 |1328k| 48 | - | 267 | 13 | 267 | 26 | 15 | 8 |1026 | 0.000000e+00 | 1.191800e+05 | Inf
2.49/2.59 o 118054
2.49/2.59 c * 2.6s| 914 | 610 | 9430 | 10.2 |1573k| 48 | - | 267 | 16 | 267 | 26 | 15 | 20 |1251 | 0.000000e+00 | 1.180540e+05 | Inf
2.49/2.59 o 117775
2.49/2.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.59 c * 2.6s| 915 | 608 | 9430 | 10.2 |1577k| 48 | - | 267 | 16 | 267 | 26 | 15 | 20 |1251 | 0.000000e+00 | 1.177750e+05 | Inf
2.59/2.62 o 113051
2.59/2.62 c v 2.6s| 933 | 613 | 9547 | 10.1 |1587k| 48 | - | 267 | 16 | 267 | 26 | 15 | 20 |1270 | 0.000000e+00 | 1.130510e+05 | Inf
2.79/2.87 o 111920
2.79/2.87 c * 2.9s| 1122 | 774 | 12739 | 11.2 |1687k| 49 | - | 267 | 27 | 267 | 26 | 15 | 32 |1319 | 0.000000e+00 | 1.119200e+05 | Inf
2.89/2.93 o 77941
2.89/2.93 c v 2.9s| 1181 | 737 | 13310 | 11.2 |1641k| 49 | - | 267 | 27 | 267 | 26 | 15 | 34 |1322 | 0.000000e+00 | 7.794100e+04 | Inf
5.19/5.20 o 76974
5.19/5.20 c v 5.2s| 3361 | 2535 | 33718 | 10.0 |2636k| 54 | - | 267 | 29 | 267 | 26 | 15 | 76 |1373 | 0.000000e+00 | 7.697400e+04 | Inf
5.29/5.31 o 23879
5.29/5.31 c f 5.3s| 3477 | 2200 | 34598 | 9.9 |2345k| 70 | - | 267 | 29 | 267 | 26 | 15 | 79 |1395 | 0.000000e+00 | 2.387900e+04 | Inf
8.69/8.78 o 18351
8.69/8.78 c f 8.8s| 6083 | 3860 | 63789 | 10.5 |3188k| 70 | - | 267 | 49 | 267 | 26 | 15 | 145 |1429 | 0.000000e+00 | 1.835100e+04 | Inf
8.69/8.80 o 10458
8.69/8.80 c l 8.8s| 6094 | 3604 | 63905 | 10.5 |2990k| 70 | - | 267 | 49 | 267 | 26 | 15 | 145 |1429 | 0.000000e+00 | 1.045800e+04 | Inf
9.58/9.60 o 3559
9.58/9.60 c p 9.6s| 6830 | 3783 | 69949 | 10.2 |2998k| 74 | - | 267 | 51 | 267 | 26 | 15 | 159 |1473 | 0.000000e+00 | 3.559000e+03 | Inf
9.58/9.65 o 3525
9.58/9.65 c * 9.6s| 6884 | 3790 | 70300 | 10.2 |3007k| 76 | - | 267 | 50 | 267 | 26 | 15 | 159 |1501 | 0.000000e+00 | 3.525000e+03 | Inf
9.58/9.66 o 3342
9.58/9.66 c * 9.7s| 6890 | 3780 | 70311 | 10.2 |3005k| 79 | - | 267 | 50 | 267 | 26 | 15 | 161 |1516 | 0.000000e+00 | 3.342000e+03 | Inf
9.58/9.68 o 3317
9.58/9.68 c * 9.7s| 6918 | 3779 | 70402 | 10.2 |3007k| 79 | - | 267 | 50 | 267 | 26 | 15 | 162 |1522 | 0.000000e+00 | 3.317000e+03 | Inf
9.99/10.07 o 3297
9.99/10.07 c *10.1s| 7205 | 3945 | 73654 | 10.2 |3087k| 79 | - | 267 | 52 | 267 | 26 | 15 | 169 |1533 | 0.000000e+00 | 3.297000e+03 | Inf
12.99/13.01 c 13.0s| 10000 | 5484 | 99792 | 10.0 |3804k| 79 | 7 | 267 | 77 | 267 | 26 | 15 | 215 |1603 | 0.000000e+00 | 3.297000e+03 | Inf
12.99/13.05 o 3071
12.99/13.05 c *13.0s| 10034 | 5476 | 99929 | 9.9 |3787k| 79 | - | 267 | 77 | 267 | 26 | 15 | 217 |1646 | 0.000000e+00 | 3.071000e+03 | Inf
12.99/13.09 o 3049
12.99/13.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.99/13.09 c *13.1s| 10068 | 5485 |100015 | 9.9 |3796k| 79 | - | 267 | 77 | 267 | 26 | 15 | 218 |1682 | 0.000000e+00 | 3.049000e+03 | Inf
13.10/13.13 o 2976
13.10/13.13 c *13.1s| 10106 | 5488 |100136 | 9.9 |3802k| 79 | - | 267 | 77 | 267 | 26 | 15 | 218 |1707 | 0.000000e+00 | 2.976000e+03 | Inf
13.19/13.22 o 2956
13.19/13.22 c *13.2s| 10180 | 5490 |100338 | 9.8 |3813k| 79 | - | 267 | 77 | 267 | 26 | 15 | 218 |1745 | 0.000000e+00 | 2.956000e+03 | Inf
13.19/13.26 o 2902
13.19/13.26 c *13.2s| 10213 | 5488 |100499 | 9.8 |3821k| 79 | - | 267 | 77 | 267 | 26 | 15 | 219 |1747 | 0.000000e+00 | 2.902000e+03 | Inf
13.28/13.32 o 2866
13.28/13.32 c *13.3s| 10310 | 5473 |100779 | 9.8 |3814k| 79 | - | 267 | 77 | 267 | 26 | 15 | 221 |1752 | 0.000000e+00 | 2.866000e+03 | Inf
13.28/13.36 o 2841
13.28/13.36 c *13.3s| 10354 | 5473 |100886 | 9.7 |3820k| 79 | - | 267 | 77 | 267 | 26 | 15 | 222 |1756 | 0.000000e+00 | 2.841000e+03 | Inf
13.39/13.47 o 2821
13.39/13.47 c *13.5s| 10498 | 5481 |101458 | 9.7 |3825k| 79 | - | 267 | 77 | 267 | 26 | 15 | 222 |1757 | 0.000000e+00 | 2.821000e+03 | Inf
13.59/13.67 o 2807
13.59/13.67 c *13.7s| 10732 | 5513 |102340 | 9.5 |3841k| 79 | - | 267 | 77 | 267 | 26 | 15 | 223 |1790 | 0.000000e+00 | 2.807000e+03 | Inf
14.20/14.24 o 2796
14.20/14.24 c *14.2s| 11574 | 5611 |105330 | 9.1 |3913k| 79 | - | 267 | 82 | 267 | 26 | 15 | 235 |1826 | 0.000000e+00 | 2.796000e+03 | Inf
17.89/17.94 o 2767
17.89/17.94 c *17.9s| 17250 | 6808 |138526 | 8.0 |4548k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1865 | 0.000000e+00 | 2.767000e+03 | Inf
17.89/17.94 o 2666
17.89/17.94 c *17.9s| 17254 | 6782 |138537 | 8.0 |4524k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1865 | 0.000000e+00 | 2.666000e+03 | Inf
17.99/18.00 o 2664
17.99/18.00 c *18.0s| 17342 | 6795 |138697 | 8.0 |4536k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1875 | 0.000000e+00 | 2.664000e+03 | Inf
17.99/18.03 o 2533
17.99/18.03 c *18.0s| 17370 | 6792 |138748 | 8.0 |4539k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1877 | 0.000000e+00 | 2.533000e+03 | Inf
17.99/18.06 o 2479
17.99/18.06 c *18.1s| 17400 | 6777 |138815 | 8.0 |4536k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1882 | 0.000000e+00 | 2.479000e+03 | Inf
18.18/18.26 o 2423
18.18/18.26 c *18.2s| 17690 | 6802 |139732 | 7.9 |4553k| 79 | - | 267 | 95 | 267 | 26 | 15 | 292 |1898 | 0.000000e+00 | 2.423000e+03 | Inf
18.29/18.31 o 2354
18.29/18.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.29/18.31 c *18.3s| 17752 | 6796 |140111 | 7.9 |4551k| 79 | - | 267 | 97 | 267 | 26 | 15 | 294 |1898 | 0.000000e+00 | 2.354000e+03 | Inf
19.59/19.68 c 19.7s| 20000 | 7066 |152114 | 7.6 |4686k| 79 | - | 267 | 95 | 267 | 26 | 15 | 297 |1903 | 0.000000e+00 | 2.354000e+03 | Inf
19.80/19.88 o 2249
19.80/19.88 c *19.9s| 20336 | 7182 |153396 | 7.5 |4770k| 79 | - | 267 | 95 | 267 | 26 | 15 | 301 |1905 | 0.000000e+00 | 2.249000e+03 | Inf
19.89/19.90 o 2216
19.89/19.90 c *19.9s| 20356 | 7185 |153432 | 7.5 |4776k| 83 | - | 267 | 95 | 267 | 26 | 15 | 301 |1905 | 0.000000e+00 | 2.216000e+03 | Inf
19.89/19.91 o 2214
19.89/19.91 c *19.9s| 20375 | 7188 |153477 | 7.5 |4783k| 83 | - | 267 | 95 | 267 | 26 | 15 | 301 |1909 | 0.000000e+00 | 2.214000e+03 | Inf
19.89/19.92 o 2037
19.89/19.92 c *19.9s| 20376 | 7162 |153477 | 7.5 |4758k| 83 | - | 267 | 95 | 267 | 26 | 15 | 301 |1909 | 0.000000e+00 | 2.037000e+03 | Inf
19.89/19.95 o 2035
19.89/19.95 c *19.9s| 20414 | 7174 |153781 | 7.5 |4766k| 83 | - | 267 | 86 | 267 | 26 | 15 | 301 |1909 | 0.000000e+00 | 2.035000e+03 | Inf
19.99/20.00 o 2010
19.99/20.00 c *20.0s| 20469 | 7172 |154139 | 7.5 |4769k| 83 | - | 267 | 86 | 267 | 26 | 15 | 303 |1909 | 0.000000e+00 | 2.010000e+03 | Inf
19.99/20.06 o 1907
19.99/20.06 c *20.1s| 20556 | 7157 |154486 | 7.5 |4762k| 83 | - | 267 | 86 | 267 | 26 | 15 | 309 |1909 | 0.000000e+00 | 1.907000e+03 | Inf
25.09/25.12 c 25.1s| 30000 | 7906 |198073 | 6.6 |5212k| 83 | 7 | 267 | 95 | 267 | 26 | 15 | 339 |2022 | 0.000000e+00 | 1.907000e+03 | Inf
26.69/26.79 o 1892
26.69/26.79 c *26.8s| 32869 | 8049 |213470 | 6.5 |5339k| 83 | - | 267 | 102 | 267 | 26 | 15 | 373 |2171 | 0.000000e+00 | 1.892000e+03 | Inf
26.69/26.79 o 1790
26.69/26.79 c *26.8s| 32871 | 8023 |213474 | 6.5 |5307k| 83 | - | 267 | 102 | 267 | 26 | 15 | 373 |2177 | 0.000000e+00 | 1.790000e+03 | Inf
26.69/26.79 o 1613
26.69/26.79 c *26.8s| 32872 | 8005 |213474 | 6.5 |5286k| 83 | - | 267 | 102 | 267 | 26 | 15 | 373 |2177 | 0.000000e+00 | 1.613000e+03 | Inf
26.78/26.82 o 1595
26.78/26.82 c *26.8s| 32888 | 8015 |213532 | 6.5 |5296k| 83 | - | 267 | 102 | 267 | 26 | 15 | 374 |2205 | 0.000000e+00 | 1.595000e+03 | Inf
26.78/26.82 o 1418
26.78/26.82 c *26.8s| 32889 | 7995 |213536 | 6.5 |5281k| 83 | - | 267 | 102 | 267 | 26 | 15 | 374 |2205 | 0.000000e+00 | 1.418000e+03 | Inf
26.78/26.85 o 1416
26.78/26.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.78/26.85 c *26.8s| 32909 | 8005 |213626 | 6.5 |5295k| 86 | - | 267 | 102 | 267 | 26 | 15 | 376 |2228 | 0.000000e+00 | 1.416000e+03 | Inf
26.78/26.85 o 1393
26.78/26.85 c *26.8s| 32910 | 8004 |213633 | 6.5 |5299k| 86 | - | 267 | 102 | 267 | 26 | 15 | 376 |2228 | 0.000000e+00 | 1.393000e+03 | Inf
26.78/26.89 o 1261
26.78/26.89 c *26.9s| 32944 | 8017 |213877 | 6.5 |5304k| 86 | - | 267 | 103 | 267 | 26 | 15 | 380 |2238 | 0.000000e+00 | 1.261000e+03 | Inf
26.89/26.90 o 972
26.89/26.90 c *26.9s| 32955 | 7992 |213916 | 6.5 |5282k| 86 | - | 267 | 103 | 267 | 26 | 15 | 380 |2242 | 0.000000e+00 | 9.720000e+02 | Inf
26.89/26.93 o 853
26.89/26.93 c *26.9s| 32976 | 7986 |213964 | 6.5 |5275k| 89 | - | 267 | 103 | 267 | 26 | 15 | 384 |2266 | 0.000000e+00 | 8.530000e+02 | Inf
26.89/26.93 o 676
26.89/26.93 c *26.9s| 32977 | 7972 |213964 | 6.5 |5269k| 89 | - | 267 | 103 | 267 | 26 | 15 | 384 |2266 | 0.000000e+00 | 6.760000e+02 | Inf
30.99/31.02 c 31.0s| 40000 | 8009 |257982 | 6.4 |5305k| 89 | - | 267 | 103 | 267 | 26 | 15 | 427 |2391 | 0.000000e+00 | 6.760000e+02 | Inf
34.28/34.34 o 675
34.28/34.34 c *34.3s| 45604 | 7990 |292246 | 6.4 |5321k| 89 | - | 267 | 106 | 267 | 26 | 15 | 451 |2708 | 0.000000e+00 | 6.750000e+02 | Inf
34.38/34.47 o 673
34.38/34.47 c *34.5s| 45804 | 7984 |292787 | 6.4 |5323k| 89 | - | 267 | 105 | 267 | 26 | 15 | 451 |2741 | 0.000000e+00 | 6.730000e+02 | Inf
37.08/37.14 c 37.1s| 50000 | 7980 |323500 | 6.5 |5320k| 89 | 7 | 267 | 109 | 267 | 26 | 15 | 460 |2828 | 0.000000e+00 | 6.730000e+02 | Inf
42.97/43.04 c 43.0s| 60000 | 7955 |393537 | 6.6 |5309k| 89 | 7 | 267 | 118 | 267 | 26 | 15 | 488 |3210 | 0.000000e+00 | 6.730000e+02 | Inf
48.48/48.51 c 48.5s| 70000 | 7847 |448793 | 6.4 |5246k| 89 | 7 | 267 | 146 | 267 | 26 | 15 | 537 |3409 | 0.000000e+00 | 6.730000e+02 | Inf
53.47/53.58 c 53.6s| 80000 | 7848 |494901 | 6.2 |5257k| 89 | - | 267 | 161 | 267 | 26 | 15 | 564 |3564 | 0.000000e+00 | 6.730000e+02 | Inf
58.47/58.56 c 58.5s| 90000 | 7929 |538645 | 6.0 |5339k| 89 | 7 | 267 | 184 | 267 | 26 | 15 | 595 |3710 | 0.000000e+00 | 6.730000e+02 | Inf
63.78/63.83 c 63.8s|100000 | 7822 |591160 | 5.9 |5266k| 89 | - | 267 | 207 | 267 | 26 | 15 | 627 |3942 | 0.000000e+00 | 6.730000e+02 | Inf
68.97/69.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.97/69.06 c 69.0s|110000 | 7919 |638991 | 5.8 |5358k| 89 | 7 | 267 | 222 | 267 | 26 | 15 | 672 |4261 | 0.000000e+00 | 6.730000e+02 | Inf
73.97/74.01 c 74.0s|120000 | 7941 |683879 | 5.7 |5376k| 89 | - | 267 | 226 | 267 | 26 | 15 | 681 |4372 | 0.000000e+00 | 6.730000e+02 | Inf
78.86/78.98 c 79.0s|130000 | 7939 |728785 | 5.6 |5387k| 89 | 7 | 267 | 234 | 267 | 26 | 15 | 706 |4518 | 0.000000e+00 | 6.730000e+02 | Inf
83.77/83.88 c 83.9s|140000 | 8002 |771616 | 5.5 |5428k| 89 | - | 267 | 240 | 267 | 26 | 15 | 722 |4658 | 0.000000e+00 | 6.730000e+02 | Inf
88.98/89.01 c 89.0s|150000 | 8021 |817832 | 5.5 |5466k| 89 | 7 | 267 | 246 | 267 | 26 | 15 | 772 |4791 | 0.000000e+00 | 6.730000e+02 | Inf
93.87/93.94 c 93.9s|160000 | 8035 |861660 | 5.4 |5493k| 89 | 7 | 267 | 258 | 267 | 26 | 15 | 795 |4893 | 0.000000e+00 | 6.730000e+02 | Inf
98.66/98.77 c 98.8s|170000 | 7973 |903404 | 5.3 |5456k| 89 | 7 | 267 | 271 | 267 | 26 | 15 | 819 |4994 | 0.000000e+00 | 6.730000e+02 | Inf
103.56/103.65 c 104s|180000 | 7923 |945092 | 5.2 |5425k| 89 | 7 | 267 | 282 | 267 | 26 | 15 | 849 |5121 | 0.000000e+00 | 6.730000e+02 | Inf
108.56/108.68 c 109s|190000 | 7866 |990700 | 5.2 |5375k| 89 | 7 | 267 | 278 | 267 | 26 | 15 | 874 |5246 | 0.000000e+00 | 6.730000e+02 | Inf
113.56/113.63 c 114s|200000 | 7907 | 1034k| 5.2 |5409k| 89 | - | 267 | 271 | 267 | 26 | 15 | 904 |5363 | 0.000000e+00 | 6.730000e+02 | Inf
118.67/118.72 c 119s|210000 | 7813 | 1081k| 5.1 |5330k| 89 | - | 267 | 274 | 267 | 26 | 15 | 943 |5490 | 0.000000e+00 | 6.730000e+02 | Inf
123.86/123.91 c 124s|220000 | 7756 | 1128k| 5.1 |5298k| 89 | 7 | 267 | 271 | 267 | 26 | 15 | 967 |5722 | 0.000000e+00 | 6.730000e+02 | Inf
128.86/128.99 c 129s|230000 | 7760 | 1173k| 5.1 |5330k| 89 | - | 267 | 285 | 267 | 26 | 15 |1003 |5904 | 0.000000e+00 | 6.730000e+02 | Inf
133.85/133.95 c 134s|240000 | 7727 | 1218k| 5.1 |5304k| 89 | - | 267 | 295 | 267 | 26 | 15 |1027 |6028 | 0.000000e+00 | 6.730000e+02 | Inf
138.86/138.94 c 139s|250000 | 7870 | 1263k| 5.1 |5406k| 89 | - | 267 | 284 | 267 | 26 | 15 |1055 |6152 | 0.000000e+00 | 6.730000e+02 | Inf
143.85/143.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.85/143.92 c 144s|260000 | 7764 | 1307k| 5.0 |5326k| 89 | 7 | 267 | 271 | 267 | 26 | 15 |1083 |6256 | 0.000000e+00 | 6.730000e+02 | Inf
148.75/148.89 c 149s|270000 | 7767 | 1351k| 5.0 |5353k| 89 | 7 | 267 | 282 | 267 | 26 | 15 |1116 |6348 | 0.000000e+00 | 6.730000e+02 | Inf
154.05/154.14 c 154s|280000 | 7675 | 1400k| 5.0 |5259k| 89 | - | 267 | 264 | 267 | 26 | 15 |1154 |6494 | 0.000000e+00 | 6.730000e+02 | Inf
159.74/159.80 c 160s|290000 | 7626 | 1460k| 5.0 |5234k| 89 | 7 | 267 | 255 | 267 | 26 | 15 |1218 |6769 | 0.000000e+00 | 6.730000e+02 | Inf
164.45/164.59 c 165s|300000 | 7675 | 1499k| 5.0 |5265k| 89 | 7 | 267 | 246 | 267 | 26 | 15 |1230 |6835 | 0.000000e+00 | 6.730000e+02 | Inf
169.45/169.52 c 170s|310000 | 7603 | 1545k| 5.0 |5224k| 89 | - | 267 | 242 | 267 | 26 | 15 |1238 |6939 | 0.000000e+00 | 6.730000e+02 | Inf
174.44/174.52 c 175s|320000 | 7535 | 1590k| 5.0 |5165k| 89 | 7 | 267 | 244 | 267 | 26 | 15 |1256 |7013 | 0.000000e+00 | 6.730000e+02 | Inf
179.54/179.60 c 180s|330000 | 7685 | 1635k| 5.0 |5280k| 89 | 7 | 267 | 237 | 267 | 26 | 15 |1291 |7109 | 0.000000e+00 | 6.730000e+02 | Inf
184.54/184.69 c 185s|340000 | 7649 | 1679k| 4.9 |5283k| 89 | - | 267 | 248 | 267 | 26 | 15 |1314 |7211 | 0.000000e+00 | 6.730000e+02 | Inf
189.74/189.84 c 190s|350000 | 7686 | 1726k| 4.9 |5340k| 89 | - | 267 | 255 | 267 | 26 | 15 |1340 |7346 | 0.000000e+00 | 6.730000e+02 | Inf
194.73/194.82 c 195s|360000 | 7699 | 1767k| 4.9 |5350k| 89 | - | 267 | 248 | 267 | 26 | 15 |1351 |7581 | 0.000000e+00 | 6.730000e+02 | Inf
199.54/199.69 c 200s|370000 | 7893 | 1809k| 4.9 |5478k| 89 | - | 267 | 233 | 267 | 26 | 15 |1368 |7611 | 0.000000e+00 | 6.730000e+02 | Inf
204.64/204.72 c 205s|380000 | 7895 | 1854k| 4.9 |5494k| 89 | 7 | 267 | 221 | 267 | 26 | 15 |1394 |7692 | 0.000000e+00 | 6.730000e+02 | Inf
209.53/209.62 c 210s|390000 | 7931 | 1897k| 4.9 |5544k| 89 | - | 267 | 220 | 267 | 26 | 15 |1418 |7797 | 0.000000e+00 | 6.730000e+02 | Inf
214.83/214.94 c 215s|400000 | 7949 | 1949k| 4.9 |5573k| 89 | 7 | 267 | 230 | 267 | 26 | 15 |1476 |7920 | 0.000000e+00 | 6.730000e+02 | Inf
220.24/220.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.24/220.30 c 220s|410000 | 7993 | 1999k| 4.9 |5635k| 89 | - | 267 | 215 | 267 | 26 | 15 |1547 |8049 | 0.000000e+00 | 6.730000e+02 | Inf
225.73/225.90 c 226s|420000 | 8385 | 2053k| 4.9 |5887k| 89 | 7 | 267 | 204 | 267 | 26 | 15 |1593 |8404 | 0.000000e+00 | 6.730000e+02 | Inf
230.93/231.09 c 231s|430000 | 8537 | 2105k| 4.9 |6019k| 89 | - | 267 | 198 | 267 | 26 | 15 |1623 |8441 | 0.000000e+00 | 6.730000e+02 | Inf
231.94/232.01 o 560
231.94/232.01 c * 232s|431475 | 8636 | 2113k| 4.9 |6023k| 89 | - | 267 | 184 | 267 | 26 | 15 |1640 |8662 | 0.000000e+00 | 5.600000e+02 | Inf
231.94/232.06 o 411
231.94/232.06 c * 232s|431501 | 8617 | 2113k| 4.9 |5958k| 89 | - | 267 | 184 | 267 | 26 | 15 |1641 |8747 | 0.000000e+00 | 4.110000e+02 | Inf
232.13/232.22 o 390
232.13/232.22 c * 232s|431582 | 8641 | 2113k| 4.9 |5978k| 89 | - | 267 | 179 | 267 | 26 | 15 |1649 |9020 | 0.000000e+00 | 3.900000e+02 | Inf
232.13/232.26 o 215
232.13/232.26 c * 232s|431600 | 8599 | 2113k| 4.9 |5932k| 89 | - | 267 | 179 | 267 | 26 | 15 |1651 |9076 | 0.000000e+00 | 2.150000e+02 | Inf
236.73/236.81 c 237s|440000 | 9228 | 2156k| 4.9 |6281k| 89 | 7 | 267 | 183 | 267 | 26 | 15 |1701 |9243 | 0.000000e+00 | 2.150000e+02 | Inf
241.62/241.79 c 242s|450000 | 9805 | 2202k| 4.9 |6646k| 89 | 7 | 267 | 199 | 267 | 26 | 15 |1730 |9286 | 0.000000e+00 | 2.150000e+02 | Inf
246.62/246.74 c 247s|460000 | 10275 | 2247k| 4.9 |6960k| 89 | - | 267 | 214 | 267 | 26 | 15 |1757 |9330 | 0.000000e+00 | 2.150000e+02 | Inf
251.52/251.63 c 252s|470000 | 10495 | 2293k| 4.9 |7131k| 89 | - | 267 | 208 | 267 | 26 | 15 |1773 |9429 | 0.000000e+00 | 2.150000e+02 | Inf
256.72/256.83 c 257s|480000 | 11093 | 2342k| 4.9 |7542k| 89 | 7 | 267 | 212 | 267 | 26 | 15 |1815 |9539 | 0.000000e+00 | 2.150000e+02 | Inf
262.12/262.20 c 262s|490000 | 11645 | 2393k| 4.9 |7896k| 89 | 7 | 267 | 216 | 267 | 26 | 15 |1876 |9693 | 0.000000e+00 | 2.150000e+02 | Inf
267.31/267.47 c 267s|500000 | 12039 | 2444k| 4.9 |8212k| 89 | - | 267 | 207 | 267 | 26 | 15 |1949 |9829 | 0.000000e+00 | 2.150000e+02 | Inf
272.51/272.62 c 273s|510000 | 12138 | 2491k| 4.9 |8335k| 89 | - | 267 | 198 | 267 | 26 | 15 |2017 |9967 | 0.000000e+00 | 2.150000e+02 | Inf
278.02/278.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.02/278.17 c 278s|520000 | 12660 | 2541k| 4.9 |8727k| 89 | - | 267 | 190 | 267 | 26 | 15 |2130 | 10k| 0.000000e+00 | 2.150000e+02 | Inf
283.32/283.42 c 283s|530000 | 12752 | 2591k| 4.9 |8835k| 89 | 7 | 267 | 187 | 267 | 26 | 15 |2181 | 10k| 0.000000e+00 | 2.150000e+02 | Inf
288.41/288.57 c 289s|540000 | 13082 | 2638k| 4.9 |9085k| 89 | - | 267 | 193 | 267 | 26 | 15 |2220 | 11k| 0.000000e+00 | 2.150000e+02 | Inf
293.91/294.02 c 294s|550000 | 13655 | 2688k| 4.9 |9470k| 89 | - | 267 | 169 | 267 | 26 | 15 |2282 | 11k| 0.000000e+00 | 2.150000e+02 | Inf
299.21/299.31 c 299s|560000 | 13958 | 2736k| 4.9 |9739k| 89 | - | 267 | 160 | 267 | 26 | 15 |2343 | 12k| 0.000000e+00 | 2.150000e+02 | Inf
304.31/304.41 c 304s|570000 | 14062 | 2786k| 4.9 |9839k| 89 | - | 267 | 154 | 267 | 26 | 15 |2388 | 12k| 0.000000e+00 | 2.150000e+02 | Inf
305.62/305.79 o 205
305.62/305.79 c * 306s|572610 | 14206 | 2798k| 4.9 |9939k| 89 | - | 267 | 157 | 267 | 26 | 15 |2397 | 12k| 0.000000e+00 | 2.050000e+02 | Inf
309.50/309.66 c 310s|580000 | 14142 | 2832k| 4.9 |9944k| 89 | - | 267 | 152 | 267 | 26 | 15 |2421 | 12k| 0.000000e+00 | 2.050000e+02 | Inf
314.80/314.90 c 315s|590000 | 14315 | 2883k| 4.9 | 10M| 89 | 7 | 267 | 157 | 267 | 26 | 15 |2470 | 12k| 0.000000e+00 | 2.050000e+02 | Inf
319.92/320.10 c 320s|600000 | 14525 | 2934k| 4.9 | 10M| 89 | - | 267 | 166 | 267 | 26 | 15 |2515 | 12k| 0.000000e+00 | 2.050000e+02 | Inf
325.10/325.26 c 325s|610000 | 15077 | 2985k| 4.9 | 10M| 89 | 7 | 267 | 183 | 267 | 26 | 15 |2548 | 12k| 0.000000e+00 | 2.050000e+02 | Inf
326.90/327.06 o 159
326.90/327.06 c * 327s|613432 | 15210 | 3001k| 4.9 | 10M| 90 | - | 267 | 186 | 267 | 26 | 15 |2579 | 12k| 0.000000e+00 | 1.590000e+02 | Inf
329.10/329.20 o 137
329.10/329.20 c * 329s|617360 | 15409 | 3020k| 4.9 | 10M| 92 | - | 267 | 187 | 267 | 26 | 15 |2629 | 12k| 0.000000e+00 | 1.370000e+02 | Inf
330.40/330.56 c 331s|620000 | 15429 | 3032k| 4.9 | 10M| 92 | - | 267 | 186 | 267 | 26 | 15 |2654 | 12k| 0.000000e+00 | 1.370000e+02 | Inf
335.60/335.74 c 336s|630000 | 15653 | 3082k| 4.9 | 10M| 92 | 7 | 267 | 185 | 267 | 26 | 15 |2687 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
340.60/340.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.60/340.76 c 341s|640000 | 15602 | 3129k| 4.9 | 10M| 92 | - | 267 | 188 | 267 | 26 | 15 |2713 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
345.49/345.69 c 346s|650000 | 15707 | 3176k| 4.9 | 10M| 92 | - | 267 | 190 | 267 | 26 | 15 |2740 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
350.70/350.83 c 351s|660000 | 15889 | 3227k| 4.9 | 11M| 92 | - | 267 | 185 | 267 | 26 | 15 |2776 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
355.70/355.81 c 356s|670000 | 15948 | 3274k| 4.9 | 11M| 92 | 7 | 267 | 181 | 267 | 26 | 15 |2798 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
360.89/361.05 c 361s|680000 | 16234 | 3324k| 4.9 | 11M| 92 | 7 | 267 | 184 | 267 | 26 | 15 |2833 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
366.09/366.23 c 366s|690000 | 16510 | 3374k| 4.9 | 11M| 92 | 7 | 267 | 182 | 267 | 26 | 15 |2874 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
371.28/371.46 c 371s|700000 | 16807 | 3422k| 4.9 | 11M| 92 | - | 267 | 176 | 267 | 26 | 15 |2904 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
376.49/376.64 c 377s|710000 | 16840 | 3472k| 4.9 | 11M| 92 | 7 | 267 | 175 | 267 | 26 | 15 |2947 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
381.69/381.85 c 382s|720000 | 16818 | 3523k| 4.9 | 11M| 92 | - | 267 | 175 | 267 | 26 | 15 |2995 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
386.68/386.83 c 387s|730000 | 16747 | 3570k| 4.9 | 11M| 92 | 7 | 267 | 166 | 267 | 26 | 15 |3021 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
391.58/391.78 c 392s|740000 | 16984 | 3617k| 4.9 | 11M| 92 | - | 267 | 175 | 267 | 26 | 15 |3041 | 13k| 0.000000e+00 | 1.370000e+02 | Inf
396.48/396.68 c 397s|750000 | 16970 | 3661k| 4.9 | 11M| 92 | - | 267 | 173 | 267 | 26 | 15 |3061 | 14k| 0.000000e+00 | 1.370000e+02 | Inf
401.48/401.64 c 402s|760000 | 16898 | 3709k| 4.9 | 11M| 92 | 7 | 267 | 165 | 267 | 26 | 15 |3079 | 14k| 0.000000e+00 | 1.370000e+02 | Inf
406.58/406.78 c 407s|770000 | 16898 | 3760k| 4.9 | 11M| 92 | 7 | 267 | 165 | 267 | 26 | 15 |3140 | 14k| 0.000000e+00 | 1.370000e+02 | Inf
411.97/412.13 c 412s|780000 | 16837 | 3808k| 4.9 | 11M| 99 | 7 | 267 | 147 | 267 | 26 | 15 |3235 | 14k| 0.000000e+00 | 1.370000e+02 | Inf
416.98/417.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.98/417.13 c 417s|790000 | 16848 | 3857k| 4.9 | 11M| 99 | - | 267 | 147 | 267 | 26 | 15 |3267 | 14k| 0.000000e+00 | 1.370000e+02 | Inf
421.88/422.07 c 422s|800000 | 16860 | 3903k| 4.9 | 11M| 99 | 7 | 267 | 139 | 267 | 26 | 15 |3294 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
426.97/427.16 c 427s|810000 | 16907 | 3953k| 4.9 | 11M| 99 | 7 | 267 | 137 | 267 | 26 | 15 |3329 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
432.08/432.27 c 432s|820000 | 16806 | 4003k| 4.9 | 11M| 99 | - | 267 | 144 | 267 | 26 | 15 |3362 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
437.18/437.38 c 437s|830000 | 16789 | 4053k| 4.9 | 11M| 99 | 7 | 267 | 146 | 267 | 26 | 15 |3421 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
442.27/442.48 c 442s|840000 | 16736 | 4101k| 4.9 | 11M| 99 | - | 267 | 137 | 267 | 26 | 15 |3448 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
447.48/447.69 c 448s|850000 | 16818 | 4156k| 4.9 | 11M| 99 | 7 | 267 | 147 | 267 | 26 | 15 |3483 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
452.57/452.71 c 453s|860000 | 16762 | 4207k| 4.9 | 11M| 99 | - | 267 | 151 | 267 | 26 | 15 |3506 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
457.66/457.87 c 458s|870000 | 16692 | 4260k| 4.9 | 11M| 99 | 7 | 267 | 160 | 267 | 26 | 15 |3547 | 15k| 0.000000e+00 | 1.370000e+02 | Inf
462.76/462.98 c 463s|880000 | 16719 | 4304k| 4.9 | 11M| 99 | 7 | 267 | 154 | 267 | 26 | 15 |3578 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
467.87/468.05 c 468s|890000 | 16737 | 4354k| 4.9 | 11M| 99 | - | 267 | 169 | 267 | 26 | 15 |3620 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
472.96/473.13 c 473s|900000 | 16635 | 4401k| 4.9 | 11M| 99 | - | 267 | 157 | 267 | 26 | 15 |3652 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
477.96/478.15 c 478s|910000 | 16589 | 4445k| 4.9 | 11M| 99 | - | 267 | 169 | 267 | 26 | 15 |3751 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
483.16/483.32 c 483s|920000 | 16682 | 4497k| 4.9 | 11M| 99 | - | 267 | 157 | 267 | 26 | 15 |3787 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
488.27/488.41 c 488s|930000 | 17402 | 4546k| 4.9 | 12M| 99 | - | 267 | 162 | 267 | 26 | 15 |3819 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
493.16/493.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.16/493.39 c 493s|940000 | 17571 | 4594k| 4.9 | 12M| 99 | 7 | 267 | 166 | 267 | 26 | 15 |3851 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
498.07/498.23 c 498s|950000 | 17581 | 4638k| 4.9 | 12M| 99 | - | 267 | 158 | 267 | 26 | 15 |3878 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
503.05/503.28 c 503s|960000 | 17463 | 4687k| 4.9 | 12M| 99 | 7 | 267 | 152 | 267 | 26 | 15 |3921 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
508.15/508.37 c 508s|970000 | 17380 | 4733k| 4.9 | 12M| 99 | 7 | 267 | 154 | 267 | 26 | 15 |3972 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
513.35/513.55 c 514s|980000 | 17575 | 4784k| 4.9 | 12M| 99 | 7 | 267 | 158 | 267 | 26 | 15 |4030 | 16k| 0.000000e+00 | 1.370000e+02 | Inf
518.45/518.64 c 519s|990000 | 17537 | 4833k| 4.9 | 12M| 99 | 7 | 267 | 160 | 267 | 26 | 15 |4089 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
523.55/523.71 c 524s| 1000k| 17501 | 4882k| 4.9 | 12M| 99 | - | 267 | 156 | 267 | 26 | 15 |4129 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
528.55/528.72 c 529s| 1010k| 17747 | 4930k| 4.9 | 12M| 99 | - | 267 | 159 | 267 | 26 | 15 |4157 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
533.44/533.68 c 534s| 1020k| 17840 | 4978k| 4.9 | 12M| 99 | - | 267 | 164 | 267 | 26 | 15 |4195 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
538.75/539.00 c 539s| 1030k| 18051 | 5029k| 4.9 | 12M| 99 | - | 267 | 178 | 267 | 26 | 15 |4245 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
544.05/544.21 c 544s| 1040k| 18335 | 5081k| 4.9 | 13M| 99 | - | 267 | 180 | 267 | 26 | 15 |4283 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
549.14/549.32 c 549s| 1050k| 18662 | 5129k| 4.9 | 13M| 99 | - | 267 | 192 | 267 | 26 | 15 |4338 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
554.15/554.30 c 554s| 1060k| 18696 | 5176k| 4.9 | 13M| 99 | 7 | 267 | 184 | 267 | 26 | 15 |4355 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
559.14/559.38 c 559s| 1070k| 18896 | 5225k| 4.9 | 13M| 99 | - | 267 | 190 | 267 | 26 | 15 |4394 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
564.34/564.55 c 565s| 1080k| 19239 | 5276k| 4.9 | 13M| 99 | 7 | 267 | 192 | 267 | 26 | 15 |4456 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
569.44/569.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.44/569.62 c 570s| 1090k| 19345 | 5325k| 4.9 | 13M| 99 | 7 | 267 | 207 | 267 | 26 | 15 |4484 | 17k| 0.000000e+00 | 1.370000e+02 | Inf
574.33/574.59 c 575s| 1100k| 19451 | 5373k| 4.9 | 13M| 99 | 7 | 267 | 212 | 267 | 26 | 15 |4531 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
579.33/579.58 c 580s| 1110k| 19451 | 5415k| 4.9 | 13M| 99 | - | 267 | 205 | 267 | 26 | 15 |4635 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
584.43/584.60 c 585s| 1120k| 19517 | 5464k| 4.9 | 13M| 99 | 7 | 267 | 204 | 267 | 26 | 15 |4657 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
589.53/589.74 c 590s| 1130k| 19473 | 5513k| 4.9 | 13M| 99 | 7 | 267 | 199 | 267 | 26 | 15 |4682 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
594.62/594.82 c 595s| 1140k| 19511 | 5565k| 4.9 | 13M| 99 | - | 267 | 205 | 267 | 26 | 15 |4711 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
599.63/599.83 c 600s| 1150k| 19456 | 5613k| 4.9 | 13M| 99 | 7 | 267 | 206 | 267 | 26 | 15 |4751 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
604.74/604.91 c 605s| 1160k| 19394 | 5661k| 4.9 | 13M| 99 | 7 | 267 | 202 | 267 | 26 | 15 |4806 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
609.72/609.94 c 610s| 1170k| 19731 | 5705k| 4.9 | 14M| 99 | 7 | 267 | 208 | 267 | 26 | 15 |4836 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
614.42/614.68 c 615s| 1180k| 19701 | 5749k| 4.9 | 14M| 99 | 7 | 267 | 211 | 267 | 26 | 15 |4862 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
619.52/619.77 c 620s| 1190k| 19769 | 5800k| 4.9 | 14M| 99 | 7 | 267 | 220 | 267 | 26 | 15 |4902 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
624.33/624.53 c 625s| 1200k| 19751 | 5843k| 4.9 | 14M| 99 | - | 267 | 216 | 267 | 26 | 15 |4924 | 18k| 0.000000e+00 | 1.370000e+02 | Inf
629.22/629.43 c 629s| 1210k| 19822 | 5887k| 4.9 | 14M| 99 | - | 267 | 220 | 267 | 26 | 15 |4965 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
633.91/634.12 c 634s| 1220k| 19856 | 5928k| 4.9 | 14M| 99 | - | 267 | 226 | 267 | 26 | 15 |4980 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
638.62/638.87 c 639s| 1230k| 19840 | 5970k| 4.9 | 14M| 99 | 7 | 267 | 226 | 267 | 26 | 15 |5001 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
643.82/644.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.82/644.04 c 644s| 1240k| 19763 | 6017k| 4.9 | 14M| 99 | 7 | 267 | 209 | 267 | 26 | 15 |5050 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
649.01/649.29 c 649s| 1250k| 19993 | 6070k| 4.9 | 14M| 99 | - | 267 | 214 | 267 | 26 | 15 |5085 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
654.21/654.49 c 654s| 1260k| 20324 | 6123k| 4.9 | 14M| 99 | - | 267 | 237 | 267 | 26 | 15 |5145 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
659.30/659.56 c 660s| 1270k| 20409 | 6172k| 4.9 | 14M| 99 | 7 | 267 | 232 | 267 | 26 | 15 |5183 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
664.30/664.55 c 665s| 1280k| 20661 | 6220k| 4.9 | 14M| 99 | - | 267 | 228 | 267 | 26 | 15 |5215 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
669.39/669.60 c 670s| 1290k| 20816 | 6266k| 4.9 | 14M| 99 | - | 267 | 233 | 267 | 26 | 15 |5366 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
674.59/674.81 c 675s| 1300k| 20944 | 6315k| 4.9 | 14M| 99 | 7 | 267 | 228 | 267 | 26 | 15 |5411 | 19k| 0.000000e+00 | 1.370000e+02 | Inf
679.79/680.01 c 680s| 1310k| 20921 | 6361k| 4.9 | 14M| 99 | 7 | 267 | 233 | 267 | 26 | 15 |5535 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
684.89/685.15 c 685s| 1320k| 21083 | 6410k| 4.9 | 15M| 99 | 7 | 267 | 235 | 267 | 26 | 15 |5593 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
689.99/690.27 c 690s| 1330k| 21105 | 6461k| 4.9 | 15M| 99 | 7 | 267 | 237 | 267 | 26 | 15 |5639 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
695.09/695.35 c 695s| 1340k| 21207 | 6511k| 4.9 | 15M| 99 | - | 267 | 247 | 0 | 0 | 15 |5672 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
700.19/700.45 c 700s| 1350k| 21332 | 6562k| 4.9 | 15M| 99 | - | 267 | 253 | 267 | 26 | 15 |5708 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
704.98/705.29 c 705s| 1360k| 21420 | 6605k| 4.9 | 15M| 99 | - | 267 | 262 | 267 | 26 | 15 |5740 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
710.18/710.44 c 710s| 1370k| 21421 | 6655k| 4.9 | 15M| 99 | - | 267 | 264 | 267 | 26 | 15 |5791 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
715.28/715.53 c 716s| 1380k| 21407 | 6704k| 4.9 | 15M| 99 | - | 267 | 268 | 267 | 26 | 15 |5835 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
720.18/720.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.18/720.49 c 720s| 1390k| 21396 | 6746k| 4.9 | 15M| 99 | - | 267 | 268 | 267 | 26 | 15 |5919 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
725.28/725.58 c 726s| 1400k| 21648 | 6797k| 4.9 | 15M| 99 | - | 267 | 262 | 267 | 26 | 15 |5951 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
730.18/730.41 c 730s| 1410k| 21730 | 6842k| 4.9 | 15M| 99 | - | 267 | 261 | 267 | 26 | 15 |5972 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
734.98/735.27 c 735s| 1420k| 22078 | 6884k| 4.8 | 15M| 99 | - | 267 | 263 | 267 | 26 | 15 |6117 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
740.08/740.33 c 740s| 1430k| 22249 | 6932k| 4.8 | 16M| 99 | 7 | 267 | 268 | 267 | 26 | 15 |6175 | 20k| 0.000000e+00 | 1.370000e+02 | Inf
745.27/745.59 c 746s| 1440k| 22277 | 6977k| 4.8 | 16M| 99 | 7 | 267 | 263 | 267 | 26 | 15 |6427 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
750.47/750.71 c 751s| 1450k| 22250 | 7027k| 4.8 | 16M| 99 | - | 267 | 259 | 267 | 26 | 15 |6497 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
755.58/755.80 c 756s| 1460k| 22255 | 7076k| 4.8 | 16M| 99 | 7 | 267 | 268 | 267 | 26 | 15 |6552 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
760.67/760.96 c 761s| 1470k| 22367 | 7128k| 4.8 | 16M| 99 | 7 | 267 | 281 | 267 | 26 | 15 |6584 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
765.57/765.81 c 766s| 1480k| 22428 | 7173k| 4.8 | 16M| 99 | - | 267 | 287 | 267 | 26 | 15 |6601 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
770.67/770.97 c 771s| 1490k| 22387 | 7222k| 4.8 | 16M| 99 | 7 | 267 | 289 | 267 | 26 | 15 |6642 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
775.77/776.02 c 776s| 1500k| 22412 | 7270k| 4.8 | 16M| 99 | - | 267 | 287 | 267 | 26 | 15 |6681 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
780.96/781.21 c 781s| 1510k| 22418 | 7319k| 4.8 | 16M| 99 | - | 267 | 292 | 267 | 26 | 15 |6725 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
785.86/786.11 c 786s| 1520k| 22467 | 7363k| 4.8 | 16M| 99 | 7 | 267 | 290 | 267 | 26 | 15 |6763 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
790.86/791.16 c 791s| 1530k| 22431 | 7407k| 4.8 | 16M| 99 | 7 | 267 | 281 | 267 | 26 | 15 |6895 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
795.96/796.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.96/796.28 c 796s| 1540k| 22367 | 7458k| 4.8 | 16M| 99 | 7 | 267 | 286 | 267 | 26 | 15 |6954 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
800.95/801.27 c 801s| 1550k| 22393 | 7506k| 4.8 | 16M| 99 | 7 | 267 | 289 | 267 | 26 | 15 |6996 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
806.06/806.39 c 806s| 1560k| 22448 | 7553k| 4.8 | 16M| 99 | - | 267 | 278 | 267 | 26 | 15 |7218 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
811.15/811.42 c 811s| 1570k| 22463 | 7601k| 4.8 | 16M| 99 | 7 | 267 | 282 | 267 | 26 | 15 |7279 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
816.05/816.33 c 816s| 1580k| 22330 | 7647k| 4.8 | 16M| 99 | 7 | 267 | 283 | 267 | 26 | 15 |7325 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
820.96/821.21 c 821s| 1590k| 22298 | 7694k| 4.8 | 16M| 99 | - | 267 | 280 | 267 | 26 | 15 |7349 | 21k| 0.000000e+00 | 1.370000e+02 | Inf
825.86/826.12 c 826s| 1600k| 22406 | 7741k| 4.8 | 16M| 99 | - | 267 | 280 | 267 | 26 | 15 |7367 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
830.95/831.25 c 831s| 1610k| 22473 | 7791k| 4.8 | 16M| 99 | - | 267 | 284 | 267 | 26 | 15 |7404 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
836.05/836.33 c 836s| 1620k| 22542 | 7839k| 4.8 | 16M| 99 | - | 267 | 289 | 267 | 26 | 15 |7432 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
841.05/841.35 c 841s| 1630k| 22672 | 7882k| 4.8 | 16M| 99 | 7 | 267 | 291 | 267 | 26 | 15 |7469 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
845.95/846.30 c 846s| 1640k| 22629 | 7928k| 4.8 | 16M| 99 | 7 | 267 | 291 | 267 | 26 | 15 |7502 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
851.06/851.37 c 851s| 1650k| 22602 | 7977k| 4.8 | 16M| 99 | - | 267 | 304 | 267 | 26 | 15 |7547 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
855.95/856.30 c 856s| 1660k| 22527 | 8024k| 4.8 | 16M| 99 | 7 | 267 | 303 | 267 | 26 | 15 |7586 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
860.95/861.27 c 861s| 1670k| 22717 | 8072k| 4.8 | 16M| 99 | 7 | 267 | 313 | 267 | 26 | 15 |7622 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
865.94/866.25 c 866s| 1680k| 22763 | 8119k| 4.8 | 16M| 99 | - | 267 | 308 | 267 | 26 | 15 |7640 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
871.04/871.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.04/871.31 c 871s| 1690k| 22847 | 8169k| 4.8 | 16M| 99 | 7 | 267 | 308 | 267 | 26 | 15 |7669 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
875.94/876.29 c 876s| 1700k| 22963 | 8219k| 4.8 | 16M| 99 | - | 267 | 315 | 267 | 26 | 15 |7693 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
880.94/881.26 c 881s| 1710k| 22989 | 8266k| 4.8 | 16M| 99 | 7 | 267 | 301 | 267 | 26 | 15 |7735 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
886.03/886.35 c 886s| 1720k| 22960 | 8313k| 4.8 | 16M| 99 | - | 267 | 302 | 267 | 26 | 15 |7767 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
891.13/891.45 c 891s| 1730k| 23078 | 8363k| 4.8 | 16M| 99 | - | 267 | 316 | 267 | 26 | 15 |7814 | 22k| 0.000000e+00 | 1.370000e+02 | Inf
896.24/896.58 c 897s| 1740k| 22993 | 8413k| 4.8 | 16M| 99 | 7 | 267 | 315 | 267 | 26 | 15 |7840 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
901.34/901.61 c 902s| 1750k| 23061 | 8463k| 4.8 | 16M| 99 | - | 267 | 306 | 267 | 26 | 15 |7862 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
906.43/906.75 c 907s| 1760k| 23163 | 8515k| 4.8 | 16M| 99 | 7 | 267 | 301 | 267 | 26 | 15 |7890 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
911.33/911.62 c 912s| 1770k| 23270 | 8559k| 4.8 | 16M| 99 | - | 267 | 309 | 267 | 26 | 15 |7908 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
916.23/916.50 c 916s| 1780k| 23530 | 8604k| 4.8 | 17M| 99 | 7 | 267 | 311 | 267 | 26 | 15 |7931 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
921.02/921.38 c 921s| 1790k| 23590 | 8650k| 4.8 | 17M| 99 | 7 | 267 | 315 | 267 | 26 | 15 |7946 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
926.02/926.30 c 926s| 1800k| 23579 | 8696k| 4.8 | 17M| 99 | 7 | 267 | 319 | 267 | 26 | 15 |7972 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
930.92/931.25 c 931s| 1810k| 23537 | 8743k| 4.8 | 17M| 99 | 7 | 267 | 318 | 267 | 26 | 15 |7994 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
935.92/936.22 c 936s| 1820k| 23504 | 8786k| 4.8 | 17M| 99 | - | 267 | 303 | 267 | 26 | 15 |8032 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
940.92/941.21 c 941s| 1830k| 23452 | 8833k| 4.8 | 17M| 99 | - | 267 | 310 | 267 | 26 | 15 |8058 | 23k| 0.000000e+00 | 1.370000e+02 | Inf
944.42/944.70 o 124
944.42/944.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.42/944.70 c * 945s| 1837k| 23503 | 8865k| 4.8 | 17M| 99 | - | 267 | 305 | 267 | 26 | 15 |8073 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
945.82/946.17 c 946s| 1840k| 23596 | 8879k| 4.8 | 17M| 99 | 7 | 267 | 274 | 267 | 26 | 15 |8100 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
950.82/951.12 c 951s| 1850k| 23728 | 8927k| 4.8 | 17M| 99 | - | 267 | 279 | 267 | 26 | 15 |8128 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
955.53/955.90 c 956s| 1860k| 23616 | 8970k| 4.8 | 17M| 99 | - | 267 | 285 | 267 | 26 | 15 |8156 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
960.62/960.91 c 961s| 1870k| 23610 | 9017k| 4.8 | 17M| 99 | - | 267 | 290 | 267 | 26 | 15 |8211 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
965.52/965.83 c 966s| 1880k| 23552 | 9063k| 4.8 | 17M| 99 | 7 | 267 | 274 | 267 | 26 | 15 |8240 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
970.51/970.86 c 971s| 1890k| 23562 | 9112k| 4.8 | 17M| 99 | - | 267 | 278 | 267 | 26 | 15 |8291 | 23k| 0.000000e+00 | 1.240000e+02 | Inf
975.42/975.76 c 976s| 1900k| 23546 | 9158k| 4.8 | 17M| 99 | - | 267 | 284 | 267 | 26 | 15 |8327 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
980.21/980.55 c 981s| 1910k| 23562 | 9202k| 4.8 | 17M| 99 | 7 | 267 | 278 | 267 | 26 | 15 |8389 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
985.01/985.32 c 985s| 1920k| 23491 | 9243k| 4.8 | 17M| 99 | 7 | 267 | 273 | 267 | 26 | 15 |8445 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
989.80/990.18 c 990s| 1930k| 23545 | 9288k| 4.8 | 17M| 99 | - | 267 | 274 | 267 | 26 | 15 |8470 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
994.61/994.91 c 995s| 1940k| 23476 | 9330k| 4.8 | 17M| 99 | - | 267 | 277 | 267 | 26 | 15 |8498 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
999.40/999.76 c 1000s| 1950k| 23525 | 9376k| 4.8 | 17M| 99 | 7 | 267 | 284 | 267 | 26 | 15 |8529 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1004.31/1004.64 c 1005s| 1960k| 23480 | 9419k| 4.8 | 17M| 99 | - | 267 | 280 | 267 | 26 | 15 |8556 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1009.31/1009.60 c 1010s| 1970k| 23490 | 9467k| 4.8 | 17M| 99 | - | 267 | 285 | 267 | 26 | 15 |8580 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1014.10/1014.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.10/1014.48 c 1014s| 1980k| 23438 | 9514k| 4.8 | 17M| 99 | 7 | 267 | 285 | 267 | 26 | 15 |8602 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1018.99/1019.33 c 1019s| 1990k| 23494 | 9560k| 4.8 | 17M| 99 | 7 | 267 | 285 | 267 | 26 | 15 |8628 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1023.80/1024.12 c 1024s| 2000k| 23469 | 9603k| 4.8 | 17M| 99 | - | 267 | 285 | 267 | 26 | 15 |8646 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1028.59/1028.94 c 1029s| 2010k| 23409 | 9647k| 4.8 | 17M| 99 | - | 267 | 289 | 267 | 26 | 15 |8663 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1033.40/1033.76 c 1034s| 2020k| 23351 | 9693k| 4.8 | 17M| 99 | 7 | 267 | 270 | 267 | 26 | 15 |8676 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1038.30/1038.62 c 1039s| 2030k| 23295 | 9739k| 4.8 | 17M| 99 | - | 267 | 244 | 267 | 26 | 15 |8698 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1043.09/1043.41 c 1043s| 2040k| 23370 | 9783k| 4.8 | 17M| 99 | 7 | 267 | 249 | 267 | 26 | 15 |8720 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1047.69/1048.10 c 1048s| 2050k| 23463 | 9826k| 4.8 | 17M| 99 | 7 | 267 | 246 | 267 | 26 | 15 |8722 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1052.39/1052.77 c 1053s| 2060k| 23371 | 9867k| 4.8 | 17M| 99 | 7 | 267 | 249 | 267 | 26 | 15 |8733 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1057.19/1057.51 c 1057s| 2070k| 23375 | 9910k| 4.8 | 17M| 99 | 7 | 267 | 253 | 267 | 26 | 15 |8755 | 24k| 0.000000e+00 | 1.240000e+02 | Inf
1058.59/1058.93 o 76
1058.59/1058.93 c *1059s| 2072k| 23325 | 9921k| 4.8 | 17M| 99 | - | 267 | 245 | 267 | 26 | 15 |8809 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1063.69/1064.00 c 1064s| 2080k| 23408 | 9951k| 4.8 | 17M| 99 | 7 | 267 | 247 | 267 | 26 | 15 |8834 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1068.39/1068.71 c 1069s| 2090k| 23431 | 9989k| 4.8 | 17M| 99 | - | 267 | 241 | 267 | 26 | 15 |8870 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1073.09/1073.48 c 1073s| 2100k| 23463 | 10028k| 4.8 | 17M| 99 | 7 | 267 | 239 | 267 | 26 | 15 |8881 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1077.89/1078.24 c 1078s| 2110k| 23381 | 10066k| 4.8 | 17M| 99 | - | 267 | 238 | 267 | 26 | 15 |8891 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1082.48/1082.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.48/1082.89 c 1083s| 2120k| 23292 | 10107k| 4.8 | 16M| 99 | 7 | 267 | 238 | 267 | 26 | 15 |8900 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1087.59/1087.93 c 1088s| 2130k| 23389 | 10153k| 4.8 | 17M| 99 | 7 | 267 | 233 | 267 | 26 | 15 |8963 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1092.78/1093.17 c 1093s| 2140k| 23224 | 10201k| 4.8 | 16M| 99 | 7 | 267 | 229 | 267 | 26 | 15 |9020 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1098.08/1098.48 c 1098s| 2150k| 23226 | 10254k| 4.8 | 16M| 99 | 7 | 267 | 232 | 267 | 26 | 15 |9066 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1103.18/1103.57 c 1104s| 2160k| 23209 | 10307k| 4.8 | 16M| 99 | 7 | 267 | 243 | 267 | 26 | 15 |9100 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1108.18/1108.59 c 1109s| 2170k| 23182 | 10355k| 4.8 | 16M| 99 | - | 267 | 242 | 267 | 26 | 15 |9197 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1113.38/1113.74 c 1114s| 2180k| 23189 | 10405k| 4.8 | 16M| 99 | - | 267 | 234 | 267 | 26 | 15 |9228 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1118.47/1118.83 c 1119s| 2190k| 23259 | 10452k| 4.8 | 17M| 99 | - | 267 | 237 | 267 | 26 | 15 |9269 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1123.38/1123.78 c 1124s| 2200k| 23247 | 10500k| 4.8 | 16M| 99 | 7 | 267 | 247 | 267 | 26 | 15 |9296 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1128.47/1128.87 c 1129s| 2210k| 23369 | 10549k| 4.8 | 17M| 99 | 7 | 267 | 248 | 267 | 26 | 15 |9353 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1133.78/1134.12 c 1134s| 2220k| 23508 | 10603k| 4.8 | 17M| 99 | 7 | 267 | 249 | 267 | 26 | 15 |9397 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1138.97/1139.33 c 1139s| 2230k| 23505 | 10653k| 4.8 | 17M| 99 | 7 | 267 | 251 | 267 | 26 | 15 |9487 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1143.97/1144.34 c 1144s| 2240k| 23547 | 10700k| 4.8 | 17M| 99 | 7 | 267 | 240 | 267 | 26 | 15 |9515 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1148.86/1149.28 c 1149s| 2250k| 23527 | 10745k| 4.8 | 17M| 99 | - | 267 | 235 | 267 | 26 | 15 |9565 | 25k| 0.000000e+00 | 7.600000e+01 | Inf
1154.06/1154.42 c 1154s| 2260k| 23647 | 10793k| 4.8 | 17M| 99 | 7 | 267 | 216 | 267 | 26 | 15 |9642 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1159.36/1159.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.36/1159.73 c 1160s| 2270k| 23893 | 10850k| 4.8 | 17M| 99 | 7 | 267 | 222 | 267 | 26 | 15 |9693 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1164.76/1165.12 c 1165s| 2280k| 24348 | 10904k| 4.8 | 17M| 99 | 7 | 267 | 223 | 267 | 26 | 15 |9824 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1169.85/1170.22 c 1170s| 2290k| 24825 | 10952k| 4.8 | 18M| 99 | - | 267 | 218 | 267 | 26 | 15 |9857 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1174.96/1175.36 c 1175s| 2300k| 25507 | 11005k| 4.8 | 18M| 99 | - | 267 | 214 | 267 | 26 | 15 |9891 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1180.16/1180.59 c 1181s| 2310k| 25961 | 11045k| 4.8 | 19M| 99 | - | 267 | 214 | 267 | 26 | 15 |9938 | 26k| 0.000000e+00 | 7.600000e+01 | Inf
1185.65/1186.02 c 1186s| 2320k| 26135 | 11081k| 4.8 | 19M| 99 | - | 267 | 202 | 267 | 26 | 15 | 10k| 26k| 0.000000e+00 | 7.600000e+01 | Inf
1190.96/1191.31 c 1191s| 2330k| 26501 | 11130k| 4.8 | 19M| 99 | - | 267 | 182 | 267 | 26 | 15 | 10k| 26k| 0.000000e+00 | 7.600000e+01 | Inf
1195.96/1196.37 c 1196s| 2340k| 26730 | 11168k| 4.8 | 19M| 99 | 7 | 267 | 167 | 267 | 26 | 15 | 10k| 26k| 0.000000e+00 | 7.600000e+01 | Inf
1201.25/1201.64 c 1202s| 2350k| 27027 | 11216k| 4.8 | 20M| 99 | - | 267 | 136 | 267 | 26 | 15 | 10k| 26k| 0.000000e+00 | 7.600000e+01 | Inf
1206.45/1206.82 c 1207s| 2360k| 27154 | 11261k| 4.8 | 20M| 99 | 7 | 267 | 120 | 267 | 26 | 15 | 10k| 26k| 0.000000e+00 | 7.600000e+01 | Inf
1211.54/1211.95 c 1212s| 2370k| 27469 | 11303k| 4.8 | 20M| 99 | - | 267 | 112 | 267 | 26 | 15 | 10k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1217.15/1217.53 c 1218s| 2380k| 27626 | 11346k| 4.8 | 20M| 99 | - | 267 | 101 | 267 | 26 | 15 | 10k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1222.24/1222.65 c 1223s| 2390k| 27914 | 11388k| 4.8 | 20M| 99 | 7 | 267 | 83 | 267 | 26 | 15 | 10k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1227.54/1227.99 c 1228s| 2400k| 28108 | 11437k| 4.8 | 21M| 99 | 7 | 267 | 76 | 267 | 26 | 15 | 10k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1232.85/1233.25 c 1233s| 2410k| 28253 | 11492k| 4.8 | 21M| 99 | - | 267 | 79 | 267 | 26 | 15 | 10k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1238.15/1238.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.15/1238.56 c 1239s| 2420k| 28511 | 11541k| 4.8 | 21M| 99 | 7 | 267 | 84 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1243.34/1243.73 c 1244s| 2430k| 28437 | 11591k| 4.8 | 21M| 99 | - | 267 | 89 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1248.24/1248.68 c 1249s| 2440k| 28554 | 11636k| 4.8 | 21M| 99 | - | 267 | 85 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1253.44/1253.82 c 1254s| 2450k| 28714 | 11688k| 4.8 | 21M| 99 | 7 | 267 | 88 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1258.53/1258.96 c 1259s| 2460k| 28623 | 11739k| 4.8 | 21M| 99 | 7 | 267 | 89 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1263.63/1264.06 c 1264s| 2470k| 28730 | 11788k| 4.8 | 21M| 99 | 7 | 267 | 91 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1268.94/1269.39 c 1269s| 2480k| 28730 | 11844k| 4.8 | 21M| 99 | 7 | 267 | 96 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1274.23/1274.66 c 1275s| 2490k| 28744 | 11900k| 4.8 | 21M| 99 | 7 | 267 | 91 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1279.33/1279.76 c 1280s| 2500k| 28950 | 11941k| 4.8 | 21M| 99 | - | 267 | 92 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1284.53/1284.93 c 1285s| 2510k| 29122 | 11985k| 4.8 | 22M| 99 | 7 | 267 | 96 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1289.93/1290.32 c 1290s| 2520k| 29314 | 12039k| 4.8 | 22M| 99 | - | 267 | 112 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1295.02/1295.49 c 1295s| 2530k| 29412 | 12088k| 4.8 | 22M| 99 | 7 | 267 | 109 | 267 | 26 | 15 | 11k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1300.23/1300.64 c 1301s| 2540k| 29672 | 12138k| 4.8 | 22M| 99 | - | 267 | 114 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1305.42/1305.81 c 1306s| 2550k| 29685 | 12186k| 4.8 | 22M| 99 | 7 | 267 | 109 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1310.62/1311.02 c 1311s| 2560k| 29748 | 12235k| 4.8 | 22M| 99 | - | 267 | 112 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1315.81/1316.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.81/1316.21 c 1316s| 2570k| 29794 | 12285k| 4.8 | 22M| 99 | - | 267 | 106 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1320.62/1321.08 c 1321s| 2580k| 29771 | 12327k| 4.8 | 22M| 99 | 7 | 267 | 101 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1325.72/1326.12 c 1326s| 2590k| 29811 | 12373k| 4.8 | 22M| 99 | - | 267 | 102 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1331.02/1331.41 c 1331s| 2600k| 30270 | 12416k| 4.8 | 23M| 99 | 7 | 267 | 107 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1336.71/1337.18 c 1337s| 2610k| 30316 | 12456k| 4.8 | 23M| 100 | - | 267 | 99 | 267 | 26 | 15 | 12k| 27k| 0.000000e+00 | 7.600000e+01 | Inf
1341.81/1342.29 c 1342s| 2620k| 30425 | 12505k| 4.8 | 23M| 100 | - | 267 | 97 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1346.91/1347.39 c 1347s| 2630k| 30536 | 12554k| 4.8 | 23M| 100 | 7 | 267 | 109 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1352.11/1352.52 c 1353s| 2640k| 30533 | 12601k| 4.8 | 23M| 100 | - | 267 | 102 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1357.02/1357.50 c 1357s| 2650k| 30507 | 12648k| 4.8 | 23M| 100 | - | 267 | 103 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1361.90/1362.37 c 1362s| 2660k| 30635 | 12692k| 4.8 | 23M| 100 | - | 267 | 104 | 0 | 0 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1366.91/1367.35 c 1367s| 2670k| 30930 | 12729k| 4.8 | 23M| 100 | 7 | 267 | 92 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1372.00/1372.40 c 1372s| 2680k| 30811 | 12776k| 4.8 | 23M| 100 | 7 | 267 | 100 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1377.20/1377.62 c 1378s| 2690k| 30934 | 12829k| 4.8 | 23M| 100 | 7 | 267 | 104 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1382.00/1382.46 c 1382s| 2700k| 31090 | 12874k| 4.8 | 23M| 100 | 7 | 267 | 103 | 267 | 26 | 15 | 12k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1387.00/1387.44 c 1387s| 2710k| 31455 | 12922k| 4.8 | 24M| 100 | 7 | 267 | 108 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1392.50/1392.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.50/1392.92 c 1393s| 2720k| 31466 | 12958k| 4.8 | 24M| 100 | - | 267 | 100 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1397.20/1397.68 c 1398s| 2730k| 31448 | 13001k| 4.8 | 24M| 100 | 7 | 267 | 102 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1402.29/1402.72 c 1403s| 2740k| 31379 | 13048k| 4.8 | 24M| 100 | 7 | 267 | 98 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1407.19/1407.67 c 1408s| 2750k| 31427 | 13093k| 4.8 | 24M| 100 | 7 | 267 | 106 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1412.39/1412.89 c 1413s| 2760k| 31562 | 13147k| 4.8 | 24M| 100 | 7 | 267 | 97 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1417.29/1417.72 c 1418s| 2770k| 31626 | 13191k| 4.8 | 24M| 100 | - | 267 | 89 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1422.09/1422.53 c 1423s| 2780k| 31582 | 13233k| 4.8 | 24M| 100 | 7 | 267 | 96 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1427.09/1427.50 c 1427s| 2790k| 31616 | 13280k| 4.8 | 24M| 100 | 7 | 267 | 100 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1432.09/1432.59 c 1433s| 2800k| 31664 | 13330k| 4.8 | 24M| 100 | 7 | 267 | 104 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1437.08/1437.60 c 1438s| 2810k| 31844 | 13375k| 4.8 | 24M| 100 | 7 | 267 | 105 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1442.08/1442.50 c 1442s| 2820k| 31903 | 13422k| 4.8 | 24M| 100 | - | 267 | 109 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1447.28/1447.70 c 1448s| 2830k| 31875 | 13468k| 4.8 | 24M| 100 | 7 | 267 | 115 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1452.59/1453.02 c 1453s| 2840k| 31979 | 13524k| 4.8 | 24M| 100 | - | 267 | 114 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1457.58/1458.08 c 1458s| 2850k| 32003 | 13574k| 4.8 | 24M| 100 | 7 | 267 | 119 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1462.38/1462.83 c 1463s| 2860k| 32053 | 13618k| 4.8 | 24M| 100 | 7 | 267 | 132 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1467.68/1468.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.68/1468.14 c 1468s| 2870k| 32080 | 13671k| 4.8 | 24M| 100 | 7 | 267 | 130 | 267 | 26 | 15 | 13k| 28k| 0.000000e+00 | 7.600000e+01 | Inf
1472.78/1473.28 c 1473s| 2880k| 32341 | 13718k| 4.8 | 24M| 100 | - | 267 | 135 | 267 | 26 | 15 | 13k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1477.68/1478.19 c 1478s| 2890k| 32335 | 13764k| 4.8 | 24M| 100 | 7 | 267 | 134 | 267 | 26 | 15 | 13k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1482.67/1483.11 c 1483s| 2900k| 32242 | 13808k| 4.8 | 24M| 100 | - | 267 | 125 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1487.78/1488.27 c 1488s| 2910k| 32286 | 13856k| 4.8 | 24M| 100 | 7 | 267 | 111 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1492.87/1493.36 c 1493s| 2920k| 32250 | 13897k| 4.8 | 24M| 100 | - | 267 | 109 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1498.06/1498.55 c 1499s| 2930k| 32385 | 13947k| 4.8 | 24M| 100 | 7 | 267 | 108 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1503.06/1503.54 c 1504s| 2940k| 32446 | 13992k| 4.8 | 24M| 100 | - | 267 | 108 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1508.07/1508.59 c 1509s| 2950k| 32709 | 14039k| 4.8 | 24M| 100 | - | 267 | 116 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1513.17/1513.66 c 1514s| 2960k| 32731 | 14076k| 4.8 | 24M| 100 | - | 267 | 113 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1517.96/1518.49 c 1518s| 2970k| 32669 | 14117k| 4.8 | 24M| 100 | - | 267 | 113 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1522.97/1523.45 c 1523s| 2980k| 32817 | 14163k| 4.8 | 24M| 100 | 7 | 267 | 119 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1528.16/1528.62 c 1529s| 2990k| 32904 | 14216k| 4.8 | 25M| 100 | - | 267 | 139 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1533.06/1533.58 c 1534s| 3000k| 32954 | 14264k| 4.8 | 25M| 100 | 7 | 267 | 133 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1538.46/1538.94 c 1539s| 3010k| 32966 | 14309k| 4.8 | 25M| 100 | 7 | 267 | 133 | 267 | 26 | 15 | 14k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1543.97/1544.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.97/1544.49 c 1544s| 3020k| 33075 | 14354k| 4.8 | 25M| 100 | - | 267 | 133 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1549.46/1549.97 c 1550s| 3030k| 33081 | 14404k| 4.8 | 25M| 100 | 7 | 267 | 139 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1554.66/1555.20 c 1555s| 3040k| 32982 | 14453k| 4.8 | 25M| 100 | - | 267 | 129 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1559.46/1559.94 c 1560s| 3050k| 33000 | 14493k| 4.8 | 25M| 100 | 7 | 267 | 131 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1564.25/1564.78 c 1565s| 3060k| 33136 | 14535k| 4.7 | 25M| 100 | - | 267 | 136 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1569.56/1570.06 c 1570s| 3070k| 33088 | 14570k| 4.7 | 25M| 100 | 7 | 267 | 134 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1574.66/1575.18 c 1575s| 3080k| 33050 | 14619k| 4.7 | 25M| 100 | - | 267 | 141 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1579.45/1579.94 c 1580s| 3090k| 33032 | 14654k| 4.7 | 25M| 100 | 7 | 267 | 136 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1584.75/1585.24 c 1585s| 3100k| 33193 | 14708k| 4.7 | 25M| 100 | 7 | 267 | 156 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1589.85/1590.32 c 1590s| 3110k| 33167 | 14756k| 4.7 | 25M| 100 | 7 | 267 | 161 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1594.64/1595.11 c 1595s| 3120k| 33400 | 14792k| 4.7 | 25M| 100 | - | 267 | 160 | 267 | 26 | 15 | 15k| 29k| 0.000000e+00 | 7.600000e+01 | Inf
1599.84/1600.32 c 1600s| 3130k| 33699 | 14830k| 4.7 | 25M| 100 | - | 267 | 157 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1604.74/1605.26 c 1605s| 3140k| 33713 | 14869k| 4.7 | 25M| 100 | 7 | 267 | 152 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1609.74/1610.27 c 1610s| 3150k| 33511 | 14916k| 4.7 | 25M| 100 | - | 267 | 144 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1614.54/1615.03 c 1615s| 3160k| 33411 | 14959k| 4.7 | 25M| 100 | 7 | 267 | 146 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1619.74/1620.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.74/1620.27 c 1620s| 3170k| 33499 | 14999k| 4.7 | 25M| 100 | - | 267 | 141 | 0 | 0 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1625.13/1625.60 c 1626s| 3180k| 33160 | 15038k| 4.7 | 25M| 100 | - | 267 | 143 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1630.43/1630.96 c 1631s| 3190k| 33160 | 15094k| 4.7 | 25M| 100 | 7 | 267 | 151 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1635.33/1635.85 c 1636s| 3200k| 33432 | 15137k| 4.7 | 25M| 100 | 7 | 267 | 149 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1640.43/1640.96 c 1641s| 3210k| 33340 | 15177k| 4.7 | 25M| 100 | - | 267 | 140 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1645.43/1645.97 c 1646s| 3220k| 33290 | 15228k| 4.7 | 25M| 100 | - | 267 | 151 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1650.63/1651.19 c 1651s| 3230k| 33260 | 15280k| 4.7 | 25M| 100 | 7 | 267 | 157 | 267 | 26 | 15 | 16k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1655.92/1656.44 c 1656s| 3240k| 33704 | 15316k| 4.7 | 26M| 100 | 7 | 267 | 153 | 267 | 26 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1661.32/1661.80 c 1662s| 3250k| 33582 | 15338k| 4.7 | 26M| 100 | - | 267 | 149 | 267 | 26 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1666.32/1666.88 c 1667s| 3260k| 33474 | 15380k| 4.7 | 25M| 100 | 7 | 267 | 148 | 267 | 26 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1671.53/1672.01 c 1672s| 3270k| 33809 | 15416k| 4.7 | 26M| 100 | - | 267 | 138 | 267 | 26 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1676.42/1676.98 c 1677s| 3280k| 34003 | 15443k| 4.7 | 26M| 100 | - | 267 | 136 | 267 | 26 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1681.82/1682.33 c 1682s| 3290k| 34489 | 15474k| 4.7 | 27M| 100 | - | 267 | 131 | 0 | 0 | 15 | 17k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1687.42/1687.95 c 1688s| 3300k| 34496 | 15507k| 4.7 | 27M| 100 | 7 | 267 | 134 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1692.72/1693.25 c 1693s| 3310k| 33789 | 15545k| 4.7 | 26M| 100 | 7 | 267 | 140 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1698.01/1698.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.01/1698.51 c 1698s| 3320k| 33960 | 15588k| 4.7 | 26M| 100 | 7 | 267 | 142 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1703.32/1703.89 c 1704s| 3330k| 34222 | 15635k| 4.7 | 27M| 101 | 7 | 267 | 141 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1708.11/1708.62 c 1709s| 3340k| 34905 | 15666k| 4.7 | 27M| 109 | 7 | 267 | 140 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1712.72/1713.22 c 1713s| 3350k| 34399 | 15692k| 4.7 | 27M| 109 | - | 267 | 131 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1717.81/1718.31 c 1718s| 3360k| 34217 | 15738k| 4.7 | 27M| 109 | 7 | 267 | 140 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1723.11/1723.60 c 1724s| 3370k| 33933 | 15788k| 4.7 | 26M| 109 | - | 267 | 151 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1728.10/1728.67 c 1729s| 3380k| 33944 | 15836k| 4.7 | 26M| 109 | 7 | 267 | 155 | 267 | 26 | 15 | 18k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1733.40/1733.94 c 1734s| 3390k| 33990 | 15880k| 4.7 | 27M| 109 | - | 267 | 153 | 267 | 26 | 15 | 19k| 30k| 0.000000e+00 | 7.600000e+01 | Inf
1738.61/1739.13 c 1739s| 3400k| 33944 | 15918k| 4.7 | 27M| 109 | - | 267 | 149 | 267 | 26 | 15 | 19k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1743.80/1744.36 c 1744s| 3410k| 33677 | 15966k| 4.7 | 26M| 109 | - | 267 | 130 | 0 | 0 | 15 | 19k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1749.20/1749.79 c 1750s| 3420k| 33764 | 16010k| 4.7 | 26M| 109 | 7 | 267 | 137 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1754.49/1755.06 c 1755s| 3430k| 33453 | 16055k| 4.7 | 26M| 109 | - | 267 | 141 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1759.51/1760.06 c 1760s| 3440k| 33513 | 16100k| 4.7 | 26M| 109 | - | 267 | 145 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1764.40/1764.97 c 1765s| 3450k| 33631 | 16145k| 4.7 | 26M| 109 | - | 267 | 146 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1769.41/1769.98 c 1770s| 3460k| 33602 | 16191k| 4.7 | 26M| 109 | - | 267 | 143 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1774.20/1774.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.20/1774.73 c 1775s| 3470k| 33728 | 16230k| 4.7 | 26M| 109 | 7 | 267 | 144 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1779.40/1779.93 c 1780s| 3480k| 33701 | 16276k| 4.7 | 26M| 109 | - | 267 | 147 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1784.59/1785.12 c 1785s| 3490k| 33671 | 16321k| 4.7 | 26M| 109 | - | 267 | 144 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1789.39/1789.92 c 1790s| 3500k| 33757 | 16362k| 4.7 | 26M| 109 | - | 267 | 144 | 267 | 26 | 15 | 20k| 31k| 0.000000e+00 | 7.600000e+01 | Inf
1789.49/1790.01 c
1789.49/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.01 c Solving Time (sec) : 1790.00
1789.49/1790.01 c Solving Nodes : 3500210
1789.49/1790.01 c Primal Bound : +7.60000000000000e+01 (67 solutions)
1789.49/1790.01 c Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Gap : infinite
1789.49/1790.01 s SATISFIABLE
1789.49/1790.01 v x260 x259 -x258 x257 x255 -x254 -x253 -x252 x251 x250 -x249 -x248 -x247 -x246 -x244 -x243 -x242 x241 x240 -x239 x238 x237 x236
1789.49/1790.01 v x235 x233 x232 x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x222 x221 x220 x219 -x218 -x217 x216 x215 -x214 x213 x330 -x329
1789.49/1790.01 v x328 x327 -x256 x245 x234 x223 -x212 -x211 -x326 -x325 x324 x323 x322 x321 x320 x319 -x318 x317 x316 -x315 -x314 x313 -x312
1789.49/1790.01 v -x311 x310 x309 -x308 x307 -x306 -x305 -x304 x303 -x302 x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 x291 -x290 x289
1789.49/1790.01 v x288 x287 -x286 -x285 -x284 x283 -x282 x281 x280 -x279 -x278 -x277 x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1789.49/1790.01 v x266 -x265 -x264 -x263 x262 x261 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1789.49/1790.01 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
1789.49/1790.01 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1789.49/1790.01 v x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1789.49/1790.01 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
1789.49/1790.01 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89
1789.49/1790.01 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64
1789.49/1790.01 v x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1789.49/1790.01 v -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1789.49/1790.01 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.49/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.49/1790.01 c Solving Time : 1790.00
1789.49/1790.01 c Original Problem :
1789.49/1790.01 c Problem name : HOME/instance-2703854-1278557407.opb
1789.49/1790.01 c Variables : 330 (330 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.01 c Constraints : 13 initial, 13 maximal
1789.49/1790.01 c Presolved Problem :
1789.49/1790.01 c Problem name : t_HOME/instance-2703854-1278557407.opb
1789.49/1790.01 c Variables : 267 (267 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.49/1790.01 c Constraints : 13 initial, 323 maximal
1789.49/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.49/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1789.49/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c linear : 0.00 63 0 0 63 0 0 6 6
1789.49/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.49/1790.01 c root node : - 98 - - 98 - - - -
1789.49/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.49/1790.01 c integral : 0 0 0 1775622 0 240 7686 0 0 3537944
1789.49/1790.01 c knapsack : 6 6 4123002 19 0 1142 171262 0 0 0
1789.49/1790.01 c linear : 7 6 4166759 0 0 87712 3109875 0 0 0
1789.49/1790.01 c logicor : 0+ 0 1409286 0 0 576 25296 0 0 0
1789.49/1790.01 c countsols : 0 0 0 54 0 0 0 0 0 0
1789.49/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.49/1790.01 c integral : 30.69 0.00 0.00 30.69 0.00
1789.49/1790.01 c knapsack : 4.91 0.00 4.91 0.00 0.00
1789.49/1790.01 c linear : 554.99 0.00 554.99 0.00 0.00
1789.49/1790.01 c logicor : 3.89 0.00 3.89 0.00 0.00
1789.49/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.49/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.49/1790.01 c vbounds : 1.62 2 0 0
1789.49/1790.01 c rootredcost : 1.69 67 0 84
1789.49/1790.01 c pseudoobj : 34.11 4167946 176 3665
1789.49/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.49/1790.01 c propagation : 16.66 72955 14725 45185 78.1 0 0.0 -
1789.49/1790.01 c infeasible LP : 0.62 5520 5460 6589 30.9 38 88.8 0
1789.49/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.49/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.49/1790.01 c applied globally : - - - 5106 23.3 - - -
1789.49/1790.01 c applied locally : - - - 15314 70.0 - - -
1789.49/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.49/1790.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 20)
1789.49/1790.01 c redcost : 23.60 1827767 0 806072 0 0
1789.49/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.49/1790.01 c intobj : 0.00 0 0 0 0 0
1789.49/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.49/1790.01 c gomory : 0.01 6 0 0 0 0
1789.49/1790.01 c strongcg : 0.01 6 0 0 3 0
1789.49/1790.01 c cmir : 0.00 6 0 0 1 0
1789.49/1790.01 c flowcover : 0.17 6 0 0 17 0
1789.49/1790.01 c clique : 0.00 1 0 0 0 0
1789.49/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.49/1790.01 c mcf : 0.00 1 0 0 0 0
1789.49/1790.01 c rapidlearning : 0.04 1 0 0 0 0
1789.49/1790.01 c Pricers : Time Calls Vars
1789.49/1790.01 c problem variables: 0.00 0 0
1789.49/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.49/1790.01 c relpscost : 28.91 1775568 240 7686 0 0 3537944
1789.49/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.49/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.49/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.49/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.49/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.49/1790.01 c random : 0.00 0 0 0 0 0 0
1789.49/1790.01 c Primal Heuristics : Time Calls Found
1789.49/1790.01 c LP solutions : 0.02 - 54
1789.49/1790.01 c pseudo solutions : 0.00 - 0
1789.49/1790.01 c feaspump : 0.29 1 0
1789.49/1790.01 c oneopt : 1.31 66 0
1789.49/1790.01 c crossover : 3.91 6 0
1789.49/1790.01 c guideddiving : 1.62 250 0
1789.49/1790.01 c linesearchdiving : 1.46 251 2
1789.49/1790.01 c pscostdiving : 2.13 251 2
1789.49/1790.01 c coefdiving : 1.80 251 2
1789.49/1790.01 c fracdiving : 1.90 251 2
1789.49/1790.01 c veclendiving : 1.90 251 5
1789.49/1790.01 c objpscostdiving : 0.51 126 0
1789.49/1790.01 c rootsoldiving : 1.48 126 0
1789.49/1790.01 c trivial : 0.00 2 0
1789.49/1790.01 c simplerounding : 0.73 0 0
1789.49/1790.01 c zirounding : 1.22 1000 0
1789.49/1790.01 c rounding : 2.59 18909 0
1789.49/1790.01 c shifting : 7.81 5577 0
1789.49/1790.01 c intshifting : 0.09 0 0
1789.49/1790.01 c twoopt : 0.00 0 0
1789.49/1790.01 c fixandinfer : 0.00 0 0
1789.49/1790.01 c intdiving : 0.00 0 0
1789.49/1790.01 c actconsdiving : 0.00 0 0
1789.49/1790.01 c octane : 0.00 0 0
1789.49/1790.01 c rens : 0.06 1 0
1789.49/1790.01 c rins : 0.00 0 0
1789.49/1790.01 c localbranching : 0.00 0 0
1789.49/1790.01 c mutation : 0.00 0 0
1789.49/1790.01 c dins : 0.00 0 0
1789.49/1790.01 c undercover : 0.00 0 0
1789.49/1790.01 c nlp : 1.08 0 0
1789.49/1790.01 c trysol : 1.63 0 0
1789.49/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.49/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.49/1790.01 c dual LP : 810.34 3436519 16244501 4.73 20046.41
1789.49/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.49/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.49/1790.01 c diving/probing LP: 5.76 24609 119239 4.85 20690.44
1789.49/1790.01 c strong branching : 11.73 31446 157763 5.02 13443.80
1789.49/1790.01 c (at root node) : - 20 4371 218.55 -
1789.49/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.49/1790.01 c B&B Tree :
1789.49/1790.01 c number of runs : 1
1789.49/1790.01 c nodes : 3500210
1789.49/1790.01 c nodes (total) : 3500210
1789.49/1790.01 c nodes left : 33755
1789.49/1790.01 c max depth : 109
1789.49/1790.01 c max depth (total): 109
1789.49/1790.01 c backtracks : 797818 (22.8%)
1789.49/1790.01 c delayed cutoffs : 2078
1789.49/1790.01 c repropagations : 40647 (33192 domain reductions, 1316 cutoffs)
1789.49/1790.01 c avg switch length: 4.57
1789.49/1790.01 c switching time : 70.63
1789.49/1790.01 c Solution :
1789.49/1790.01 c Solutions found : 67 (67 improvements)
1789.49/1790.01 c First Solution : +4.40728000000000e+05 (in run 1, after 42 nodes, 1.23 seconds, depth 43, found by <coefdiving>)
1789.49/1790.01 c Primal Bound : +7.60000000000000e+01 (in run 1, after 2072947 nodes, 1058.92 seconds, depth 91, found by <relaxation>)
1789.49/1790.01 c Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Gap : infinite
1789.49/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.49/1790.01 c Root Iterations : 143
1789.59/1790.16 c Time complete: 1789.65.
OK 76
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703854-1278557407/watcher-2703854-1278557407 -o /tmp/evaluation-result-2703854-1278557407/solver-2703854-1278557407 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703854-1278557407.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.00 1.00 0.94 3/106 3089 /proc/meminfo: memFree=1569736/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=7904 CPUtime=0 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 1035 0 0 0 0 0 0 0 18 0 1 0 23954570 8093696 946 1992294400 4194304 8395647 140736516571008 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3089/statm: 1976 956 365 1026 0 946 0 [startup+0.0667231 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3089 /proc/meminfo: memFree=1569736/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=14680 CPUtime=0.05 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 3195 0 0 0 5 0 0 0 20 0 1 0 23954570 15032320 2753 1992294400 4194304 8395647 140736516571008 18446744073709551615 5836895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 5492 2764 596 1026 0 4462 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14680 [startup+0.101769 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3089 /proc/meminfo: memFree=1569736/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=23424 CPUtime=0.09 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 5201 0 0 0 8 1 0 0 20 0 1 0 23954570 23986176 4759 1992294400 4194304 8395647 140736516571008 18446744073709551615 4922378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 5856 4759 596 1026 0 4826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23424 [startup+0.301763 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3089 /proc/meminfo: memFree=1569736/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32484 CPUtime=0.29 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7270 0 0 0 27 2 0 0 20 0 1 0 23954570 33263616 6828 1992294400 4194304 8395647 140736516571008 18446744073709551615 4922685 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8121 6828 619 1026 0 7091 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32484 [startup+0.701796 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3089 /proc/meminfo: memFree=1569736/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32716 CPUtime=0.69 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7524 0 0 0 65 4 0 0 20 0 1 0 23954570 33501184 7082 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8179 7082 632 1026 0 7149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32716 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3090 /proc/meminfo: memFree=1543688/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32716 CPUtime=1.49 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7527 0 0 0 141 8 0 0 23 0 1 0 23954570 33501184 7085 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8179 7085 635 1026 0 7149 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32716 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3090 /proc/meminfo: memFree=1543440/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32716 CPUtime=3.09 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7530 0 0 0 294 15 0 0 25 0 1 0 23954570 33501184 7088 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8179 7088 637 1026 0 7149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32716 [startup+6.30145 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3090 /proc/meminfo: memFree=1543068/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32716 CPUtime=6.29 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7538 0 0 0 603 26 0 0 25 0 1 0 23954570 33501184 7096 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8179 7096 637 1026 0 7149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32716 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3090 /proc/meminfo: memFree=1542448/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=32716 CPUtime=12.69 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 7710 0 0 0 1223 46 0 0 25 0 1 0 23954570 33501184 7268 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8179 7268 637 1026 0 7149 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32716 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3090 /proc/meminfo: memFree=1544308/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=30244 CPUtime=25.48 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 14590 0 0 0 2457 91 0 0 25 0 1 0 23954570 30969856 6669 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 7561 6669 639 1026 0 6531 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30244 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3092 /proc/meminfo: memFree=1544060/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=30504 CPUtime=51.08 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 25140 0 0 0 4913 195 0 0 25 0 1 0 23954570 31236096 6832 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 7626 6832 737 1026 0 6596 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30504 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3092 /proc/meminfo: memFree=1543936/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=30660 CPUtime=102.28 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 27905 0 0 0 9850 378 0 0 25 0 1 0 23954570 31395840 6872 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 7665 6872 738 1026 0 6635 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 30660 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3094 /proc/meminfo: memFree=1543812/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=30700 CPUtime=162.24 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 28824 0 0 0 15635 589 0 0 25 0 1 0 23954570 31436800 6882 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 7675 6882 738 1026 0 6645 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30700 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3096 /proc/meminfo: memFree=1543688/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=30700 CPUtime=222.23 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 28824 0 0 0 21410 813 0 0 25 0 1 0 23954570 31436800 6882 1992294400 4194304 8395647 140736516571008 18446744073709551615 5029366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 7675 6882 738 1026 0 6645 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30700 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3098 /proc/meminfo: memFree=1540960/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=34016 CPUtime=282.22 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 36913 0 0 0 27187 1035 0 0 25 0 1 0 23954570 34832384 7707 1992294400 4194304 8395647 140736516571008 18446744073709551615 6119459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 8504 7707 738 1026 0 7474 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 34016 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3099 /proc/meminfo: memFree=1538108/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=36168 CPUtime=342.2 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 55715 0 0 0 32963 1257 0 0 25 0 1 0 23954570 37036032 8280 1992294400 4194304 8395647 140736516571008 18446744073709551615 6064872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9042 8280 738 1026 0 8012 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 36168 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3100 /proc/meminfo: memFree=1537116/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=37604 CPUtime=402.18 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 57867 0 0 0 38741 1477 0 0 25 0 1 0 23954570 38506496 8617 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9401 8617 738 1026 0 8371 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 37604 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3102 /proc/meminfo: memFree=1536496/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=37620 CPUtime=462.16 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 58804 0 0 0 44515 1701 0 0 25 0 1 0 23954570 38522880 8648 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9405 8648 738 1026 0 8375 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 37620 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3104 /proc/meminfo: memFree=1536372/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=38140 CPUtime=522.15 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 58911 0 0 0 50292 1923 0 0 25 0 1 0 23954570 39055360 8755 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9535 8755 738 1026 0 8505 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38140 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3106 /proc/meminfo: memFree=1535132/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=39388 CPUtime=582.13 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 60135 0 0 0 56062 2151 0 0 25 0 1 0 23954570 40333312 9074 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9847 9074 738 1026 0 8817 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 39388 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3107 /proc/meminfo: memFree=1534760/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=39708 CPUtime=642.12 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 60216 0 0 0 61843 2369 0 0 25 0 1 0 23954570 40660992 9155 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 9927 9155 738 1026 0 8897 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 39708 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1530172/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=42744 CPUtime=1002 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 70049 0 0 0 96491 3709 0 0 25 0 1 0 23954570 43769856 9956 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 10686 9956 738 1026 0 9656 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 42744 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3127 /proc/meminfo: memFree=1530172/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=42744 CPUtime=1061.99 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 75724 0 0 0 102262 3937 0 0 25 0 1 0 23954570 43769856 9956 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 10686 9956 738 1026 0 9656 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 42744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3129 /proc/meminfo: memFree=1530172/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=42756 CPUtime=1121.98 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 80238 0 0 0 108038 4160 0 0 25 0 1 0 23954570 43782144 9959 1992294400 4194304 8395647 140736516571008 18446744073709551615 5006698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 10689 9959 738 1026 0 9659 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 42756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3131 /proc/meminfo: memFree=1529304/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=44184 CPUtime=1181.95 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 81492 0 0 0 113819 4376 0 0 25 0 1 0 23954570 45244416 10309 1992294400 4194304 8395647 140736516571008 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 11046 10309 738 1026 0 10016 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 44184 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3132 /proc/meminfo: memFree=1526700/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=46428 CPUtime=1241.94 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 82056 0 0 0 119614 4580 0 0 25 0 1 0 23954570 47542272 10873 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 11607 10873 738 1026 0 10577 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 46428 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3133 /proc/meminfo: memFree=1525460/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=47500 CPUtime=1301.93 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 83228 0 0 0 125392 4801 0 0 25 0 1 0 23954570 48640000 11144 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 11875 11144 738 1026 0 10845 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 47500 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3135 /proc/meminfo: memFree=1524964/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=48036 CPUtime=1361.9 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 83367 0 0 0 131175 5015 0 0 25 0 1 0 23954570 49188864 11283 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12009 11283 738 1026 0 10979 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 48036 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3137 /proc/meminfo: memFree=1523352/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=49600 CPUtime=1421.89 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 83764 0 0 0 136956 5233 0 0 25 0 1 0 23954570 50790400 11680 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12400 11680 738 1026 0 11370 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 49600 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3139 /proc/meminfo: memFree=1521864/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=50168 CPUtime=1481.87 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 84827 0 0 0 142727 5460 0 0 25 0 1 0 23954570 51372032 11845 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12542 11845 738 1026 0 11512 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 50168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3140 /proc/meminfo: memFree=1521864/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=50760 CPUtime=1541.86 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 84954 0 0 0 148510 5676 0 0 25 0 1 0 23954570 51978240 11972 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12690 11972 738 1026 0 11660 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 50760 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3141 /proc/meminfo: memFree=1521368/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=51180 CPUtime=1601.84 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85057 0 0 0 154304 5880 0 0 25 0 1 0 23954570 52408320 12075 1992294400 4194304 8395647 140736516571008 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12795 12075 738 1026 0 11765 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 51180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3143 /proc/meminfo: memFree=1521244/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=51332 CPUtime=1661.82 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85099 0 0 0 160111 6071 0 0 25 0 1 0 23954570 52563968 12117 1992294400 4194304 8395647 140736516571008 18446744073709551615 4623911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 12833 12117 738 1026 0 11803 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 51332 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 0.94 2/107 3148 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1721.81 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85420 0 0 0 165929 6252 0 0 25 0 1 0 23954570 53821440 12438 1992294400 4194304 8395647 140736516571008 18446744073709551615 6310883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12438 738 1026 0 12110 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 52560 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 0.94 2/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1781.79 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85422 0 0 0 171715 6464 0 0 25 0 1 0 23954570 53821440 12440 1992294400 4194304 8395647 140736516571008 18446744073709551615 6261716 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12440 738 1026 0 12110 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 52560 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.02 1.01 0.94 2/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1784.99 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85422 0 0 0 172024 6475 0 0 25 0 1 0 23954570 53821440 12440 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12440 738 1026 0 12110 0 Current children cumulated CPU time (s) 1784.99 Current children cumulated vsize (KiB) 52560 [startup+1788.7 s] /proc/loadavg: 1.02 1.01 0.94 2/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1788.19 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85422 0 0 0 172332 6487 0 0 25 0 1 0 23954570 53821440 12440 1992294400 4194304 8395647 140736516571008 18446744073709551615 4453807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12440 738 1026 0 12110 0 Current children cumulated CPU time (s) 1788.19 Current children cumulated vsize (KiB) 52560 [startup+1789.5 s] /proc/loadavg: 1.02 1.01 0.94 2/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1788.99 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85422 0 0 0 172408 6491 0 0 25 0 1 0 23954570 53821440 12440 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12440 738 1026 0 12110 0 Current children cumulated CPU time (s) 1788.99 Current children cumulated vsize (KiB) 52560 [startup+1789.9 s] /proc/loadavg: 1.02 1.01 0.94 3/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1789.39 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85422 0 0 0 172447 6492 0 0 25 0 1 0 23954570 53821440 12440 1992294400 4194304 8395647 140736516571008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12440 738 1026 0 12110 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (KiB) 52560 [startup+1790.1 s] /proc/loadavg: 1.02 1.01 0.94 3/107 3150 /proc/meminfo: memFree=1519260/2059040 swapFree=4139384/4192956 [pid=3089] ppid=3087 vsize=52560 CPUtime=1789.59 /proc/3089/stat : 3089 (pbscip.linux.x8) R 3087 3089 1088 0 -1 4202496 85424 0 0 0 172467 6492 0 0 25 0 1 0 23954570 53821440 12442 1992294400 4194304 8395647 140736516571008 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3089/statm: 13140 12442 740 1026 0 12110 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (KiB) 52560 Child status: 0 Real time (s): 1790.16 CPU time (s): 1789.66 CPU user time (s): 1724.73 CPU system time (s): 64.9341 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 52560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.73 system time used= 64.9341 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85425 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= 2 involuntary context switches= 4691 runsolver used 3.03454 second user time and 8.39272 second system time The end
Begin job on node001 at 2010-07-08 04:50:08 IDJOB=2703854 IDBENCH=2315 IDSOLVER=1213 FILE ID=node001/2703854-1278557407 PBS_JOBID= 11239529 Free space on /tmp= 62500 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-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703854-1278557407/watcher-2703854-1278557407 -o /tmp/evaluation-result-2703854-1278557407/solver-2703854-1278557407 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703854-1278557407.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b994237fdc481ca53da2e19e2a850128 RANDOM SEED=1580784436 node001.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.215 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.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1570140 kB Buffers: 76296 kB Cached: 308420 kB SwapCached: 7348 kB Active: 138796 kB Inactive: 260004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1570140 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 10408 kB Writeback: 12 kB AnonPages: 11560 kB Mapped: 11900 kB Slab: 68196 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180016 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= 62492 MiB End job on node001 at 2010-07-08 05:19:58