Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT (TO) | 7 | 1802.17 | 1802.69 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
| MD5SUM | b690996610ff381ef60353517fe5a0e9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4389 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver SoPlex 1.4.1 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1869506-1245175566.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 start presolving problem 0.00/0.01 c presolving: 0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.02 c (round 2) 6 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/140 (72.1%) - 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 (3 rounds): 0.01/0.03 c 6 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 140 variables (140 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 OPT-LIN 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 = c 1620 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 = c 1791 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 = c 10000 0.01/0.03 c ----------------------------------------------------------------------------------------------- 0.01/0.03 c start solving problem 0.01/0.03 c 0.01/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.01/0.03 c 0.0s| 1 | 0 | 64 | 465k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.01/0.04 c 0.0s| 1 | 0 | 99 | 551k| 0 | 10 | 140 | 6 | 6 | 140 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.01/0.05 c 0.0s| 1 | 0 | 103 | 609k| 0 | 12 | 140 | 6 | 6 | 140 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.01/0.07 c 0.1s| 1 | 0 | 109 | 651k| 0 | 16 | 140 | 6 | 6 | 140 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.01/0.09 c 0.1s| 1 | 0 | 119 | 702k| 0 | 15 | 140 | 6 | 6 | 140 | 26 | 20 | 0 | 0 | 9.094947e-13 | -- | Inf 0.09/0.11 c 0.1s| 1 | 0 | 126 | 723k| 0 | 18 | 140 | 6 | 6 | 140 | 29 | 23 | 0 | 0 | 9.094947e-13 | -- | Inf 0.09/0.14 c 0.1s| 1 | 0 | 147 | 729k| 0 | 17 | 140 | 6 | 6 | 140 | 30 | 24 | 0 | 0 | 9.094947e-13 | -- | Inf 0.19/0.22 c 0.2s| 1 | 2 | 147 | 730k| 0 | 17 | 140 | 6 | 6 | 140 | 30 | 24 | 0 | 17 | 9.094947e-13 | -- | Inf 0.19/0.28 o 61 0.19/0.28 c c 0.3s| 26 | 27 | 320 | 780k| 25 | - | 140 | 6 | 1 | 140 | 18 | 24 | 0 | 139 | 9.094947e-13 | 6.100000e+01 | Inf 2.39/2.46 o 60 2.39/2.46 c f 2.3s| 3428 | 3015 | 17355 |2201k| 42 | - | 140 | 31 | 3 | 140 | 18 | 24 | 192 | 576 | 9.094947e-13 | 6.000000e+01 | Inf 2.59/2.64 o 59 2.59/2.64 c g 2.5s| 3717 | 3292 | 18900 |2332k| 42 | - | 140 | 31 | 7 | 140 | 18 | 24 | 217 | 579 | 9.094947e-13 | 5.900000e+01 | Inf 2.59/2.66 o 58 2.59/2.66 c p 2.5s| 3733 | 3305 | 19009 |2345k| 42 | - | 140 | 31 | 4 | 140 | 18 | 24 | 220 | 579 | 9.094947e-13 | 5.800000e+01 | Inf 2.89/2.98 o 57 2.89/2.98 c c 2.8s| 4185 | 3727 | 21569 |2536k| 42 | - | 140 | 32 | 5 | 140 | 18 | 24 | 259 | 580 | 9.094947e-13 | 5.700000e+01 | Inf 2.89/2.98 o 55 2.89/2.98 c p 2.8s| 4185 | 3717 | 21570 |2528k| 42 | - | 140 | 32 | 5 | 140 | 18 | 24 | 260 | 580 | 9.094947e-13 | 5.500000e+01 | Inf 4.39/4.42 o 54 4.39/4.42 c p 4.1s| 5133 | 4565 | 27177 |2926k| 42 | - | 140 | 35 | 7 | 140 | 18 | 24 | 323 | 631 | 9.094947e-13 | 5.400000e+01 | Inf 4.49/4.52 o 53 4.49/4.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.49/4.52 c * 4.2s| 5244 | 4663 | 27984 |2969k| 42 | - | 140 | 34 | 9 | 140 | 18 | 24 | 334 | 662 | 9.094947e-13 | 5.300000e+01 | Inf 7.58/7.63 o 52 7.58/7.63 c * 7.1s| 8586 | 7734 | 52122 |4308k| 42 | - | 140 | 29 | 4 | 140 | 18 | 24 | 733 | 771 | 9.094947e-13 | 5.200000e+01 | Inf 8.98/9.07 c 8.4s| 10000 | 8937 | 60774 |4877k| 42 | 6 | 140 | 25 | 11 | 140 | 18 | 24 | 859 | 846 | 9.094947e-13 | 5.200000e+01 | Inf 12.29/12.32 o 51 12.29/12.32 c v11.5s| 15564 | 13641 | 86330 |7109k| 45 | - | 140 | 13 | 0 | 140 | 18 | 24 |1100 |1134 | 9.094947e-13 | 5.100000e+01 | Inf 12.58/12.66 o 49 12.58/12.66 c f11.8s| 16041 | 13995 | 89183 |7278k| 45 | - | 140 | 16 | 3 | 140 | 18 | 24 |1130 |1154 | 9.094947e-13 | 4.900000e+01 | Inf 12.68/12.74 o 48 12.68/12.74 c l11.8s| 16142 | 14057 | 89827 |7287k| 45 | - | 140 | 16 | 0 | 140 | 18 | 24 |1135 |1157 | 9.094947e-13 | 4.800000e+01 | Inf 13.48/13.56 o 46 13.48/13.56 c *12.6s| 17193 | 14849 | 96305 |7679k| 45 | - | 140 | 15 | 0 | 140 | 18 | 24 |1232 |1212 | 9.094947e-13 | 4.600000e+01 | Inf 13.48/13.56 o 44 13.48/13.56 c *12.6s| 17194 | 14781 | 96307 |7604k| 45 | - | 140 | 15 | 0 | 140 | 18 | 24 |1232 |1214 | 9.094947e-13 | 4.400000e+01 | Inf 13.98/14.02 o 43 13.98/14.02 c *13.1s| 17737 | 15160 | 99695 |7783k| 45 | - | 140 | 14 | 0 | 140 | 18 | 24 |1303 |1252 | 9.094947e-13 | 4.300000e+01 | Inf 13.98/14.02 o 41 13.98/14.02 c *13.1s| 17738 | 15078 | 99696 |7706k| 45 | - | 140 | 14 | 0 | 140 | 18 | 24 |1303 |1254 | 9.094947e-13 | 4.100000e+01 | Inf 15.38/15.48 c 14.4s| 20000 | 16696 |110989 |8612k| 45 | 6 | 140 | 16 | 7 | 140 | 18 | 24 |1469 |1350 | 9.094947e-13 | 4.100000e+01 | Inf 17.18/17.22 o 40 17.18/17.22 c l16.0s| 22931 | 18692 |124785 |9755k| 45 | - | 140 | 16 | 1 | 140 | 18 | 24 |1665 |1493 | 9.094947e-13 | 4.000000e+01 | Inf 19.28/19.34 o 38 19.28/19.34 c *18.0s| 26341 | 20913 |141258 | 11M| 45 | - | 140 | 15 | 0 | 140 | 18 | 24 |1927 |1622 | 9.094947e-13 | 3.800000e+01 | Inf 19.49/19.51 o 37 19.49/19.51 c *18.2s| 26608 | 21023 |142555 | 11M| 45 | - | 140 | 13 | 0 | 140 | 18 | 24 |1953 |1635 | 9.094947e-13 | 3.700000e+01 | Inf 21.38/21.44 c 20.0s| 30000 | 23207 |157790 | 12M| 45 | 6 | 140 | 12 | 6 | 140 | 18 | 24 |2203 |1775 | 9.094947e-13 | 3.700000e+01 | Inf 24.09/24.18 o 36 24.09/24.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 24.09/24.18 c *22.5s| 34854 | 26291 |180047 | 14M| 45 | - | 140 | 12 | 0 | 140 | 18 | 24 |2549 |1942 | 9.094947e-13 | 3.600000e+01 | Inf 24.09/24.18 o 34 24.09/24.18 c p22.6s| 34858 | 26108 |180057 | 14M| 45 | - | 140 | 12 | 0 | 140 | 18 | 24 |2552 |1957 | 9.094947e-13 | 3.400000e+01 | Inf 26.78/26.89 o 32 26.78/26.89 c *25.0s| 37335 | 25890 |191658 | 13M| 45 | - | 140 | 15 | 0 | 140 | 18 | 24 |2778 |2038 | 9.094947e-13 | 3.200000e+01 | Inf 28.38/28.46 c 26.5s| 40000 | 27534 |204654 | 14M| 45 | - | 140 | 18 | 6 | 140 | 18 | 24 |3041 |2153 | 9.094947e-13 | 3.200000e+01 | Inf 31.28/31.33 o 31 31.28/31.33 c l29.1s| 45214 | 30901 |228095 | 16M| 46 | - | 140 | 21 | 0 | 140 | 18 | 24 |3476 |2309 | 9.094947e-13 | 3.100000e+01 | Inf 31.88/31.94 o 30 31.88/31.94 c C29.7s| 45814 | 31052 |230639 | 16M| 46 | - | 140 | 21 | 9 | 140 | 18 | 24 |3530 |2334 | 9.094947e-13 | 3.000000e+01 | Inf 33.47/33.57 o 29 33.47/33.57 c *31.2s| 47501 | 31881 |238346 | 17M| 46 | - | 140 | 20 | 0 | 140 | 18 | 24 |3666 |2388 | 9.094947e-13 | 2.900000e+01 | Inf 34.88/34.99 c 32.5s| 50000 | 33295 |250505 | 17M| 46 | - | 140 | 19 | 9 | 140 | 18 | 24 |3893 |2454 | 9.094947e-13 | 2.900000e+01 | Inf 37.97/38.01 o 28 37.97/38.01 c *35.3s| 55305 | 36163 |274931 | 19M| 46 | - | 140 | 19 | 1 | 140 | 18 | 24 |4445 |2603 | 9.094947e-13 | 2.800000e+01 | Inf 40.48/40.56 c 37.7s| 60000 | 38770 |295699 | 21M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 |4828 |2699 | 9.094947e-13 | 2.800000e+01 | Inf 40.98/41.10 o 27 40.98/41.10 c *38.2s| 61029 | 39051 |299751 | 21M| 46 | - | 140 | 21 | 0 | 140 | 18 | 24 |4934 |2739 | 9.094947e-13 | 2.700000e+01 | Inf 43.18/43.25 o 26 43.18/43.25 c *40.2s| 65024 | 40960 |317649 | 22M| 46 | - | 140 | 27 | 1 | 140 | 18 | 24 |5324 |2833 | 9.094947e-13 | 2.600000e+01 | Inf 43.18/43.25 o 24 43.18/43.25 c *40.2s| 65026 | 40401 |317653 | 21M| 46 | - | 140 | 27 | 1 | 140 | 18 | 24 |5324 |2836 | 9.094947e-13 | 2.400000e+01 | Inf 43.18/43.26 o 23 43.18/43.26 c *40.2s| 65051 | 40117 |317751 | 21M| 46 | - | 140 | 27 | 4 | 140 | 18 | 24 |5326 |2838 | 9.094947e-13 | 2.300000e+01 | Inf 43.18/43.27 o 21 43.18/43.27 c *40.2s| 65052 | 39396 |317753 | 20M| 46 | - | 140 | 27 | 4 | 140 | 18 | 24 |5326 |2838 | 9.094947e-13 | 2.100000e+01 | Inf 45.08/45.19 o 20 45.08/45.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 45.08/45.19 c *42.0s| 68810 | 40665 |333254 | 21M| 46 | - | 140 | 25 | 0 | 140 | 18 | 24 |5688 |2929 | 9.094947e-13 | 2.000000e+01 | Inf 45.17/45.20 o 18 45.17/45.20 c *42.0s| 68811 | 39814 |333257 | 20M| 46 | - | 140 | 25 | 0 | 140 | 18 | 24 |5688 |2929 | 9.094947e-13 | 1.800000e+01 | Inf 45.17/45.22 o 16 45.17/45.22 c *42.0s| 68824 | 36666 |333280 | 18M| 46 | - | 140 | 25 | 0 | 140 | 18 | 24 |5691 |2937 | 9.094947e-13 | 1.600000e+01 | Inf 45.27/45.36 o 14 45.27/45.36 c *42.2s| 69130 | 35982 |334360 | 18M| 46 | - | 140 | 22 | 0 | 140 | 18 | 24 |5716 |2940 | 9.094947e-13 | 1.400000e+01 | Inf 45.68/45.76 c 42.5s| 70000 | 36206 |337629 | 18M| 46 | - | 140 | 21 | 6 | 0 | 0 | 24 |5760 |2961 | 9.094947e-13 | 1.400000e+01 | Inf 50.28/50.37 c 46.9s| 80000 | 39714 |377072 | 20M| 46 | 6 | 140 | 35 | 6 | 140 | 18 | 24 |6457 |3165 | 9.094947e-13 | 1.400000e+01 | Inf 54.87/55.00 c 51.2s| 90000 | 43488 |416362 | 22M| 46 | 6 | 140 | 45 | 8 | 140 | 18 | 24 |7146 |3344 | 9.094947e-13 | 1.400000e+01 | Inf 57.97/58.07 o 12 57.97/58.07 c *54.0s| 96993 | 44674 |442408 | 22M| 46 | - | 140 | 50 | 2 | 140 | 18 | 24 |7562 |3471 | 9.094947e-13 | 1.200000e+01 | Inf 57.97/58.08 o 10 57.97/58.08 c *54.1s| 96994 | 43514 |442409 | 21M| 46 | - | 140 | 50 | 2 | 140 | 18 | 24 |7562 |3471 | 9.094947e-13 | 1.000000e+01 | Inf 58.17/58.24 o 8 58.17/58.24 c *54.2s| 97317 | 42117 |443653 | 20M| 46 | - | 140 | 50 | 0 | 140 | 18 | 24 |7581 |3477 | 9.094947e-13 | 8.000000e+00 | Inf 59.37/59.41 c 55.3s|100000 | 42853 |454051 | 20M| 46 | 6 | 140 | 48 | 13 | 140 | 18 | 24 |7743 |3538 | 9.094947e-13 | 8.000000e+00 | Inf 63.17/63.30 c 58.9s|110000 | 44664 |489228 | 21M| 46 | 6 | 140 | 52 | 7 | 140 | 18 | 24 |8194 |3736 | 9.094947e-13 | 8.000000e+00 | Inf 67.08/67.11 c 62.5s|120000 | 46152 |524151 | 22M| 46 | 6 | 140 | 49 | 6 | 140 | 18 | 24 |8708 |3916 | 9.094947e-13 | 8.000000e+00 | Inf 70.87/70.92 c 66.0s|130000 | 47497 |557861 | 23M| 46 | - | 140 | 34 | 6 | 140 | 18 | 24 |9354 |4073 | 9.094947e-13 | 8.000000e+00 | Inf 74.67/74.79 c 69.6s|140000 | 49318 |593400 | 24M| 46 | 6 | 140 | 36 | 8 | 140 | 18 | 24 |9962 |4241 | 9.094947e-13 | 8.000000e+00 | Inf 78.56/78.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 78.56/78.61 c 73.2s|150000 | 51048 |628175 | 25M| 46 | - | 140 | 38 | 6 | 140 | 18 | 24 | 10k|4366 | 9.094947e-13 | 8.000000e+00 | Inf 82.27/82.30 c 76.6s|160000 | 51865 |661829 | 26M| 46 | 6 | 140 | 40 | 8 | 140 | 18 | 24 | 11k|4507 | 9.094947e-13 | 8.000000e+00 | Inf 86.37/86.41 c 80.4s|170000 | 54466 |698226 | 27M| 46 | 6 | 140 | 36 | 9 | 140 | 18 | 24 | 11k|4651 | 9.094947e-13 | 8.000000e+00 | Inf 89.76/89.88 o 7 89.76/89.88 c *83.7s|178583 | 56181 |729743 | 28M| 46 | - | 140 | 38 | 2 | 140 | 18 | 24 | 12k|4755 | 9.094947e-13 | 7.000000e+00 | Inf 90.37/90.46 c 84.2s|180000 | 56541 |734708 | 28M| 46 | - | 140 | 38 | 6 | 140 | 18 | 24 | 12k|4767 | 9.094947e-13 | 7.000000e+00 | Inf 94.26/94.35 c 87.8s|190000 | 58551 |770009 | 29M| 46 | 6 | 140 | 29 | 7 | 140 | 18 | 24 | 12k|4889 | 9.094947e-13 | 7.000000e+00 | Inf 99.56/99.63 c 92.7s|200000 | 60355 |803938 | 30M| 46 | 6 | 140 | 31 | 8 | 140 | 18 | 24 | 13k|5012 | 9.094947e-13 | 7.000000e+00 | Inf 103.37/103.47 c 96.2s|210000 | 62003 |838456 | 31M| 46 | - | 140 | 34 | 8 | 140 | 18 | 24 | 13k|5127 | 9.094947e-13 | 7.000000e+00 | Inf 107.16/107.27 c 99.8s|220000 | 63907 |872702 | 32M| 46 | 6 | 140 | 31 | 6 | 140 | 18 | 24 | 14k|5240 | 9.094947e-13 | 7.000000e+00 | Inf 110.86/110.95 c 103s|230000 | 65476 |905779 | 33M| 46 | 6 | 140 | 25 | 6 | 140 | 18 | 24 | 14k|5365 | 9.094947e-13 | 7.000000e+00 | Inf 114.46/114.50 c 107s|240000 | 66460 |936780 | 34M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 15k|5488 | 9.094947e-13 | 7.000000e+00 | Inf 117.96/118.06 c 110s|250000 | 67011 |967761 | 34M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 16k|5584 | 9.094947e-13 | 7.000000e+00 | Inf 121.45/121.55 c 113s|260000 | 67677 |998481 | 35M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 16k|5679 | 9.094947e-13 | 7.000000e+00 | Inf 124.95/125.04 c 116s|270000 | 68011 | 1029k| 35M| 46 | - | 140 | 14 | 6 | 0 | 0 | 24 | 17k|5781 | 9.094947e-13 | 7.000000e+00 | Inf 128.45/128.50 c 120s|280000 | 68524 | 1060k| 36M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 17k|5875 | 9.094947e-13 | 7.000000e+00 | Inf 131.75/131.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 131.75/131.89 c 123s|290000 | 68547 | 1090k| 36M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 18k|5981 | 9.094947e-13 | 7.000000e+00 | Inf 135.25/135.38 c 126s|300000 | 68752 | 1121k| 36M| 46 | - | 140 | 11 | 6 | 140 | 18 | 24 | 18k|6078 | 9.094947e-13 | 7.000000e+00 | Inf 138.74/138.86 c 129s|310000 | 69489 | 1152k| 37M| 46 | - | 140 | 12 | 7 | 0 | 0 | 24 | 19k|6165 | 9.094947e-13 | 7.000000e+00 | Inf 142.25/142.32 c 132s|320000 | 69667 | 1181k| 37M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 19k|6265 | 9.094947e-13 | 7.000000e+00 | Inf 145.64/145.76 c 136s|330000 | 69646 | 1211k| 37M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 20k|6349 | 9.094947e-13 | 7.000000e+00 | Inf 149.15/149.23 c 139s|340000 | 70498 | 1242k| 38M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 21k|6449 | 9.094947e-13 | 7.000000e+00 | Inf 152.54/152.65 c 142s|350000 | 70718 | 1272k| 38M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 21k|6527 | 9.094947e-13 | 7.000000e+00 | Inf 155.94/156.09 c 145s|360000 | 70516 | 1302k| 38M| 46 | - | 140 | 13 | 6 | 0 | 0 | 24 | 22k|6620 | 9.094947e-13 | 7.000000e+00 | Inf 159.45/159.52 c 148s|370000 | 70497 | 1331k| 38M| 46 | 6 | 140 | 14 | 7 | 140 | 18 | 24 | 23k|6696 | 9.094947e-13 | 7.000000e+00 | Inf 162.84/162.99 c 152s|380000 | 70480 | 1360k| 38M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 23k|6788 | 9.094947e-13 | 7.000000e+00 | Inf 166.34/166.45 c 155s|390000 | 71031 | 1391k| 39M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 24k|6874 | 9.094947e-13 | 7.000000e+00 | Inf 169.74/169.85 c 158s|400000 | 71164 | 1420k| 39M| 46 | 6 | 140 | 14 | 7 | 140 | 18 | 24 | 24k|6940 | 9.094947e-13 | 7.000000e+00 | Inf 173.23/173.32 c 161s|410000 | 71299 | 1451k| 39M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 25k|7026 | 9.094947e-13 | 7.000000e+00 | Inf 176.64/176.70 c 164s|420000 | 70885 | 1479k| 39M| 46 | - | 140 | 12 | 6 | 140 | 18 | 24 | 26k|7097 | 9.094947e-13 | 7.000000e+00 | Inf 180.04/180.12 c 168s|430000 | 70129 | 1507k| 38M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 26k|7167 | 9.094947e-13 | 7.000000e+00 | Inf 183.44/183.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 183.44/183.57 c 171s|440000 | 69688 | 1537k| 38M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 27k|7239 | 9.094947e-13 | 7.000000e+00 | Inf 186.94/187.03 c 174s|450000 | 69580 | 1568k| 38M| 46 | - | 140 | 11 | 6 | 140 | 18 | 24 | 28k|7303 | 9.094947e-13 | 7.000000e+00 | Inf 190.33/190.46 c 177s|460000 | 69739 | 1598k| 38M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 28k|7384 | 9.094947e-13 | 7.000000e+00 | Inf 193.74/193.89 c 180s|470000 | 69471 | 1627k| 38M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 29k|7453 | 9.094947e-13 | 7.000000e+00 | Inf 197.24/197.35 c 184s|480000 | 69526 | 1657k| 38M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 30k|7517 | 9.094947e-13 | 7.000000e+00 | Inf 200.63/200.77 c 187s|490000 | 69181 | 1686k| 38M| 46 | - | 140 | 16 | 7 | 140 | 18 | 24 | 30k|7585 | 9.094947e-13 | 7.000000e+00 | Inf 204.13/204.22 c 190s|500000 | 69015 | 1716k| 38M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 31k|7667 | 9.094947e-13 | 7.000000e+00 | Inf 207.53/207.61 c 193s|510000 | 68888 | 1746k| 38M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 31k|7730 | 9.094947e-13 | 7.000000e+00 | Inf 210.93/211.05 c 196s|520000 | 68763 | 1776k| 38M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 32k|7793 | 9.094947e-13 | 7.000000e+00 | Inf 214.43/214.53 c 200s|530000 | 69228 | 1807k| 39M| 46 | 6 | 140 | 11 | 6 | 140 | 18 | 24 | 33k|7861 | 9.094947e-13 | 7.000000e+00 | Inf 218.03/218.12 c 203s|540000 | 70350 | 1838k| 39M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 33k|7933 | 9.094947e-13 | 7.000000e+00 | Inf 221.63/221.75 c 206s|550000 | 71306 | 1872k| 40M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 34k|8000 | 9.094947e-13 | 7.000000e+00 | Inf 225.22/225.31 c 210s|560000 | 72481 | 1904k| 41M| 46 | - | 140 | 19 | 7 | 0 | 0 | 24 | 34k|8070 | 9.094947e-13 | 7.000000e+00 | Inf 229.42/229.50 c 214s|570000 | 75741 | 1942k| 42M| 46 | - | 140 | 28 | 6 | 140 | 18 | 24 | 35k|8125 | 9.094947e-13 | 7.000000e+00 | Inf 233.22/233.31 c 217s|580000 | 78153 | 1976k| 44M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 36k|8197 | 9.094947e-13 | 7.000000e+00 | Inf 237.02/237.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 237.02/237.12 c 221s|590000 | 80175 | 2010k| 45M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 36k|8259 | 9.094947e-13 | 7.000000e+00 | Inf 240.72/240.84 c 224s|600000 | 82362 | 2043k| 46M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 37k|8322 | 9.094947e-13 | 7.000000e+00 | Inf 244.32/244.48 c 228s|610000 | 84075 | 2075k| 47M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 37k|8375 | 9.094947e-13 | 7.000000e+00 | Inf 248.02/248.14 c 231s|620000 | 85884 | 2108k| 48M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 38k|8436 | 9.094947e-13 | 7.000000e+00 | Inf 251.72/251.87 c 234s|630000 | 87650 | 2142k| 49M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 39k|8508 | 9.094947e-13 | 7.000000e+00 | Inf 255.42/255.55 c 238s|640000 | 89490 | 2175k| 50M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 39k|8568 | 9.094947e-13 | 7.000000e+00 | Inf 259.02/259.19 c 241s|650000 | 90957 | 2208k| 51M| 46 | - | 140 | 14 | 5 | 0 | 0 | 24 | 40k|8637 | 9.094947e-13 | 7.000000e+00 | Inf 262.92/263.00 c 245s|660000 | 93299 | 2242k| 52M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 40k|8691 | 9.094947e-13 | 7.000000e+00 | Inf 266.51/266.63 c 248s|670000 | 95221 | 2274k| 53M| 46 | 6 | 140 | 14 | 7 | 140 | 18 | 24 | 41k|8757 | 9.094947e-13 | 7.000000e+00 | Inf 270.11/270.25 c 252s|680000 | 96695 | 2306k| 54M| 46 | 6 | 140 | 23 | 7 | 140 | 18 | 24 | 41k|8817 | 9.094947e-13 | 7.000000e+00 | Inf 274.01/274.16 c 255s|690000 | 99170 | 2341k| 56M| 46 | - | 140 | 27 | 7 | 140 | 18 | 24 | 42k|8879 | 9.094947e-13 | 7.000000e+00 | Inf 277.91/278.06 c 259s|700000 |101811 | 2375k| 57M| 46 | 6 | 140 | 23 | 6 | 140 | 18 | 24 | 42k|8927 | 9.094947e-13 | 7.000000e+00 | Inf 281.81/281.99 c 263s|710000 |104640 | 2410k| 58M| 46 | - | 140 | 27 | 6 | 140 | 18 | 24 | 43k|8990 | 9.094947e-13 | 7.000000e+00 | Inf 285.71/285.89 c 266s|720000 |107338 | 2444k| 60M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 44k|9045 | 9.094947e-13 | 7.000000e+00 | Inf 289.51/289.68 c 270s|730000 |109634 | 2478k| 61M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 44k|9107 | 9.094947e-13 | 7.000000e+00 | Inf 293.31/293.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 293.31/293.47 c 273s|740000 |112136 | 2513k| 62M| 46 | - | 140 | 23 | 8 | 140 | 18 | 24 | 45k|9160 | 9.094947e-13 | 7.000000e+00 | Inf 297.10/297.21 c 277s|750000 |114107 | 2546k| 64M| 46 | - | 140 | 25 | 7 | 140 | 18 | 24 | 45k|9211 | 9.094947e-13 | 7.000000e+00 | Inf 300.80/300.96 c 280s|760000 |115975 | 2580k| 65M| 46 | 6 | 140 | 20 | 7 | 140 | 18 | 24 | 46k|9271 | 9.094947e-13 | 7.000000e+00 | Inf 304.70/304.81 c 284s|770000 |118175 | 2615k| 66M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 46k|9324 | 9.094947e-13 | 7.000000e+00 | Inf 308.80/308.96 c 288s|780000 |121407 | 2653k| 67M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 47k|9383 | 9.094947e-13 | 7.000000e+00 | Inf 313.00/313.11 c 292s|790000 |124736 | 2690k| 69M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 47k|9439 | 9.094947e-13 | 7.000000e+00 | Inf 316.90/317.09 c 295s|800000 |127292 | 2726k| 70M| 46 | - | 140 | 23 | 8 | 0 | 0 | 24 | 48k|9498 | 9.094947e-13 | 7.000000e+00 | Inf 321.10/321.22 c 299s|810000 |130316 | 2763k| 72M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 48k|9555 | 9.094947e-13 | 7.000000e+00 | Inf 324.90/325.03 c 303s|820000 |132699 | 2797k| 73M| 46 | - | 140 | 20 | 7 | 140 | 18 | 24 | 49k|9613 | 9.094947e-13 | 7.000000e+00 | Inf 328.60/328.75 c 306s|830000 |134680 | 2831k| 74M| 46 | 6 | 140 | 26 | 6 | 140 | 18 | 24 | 50k|9684 | 9.094947e-13 | 7.000000e+00 | Inf 332.39/332.54 c 310s|840000 |136662 | 2866k| 76M| 46 | 6 | 140 | 27 | 7 | 140 | 18 | 24 | 50k|9748 | 9.094947e-13 | 7.000000e+00 | Inf 336.30/336.41 c 313s|850000 |138745 | 2900k| 77M| 46 | 6 | 140 | 24 | 7 | 140 | 18 | 24 | 51k|9805 | 9.094947e-13 | 7.000000e+00 | Inf 339.99/340.13 c 317s|860000 |140611 | 2933k| 78M| 46 | - | 140 | 21 | 7 | 140 | 18 | 24 | 52k|9862 | 9.094947e-13 | 7.000000e+00 | Inf 343.69/343.89 c 320s|870000 |142587 | 2966k| 79M| 46 | - | 140 | 21 | 6 | 140 | 18 | 24 | 52k|9910 | 9.094947e-13 | 7.000000e+00 | Inf 347.50/347.60 c 324s|880000 |144515 | 2999k| 80M| 46 | - | 140 | 21 | 6 | 140 | 18 | 24 | 53k|9961 | 9.094947e-13 | 7.000000e+00 | Inf 351.19/351.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 351.19/351.34 c 327s|890000 |146365 | 3033k| 81M| 46 | - | 140 | 24 | 6 | 140 | 18 | 24 | 53k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 354.89/355.06 c 331s|900000 |148215 | 3066k| 82M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 54k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 358.69/358.86 c 334s|910000 |149984 | 3100k| 83M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 55k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 362.39/362.52 c 338s|920000 |151595 | 3132k| 84M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 55k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 365.99/366.13 c 341s|930000 |152923 | 3165k| 85M| 46 | 6 | 140 | 24 | 7 | 140 | 18 | 24 | 56k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 369.68/369.81 c 344s|940000 |154478 | 3198k| 86M| 46 | 6 | 140 | 21 | 7 | 140 | 18 | 24 | 56k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 373.28/373.43 c 348s|950000 |155858 | 3231k| 87M| 46 | - | 140 | 19 | 6 | 0 | 0 | 24 | 57k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 376.99/377.12 c 351s|960000 |157227 | 3264k| 88M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 58k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 380.59/380.72 c 355s|970000 |158829 | 3296k| 89M| 46 | - | 140 | 18 | 7 | 0 | 0 | 24 | 58k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 384.28/384.41 c 358s|980000 |160823 | 3327k| 90M| 46 | 6 | 140 | 15 | 7 | 140 | 18 | 24 | 59k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 387.78/387.90 c 361s|990000 |161925 | 3357k| 91M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 60k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 391.38/391.58 c 365s| 1000k|163598 | 3390k| 92M| 46 | - | 140 | 16 | 7 | 140 | 18 | 24 | 60k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 394.97/395.15 c 368s| 1010k|164826 | 3421k| 93M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 61k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 398.58/398.79 c 371s| 1020k|166041 | 3453k| 94M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 62k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 402.17/402.38 c 375s| 1030k|167096 | 3485k| 94M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 62k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 405.78/405.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 405.78/405.96 c 378s| 1040k|168256 | 3517k| 95M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 63k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 409.37/409.54 c 381s| 1050k|169411 | 3549k| 96M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 64k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 412.97/413.19 c 385s| 1060k|171058 | 3581k| 97M| 46 | 6 | 140 | 27 | 7 | 140 | 18 | 24 | 64k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 416.67/416.84 c 388s| 1070k|173183 | 3613k| 98M| 46 | - | 140 | 23 | 7 | 140 | 18 | 24 | 65k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 420.17/420.38 c 392s| 1080k|174672 | 3642k| 99M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 65k| 10k| 9.094947e-13 | 7.000000e+00 | Inf 423.77/423.93 c 395s| 1090k|176306 | 3673k| 100M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 66k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 427.27/427.42 c 398s| 1100k|177411 | 3703k| 101M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 67k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 430.77/430.93 c 401s| 1110k|178285 | 3733k| 101M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 67k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 434.37/434.59 c 405s| 1120k|179360 | 3767k| 102M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 68k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 437.96/438.16 c 408s| 1130k|180334 | 3798k| 103M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 68k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 441.56/441.72 c 411s| 1140k|181585 | 3829k| 104M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 69k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 445.16/445.32 c 415s| 1150k|182881 | 3861k| 105M| 46 | - | 140 | 20 | 6 | 0 | 0 | 24 | 70k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 448.67/448.81 c 418s| 1160k|184002 | 3890k| 105M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 70k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 452.26/452.47 c 421s| 1170k|185710 | 3922k| 106M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 71k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 455.96/456.14 c 425s| 1180k|187786 | 3955k| 107M| 46 | - | 140 | 20 | 6 | 0 | 0 | 24 | 72k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 459.66/459.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 459.66/459.81 c 428s| 1190k|189443 | 3988k| 108M| 46 | 6 | 140 | 19 | 8 | 140 | 18 | 24 | 72k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 463.16/463.40 c 432s| 1200k|191082 | 4020k| 109M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 73k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 466.76/466.96 c 435s| 1210k|192240 | 4051k| 110M| 46 | 6 | 140 | 20 | 7 | 140 | 18 | 24 | 73k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 470.35/470.51 c 438s| 1220k|193436 | 4083k| 111M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 74k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 473.86/474.05 c 442s| 1230k|194372 | 4114k| 112M| 46 | - | 140 | 17 | 6 | 0 | 0 | 24 | 75k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 477.45/477.63 c 445s| 1240k|195399 | 4145k| 113M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 75k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 481.05/481.21 c 448s| 1250k|196432 | 4176k| 113M| 46 | 6 | 140 | 18 | 8 | 140 | 18 | 24 | 76k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 484.55/484.76 c 452s| 1260k|197423 | 4207k| 114M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 77k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 488.16/488.31 c 455s| 1270k|198458 | 4239k| 115M| 46 | - | 140 | 21 | 6 | 140 | 18 | 24 | 77k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 491.65/491.85 c 458s| 1280k|199370 | 4270k| 115M| 46 | - | 140 | 16 | 6 | 0 | 0 | 24 | 78k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 495.25/495.43 c 461s| 1290k|200346 | 4303k| 116M| 46 | 6 | 140 | 25 | 6 | 140 | 18 | 24 | 79k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 498.85/499.03 c 465s| 1300k|201041 | 4334k| 117M| 46 | - | 140 | 19 | 7 | 140 | 18 | 24 | 79k| 11k| 9.094947e-13 | 7.000000e+00 | Inf 502.35/502.59 c 468s| 1310k|201877 | 4365k| 117M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 80k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 505.95/506.16 c 471s| 1320k|202525 | 4396k| 118M| 46 | - | 140 | 19 | 6 | 0 | 0 | 24 | 81k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 509.45/509.67 c 475s| 1330k|203255 | 4425k| 118M| 46 | - | 140 | 16 | 6 | 0 | 0 | 24 | 81k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 513.04/513.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 513.04/513.21 c 478s| 1340k|203463 | 4456k| 119M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 82k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 516.54/516.72 c 481s| 1350k|203821 | 4487k| 119M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 82k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 520.24/520.42 c 485s| 1360k|205524 | 4520k| 120M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 83k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 523.94/524.12 c 488s| 1370k|206691 | 4554k| 121M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 84k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 527.44/527.69 c 492s| 1380k|207342 | 4586k| 122M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 85k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 531.04/531.23 c 495s| 1390k|207951 | 4618k| 122M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 85k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 534.64/534.85 c 498s| 1400k|208665 | 4651k| 123M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 86k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 538.24/538.41 c 502s| 1410k|209122 | 4682k| 123M| 46 | - | 140 | 13 | 6 | 0 | 0 | 24 | 86k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 541.73/541.98 c 505s| 1420k|209570 | 4713k| 124M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 87k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 545.34/545.50 c 508s| 1430k|209960 | 4745k| 124M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 88k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 548.83/549.03 c 511s| 1440k|210858 | 4776k| 125M| 46 | - | 140 | 12 | 8 | 0 | 0 | 24 | 88k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 552.33/552.56 c 515s| 1450k|211100 | 4807k| 125M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 89k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 555.83/556.06 c 518s| 1460k|211549 | 4837k| 125M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 90k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 559.43/559.65 c 521s| 1470k|212364 | 4869k| 126M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 90k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 562.94/563.13 c 524s| 1480k|212948 | 4899k| 127M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 91k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 566.43/566.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 566.43/566.67 c 528s| 1490k|213443 | 4930k| 127M| 46 | - | 140 | 16 | 7 | 140 | 18 | 24 | 92k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 569.93/570.16 c 531s| 1500k|214019 | 4960k| 128M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 92k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 573.52/573.76 c 534s| 1510k|215148 | 4992k| 128M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 93k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 577.13/577.37 c 538s| 1520k|216175 | 5024k| 129M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 93k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 580.72/580.95 c 541s| 1530k|217188 | 5056k| 130M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 94k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 584.32/584.57 c 545s| 1540k|217548 | 5087k| 130M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 95k| 12k| 9.094947e-13 | 7.000000e+00 | Inf 587.92/588.13 c 548s| 1550k|218014 | 5119k| 131M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 95k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 591.52/591.71 c 551s| 1560k|218867 | 5151k| 131M| 46 | 6 | 140 | 15 | 7 | 140 | 18 | 24 | 96k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 595.02/595.27 c 554s| 1570k|219604 | 5183k| 132M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 96k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 598.62/598.83 c 558s| 1580k|220101 | 5213k| 132M| 46 | - | 140 | 18 | 8 | 0 | 0 | 24 | 97k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 602.22/602.41 c 561s| 1590k|220302 | 5244k| 133M| 46 | - | 140 | 15 | 7 | 140 | 18 | 24 | 97k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 605.72/605.95 c 564s| 1600k|220555 | 5275k| 133M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 98k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 609.31/609.52 c 568s| 1610k|221624 | 5307k| 134M| 46 | 6 | 140 | 20 | 8 | 140 | 18 | 24 | 99k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 612.82/613.06 c 571s| 1620k|222759 | 5338k| 135M| 46 | 6 | 140 | 20 | 7 | 140 | 18 | 24 | 99k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 616.31/616.59 c 574s| 1630k|223758 | 5369k| 135M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 100k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 619.91/620.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 619.91/620.18 c 578s| 1640k|224301 | 5401k| 136M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 100k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 623.42/623.68 c 581s| 1650k|225042 | 5432k| 136M| 46 | - | 140 | 18 | 8 | 0 | 0 | 24 | 101k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 626.91/627.15 c 584s| 1660k|225626 | 5463k| 137M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 102k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 630.41/630.66 c 588s| 1670k|225827 | 5493k| 137M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 102k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 634.01/634.23 c 591s| 1680k|226539 | 5525k| 138M| 46 | - | 140 | 15 | 7 | 140 | 18 | 24 | 103k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 637.61/637.88 c 594s| 1690k|227779 | 5557k| 139M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 103k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 641.21/641.45 c 598s| 1700k|228941 | 5589k| 139M| 46 | 6 | 140 | 15 | 7 | 140 | 18 | 24 | 104k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 644.91/645.18 c 601s| 1710k|230484 | 5622k| 140M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 104k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 648.81/649.05 c 605s| 1720k|233415 | 5656k| 142M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 105k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 652.60/652.85 c 608s| 1730k|235691 | 5690k| 143M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 105k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 656.51/656.78 c 612s| 1740k|237862 | 5726k| 144M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 106k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 660.40/660.70 c 616s| 1750k|240593 | 5761k| 146M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 107k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 664.21/664.45 c 619s| 1760k|242452 | 5794k| 147M| 46 | - | 140 | 17 | 7 | 140 | 18 | 24 | 107k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 667.90/668.17 c 623s| 1770k|244185 | 5828k| 148M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 108k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 671.80/672.08 c 626s| 1780k|247191 | 5862k| 149M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 108k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 675.60/675.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 675.60/675.81 c 630s| 1790k|249288 | 5894k| 151M| 46 | - | 140 | 13 | 6 | 0 | 0 | 24 | 109k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 679.30/679.52 c 633s| 1800k|250759 | 5927k| 151M| 46 | 6 | 140 | 11 | 6 | 140 | 18 | 24 | 109k| 13k| 9.094947e-13 | 7.000000e+00 | Inf 682.99/683.21 c 637s| 1810k|252428 | 5959k| 152M| 46 | - | 140 | 21 | 9 | 140 | 18 | 24 | 110k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 686.60/686.87 c 640s| 1820k|253993 | 5990k| 153M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 110k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 690.30/690.56 c 643s| 1830k|255618 | 6023k| 154M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 111k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 694.79/695.04 c 648s| 1840k|259896 | 6061k| 156M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 112k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 698.99/699.29 c 652s| 1850k|263525 | 6098k| 158M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 112k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 703.09/703.35 c 655s| 1860k|266499 | 6134k| 159M| 46 | 6 | 140 | 25 | 8 | 140 | 18 | 24 | 113k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 707.00/707.24 c 659s| 1870k|269414 | 6168k| 161M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 114k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 710.89/711.12 c 663s| 1880k|272045 | 6202k| 162M| 46 | 6 | 140 | 21 | 8 | 140 | 18 | 24 | 114k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 714.59/714.86 c 666s| 1890k|274684 | 6234k| 164M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 115k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 718.49/718.79 c 670s| 1900k|277216 | 6269k| 165M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 116k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 722.39/722.68 c 673s| 1910k|279839 | 6303k| 166M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 116k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 726.28/726.54 c 677s| 1920k|282455 | 6336k| 168M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 117k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 730.29/730.53 c 681s| 1930k|285522 | 6371k| 169M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 118k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 734.18/734.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 734.18/734.44 c 684s| 1940k|288184 | 6406k| 171M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 118k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 737.98/738.21 c 688s| 1950k|290446 | 6438k| 172M| 46 | 6 | 140 | 20 | 9 | 140 | 18 | 24 | 119k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 741.88/742.10 c 692s| 1960k|292985 | 6472k| 173M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 120k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 745.58/745.89 c 695s| 1970k|295280 | 6504k| 175M| 46 | - | 140 | 15 | 7 | 0 | 0 | 24 | 120k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 749.38/749.67 c 699s| 1980k|297618 | 6538k| 176M| 46 | - | 140 | 23 | 6 | 140 | 18 | 24 | 121k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 753.08/753.39 c 702s| 1990k|299497 | 6571k| 177M| 46 | - | 140 | 15 | 5 | 140 | 18 | 24 | 121k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 756.98/757.25 c 706s| 2000k|301747 | 6605k| 178M| 46 | - | 140 | 19 | 7 | 140 | 18 | 24 | 122k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 760.77/761.06 c 709s| 2010k|304117 | 6638k| 180M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 123k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 764.57/764.89 c 713s| 2020k|306470 | 6672k| 181M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 123k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 768.37/768.66 c 716s| 2030k|308719 | 6705k| 182M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 124k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 772.27/772.57 c 720s| 2040k|311368 | 6738k| 184M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 125k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 775.97/776.29 c 723s| 2050k|313392 | 6770k| 185M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 125k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 779.97/780.22 c 727s| 2060k|315842 | 6804k| 186M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 126k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 783.76/784.09 c 731s| 2070k|317940 | 6837k| 187M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 127k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 787.56/787.81 c 734s| 2080k|320052 | 6870k| 188M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 127k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 791.27/791.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 791.27/791.57 c 738s| 2090k|322175 | 6902k| 190M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 128k| 14k| 9.094947e-13 | 7.000000e+00 | Inf 795.07/795.33 c 741s| 2100k|324158 | 6935k| 191M| 46 | - | 140 | 12 | 6 | 140 | 18 | 24 | 129k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 798.77/799.07 c 745s| 2110k|325940 | 6967k| 192M| 46 | - | 140 | 22 | 6 | 0 | 0 | 24 | 129k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 802.67/802.93 c 748s| 2120k|328410 | 7000k| 193M| 46 | - | 140 | 19 | 6 | 0 | 0 | 24 | 130k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 806.36/806.65 c 752s| 2130k|330181 | 7032k| 194M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 131k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 810.16/810.43 c 755s| 2140k|332264 | 7065k| 195M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 131k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 813.86/814.13 c 759s| 2150k|334114 | 7097k| 196M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 132k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 817.56/817.88 c 762s| 2160k|335748 | 7129k| 197M| 46 | 6 | 140 | 20 | 8 | 140 | 18 | 24 | 133k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 821.25/821.53 c 766s| 2170k|337419 | 7160k| 198M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 133k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 824.95/825.26 c 769s| 2180k|339091 | 7193k| 199M| 46 | - | 140 | 14 | 7 | 140 | 18 | 24 | 134k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 828.66/828.99 c 773s| 2190k|340792 | 7226k| 201M| 46 | 6 | 140 | 17 | 9 | 140 | 18 | 24 | 135k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 832.46/832.71 c 776s| 2200k|342733 | 7258k| 202M| 46 | - | 140 | 21 | 7 | 140 | 18 | 24 | 135k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 836.15/836.43 c 780s| 2210k|344213 | 7290k| 203M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 136k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 839.96/840.20 c 783s| 2220k|346529 | 7322k| 204M| 46 | - | 140 | 18 | 7 | 0 | 0 | 24 | 136k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 843.65/843.99 c 787s| 2230k|348762 | 7354k| 205M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 137k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 847.55/847.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 847.55/847.86 c 790s| 2240k|351788 | 7388k| 207M| 46 | - | 140 | 22 | 10 | 140 | 18 | 24 | 138k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 851.35/851.62 c 794s| 2250k|354394 | 7419k| 208M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 139k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 854.94/855.28 c 797s| 2260k|356284 | 7450k| 209M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 139k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 858.65/858.97 c 801s| 2270k|358063 | 7481k| 210M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 140k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 862.35/862.70 c 804s| 2280k|359870 | 7513k| 211M| 46 | 6 | 140 | 21 | 7 | 140 | 18 | 24 | 141k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 865.94/866.29 c 807s| 2290k|361408 | 7544k| 212M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 141k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 869.64/869.93 c 811s| 2300k|362928 | 7575k| 213M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 142k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 873.34/873.65 c 814s| 2310k|364792 | 7607k| 214M| 46 | - | 140 | 15 | 7 | 0 | 0 | 24 | 142k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 877.04/877.35 c 818s| 2320k|366484 | 7638k| 215M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 143k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 880.74/881.02 c 821s| 2330k|367855 | 7669k| 216M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 144k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 884.44/884.72 c 825s| 2340k|369463 | 7700k| 217M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 144k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 888.14/888.46 c 828s| 2350k|371744 | 7733k| 218M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 145k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 891.84/892.17 c 832s| 2360k|373720 | 7765k| 219M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 146k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 895.54/895.86 c 835s| 2370k|375294 | 7796k| 220M| 46 | 6 | 140 | 18 | 8 | 140 | 18 | 24 | 146k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 899.24/899.55 c 838s| 2380k|377008 | 7828k| 221M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 147k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 902.94/903.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 902.94/903.24 c 842s| 2390k|378504 | 7859k| 222M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 147k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 906.63/906.91 c 845s| 2400k|380069 | 7891k| 223M| 46 | - | 140 | 20 | 7 | 0 | 0 | 24 | 148k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 910.44/910.72 c 849s| 2410k|382564 | 7924k| 225M| 46 | - | 140 | 15 | 7 | 0 | 0 | 24 | 149k| 15k| 9.094947e-13 | 7.000000e+00 | Inf 914.04/914.38 c 852s| 2420k|384066 | 7955k| 226M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 149k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 917.83/918.10 c 856s| 2430k|385638 | 7987k| 227M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 150k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 921.63/921.97 c 859s| 2440k|387913 | 8020k| 228M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 151k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 925.33/925.67 c 863s| 2450k|389563 | 8051k| 229M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 151k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 929.03/929.31 c 866s| 2460k|390729 | 8082k| 230M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 152k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 932.62/932.98 c 870s| 2470k|392356 | 8113k| 231M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 153k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 936.63/936.91 c 873s| 2480k|395084 | 8147k| 232M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 153k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 940.42/940.76 c 877s| 2490k|398001 | 8179k| 233M| 46 | 6 | 140 | 15 | 7 | 140 | 18 | 24 | 154k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 944.23/944.54 c 881s| 2500k|400313 | 8212k| 235M| 46 | - | 140 | 17 | 7 | 140 | 18 | 24 | 155k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 947.92/948.26 c 884s| 2510k|402553 | 8243k| 236M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 155k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 951.52/951.87 c 887s| 2520k|404312 | 8274k| 237M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 156k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 955.12/955.47 c 891s| 2530k|405828 | 8304k| 238M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 156k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 958.83/959.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 958.83/959.12 c 894s| 2540k|407437 | 8335k| 239M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 157k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 962.42/962.71 c 898s| 2550k|409134 | 8365k| 240M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 158k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 966.01/966.35 c 901s| 2560k|410608 | 8396k| 241M| 46 | - | 140 | 14 | 5 | 140 | 18 | 24 | 158k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 969.61/969.99 c 904s| 2570k|412205 | 8427k| 242M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 159k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 973.31/973.63 c 908s| 2580k|413929 | 8457k| 243M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 159k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 976.91/977.27 c 911s| 2590k|415391 | 8488k| 244M| 46 | - | 140 | 15 | 7 | 140 | 18 | 24 | 160k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 980.61/980.92 c 914s| 2600k|417013 | 8518k| 245M| 46 | 6 | 140 | 20 | 7 | 140 | 18 | 24 | 161k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 984.31/984.64 c 918s| 2610k|418215 | 8550k| 246M| 46 | - | 140 | 14 | 6 | 0 | 0 | 24 | 161k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 987.91/988.24 c 921s| 2620k|419420 | 8580k| 246M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 162k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 991.51/991.88 c 925s| 2630k|420829 | 8611k| 247M| 46 | 6 | 140 | 14 | 7 | 140 | 18 | 24 | 162k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 995.21/995.60 c 928s| 2640k|422359 | 8643k| 248M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 163k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 998.91/999.27 c 932s| 2650k|423750 | 8675k| 249M| 46 | - | 140 | 17 | 7 | 140 | 18 | 24 | 164k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1002.61/1002.94 c 935s| 2660k|425234 | 8706k| 250M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 164k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1006.31/1006.64 c 938s| 2670k|426611 | 8737k| 251M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 165k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1010.01/1010.30 c 942s| 2680k|428401 | 8768k| 252M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 166k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1013.60/1013.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1013.60/1013.95 c 945s| 2690k|429695 | 8799k| 253M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 166k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1017.20/1017.58 c 949s| 2700k|431184 | 8829k| 254M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 167k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1020.90/1021.25 c 952s| 2710k|432471 | 8860k| 255M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 168k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1024.60/1024.90 c 956s| 2720k|433944 | 8891k| 256M| 46 | - | 140 | 17 | 5 | 140 | 18 | 24 | 168k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1028.21/1028.53 c 959s| 2730k|435375 | 8923k| 256M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 169k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1031.80/1032.12 c 962s| 2740k|436546 | 8954k| 257M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 169k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1035.81/1036.10 c 966s| 2750k|438965 | 8988k| 259M| 46 | 6 | 140 | 21 | 9 | 140 | 18 | 24 | 170k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1039.69/1040.02 c 970s| 2760k|441713 | 9022k| 260M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 171k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1043.50/1043.86 c 973s| 2770k|443510 | 9055k| 261M| 46 | - | 140 | 14 | 7 | 140 | 18 | 24 | 171k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1047.29/1047.63 c 977s| 2780k|445259 | 9088k| 262M| 46 | - | 140 | 16 | 7 | 140 | 18 | 24 | 172k| 16k| 9.094947e-13 | 7.000000e+00 | Inf 1050.99/1051.39 c 980s| 2790k|447001 | 9121k| 263M| 46 | 6 | 140 | 18 | 10 | 140 | 18 | 24 | 173k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1054.69/1055.09 c 984s| 2800k|449055 | 9154k| 264M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 173k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1058.50/1058.83 c 987s| 2810k|450686 | 9186k| 265M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 174k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1062.20/1062.55 c 991s| 2820k|452616 | 9218k| 266M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 174k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1065.89/1066.22 c 994s| 2830k|454694 | 9250k| 268M| 46 | - | 140 | 15 | 7 | 0 | 0 | 24 | 175k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1069.69/1070.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1069.69/1070.02 c 998s| 2840k|456765 | 9283k| 269M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 176k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1073.29/1073.69 c 1001s| 2850k|458054 | 9314k| 270M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 176k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1076.98/1077.35 c 1005s| 2860k|459585 | 9345k| 271M| 46 | - | 140 | 14 | 7 | 140 | 18 | 24 | 177k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1080.69/1081.05 c 1008s| 2870k|460831 | 9378k| 271M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 178k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1084.39/1084.75 c 1011s| 2880k|462432 | 9409k| 272M| 46 | - | 140 | 19 | 6 | 0 | 0 | 24 | 178k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1088.08/1088.45 c 1015s| 2890k|463540 | 9441k| 273M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 179k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1091.78/1092.10 c 1018s| 2900k|464670 | 9472k| 274M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 180k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1095.38/1095.75 c 1022s| 2910k|466399 | 9503k| 275M| 46 | - | 140 | 12 | 6 | 140 | 18 | 24 | 180k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1099.08/1099.46 c 1025s| 2920k|467932 | 9533k| 276M| 46 | - | 140 | 14 | 6 | 0 | 0 | 24 | 181k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1103.08/1103.41 c 1029s| 2930k|470393 | 9566k| 277M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 182k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1106.77/1107.18 c 1032s| 2940k|472297 | 9599k| 278M| 46 | - | 140 | 15 | 6 | 0 | 0 | 24 | 182k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1110.48/1110.87 c 1036s| 2950k|473592 | 9630k| 279M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 183k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1114.27/1114.65 c 1039s| 2960k|475459 | 9662k| 280M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 184k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1117.97/1118.37 c 1043s| 2970k|476859 | 9694k| 281M| 46 | - | 140 | 12 | 6 | 140 | 18 | 24 | 184k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1121.67/1122.07 c 1046s| 2980k|478231 | 9725k| 282M| 46 | - | 140 | 13 | 6 | 0 | 0 | 24 | 185k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1125.37/1125.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1125.37/1125.74 c 1050s| 2990k|479555 | 9755k| 283M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 186k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1128.97/1129.37 c 1053s| 3000k|480734 | 9786k| 284M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 186k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1132.47/1132.89 c 1056s| 3010k|482273 | 9816k| 285M| 46 | - | 140 | 13 | 7 | 140 | 18 | 24 | 187k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1136.17/1136.58 c 1060s| 3020k|483397 | 9847k| 286M| 46 | - | 140 | 13 | 7 | 140 | 18 | 24 | 188k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1139.86/1140.22 c 1063s| 3030k|484214 | 9877k| 286M| 46 | 6 | 140 | 12 | 6 | 140 | 18 | 24 | 188k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1143.57/1143.94 c 1067s| 3040k|485202 | 9908k| 287M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 189k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1147.17/1147.59 c 1070s| 3050k|486126 | 9938k| 288M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 190k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1150.87/1151.25 c 1074s| 3060k|487250 | 9969k| 288M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 190k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1154.46/1154.88 c 1077s| 3070k|488111 | 9999k| 289M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 191k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1158.16/1158.55 c 1080s| 3080k|489073 | 10030k| 290M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 191k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1161.76/1162.19 c 1084s| 3090k|490200 | 10060k| 291M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 192k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1165.46/1165.84 c 1087s| 3100k|491023 | 10091k| 291M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 193k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1169.06/1169.46 c 1091s| 3110k|491837 | 10121k| 292M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 193k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1172.76/1173.17 c 1094s| 3120k|493149 | 10153k| 293M| 46 | - | 140 | 18 | 10 | 140 | 18 | 24 | 194k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1176.45/1176.83 c 1098s| 3130k|494564 | 10183k| 294M| 46 | - | 140 | 13 | 7 | 0 | 0 | 24 | 195k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1180.16/1180.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1180.16/1180.53 c 1101s| 3140k|495660 | 10214k| 294M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 195k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1184.06/1184.43 c 1105s| 3150k|497757 | 10248k| 296M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 196k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1187.75/1188.16 c 1108s| 3160k|498942 | 10281k| 296M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 197k| 17k| 9.094947e-13 | 7.000000e+00 | Inf 1191.46/1191.89 c 1112s| 3170k|500408 | 10312k| 297M| 46 | - | 140 | 18 | 8 | 140 | 18 | 24 | 197k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1195.15/1195.59 c 1115s| 3180k|501799 | 10344k| 298M| 46 | - | 140 | 15 | 6 | 0 | 0 | 24 | 198k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1199.05/1199.41 c 1119s| 3190k|503376 | 10377k| 299M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 199k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1202.65/1203.09 c 1122s| 3200k|504455 | 10408k| 300M| 46 | - | 140 | 14 | 7 | 0 | 0 | 24 | 199k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1206.36/1206.72 c 1126s| 3210k|505311 | 10439k| 301M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 200k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1209.95/1210.39 c 1129s| 3220k|506078 | 10469k| 301M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 201k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1213.65/1214.01 c 1132s| 3230k|507325 | 10499k| 302M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 201k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1217.25/1217.70 c 1136s| 3240k|508669 | 10530k| 303M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 202k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1221.04/1221.40 c 1139s| 3250k|509767 | 10562k| 304M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 203k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1224.65/1225.03 c 1143s| 3260k|511625 | 10593k| 305M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 203k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1228.15/1228.57 c 1146s| 3270k|512382 | 10622k| 305M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 204k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1231.84/1232.29 c 1149s| 3280k|514211 | 10654k| 306M| 46 | - | 140 | 18 | 7 | 140 | 18 | 24 | 204k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1235.54/1235.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1235.54/1235.96 c 1153s| 3290k|515429 | 10684k| 307M| 46 | - | 140 | 15 | 7 | 140 | 18 | 24 | 205k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1239.25/1239.62 c 1156s| 3300k|516369 | 10714k| 308M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 205k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1242.84/1243.28 c 1160s| 3310k|517427 | 10745k| 309M| 46 | 6 | 140 | 13 | 6 | 140 | 18 | 24 | 206k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1246.54/1246.96 c 1163s| 3320k|518735 | 10776k| 310M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 207k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1250.14/1250.59 c 1166s| 3330k|519944 | 10806k| 310M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 207k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1253.84/1254.24 c 1170s| 3340k|521171 | 10836k| 311M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 208k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1257.54/1257.96 c 1173s| 3350k|522380 | 10867k| 312M| 46 | - | 140 | 22 | 8 | 140 | 18 | 24 | 209k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1261.24/1261.68 c 1177s| 3360k|524434 | 10898k| 313M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 209k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1264.93/1265.30 c 1180s| 3370k|526172 | 10927k| 314M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 210k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1268.53/1268.90 c 1184s| 3380k|527330 | 10956k| 315M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 210k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1272.14/1272.55 c 1187s| 3390k|528599 | 10987k| 316M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 211k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1275.74/1276.14 c 1190s| 3400k|529332 | 11016k| 317M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 212k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1279.53/1279.97 c 1194s| 3410k|530794 | 11048k| 317M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 212k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1283.34/1283.77 c 1197s| 3420k|532069 | 11080k| 318M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 213k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1287.03/1287.42 c 1201s| 3430k|533166 | 11112k| 319M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 214k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1290.63/1291.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1290.63/1291.07 c 1204s| 3440k|533897 | 11142k| 320M| 46 | - | 140 | 21 | 6 | 140 | 18 | 24 | 214k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1294.43/1294.82 c 1208s| 3450k|535964 | 11173k| 321M| 46 | 6 | 140 | 23 | 8 | 140 | 18 | 24 | 215k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1298.13/1298.50 c 1211s| 3460k|537515 | 11203k| 322M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 215k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1301.72/1302.16 c 1215s| 3470k|538605 | 11233k| 323M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 216k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1305.32/1305.72 c 1218s| 3480k|539593 | 11262k| 323M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 216k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1309.02/1309.42 c 1221s| 3490k|540586 | 11292k| 324M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 217k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1312.72/1313.15 c 1225s| 3500k|541485 | 11324k| 325M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 218k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1316.62/1317.04 c 1228s| 3510k|543958 | 11356k| 326M| 46 | 6 | 140 | 22 | 6 | 140 | 18 | 24 | 218k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1320.42/1320.83 c 1232s| 3520k|545793 | 11389k| 327M| 46 | - | 140 | 19 | 7 | 0 | 0 | 24 | 219k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1324.12/1324.53 c 1235s| 3530k|547246 | 11420k| 328M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 219k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1327.81/1328.23 c 1239s| 3540k|548556 | 11451k| 329M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 220k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1331.51/1331.92 c 1242s| 3550k|550132 | 11483k| 330M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 220k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1335.31/1335.75 c 1246s| 3560k|552459 | 11515k| 331M| 46 | - | 140 | 20 | 5 | 0 | 0 | 24 | 221k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1339.11/1339.55 c 1250s| 3570k|554071 | 11547k| 332M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 222k| 18k| 9.094947e-13 | 7.000000e+00 | Inf 1342.92/1343.33 c 1253s| 3580k|555805 | 11579k| 333M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 222k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1346.61/1347.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1346.61/1347.09 c 1257s| 3590k|556909 | 11610k| 334M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 223k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1350.32/1350.80 c 1260s| 3600k|557956 | 11641k| 335M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 223k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1354.01/1354.49 c 1263s| 3610k|559234 | 11672k| 335M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 224k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1357.81/1358.24 c 1267s| 3620k|560815 | 11703k| 336M| 46 | - | 140 | 22 | 6 | 140 | 18 | 24 | 225k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1361.51/1361.92 c 1270s| 3630k|562191 | 11734k| 337M| 46 | 6 | 140 | 24 | 6 | 140 | 18 | 24 | 225k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1365.20/1365.68 c 1274s| 3640k|563136 | 11765k| 338M| 46 | - | 140 | 19 | 6 | 0 | 0 | 24 | 226k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1369.01/1369.40 c 1277s| 3650k|564002 | 11796k| 339M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 226k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1372.60/1373.09 c 1281s| 3660k|565057 | 11827k| 339M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 227k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1376.30/1376.76 c 1284s| 3670k|566035 | 11857k| 340M| 46 | 6 | 140 | 18 | 8 | 140 | 18 | 24 | 228k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1380.00/1380.44 c 1288s| 3680k|566927 | 11887k| 341M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 228k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1383.70/1384.16 c 1291s| 3690k|567488 | 11917k| 341M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 229k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1387.40/1387.85 c 1295s| 3700k|568354 | 11948k| 342M| 46 | 6 | 140 | 21 | 6 | 140 | 18 | 24 | 229k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1391.11/1391.52 c 1298s| 3710k|569117 | 11979k| 342M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 230k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1394.80/1395.24 c 1302s| 3720k|569920 | 12009k| 343M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 231k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1398.49/1398.93 c 1305s| 3730k|571074 | 12039k| 344M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 231k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1402.29/1402.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1402.29/1402.71 c 1309s| 3740k|572056 | 12070k| 345M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 232k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1405.99/1406.42 c 1312s| 3750k|573703 | 12100k| 346M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 233k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1409.59/1410.06 c 1315s| 3760k|574738 | 12130k| 346M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 233k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1413.29/1413.71 c 1319s| 3770k|575473 | 12161k| 347M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 234k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1416.99/1417.43 c 1322s| 3780k|576310 | 12191k| 347M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 234k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1420.69/1421.15 c 1326s| 3790k|577772 | 12221k| 348M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 235k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1424.49/1424.95 c 1329s| 3800k|578427 | 12253k| 349M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 236k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1428.19/1428.66 c 1333s| 3810k|579733 | 12283k| 350M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 236k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1431.98/1432.42 c 1336s| 3820k|580876 | 12314k| 351M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 237k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1435.79/1436.22 c 1340s| 3830k|582468 | 12346k| 352M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 237k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1439.58/1440.00 c 1343s| 3840k|583661 | 12378k| 352M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 238k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1443.28/1443.76 c 1347s| 3850k|584720 | 12410k| 353M| 46 | - | 140 | 18 | 7 | 140 | 18 | 24 | 239k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1446.99/1447.47 c 1350s| 3860k|585716 | 12443k| 354M| 46 | - | 140 | 17 | 5 | 0 | 0 | 24 | 239k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1450.68/1451.13 c 1354s| 3870k|586757 | 12474k| 355M| 46 | - | 140 | 16 | 6 | 0 | 0 | 24 | 240k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1454.28/1454.79 c 1357s| 3880k|587523 | 12505k| 355M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 240k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1458.08/1458.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1458.08/1458.50 c 1361s| 3890k|588600 | 12535k| 356M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 241k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1461.78/1462.20 c 1364s| 3900k|589399 | 12566k| 357M| 46 | - | 140 | 18 | 7 | 140 | 18 | 24 | 242k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1465.38/1465.87 c 1368s| 3910k|590086 | 12597k| 357M| 46 | - | 140 | 24 | 9 | 140 | 18 | 24 | 242k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1469.08/1469.58 c 1371s| 3920k|591398 | 12628k| 358M| 46 | - | 140 | 22 | 6 | 140 | 18 | 24 | 243k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1472.87/1473.34 c 1375s| 3930k|592764 | 12661k| 359M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 244k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1476.58/1477.01 c 1378s| 3940k|593501 | 12692k| 359M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 244k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1480.18/1480.66 c 1381s| 3950k|594387 | 12722k| 360M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 245k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1483.97/1484.43 c 1385s| 3960k|595357 | 12754k| 361M| 46 | 6 | 140 | 21 | 8 | 140 | 18 | 24 | 245k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1487.67/1488.17 c 1388s| 3970k|596875 | 12785k| 362M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 246k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1491.37/1491.82 c 1392s| 3980k|597962 | 12815k| 363M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 247k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1494.97/1495.48 c 1395s| 3990k|598900 | 12846k| 363M| 46 | - | 140 | 16 | 8 | 0 | 0 | 24 | 247k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1498.67/1499.18 c 1399s| 4000k|599800 | 12876k| 364M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 248k| 19k| 9.094947e-13 | 7.000000e+00 | Inf 1502.46/1502.91 c 1402s| 4010k|601123 | 12907k| 365M| 46 | - | 140 | 16 | 5 | 140 | 18 | 24 | 249k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1506.06/1506.55 c 1406s| 4020k|601934 | 12937k| 365M| 46 | - | 140 | 15 | 7 | 140 | 18 | 24 | 249k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1509.77/1510.24 c 1409s| 4030k|603151 | 12966k| 366M| 46 | - | 140 | 19 | 7 | 0 | 0 | 24 | 250k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1513.47/1513.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1513.47/1513.94 c 1413s| 4040k|603932 | 12997k| 367M| 46 | 6 | 140 | 16 | 7 | 140 | 18 | 24 | 251k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1517.26/1517.75 c 1416s| 4050k|605563 | 13029k| 368M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 251k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1520.96/1521.44 c 1420s| 4060k|606751 | 13059k| 369M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 252k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1524.66/1525.11 c 1423s| 4070k|607381 | 13088k| 369M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 252k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1528.26/1528.76 c 1426s| 4080k|608064 | 13118k| 370M| 46 | - | 140 | 23 | 6 | 0 | 0 | 24 | 253k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1531.95/1532.42 c 1430s| 4090k|608821 | 13149k| 370M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 254k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1535.66/1536.17 c 1433s| 4100k|609717 | 13180k| 371M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 254k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1539.35/1539.81 c 1437s| 4110k|610541 | 13210k| 372M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 255k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1543.06/1543.53 c 1440s| 4120k|611583 | 13241k| 372M| 46 | 6 | 140 | 23 | 10 | 140 | 18 | 24 | 255k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1546.76/1547.23 c 1444s| 4130k|612313 | 13272k| 373M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 256k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1550.45/1550.97 c 1447s| 4140k|613208 | 13303k| 374M| 46 | - | 140 | 21 | 6 | 140 | 18 | 24 | 257k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1554.16/1554.61 c 1451s| 4150k|614132 | 13332k| 374M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 257k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1557.76/1558.29 c 1454s| 4160k|615282 | 13362k| 375M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 258k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1561.56/1562.02 c 1458s| 4170k|616530 | 13392k| 376M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 259k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1565.25/1565.70 c 1461s| 4180k|617966 | 13422k| 377M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 259k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1568.85/1569.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1568.85/1569.36 c 1464s| 4190k|618606 | 13450k| 377M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 260k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1572.56/1573.03 c 1468s| 4200k|619426 | 13480k| 378M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 260k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1576.25/1576.77 c 1471s| 4210k|620242 | 13511k| 378M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 261k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1580.05/1580.50 c 1475s| 4220k|621260 | 13542k| 379M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 262k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1583.74/1584.26 c 1478s| 4230k|621875 | 13572k| 380M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 262k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1587.34/1587.87 c 1482s| 4240k|623232 | 13601k| 381M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 263k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1591.04/1591.54 c 1485s| 4250k|624185 | 13631k| 381M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 264k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1594.75/1595.24 c 1489s| 4260k|625244 | 13661k| 382M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 264k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1598.44/1598.93 c 1492s| 4270k|625849 | 13690k| 383M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 265k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1602.15/1602.64 c 1496s| 4280k|626882 | 13720k| 383M| 46 | 6 | 140 | 23 | 6 | 140 | 18 | 24 | 265k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1605.94/1606.48 c 1499s| 4290k|628849 | 13752k| 384M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 266k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1609.63/1610.14 c 1503s| 4300k|629977 | 13782k| 385M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 267k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1613.34/1613.80 c 1506s| 4310k|630714 | 13812k| 386M| 46 | 6 | 140 | 15 | 7 | 140 | 18 | 24 | 267k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1617.04/1617.58 c 1510s| 4320k|631766 | 13843k| 386M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 268k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1620.83/1621.36 c 1513s| 4330k|632463 | 13875k| 387M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 269k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1624.53/1625.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1624.53/1625.04 c 1517s| 4340k|633417 | 13905k| 388M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 269k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1628.23/1628.74 c 1520s| 4350k|634072 | 13935k| 388M| 46 | 6 | 140 | 23 | 6 | 140 | 18 | 24 | 270k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1631.93/1632.41 c 1523s| 4360k|635151 | 13965k| 389M| 46 | 6 | 140 | 24 | 6 | 140 | 18 | 24 | 270k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1635.63/1636.10 c 1527s| 4370k|635758 | 13995k| 390M| 46 | 6 | 140 | 22 | 7 | 140 | 18 | 24 | 271k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1639.33/1639.80 c 1530s| 4380k|636699 | 14026k| 390M| 46 | 6 | 140 | 24 | 6 | 140 | 18 | 24 | 272k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1642.93/1643.49 c 1534s| 4390k|637503 | 14055k| 391M| 46 | - | 140 | 18 | 6 | 0 | 0 | 24 | 272k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1646.63/1647.19 c 1537s| 4400k|638272 | 14085k| 392M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 273k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1650.33/1650.86 c 1541s| 4410k|639111 | 14115k| 392M| 46 | - | 140 | 15 | 6 | 0 | 0 | 24 | 273k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1654.02/1654.51 c 1544s| 4420k|640066 | 14144k| 393M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 274k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1657.63/1658.17 c 1548s| 4430k|641162 | 14174k| 394M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 275k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1661.42/1661.98 c 1551s| 4440k|642837 | 14206k| 395M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 275k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1665.22/1665.70 c 1555s| 4450k|644552 | 14237k| 396M| 46 | 6 | 140 | 19 | 7 | 140 | 18 | 24 | 276k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1668.82/1669.37 c 1558s| 4460k|645621 | 14267k| 396M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 276k| 20k| 9.094947e-13 | 7.000000e+00 | Inf 1672.42/1673.00 c 1561s| 4470k|646309 | 14297k| 397M| 46 | 6 | 140 | 20 | 7 | 140 | 18 | 24 | 277k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1676.12/1676.66 c 1565s| 4480k|646877 | 14326k| 398M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 277k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1679.82/1680.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1679.82/1680.39 c 1568s| 4490k|647731 | 14357k| 398M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 278k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1683.62/1684.15 c 1572s| 4500k|648200 | 14387k| 399M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 278k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1687.32/1687.86 c 1575s| 4510k|648941 | 14418k| 399M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 279k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1691.01/1691.56 c 1579s| 4520k|650146 | 14449k| 400M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 280k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1694.72/1695.20 c 1582s| 4530k|650980 | 14479k| 401M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 280k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1698.41/1698.94 c 1586s| 4540k|652279 | 14509k| 402M| 46 | 6 | 140 | 20 | 6 | 140 | 18 | 24 | 281k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1702.01/1702.55 c 1589s| 4550k|653210 | 14537k| 402M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 281k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1705.71/1706.25 c 1592s| 4560k|654166 | 14567k| 403M| 46 | - | 140 | 20 | 6 | 140 | 18 | 24 | 282k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1709.41/1709.93 c 1596s| 4570k|654939 | 14597k| 404M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 283k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1713.00/1713.58 c 1599s| 4580k|655590 | 14627k| 404M| 46 | - | 140 | 14 | 6 | 140 | 18 | 24 | 283k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1716.81/1717.32 c 1603s| 4590k|657185 | 14658k| 405M| 46 | - | 140 | 17 | 7 | 140 | 18 | 24 | 284k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1720.41/1720.94 c 1606s| 4600k|658246 | 14687k| 406M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 284k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1724.01/1724.54 c 1610s| 4610k|658993 | 14716k| 406M| 46 | - | 140 | 15 | 6 | 140 | 18 | 24 | 285k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1727.70/1728.23 c 1613s| 4620k|659739 | 14747k| 407M| 46 | - | 140 | 19 | 6 | 140 | 18 | 24 | 285k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1731.40/1731.93 c 1617s| 4630k|660282 | 14776k| 407M| 46 | - | 140 | 16 | 6 | 140 | 18 | 24 | 286k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1735.10/1735.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1735.10/1735.63 c 1620s| 4640k|661274 | 14807k| 408M| 46 | 6 | 140 | 19 | 6 | 140 | 18 | 24 | 287k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1738.80/1739.30 c 1623s| 4650k|661937 | 14836k| 409M| 46 | - | 140 | 16 | 7 | 0 | 0 | 24 | 287k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1742.50/1743.06 c 1627s| 4660k|662789 | 14866k| 409M| 46 | 6 | 140 | 24 | 7 | 140 | 18 | 24 | 288k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1746.30/1746.84 c 1630s| 4670k|663571 | 14897k| 410M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 289k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1750.00/1750.58 c 1634s| 4680k|664515 | 14928k| 411M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 289k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1753.80/1754.33 c 1638s| 4690k|665788 | 14960k| 412M| 46 | - | 140 | 13 | 6 | 140 | 18 | 24 | 290k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1757.49/1758.08 c 1641s| 4700k|666502 | 14990k| 412M| 46 | 6 | 140 | 14 | 6 | 140 | 18 | 24 | 290k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1761.29/1761.89 c 1645s| 4710k|667182 | 15021k| 413M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 291k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1765.09/1765.61 c 1648s| 4720k|667765 | 15051k| 413M| 46 | 6 | 140 | 17 | 6 | 140 | 18 | 24 | 292k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1768.69/1769.27 c 1651s| 4730k|668466 | 15079k| 414M| 46 | 6 | 140 | 18 | 7 | 140 | 18 | 24 | 292k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1772.39/1772.99 c 1655s| 4740k|669119 | 15111k| 414M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 293k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1776.19/1776.75 c 1658s| 4750k|670346 | 15142k| 415M| 46 | - | 140 | 17 | 6 | 140 | 18 | 24 | 293k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1779.89/1780.45 c 1662s| 4760k|671099 | 15171k| 416M| 46 | - | 140 | 18 | 6 | 140 | 18 | 24 | 294k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1783.59/1784.18 c 1665s| 4770k|671842 | 15201k| 416M| 46 | 6 | 140 | 18 | 6 | 140 | 18 | 24 | 295k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1787.38/1787.98 c 1669s| 4780k|674162 | 15233k| 418M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 295k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1791.09/1791.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1791.09/1791.69 c 1672s| 4790k|675532 | 15263k| 419M| 46 | 6 | 140 | 16 | 6 | 140 | 18 | 24 | 296k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1794.88/1795.41 c 1676s| 4800k|676793 | 15294k| 419M| 46 | 6 | 140 | 17 | 7 | 140 | 18 | 24 | 296k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1798.58/1799.11 c 1679s| 4810k|677868 | 15324k| 420M| 46 | 6 | 140 | 15 | 6 | 140 | 18 | 24 | 297k| 21k| 9.094947e-13 | 7.000000e+00 | Inf 1800.09/1800.61 c 1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.61 c Solving Time (sec) : 1680.73 1800.09/1800.61 c Solving Nodes : 4814097 1800.09/1800.61 c Primal Bound : +7.00000000000000e+00 (39 solutions) 1800.09/1800.61 c Dual Bound : +9.09494701772928e-13 1800.09/1800.61 c Gap : infinite 1800.09/1800.61 c NODE 4814097 1800.09/1800.61 c DUAL BOUND 9.09495e-13 1800.09/1800.61 c PRIMAL BOUND 7 1800.09/1800.61 c GAP 1e+20 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 v x117 -x146 -x145 -x144 x143 -x142 x141 x140 x139 x138 x137 x136 x135 -x134 -x133 x132 x131 -x130 x129 -x128 x127 x126 x125 -x124 1800.09/1800.61 v -x123 x122 -x121 -x120 -x119 -x118 -x116 -x115 x114 -x113 x112 x111 x110 -x109 -x108 -x107 x106 x105 x104 x103 -x102 x101 -x100 1800.09/1800.61 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 1800.09/1800.61 v -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.61 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.61 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.61 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.61 c Solving Time : 1680.73 1800.09/1800.61 c Original Problem : 1800.09/1800.61 c Problem name : HOME/instance-1869506-1245175566.opb 1800.09/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.61 c Constraints : 12 initial, 12 maximal 1800.09/1800.61 c Presolved Problem : 1800.09/1800.61 c Problem name : t_HOME/instance-1869506-1245175566.opb 1800.09/1800.61 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.61 c Constraints : 6 initial, 56 maximal 1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0 1800.09/1800.61 c linear : 0.00 0 6 0 0 0 6 0 0 1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.61 c root node : - 60 - - 60 - - - - 1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.09/1800.61 c integral : 0 0 0 2782637 0 124 4032 0 0 5557040 1800.09/1800.61 c linear : 6 6 6514295 0 0 747599 4429119 9 0 0 1800.09/1800.61 c logicor : 0+ 0 1216874 0 0 9267 76983 0 0 0 1800.09/1800.61 c countsols : 0 0 0 25 0 0 0 0 0 0 1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.09/1800.61 c integral : 32.17 0.00 0.00 32.17 0.00 1800.09/1800.61 c linear : 401.03 0.00 401.03 0.00 0.00 1800.09/1800.61 c logicor : 2.74 0.00 2.74 0.00 0.00 1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.09/1800.61 c rootredcost : 2.39 39 0 60 1800.09/1800.61 c pseudoobj : 52.12 6534655 20506 85005 1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.09/1800.61 c propagation : 45.06 777353 290159 332936 45.9 0 0.0 - 1800.09/1800.61 c infeasible LP : 0.53 7252 7251 7419 21.0 0 0.0 0 1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.09/1800.61 c applied globally : - - - 7324 20.8 - - - 1800.09/1800.61 c applied locally : - - - 290122 46.1 - - - 1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.09/1800.61 c cut pool : 0.00 5 - - 11 - (maximal pool size: 78) 1800.09/1800.61 c redcost : 47.89 3428675 0 12021170 0 0 1800.09/1800.61 c impliedbounds : 0.00 6 0 0 0 0 1800.09/1800.61 c intobj : 0.00 0 0 0 0 0 1800.09/1800.61 c gomory : 0.01 6 0 0 0 0 1800.09/1800.61 c strongcg : 0.00 6 0 0 33 0 1800.09/1800.61 c cmir : 0.04 6 0 0 22 0 1800.09/1800.61 c flowcover : 0.04 6 0 0 28 0 1800.09/1800.61 c clique : 0.00 1 0 0 0 0 1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.09/1800.61 c mcf : 0.00 1 0 0 0 0 1800.09/1800.61 c Pricers : Time Calls Vars 1800.09/1800.61 c problem variables: 0.00 0 0 1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.09/1800.61 c relpscost : 29.54 2782612 124 4032 0 0 5557040 1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.61 c random : 0.00 0 0 0 0 0 0 1800.09/1800.61 c Primal Heuristics : Time Calls Found 1800.09/1800.61 c LP solutions : 0.08 - 25 1800.09/1800.61 c pseudo solutions : 0.00 - 0 1800.09/1800.61 c oneopt : 2.24 38 0 1800.09/1800.61 c crossover : 5.82 7 1 1800.09/1800.61 c feaspump : 0.24 15 0 1800.09/1800.61 c objpscostdiving : 6.94 3838 0 1800.09/1800.61 c pscostdiving : 16.99 9412 4 1800.09/1800.61 c fracdiving : 16.83 9412 2 1800.09/1800.61 c linesearchdiving : 14.02 9412 3 1800.09/1800.61 c guideddiving : 14.31 9412 1 1800.09/1800.61 c veclendiving : 14.81 9413 1 1800.09/1800.61 c coefdiving : 19.73 9413 2 1800.09/1800.61 c simplerounding : 1.51 0 0 1800.09/1800.61 c rounding : 2.96 25170 0 1800.09/1800.61 c shifting : 6.54 7108 0 1800.09/1800.61 c intshifting : 0.12 0 0 1800.09/1800.61 c fixandinfer : 0.00 0 0 1800.09/1800.61 c intdiving : 0.00 0 0 1800.09/1800.61 c actconsdiving : 0.00 0 0 1800.09/1800.61 c rootsoldiving : 5.34 1083 0 1800.09/1800.61 c octane : 0.00 0 0 1800.09/1800.61 c rens : 0.03 1 0 1800.09/1800.61 c rins : 0.00 0 0 1800.09/1800.61 c localbranching : 0.00 0 0 1800.09/1800.61 c mutation : 0.00 0 0 1800.09/1800.61 c dins : 0.00 0 0 1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.09/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.09/1800.61 c dual LP : 640.94 4503982 14285278 3.17 22288.01 1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.09/1800.61 c diving/probing LP: 52.83 457814 1051360 2.30 19900.81 1800.09/1800.61 c strong branching : 4.85 21768 66911 3.07 13796.08 1800.09/1800.61 c (at root node) : - 17 645 37.94 - 1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.09/1800.61 c B&B Tree : 1800.09/1800.61 c number of runs : 1 1800.09/1800.61 c nodes : 4814097 1800.09/1800.61 c nodes (total) : 4814097 1800.09/1800.61 c nodes left : 678223 1800.09/1800.61 c max depth : 46 1800.09/1800.61 c max depth (total): 46 1800.09/1800.61 c backtracks : 1100939 (22.9%) 1800.09/1800.61 c delayed cutoffs : 50283 1800.09/1800.61 c repropagations : 81583 (291552 domain reductions, 50037 cutoffs) 1800.09/1800.61 c avg switch length: 5.41 1800.09/1800.61 c switching time : 142.32 1800.09/1800.61 c Solution : 1800.09/1800.61 c Solutions found : 39 (39 improvements) 1800.09/1800.61 c Primal Bound : +7.00000000000000e+00 (in run 1, after 178583 nodes, 83.68 seconds, depth 33, found by <relaxation>) 1800.09/1800.61 c Dual Bound : +9.09494701772928e-13 1800.09/1800.61 c Gap : infinite 1800.09/1800.61 c Root Dual Bound : +9.09494701772928e-13
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869506-1245175566/watcher-1869506-1245175566 -o /tmp/evaluation-result-1869506-1245175566/solver-1869506-1245175566 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869506-1245175566.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5334 /proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=6100 CPUtime=0 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 529 0 0 0 0 0 0 0 20 0 1 0 185156305 6246400 512 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/5334/statm: 1525 521 325 886 0 635 0 [startup+0.021525 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5334 /proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=13056 CPUtime=0.01 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 2689 0 0 0 0 1 0 0 20 0 1 0 185156305 13369344 2317 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 3264 2317 438 886 0 2374 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13056 [startup+0.101534 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5334 /proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=13056 CPUtime=0.09 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 2836 0 0 0 8 1 0 0 20 0 1 0 185156305 13369344 2464 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 3264 2464 551 886 0 2374 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13056 [startup+0.301554 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5334 /proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=15780 CPUtime=0.29 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 4502 0 0 0 27 2 0 0 22 0 1 0 185156305 16158720 3176 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 3945 3176 568 886 0 3055 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15780 [startup+0.701594 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5334 /proc/meminfo: memFree=1708288/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=15780 CPUtime=0.69 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 4507 0 0 0 65 4 0 0 25 0 1 0 185156305 16158720 3181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 3945 3181 573 886 0 3055 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15780 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1697600/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=15780 CPUtime=1.49 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 4512 0 0 0 140 9 0 0 25 0 1 0 185156305 16158720 3186 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 3945 3186 573 886 0 3055 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15780 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1697472/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=16124 CPUtime=3.09 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 5262 0 0 0 290 19 0 0 25 0 1 0 185156305 16510976 3278 1992294400 4194304 7823515 548682068736 18446744073709551615 6100239 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5334/statm: 4031 3278 573 886 0 3141 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16124 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1696960/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=16968 CPUtime=6.28 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 7206 0 0 0 586 42 0 0 25 0 1 0 185156305 17375232 3509 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 4242 3509 573 886 0 3352 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16968 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1692672/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=20668 CPUtime=12.68 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 11130 0 0 0 1181 87 0 0 25 0 1 0 185156305 21164032 4484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 5167 4484 573 886 0 4277 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20668 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1677632/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=36760 CPUtime=25.48 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 25363 0 0 0 2372 176 0 0 25 0 1 0 185156305 37642240 8233 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 9190 8233 573 886 0 8300 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36760 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1674240/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=38928 CPUtime=51.07 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 46964 0 0 0 4752 355 0 0 25 0 1 0 185156305 39862272 9124 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 9732 9124 573 886 0 8842 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38928 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1663104/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=49156 CPUtime=102.26 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 60140 0 0 0 9515 711 0 0 25 0 1 0 185156305 50335744 11762 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 12289 11762 573 886 0 11399 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49156 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1655488/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=58240 CPUtime=162.24 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 62724 0 0 0 15102 1122 0 0 25 0 1 0 185156305 59637760 13692 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 14560 13692 573 886 0 13670 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 58240 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1652736/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=60988 CPUtime=222.22 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 63399 0 0 0 20686 1536 0 0 25 0 1 0 185156305 62451712 14367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 15247 14367 573 886 0 14357 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 60988 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1636096/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=77208 CPUtime=282.21 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 68231 0 0 0 26280 1941 0 0 25 0 1 0 185156305 79060992 18550 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 19302 18550 573 886 0 18412 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 77208 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1615880/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=96800 CPUtime=342.19 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 73229 0 0 0 31879 2340 0 0 25 0 1 0 185156305 99123200 23548 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 24200 23548 573 886 0 23310 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 96800 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1599048/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=113356 CPUtime=402.17 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 78101 0 0 0 37470 2747 0 0 25 0 1 0 185156305 116076544 27770 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 28339 27770 573 886 0 27449 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 113356 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1583944/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=128132 CPUtime=462.16 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 81831 0 0 0 43058 3158 0 0 25 0 1 0 185156305 131207168 31500 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 32033 31500 573 886 0 31143 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 128132 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1572616/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=143160 CPUtime=522.15 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 84650 0 0 0 48650 3565 0 0 25 0 1 0 185156305 146595840 34319 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 35790 34319 573 886 0 34900 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 143160 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1562248/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=153384 CPUtime=582.12 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 87217 0 0 0 54239 3973 0 0 25 0 1 0 185156305 157065216 36886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 38346 36886 573 886 0 37456 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 153384 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1553352/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=161964 CPUtime=642.11 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 89408 0 0 0 59835 4376 0 0 25 0 1 0 185156305 165851136 39077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 40491 39077 573 886 0 39601 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 161964 [startup+702.302 s] ################ # More data... # ################ /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 118633 0 0 0 93440 6761 0 0 25 0 1 0 185156305 282439680 68302 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 68955 68302 573 886 0 68065 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 275820 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1420232/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=291728 CPUtime=1061.99 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 122720 0 0 0 99047 7152 0 0 25 0 1 0 185156305 298729472 72389 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 72932 72389 573 886 0 72042 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 291728 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1403656/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=315292 CPUtime=1121.98 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 126696 0 0 0 104653 7545 0 0 25 0 1 0 185156305 322859008 76365 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 78823 76365 573 886 0 77933 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 315292 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1391624/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=327628 CPUtime=1181.96 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 129819 0 0 0 110263 7933 0 0 25 0 1 0 185156305 335491072 79488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 81907 79488 573 886 0 81017 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 327628 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1376328/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=342308 CPUtime=1241.94 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 133571 0 0 0 115870 8324 0 0 25 0 1 0 185156305 350523392 83240 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 85577 83240 573 886 0 84687 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 342308 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1360136/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=357524 CPUtime=1301.93 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 137461 0 0 0 121468 8725 0 0 25 0 1 0 185156305 366104576 87130 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 89381 87130 573 886 0 88491 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 357524 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1343816/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=373552 CPUtime=1361.91 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 141560 0 0 0 127077 9114 0 0 25 0 1 0 185156305 382517248 91229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 93388 91229 573 886 0 92498 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 373552 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1331400/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=385488 CPUtime=1421.89 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 144598 0 0 0 132692 9497 0 0 25 0 1 0 185156305 394739712 94267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 96372 94267 573 886 0 95482 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 385488 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1321160/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=395412 CPUtime=1481.88 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 147146 0 0 0 138299 9889 0 0 25 0 1 0 185156305 404901888 96815 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 98853 96815 573 886 0 97963 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 395412 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1308360/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=407860 CPUtime=1541.85 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 150326 0 0 0 143908 10277 0 0 25 0 1 0 185156305 417648640 99995 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 101965 99995 573 886 0 101075 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 407860 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1298056/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=419084 CPUtime=1601.84 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 153193 0 0 0 149529 10655 0 0 25 0 1 0 185156305 429142016 102862 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 104771 102862 573 886 0 103881 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 419084 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1283464/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=432532 CPUtime=1661.82 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 156617 0 0 0 155135 11047 0 0 25 0 1 0 185156305 442912768 106286 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 108133 106286 573 886 0 107243 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 432532 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1272584/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=443540 CPUtime=1721.8 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 159433 0 0 0 160751 11429 0 0 25 0 1 0 185156305 454184960 109102 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 110885 109102 573 886 0 109995 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 443540 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5335 /proc/meminfo: memFree=1262664/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=452248 CPUtime=1781.79 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 161685 0 0 0 166358 11821 0 0 25 0 1 0 185156305 463101952 111354 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 113062 111354 573 886 0 112172 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 452248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 3/65 5335 /proc/meminfo: memFree=1258568/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=456376 CPUtime=1800.09 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 162712 0 0 0 168073 11936 0 0 25 0 1 0 185156305 467329024 112381 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5334/statm: 114094 112381 573 886 0 113204 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 456376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -5334 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 3/65 5335 /proc/meminfo: memFree=1258568/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=456376 CPUtime=1800.88 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 162714 0 0 0 168152 11936 0 0 25 0 1 0 185156305 467329024 112383 1992294400 4194304 7823515 548682068736 18446744073709551615 4743972 0 0 4096 0 0 0 0 17 0 0 0 /proc/5334/statm: 114094 112383 575 886 0 113204 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 456376 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.99 2/66 5336 /proc/meminfo: memFree=1258496/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=456376 CPUtime=1801.67 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 162714 0 0 0 168231 11936 0 0 25 0 1 0 185156305 467329024 112383 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0 /proc/5334/statm: 114094 112383 575 886 0 113204 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 456376 [startup+1802.6 s] /proc/loadavg: 0.99 0.98 0.99 2/66 5336 /proc/meminfo: memFree=1258496/2055920 swapFree=4192812/4192956 [pid=5334] ppid=5332 vsize=456376 CPUtime=1802.07 /proc/5334/stat : 5334 (pbscip.linux.x8) R 5332 5334 5072 0 -1 4194304 162714 0 0 0 168271 11936 0 0 25 0 1 0 185156305 467329024 112383 1992294400 4194304 7823515 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0 /proc/5334/statm: 114094 112383 575 886 0 113204 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 456376 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.69 CPU time (s): 1802.17 CPU user time (s): 1682.73 CPU system time (s): 119.442 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 456376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1682.73 system time used= 119.442 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162714 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1657 runsolver used 1.57476 second user time and 5.01924 second system time The end
Begin job on node27 at 2009-06-16 20:06:06 IDJOB=1869506 IDBENCH=2908 IDSOLVER=683 FILE ID=node27/1869506-1245175566 PBS_JOBID= 9363888 Free space on /tmp= 66288 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869506-1245175566/watcher-1869506-1245175566 -o /tmp/evaluation-result-1869506-1245175566/solver-1869506-1245175566 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869506-1245175566.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=973745383 node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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 : 2800.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5521.40 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 : 2800.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1708768 kB Buffers: 53244 kB Cached: 219028 kB SwapCached: 0 kB Active: 61400 kB Inactive: 225252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1708768 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 9840 kB Writeback: 0 kB Mapped: 24164 kB Slab: 46336 kB Committed_AS: 158424 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66280 MiB End job on node27 at 2009-06-16 20:36:09