Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 5 | 1800.78 | 1801.4 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667093-1276600696.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.01/0.02 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.01/0.03 c 6 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.01
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c 0.0s| 1 | 0 | 30 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 1199
0.09/0.15 c y 0.1s| 1 | 0 | 57 | - | 528k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 62 | - | 613k| 0 | 9 | 146 | 48 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 69 | - | 674k| 0 | 13 | 146 | 48 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 73 | - | 688k| 0 | 15 | 146 | 48 | 146 | 19 | 13 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 94 | - | 712k| 0 | 15 | 146 | 48 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 99 | - | 730k| 0 | 16 | 146 | 48 | 146 | 25 | 19 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 106 | - | 734k| 0 | 15 | 146 | 48 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.29 c 0.2s| 1 | 2 | 106 | - | 734k| 0 | 15 | 146 | 48 | 146 | 26 | 20 | 0 | 9 | 0.000000e+00 | 1.199000e+03 | Inf
0.29/0.36 o 473
0.29/0.36 c c 0.3s| 19 | 20 | 286 | 10.0 | 812k| 18 | - | 146 | 48 | 146 | 15 | 20 | 1 | 109 | 0.000000e+00 | 4.730000e+02 | Inf
0.39/0.43 o 472
0.39/0.43 c f 0.4s| 62 | 62 | 493 | 6.3 | 812k| 45 | - | 146 | 48 | 146 | 15 | 20 | 3 | 248 | 0.000000e+00 | 4.720000e+02 | Inf
0.39/0.43 o 470
0.39/0.43 c v 0.4s| 62 | 61 | 493 | 6.3 | 834k| 45 | - | 146 | 48 | 146 | 15 | 20 | 5 | 248 | 0.000000e+00 | 4.700000e+02 | Inf
0.39/0.48 o 469
0.39/0.48 c * 0.4s| 96 | 93 | 595 | 5.1 | 847k| 45 | - | 146 | 48 | 146 | 15 | 20 | 5 | 354 | 0.000000e+00 | 4.690000e+02 | Inf
0.49/0.57 o 447
0.49/0.57 c g 0.5s| 183 | 174 | 1234 | 6.2 | 904k| 46 | - | 146 | 58 | 146 | 15 | 20 | 17 | 445 | 0.000000e+00 | 4.470000e+02 | Inf
0.59/0.64 o 199
0.59/0.64 c f 0.5s| 260 | 237 | 1677 | 6.1 | 947k| 46 | - | 146 | 58 | 146 | 15 | 20 | 17 | 464 | 0.000000e+00 | 1.990000e+02 | Inf
0.79/0.87 o 161
0.79/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.87 c s 0.8s| 580 | 550 | 3093 | 5.2 |1064k| 46 | 6 | 146 | 60 | 146 | 15 | 20 | 26 | 503 | 0.000000e+00 | 1.610000e+02 | Inf
1.49/1.59 o 115
1.49/1.59 c f 1.4s| 1462 | 1418 | 8400 | 5.7 |1510k| 46 | - | 146 | 93 | 146 | 15 | 20 | 92 | 545 | 0.000000e+00 | 1.150000e+02 | Inf
1.99/2.08 o 30
1.99/2.08 c s 1.9s| 2035 | 1528 | 11929 | 5.8 |1540k| 46 | 6 | 146 | 92 | 146 | 15 | 20 | 119 | 587 | 0.000000e+00 | 3.000000e+01 | Inf
1.99/2.08 o 28
1.99/2.08 c v 1.9s| 2035 | 1518 | 11944 | 5.8 |1550k| 46 | - | 146 | 92 | 146 | 15 | 20 | 123 | 593 | 0.000000e+00 | 2.800000e+01 | Inf
8.99/9.05 c 8.3s| 10000 | 7234 | 61261 | 6.1 |4398k| 46 | 6 | 146 | 67 | 146 | 15 | 20 | 893 | 982 | 0.000000e+00 | 2.800000e+01 | Inf
13.59/13.61 o 26
13.59/13.61 c *12.6s| 16603 | 10985 | 92745 | 5.6 |6501k| 46 | - | 146 | 77 | 146 | 15 | 20 |1489 |1293 | 0.000000e+00 | 2.600000e+01 | Inf
15.78/15.89 c 14.7s| 20000 | 12920 |108181 | 5.4 |7515k| 46 | - | 146 | 82 | 146 | 15 | 20 |1758 |1412 | 0.000000e+00 | 2.600000e+01 | Inf
20.29/20.30 o 25
20.29/20.30 c v18.8s| 26730 | 16406 |139301 | 5.2 |9577k| 46 | - | 146 | 74 | 146 | 15 | 20 |2270 |1676 | 0.000000e+00 | 2.500000e+01 | Inf
22.28/22.35 c 20.6s| 30000 | 18070 |154305 | 5.1 | 10M| 46 | - | 146 | 80 | 146 | 15 | 20 |2567 |1782 | 0.000000e+00 | 2.500000e+01 | Inf
23.68/23.71 o 24
23.68/23.71 c *21.9s| 32262 | 19077 |164106 | 5.1 | 11M| 46 | - | 146 | 84 | 146 | 15 | 20 |2743 |1854 | 0.000000e+00 | 2.400000e+01 | Inf
23.68/23.71 o 22
23.68/23.71 c *21.9s| 32263 | 18884 |164106 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2743 |1854 | 0.000000e+00 | 2.200000e+01 | Inf
23.68/23.72 o 20
23.68/23.72 c *21.9s| 32279 | 18598 |164161 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1859 | 0.000000e+00 | 2.000000e+01 | Inf
23.68/23.73 o 18
23.68/23.73 c *21.9s| 32281 | 18272 |164161 | 5.1 | 10M| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1861 | 0.000000e+00 | 1.800000e+01 | Inf
23.68/23.73 o 16
23.68/23.73 c *21.9s| 32282 | 16582 |164161 | 5.1 |9218k| 46 | - | 146 | 84 | 146 | 15 | 20 |2744 |1861 | 0.000000e+00 | 1.600000e+01 | Inf
28.18/28.27 c 26.1s| 40000 | 20080 |198429 | 5.0 | 10M| 46 | 6 | 146 | 89 | 146 | 15 | 20 |3181 |2120 | 0.000000e+00 | 1.600000e+01 | Inf
33.48/33.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.48/33.55 c 31.0s| 50000 | 23309 |237317 | 4.7 | 12M| 46 | - | 146 | 82 | 146 | 15 | 20 |3682 |2394 | 0.000000e+00 | 1.600000e+01 | Inf
38.58/38.66 c 35.6s| 60000 | 26243 |276155 | 4.6 | 14M| 46 | - | 146 | 88 | 146 | 15 | 20 |4131 |2638 | 0.000000e+00 | 1.600000e+01 | Inf
40.48/40.58 o 15
40.48/40.58 c *37.4s| 63838 | 27136 |290716 | 4.6 | 14M| 46 | - | 146 | 90 | 146 | 15 | 20 |4338 |2721 | 0.000000e+00 | 1.500000e+01 | Inf
40.48/40.59 o 13
40.48/40.59 c *37.4s| 63839 | 26765 |290716 | 4.6 | 14M| 46 | - | 146 | 90 | 146 | 15 | 20 |4338 |2721 | 0.000000e+00 | 1.300000e+01 | Inf
43.38/43.47 c 40.1s| 70000 | 27709 |312478 | 4.5 | 15M| 46 | 6 | 146 | 87 | 146 | 15 | 20 |4542 |2838 | 0.000000e+00 | 1.300000e+01 | Inf
48.07/48.17 c 44.4s| 80000 | 29626 |348983 | 4.4 | 16M| 46 | 6 | 146 | 82 | 146 | 15 | 20 |4898 |3058 | 0.000000e+00 | 1.300000e+01 | Inf
53.07/53.19 c 49.0s| 90000 | 32196 |387491 | 4.3 | 18M| 46 | 6 | 146 | 88 | 146 | 15 | 20 |5354 |3239 | 0.000000e+00 | 1.300000e+01 | Inf
58.28/58.35 c 53.7s|100000 | 34947 |427148 | 4.3 | 19M| 46 | - | 146 | 88 | 146 | 15 | 20 |5763 |3399 | 0.000000e+00 | 1.300000e+01 | Inf
62.97/63.05 c 58.0s|110000 | 36842 |463622 | 4.2 | 20M| 46 | 6 | 146 | 80 | 146 | 15 | 20 |6092 |3584 | 0.000000e+00 | 1.300000e+01 | Inf
67.67/67.73 c 62.3s|120000 | 38290 |501240 | 4.2 | 21M| 46 | - | 146 | 72 | 146 | 15 | 20 |6373 |3747 | 0.000000e+00 | 1.300000e+01 | Inf
72.26/72.30 c 66.5s|130000 | 39602 |537704 | 4.1 | 22M| 46 | 6 | 146 | 66 | 146 | 15 | 20 |6674 |3922 | 0.000000e+00 | 1.300000e+01 | Inf
76.77/76.84 c 70.6s|140000 | 40770 |573660 | 4.1 | 23M| 46 | - | 146 | 68 | 146 | 15 | 20 |6965 |4078 | 0.000000e+00 | 1.300000e+01 | Inf
81.38/81.47 c 74.8s|150000 | 42345 |610663 | 4.1 | 24M| 46 | 6 | 146 | 67 | 146 | 15 | 20 |7211 |4240 | 0.000000e+00 | 1.300000e+01 | Inf
84.06/84.13 o 12
84.06/84.13 c *77.3s|155903 | 42827 |632637 | 4.1 | 25M| 46 | - | 146 | 67 | 146 | 15 | 20 |7337 |4317 | 0.000000e+00 | 1.200000e+01 | Inf
85.96/86.00 c 79.0s|160000 | 43020 |647288 | 4.0 | 25M| 46 | 6 | 146 | 64 | 146 | 15 | 20 |7418 |4392 | 0.000000e+00 | 1.200000e+01 | Inf
90.46/90.58 o 11
90.46/90.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.46/90.58 c *83.1s|166293 | 43014 |669456 | 4.0 | 25M| 46 | - | 146 | 69 | 146 | 15 | 20 |7565 |4481 | 0.000000e+00 | 1.100000e+01 | Inf
92.16/92.23 c 84.6s|170000 | 43154 |682496 | 4.0 | 25M| 46 | 6 | 146 | 69 | 146 | 15 | 20 |7657 |4537 | 0.000000e+00 | 1.100000e+01 | Inf
97.36/97.42 c 89.3s|180000 | 43677 |718526 | 4.0 | 25M| 46 | - | 146 | 64 | 146 | 15 | 20 |7859 |4657 | 0.000000e+00 | 1.100000e+01 | Inf
101.95/102.04 c 93.6s|190000 | 44458 |754382 | 4.0 | 26M| 46 | 6 | 146 | 55 | 146 | 15 | 20 |8095 |4796 | 0.000000e+00 | 1.100000e+01 | Inf
106.56/106.68 c 97.8s|200000 | 45050 |790191 | 4.0 | 27M| 46 | 6 | 146 | 54 | 146 | 15 | 20 |8415 |4926 | 0.000000e+00 | 1.100000e+01 | Inf
111.36/111.49 c 102s|210000 | 47593 |827839 | 3.9 | 28M| 46 | - | 146 | 51 | 146 | 15 | 20 |8794 |5076 | 0.000000e+00 | 1.100000e+01 | Inf
116.15/116.28 c 107s|220000 | 49694 |866041 | 3.9 | 29M| 46 | 6 | 146 | 46 | 146 | 15 | 20 |9122 |5201 | 0.000000e+00 | 1.100000e+01 | Inf
121.15/121.26 c 111s|230000 | 52314 |906694 | 3.9 | 31M| 46 | 6 | 146 | 46 | 146 | 15 | 20 |9433 |5314 | 0.000000e+00 | 1.100000e+01 | Inf
126.55/126.61 c 116s|240000 | 55983 |949665 | 4.0 | 32M| 46 | 6 | 146 | 44 | 146 | 15 | 20 |9882 |5446 | 0.000000e+00 | 1.100000e+01 | Inf
131.45/131.51 c 121s|250000 | 59114 |987861 | 4.0 | 34M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 10k|5543 | 0.000000e+00 | 1.100000e+01 | Inf
135.74/135.87 o 9
135.74/135.87 c * 125s|259290 | 60463 | 1022k| 3.9 | 34M| 46 | - | 146 | 41 | 146 | 15 | 20 | 10k|5661 | 0.000000e+00 | 9.000000e+00 | Inf
136.05/136.19 c 125s|260000 | 60619 | 1025k| 3.9 | 34M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 10k|5662 | 0.000000e+00 | 9.000000e+00 | Inf
140.65/140.78 c 129s|270000 | 63166 | 1060k| 3.9 | 35M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 10k|5832 | 0.000000e+00 | 9.000000e+00 | Inf
145.05/145.16 c 133s|280000 | 65074 | 1094k| 3.9 | 37M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 11k|6014 | 0.000000e+00 | 9.000000e+00 | Inf
149.84/149.90 c 137s|290000 | 67272 | 1128k| 3.9 | 38M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 11k|6176 | 0.000000e+00 | 9.000000e+00 | Inf
154.04/154.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.04/154.17 c 141s|300000 | 69083 | 1161k| 3.9 | 39M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 11k|6314 | 0.000000e+00 | 9.000000e+00 | Inf
158.44/158.52 c 145s|310000 | 70908 | 1196k| 3.9 | 40M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 12k|6482 | 0.000000e+00 | 9.000000e+00 | Inf
162.84/162.90 c 149s|320000 | 72213 | 1231k| 3.8 | 41M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 12k|6631 | 0.000000e+00 | 9.000000e+00 | Inf
167.14/167.23 c 153s|330000 | 73482 | 1264k| 3.8 | 42M| 46 | - | 146 | 37 | 0 | 0 | 20 | 13k|6792 | 0.000000e+00 | 9.000000e+00 | Inf
171.33/171.48 c 157s|340000 | 74845 | 1298k| 3.8 | 43M| 46 | - | 146 | 38 | 146 | 15 | 20 | 13k|6949 | 0.000000e+00 | 9.000000e+00 | Inf
175.63/175.71 c 161s|350000 | 75919 | 1332k| 3.8 | 43M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 13k|7110 | 0.000000e+00 | 9.000000e+00 | Inf
179.73/179.88 c 165s|360000 | 77161 | 1365k| 3.8 | 44M| 46 | - | 146 | 38 | 0 | 0 | 20 | 13k|7283 | 0.000000e+00 | 9.000000e+00 | Inf
184.03/184.17 c 168s|370000 | 77844 | 1397k| 3.8 | 45M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 14k|7464 | 0.000000e+00 | 9.000000e+00 | Inf
188.33/188.42 c 172s|380000 | 78893 | 1430k| 3.8 | 46M| 46 | - | 146 | 37 | 0 | 0 | 20 | 14k|7618 | 0.000000e+00 | 9.000000e+00 | Inf
192.52/192.63 c 176s|390000 | 79389 | 1465k| 3.8 | 46M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 14k|7764 | 0.000000e+00 | 9.000000e+00 | Inf
196.63/196.79 c 180s|400000 | 80281 | 1498k| 3.7 | 47M| 46 | - | 146 | 39 | 146 | 15 | 20 | 15k|7919 | 0.000000e+00 | 9.000000e+00 | Inf
200.83/200.90 c 184s|410000 | 80991 | 1530k| 3.7 | 47M| 46 | - | 146 | 43 | 146 | 15 | 20 | 15k|8086 | 0.000000e+00 | 9.000000e+00 | Inf
204.82/204.95 c 187s|420000 | 81711 | 1560k| 3.7 | 48M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 15k|8209 | 0.000000e+00 | 9.000000e+00 | Inf
209.02/209.15 c 191s|430000 | 82667 | 1594k| 3.7 | 49M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 16k|8339 | 0.000000e+00 | 9.000000e+00 | Inf
213.33/213.47 c 195s|440000 | 83801 | 1629k| 3.7 | 49M| 46 | - | 146 | 38 | 146 | 15 | 20 | 16k|8468 | 0.000000e+00 | 9.000000e+00 | Inf
217.63/217.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.63/217.77 c 199s|450000 | 84542 | 1664k| 3.7 | 50M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 16k|8581 | 0.000000e+00 | 9.000000e+00 | Inf
221.92/222.00 c 203s|460000 | 85030 | 1699k| 3.7 | 51M| 46 | - | 146 | 44 | 146 | 15 | 20 | 17k|8699 | 0.000000e+00 | 9.000000e+00 | Inf
226.12/226.21 c 207s|470000 | 85442 | 1735k| 3.7 | 51M| 46 | - | 146 | 45 | 146 | 15 | 20 | 17k|8830 | 0.000000e+00 | 9.000000e+00 | Inf
230.21/230.37 c 211s|480000 | 85559 | 1768k| 3.7 | 51M| 46 | - | 146 | 40 | 146 | 15 | 20 | 17k|8957 | 0.000000e+00 | 9.000000e+00 | Inf
234.41/234.51 c 215s|490000 | 85593 | 1802k| 3.7 | 51M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 18k|9061 | 0.000000e+00 | 9.000000e+00 | Inf
238.52/238.69 c 218s|500000 | 86024 | 1835k| 3.7 | 52M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 18k|9255 | 0.000000e+00 | 9.000000e+00 | Inf
242.81/242.92 c 222s|510000 | 85972 | 1869k| 3.7 | 52M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 18k|9394 | 0.000000e+00 | 9.000000e+00 | Inf
247.11/247.23 c 226s|520000 | 86837 | 1904k| 3.7 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 19k|9515 | 0.000000e+00 | 9.000000e+00 | Inf
251.31/251.40 c 230s|530000 | 87848 | 1937k| 3.7 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 19k|9669 | 0.000000e+00 | 9.000000e+00 | Inf
255.40/255.59 c 234s|540000 | 89293 | 1970k| 3.6 | 54M| 46 | - | 146 | 41 | 146 | 15 | 20 | 19k|9800 | 0.000000e+00 | 9.000000e+00 | Inf
259.60/259.70 c 238s|550000 | 89923 | 2002k| 3.6 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 20k|9917 | 0.000000e+00 | 9.000000e+00 | Inf
263.60/263.79 c 241s|560000 | 90388 | 2033k| 3.6 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 20k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
267.80/267.90 c 245s|570000 | 90644 | 2065k| 3.6 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 20k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
271.80/271.97 c 249s|580000 | 90906 | 2096k| 3.6 | 56M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
275.90/276.06 c 253s|590000 | 91197 | 2128k| 3.6 | 57M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
280.09/280.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.09/280.20 c 256s|600000 | 91741 | 2159k| 3.6 | 57M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 21k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
284.10/284.28 c 260s|610000 | 92154 | 2190k| 3.6 | 57M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
288.19/288.30 c 264s|620000 | 92307 | 2221k| 3.6 | 58M| 46 | - | 146 | 36 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
292.19/292.39 c 267s|630000 | 92442 | 2252k| 3.6 | 58M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 22k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
296.29/296.45 c 271s|640000 | 92574 | 2283k| 3.6 | 58M| 46 | - | 146 | 41 | 146 | 15 | 20 | 22k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
300.49/300.60 c 275s|650000 | 92818 | 2316k| 3.6 | 59M| 46 | - | 146 | 45 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
304.50/304.63 c 279s|660000 | 93171 | 2346k| 3.6 | 59M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
308.58/308.72 c 282s|670000 | 93389 | 2378k| 3.5 | 59M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 23k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
312.59/312.78 c 286s|680000 | 93355 | 2408k| 3.5 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
313.89/314.01 o 7
313.89/314.01 c * 287s|682916 | 90949 | 2418k| 3.5 | 56M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
313.89/314.02 o 5
313.89/314.02 c * 287s|682917 | 87710 | 2418k| 3.5 | 52M| 46 | - | 146 | 40 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
316.59/316.79 c 290s|690000 | 88136 | 2443k| 3.5 | 52M| 46 | - | 146 | 35 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
320.38/320.59 c 293s|700000 | 88505 | 2477k| 3.5 | 52M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 24k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
324.18/324.33 c 296s|710000 | 88660 | 2509k| 3.5 | 52M| 46 | - | 146 | 33 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
328.08/328.25 c 300s|720000 | 89980 | 2544k| 3.5 | 53M| 46 | - | 146 | 35 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
331.77/331.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.77/331.98 c 303s|730000 | 90651 | 2577k| 3.5 | 54M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
335.48/335.66 c 307s|740000 | 90958 | 2608k| 3.5 | 54M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 24k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
339.17/339.37 c 310s|750000 | 91326 | 2639k| 3.5 | 54M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
342.87/343.09 c 313s|760000 | 91529 | 2671k| 3.5 | 55M| 46 | - | 146 | 36 | 0 | 0 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
346.57/346.75 c 317s|770000 | 91560 | 2701k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 25k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
350.27/350.41 c 320s|780000 | 91600 | 2732k| 3.5 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
353.87/354.03 c 323s|790000 | 91510 | 2761k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
357.47/357.67 c 327s|800000 | 91199 | 2791k| 3.5 | 55M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
361.17/361.37 c 330s|810000 | 91142 | 2822k| 3.5 | 55M| 46 | - | 146 | 35 | 146 | 15 | 20 | 25k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
364.87/365.00 c 333s|820000 | 90835 | 2851k| 3.5 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
368.56/368.71 c 337s|830000 | 90773 | 2883k| 3.5 | 55M| 46 | - | 146 | 34 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
372.27/372.40 c 340s|840000 | 90629 | 2914k| 3.5 | 55M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 26k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
376.07/376.21 c 344s|850000 | 91278 | 2947k| 3.5 | 55M| 46 | - | 146 | 32 | 146 | 15 | 20 | 26k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
379.76/379.92 c 347s|860000 | 91132 | 2978k| 3.5 | 55M| 46 | - | 146 | 31 | 146 | 15 | 20 | 26k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
383.46/383.67 c 350s|870000 | 90994 | 3008k| 3.5 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
387.16/387.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.16/387.35 c 354s|880000 | 90598 | 3038k| 3.5 | 55M| 46 | - | 146 | 31 | 0 | 0 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
390.76/390.98 c 357s|890000 | 90243 | 3069k| 3.4 | 55M| 46 | - | 146 | 33 | 0 | 0 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
394.46/394.66 c 360s|900000 | 90092 | 3100k| 3.4 | 55M| 46 | - | 146 | 33 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
398.16/398.36 c 364s|910000 | 89943 | 3132k| 3.4 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
401.85/402.01 c 367s|920000 | 89647 | 3162k| 3.4 | 54M| 46 | - | 146 | 32 | 146 | 15 | 20 | 27k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
405.45/405.66 c 370s|930000 | 89388 | 3192k| 3.4 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
409.15/409.34 c 374s|940000 | 89183 | 3222k| 3.4 | 54M| 46 | - | 146 | 33 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
412.85/413.03 c 377s|950000 | 89065 | 3253k| 3.4 | 54M| 46 | - | 146 | 32 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
416.66/416.84 c 381s|960000 | 90055 | 3285k| 3.4 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
420.35/420.58 c 384s|970000 | 90675 | 3317k| 3.4 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 28k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
424.15/424.32 c 387s|980000 | 90857 | 3348k| 3.4 | 55M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
427.85/428.09 c 391s|990000 | 91055 | 3380k| 3.4 | 55M| 46 | - | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
431.54/431.72 c 394s| 1000k| 91151 | 3410k| 3.4 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 29k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
435.24/435.42 c 397s| 1010k| 91291 | 3441k| 3.4 | 56M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 29k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
438.94/439.13 c 401s| 1020k| 91320 | 3470k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
442.64/442.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.64/442.83 c 404s| 1030k| 91141 | 3501k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
446.35/446.52 c 407s| 1040k| 91010 | 3531k| 3.4 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
450.04/450.20 c 411s| 1050k| 90870 | 3562k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
453.64/453.88 c 414s| 1060k| 91119 | 3592k| 3.4 | 56M| 46 | - | 146 | 38 | 146 | 15 | 20 | 30k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
457.35/457.52 c 417s| 1070k| 90947 | 3621k| 3.4 | 56M| 46 | - | 146 | 37 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
460.94/461.16 c 421s| 1080k| 90672 | 3652k| 3.4 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
464.63/464.89 c 424s| 1090k| 90776 | 3683k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 31k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
468.34/468.58 c 428s| 1100k| 90204 | 3713k| 3.4 | 56M| 46 | - | 146 | 34 | 146 | 15 | 20 | 31k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
472.13/472.36 c 431s| 1110k| 90200 | 3744k| 3.4 | 55M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 31k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
475.93/476.15 c 434s| 1120k| 91029 | 3777k| 3.4 | 56M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
479.62/479.87 c 438s| 1130k| 91225 | 3809k| 3.4 | 56M| 46 | - | 146 | 34 | 0 | 0 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
483.33/483.55 c 441s| 1140k| 91040 | 3840k| 3.4 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
487.03/487.21 c 444s| 1150k| 90595 | 3871k| 3.4 | 56M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
490.62/490.83 c 448s| 1160k| 89911 | 3901k| 3.4 | 56M| 46 | - | 146 | 33 | 146 | 15 | 20 | 32k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
494.23/494.49 c 451s| 1170k| 89926 | 3931k| 3.4 | 56M| 46 | - | 146 | 36 | 0 | 0 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
497.92/498.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.92/498.14 c 454s| 1180k| 89485 | 3960k| 3.4 | 55M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
501.52/501.79 c 458s| 1190k| 89024 | 3991k| 3.4 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 33k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
505.22/505.47 c 461s| 1200k| 88840 | 4021k| 3.4 | 54M| 46 | - | 146 | 36 | 146 | 15 | 20 | 33k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
508.92/509.18 c 464s| 1210k| 88570 | 4053k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 33k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
512.62/512.83 c 468s| 1220k| 88259 | 4082k| 3.3 | 54M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
516.21/516.49 c 471s| 1230k| 88130 | 4113k| 3.3 | 54M| 46 | - | 146 | 38 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
519.92/520.18 c 474s| 1240k| 87745 | 4144k| 3.3 | 53M| 46 | - | 146 | 34 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
523.61/523.87 c 478s| 1250k| 88065 | 4175k| 3.3 | 54M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
527.51/527.70 c 481s| 1260k| 88706 | 4207k| 3.3 | 54M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 34k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
531.21/531.44 c 485s| 1270k| 88891 | 4238k| 3.3 | 54M| 46 | - | 146 | 35 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
534.91/535.18 c 488s| 1280k| 88685 | 4269k| 3.3 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
538.61/538.87 c 491s| 1290k| 88298 | 4298k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 35k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
542.41/542.61 c 495s| 1300k| 88442 | 4329k| 3.3 | 54M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
546.10/546.32 c 498s| 1310k| 87994 | 4358k| 3.3 | 54M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
549.81/550.08 c 502s| 1320k| 87466 | 4389k| 3.3 | 53M| 46 | - | 146 | 39 | 0 | 0 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
553.50/553.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.50/553.74 c 505s| 1330k| 86911 | 4419k| 3.3 | 53M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 36k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
557.20/557.44 c 508s| 1340k| 86639 | 4450k| 3.3 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
560.90/561.18 c 512s| 1350k| 86538 | 4481k| 3.3 | 53M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
564.70/564.96 c 515s| 1360k| 86421 | 4514k| 3.3 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
568.40/568.63 c 518s| 1370k| 86042 | 4544k| 3.3 | 52M| 46 | - | 146 | 35 | 146 | 15 | 20 | 37k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
572.40/572.65 c 522s| 1380k| 86652 | 4580k| 3.3 | 53M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
576.30/576.54 c 526s| 1390k| 87860 | 4613k| 3.3 | 54M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
580.19/580.44 c 529s| 1400k| 88589 | 4647k| 3.3 | 54M| 46 | - | 146 | 39 | 146 | 15 | 20 | 38k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
583.99/584.24 c 532s| 1410k| 88982 | 4679k| 3.3 | 55M| 46 | - | 146 | 35 | 146 | 15 | 20 | 38k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
587.70/587.99 c 536s| 1420k| 89166 | 4711k| 3.3 | 55M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
591.49/591.75 c 539s| 1430k| 89350 | 4743k| 3.3 | 55M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
595.28/595.51 c 543s| 1440k| 89368 | 4774k| 3.3 | 55M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
599.09/599.33 c 546s| 1450k| 90123 | 4806k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
602.78/603.01 c 550s| 1460k| 90382 | 4836k| 3.3 | 56M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 39k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
606.38/606.69 c 553s| 1470k| 90556 | 4865k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
610.19/610.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.19/610.49 c 556s| 1480k| 90634 | 4897k| 3.3 | 56M| 46 | - | 146 | 33 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
613.88/614.18 c 560s| 1490k| 90517 | 4926k| 3.3 | 56M| 46 | - | 146 | 38 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
617.68/617.96 c 563s| 1500k| 90370 | 4958k| 3.3 | 56M| 46 | - | 146 | 37 | 146 | 15 | 20 | 40k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
621.48/621.76 c 567s| 1510k| 90113 | 4990k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 41k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
625.18/625.46 c 570s| 1520k| 89787 | 5020k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 41k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
628.98/629.22 c 573s| 1530k| 89663 | 5051k| 3.3 | 56M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
632.57/632.86 c 577s| 1540k| 89841 | 5082k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
636.37/636.60 c 580s| 1550k| 89403 | 5112k| 3.3 | 56M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 41k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
640.07/640.30 c 583s| 1560k| 88835 | 5143k| 3.3 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
643.77/644.07 c 587s| 1570k| 89229 | 5174k| 3.3 | 56M| 46 | - | 146 | 36 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
647.58/647.87 c 590s| 1580k| 89368 | 5206k| 3.3 | 56M| 46 | - | 146 | 35 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
651.37/651.66 c 594s| 1590k| 89239 | 5236k| 3.3 | 56M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
655.17/655.43 c 597s| 1600k| 88874 | 5266k| 3.3 | 56M| 46 | - | 146 | 31 | 146 | 15 | 20 | 42k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
658.86/659.17 c 601s| 1610k| 88665 | 5296k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 43k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
662.57/662.89 c 604s| 1620k| 88677 | 5326k| 3.3 | 56M| 46 | - | 146 | 31 | 0 | 0 | 20 | 43k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
666.27/666.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.27/666.59 c 607s| 1630k| 88443 | 5356k| 3.3 | 56M| 46 | - | 146 | 30 | 146 | 15 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
669.97/670.25 c 611s| 1640k| 87977 | 5385k| 3.3 | 55M| 46 | - | 146 | 32 | 0 | 0 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
673.76/674.02 c 614s| 1650k| 87557 | 5417k| 3.3 | 55M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 43k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
677.56/677.86 c 618s| 1660k| 88259 | 5450k| 3.3 | 55M| 46 | - | 146 | 38 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
681.36/681.66 c 621s| 1670k| 88546 | 5482k| 3.3 | 56M| 46 | - | 146 | 32 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
685.36/685.62 c 625s| 1680k| 89643 | 5516k| 3.3 | 56M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
689.06/689.39 c 628s| 1690k| 90289 | 5548k| 3.3 | 57M| 46 | - | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
692.85/693.13 c 631s| 1700k| 90804 | 5579k| 3.3 | 57M| 46 | - | 146 | 31 | 146 | 15 | 20 | 44k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
696.55/696.88 c 635s| 1710k| 91054 | 5610k| 3.3 | 58M| 46 | - | 146 | 34 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
700.36/700.61 c 638s| 1720k| 91344 | 5639k| 3.3 | 58M| 46 | - | 146 | 34 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
704.06/704.38 c 642s| 1730k| 91497 | 5671k| 3.3 | 58M| 46 | - | 146 | 33 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
707.85/708.10 c 645s| 1740k| 91718 | 5701k| 3.3 | 58M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
711.65/711.95 c 649s| 1750k| 91712 | 5732k| 3.3 | 59M| 46 | - | 146 | 32 | 146 | 15 | 20 | 45k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
715.35/715.67 c 652s| 1760k| 91939 | 5761k| 3.3 | 59M| 46 | - | 146 | 36 | 146 | 15 | 20 | 46k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
719.15/719.47 c 655s| 1770k| 91867 | 5791k| 3.3 | 59M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
722.84/723.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.84/723.19 c 659s| 1780k| 92507 | 5820k| 3.3 | 59M| 46 | - | 146 | 32 | 0 | 0 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
726.65/726.93 c 662s| 1790k| 92476 | 5848k| 3.3 | 60M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
730.35/730.69 c 666s| 1800k| 92250 | 5878k| 3.3 | 60M| 46 | - | 146 | 31 | 0 | 0 | 20 | 46k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
734.14/734.42 c 669s| 1810k| 91939 | 5908k| 3.3 | 59M| 46 | - | 146 | 37 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
737.94/738.21 c 672s| 1820k| 92096 | 5939k| 3.3 | 60M| 46 | - | 146 | 33 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
741.64/741.98 c 676s| 1830k| 91774 | 5968k| 3.3 | 60M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
745.44/745.72 c 679s| 1840k| 91682 | 5999k| 3.3 | 60M| 46 | - | 146 | 30 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
749.14/749.44 c 683s| 1850k| 91199 | 6027k| 3.3 | 59M| 46 | - | 146 | 30 | 146 | 15 | 20 | 47k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
752.93/753.24 c 686s| 1860k| 91181 | 6059k| 3.3 | 59M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
756.73/757.02 c 690s| 1870k| 90877 | 6089k| 3.3 | 59M| 46 | 6 | 146 | 30 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
760.43/760.76 c 693s| 1880k| 90164 | 6118k| 3.3 | 59M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
764.13/764.49 c 696s| 1890k| 89597 | 6146k| 3.3 | 58M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
767.93/768.23 c 700s| 1900k| 88863 | 6177k| 3.3 | 58M| 46 | 6 | 146 | 30 | 146 | 15 | 20 | 48k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
771.73/772.01 c 703s| 1910k| 87149 | 6204k| 3.2 | 55M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 48k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
775.43/775.75 c 706s| 1920k| 86101 | 6234k| 3.2 | 54M| 46 | 6 | 146 | 32 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
779.13/779.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.13/779.46 c 710s| 1930k| 85384 | 6264k| 3.2 | 52M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
782.83/783.12 c 713s| 1940k| 85253 | 6296k| 3.2 | 52M| 46 | - | 146 | 32 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
786.53/786.87 c 717s| 1950k| 85289 | 6328k| 3.2 | 52M| 46 | - | 146 | 33 | 146 | 15 | 20 | 49k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
790.22/790.56 c 720s| 1960k| 85099 | 6359k| 3.2 | 52M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
794.12/794.42 c 723s| 1970k| 85442 | 6390k| 3.2 | 53M| 46 | - | 146 | 38 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
798.02/798.31 c 727s| 1980k| 85435 | 6420k| 3.2 | 53M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 50k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
801.81/802.15 c 731s| 1990k| 85365 | 6450k| 3.2 | 53M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 51k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
805.72/806.04 c 734s| 2000k| 85319 | 6480k| 3.2 | 53M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 51k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
809.52/809.84 c 738s| 2010k| 85322 | 6509k| 3.2 | 53M| 46 | - | 146 | 42 | 146 | 15 | 20 | 52k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
813.22/813.57 c 741s| 2020k| 85458 | 6538k| 3.2 | 53M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 52k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
817.11/817.41 c 744s| 2030k| 85007 | 6568k| 3.2 | 52M| 46 | - | 146 | 45 | 146 | 15 | 20 | 53k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
820.91/821.28 c 748s| 2040k| 85168 | 6597k| 3.2 | 53M| 46 | - | 146 | 46 | 146 | 15 | 20 | 53k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
824.81/825.18 c 751s| 2050k| 85414 | 6629k| 3.2 | 52M| 46 | - | 146 | 44 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
828.81/829.13 c 755s| 2060k| 85898 | 6663k| 3.2 | 53M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
832.71/833.00 c 759s| 2070k| 86368 | 6696k| 3.2 | 53M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
836.51/836.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.51/836.86 c 762s| 2080k| 86684 | 6728k| 3.2 | 54M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 54k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
840.41/840.73 c 766s| 2090k| 87144 | 6759k| 3.2 | 54M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
844.20/844.55 c 769s| 2100k| 87134 | 6790k| 3.2 | 54M| 46 | - | 146 | 42 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
848.10/848.49 c 773s| 2110k| 87529 | 6822k| 3.2 | 55M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
852.00/852.30 c 776s| 2120k| 87824 | 6854k| 3.2 | 55M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 55k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
855.80/856.11 c 780s| 2130k| 87842 | 6885k| 3.2 | 55M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
859.60/859.94 c 783s| 2140k| 87769 | 6916k| 3.2 | 55M| 46 | - | 146 | 41 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
863.40/863.78 c 786s| 2150k| 87642 | 6947k| 3.2 | 55M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
867.19/867.52 c 790s| 2160k| 87742 | 6977k| 3.2 | 55M| 46 | - | 146 | 41 | 146 | 15 | 20 | 56k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
871.00/871.34 c 793s| 2170k| 87760 | 7008k| 3.2 | 55M| 46 | - | 146 | 39 | 146 | 15 | 20 | 57k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
874.80/875.12 c 797s| 2180k| 87958 | 7039k| 3.2 | 55M| 46 | - | 146 | 48 | 146 | 15 | 20 | 57k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
878.69/879.01 c 800s| 2190k| 87886 | 7071k| 3.2 | 56M| 46 | - | 146 | 42 | 146 | 15 | 20 | 57k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
882.49/882.80 c 804s| 2200k| 87824 | 7102k| 3.2 | 56M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
886.39/886.78 c 807s| 2210k| 88585 | 7136k| 3.2 | 56M| 46 | - | 146 | 41 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
890.18/890.59 c 811s| 2220k| 88533 | 7168k| 3.2 | 56M| 46 | - | 146 | 42 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
894.09/894.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.09/894.48 c 814s| 2230k| 88816 | 7200k| 3.2 | 57M| 46 | - | 146 | 39 | 0 | 0 | 20 | 58k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
897.88/898.24 c 818s| 2240k| 88638 | 7231k| 3.2 | 57M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
901.70/902.03 c 821s| 2250k| 88275 | 7262k| 3.2 | 56M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
905.38/905.76 c 825s| 2260k| 88047 | 7292k| 3.2 | 56M| 46 | - | 146 | 43 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
909.29/909.61 c 828s| 2270k| 88219 | 7324k| 3.2 | 56M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
912.88/913.28 c 832s| 2280k| 88194 | 7354k| 3.2 | 56M| 46 | - | 146 | 45 | 146 | 15 | 20 | 59k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
916.78/917.20 c 835s| 2290k| 89238 | 7387k| 3.2 | 57M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
920.68/921.02 c 839s| 2300k| 90080 | 7418k| 3.2 | 58M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
924.38/924.78 c 842s| 2310k| 90314 | 7449k| 3.2 | 58M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
928.17/928.52 c 845s| 2320k| 90512 | 7479k| 3.2 | 58M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 60k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
931.88/932.25 c 849s| 2330k| 90696 | 7510k| 3.2 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
935.68/936.04 c 852s| 2340k| 91214 | 7541k| 3.2 | 59M| 46 | - | 146 | 46 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
939.27/939.69 c 856s| 2350k| 91605 | 7570k| 3.2 | 59M| 46 | - | 146 | 41 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
942.97/943.38 c 859s| 2360k| 91505 | 7599k| 3.2 | 59M| 46 | - | 146 | 44 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
946.78/947.10 c 862s| 2370k| 91452 | 7629k| 3.2 | 59M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 61k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
950.37/950.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.37/950.79 c 866s| 2380k| 91190 | 7659k| 3.2 | 59M| 46 | - | 146 | 37 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
954.06/954.49 c 869s| 2390k| 90949 | 7688k| 3.2 | 59M| 46 | - | 146 | 40 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
957.87/958.24 c 872s| 2400k| 90739 | 7718k| 3.2 | 59M| 46 | - | 146 | 39 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
961.67/962.02 c 876s| 2410k| 91031 | 7749k| 3.2 | 60M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
965.26/965.70 c 879s| 2420k| 91067 | 7778k| 3.2 | 60M| 46 | - | 146 | 42 | 146 | 15 | 20 | 62k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
968.96/969.36 c 882s| 2430k| 91112 | 7807k| 3.2 | 60M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
972.66/973.02 c 886s| 2440k| 91303 | 7835k| 3.2 | 60M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
976.36/976.74 c 889s| 2450k| 91612 | 7866k| 3.2 | 60M| 46 | - | 146 | 40 | 146 | 15 | 20 | 63k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
980.06/980.44 c 893s| 2460k| 92035 | 7896k| 3.2 | 61M| 46 | - | 146 | 41 | 146 | 15 | 20 | 63k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
983.65/984.08 c 896s| 2470k| 92225 | 7925k| 3.2 | 61M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 63k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
987.26/987.64 c 899s| 2480k| 92130 | 7954k| 3.2 | 61M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
990.95/991.31 c 902s| 2490k| 92458 | 7984k| 3.2 | 61M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
994.65/995.08 c 906s| 2500k| 93074 | 8014k| 3.2 | 62M| 46 | 6 | 146 | 50 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
998.35/998.73 c 909s| 2510k| 93156 | 8043k| 3.2 | 62M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1002.05/1002.44 c 913s| 2520k| 93036 | 8073k| 3.2 | 62M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 64k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1005.74/1006.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.74/1006.10 c 916s| 2530k| 93246 | 8103k| 3.2 | 62M| 46 | - | 146 | 38 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1009.36/1009.75 c 919s| 2540k| 92926 | 8132k| 3.2 | 62M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1012.95/1013.39 c 922s| 2550k| 92920 | 8161k| 3.2 | 62M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1016.64/1017.04 c 926s| 2560k| 93020 | 8191k| 3.2 | 62M| 46 | - | 146 | 40 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1020.35/1020.73 c 929s| 2570k| 92750 | 8221k| 3.2 | 62M| 46 | - | 146 | 40 | 146 | 15 | 20 | 65k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1024.04/1024.43 c 933s| 2580k| 92488 | 8250k| 3.2 | 62M| 46 | - | 146 | 40 | 0 | 0 | 20 | 66k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1027.74/1028.10 c 936s| 2590k| 92581 | 8280k| 3.2 | 62M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 66k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1031.44/1031.83 c 939s| 2600k| 92546 | 8310k| 3.2 | 62M| 46 | - | 146 | 47 | 0 | 0 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1035.14/1035.50 c 943s| 2610k| 92311 | 8340k| 3.2 | 62M| 46 | - | 146 | 41 | 146 | 15 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1038.74/1039.18 c 946s| 2620k| 92006 | 8369k| 3.2 | 62M| 46 | - | 146 | 46 | 0 | 0 | 20 | 66k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1042.54/1042.92 c 949s| 2630k| 91825 | 8400k| 3.2 | 62M| 46 | - | 146 | 44 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1046.14/1046.59 c 953s| 2640k| 91790 | 8430k| 3.2 | 62M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1049.83/1050.28 c 956s| 2650k| 91551 | 8459k| 3.2 | 62M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1053.53/1053.94 c 959s| 2660k| 91327 | 8488k| 3.2 | 61M| 46 | - | 146 | 39 | 146 | 15 | 20 | 67k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1057.23/1057.65 c 963s| 2670k| 91241 | 8519k| 3.2 | 61M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1060.93/1061.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.93/1061.37 c 966s| 2680k| 91336 | 8549k| 3.2 | 61M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1064.73/1065.18 c 970s| 2690k| 91803 | 8581k| 3.2 | 62M| 46 | - | 146 | 42 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1068.53/1068.95 c 973s| 2700k| 91872 | 8612k| 3.2 | 62M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 68k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1072.23/1072.66 c 976s| 2710k| 92049 | 8641k| 3.2 | 62M| 46 | - | 146 | 38 | 146 | 15 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1076.02/1076.41 c 980s| 2720k| 92283 | 8671k| 3.2 | 63M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1079.73/1080.11 c 983s| 2730k| 92050 | 8701k| 3.2 | 62M| 46 | - | 146 | 37 | 0 | 0 | 20 | 69k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1083.42/1083.86 c 986s| 2740k| 91547 | 8730k| 3.2 | 62M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 69k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1087.12/1087.56 c 990s| 2750k| 91775 | 8759k| 3.2 | 62M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1090.82/1091.27 c 993s| 2760k| 91676 | 8787k| 3.2 | 62M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1094.62/1095.09 c 997s| 2770k| 92128 | 8818k| 3.2 | 63M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1098.42/1098.83 c 1000s| 2780k| 92851 | 8849k| 3.2 | 63M| 46 | - | 146 | 37 | 146 | 15 | 20 | 70k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1102.11/1102.57 c 1004s| 2790k| 93480 | 8881k| 3.2 | 64M| 46 | - | 146 | 38 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1105.81/1106.25 c 1007s| 2800k| 93924 | 8911k| 3.2 | 64M| 46 | - | 146 | 37 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1109.42/1109.89 c 1010s| 2810k| 94297 | 8940k| 3.2 | 64M| 46 | - | 146 | 42 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1113.11/1113.55 c 1014s| 2820k| 94372 | 8970k| 3.2 | 65M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1116.81/1117.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.81/1117.24 c 1017s| 2830k| 94477 | 9000k| 3.2 | 65M| 46 | - | 146 | 39 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1120.52/1120.99 c 1020s| 2840k| 94318 | 9030k| 3.2 | 65M| 46 | - | 146 | 46 | 146 | 15 | 20 | 71k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1124.21/1124.60 c 1024s| 2850k| 93994 | 9058k| 3.2 | 65M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1127.91/1128.37 c 1027s| 2860k| 94605 | 9089k| 3.2 | 65M| 46 | - | 146 | 38 | 0 | 0 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1131.70/1132.11 c 1030s| 2870k| 94889 | 9120k| 3.2 | 65M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1135.30/1135.76 c 1034s| 2880k| 95059 | 9151k| 3.2 | 66M| 46 | - | 146 | 39 | 0 | 0 | 20 | 72k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1139.11/1139.51 c 1037s| 2890k| 95604 | 9183k| 3.2 | 66M| 46 | - | 146 | 37 | 146 | 15 | 20 | 72k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1142.81/1143.24 c 1041s| 2900k| 95946 | 9215k| 3.2 | 66M| 46 | - | 146 | 35 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1146.50/1146.98 c 1044s| 2910k| 96259 | 9246k| 3.2 | 67M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1150.30/1150.71 c 1047s| 2920k| 96249 | 9277k| 3.2 | 67M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1154.00/1154.41 c 1051s| 2930k| 96308 | 9308k| 3.2 | 67M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1157.69/1158.10 c 1054s| 2940k| 96199 | 9339k| 3.2 | 67M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 73k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1161.29/1161.77 c 1057s| 2950k| 95976 | 9368k| 3.2 | 67M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1164.99/1165.48 c 1061s| 2960k| 96128 | 9399k| 3.2 | 67M| 46 | - | 146 | 38 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1168.80/1169.28 c 1064s| 2970k| 96388 | 9432k| 3.2 | 67M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1172.70/1173.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.70/1173.14 c 1068s| 2980k| 97070 | 9464k| 3.2 | 68M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1176.50/1176.94 c 1071s| 2990k| 97920 | 9496k| 3.2 | 68M| 46 | - | 146 | 38 | 0 | 0 | 20 | 74k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1180.19/1180.67 c 1075s| 3000k| 98475 | 9527k| 3.2 | 69M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 75k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1183.89/1184.36 c 1078s| 3010k| 98884 | 9558k| 3.2 | 69M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 75k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1187.59/1188.03 c 1081s| 3020k| 99048 | 9588k| 3.2 | 69M| 46 | - | 146 | 37 | 146 | 15 | 20 | 75k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1191.28/1191.74 c 1085s| 3030k| 99379 | 9619k| 3.2 | 70M| 46 | - | 146 | 32 | 146 | 15 | 20 | 75k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1194.97/1195.44 c 1088s| 3040k| 99735 | 9649k| 3.2 | 70M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1198.67/1199.14 c 1091s| 3050k|100208 | 9680k| 3.2 | 70M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1202.37/1202.81 c 1095s| 3060k|100504 | 9711k| 3.2 | 71M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1206.07/1206.55 c 1098s| 3070k|100960 | 9742k| 3.2 | 71M| 46 | - | 146 | 36 | 146 | 15 | 20 | 76k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1209.97/1210.46 c 1102s| 3080k|101987 | 9776k| 3.2 | 72M| 46 | - | 146 | 40 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1213.87/1214.33 c 1105s| 3090k|102717 | 9810k| 3.2 | 72M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1217.77/1218.24 c 1109s| 3100k|103126 | 9844k| 3.2 | 73M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1221.57/1222.07 c 1112s| 3110k|103270 | 9877k| 3.2 | 73M| 46 | - | 146 | 40 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1225.47/1225.94 c 1116s| 3120k|103448 | 9910k| 3.2 | 73M| 46 | 6 | 146 | 34 | 146 | 15 | 20 | 77k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1229.16/1229.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.16/1229.63 c 1119s| 3130k|103608 | 9941k| 3.2 | 73M| 46 | 6 | 146 | 31 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1232.87/1233.36 c 1123s| 3140k|103529 | 9973k| 3.2 | 74M| 46 | - | 146 | 36 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1236.66/1237.18 c 1126s| 3150k|103675 | 10006k| 3.2 | 74M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 78k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1240.46/1240.95 c 1129s| 3160k|104523 | 10038k| 3.2 | 74M| 46 | - | 146 | 38 | 146 | 15 | 20 | 78k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1244.26/1244.71 c 1133s| 3170k|105076 | 10072k| 3.2 | 75M| 46 | - | 146 | 36 | 146 | 15 | 20 | 78k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1247.97/1248.42 c 1136s| 3180k|105443 | 10103k| 3.2 | 75M| 46 | - | 146 | 41 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1251.55/1252.09 c 1139s| 3190k|105567 | 10133k| 3.2 | 75M| 46 | - | 146 | 40 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1255.26/1255.77 c 1143s| 3200k|105471 | 10164k| 3.2 | 75M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1259.07/1259.57 c 1146s| 3210k|106153 | 10198k| 3.2 | 76M| 46 | - | 146 | 38 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1262.76/1263.24 c 1150s| 3220k|106451 | 10228k| 3.2 | 76M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1266.45/1266.96 c 1153s| 3230k|106870 | 10260k| 3.2 | 77M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 79k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1270.25/1270.77 c 1156s| 3240k|107415 | 10293k| 3.2 | 77M| 46 | - | 146 | 40 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1273.95/1274.46 c 1160s| 3250k|107320 | 10325k| 3.2 | 77M| 46 | - | 146 | 37 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1277.75/1278.21 c 1163s| 3260k|107509 | 10357k| 3.2 | 77M| 46 | - | 146 | 36 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1281.35/1281.83 c 1166s| 3270k|107348 | 10387k| 3.2 | 77M| 46 | - | 146 | 35 | 146 | 15 | 20 | 80k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1285.05/1285.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.05/1285.50 c 1170s| 3280k|107297 | 10418k| 3.2 | 77M| 46 | - | 146 | 36 | 146 | 15 | 20 | 80k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1288.75/1289.24 c 1173s| 3290k|107493 | 10450k| 3.2 | 78M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 80k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1292.34/1292.89 c 1176s| 3300k|107775 | 10481k| 3.2 | 78M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1295.94/1296.47 c 1180s| 3310k|107934 | 10510k| 3.2 | 78M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1299.64/1300.13 c 1183s| 3320k|107894 | 10541k| 3.2 | 78M| 46 | - | 146 | 40 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1303.34/1303.83 c 1186s| 3330k|107800 | 10571k| 3.2 | 78M| 46 | - | 146 | 39 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1307.04/1307.52 c 1190s| 3340k|107758 | 10601k| 3.2 | 78M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 81k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1310.65/1311.20 c 1193s| 3350k|107655 | 10632k| 3.2 | 78M| 46 | - | 146 | 40 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1314.54/1315.03 c 1197s| 3360k|108326 | 10666k| 3.2 | 79M| 46 | - | 146 | 41 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1318.34/1318.82 c 1200s| 3370k|108467 | 10698k| 3.2 | 79M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1322.03/1322.50 c 1203s| 3380k|108411 | 10729k| 3.2 | 79M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1325.73/1326.20 c 1207s| 3390k|108791 | 10761k| 3.2 | 79M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1329.34/1329.89 c 1210s| 3400k|108790 | 10792k| 3.2 | 80M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 82k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1333.03/1333.54 c 1213s| 3410k|108654 | 10823k| 3.2 | 80M| 46 | - | 146 | 39 | 146 | 15 | 20 | 83k| 34k| 0.000000e+00 | 5.000000e+00 | Inf
1336.83/1337.33 c 1217s| 3420k|108657 | 10855k| 3.2 | 80M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1340.73/1341.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.73/1341.22 c 1220s| 3430k|109269 | 10888k| 3.2 | 80M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1344.62/1345.11 c 1224s| 3440k|110140 | 10921k| 3.2 | 81M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 83k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1348.43/1348.96 c 1227s| 3450k|110490 | 10953k| 3.2 | 81M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1352.22/1352.78 c 1231s| 3460k|110783 | 10984k| 3.2 | 81M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1356.02/1356.56 c 1234s| 3470k|110752 | 11016k| 3.2 | 81M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1359.82/1360.35 c 1238s| 3480k|110919 | 11047k| 3.2 | 82M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1363.62/1364.13 c 1241s| 3490k|110958 | 11078k| 3.2 | 82M| 46 | - | 146 | 42 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1367.42/1367.91 c 1244s| 3500k|110876 | 11109k| 3.2 | 82M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 84k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1371.12/1371.66 c 1248s| 3510k|110799 | 11139k| 3.2 | 82M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1375.12/1375.67 c 1252s| 3520k|111993 | 11172k| 3.2 | 83M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1379.02/1379.57 c 1255s| 3530k|113432 | 11204k| 3.2 | 83M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1382.91/1383.49 c 1259s| 3540k|115014 | 11238k| 3.2 | 84M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 85k| 35k| 0.000000e+00 | 5.000000e+00 | Inf
1386.71/1387.29 c 1262s| 3550k|116168 | 11270k| 3.2 | 85M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1390.51/1391.06 c 1266s| 3560k|116990 | 11302k| 3.2 | 86M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1394.32/1394.84 c 1269s| 3570k|117765 | 11334k| 3.2 | 86M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1398.11/1398.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.11/1398.66 c 1273s| 3580k|118444 | 11366k| 3.2 | 87M| 46 | - | 146 | 41 | 0 | 0 | 20 | 86k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1401.81/1402.37 c 1276s| 3590k|119015 | 11397k| 3.2 | 87M| 46 | - | 146 | 33 | 0 | 0 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1405.61/1406.15 c 1279s| 3600k|119702 | 11429k| 3.2 | 88M| 46 | - | 146 | 36 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1409.30/1409.88 c 1283s| 3610k|120190 | 11459k| 3.2 | 88M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1413.10/1413.61 c 1286s| 3620k|120805 | 11491k| 3.2 | 89M| 46 | - | 146 | 38 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1416.80/1417.34 c 1289s| 3630k|121594 | 11522k| 3.2 | 89M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 87k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1420.61/1421.18 c 1293s| 3640k|122294 | 11554k| 3.2 | 90M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1424.50/1425.09 c 1297s| 3650k|123673 | 11586k| 3.2 | 91M| 46 | - | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1428.40/1428.92 c 1300s| 3660k|124661 | 11619k| 3.2 | 91M| 46 | - | 146 | 55 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1432.30/1432.80 c 1304s| 3670k|125675 | 11651k| 3.2 | 92M| 46 | - | 146 | 46 | 146 | 15 | 20 | 88k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1436.00/1436.57 c 1307s| 3680k|126616 | 11683k| 3.2 | 93M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 89k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1439.80/1440.35 c 1310s| 3690k|127173 | 11714k| 3.2 | 93M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 89k| 36k| 0.000000e+00 | 5.000000e+00 | Inf
1443.59/1444.15 c 1314s| 3700k|127899 | 11746k| 3.2 | 94M| 46 | - | 146 | 46 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1447.29/1447.89 c 1317s| 3710k|128489 | 11777k| 3.2 | 94M| 46 | - | 146 | 41 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1451.09/1451.69 c 1321s| 3720k|129079 | 11809k| 3.2 | 95M| 46 | - | 146 | 39 | 146 | 15 | 20 | 89k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1454.89/1455.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.89/1455.42 c 1324s| 3730k|129364 | 11840k| 3.2 | 95M| 46 | - | 146 | 36 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1458.59/1459.16 c 1327s| 3740k|129955 | 11872k| 3.2 | 96M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1462.28/1462.87 c 1331s| 3750k|130233 | 11902k| 3.2 | 96M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1466.09/1466.60 c 1334s| 3760k|130524 | 11932k| 3.2 | 96M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 90k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1469.78/1470.34 c 1338s| 3770k|131371 | 11964k| 3.2 | 97M| 46 | 6 | 146 | 48 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1473.49/1474.06 c 1341s| 3780k|131898 | 11995k| 3.2 | 97M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1477.18/1477.78 c 1344s| 3790k|132105 | 12025k| 3.2 | 98M| 46 | - | 146 | 38 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1480.98/1481.52 c 1348s| 3800k|132320 | 12056k| 3.2 | 98M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1484.58/1485.17 c 1351s| 3810k|132504 | 12086k| 3.2 | 98M| 46 | - | 146 | 39 | 146 | 15 | 20 | 91k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1488.28/1488.87 c 1354s| 3820k|132838 | 12116k| 3.2 | 99M| 46 | - | 146 | 36 | 0 | 0 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1492.08/1492.61 c 1358s| 3830k|133146 | 12147k| 3.2 | 99M| 46 | - | 146 | 33 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1495.68/1496.25 c 1361s| 3840k|133371 | 12176k| 3.2 | 99M| 46 | - | 146 | 35 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1499.38/1499.98 c 1365s| 3850k|133428 | 12206k| 3.2 | 99M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 92k| 37k| 0.000000e+00 | 5.000000e+00 | Inf
1503.07/1503.68 c 1368s| 3860k|133858 | 12236k| 3.2 | 100M| 46 | - | 146 | 35 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1506.87/1507.43 c 1371s| 3870k|134545 | 12266k| 3.2 | 100M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1510.57/1511.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.57/1511.15 c 1375s| 3880k|135128 | 12297k| 3.2 | 101M| 46 | 6 | 146 | 33 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1514.27/1514.83 c 1378s| 3890k|135414 | 12327k| 3.2 | 101M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1517.87/1518.50 c 1381s| 3900k|135484 | 12356k| 3.2 | 101M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 93k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1521.67/1522.23 c 1385s| 3910k|135595 | 12387k| 3.2 | 101M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1525.36/1525.95 c 1388s| 3920k|135682 | 12417k| 3.2 | 102M| 46 | - | 146 | 42 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1529.06/1529.62 c 1391s| 3930k|136009 | 12446k| 3.2 | 102M| 46 | - | 146 | 38 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1532.77/1533.34 c 1395s| 3940k|136447 | 12477k| 3.2 | 102M| 46 | - | 146 | 42 | 146 | 15 | 20 | 94k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1536.46/1537.05 c 1398s| 3950k|136469 | 12507k| 3.2 | 103M| 46 | - | 146 | 37 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1540.46/1541.00 c 1402s| 3960k|137783 | 12540k| 3.2 | 103M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1544.16/1544.73 c 1405s| 3970k|138718 | 12570k| 3.2 | 104M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1547.86/1548.42 c 1409s| 3980k|139379 | 12600k| 3.2 | 105M| 46 | - | 146 | 41 | 146 | 15 | 20 | 95k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1551.46/1552.09 c 1412s| 3990k|139663 | 12629k| 3.2 | 105M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 96k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1555.26/1555.85 c 1415s| 4000k|140282 | 12660k| 3.2 | 105M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 96k| 38k| 0.000000e+00 | 5.000000e+00 | Inf
1558.85/1559.50 c 1419s| 4010k|140547 | 12688k| 3.2 | 106M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1562.56/1563.19 c 1422s| 4020k|140792 | 12718k| 3.2 | 106M| 46 | - | 146 | 39 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1566.24/1566.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.24/1566.83 c 1425s| 4030k|140644 | 12748k| 3.2 | 106M| 46 | - | 146 | 40 | 146 | 15 | 20 | 96k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1569.95/1570.50 c 1429s| 4040k|140878 | 12777k| 3.2 | 106M| 46 | 6 | 146 | 41 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1573.64/1574.22 c 1432s| 4050k|141055 | 12807k| 3.2 | 107M| 46 | - | 146 | 37 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1577.24/1577.87 c 1435s| 4060k|141152 | 12836k| 3.2 | 107M| 46 | - | 146 | 37 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1580.94/1581.57 c 1439s| 4070k|141566 | 12866k| 3.2 | 107M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1584.64/1585.25 c 1442s| 4080k|141743 | 12896k| 3.2 | 108M| 46 | - | 146 | 35 | 146 | 15 | 20 | 97k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1588.34/1588.97 c 1445s| 4090k|142334 | 12925k| 3.2 | 108M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1591.94/1592.58 c 1449s| 4100k|142401 | 12953k| 3.2 | 108M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1595.64/1596.25 c 1452s| 4110k|142651 | 12982k| 3.2 | 108M| 46 | - | 146 | 38 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1599.24/1599.88 c 1455s| 4120k|142615 | 13011k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 98k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1602.94/1603.56 c 1459s| 4130k|142525 | 13041k| 3.2 | 109M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 99k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1606.63/1607.26 c 1462s| 4140k|142607 | 13070k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 99k| 39k| 0.000000e+00 | 5.000000e+00 | Inf
1610.34/1610.98 c 1465s| 4150k|142759 | 13100k| 3.2 | 109M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1614.04/1614.65 c 1469s| 4160k|142791 | 13128k| 3.2 | 109M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1617.73/1618.34 c 1472s| 4170k|142768 | 13159k| 3.2 | 109M| 46 | 6 | 146 | 45 | 146 | 15 | 20 | 99k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1621.43/1622.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.43/1622.08 c 1475s| 4180k|142579 | 13189k| 3.2 | 109M| 46 | - | 146 | 39 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1625.14/1625.80 c 1479s| 4190k|142402 | 13218k| 3.2 | 109M| 46 | - | 146 | 39 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1628.83/1629.50 c 1482s| 4200k|142465 | 13248k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1632.62/1633.23 c 1486s| 4210k|142429 | 13278k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1636.33/1636.98 c 1489s| 4220k|142243 | 13308k| 3.2 | 110M| 46 | 6 | 146 | 46 | 146 | 15 | 20 | 100k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1640.13/1640.79 c 1492s| 4230k|142642 | 13339k| 3.2 | 110M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1643.93/1644.52 c 1496s| 4240k|142443 | 13369k| 3.2 | 110M| 46 | - | 146 | 44 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1647.63/1648.25 c 1499s| 4250k|142398 | 13398k| 3.2 | 110M| 46 | 6 | 146 | 42 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1651.32/1651.99 c 1503s| 4260k|142509 | 13428k| 3.2 | 110M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1655.12/1655.70 c 1506s| 4270k|142496 | 13457k| 3.2 | 111M| 46 | - | 146 | 39 | 146 | 15 | 20 | 101k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1658.71/1659.37 c 1509s| 4280k|142607 | 13487k| 3.2 | 111M| 46 | - | 146 | 37 | 146 | 15 | 20 | 102k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1662.41/1663.01 c 1513s| 4290k|142720 | 13517k| 3.2 | 111M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 102k| 40k| 0.000000e+00 | 5.000000e+00 | Inf
1666.02/1666.62 c 1516s| 4300k|142923 | 13546k| 3.2 | 111M| 46 | - | 146 | 36 | 146 | 15 | 20 | 102k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1669.81/1670.40 c 1519s| 4310k|143301 | 13577k| 3.2 | 112M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 102k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1673.52/1674.19 c 1523s| 4320k|143664 | 13608k| 3.2 | 112M| 46 | - | 146 | 37 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1677.41/1678.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.41/1678.02 c 1526s| 4330k|144102 | 13639k| 3.1 | 112M| 46 | - | 146 | 38 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1681.11/1681.72 c 1529s| 4340k|144465 | 13668k| 3.1 | 113M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1684.81/1685.42 c 1533s| 4350k|144627 | 13697k| 3.1 | 113M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 103k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1688.51/1689.11 c 1536s| 4360k|144548 | 13725k| 3.1 | 113M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1692.21/1692.84 c 1540s| 4370k|144522 | 13755k| 3.1 | 113M| 46 | 6 | 146 | 36 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1696.01/1696.66 c 1543s| 4380k|145399 | 13787k| 3.1 | 114M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1699.81/1700.40 c 1546s| 4390k|146031 | 13818k| 3.1 | 114M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1703.51/1704.13 c 1550s| 4400k|146205 | 13848k| 3.1 | 115M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 104k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1707.20/1707.84 c 1553s| 4410k|146015 | 13878k| 3.1 | 115M| 46 | - | 146 | 38 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1710.90/1711.56 c 1556s| 4420k|146021 | 13908k| 3.1 | 115M| 46 | - | 146 | 36 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1714.59/1715.22 c 1560s| 4430k|145853 | 13937k| 3.1 | 115M| 46 | - | 146 | 46 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1718.30/1718.90 c 1563s| 4440k|145801 | 13967k| 3.1 | 115M| 46 | 6 | 146 | 50 | 146 | 15 | 20 | 105k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1722.01/1722.67 c 1567s| 4450k|146140 | 13997k| 3.1 | 115M| 46 | - | 146 | 43 | 146 | 15 | 20 | 106k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1725.79/1726.40 c 1570s| 4460k|146281 | 14027k| 3.1 | 115M| 46 | 6 | 146 | 44 | 146 | 15 | 20 | 106k| 41k| 0.000000e+00 | 5.000000e+00 | Inf
1729.40/1730.06 c 1573s| 4470k|146154 | 14056k| 3.1 | 115M| 46 | - | 146 | 39 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1733.09/1733.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.09/1733.79 c 1577s| 4480k|146237 | 14085k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1736.79/1737.47 c 1580s| 4490k|146360 | 14115k| 3.1 | 116M| 46 | 6 | 146 | 43 | 146 | 15 | 20 | 106k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1740.49/1741.15 c 1583s| 4500k|146172 | 14144k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1744.19/1744.88 c 1587s| 4510k|146195 | 14174k| 3.1 | 116M| 46 | - | 146 | 37 | 0 | 0 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1747.89/1748.53 c 1590s| 4520k|146159 | 14202k| 3.1 | 116M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1751.49/1752.17 c 1593s| 4530k|145780 | 14231k| 3.1 | 116M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1755.18/1755.89 c 1597s| 4540k|145832 | 14259k| 3.1 | 116M| 46 | 6 | 146 | 37 | 146 | 15 | 20 | 107k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1758.89/1759.55 c 1600s| 4550k|145836 | 14289k| 3.1 | 116M| 46 | - | 146 | 36 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1762.59/1763.27 c 1604s| 4560k|145812 | 14319k| 3.1 | 116M| 46 | 6 | 146 | 35 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1766.28/1766.94 c 1607s| 4570k|146145 | 14349k| 3.1 | 117M| 46 | - | 146 | 36 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1769.88/1770.55 c 1610s| 4580k|146345 | 14378k| 3.1 | 117M| 46 | - | 146 | 35 | 146 | 15 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1773.48/1774.18 c 1613s| 4590k|146194 | 14407k| 3.1 | 117M| 46 | - | 146 | 38 | 0 | 0 | 20 | 108k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1777.28/1777.93 c 1617s| 4600k|146013 | 14436k| 3.1 | 117M| 46 | - | 146 | 48 | 0 | 0 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1780.98/1781.67 c 1620s| 4610k|145763 | 14465k| 3.1 | 117M| 46 | 6 | 146 | 38 | 146 | 15 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1784.78/1785.42 c 1624s| 4620k|145651 | 14496k| 3.1 | 117M| 46 | - | 146 | 41 | 146 | 15 | 20 | 109k| 42k| 0.000000e+00 | 5.000000e+00 | Inf
1788.47/1789.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.47/1789.10 c 1627s| 4630k|145443 | 14525k| 3.1 | 117M| 46 | 6 | 146 | 39 | 146 | 15 | 20 | 109k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1792.07/1792.79 c 1630s| 4640k|145675 | 14554k| 3.1 | 117M| 46 | 6 | 146 | 40 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1795.87/1796.50 c 1634s| 4650k|145342 | 14583k| 3.1 | 117M| 46 | - | 146 | 40 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1799.58/1800.22 c 1637s| 4660k|145666 | 14614k| 3.1 | 117M| 46 | - | 146 | 36 | 146 | 15 | 20 | 110k| 43k| 0.000000e+00 | 5.000000e+00 | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1637.51
1800.09/1800.71 c Solving Nodes : 4661320
1800.09/1800.71 c Primal Bound : +5.00000000000000e+00 (30 solutions)
1800.09/1800.71 c Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 s SATISFIABLE
1800.09/1800.71 v -x146 -x145 x144 x143 -x142 x141 x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 x131 x130 -x129 -x128 -x127 -x126 -x125 x124
1800.09/1800.71 v x123 x122 -x121 x120 -x119 x118 x117 x116 x115 -x114 -x113 x112 -x111 x110 x109 x108 -x107 x106 -x105 x104 x103 -x102 -x101
1800.09/1800.71 v -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76
1800.09/1800.71 v -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.09/1800.71 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1800.09/1800.71 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time : 1637.51
1800.09/1800.71 c Original Problem :
1800.09/1800.71 c Problem name : HOME/instance-2667093-1276600696.opb
1800.09/1800.71 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 12 initial, 12 maximal
1800.09/1800.71 c Presolved Problem :
1800.09/1800.71 c Problem name : t_HOME/instance-2667093-1276600696.opb
1800.09/1800.71 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 6 initial, 96 maximal
1800.09/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.71 c linear : 0.00 0 0 0 0 0 6 0 0
1800.09/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c root node : - 60 - - 60 - - - -
1800.09/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c integral : 0 0 0 2448257 0 1056 30477 0 0 4833900
1800.09/1800.71 c linear : 6+ 7 6096612 0 0 723520 4864552 0 0 0
1800.09/1800.71 c logicor : 0+ 0 1337365 0 0 5071 27967 0 0 0
1800.09/1800.71 c countsols : 0 0 0 14 0 0 0 0 0 0
1800.09/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.71 c integral : 35.76 0.00 0.00 35.76 0.00
1800.09/1800.71 c linear : 404.29 0.00 404.29 0.00 0.00
1800.09/1800.71 c logicor : 3.06 0.00 3.06 0.00 0.00
1800.09/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.71 c vbounds : 3.13 2 0 0
1800.09/1800.71 c rootredcost : 2.57 25 0 60
1800.09/1800.71 c pseudoobj : 48.89 6104468 8040 302227
1800.09/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.71 c propagation : 44.04 736520 98649 124680 46.6 14 25.5 -
1800.09/1800.71 c infeasible LP : 0.92 11422 11420 16929 30.8 2 27.0 0
1800.09/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.71 c applied globally : - - - 8799 22.4 - - -
1800.09/1800.71 c applied locally : - - - 101691 46.5 - - -
1800.09/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.71 c cut pool : 0.00 5 - - 10 - (maximal pool size: 58)
1800.09/1800.71 c redcost : 57.20 3021522 0 13778426 0 0
1800.09/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.71 c intobj : 0.00 0 0 0 0 0
1800.09/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.71 c gomory : 0.00 6 0 0 0 0
1800.09/1800.71 c strongcg : 0.01 6 0 0 18 0
1800.09/1800.71 c cmir : 0.04 6 0 0 22 0
1800.09/1800.71 c flowcover : 0.03 6 0 0 23 0
1800.09/1800.71 c clique : 0.00 1 0 0 0 0
1800.09/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.71 c mcf : 0.00 1 0 0 0 0
1800.09/1800.71 c rapidlearning : 0.09 1 0 0 0 42
1800.09/1800.71 c Pricers : Time Calls Vars
1800.09/1800.71 c problem variables: 0.00 0 0
1800.09/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c relpscost : 32.30 2448243 1056 30477 0 0 4833900
1800.09/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c random : 0.00 0 0 0 0 0 0
1800.09/1800.71 c Primal Heuristics : Time Calls Found
1800.09/1800.71 c LP solutions : 0.08 - 14
1800.09/1800.71 c pseudo solutions : 0.00 - 0
1800.09/1800.71 c oneopt : 2.89 24 0
1800.09/1800.71 c crossover : 5.36 9 0
1800.09/1800.71 c coefdiving : 11.96 4859 1
1800.09/1800.71 c pscostdiving : 8.62 4859 0
1800.09/1800.71 c guideddiving : 7.38 4859 1
1800.09/1800.71 c veclendiving : 6.82 4859 3
1800.09/1800.71 c fracdiving : 8.68 4859 3
1800.09/1800.71 c linesearchdiving : 6.92 4860 0
1800.09/1800.71 c trivial : 0.00 2 0
1800.09/1800.71 c simplerounding : 2.00 0 0
1800.09/1800.71 c zirounding : 2.20 1000 0
1800.09/1800.71 c rounding : 3.13 23758 0
1800.09/1800.71 c shifting : 28.95 32641 5
1800.09/1800.71 c intshifting : 0.28 0 0
1800.09/1800.71 c twoopt : 0.00 0 0
1800.09/1800.71 c fixandinfer : 0.00 0 0
1800.09/1800.71 c feaspump : 0.54 1 0
1800.09/1800.71 c intdiving : 0.00 0 0
1800.09/1800.71 c actconsdiving : 0.00 0 0
1800.09/1800.71 c objpscostdiving : 4.22 2427 0
1800.09/1800.71 c rootsoldiving : 4.74 1249 2
1800.09/1800.71 c octane : 0.00 0 0
1800.09/1800.71 c rens : 0.02 1 0
1800.09/1800.71 c rins : 0.00 0 0
1800.09/1800.71 c localbranching : 0.00 0 0
1800.09/1800.71 c mutation : 0.00 0 0
1800.09/1800.71 c dins : 0.00 0 0
1800.09/1800.71 c undercover : 0.00 0 0
1800.09/1800.71 c nlp : 2.07 0 0
1800.09/1800.71 c trysol : 3.41 0 0
1800.09/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.71 c dual LP : 581.39 4380918 14020772 3.20 24115.95
1800.09/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.71 c diving/probing LP: 26.02 232451 597950 2.57 22980.40
1800.09/1800.71 c strong branching : 8.41 43239 134337 3.11 15973.48
1800.09/1800.71 c (at root node) : - 9 322 35.78 -
1800.09/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.71 c B&B Tree :
1800.09/1800.71 c number of runs : 1
1800.09/1800.71 c nodes : 4661320
1800.09/1800.71 c nodes (total) : 4661320
1800.09/1800.71 c nodes left : 145758
1800.09/1800.71 c max depth : 46
1800.09/1800.71 c max depth (total): 46
1800.09/1800.71 c backtracks : 1185790 (25.4%)
1800.09/1800.71 c delayed cutoffs : 15673
1800.09/1800.71 c repropagations : 31481 (94493 domain reductions, 15163 cutoffs)
1800.09/1800.71 c avg switch length: 4.96
1800.09/1800.71 c switching time : 112.72
1800.09/1800.71 c Solution :
1800.09/1800.71 c Solutions found : 30 (25 improvements)
1800.09/1800.71 c First Solution : +1.19900000000000e+03 (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <trysol>)
1800.09/1800.71 c Primal Bound : +5.00000000000000e+00 (in run 1, after 682917 nodes, 287.09 seconds, depth 40, found by <relaxation>)
1800.09/1800.71 c Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Root Iterations : 106
1800.67/1801.40 c Time complete: 1800.76.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667093-1276600696/watcher-2667093-1276600696 -o /tmp/evaluation-result-2667093-1276600696/solver-2667093-1276600696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667093-1276600696.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 0.99 0.99 3/106 4347 /proc/meminfo: memFree=1805224/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=7724 CPUtime=0 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 1091 0 0 0 0 0 0 0 20 0 1 0 33725908 7909376 1011 1992294400 4194304 8223781 140737117269280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4347/statm: 1931 1021 348 984 0 944 0 [startup+0.0195979 s] /proc/loadavg: 1.00 0.99 0.99 3/106 4347 /proc/meminfo: memFree=1805224/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=12588 CPUtime=0.01 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 2521 0 0 0 0 1 0 0 20 0 1 0 33725908 12890112 2078 1992294400 4194304 8223781 140737117269280 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 3147 2090 433 984 0 2160 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12588 [startup+0.100612 s] /proc/loadavg: 1.00 0.99 0.99 3/106 4347 /proc/meminfo: memFree=1805224/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=20452 CPUtime=0.09 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 4857 0 0 0 7 2 0 0 20 0 1 0 33725908 20942848 3888 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 5113 3888 565 984 0 4126 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20452 [startup+0.300649 s] /proc/loadavg: 1.00 0.99 0.99 3/106 4347 /proc/meminfo: memFree=1805224/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=14276 CPUtime=0.29 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 7949 0 0 0 25 4 0 0 20 0 1 0 33725908 14618624 2739 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 3569 2739 587 984 0 2582 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14276 [startup+0.700724 s] /proc/loadavg: 1.00 0.99 0.99 3/106 4347 /proc/meminfo: memFree=1805224/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=14276 CPUtime=0.69 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 7950 0 0 0 60 9 0 0 21 0 1 0 33725908 14618624 2740 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 3569 2740 588 984 0 2582 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14276 [startup+1.50087 s] /proc/loadavg: 1.00 0.99 0.99 2/107 4348 /proc/meminfo: memFree=1795916/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=14276 CPUtime=1.49 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 9605 0 0 0 133 16 0 0 23 0 1 0 33725908 14618624 2745 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 3569 2745 589 984 0 2582 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14276 [startup+3.10117 s] /proc/loadavg: 1.00 0.99 0.99 2/107 4348 /proc/meminfo: memFree=1795172/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=15056 CPUtime=3.09 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 11661 0 0 0 281 28 0 0 25 0 1 0 33725908 15417344 2944 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 3764 2944 589 984 0 2777 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15056 [startup+6.30077 s] /proc/loadavg: 1.00 0.99 0.99 2/107 4348 /proc/meminfo: memFree=1793188/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=16636 CPUtime=6.29 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 13274 0 0 0 580 49 0 0 25 0 1 0 33725908 17035264 3322 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 4159 3322 589 984 0 3172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16636 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.99 2/107 4348 /proc/meminfo: memFree=1790584/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=20112 CPUtime=12.69 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 15422 0 0 0 1172 97 0 0 25 0 1 0 33725908 20594688 4240 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 5028 4240 589 984 0 4041 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20112 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.99 2/107 4350 /proc/meminfo: memFree=1783392/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=26044 CPUtime=25.48 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 24268 0 0 0 2356 192 0 0 25 0 1 0 33725908 26669056 5755 1992294400 4194304 8223781 140737117269280 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 6511 5755 589 984 0 5524 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26044 [startup+51.1011 s] /proc/loadavg: 1.06 1.00 0.99 2/107 4350 /proc/meminfo: memFree=1777068/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=32900 CPUtime=51.08 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 37446 0 0 0 4710 398 0 0 25 0 1 0 33725908 33689600 7499 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 8225 7499 591 984 0 7238 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32900 [startup+102.309 s] /proc/loadavg: 1.08 1.02 1.00 2/107 4352 /proc/meminfo: memFree=1767644/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=41864 CPUtime=102.26 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 54042 0 0 0 9381 845 0 0 25 0 1 0 33725908 42868736 9804 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 10466 9804 591 984 0 9479 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 41864 [startup+162.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 4352 /proc/meminfo: memFree=1751028/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=59808 CPUtime=162.24 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 69944 0 0 0 14859 1365 0 0 25 0 1 0 33725908 61243392 13881 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 14952 13881 591 984 0 13965 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 59808 [startup+222.301 s] /proc/loadavg: 1.14 1.05 1.01 2/107 4354 /proc/meminfo: memFree=1741108/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=69784 CPUtime=222.21 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 75555 0 0 0 20337 1884 0 0 25 0 1 0 33725908 71458816 16397 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 17446 16397 591 984 0 16459 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 69784 [startup+282.301 s] /proc/loadavg: 1.10 1.05 1.01 2/107 4356 /proc/meminfo: memFree=1733916/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=76788 CPUtime=282.19 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 77944 0 0 0 25822 2397 0 0 25 0 1 0 33725908 78630912 18176 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 19197 18176 591 984 0 18210 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 76788 [startup+342.301 s] /proc/loadavg: 1.08 1.06 1.01 2/107 4358 /proc/meminfo: memFree=1730196/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=79704 CPUtime=342.18 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 84168 0 0 0 31278 2940 0 0 25 0 1 0 33725908 81616896 18934 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 19926 18934 591 984 0 18939 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 79704 [startup+402.301 s] /proc/loadavg: 1.07 1.06 1.01 2/107 4360 /proc/meminfo: memFree=1728956/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=80932 CPUtime=402.16 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 85690 0 0 0 36730 3486 0 0 25 0 1 0 33725908 82874368 19241 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 20233 19241 591 984 0 19246 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 80932 [startup+462.301 s] /proc/loadavg: 1.06 1.06 1.01 2/107 4360 /proc/meminfo: memFree=1728832/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=80932 CPUtime=462.13 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 85690 0 0 0 42178 4035 0 0 25 0 1 0 33725908 82874368 19241 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 20233 19241 591 984 0 19246 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 80932 [startup+522.301 s] /proc/loadavg: 1.06 1.06 1.01 2/107 4362 /proc/meminfo: memFree=1728584/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=81060 CPUtime=522.12 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 86330 0 0 0 47633 4579 0 0 25 0 1 0 33725908 83005440 19273 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 20265 19273 591 984 0 19278 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 81060 [startup+582.301 s] /proc/loadavg: 1.02 1.05 1.00 2/107 4364 /proc/meminfo: memFree=1728460/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=81060 CPUtime=582.1 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 86330 0 0 0 53072 5138 0 0 25 0 1 0 33725908 83005440 19273 1992294400 4194304 8223781 140737117269280 18446744073709551615 4983306 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 20265 19273 591 984 0 19278 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 81060 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 4366 /proc/meminfo: memFree=1728336/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=81060 CPUtime=642.08 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 86939 0 0 0 58526 5682 0 0 25 0 1 0 33725908 83005440 19273 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 20265 19273 591 984 0 19278 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 81060 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4376 /proc/meminfo: memFree=1724244/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=85276 CPUtime=1001.95 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 88576 0 0 0 91241 8954 0 0 25 0 1 0 33725908 87322624 20298 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 21319 20298 591 984 0 20332 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 85276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4376 /proc/meminfo: memFree=1724244/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=85276 CPUtime=1061.93 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 88584 0 0 0 96697 9496 0 0 25 0 1 0 33725908 87322624 20306 1992294400 4194304 8223781 140737117269280 18446744073709551615 4661050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 21319 20306 591 984 0 20332 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 85276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4378 /proc/meminfo: memFree=1722508/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=86856 CPUtime=1121.91 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 88973 0 0 0 102150 10041 0 0 25 0 1 0 33725908 88940544 20695 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 21714 20695 591 984 0 20727 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 86856 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4380 /proc/meminfo: memFree=1718044/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=91288 CPUtime=1181.88 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 90103 0 0 0 107609 10579 0 0 25 0 1 0 33725908 93478912 21825 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 22822 21825 591 984 0 21835 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 91288 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4385 /proc/meminfo: memFree=1712340/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=96124 CPUtime=1241.86 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 91331 0 0 0 113062 11124 0 0 25 0 1 0 33725908 98430976 23053 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 24031 23053 591 984 0 23044 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 96124 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4387 /proc/meminfo: memFree=1708124/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=100240 CPUtime=1301.84 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 92369 0 0 0 118501 11683 0 0 25 0 1 0 33725908 102645760 24091 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 25060 24091 591 984 0 24073 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 100240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4387 /proc/meminfo: memFree=1704776/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=103520 CPUtime=1361.82 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 93227 0 0 0 123939 12243 0 0 25 0 1 0 33725908 106004480 24949 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 25880 24949 591 984 0 24893 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 103520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4389 /proc/meminfo: memFree=1695476/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=112668 CPUtime=1421.81 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 95540 0 0 0 129401 12780 0 0 25 0 1 0 33725908 115372032 27262 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 28167 27262 591 984 0 27180 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 112668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4391 /proc/meminfo: memFree=1686548/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=121272 CPUtime=1481.78 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 97751 0 0 0 134856 13322 0 0 25 0 1 0 33725908 124182528 29473 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 30318 29473 591 984 0 29331 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 121272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4393 /proc/meminfo: memFree=1680596/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=126556 CPUtime=1541.75 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 99700 0 0 0 140296 13879 0 0 25 0 1 0 33725908 129593344 30815 1992294400 4194304 8223781 140737117269280 18446744073709551615 4979000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 31639 30815 591 984 0 30652 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 126556 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4395 /proc/meminfo: memFree=1675636/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=131996 CPUtime=1601.73 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 101076 0 0 0 145749 14424 0 0 25 0 1 0 33725908 135163904 32191 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 32999 32191 591 984 0 32012 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 131996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4395 /proc/meminfo: memFree=1672660/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=135044 CPUtime=1661.72 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 101810 0 0 0 151189 14983 0 0 25 0 1 0 33725908 138285056 32925 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 33761 32925 591 984 0 32774 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 135044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4397 /proc/meminfo: memFree=1669064/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=138584 CPUtime=1721.7 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 102704 0 0 0 156626 15544 0 0 25 0 1 0 33725908 141910016 33819 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 34646 33819 591 984 0 33659 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 138584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4399 /proc/meminfo: memFree=1667328/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=139988 CPUtime=1781.68 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 103071 0 0 0 162081 16087 0 0 25 0 1 0 33725908 143347712 34186 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 34997 34186 591 984 0 34010 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 139988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4399 /proc/meminfo: memFree=1667080/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=140196 CPUtime=1800.09 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 103122 0 0 0 163752 16257 0 0 25 0 1 0 33725908 143560704 34237 1992294400 4194304 8223781 140737117269280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4347/statm: 35049 34237 591 984 0 34062 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 140196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4399 /proc/meminfo: memFree=1667080/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=140196 CPUtime=1800.37 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 103124 0 0 0 163780 16257 0 0 25 0 1 0 33725908 143560704 34239 1992294400 4194304 8223781 140737117269280 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4347/statm: 35049 34239 593 984 0 34062 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 140196 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4399 /proc/meminfo: memFree=1667080/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=140196 CPUtime=1800.57 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 103124 0 0 0 163800 16257 0 0 25 0 1 0 33725908 143560704 34239 1992294400 4194304 8223781 140737117269280 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4347/statm: 35049 34239 593 984 0 34062 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (KiB) 140196 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4399 /proc/meminfo: memFree=1667080/2059040 swapFree=4140448/4192956 [pid=4347] ppid=4345 vsize=140196 CPUtime=1800.67 /proc/4347/stat : 4347 (pbscip.linux.x8) R 4345 4347 4173 0 -1 4202496 103124 0 0 0 163810 16257 0 0 25 0 1 0 33725908 143560704 34239 1992294400 4194304 8223781 140737117269280 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4347/statm: 35049 34239 593 984 0 34062 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 140196 Child status: 0 Real time (s): 1801.4 CPU time (s): 1800.78 CPU user time (s): 1638.19 CPU system time (s): 162.589 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 140196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1638.19 system time used= 162.589 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103128 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 7113 runsolver used 3.2745 second user time and 8.24175 second system time The end
Begin job on node019 at 2010-06-15 13:18:16 IDJOB=2667093 IDBENCH=2902 IDSOLVER=1169 FILE ID=node019/2667093-1276600696 PBS_JOBID= 11172237 Free space on /tmp= 62416 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_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-2667093-1276600696/watcher-2667093-1276600696 -o /tmp/evaluation-result-2667093-1276600696/solver-2667093-1276600696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667093-1276600696.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1857411040 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805752 kB Buffers: 36476 kB Cached: 127696 kB SwapCached: 6012 kB Active: 88648 kB Inactive: 88824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805752 kB SwapTotal: 4192956 kB SwapFree: 4140448 kB Dirty: 4468 kB Writeback: 0 kB AnonPages: 11620 kB Mapped: 13144 kB Slab: 54076 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182720 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= 62408 MiB End job on node019 at 2010-06-15 13:48:19