Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | SAT (TO) | 13 | 1801.87 | 1802.4 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1802.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver Clp 1.8.2 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1869539-1245177529.opb> 0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints 0.00/0.01 c start presolving problem 0.00/0.01 c presolving: 0.00/0.01 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.02 c (round 2) 7 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.03 c (0.0s) probing: 101/165 (61.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.03 c presolving (3 rounds): 0.00/0.03 c 7 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.00/0.03 c 0 implications, 0 cliques 0.00/0.03 c presolved problem has 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 7 constraints 0.00/0.03 c 7 constraints of type <linear> 0.00/0.03 c transformed objective value is always integral (scale: 1) 0.00/0.03 c Presolving Time: 0.02 0.00/0.03 c OPT-LIN 0.00/0.03 c ----------------------------------------------------------------------------------------------- 0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.03 c limits/memory = c 1620 0.00/0.03 c # maximal time in seconds to run 0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.03 c limits/time = c 1791 0.00/0.03 c # frequency for displaying node information lines 0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.03 c display/freq = c 10000 0.00/0.03 c ----------------------------------------------------------------------------------------------- 0.00/0.03 c start solving problem 0.00/0.03 c 0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.03 c 0.0s| 1 | 0 | 44 | 540k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 86 | 645k| 0 | 11 | 165 | 7 | 7 | 165 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.07 c 0.1s| 1 | 0 | 94 | 729k| 0 | 16 | 165 | 7 | 7 | 165 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.09 c 0.1s| 1 | 0 | 105 | 740k| 0 | 18 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.11 c 0.1s| 1 | 0 | 108 | 746k| 0 | 19 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.14 c 0.1s| 1 | 0 | 115 | 756k| 0 | 20 | 165 | 7 | 7 | 165 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.31 c 0.3s| 1 | 2 | 115 | 757k| 0 | 20 | 165 | 7 | 7 | 165 | 27 | 20 | 0 | 20 | 0.000000e+00 | -- | Inf 0.39/0.47 o 1015 0.39/0.47 c c 0.4s| 48 | 49 | 385 | 839k| 47 | - | 165 | 7 | 3 | 165 | 21 | 20 | 1 | 312 | 0.000000e+00 | 1.015000e+03 | Inf 0.59/0.60 o 375 0.59/0.60 c f 0.6s| 113 | 104 | 687 | 880k| 47 | - | 165 | 7 | 1 | 165 | 21 | 20 | 2 | 486 | 0.000000e+00 | 3.750000e+02 | Inf 0.69/0.71 o 373 0.69/0.71 c * 0.7s| 192 | 181 | 1057 | 899k| 47 | - | 165 | 7 | 0 | 165 | 21 | 20 | 2 | 621 | 1.818989e-12 | 3.730000e+02 | Inf 0.79/0.86 o 290 0.79/0.86 c f 0.8s| 317 | 296 | 1843 | 969k| 48 | - | 165 | 7 | 4 | 165 | 21 | 20 | 4 | 727 | 1.818989e-12 | 2.900000e+02 | Inf 1.19/1.23 o 144 1.19/1.23 c f 1.2s| 690 | 573 | 3865 |1093k| 48 | - | 165 | 7 | 4 | 165 | 21 | 20 | 18 | 780 | 1.818989e-12 | 1.440000e+02 | Inf 1.38/1.49 o 98 1.38/1.49 c g 1.4s| 937 | 758 | 5237 |1177k| 48 | - | 165 | 7 | 1 | 165 | 21 | 20 | 24 | 787 | 1.818989e-12 | 9.800000e+01 | Inf 2.99/3.04 o 96 2.99/3.04 c l 2.9s| 2401 | 2176 | 13632 |1826k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 82 | 799 | 1.818989e-12 | 9.600000e+01 | Inf 3.69/3.75 o 95 3.69/3.75 c * 3.6s| 3066 | 2813 | 17487 |2118k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 104 | 825 | 1.818989e-12 | 9.500000e+01 | Inf 6.39/6.49 o 93 6.39/6.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.39/6.49 c c 6.3s| 4845 | 4526 | 27771 |2914k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 177 | 860 | 1.818989e-12 | 9.300000e+01 | Inf 7.29/7.34 o 89 7.29/7.34 c f 7.1s| 5660 | 5298 | 32535 |3252k| 53 | - | 165 | 7 | 1 | 165 | 21 | 20 | 214 | 867 | 1.818989e-12 | 8.900000e+01 | Inf 9.49/9.50 o 87 9.49/9.50 c * 9.2s| 7654 | 7257 | 44269 |4119k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 313 | 882 | 1.818989e-12 | 8.700000e+01 | Inf 10.79/10.87 o 85 10.79/10.87 c l10.5s| 8751 | 8295 | 51520 |4589k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 373 | 904 | 1.818989e-12 | 8.500000e+01 | Inf 12.48/12.55 c 12.2s| 10000 | 9502 | 60315 |5141k| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 448 | 950 | 1.818989e-12 | 8.500000e+01 | Inf 13.99/14.09 o 83 13.99/14.09 c p13.7s| 11153 | 10575 | 68741 |5658k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 516 |1021 | 1.818989e-12 | 8.300000e+01 | Inf 15.79/15.85 o 82 15.79/15.85 c l15.4s| 12345 | 11672 | 77591 |6193k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 616 |1064 | 1.818989e-12 | 8.200000e+01 | Inf 16.39/16.47 o 80 16.39/16.47 c v16.0s| 12761 | 12050 | 80862 |6356k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 646 |1097 | 1.818989e-12 | 8.000000e+01 | Inf 22.18/22.26 o 78 22.18/22.26 c p21.6s| 18193 | 16864 |113397 |8799k| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 846 |1333 | 1.818989e-12 | 7.800000e+01 | Inf 24.29/24.34 c 23.6s| 20000 | 18492 |124494 |9589k| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 936 |1404 | 1.818989e-12 | 7.800000e+01 | Inf 25.79/25.80 o 77 25.79/25.80 c *25.1s| 21488 | 19774 |132461 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 991 |1487 | 1.818989e-12 | 7.700000e+01 | Inf 25.79/25.80 o 75 25.79/25.80 c *25.1s| 21489 | 19759 |132463 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 991 |1487 | 1.818989e-12 | 7.500000e+01 | Inf 25.89/25.93 o 74 25.89/25.93 c l25.2s| 21645 | 19873 |133157 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 | 999 |1506 | 1.818989e-12 | 7.400000e+01 | Inf 28.68/28.76 o 73 28.68/28.76 c *27.9s| 22636 | 20706 |139328 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1037 |1534 | 1.818989e-12 | 7.300000e+01 | Inf 28.68/28.76 o 71 28.68/28.76 c *27.9s| 22637 | 20679 |139329 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1037 |1536 | 1.818989e-12 | 7.100000e+01 | Inf 29.18/29.28 o 69 29.18/29.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 29.18/29.28 c *28.4s| 23150 | 21072 |142223 | 10M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1053 |1581 | 1.818989e-12 | 6.900000e+01 | Inf 29.78/29.85 o 67 29.78/29.85 c v28.9s| 23749 | 21524 |145388 | 11M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1077 |1590 | 1.818989e-12 | 6.700000e+01 | Inf 34.18/34.21 o 66 34.18/34.21 c *33.2s| 28041 | 25014 |170412 | 12M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1237 |1785 | 1.818989e-12 | 6.600000e+01 | Inf 35.98/36.09 c 35.0s| 30000 | 26648 |180926 | 13M| 53 | - | 165 | 7 | 7 | 165 | 21 | 20 |1299 |1855 | 1.818989e-12 | 6.600000e+01 | Inf 37.28/37.35 o 65 37.28/37.35 c *36.2s| 31341 | 27737 |187741 | 14M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1349 |1909 | 1.818989e-12 | 6.500000e+01 | Inf 40.68/40.72 o 64 40.68/40.72 c *39.5s| 34932 | 30538 |206860 | 15M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1471 |2043 | 1.818989e-12 | 6.400000e+01 | Inf 40.77/40.85 o 63 40.77/40.85 c *39.6s| 35046 | 30586 |207538 | 15M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1483 |2050 | 1.818989e-12 | 6.300000e+01 | Inf 41.27/41.33 o 62 41.27/41.33 c *40.1s| 35558 | 30982 |210568 | 16M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1499 |2084 | 1.818989e-12 | 6.200000e+01 | Inf 41.27/41.33 o 60 41.27/41.33 c *40.1s| 35559 | 30882 |210570 | 16M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1499 |2084 | 1.818989e-12 | 6.000000e+01 | Inf 45.07/45.12 o 59 45.07/45.12 c l43.8s| 39649 | 34033 |232184 | 17M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1664 |2215 | 1.818989e-12 | 5.900000e+01 | Inf 45.47/45.51 c 44.1s| 40000 | 34291 |234482 | 17M| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |1685 |2218 | 1.818989e-12 | 5.900000e+01 | Inf 46.77/46.86 o 58 46.77/46.86 c *45.4s| 41342 | 35266 |242401 | 18M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1751 |2272 | 1.818989e-12 | 5.800000e+01 | Inf 50.37/50.46 o 57 50.37/50.46 c *48.9s| 45278 | 38202 |263267 | 19M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |1909 |2390 | 1.818989e-12 | 5.700000e+01 | Inf 54.77/54.82 c 53.1s| 50000 | 41808 |288526 | 21M| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |2116 |2552 | 1.818989e-12 | 5.700000e+01 | Inf 60.57/60.65 o 55 60.57/60.65 c *58.8s| 56507 | 46619 |322936 | 24M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |2385 |2751 | 1.818989e-12 | 5.500000e+01 | Inf 61.57/61.64 o 54 61.57/61.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 61.57/61.64 c *59.8s| 57628 | 47317 |328759 | 24M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |2441 |2782 | 1.818989e-12 | 5.400000e+01 | Inf 63.67/63.77 c 61.9s| 60000 | 49003 |341310 | 25M| 53 | - | 165 | 7 | 7 | 165 | 21 | 20 |2549 |2851 | 1.818989e-12 | 5.400000e+01 | Inf 72.86/72.90 c 70.7s| 70000 | 56002 |395225 | 29M| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |3031 |3147 | 1.818989e-12 | 5.400000e+01 | Inf 75.56/75.69 o 52 75.56/75.69 c *73.4s| 73141 | 58064 |411456 | 30M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3156 |3221 | 1.818989e-12 | 5.200000e+01 | Inf 81.76/81.87 c 79.4s| 80000 | 62793 |447760 | 33M| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |3463 |3386 | 1.818989e-12 | 5.200000e+01 | Inf 83.16/83.20 o 50 83.16/83.20 c *80.7s| 81523 | 63507 |455629 | 33M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3526 |3417 | 1.818989e-12 | 5.000000e+01 | Inf 86.76/86.89 o 49 86.76/86.89 c *84.3s| 85569 | 65826 |477895 | 35M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3728 |3536 | 1.818989e-12 | 4.900000e+01 | Inf 86.76/86.90 o 47 86.76/86.90 c *84.3s| 85570 | 65135 |477896 | 34M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3728 |3536 | 1.818989e-12 | 4.700000e+01 | Inf 89.35/89.49 o 46 89.35/89.49 c *86.8s| 85918 | 65119 |479677 | 34M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3740 |3545 | 1.818989e-12 | 4.600000e+01 | Inf 89.46/89.50 o 44 89.46/89.50 c p86.8s| 85922 | 64560 |479683 | 33M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3741 |3559 | 1.818989e-12 | 4.400000e+01 | Inf 90.36/90.49 o 43 90.36/90.49 c *87.8s| 86793 | 64913 |485129 | 33M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3788 |3586 | 1.818989e-12 | 4.300000e+01 | Inf 93.15/93.28 o 41 93.15/93.28 c *90.5s| 89562 | 65867 |501107 | 34M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3945 |3672 | 1.818989e-12 | 4.100000e+01 | Inf 93.15/93.28 o 39 93.15/93.28 c *90.5s| 89564 | 65045 |501109 | 33M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3945 |3674 | 1.818989e-12 | 3.900000e+01 | Inf 93.15/93.29 o 37 93.15/93.29 c *90.5s| 89565 | 64230 |501110 | 32M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3945 |3674 | 1.818989e-12 | 3.700000e+01 | Inf 93.46/93.52 o 36 93.46/93.52 c *90.7s| 89820 | 63883 |502364 | 32M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |3959 |3683 | 1.818989e-12 | 3.600000e+01 | Inf 93.55/93.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 93.55/93.66 c 90.8s| 90000 | 63973 |503251 | 32M| 53 | - | 165 | 7 | 7 | 165 | 21 | 20 |3961 |3685 | 1.818989e-12 | 3.600000e+01 | Inf 94.76/94.84 o 35 94.76/94.84 c *92.0s| 91230 | 64193 |510301 | 32M| 53 | - | 165 | 7 | 0 | 165 | 21 | 20 |4030 |3710 | 1.818989e-12 | 3.500000e+01 | Inf 102.65/102.71 c 99.6s|100000 | 69390 |557194 | 35M| 53 | - | 165 | 7 | 7 | 165 | 21 | 20 |4386 |3928 | 1.818989e-12 | 3.500000e+01 | Inf 111.45/111.54 c 108s|110000 | 75095 |610005 | 39M| 53 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |4872 |4185 | 1.818989e-12 | 3.500000e+01 | Inf 120.05/120.15 o 33 120.05/120.15 c * 116s|119588 | 79132 |662646 | 41M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 |5370 |4407 | 1.818989e-12 | 3.300000e+01 | Inf 120.05/120.16 o 31 120.05/120.16 c * 116s|119589 | 77004 |662649 | 40M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 |5370 |4407 | 1.818989e-12 | 3.100000e+01 | Inf 120.35/120.42 o 30 120.35/120.42 c * 117s|119866 | 76684 |664117 | 39M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 |5380 |4420 | 1.818989e-12 | 3.000000e+01 | Inf 120.35/120.42 o 28 120.35/120.42 c S 117s|119868 | 76686 |664121 | 39M| 54 | 0 | 165 | 7 | 2 | 165 | 21 | 20 |5380 |4424 | 1.818989e-12 | 2.800000e+01 | Inf 120.45/120.57 c 117s|120000 | 75735 |665512 | 38M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |5381 |4428 | 1.818989e-12 | 2.800000e+01 | Inf 131.75/131.81 c 128s|130000 | 80782 |726594 | 42M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |5860 |4733 | 1.818989e-12 | 2.800000e+01 | Inf 141.85/141.92 c 138s|140000 | 85650 |783377 | 45M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 |6324 |4973 | 1.818989e-12 | 2.800000e+01 | Inf 150.44/150.58 c 146s|150000 | 90775 |840584 | 48M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |6792 |5147 | 1.818989e-12 | 2.800000e+01 | Inf 155.74/155.87 o 27 155.74/155.87 c * 151s|156295 | 93368 |875191 | 49M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 |7088 |5285 | 1.818989e-12 | 2.700000e+01 | Inf 158.84/158.93 c 154s|160000 | 95040 |895365 | 50M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 |7292 |5351 | 1.818989e-12 | 2.700000e+01 | Inf 166.84/166.92 c 162s|170000 | 99343 |950648 | 53M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |7761 |5529 | 1.818989e-12 | 2.700000e+01 | Inf 174.73/174.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 174.73/174.84 c 169s|180000 |103738 | 1005k| 56M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 |8162 |5695 | 1.818989e-12 | 2.700000e+01 | Inf 183.03/183.17 c 178s|190000 |108642 | 1061k| 59M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 |8582 |5855 | 1.818989e-12 | 2.700000e+01 | Inf 191.13/191.20 c 185s|200000 |112883 | 1117k| 62M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |8967 |6020 | 1.818989e-12 | 2.700000e+01 | Inf 199.52/199.69 c 194s|210000 |117855 | 1173k| 65M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 |9427 |6179 | 1.818989e-12 | 2.700000e+01 | Inf 207.62/207.74 c 201s|220000 |122272 | 1229k| 68M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 |9841 |6312 | 1.818989e-12 | 2.700000e+01 | Inf 215.13/215.28 c 209s|230000 |125931 | 1282k| 70M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 10k|6465 | 1.818989e-12 | 2.700000e+01 | Inf 224.02/224.13 c 217s|240000 |131095 | 1341k| 73M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 10k|6583 | 1.818989e-12 | 2.700000e+01 | Inf 231.81/231.96 c 225s|250000 |135021 | 1396k| 76M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 11k|6739 | 1.818989e-12 | 2.700000e+01 | Inf 239.62/239.78 c 232s|260000 |139156 | 1449k| 79M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 11k|6860 | 1.818989e-12 | 2.700000e+01 | Inf 247.52/247.63 c 240s|270000 |143209 | 1504k| 81M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 11k|6987 | 1.818989e-12 | 2.700000e+01 | Inf 255.21/255.39 c 248s|280000 |147075 | 1558k| 84M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 12k|7123 | 1.818989e-12 | 2.700000e+01 | Inf 263.11/263.29 c 255s|290000 |151512 | 1612k| 87M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 12k|7246 | 1.818989e-12 | 2.700000e+01 | Inf 270.71/270.90 c 263s|300000 |155157 | 1666k| 89M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 13k|7379 | 1.818989e-12 | 2.700000e+01 | Inf 278.11/278.21 c 270s|310000 |158340 | 1718k| 91M| 54 | - | 165 | 7 | 8 | 0 | 0 | 20 | 13k|7508 | 1.818989e-12 | 2.700000e+01 | Inf 285.71/285.87 c 277s|320000 |162142 | 1772k| 94M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 13k|7629 | 1.818989e-12 | 2.700000e+01 | Inf 293.30/293.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 293.30/293.43 c 284s|330000 |165704 | 1827k| 96M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 14k|7756 | 1.818989e-12 | 2.700000e+01 | Inf 300.59/300.77 c 292s|340000 |168828 | 1881k| 99M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 14k|7890 | 1.818989e-12 | 2.700000e+01 | Inf 306.49/306.61 o 26 306.49/306.61 c * 297s|348076 |170456 | 1924k| 99M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 14k|7990 | 1.818989e-12 | 2.600000e+01 | Inf 306.49/306.63 o 24 306.49/306.63 c * 297s|348079 |168410 | 1924k| 97M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 14k|7991 | 1.818989e-12 | 2.400000e+01 | Inf 306.49/306.64 o 22 306.49/306.64 c * 297s|348080 |165885 | 1924k| 94M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 14k|7991 | 1.818989e-12 | 2.200000e+01 | Inf 310.89/311.00 c 301s|350000 |166541 | 1934k| 94M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 14k|8015 | 1.818989e-12 | 2.200000e+01 | Inf 314.89/315.03 o 20 314.89/315.03 c * 305s|352795 |163975 | 1948k| 91M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 15k|8047 | 1.818989e-12 | 2.000000e+01 | Inf 314.89/315.05 o 18 314.89/315.05 c * 305s|352800 |160488 | 1948k| 88M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 15k|8052 | 1.818989e-12 | 1.800000e+01 | Inf 314.89/315.08 o 16 314.89/315.08 c * 305s|352801 |153551 | 1948k| 82M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 15k|8052 | 1.818989e-12 | 1.600000e+01 | Inf 324.89/325.07 c 315s|360000 |155526 | 1985k| 83M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 15k|8181 | 1.818989e-12 | 1.600000e+01 | Inf 334.19/334.32 c 324s|370000 |158022 | 2036k| 85M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 15k|8353 | 1.818989e-12 | 1.600000e+01 | Inf 340.99/341.16 c 330s|380000 |160303 | 2087k| 86M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 15k|8527 | 1.818989e-12 | 1.600000e+01 | Inf 347.78/347.97 c 337s|390000 |162654 | 2139k| 88M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 16k|8683 | 1.818989e-12 | 1.600000e+01 | Inf 354.68/354.84 c 344s|400000 |165090 | 2189k| 89M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 16k|8834 | 1.818989e-12 | 1.600000e+01 | Inf 361.38/361.53 c 350s|410000 |167012 | 2241k| 91M| 54 | - | 165 | 7 | 8 | 0 | 0 | 20 | 16k|8995 | 1.818989e-12 | 1.600000e+01 | Inf 368.08/368.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 368.08/368.22 c 357s|420000 |169002 | 2291k| 92M| 54 | - | 165 | 7 | 8 | 0 | 0 | 20 | 17k|9162 | 1.818989e-12 | 1.600000e+01 | Inf 374.78/374.91 c 363s|430000 |170793 | 2344k| 93M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 17k|9339 | 1.818989e-12 | 1.600000e+01 | Inf 381.28/381.46 c 370s|440000 |172309 | 2397k| 95M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 17k|9485 | 1.818989e-12 | 1.600000e+01 | Inf 387.87/388.06 c 376s|450000 |174001 | 2450k| 96M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 17k|9612 | 1.818989e-12 | 1.600000e+01 | Inf 394.57/394.75 c 382s|460000 |175779 | 2503k| 97M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 18k|9755 | 1.818989e-12 | 1.600000e+01 | Inf 401.17/401.38 c 389s|470000 |177455 | 2556k| 98M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 18k|9901 | 1.818989e-12 | 1.600000e+01 | Inf 407.76/407.95 c 395s|480000 |178887 | 2608k| 99M| 54 | 6 | 165 | 7 | 7 | 165 | 21 | 20 | 18k| 10k| 1.818989e-12 | 1.600000e+01 | Inf 410.57/410.71 o 15 410.57/410.71 c * 398s|484180 |177749 | 2629k| 98M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 18k| 10k| 1.818989e-12 | 1.500000e+01 | Inf 410.57/410.74 o 13 410.57/410.74 c * 398s|484181 |173523 | 2629k| 93M| 54 | - | 165 | 7 | 0 | 165 | 21 | 20 | 18k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 416.57/416.75 c 404s|490000 |174210 | 2658k| 94M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 19k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 423.07/423.27 c 410s|500000 |175159 | 2710k| 95M| 54 | - | 165 | 7 | 6 | 0 | 0 | 20 | 19k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 432.07/432.28 c 419s|510000 |176679 | 2762k| 96M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 19k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 438.55/438.79 c 425s|520000 |177889 | 2813k| 97M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 19k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 445.05/445.27 c 431s|530000 |179297 | 2864k| 98M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 20k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 452.35/452.52 c 438s|540000 |182096 | 2917k| 99M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 20k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 459.66/459.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 459.66/459.82 c 445s|550000 |185582 | 2971k| 101M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 20k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 466.65/466.86 c 452s|560000 |189131 | 3023k| 103M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 20k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 473.74/473.96 c 459s|570000 |192204 | 3077k| 105M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 21k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 480.55/480.78 c 466s|580000 |194451 | 3131k| 106M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 21k| 10k| 1.818989e-12 | 1.300000e+01 | Inf 487.15/487.39 c 472s|590000 |196704 | 3184k| 107M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 21k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 493.84/494.07 c 479s|600000 |199056 | 3236k| 109M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 21k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 501.04/501.23 c 486s|610000 |202539 | 3289k| 111M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 22k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 507.83/508.07 c 492s|620000 |205504 | 3341k| 112M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 22k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 515.14/515.35 c 499s|630000 |209130 | 3394k| 114M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 22k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 521.94/522.16 c 506s|640000 |211784 | 3446k| 116M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 23k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 528.74/528.97 c 513s|650000 |214452 | 3499k| 117M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 23k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 535.73/535.97 c 519s|660000 |217388 | 3553k| 119M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 23k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 542.73/542.94 c 526s|670000 |220261 | 3605k| 120M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 23k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 549.33/549.58 c 533s|680000 |222376 | 3657k| 122M| 54 | - | 165 | 7 | 6 | 165 | 21 | 20 | 24k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 556.53/556.79 c 540s|690000 |225354 | 3711k| 123M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 24k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 564.42/564.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 564.42/564.66 c 547s|700000 |229708 | 3767k| 126M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 24k| 11k| 1.818989e-12 | 1.300000e+01 | Inf 572.62/572.80 c 555s|710000 |234371 | 3825k| 128M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 25k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 580.32/580.56 c 563s|720000 |238779 | 3881k| 130M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 25k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 587.71/588.00 c 570s|730000 |242816 | 3935k| 132M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 25k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 595.51/595.74 c 577s|740000 |247000 | 3989k| 134M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 25k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 602.71/602.92 c 584s|750000 |250573 | 4043k| 136M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 26k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 609.91/610.17 c 591s|760000 |254299 | 4097k| 138M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 26k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 618.71/618.91 c 600s|770000 |259805 | 4156k| 141M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 26k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 626.31/626.52 c 607s|780000 |264346 | 4210k| 143M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 27k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 633.41/633.68 c 614s|790000 |268020 | 4264k| 145M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 27k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 640.50/640.78 c 621s|800000 |271662 | 4318k| 147M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 27k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 647.39/647.67 c 628s|810000 |275122 | 4370k| 148M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 28k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 654.39/654.62 c 634s|820000 |278326 | 4422k| 150M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 28k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 661.19/661.44 c 641s|830000 |281293 | 4474k| 152M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 28k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 668.79/669.06 c 648s|840000 |285704 | 4528k| 154M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 29k| 12k| 1.818989e-12 | 1.300000e+01 | Inf 675.69/675.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 675.69/675.90 c 655s|850000 |288975 | 4581k| 156M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 29k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 682.39/682.62 c 662s|860000 |292206 | 4632k| 158M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 29k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 689.09/689.32 c 668s|870000 |295008 | 4684k| 159M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 29k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 695.78/696.00 c 675s|880000 |297730 | 4736k| 161M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 30k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 702.28/702.57 c 681s|890000 |300388 | 4788k| 162M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 30k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 708.98/709.22 c 687s|900000 |303062 | 4839k| 164M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 30k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 715.48/715.73 c 694s|910000 |305053 | 4891k| 165M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 31k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 721.97/722.29 c 700s|920000 |306830 | 4943k| 166M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 31k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 728.47/728.79 c 706s|930000 |309270 | 4994k| 168M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 31k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 735.17/735.41 c 713s|940000 |311836 | 5045k| 169M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 32k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 741.67/741.93 c 719s|950000 |313702 | 5097k| 170M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 32k| 13k| 1.818989e-12 | 1.300000e+01 | Inf 747.96/748.27 c 725s|960000 |315598 | 5147k| 172M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 32k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 754.77/755.09 c 732s|970000 |318677 | 5198k| 173M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 32k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 761.16/761.45 c 738s|980000 |320833 | 5248k| 175M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 33k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 767.67/767.98 c 744s|990000 |322797 | 5299k| 176M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 33k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 774.37/774.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 774.37/774.64 c 751s| 1000k|325131 | 5351k| 177M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 33k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 780.76/781.09 c 757s| 1010k|327142 | 5402k| 178M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 34k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 787.26/787.52 c 763s| 1020k|328823 | 5453k| 180M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 34k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 793.56/793.88 c 770s| 1030k|330035 | 5504k| 180M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 34k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 799.96/800.26 c 776s| 1040k|331796 | 5555k| 182M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 34k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 806.35/806.67 c 782s| 1050k|333689 | 5605k| 183M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 35k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 813.15/813.46 c 789s| 1060k|336622 | 5657k| 185M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 35k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 819.55/819.86 c 795s| 1070k|338483 | 5708k| 186M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 35k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 826.05/826.34 c 801s| 1080k|340965 | 5758k| 187M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 832.35/832.63 c 807s| 1090k|342430 | 5809k| 188M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 838.95/839.25 c 814s| 1100k|345192 | 5858k| 190M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf 845.24/845.57 c 820s| 1110k|347075 | 5907k| 191M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 36k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 851.64/851.91 c 826s| 1120k|348807 | 5957k| 192M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 857.94/858.26 c 832s| 1130k|350435 | 6007k| 193M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 864.24/864.59 c 838s| 1140k|352064 | 6057k| 194M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 870.74/871.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 870.74/871.06 c 844s| 1150k|353700 | 6109k| 195M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 877.73/878.00 c 851s| 1160k|356309 | 6163k| 197M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 884.03/884.37 c 857s| 1170k|357928 | 6215k| 198M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 890.53/890.80 c 863s| 1180k|359660 | 6266k| 199M| 54 | 6 | 165 | 7 | 7 | 165 | 21 | 20 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 896.82/897.19 c 870s| 1190k|360987 | 6318k| 200M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 903.23/903.52 c 876s| 1200k|362319 | 6368k| 201M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 909.53/909.82 c 882s| 1210k|363689 | 6418k| 202M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 915.82/916.14 c 888s| 1220k|364780 | 6467k| 203M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 922.02/922.40 c 894s| 1230k|365775 | 6517k| 204M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 928.32/928.65 c 900s| 1240k|366589 | 6567k| 205M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 40k| 15k| 1.818989e-12 | 1.300000e+01 | Inf 934.62/934.97 c 906s| 1250k|367735 | 6617k| 205M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 40k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 940.91/941.27 c 912s| 1260k|369028 | 6667k| 206M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 40k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 947.31/947.68 c 919s| 1270k|370434 | 6718k| 207M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 40k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 953.71/954.09 c 925s| 1280k|371805 | 6769k| 208M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 41k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 960.11/960.47 c 931s| 1290k|372783 | 6821k| 209M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 41k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 966.51/966.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 966.51/966.86 c 937s| 1300k|374225 | 6872k| 210M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 41k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 973.31/973.62 c 944s| 1310k|377204 | 6922k| 212M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 41k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 979.90/980.24 c 950s| 1320k|379803 | 6974k| 213M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 986.40/986.75 c 956s| 1330k|381874 | 7026k| 215M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 993.00/993.34 c 963s| 1340k|383967 | 7077k| 216M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 999.70/1000.04 c 969s| 1350k|386130 | 7130k| 217M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1006.09/1006.43 c 976s| 1360k|387610 | 7182k| 218M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1012.49/1012.84 c 982s| 1370k|388921 | 7234k| 219M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1018.99/1019.31 c 988s| 1380k|390403 | 7286k| 220M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1025.29/1025.64 c 994s| 1390k|391937 | 7336k| 221M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1031.69/1032.05 c 1000s| 1400k|393255 | 7387k| 222M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 44k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1038.09/1038.46 c 1007s| 1410k|394495 | 7438k| 223M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 44k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1044.49/1044.84 c 1013s| 1420k|395827 | 7489k| 224M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 44k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1050.88/1051.24 c 1019s| 1430k|397238 | 7541k| 225M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 45k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1057.28/1057.62 c 1025s| 1440k|398176 | 7592k| 226M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 45k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1063.58/1063.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1063.58/1063.95 c 1031s| 1450k|399975 | 7642k| 227M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 45k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1069.98/1070.32 c 1037s| 1460k|401000 | 7694k| 228M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 45k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1076.38/1076.76 c 1044s| 1470k|402294 | 7745k| 229M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 46k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1082.77/1083.12 c 1050s| 1480k|403905 | 7795k| 230M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 46k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1089.07/1089.47 c 1056s| 1490k|405236 | 7845k| 231M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 46k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1095.47/1095.84 c 1062s| 1500k|406409 | 7897k| 232M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 47k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1101.97/1102.30 c 1068s| 1510k|407677 | 7949k| 233M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 47k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1108.26/1108.64 c 1075s| 1520k|408522 | 8001k| 233M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 47k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1114.66/1115.09 c 1081s| 1530k|409297 | 8053k| 234M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 47k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1121.16/1121.54 c 1087s| 1540k|410776 | 8104k| 235M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1127.56/1127.90 c 1093s| 1550k|411839 | 8157k| 236M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf 1133.96/1134.36 c 1100s| 1560k|412812 | 8209k| 237M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 48k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1140.36/1140.77 c 1106s| 1570k|413723 | 8261k| 238M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 49k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1146.76/1147.11 c 1112s| 1580k|414904 | 8312k| 238M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 49k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1152.85/1153.27 c 1118s| 1590k|415921 | 8361k| 239M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 49k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1159.26/1159.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1159.26/1159.68 c 1124s| 1600k|416768 | 8414k| 240M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 49k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1165.56/1166.00 c 1130s| 1610k|417645 | 8466k| 241M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 49k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1171.95/1172.35 c 1136s| 1620k|418611 | 8518k| 242M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 50k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1178.34/1178.73 c 1143s| 1630k|419581 | 8570k| 242M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 50k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1184.65/1185.00 c 1149s| 1640k|420106 | 8621k| 243M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 50k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1191.14/1191.57 c 1155s| 1650k|421854 | 8673k| 244M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 51k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1197.74/1198.16 c 1161s| 1660k|424171 | 8724k| 245M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 51k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1204.04/1204.49 c 1168s| 1670k|426117 | 8773k| 247M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 51k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1210.43/1210.83 c 1174s| 1680k|427685 | 8822k| 248M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 52k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1216.94/1217.32 c 1180s| 1690k|429232 | 8874k| 249M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 52k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1223.23/1223.65 c 1186s| 1700k|430799 | 8923k| 250M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 52k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1229.53/1229.90 c 1192s| 1710k|431981 | 8972k| 251M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 52k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1235.83/1236.29 c 1198s| 1720k|433218 | 9022k| 252M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 53k| 18k| 1.818989e-12 | 1.300000e+01 | Inf 1242.13/1242.59 c 1204s| 1730k|434226 | 9072k| 252M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 53k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1248.42/1248.86 c 1211s| 1740k|435263 | 9121k| 253M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 53k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1255.22/1255.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1255.22/1255.65 c 1217s| 1750k|437512 | 9174k| 255M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 54k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1262.03/1262.47 c 1224s| 1760k|440108 | 9229k| 256M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 54k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1268.62/1269.06 c 1230s| 1770k|442221 | 9284k| 258M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 54k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1275.32/1275.72 c 1237s| 1780k|444177 | 9338k| 259M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 54k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1281.82/1282.25 c 1243s| 1790k|446123 | 9391k| 260M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 55k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1288.42/1288.80 c 1249s| 1800k|447900 | 9445k| 261M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 55k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1294.81/1295.28 c 1256s| 1810k|449299 | 9498k| 262M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 55k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1301.31/1301.77 c 1262s| 1820k|450652 | 9551k| 263M| 54 | - | 165 | 7 | 5 | 0 | 0 | 20 | 55k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1307.71/1308.13 c 1268s| 1830k|452015 | 9602k| 264M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 56k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1314.11/1314.54 c 1274s| 1840k|453339 | 9655k| 265M| 54 | - | 165 | 7 | 8 | 0 | 0 | 20 | 56k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1320.61/1321.03 c 1281s| 1850k|454661 | 9707k| 266M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 56k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1327.00/1327.46 c 1287s| 1860k|455784 | 9759k| 267M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 56k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1333.40/1333.89 c 1293s| 1870k|456899 | 9811k| 268M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 57k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1340.50/1340.98 c 1300s| 1880k|459621 | 9865k| 269M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 57k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1347.10/1347.57 c 1306s| 1890k|461702 | 9918k| 271M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 57k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1353.80/1354.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1353.80/1354.25 c 1313s| 1900k|464140 | 9972k| 272M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 58k| 19k| 1.818989e-12 | 1.300000e+01 | Inf 1360.39/1360.85 c 1319s| 1910k|466025 | 10025k| 274M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 58k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1367.09/1367.51 c 1326s| 1920k|468257 | 10079k| 275M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 58k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1373.79/1374.28 c 1332s| 1930k|471064 | 10134k| 277M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 58k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1380.39/1380.83 c 1339s| 1940k|472911 | 10188k| 278M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 59k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1386.78/1387.28 c 1345s| 1950k|474657 | 10240k| 279M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 59k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1393.18/1393.68 c 1351s| 1960k|476458 | 10292k| 280M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 59k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1399.98/1400.40 c 1358s| 1970k|478839 | 10344k| 282M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 60k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1406.39/1406.89 c 1364s| 1980k|481097 | 10396k| 283M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 60k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1412.77/1413.29 c 1370s| 1990k|482580 | 10447k| 284M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 60k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1419.28/1419.75 c 1376s| 2000k|484151 | 10499k| 285M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 60k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1425.68/1426.18 c 1383s| 2010k|485829 | 10551k| 286M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 61k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1432.17/1432.60 c 1389s| 2020k|487083 | 10603k| 287M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 61k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1438.47/1438.99 c 1395s| 2030k|488608 | 10654k| 288M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 61k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1444.97/1445.45 c 1401s| 2040k|490249 | 10707k| 289M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 62k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1451.47/1451.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1451.47/1451.92 c 1408s| 2050k|491592 | 10760k| 290M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 62k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1457.96/1458.43 c 1414s| 2060k|493064 | 10811k| 291M| 54 | - | 165 | 7 | 6 | 0 | 0 | 20 | 62k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1464.36/1464.87 c 1420s| 2070k|494675 | 10863k| 292M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 62k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1470.76/1471.26 c 1426s| 2080k|496254 | 10914k| 293M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 63k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1477.15/1477.63 c 1432s| 2090k|497608 | 10965k| 294M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 63k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1483.56/1484.04 c 1439s| 2100k|498711 | 11018k| 295M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 63k| 20k| 1.818989e-12 | 1.300000e+01 | Inf 1489.96/1490.44 c 1445s| 2110k|500095 | 11070k| 296M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 64k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1496.35/1496.83 c 1451s| 2120k|501414 | 11121k| 297M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 64k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1502.75/1503.25 c 1457s| 2130k|502610 | 11173k| 298M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 64k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1509.15/1509.61 c 1463s| 2140k|503618 | 11225k| 299M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 64k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1515.54/1516.04 c 1470s| 2150k|504772 | 11277k| 300M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 65k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1522.04/1522.59 c 1476s| 2160k|506198 | 11329k| 301M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 65k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1528.74/1529.23 c 1482s| 2170k|508147 | 11382k| 302M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 65k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1535.05/1535.59 c 1488s| 2180k|509554 | 11433k| 303M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 65k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1541.54/1542.07 c 1495s| 2190k|510651 | 11486k| 304M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 66k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1547.94/1548.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1547.94/1548.47 c 1501s| 2200k|511673 | 11538k| 305M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 66k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1554.43/1554.97 c 1507s| 2210k|513168 | 11590k| 306M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 66k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1560.83/1561.36 c 1513s| 2220k|514301 | 11642k| 307M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 67k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1567.23/1567.72 c 1520s| 2230k|515266 | 11693k| 308M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 67k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1573.63/1574.12 c 1526s| 2240k|516074 | 11745k| 309M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 67k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1580.03/1580.51 c 1532s| 2250k|517068 | 11796k| 309M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 67k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1586.32/1586.82 c 1538s| 2260k|518038 | 11847k| 310M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 68k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1592.72/1593.22 c 1544s| 2270k|519191 | 11899k| 311M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 68k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1599.32/1599.85 c 1551s| 2280k|521263 | 11951k| 312M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 68k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1605.92/1606.41 c 1557s| 2290k|523243 | 12004k| 314M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 69k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1612.21/1612.76 c 1563s| 2300k|524503 | 12055k| 315M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 69k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1618.62/1619.20 c 1570s| 2310k|525493 | 12107k| 315M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 69k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1625.02/1625.56 c 1576s| 2320k|526399 | 12159k| 316M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 70k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1631.31/1631.87 c 1582s| 2330k|527769 | 12209k| 317M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 70k| 21k| 1.818989e-12 | 1.300000e+01 | Inf 1637.61/1638.15 c 1588s| 2340k|528807 | 12259k| 318M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 70k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1644.01/1644.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1644.01/1644.56 c 1594s| 2350k|529857 | 12310k| 319M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 71k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1650.40/1650.97 c 1600s| 2360k|530834 | 12362k| 320M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 71k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1656.91/1657.45 c 1607s| 2370k|531724 | 12413k| 320M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 71k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1663.30/1663.89 c 1613s| 2380k|532758 | 12465k| 321M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 71k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1669.70/1670.26 c 1619s| 2390k|533716 | 12517k| 322M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 72k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1676.10/1676.61 c 1625s| 2400k|534670 | 12567k| 323M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 72k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1682.50/1683.02 c 1631s| 2410k|535632 | 12617k| 324M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 72k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1688.79/1689.38 c 1638s| 2420k|536528 | 12667k| 324M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 73k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1695.20/1695.79 c 1644s| 2430k|537885 | 12717k| 325M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 73k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1701.59/1702.15 c 1650s| 2440k|538667 | 12767k| 326M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 73k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1707.90/1708.47 c 1656s| 2450k|539680 | 12817k| 327M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 73k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1714.39/1714.94 c 1662s| 2460k|540825 | 12868k| 328M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 74k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1720.79/1721.35 c 1669s| 2470k|541671 | 12918k| 328M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 74k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1727.08/1727.63 c 1675s| 2480k|542805 | 12968k| 329M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 74k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1733.48/1734.09 c 1681s| 2490k|544224 | 13018k| 330M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 75k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1739.98/1740.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1739.98/1740.51 c 1687s| 2500k|544796 | 13069k| 331M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 75k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1746.28/1746.81 c 1693s| 2510k|545858 | 13119k| 332M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 75k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1752.57/1753.16 c 1699s| 2520k|546806 | 13168k| 332M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 76k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1758.97/1759.57 c 1706s| 2530k|547559 | 13219k| 333M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 76k| 22k| 1.818989e-12 | 1.300000e+01 | Inf 1765.28/1765.85 c 1712s| 2540k|548540 | 13269k| 334M| 54 | - | 165 | 7 | 8 | 165 | 21 | 20 | 76k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1771.57/1772.20 c 1718s| 2550k|549187 | 13320k| 334M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 76k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1777.96/1778.59 c 1724s| 2560k|550089 | 13370k| 335M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 77k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1784.27/1784.89 c 1730s| 2570k|550946 | 13420k| 336M| 54 | - | 165 | 7 | 7 | 0 | 0 | 20 | 77k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1790.67/1791.23 c 1736s| 2580k|551495 | 13470k| 337M| 54 | 7 | 165 | 7 | 7 | 165 | 21 | 20 | 77k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1797.06/1797.64 c 1743s| 2590k|552050 | 13520k| 337M| 54 | - | 165 | 7 | 7 | 165 | 21 | 20 | 78k| 23k| 1.818989e-12 | 1.300000e+01 | Inf 1800.08/1800.61 c 1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.61 c Solving Time (sec) : 1745.48 1800.08/1800.61 c Solving Nodes : 2594595 1800.08/1800.61 c Primal Bound : +1.30000000000000e+01 (60 solutions) 1800.08/1800.61 c Dual Bound : +1.81898940354586e-12 1800.08/1800.61 c Gap : infinite 1800.08/1800.61 c NODE 2594595 1800.08/1800.61 c DUAL BOUND 1.81899e-12 1800.08/1800.61 c PRIMAL BOUND 13 1800.08/1800.61 c GAP 1e+20 1800.08/1800.61 s SATISFIABLE 1800.08/1800.61 v -x172 -x171 x170 x169 x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 x159 -x158 -x157 x156 -x155 x154 x153 x152 x151 x150 1800.08/1800.61 v -x149 x148 x147 x146 -x145 -x144 -x143 x142 x141 x140 -x139 x138 x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 x127 1800.08/1800.61 v x126 -x125 x124 x123 x122 -x121 -x120 -x119 x118 x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.08/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 1800.08/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 1800.08/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.08/1800.61 v -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 1800.08/1800.61 v -x2 -x1 1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.61 c Solving Time : 1745.48 1800.08/1800.61 c Original Problem : 1800.08/1800.61 c Problem name : HOME/instance-1869539-1245177529.opb 1800.08/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.61 c Constraints : 14 initial, 14 maximal 1800.08/1800.61 c Presolved Problem : 1800.08/1800.61 c Problem name : t_HOME/instance-1869539-1245177529.opb 1800.08/1800.61 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.61 c Constraints : 7 initial, 7 maximal 1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.61 c linear : 0.01 0 7 0 0 0 7 0 0 1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.61 c root node : - 56 - - 56 - - - - 1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.61 c integral : 0 0 0 1602068 0 58 3101 0 0 3197950 1800.08/1800.61 c linear : 7 6 3835175 0 0 351516 2221277 7 0 0 1800.08/1800.61 c logicor : 0+ 0 32417 0 0 2502 25563 0 0 0 1800.08/1800.61 c countsols : 0 0 0 41 0 0 0 0 0 0 1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.61 c integral : 25.32 0.00 0.00 25.32 0.00 1800.08/1800.61 c linear : 303.42 0.00 303.42 0.00 0.00 1800.08/1800.61 c logicor : 0.26 0.00 0.26 0.00 0.00 1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.61 c rootredcost : 1.70 59 0 56 1800.08/1800.61 c pseudoobj : 34.08 3847277 12214 46053 1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.61 c propagation : 27.02 364555 78175 89580 58.5 0 0.0 - 1800.08/1800.61 c infeasible LP : 4.80 701821 3 3 49.7 0 0.0 0 1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.61 c pseudo solution : 0.00 1 1 1 35.0 0 0.0 - 1800.08/1800.61 c applied globally : - - - 0 0.0 - - - 1800.08/1800.61 c applied locally : - - - 78179 58.4 - - - 1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.61 c cut pool : 0.01 5 - - 4 - (maximal pool size: 54) 1800.08/1800.61 c redcost : 40.37 2138930 0 10933127 0 0 1800.08/1800.61 c impliedbounds : 0.00 6 0 0 0 0 1800.08/1800.61 c intobj : 0.00 0 0 0 0 0 1800.08/1800.61 c gomory : 0.00 6 0 0 0 0 1800.08/1800.61 c strongcg : 0.01 6 0 0 18 0 1800.08/1800.61 c cmir : 0.04 6 0 0 14 0 1800.08/1800.61 c flowcover : 0.05 6 0 0 18 0 1800.08/1800.61 c clique : 0.00 1 0 0 0 0 1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.61 c mcf : 0.00 1 0 0 0 0 1800.08/1800.61 c Pricers : Time Calls Vars 1800.08/1800.61 c problem variables: 0.00 0 0 1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.61 c relpscost : 23.65 1602027 58 3101 0 0 3197950 1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.61 c random : 0.00 0 0 0 0 0 0 1800.08/1800.61 c Primal Heuristics : Time Calls Found 1800.08/1800.61 c LP solutions : 0.21 - 41 1800.08/1800.61 c pseudo solutions : 0.00 - 0 1800.08/1800.61 c oneopt : 1.14 59 0 1800.08/1800.61 c crossover : 26.65 15 0 1800.08/1800.61 c pscostdiving : 25.94 5154 3 1800.08/1800.61 c fracdiving : 26.77 5154 4 1800.08/1800.61 c veclendiving : 21.60 5154 2 1800.08/1800.61 c linesearchdiving : 20.45 5154 5 1800.08/1800.61 c guideddiving : 21.39 5154 1 1800.08/1800.61 c objpscostdiving : 12.12 2578 1 1800.08/1800.61 c simplerounding : 1.08 0 0 1800.08/1800.61 c rounding : 1.98 18624 0 1800.08/1800.61 c shifting : 6.18 5831 0 1800.08/1800.61 c intshifting : 0.11 0 0 1800.08/1800.61 c fixandinfer : 0.00 0 0 1800.08/1800.61 c feaspump : 0.12 1 0 1800.08/1800.61 c coefdiving : 36.20 5155 2 1800.08/1800.61 c intdiving : 0.00 0 0 1800.08/1800.61 c actconsdiving : 0.00 0 0 1800.08/1800.61 c rootsoldiving : 8.96 1346 1 1800.08/1800.61 c octane : 0.00 0 0 1800.08/1800.61 c rens : 0.09 1 0 1800.08/1800.61 c rins : 0.00 0 0 1800.08/1800.61 c localbranching : 0.00 0 0 1800.08/1800.61 c mutation : 0.00 0 0 1800.08/1800.61 c dins : 0.00 0 0 1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.08/1800.61 c dual LP : 940.43 2387124 12415462 5.20 13201.90 1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.61 c diving/probing LP: 121.84 447037 1128807 2.53 9264.67 1800.08/1800.61 c strong branching : 7.02 23276 83402 3.58 11880.63 1800.08/1800.61 c (at root node) : - 20 1077 53.85 - 1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.61 c B&B Tree : 1800.08/1800.61 c number of runs : 1 1800.08/1800.61 c nodes : 2594595 1800.08/1800.61 c nodes (total) : 2594595 1800.08/1800.61 c nodes left : 552379 1800.08/1800.61 c max depth : 54 1800.08/1800.61 c max depth (total): 54 1800.08/1800.61 c backtracks : 506464 (19.5%) 1800.08/1800.61 c delayed cutoffs : 13774 1800.08/1800.61 c repropagations : 26627 (93114 domain reductions, 13767 cutoffs) 1800.08/1800.61 c avg switch length: 5.67 1800.08/1800.61 c switching time : 74.20 1800.08/1800.61 c Solution : 1800.08/1800.61 c Solutions found : 60 (59 improvements) 1800.08/1800.61 c Primal Bound : +1.30000000000000e+01 (in run 1, after 484181 nodes, 397.89 seconds, depth 48, found by <relaxation>) 1800.08/1800.61 c Dual Bound : +1.81898940354586e-12 1800.08/1800.61 c Gap : infinite 1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00 1801.77/1802.40 c Time complete: 1801.87.
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869539-1245177529/watcher-1869539-1245177529 -o /tmp/evaluation-result-1869539-1245177529/solver-1869539-1245177529 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869539-1245177529.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.91 0.95 0.98 3/64 8731 /proc/meminfo: memFree=1846920/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=5812 CPUtime=0 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185350110 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8731/statm: 1453 514 343 1256 0 192 0 [startup+0.0609559 s] /proc/loadavg: 0.91 0.95 0.98 3/64 8731 /proc/meminfo: memFree=1846920/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=14956 CPUtime=0.05 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 2976 0 0 0 5 0 0 0 18 0 1 0 185350110 15314944 2606 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 3739 2606 666 1256 0 2478 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14956 [startup+0.10196 s] /proc/loadavg: 0.91 0.95 0.98 3/64 8731 /proc/meminfo: memFree=1846920/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=15540 CPUtime=0.09 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 3054 0 0 0 8 1 0 0 18 0 1 0 185350110 15912960 2684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 3885 2684 666 1256 0 2624 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15540 [startup+0.301981 s] /proc/loadavg: 0.91 0.95 0.98 3/64 8731 /proc/meminfo: memFree=1846920/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=18196 CPUtime=0.29 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 4799 0 0 0 27 2 0 0 19 0 1 0 185350110 18632704 3467 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 4549 3467 690 1256 0 3288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18196 [startup+0.701026 s] /proc/loadavg: 0.91 0.95 0.98 3/64 8731 /proc/meminfo: memFree=1846920/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=16884 CPUtime=0.69 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 4932 0 0 0 66 3 0 0 22 0 1 0 185350110 17289216 2891 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 4221 2891 698 1256 0 2960 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16884 [startup+1.50111 s] /proc/loadavg: 0.91 0.95 0.98 2/65 8732 /proc/meminfo: memFree=1838080/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=16256 CPUtime=1.49 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 6233 0 0 0 144 5 0 0 25 0 1 0 185350110 16646144 2902 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 4064 2902 699 1256 0 2803 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16256 [startup+3.10129 s] /proc/loadavg: 0.91 0.95 0.98 2/65 8732 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=17592 CPUtime=3.09 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 8176 0 0 0 299 10 0 0 25 0 1 0 185350110 18014208 3276 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 4398 3276 699 1256 0 3137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17592 [startup+6.30163 s] /proc/loadavg: 0.92 0.95 0.98 2/65 8732 /proc/meminfo: memFree=1835912/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=19764 CPUtime=6.29 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 11416 0 0 0 607 22 0 0 25 0 1 0 185350110 20238336 3572 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 4941 3572 700 1256 0 3680 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19764 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.98 2/65 8732 /proc/meminfo: memFree=1830152/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=23248 CPUtime=12.69 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 12655 0 0 0 1231 38 0 0 25 0 1 0 185350110 23805952 4811 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 5812 4811 700 1256 0 4551 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23248 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.98 2/65 8732 /proc/meminfo: memFree=1824840/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=28896 CPUtime=25.48 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 14165 0 0 0 2475 73 0 0 25 0 1 0 185350110 29589504 6321 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 7224 6321 700 1256 0 5963 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28896 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.98 2/65 8732 /proc/meminfo: memFree=1812744/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=38644 CPUtime=51.07 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 19232 0 0 0 4954 153 0 0 25 0 1 0 185350110 39571456 8636 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 9661 8636 700 1256 0 8400 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38644 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/65 8732 /proc/meminfo: memFree=1791176/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=61096 CPUtime=102.25 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 29254 0 0 0 9918 307 0 0 25 0 1 0 185350110 62562304 14544 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 15274 14544 700 1256 0 14013 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 61096 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1774728/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=77720 CPUtime=162.23 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 35344 0 0 0 15727 496 0 0 25 0 1 0 185350110 79585280 18668 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 19430 18668 700 1256 0 18169 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 77720 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1754696/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=99196 CPUtime=222.22 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 40308 0 0 0 21552 670 0 0 25 0 1 0 185350110 101576704 23631 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 24799 23631 700 1256 0 23538 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 99196 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1730632/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=124036 CPUtime=282.2 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 46321 0 0 0 27362 858 0 0 25 0 1 0 185350110 127012864 29644 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 31009 29644 700 1256 0 29748 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 124036 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1718344/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=133820 CPUtime=342.18 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 55911 0 0 0 33160 1058 0 0 25 0 1 0 185350110 137031680 32690 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 33455 32690 700 1256 0 32194 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 133820 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1713864/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=138652 CPUtime=402.17 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 57010 0 0 0 38974 1243 0 0 25 0 1 0 185350110 141979648 33789 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 34663 33789 700 1256 0 33402 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 138652 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1708616/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=143964 CPUtime=462.15 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 60422 0 0 0 44782 1433 0 0 25 0 1 0 185350110 147419136 35095 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 35991 35095 700 1256 0 34730 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 143964 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1696840/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=159140 CPUtime=522.13 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 63347 0 0 0 50606 1607 0 0 25 0 1 0 185350110 162959360 38020 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 39785 38020 700 1256 0 38524 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 159140 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1682312/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=173840 CPUtime=582.12 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 66965 0 0 0 56427 1785 0 0 25 0 1 0 185350110 178012160 41638 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 43460 41638 700 1256 0 42199 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 173840 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8732 /proc/meminfo: memFree=1668360/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=188112 CPUtime=642.1 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 70441 0 0 0 62252 1958 0 0 25 0 1 0 185350110 192626688 45114 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 47028 45114 700 1256 0 45767 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 188112 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1599304/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=255628 CPUtime=1002 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 87559 0 0 0 97153 3047 0 0 25 0 1 0 185350110 261763072 62231 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 63907 62231 700 1256 0 62646 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 255628 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1590536/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=264460 CPUtime=1061.98 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 89731 0 0 0 102972 3226 0 0 25 0 1 0 185350110 270807040 64403 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 66115 64403 700 1256 0 64854 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 264460 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1582216/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=272920 CPUtime=1121.96 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 91791 0 0 0 108781 3415 0 0 25 0 1 0 185350110 279470080 66463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 68230 66463 700 1256 0 66969 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 272920 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1575752/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=279400 CPUtime=1181.95 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 93408 0 0 0 114600 3595 0 0 25 0 1 0 185350110 286105600 68080 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 69850 68080 700 1256 0 68589 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 279400 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1566472/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=289192 CPUtime=1241.92 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 95716 0 0 0 120416 3776 0 0 25 0 1 0 185350110 296132608 70388 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 72298 70388 700 1256 0 71037 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 289192 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8734 /proc/meminfo: memFree=1552456/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=302588 CPUtime=1301.91 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 99200 0 0 0 126237 3954 0 0 25 0 1 0 185350110 309850112 73872 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 75647 73872 700 1256 0 74386 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 302588 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8740 /proc/meminfo: memFree=1541384/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=321636 CPUtime=1361.89 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 101925 0 0 0 132051 4138 0 0 25 0 1 0 185350110 329355264 76597 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 80409 76597 700 1256 0 79148 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 321636 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8740 /proc/meminfo: memFree=1530312/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=332832 CPUtime=1421.88 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 104669 0 0 0 137873 4315 0 0 25 0 1 0 185350110 340819968 79341 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 83208 79341 700 1256 0 81947 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 332832 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8740 /proc/meminfo: memFree=1517384/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=345628 CPUtime=1481.86 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 107893 0 0 0 143693 4493 0 0 25 0 1 0 185350110 353923072 82565 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 86407 82565 700 1256 0 85146 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 345628 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8740 /proc/meminfo: memFree=1507400/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=354928 CPUtime=1541.84 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 110370 0 0 0 149499 4685 0 0 25 0 1 0 185350110 363446272 85042 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 88732 85042 700 1256 0 87471 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 354928 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8740 /proc/meminfo: memFree=1499976/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=362476 CPUtime=1601.82 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 112270 0 0 0 155319 4863 0 0 25 0 1 0 185350110 371175424 86942 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 90619 86942 700 1256 0 89358 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 362476 [startup+1662.3 s] /proc/loadavg: 1.05 0.99 0.98 2/65 8740 /proc/meminfo: memFree=1493064/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=369364 CPUtime=1661.81 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 113931 0 0 0 161133 5048 0 0 25 0 1 0 185350110 378228736 88603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 92341 88603 700 1256 0 91080 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 369364 [startup+1722.3 s] /proc/loadavg: 1.07 1.00 0.99 2/65 8740 /proc/meminfo: memFree=1484744/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=377600 CPUtime=1721.79 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 116003 0 0 0 166951 5228 0 0 25 0 1 0 185350110 386662400 90675 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 94400 90675 700 1256 0 93139 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 377600 [startup+1782.3 s] /proc/loadavg: 1.07 1.01 0.99 2/65 8740 /proc/meminfo: memFree=1476744/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=385364 CPUtime=1781.77 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 117973 0 0 0 172771 5406 0 0 25 0 1 0 185350110 394612736 92645 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 96341 92645 700 1256 0 95080 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 385364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.01 0.99 2/65 8740 /proc/meminfo: memFree=1475016/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=387384 CPUtime=1800.08 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 118385 0 0 0 174548 5460 0 0 25 0 1 0 185350110 396681216 93057 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8731/statm: 96846 93057 700 1256 0 95585 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 387384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.05 1.01 0.99 2/65 8740 /proc/meminfo: memFree=1475016/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=387384 CPUtime=1800.87 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 118386 0 0 0 174627 5460 0 0 25 0 1 0 185350110 396681216 93058 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0 /proc/8731/statm: 96846 93058 701 1256 0 95585 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 387384 [startup+1802.2 s] /proc/loadavg: 1.05 1.01 0.99 2/66 8741 /proc/meminfo: memFree=1475008/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=387384 CPUtime=1801.67 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194304 118386 0 0 0 174707 5460 0 0 25 0 1 0 185350110 396681216 93058 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0 /proc/8731/statm: 96846 93058 701 1256 0 95585 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 387384 [startup+1802.4 s] /proc/loadavg: 1.05 1.01 0.99 2/66 8741 /proc/meminfo: memFree=1475008/2055920 swapFree=4191900/4192956 [pid=8731] ppid=8729 vsize=0 CPUtime=1801.87 /proc/8731/stat : 8731 (pbscip.linux.x8) R 8729 8731 8666 0 -1 4194308 118389 0 0 0 174721 5466 0 0 25 0 1 0 185350110 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/8731/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.4 CPU time (s): 1801.87 CPU user time (s): 1747.21 CPU system time (s): 54.6617 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 387384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.21 system time used= 54.6617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118389 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2918 runsolver used 1.15482 second user time and 3.9764 second system time The end
Begin job on node37 at 2009-06-16 20:38:49 IDJOB=1869539 IDBENCH=2924 IDSOLVER=684 FILE ID=node37/1869539-1245177529 PBS_JOBID= 9363943 Free space on /tmp= 66168 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869539-1245177529/watcher-1869539-1245177529 -o /tmp/evaluation-result-1869539-1245177529/solver-1869539-1245177529 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869539-1245177529.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=875889517 node37.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 : 3000.232 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 : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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: 1847336 kB Buffers: 38004 kB Cached: 93316 kB SwapCached: 260 kB Active: 38500 kB Inactive: 106140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847336 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11768 kB Writeback: 0 kB Mapped: 21812 kB Slab: 49968 kB Committed_AS: 166668 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66156 MiB End job on node37 at 2009-06-16 21:08:52