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) | 11 | 1802.01 | 1802.47 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 1802.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| 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 | 75 |
| 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 | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| 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-1869533-1245177209.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 | 32 | 541k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 84 | 630k| 0 | 10 | 165 | 7 | 7 | 165 | 13 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.06 c 0.1s| 1 | 0 | 93 | 698k| 0 | 14 | 165 | 7 | 7 | 165 | 17 | 10 | 0 | 0 | 1.818989e-12 | -- | Inf 0.00/0.08 c 0.1s| 1 | 0 | 99 | 729k| 0 | 15 | 165 | 7 | 7 | 165 | 20 | 13 | 0 | 0 | 1.818989e-12 | -- | Inf 0.10/0.10 c 0.1s| 1 | 0 | 118 | 767k| 0 | 15 | 165 | 7 | 7 | 165 | 23 | 16 | 0 | 0 | 1.818989e-12 | -- | Inf 0.10/0.12 c 0.1s| 1 | 0 | 123 | 774k| 0 | 17 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 0 | 1.818989e-12 | -- | Inf 0.10/0.15 c 0.1s| 1 | 0 | 129 | 795k| 0 | 16 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf 0.19/0.22 c 0.2s| 1 | 2 | 129 | 796k| 0 | 16 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 16 | 1.818989e-12 | -- | Inf 0.39/0.43 o 954 0.39/0.43 c f 0.4s| 73 | 74 | 568 | 892k| 51 | - | 165 | 7 | 6 | 165 | 17 | 18 | 4 | 371 | 1.818989e-12 | 9.540000e+02 | Inf 0.59/0.64 o 506 0.59/0.64 c c 0.6s| 224 | 217 | 1437 | 967k| 51 | - | 165 | 7 | 2 | 165 | 17 | 18 | 6 | 600 | 1.818989e-12 | 5.060000e+02 | Inf 0.69/0.76 o 504 0.69/0.76 c * 0.7s| 339 | 330 | 1997 |1008k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 12 | 660 | 1.818989e-12 | 5.040000e+02 | Inf 0.89/0.95 o 503 0.89/0.95 c l 0.9s| 534 | 525 | 3127 |1105k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 17 | 679 | 1.818989e-12 | 5.030000e+02 | Inf 0.89/0.97 o 342 0.89/0.97 c g 0.9s| 562 | 535 | 3247 |1109k| 51 | - | 165 | 7 | 5 | 165 | 17 | 18 | 17 | 685 | 1.818989e-12 | 3.420000e+02 | Inf 1.00/1.03 o 200 1.00/1.03 c f 1.0s| 613 | 530 | 3566 |1109k| 51 | - | 165 | 7 | 5 | 165 | 17 | 18 | 17 | 685 | 1.818989e-12 | 2.000000e+02 | Inf 1.79/1.88 o 199 1.79/1.88 c g 1.8s| 1442 | 1336 | 8362 |1448k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 35 | 751 | 1.818989e-12 | 1.990000e+02 | Inf 2.89/2.98 o 140 2.89/2.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.89/2.98 c f 2.9s| 1647 | 1486 | 9898 |1523k| 51 | - | 165 | 7 | 4 | 165 | 17 | 18 | 40 | 762 | 1.818989e-12 | 1.400000e+02 | Inf 5.29/5.40 o 100 5.29/5.40 c f 5.2s| 3845 | 3624 | 24000 |2497k| 51 | - | 165 | 7 | 5 | 165 | 17 | 18 | 117 | 778 | 1.818989e-12 | 1.000000e+02 | Inf 7.10/7.11 o 98 7.10/7.11 c * 6.9s| 5400 | 5159 | 33475 |3134k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 194 | 803 | 1.818989e-12 | 9.800000e+01 | Inf 12.69/12.75 c 12.4s| 10000 | 9639 | 66486 |5132k| 51 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 429 | 973 | 1.818989e-12 | 9.800000e+01 | Inf 13.19/13.25 o 97 13.19/13.25 c f12.8s| 10353 | 9965 | 69462 |5294k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 465 |1010 | 1.818989e-12 | 9.700000e+01 | Inf 13.59/13.65 o 70 13.59/13.65 c f13.2s| 10701 | 10051 | 71897 |5235k| 51 | - | 165 | 7 | 5 | 165 | 17 | 18 | 485 |1029 | 1.818989e-12 | 7.000000e+01 | Inf 16.59/16.67 o 69 16.59/16.67 c f16.2s| 13473 | 12469 | 90892 |6482k| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 | 613 |1226 | 1.818989e-12 | 6.900000e+01 | Inf 16.68/16.70 o 43 16.68/16.70 c g16.2s| 13499 | 11709 | 91046 |5990k| 51 | - | 165 | 7 | 5 | 165 | 17 | 18 | 614 |1228 | 1.818989e-12 | 4.300000e+01 | Inf 20.79/20.86 o 40 20.79/20.86 c *20.3s| 17415 | 14695 |117285 |7549k| 51 | - | 165 | 7 | 3 | 165 | 17 | 18 | 818 |1501 | 1.818989e-12 | 4.000000e+01 | Inf 23.28/23.33 c 22.7s| 20000 | 16607 |133370 |8704k| 51 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 945 |1646 | 1.818989e-12 | 4.000000e+01 | Inf 32.69/32.71 c 31.8s| 30000 | 23109 |195306 | 12M| 51 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |1537 |2188 | 1.818989e-12 | 4.000000e+01 | Inf 41.58/41.61 c 40.4s| 40000 | 29204 |255442 | 17M| 51 | - | 165 | 7 | 8 | 165 | 17 | 18 |2133 |2588 | 1.818989e-12 | 4.000000e+01 | Inf 43.38/43.42 o 39 43.38/43.42 c *42.2s| 41984 | 30156 |267093 | 17M| 51 | - | 165 | 7 | 0 | 165 | 17 | 18 |2278 |2687 | 1.818989e-12 | 3.900000e+01 | Inf 50.18/50.25 c 48.8s| 50000 | 34497 |311656 | 20M| 52 | - | 165 | 7 | 7 | 165 | 17 | 18 |2761 |2981 | 1.818989e-12 | 3.900000e+01 | Inf 51.18/51.27 o 38 51.18/51.27 c c49.8s| 51221 | 34984 |318382 | 21M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |2841 |3043 | 1.818989e-12 | 3.800000e+01 | Inf 55.88/55.97 o 36 55.88/55.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 55.88/55.97 c *54.3s| 56556 | 37397 |348182 | 22M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3203 |3176 | 1.818989e-12 | 3.600000e+01 | Inf 58.88/58.93 c 57.2s| 60000 | 39279 |367698 | 24M| 52 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |3420 |3258 | 1.818989e-12 | 3.600000e+01 | Inf 59.68/59.78 o 34 59.68/59.78 c *58.0s| 61083 | 39317 |373478 | 23M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3495 |3291 | 1.818989e-12 | 3.400000e+01 | Inf 59.68/59.79 o 32 59.68/59.79 c *58.0s| 61085 | 37469 |373479 | 21M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3495 |3295 | 1.818989e-12 | 3.200000e+01 | Inf 59.68/59.80 o 30 59.68/59.80 c *58.0s| 61087 | 37077 |373480 | 21M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3495 |3297 | 1.818989e-12 | 3.000000e+01 | Inf 62.47/62.59 o 29 62.47/62.59 c *60.7s| 64238 | 38633 |392957 | 22M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3680 |3401 | 1.818989e-12 | 2.900000e+01 | Inf 62.47/62.59 o 27 62.47/62.59 c *60.7s| 64239 | 38116 |392958 | 21M| 52 | - | 165 | 7 | 0 | 165 | 17 | 18 |3680 |3401 | 1.818989e-12 | 2.700000e+01 | Inf 72.27/72.34 c 70.1s| 70000 | 40975 |425838 | 23M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |4051 |3564 | 1.818989e-12 | 2.700000e+01 | Inf 80.18/80.21 c 77.7s| 80000 | 45771 |483121 | 26M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |4577 |3815 | 1.818989e-12 | 2.700000e+01 | Inf 89.37/89.46 c 86.6s| 90000 | 50372 |539957 | 29M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |5128 |4055 | 1.818989e-12 | 2.700000e+01 | Inf 96.97/97.01 c 93.9s|100000 | 54542 |594897 | 32M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 |5667 |4257 | 1.818989e-12 | 2.700000e+01 | Inf 104.47/104.59 c 101s|110000 | 58687 |651170 | 35M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 |6215 |4489 | 1.818989e-12 | 2.700000e+01 | Inf 112.46/112.58 c 109s|120000 | 63506 |708722 | 39M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |6807 |4678 | 1.818989e-12 | 2.700000e+01 | Inf 120.26/120.33 c 117s|130000 | 68024 |765902 | 42M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |7379 |4874 | 1.818989e-12 | 2.700000e+01 | Inf 124.06/124.20 o 25 124.06/124.20 c * 120s|135273 | 69193 |795383 | 42M| 53 | - | 165 | 7 | 0 | 165 | 17 | 18 |7714 |4988 | 1.818989e-12 | 2.500000e+01 | Inf 127.56/127.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 127.56/127.62 c 124s|140000 | 70805 |821244 | 43M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |8050 |5083 | 1.818989e-12 | 2.500000e+01 | Inf 129.15/129.21 o 23 129.15/129.21 c * 125s|142101 | 70482 |832644 | 43M| 53 | - | 165 | 7 | 0 | 165 | 17 | 18 |8174 |5124 | 1.818989e-12 | 2.300000e+01 | Inf 134.56/134.63 c 130s|150000 | 72668 |874028 | 44M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |8606 |5291 | 1.818989e-12 | 2.300000e+01 | Inf 141.25/141.39 c 137s|160000 | 75202 |926958 | 47M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 |9147 |5484 | 1.818989e-12 | 2.300000e+01 | Inf 148.15/148.28 c 144s|170000 | 77783 |979322 | 49M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 |9696 |5669 | 1.818989e-12 | 2.300000e+01 | Inf 154.96/155.10 c 150s|180000 | 80285 | 1031k| 51M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 10k|5861 | 1.818989e-12 | 2.300000e+01 | Inf 161.75/161.82 c 157s|190000 | 82554 | 1085k| 53M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 10k|6063 | 1.818989e-12 | 2.300000e+01 | Inf 168.65/168.72 c 163s|200000 | 84908 | 1139k| 55M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 11k|6239 | 1.818989e-12 | 2.300000e+01 | Inf 175.45/175.58 c 170s|210000 | 87297 | 1193k| 57M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 11k|6403 | 1.818989e-12 | 2.300000e+01 | Inf 182.05/182.19 c 176s|220000 | 89626 | 1242k| 58M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 12k|6589 | 1.818989e-12 | 2.300000e+01 | Inf 189.14/189.29 c 183s|230000 | 92517 | 1295k| 61M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 12k|6738 | 1.818989e-12 | 2.300000e+01 | Inf 196.05/196.17 c 190s|240000 | 95452 | 1346k| 63M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 13k|6872 | 1.818989e-12 | 2.300000e+01 | Inf 205.64/205.72 c 199s|250000 | 97970 | 1397k| 65M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 13k|6996 | 1.818989e-12 | 2.300000e+01 | Inf 212.53/212.64 c 206s|260000 |100618 | 1448k| 67M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 13k|7133 | 1.818989e-12 | 2.300000e+01 | Inf 220.23/220.35 c 213s|270000 |104581 | 1502k| 69M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 14k|7250 | 1.818989e-12 | 2.300000e+01 | Inf 228.73/228.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 228.73/228.89 c 222s|280000 |109713 | 1559k| 72M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 14k|7354 | 1.818989e-12 | 2.300000e+01 | Inf 236.53/236.63 c 229s|290000 |113787 | 1614k| 74M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 15k|7487 | 1.818989e-12 | 2.300000e+01 | Inf 243.73/243.88 c 236s|300000 |117354 | 1667k| 77M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 15k|7613 | 1.818989e-12 | 2.300000e+01 | Inf 251.33/251.44 c 243s|310000 |121652 | 1719k| 79M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 16k|7745 | 1.818989e-12 | 2.300000e+01 | Inf 253.83/253.99 o 21 253.83/253.99 c * 246s|313516 |121430 | 1736k| 78M| 53 | - | 165 | 7 | 0 | 165 | 17 | 18 | 16k|7784 | 1.818989e-12 | 2.100000e+01 | Inf 258.43/258.55 c 250s|320000 |123730 | 1769k| 79M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 16k|7855 | 1.818989e-12 | 2.100000e+01 | Inf 265.43/265.57 c 257s|330000 |126851 | 1821k| 82M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 17k|7978 | 1.818989e-12 | 2.100000e+01 | Inf 272.73/272.82 c 264s|340000 |130276 | 1873k| 84M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 17k|8095 | 1.818989e-12 | 2.100000e+01 | Inf 279.52/279.68 c 271s|350000 |133412 | 1923k| 86M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 18k|8215 | 1.818989e-12 | 2.100000e+01 | Inf 286.52/286.67 c 278s|360000 |136671 | 1974k| 88M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 18k|8320 | 1.818989e-12 | 2.100000e+01 | Inf 293.63/293.71 c 284s|370000 |139930 | 2025k| 90M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 19k|8439 | 1.818989e-12 | 2.100000e+01 | Inf 300.42/300.52 c 291s|380000 |142481 | 2076k| 92M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 19k|8550 | 1.818989e-12 | 2.100000e+01 | Inf 307.31/307.42 c 298s|390000 |145347 | 2127k| 94M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 19k|8677 | 1.818989e-12 | 2.100000e+01 | Inf 314.01/314.14 c 304s|400000 |148073 | 2176k| 96M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 20k|8786 | 1.818989e-12 | 2.100000e+01 | Inf 320.61/320.70 c 311s|410000 |150549 | 2224k| 98M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 20k|8890 | 1.818989e-12 | 2.100000e+01 | Inf 327.61/327.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 327.61/327.71 c 317s|420000 |153590 | 2278k| 100M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 21k|9059 | 1.818989e-12 | 2.100000e+01 | Inf 335.00/335.15 c 325s|430000 |156719 | 2344k| 102M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 21k|9285 | 1.818989e-12 | 2.100000e+01 | Inf 342.10/342.29 c 331s|440000 |159291 | 2409k| 104M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 22k|9443 | 1.818989e-12 | 2.100000e+01 | Inf 349.31/349.43 c 338s|450000 |162698 | 2461k| 106M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 22k|9536 | 1.818989e-12 | 2.100000e+01 | Inf 355.91/356.03 c 345s|460000 |165245 | 2509k| 107M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 22k|9627 | 1.818989e-12 | 2.100000e+01 | Inf 362.50/362.68 c 351s|470000 |167605 | 2561k| 109M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 23k|9734 | 1.818989e-12 | 2.100000e+01 | Inf 369.20/369.35 c 358s|480000 |169811 | 2613k| 111M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 23k|9852 | 1.818989e-12 | 2.100000e+01 | Inf 375.90/376.01 c 364s|490000 |172067 | 2664k| 113M| 53 | - | 165 | 7 | 7 | 165 | 17 | 18 | 24k|9946 | 1.818989e-12 | 2.100000e+01 | Inf 382.79/382.98 c 371s|500000 |174771 | 2718k| 114M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 24k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 389.90/390.08 c 378s|510000 |178078 | 2771k| 117M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 25k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 396.59/396.74 c 384s|520000 |180436 | 2822k| 118M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 25k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 403.19/403.35 c 391s|530000 |182561 | 2873k| 120M| 53 | - | 165 | 7 | 7 | 0 | 0 | 18 | 25k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 410.39/410.53 c 398s|540000 |186363 | 2922k| 122M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 26k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 417.19/417.34 c 404s|550000 |189311 | 2970k| 124M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 26k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 423.68/423.88 c 410s|560000 |191698 | 3020k| 126M| 53 | - | 165 | 7 | 8 | 0 | 0 | 18 | 27k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 430.38/430.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 430.38/430.57 c 417s|570000 |194193 | 3069k| 127M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 27k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 436.89/437.08 c 423s|580000 |196140 | 3119k| 129M| 53 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 27k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 443.58/443.71 c 430s|590000 |198765 | 3169k| 131M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 28k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 450.08/450.26 c 436s|600000 |200777 | 3218k| 132M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 28k| 10k| 1.818989e-12 | 2.100000e+01 | Inf 456.57/456.77 c 442s|610000 |202488 | 3267k| 134M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 29k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 462.98/463.19 c 449s|620000 |204390 | 3314k| 135M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 29k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 469.88/470.03 c 455s|630000 |207385 | 3363k| 137M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 29k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 476.47/476.65 c 462s|640000 |209959 | 3410k| 139M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 30k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 482.97/483.15 c 468s|650000 |212216 | 3459k| 140M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 30k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 489.57/489.78 c 474s|660000 |214139 | 3509k| 142M| 54 | - | 165 | 7 | 6 | 0 | 0 | 18 | 31k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 496.27/496.41 c 481s|670000 |216298 | 3560k| 143M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 31k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 502.76/502.97 c 487s|680000 |218319 | 3610k| 145M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 32k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 509.46/509.62 c 494s|690000 |220250 | 3660k| 146M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 32k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 516.06/516.30 c 500s|700000 |222662 | 3711k| 148M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 32k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 522.56/522.76 c 506s|710000 |224808 | 3760k| 150M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 33k| 11k| 1.818989e-12 | 2.100000e+01 | Inf 529.26/529.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 529.26/529.44 c 513s|720000 |227010 | 3810k| 151M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 33k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 535.76/535.90 c 519s|730000 |228832 | 3859k| 153M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 34k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 542.16/542.38 c 525s|740000 |230647 | 3909k| 154M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 34k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 548.76/549.00 c 532s|750000 |232638 | 3959k| 156M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 34k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 555.96/556.15 c 539s|760000 |235747 | 4010k| 158M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 35k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 562.96/563.14 c 545s|770000 |238813 | 4061k| 160M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 35k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 569.75/569.91 c 552s|780000 |241480 | 4111k| 162M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 36k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 576.44/576.61 c 558s|790000 |243652 | 4162k| 163M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 36k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 583.25/583.49 c 565s|800000 |246583 | 4212k| 165M| 54 | - | 165 | 7 | 8 | 0 | 0 | 18 | 36k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 591.35/591.53 c 573s|810000 |250670 | 4266k| 167M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 37k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 599.74/599.91 c 581s|820000 |255649 | 4322k| 170M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 37k| 12k| 1.818989e-12 | 2.100000e+01 | Inf 602.44/602.68 o 20 602.44/602.68 c * 584s|823543 |255846 | 4342k| 169M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 37k| 12k| 1.818989e-12 | 2.000000e+01 | Inf 602.55/602.70 o 18 602.55/602.70 c * 584s|823544 |252442 | 4342k| 164M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 37k| 12k| 1.818989e-12 | 1.800000e+01 | Inf 607.34/607.51 c 588s|830000 |255000 | 4374k| 165M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 38k| 12k| 1.818989e-12 | 1.800000e+01 | Inf 614.54/614.76 c 595s|840000 |258908 | 4424k| 167M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 38k| 12k| 1.818989e-12 | 1.800000e+01 | Inf 621.64/621.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 621.64/621.81 c 602s|850000 |262488 | 4475k| 169M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 38k| 12k| 1.818989e-12 | 1.800000e+01 | Inf 629.24/629.44 c 610s|860000 |266741 | 4528k| 172M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 39k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 636.23/636.49 c 617s|870000 |270184 | 4578k| 174M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 39k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 643.13/643.35 c 623s|880000 |273895 | 4627k| 176M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 40k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 650.03/650.24 c 630s|890000 |277076 | 4676k| 178M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 40k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 657.12/657.33 c 637s|900000 |280699 | 4727k| 180M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 40k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 663.83/664.08 c 643s|910000 |283709 | 4776k| 182M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 41k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 671.22/671.48 c 650s|920000 |287949 | 4825k| 184M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 41k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 678.32/678.54 c 657s|930000 |291803 | 4875k| 186M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 42k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 685.12/685.38 c 664s|940000 |294953 | 4924k| 188M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 42k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 691.82/692.01 c 670s|950000 |297920 | 4971k| 190M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 42k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 698.82/699.06 c 677s|960000 |301574 | 5021k| 192M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 43k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 705.82/706.06 c 684s|970000 |304884 | 5071k| 194M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 43k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 713.11/713.37 c 691s|980000 |308946 | 5121k| 196M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 43k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 720.01/720.26 c 698s|990000 |312668 | 5169k| 198M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 44k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 727.31/727.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 727.31/727.54 c 705s| 1000k|316930 | 5219k| 200M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 44k| 13k| 1.818989e-12 | 1.800000e+01 | Inf 734.20/734.45 c 712s| 1010k|320575 | 5267k| 202M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 45k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 741.11/741.35 c 718s| 1020k|323739 | 5318k| 204M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 45k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 747.71/747.91 c 725s| 1030k|326687 | 5365k| 206M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 45k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 754.31/754.56 c 731s| 1040k|329812 | 5412k| 208M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 46k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 760.70/760.91 c 737s| 1050k|332293 | 5459k| 209M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 46k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 767.40/767.63 c 744s| 1060k|335384 | 5507k| 211M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 47k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 773.99/774.27 c 750s| 1070k|338171 | 5555k| 213M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 47k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 780.50/780.75 c 756s| 1080k|340664 | 5603k| 215M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 47k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 787.09/787.33 c 763s| 1090k|342986 | 5651k| 216M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 48k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 793.70/793.99 c 769s| 1100k|345413 | 5700k| 218M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 48k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 800.29/800.59 c 776s| 1110k|348121 | 5749k| 220M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 49k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 806.88/807.20 c 782s| 1120k|350538 | 5797k| 221M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 49k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 813.49/813.73 c 788s| 1130k|352912 | 5845k| 223M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 49k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 819.89/820.18 c 795s| 1140k|355045 | 5893k| 224M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 50k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 826.48/826.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 826.48/826.76 c 801s| 1150k|358049 | 5939k| 226M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 50k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 833.29/833.57 c 808s| 1160k|361096 | 5988k| 228M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 51k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 839.88/840.18 c 814s| 1170k|363993 | 6036k| 230M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 51k| 14k| 1.818989e-12 | 1.800000e+01 | Inf 846.79/847.06 c 821s| 1180k|366649 | 6093k| 231M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 51k| 15k| 1.818989e-12 | 1.800000e+01 | Inf 853.78/854.06 c 827s| 1190k|369665 | 6152k| 233M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 52k| 15k| 1.818989e-12 | 1.800000e+01 | Inf 859.37/859.61 o 16 859.37/859.61 c * 833s| 1198k|361988 | 6200k| 224M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 52k| 15k| 1.818989e-12 | 1.600000e+01 | Inf 859.37/859.65 o 14 859.37/859.65 c * 833s| 1198k|356116 | 6200k| 215M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 52k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 863.28/863.55 c 837s| 1200k|356448 | 6210k| 215M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 52k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 869.88/870.16 c 843s| 1210k|358470 | 6266k| 217M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 52k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 876.47/876.76 c 849s| 1220k|360616 | 6322k| 218M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 53k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 883.07/883.31 c 856s| 1230k|362639 | 6379k| 219M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 53k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 889.67/889.98 c 862s| 1240k|365062 | 6435k| 220M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 53k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 898.56/898.88 c 871s| 1250k|368246 | 6490k| 222M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 54k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 905.16/905.46 c 877s| 1260k|370990 | 6544k| 224M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 54k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 911.86/912.13 c 884s| 1270k|373587 | 6599k| 225M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 55k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 918.45/918.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 918.45/918.71 c 890s| 1280k|375974 | 6654k| 226M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 55k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 924.86/925.16 c 896s| 1290k|378025 | 6708k| 228M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 55k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 931.25/931.59 c 902s| 1300k|379774 | 6759k| 229M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 56k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 937.66/937.92 c 909s| 1310k|381664 | 6810k| 230M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 56k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 944.05/944.33 c 915s| 1320k|383756 | 6862k| 231M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 56k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 950.65/950.95 c 921s| 1330k|386209 | 6915k| 233M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 57k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 957.25/957.50 c 928s| 1340k|388464 | 6967k| 234M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 57k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 964.05/964.38 c 934s| 1350k|391899 | 7021k| 236M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 57k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 970.64/970.92 c 941s| 1360k|394708 | 7073k| 237M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 58k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 977.25/977.58 c 947s| 1370k|397702 | 7126k| 239M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 58k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 983.74/984.02 c 953s| 1380k|400187 | 7178k| 240M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 58k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 990.35/990.60 c 960s| 1390k|402670 | 7231k| 242M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 59k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 996.64/997.00 c 966s| 1400k|404806 | 7284k| 243M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 59k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1001.24/1001.54 o 13 1001.24/1001.54 c * 970s| 1407k|402602 | 7320k| 239M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 59k| 16k| 1.818989e-12 | 1.300000e+01 | Inf 1001.24/1001.60 o 11 1001.24/1001.60 c * 970s| 1407k|392998 | 7320k| 226M| 54 | - | 165 | 7 | 0 | 165 | 17 | 18 | 59k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1003.24/1003.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1003.24/1003.54 c 972s| 1410k|393922 | 7335k| 226M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 59k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1012.24/1012.55 c 981s| 1420k|396206 | 7384k| 228M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 60k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1018.43/1018.73 c 987s| 1430k|398331 | 7431k| 229M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 60k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1027.63/1027.94 c 996s| 1440k|400170 | 7480k| 230M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 60k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1033.83/1034.10 c 1002s| 1450k|401930 | 7528k| 231M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 61k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1040.03/1040.32 c 1008s| 1460k|404113 | 7573k| 232M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 61k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1046.23/1046.51 c 1014s| 1470k|406010 | 7619k| 233M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 61k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1052.33/1052.63 c 1020s| 1480k|407593 | 7665k| 234M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 61k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1058.42/1058.77 c 1026s| 1490k|409086 | 7712k| 235M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 62k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1064.43/1064.77 c 1031s| 1500k|411111 | 7756k| 237M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 62k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1070.52/1070.84 c 1037s| 1510k|412519 | 7801k| 237M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 62k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1076.62/1076.97 c 1043s| 1520k|414034 | 7850k| 238M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 63k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1082.82/1083.12 c 1049s| 1530k|415702 | 7900k| 239M| 54 | - | 165 | 7 | 8 | 0 | 0 | 18 | 63k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1088.92/1089.24 c 1055s| 1540k|417196 | 7949k| 240M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 63k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1095.01/1095.38 c 1061s| 1550k|418400 | 8000k| 241M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 64k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1101.22/1101.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1101.22/1101.59 c 1067s| 1560k|419418 | 8053k| 242M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 64k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1107.42/1107.78 c 1073s| 1570k|420841 | 8105k| 243M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 64k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1113.61/1113.96 c 1079s| 1580k|422214 | 8155k| 244M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 65k| 16k| 1.818989e-12 | 1.100000e+01 | Inf 1119.70/1120.07 c 1085s| 1590k|423501 | 8206k| 245M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 65k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1125.80/1126.19 c 1091s| 1600k|425239 | 8252k| 246M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 65k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1131.90/1132.23 c 1097s| 1610k|426193 | 8299k| 246M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 65k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1138.01/1138.30 c 1103s| 1620k|427618 | 8345k| 247M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 66k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1144.10/1144.49 c 1109s| 1630k|430195 | 8392k| 249M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 66k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1150.40/1150.75 c 1115s| 1640k|431906 | 8440k| 250M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 66k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1156.70/1157.00 c 1121s| 1650k|434268 | 8487k| 251M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 67k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1162.70/1163.00 c 1126s| 1660k|435932 | 8534k| 252M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 67k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1168.79/1169.13 c 1132s| 1670k|437753 | 8580k| 253M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 67k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1174.79/1175.12 c 1138s| 1680k|439161 | 8627k| 254M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 68k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1180.79/1181.11 c 1144s| 1690k|440437 | 8674k| 255M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 68k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1186.79/1187.15 c 1150s| 1700k|441766 | 8721k| 256M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 68k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1192.89/1193.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1192.89/1193.26 c 1156s| 1710k|442687 | 8768k| 256M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 69k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1198.99/1199.32 c 1162s| 1720k|444336 | 8815k| 257M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 69k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1205.08/1205.47 c 1168s| 1730k|445747 | 8863k| 258M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 69k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1211.18/1211.57 c 1173s| 1740k|447025 | 8910k| 259M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 70k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1217.28/1217.61 c 1179s| 1750k|448406 | 8957k| 260M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 70k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1223.28/1223.65 c 1185s| 1760k|449684 | 9004k| 261M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 70k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1229.39/1229.73 c 1191s| 1770k|450752 | 9052k| 262M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 70k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1235.48/1235.80 c 1197s| 1780k|451568 | 9100k| 262M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 71k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1241.58/1241.93 c 1203s| 1790k|453273 | 9148k| 263M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 71k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1247.78/1248.16 c 1209s| 1800k|455386 | 9196k| 265M| 54 | - | 165 | 7 | 6 | 165 | 17 | 18 | 71k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1253.98/1254.31 c 1215s| 1810k|457296 | 9243k| 266M| 54 | - | 165 | 7 | 6 | 165 | 17 | 18 | 72k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1262.57/1262.92 c 1223s| 1820k|458752 | 9292k| 267M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 72k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1268.67/1269.03 c 1229s| 1830k|460019 | 9339k| 268M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 72k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1274.76/1275.15 c 1235s| 1840k|461186 | 9387k| 268M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 73k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1280.87/1281.21 c 1241s| 1850k|462392 | 9435k| 269M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 73k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1287.46/1287.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1287.46/1287.81 c 1247s| 1860k|464834 | 9485k| 271M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 73k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1293.87/1294.21 c 1253s| 1870k|467228 | 9535k| 272M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 74k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1299.96/1300.39 c 1259s| 1880k|468787 | 9583k| 273M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 74k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1306.16/1306.59 c 1265s| 1890k|470463 | 9632k| 274M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 74k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1312.46/1312.87 c 1271s| 1900k|471644 | 9682k| 275M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 75k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1318.65/1319.05 c 1277s| 1910k|472803 | 9732k| 276M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 75k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1324.95/1325.39 c 1284s| 1920k|474356 | 9783k| 277M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 75k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1331.35/1331.75 c 1290s| 1930k|476288 | 9834k| 278M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 76k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1337.56/1337.93 c 1296s| 1940k|477802 | 9885k| 279M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 76k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1343.65/1344.08 c 1302s| 1950k|479277 | 9933k| 280M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 76k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1349.85/1350.27 c 1308s| 1960k|480983 | 9981k| 281M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 77k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1356.05/1356.47 c 1314s| 1970k|482088 | 10030k| 282M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 77k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1362.25/1362.60 c 1320s| 1980k|483181 | 10081k| 283M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 77k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1368.55/1368.92 c 1326s| 1990k|484680 | 10130k| 283M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 78k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1374.65/1375.09 c 1332s| 2000k|486579 | 10178k| 285M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 78k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1380.94/1381.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1380.94/1381.39 c 1338s| 2010k|488320 | 10227k| 286M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 78k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1387.13/1387.53 c 1344s| 2020k|489593 | 10275k| 287M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 79k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1393.34/1393.74 c 1350s| 2030k|491015 | 10323k| 288M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 79k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1399.44/1399.80 c 1356s| 2040k|491974 | 10370k| 288M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 79k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1405.44/1405.89 c 1362s| 2050k|492849 | 10418k| 289M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 80k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1411.63/1412.09 c 1368s| 2060k|494046 | 10465k| 290M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 80k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1417.83/1418.27 c 1374s| 2070k|494929 | 10515k| 291M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 80k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1423.93/1424.38 c 1380s| 2080k|496325 | 10563k| 292M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 81k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1430.13/1430.59 c 1386s| 2090k|498337 | 10610k| 293M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 81k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1436.33/1436.70 c 1391s| 2100k|499563 | 10657k| 294M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 81k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1442.92/1443.32 c 1398s| 2110k|502509 | 10707k| 295M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 82k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1449.22/1449.65 c 1404s| 2120k|505289 | 10755k| 297M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 82k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1455.32/1455.79 c 1410s| 2130k|507610 | 10801k| 298M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 82k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1461.63/1462.03 c 1416s| 2140k|509790 | 10849k| 299M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 83k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1467.71/1468.19 c 1422s| 2150k|511818 | 10897k| 300M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 83k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1474.42/1474.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1474.42/1474.86 c 1428s| 2160k|515247 | 10945k| 302M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 83k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1480.72/1481.19 c 1435s| 2170k|517873 | 10993k| 303M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 84k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1487.11/1487.51 c 1441s| 2180k|520451 | 11041k| 305M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 84k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1493.32/1493.79 c 1447s| 2190k|522954 | 11088k| 306M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 84k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1499.41/1499.88 c 1453s| 2200k|525007 | 11135k| 307M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 85k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1505.71/1506.15 c 1459s| 2210k|527478 | 11183k| 309M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 85k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1511.81/1512.26 c 1465s| 2220k|529271 | 11230k| 310M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 85k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1520.81/1521.25 c 1473s| 2230k|531685 | 11278k| 311M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 86k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1527.00/1527.43 c 1479s| 2240k|533710 | 11326k| 312M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 86k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1533.20/1533.65 c 1485s| 2250k|535820 | 11374k| 314M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 86k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1539.30/1539.78 c 1491s| 2260k|537556 | 11422k| 315M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 87k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1545.50/1545.95 c 1497s| 2270k|539349 | 11469k| 316M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 87k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1551.61/1552.06 c 1503s| 2280k|540929 | 11517k| 317M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 87k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1557.69/1558.18 c 1509s| 2290k|542626 | 11565k| 318M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 88k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1563.99/1564.48 c 1515s| 2300k|545112 | 11613k| 319M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 88k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1570.49/1570.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1570.49/1570.94 c 1521s| 2310k|548272 | 11661k| 321M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 88k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1576.70/1577.19 c 1527s| 2320k|550645 | 11708k| 322M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 89k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1582.79/1583.26 c 1533s| 2330k|552743 | 11756k| 323M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 89k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1589.09/1589.57 c 1539s| 2340k|554904 | 11804k| 324M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 89k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1595.18/1595.68 c 1545s| 2350k|556630 | 11851k| 325M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 90k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1601.29/1601.72 c 1551s| 2360k|558263 | 11898k| 327M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 90k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1607.38/1607.86 c 1557s| 2370k|559920 | 11945k| 328M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 91k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1613.58/1614.03 c 1563s| 2380k|561788 | 11992k| 329M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 91k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1619.79/1620.24 c 1569s| 2390k|563469 | 12041k| 330M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 91k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1625.88/1626.32 c 1575s| 2400k|565226 | 12088k| 331M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 92k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1631.88/1632.33 c 1581s| 2410k|566771 | 12134k| 332M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 92k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1638.08/1638.50 c 1587s| 2420k|568134 | 12182k| 333M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 92k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1644.07/1644.51 c 1593s| 2430k|569553 | 12229k| 334M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 93k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1650.27/1650.77 c 1599s| 2440k|571515 | 12276k| 335M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 93k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1656.37/1656.85 c 1605s| 2450k|572839 | 12323k| 336M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 93k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1662.37/1662.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1662.37/1662.81 c 1610s| 2460k|574132 | 12369k| 336M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 94k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1668.46/1668.93 c 1616s| 2470k|575542 | 12416k| 337M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 94k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1674.47/1674.96 c 1622s| 2480k|576758 | 12463k| 338M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 94k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1680.56/1681.05 c 1628s| 2490k|578276 | 12510k| 339M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 95k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1686.66/1687.15 c 1634s| 2500k|579154 | 12558k| 340M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 95k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1692.76/1693.27 c 1640s| 2510k|580184 | 12605k| 341M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 96k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1698.86/1699.34 c 1646s| 2520k|581364 | 12652k| 341M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 96k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1704.95/1705.44 c 1652s| 2530k|582787 | 12700k| 342M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 96k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1711.06/1711.58 c 1658s| 2540k|584421 | 12748k| 343M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 97k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1717.16/1717.65 c 1664s| 2550k|586021 | 12795k| 344M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 97k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1723.15/1723.70 c 1669s| 2560k|587095 | 12843k| 345M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 97k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1729.35/1729.84 c 1675s| 2570k|588301 | 12890k| 346M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 98k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1735.35/1735.87 c 1681s| 2580k|589490 | 12937k| 347M| 54 | - | 165 | 7 | 7 | 165 | 17 | 18 | 98k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1741.34/1741.85 c 1687s| 2590k|590929 | 12983k| 348M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 98k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1747.55/1748.01 c 1693s| 2600k|591942 | 13032k| 348M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 99k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1753.55/1754.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1753.55/1754.08 c 1699s| 2610k|593071 | 13079k| 349M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 99k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1759.55/1760.05 c 1705s| 2620k|594337 | 13125k| 350M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 99k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1765.74/1766.27 c 1711s| 2630k|595272 | 13174k| 351M| 54 | - | 165 | 7 | 7 | 0 | 0 | 18 | 100k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1772.04/1772.51 c 1717s| 2640k|596263 | 13224k| 351M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 100k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1778.14/1778.65 c 1723s| 2650k|597927 | 13272k| 353M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 100k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1784.14/1784.69 c 1728s| 2660k|599175 | 13319k| 353M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 101k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1790.34/1790.87 c 1734s| 2670k|600880 | 13367k| 354M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 101k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1796.44/1796.95 c 1740s| 2680k|602182 | 13415k| 355M| 54 | 7 | 165 | 7 | 7 | 165 | 17 | 18 | 101k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1800.04/1800.50 c 1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.50 c Solving Time (sec) : 1743.77 1800.04/1800.50 c Solving Nodes : 2685829 1800.04/1800.50 c Primal Bound : +1.10000000000000e+01 (33 solutions) 1800.04/1800.50 c Dual Bound : +1.81898940354586e-12 1800.04/1800.50 c Gap : infinite 1800.04/1800.50 c NODE 2685829 1800.04/1800.50 c DUAL BOUND 1.81899e-12 1800.04/1800.50 c PRIMAL BOUND 11 1800.04/1800.50 c GAP 1e+20 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 v x172 x171 -x170 -x169 -x168 x167 -x166 x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155 x154 x153 x152 -x151 -x150 -x149 1800.04/1800.50 v -x148 x147 -x146 x145 x144 x143 -x142 x141 -x140 x139 -x138 -x137 x136 x135 -x134 x133 -x132 x131 x130 x129 x128 -x127 x126 1800.04/1800.50 v -x125 -x124 x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.04/1800.50 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.04/1800.50 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.04/1800.50 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.04/1800.50 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.04/1800.50 v -x2 -x1 1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.50 c Solving Time : 1743.77 1800.04/1800.50 c Original Problem : 1800.04/1800.50 c Problem name : HOME/instance-1869533-1245177209.opb 1800.04/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.50 c Constraints : 14 initial, 14 maximal 1800.04/1800.50 c Presolved Problem : 1800.04/1800.50 c Problem name : t_HOME/instance-1869533-1245177209.opb 1800.04/1800.50 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.50 c Constraints : 7 initial, 7 maximal 1800.04/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.50 c linear : 0.01 0 7 0 0 0 7 0 0 1800.04/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.50 c root node : - 56 - - 56 - - - - 1800.04/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.50 c integral : 0 0 0 1679361 0 63 4344 0 0 3350028 1800.04/1800.50 c linear : 7 6 4030144 1 0 387091 2582242 14 0 0 1800.04/1800.50 c logicor : 0+ 0 40652 0 0 3718 32229 0 0 0 1800.04/1800.50 c countsols : 0 0 0 19 0 0 0 0 0 0 1800.04/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.50 c integral : 24.13 0.00 0.00 24.13 0.00 1800.04/1800.50 c linear : 317.13 0.01 317.12 0.00 0.00 1800.04/1800.50 c logicor : 0.43 0.00 0.43 0.00 0.00 1800.04/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.50 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.50 c rootredcost : 1.87 32 0 56 1800.04/1800.50 c pseudoobj : 37.34 4045558 15575 48632 1800.04/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.50 c propagation : 29.96 403462 101948 117320 59.4 0 0.0 - 1800.04/1800.50 c infeasible LP : 5.69 688895 6 6 52.0 0 0.0 0 1800.04/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.50 c applied globally : - - - 0 0.0 - - - 1800.04/1800.50 c applied locally : - - - 101954 59.4 - - - 1800.04/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.50 c cut pool : 0.00 5 - - 7 - (maximal pool size: 65) 1800.04/1800.50 c redcost : 44.78 2253830 0 12232440 0 0 1800.04/1800.50 c impliedbounds : 0.00 6 0 0 0 0 1800.04/1800.50 c intobj : 0.00 0 0 0 0 0 1800.04/1800.50 c gomory : 0.01 6 0 0 0 0 1800.04/1800.50 c strongcg : 0.02 6 0 0 31 0 1800.04/1800.50 c cmir : 0.02 6 0 0 10 0 1800.04/1800.50 c flowcover : 0.05 6 0 0 16 0 1800.04/1800.50 c clique : 0.00 1 0 0 0 0 1800.04/1800.50 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.50 c mcf : 0.00 1 0 0 0 0 1800.04/1800.50 c Pricers : Time Calls Vars 1800.04/1800.50 c problem variables: 0.00 0 0 1800.04/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.50 c relpscost : 22.36 1679342 63 4344 0 0 3350028 1800.04/1800.50 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.50 c inference : 0.00 0 0 0 0 0 0 1800.04/1800.50 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.50 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.50 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.50 c random : 0.00 0 0 0 0 0 0 1800.04/1800.50 c Primal Heuristics : Time Calls Found 1800.04/1800.50 c LP solutions : 0.26 - 19 1800.04/1800.50 c pseudo solutions : 0.00 - 0 1800.04/1800.50 c feaspump : 0.16 1 0 1800.04/1800.50 c oneopt : 1.37 32 0 1800.04/1800.50 c crossover : 25.64 12 0 1800.04/1800.50 c rootsoldiving : 7.65 1152 0 1800.04/1800.50 c fracdiving : 25.62 5576 7 1800.04/1800.50 c linesearchdiving : 19.22 5577 1 1800.04/1800.50 c pscostdiving : 24.95 5577 0 1800.04/1800.50 c veclendiving : 20.60 5577 0 1800.04/1800.50 c guideddiving : 21.32 5577 3 1800.04/1800.50 c coefdiving : 35.42 5577 2 1800.04/1800.50 c objpscostdiving : 12.44 2789 1 1800.04/1800.50 c simplerounding : 1.19 0 0 1800.04/1800.50 c rounding : 1.87 19147 0 1800.04/1800.50 c shifting : 6.66 5901 0 1800.04/1800.50 c intshifting : 0.08 0 0 1800.04/1800.50 c fixandinfer : 0.00 0 0 1800.04/1800.50 c intdiving : 0.00 0 0 1800.04/1800.50 c actconsdiving : 0.00 0 0 1800.04/1800.50 c octane : 0.00 0 0 1800.04/1800.50 c rens : 0.03 1 0 1800.04/1800.50 c rins : 0.00 0 0 1800.04/1800.50 c localbranching : 0.00 0 0 1800.04/1800.50 c mutation : 0.00 0 0 1800.04/1800.50 c dins : 0.00 0 0 1800.04/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.50 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.50 c dual LP : 909.73 2484516 12317014 4.96 13539.20 1800.04/1800.50 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.50 c diving/probing LP: 113.96 443471 1126026 2.54 9880.89 1800.04/1800.50 c strong branching : 5.81 22239 84980 3.82 14626.51 1800.04/1800.50 c (at root node) : - 16 598 37.38 - 1800.04/1800.50 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.50 c B&B Tree : 1800.04/1800.50 c number of runs : 1 1800.04/1800.50 c nodes : 2685829 1800.04/1800.50 c nodes (total) : 2685829 1800.04/1800.50 c nodes left : 602525 1800.04/1800.50 c max depth : 54 1800.04/1800.50 c max depth (total): 54 1800.04/1800.50 c backtracks : 511155 (19.0%) 1800.04/1800.50 c delayed cutoffs : 19239 1800.04/1800.50 c repropagations : 33428 (131091 domain reductions, 19227 cutoffs) 1800.04/1800.50 c avg switch length: 5.32 1800.04/1800.50 c switching time : 80.69 1800.04/1800.50 c Solution : 1800.04/1800.50 c Solutions found : 33 (32 improvements) 1800.04/1800.50 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1407079 nodes, 970.22 seconds, depth 47, found by <relaxation>) 1800.04/1800.50 c Dual Bound : +1.81898940354586e-12 1800.04/1800.50 c Gap : infinite 1800.04/1800.50 c Root Dual Bound : +1.81898940354586e-12 1801.93/1802.46 c Time complete: 1801.99.
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869533-1245177209/watcher-1869533-1245177209 -o /tmp/evaluation-result-1869533-1245177209/solver-1869533-1245177209 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869533-1245177209.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: 1.00 1.00 1.00 3/64 2201 /proc/meminfo: memFree=1847088/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=5812 CPUtime=0 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185321191 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/2201/statm: 1453 503 332 1256 0 192 0 [startup+0.0152949 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2201 /proc/meminfo: memFree=1847088/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=10992 CPUtime=0 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 2098 0 0 0 0 0 0 0 18 0 1 0 185321191 11255808 1728 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 2748 1732 411 1256 0 1487 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10992 [startup+0.101304 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2201 /proc/meminfo: memFree=1847088/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=15520 CPUtime=0.1 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 2983 0 0 0 9 1 0 0 18 0 1 0 185321191 15892480 2613 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 3880 2613 667 1256 0 2619 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15520 [startup+0.301324 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2201 /proc/meminfo: memFree=1847088/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=16480 CPUtime=0.3 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 4733 0 0 0 28 2 0 0 19 0 1 0 185321191 16875520 2698 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 4120 2698 693 1256 0 2859 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16480 [startup+0.701364 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2201 /proc/meminfo: memFree=1847088/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=16700 CPUtime=0.69 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 4807 0 0 0 67 2 0 0 22 0 1 0 185321191 17100800 2772 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 4175 2772 699 1256 0 2914 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16700 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1838568/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=17172 CPUtime=1.49 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 5552 0 0 0 145 4 0 0 25 0 1 0 185321191 17584128 2872 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 4293 2872 699 1256 0 3032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17172 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1837928/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=16540 CPUtime=3.09 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 8034 0 0 0 298 11 0 0 25 0 1 0 185321191 16936960 2945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 4135 2945 700 1256 0 2874 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16540 [startup+6.30193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1836712/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=19640 CPUtime=6.29 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 8546 0 0 0 611 18 0 0 25 0 1 0 185321191 20111360 3457 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 4910 3457 700 1256 0 3649 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19640 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1830704/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=22960 CPUtime=12.69 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 11053 0 0 0 1231 38 0 0 25 0 1 0 185321191 23511040 4721 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 5740 4721 700 1256 0 4479 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22960 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1825392/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=27936 CPUtime=25.48 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 13045 0 0 0 2475 73 0 0 25 0 1 0 185321191 28606464 6070 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 6984 6070 700 1256 0 5723 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27936 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2202 /proc/meminfo: memFree=1812400/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=41184 CPUtime=51.08 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 16318 0 0 0 4959 149 0 0 25 0 1 0 185321191 42172416 9343 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 10296 9343 700 1256 0 9035 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41184 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1796656/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=57832 CPUtime=102.27 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 24892 0 0 0 9907 320 0 0 25 0 1 0 185321191 59219968 13229 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 14458 13229 700 1256 0 13197 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 57832 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1773616/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=82616 CPUtime=162.25 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 32241 0 0 0 15720 505 0 0 25 0 1 0 185321191 84598784 19192 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 20654 19192 700 1256 0 19393 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 82616 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1756720/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=98636 CPUtime=222.23 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 37436 0 0 0 21523 700 0 0 25 0 1 0 185321191 101003264 23181 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 24659 23181 700 1256 0 23398 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 98636 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1740400/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=114792 CPUtime=282.22 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 41588 0 0 0 27340 882 0 0 25 0 1 0 185321191 117547008 27332 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 28698 27332 700 1256 0 27437 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 114792 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1717360/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=137048 CPUtime=342.21 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 47243 0 0 0 33150 1071 0 0 25 0 1 0 185321191 140337152 32987 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 34262 32987 700 1256 0 33001 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 137048 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1698992/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=154920 CPUtime=402.19 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 51852 0 0 0 38959 1260 0 0 25 0 1 0 185321191 158638080 37596 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 38730 37596 700 1256 0 37469 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 154920 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1684400/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=173736 CPUtime=462.17 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 55437 0 0 0 44769 1448 0 0 25 0 1 0 185321191 177905664 41181 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 43434 41181 700 1256 0 42173 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 173736 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1672304/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=185972 CPUtime=522.16 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 58432 0 0 0 50587 1629 0 0 25 0 1 0 185321191 190435328 44176 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 46493 44176 700 1256 0 45232 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 185972 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1656560/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=201108 CPUtime=582.15 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 62356 0 0 0 56396 1819 0 0 25 0 1 0 185321191 205934592 48100 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 50277 48100 700 1256 0 49016 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 201108 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1640880/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=215496 CPUtime=642.14 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 66798 0 0 0 62222 1992 0 0 25 0 1 0 185321191 220667904 52001 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 53874 52001 700 1256 0 52613 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 215496 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1560816/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=293492 CPUtime=1002.04 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 89113 0 0 0 97095 3109 0 0 25 0 1 0 185321191 300535808 71931 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 73373 71931 700 1256 0 72112 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 293492 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2202 /proc/meminfo: memFree=1558896/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=295984 CPUtime=1062.02 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 91603 0 0 0 102897 3305 0 0 25 0 1 0 185321191 303087616 72524 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 73996 72524 700 1256 0 72735 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 295984 [startup+1122.3 s] /proc/loadavg: 1.11 1.03 1.01 2/65 2204 /proc/meminfo: memFree=1550960/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=303588 CPUtime=1122.01 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 93440 0 0 0 108703 3498 0 0 25 0 1 0 185321191 310874112 74361 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 75897 74361 700 1256 0 74636 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 303588 [startup+1182.3 s] /proc/loadavg: 1.10 1.04 1.01 2/65 2204 /proc/meminfo: memFree=1541808/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=313336 CPUtime=1181.99 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 95713 0 0 0 114510 3689 0 0 25 0 1 0 185321191 320856064 76633 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 78334 76633 700 1256 0 77073 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 313336 [startup+1242.3 s] /proc/loadavg: 1.14 1.06 1.01 2/65 2204 /proc/meminfo: memFree=1534832/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=320368 CPUtime=1241.97 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 97574 0 0 0 120318 3879 0 0 25 0 1 0 185321191 328056832 78494 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 80092 78494 700 1256 0 78831 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 320368 [startup+1302.3 s] /proc/loadavg: 1.16 1.08 1.02 2/65 2204 /proc/meminfo: memFree=1525616/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=337120 CPUtime=1301.96 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 100642 0 0 0 126123 4073 0 0 25 0 1 0 185321191 345210880 80640 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 84280 80640 700 1256 0 83019 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 337120 [startup+1362.3 s] /proc/loadavg: 1.06 1.06 1.01 2/65 2204 /proc/meminfo: memFree=1518320/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=344308 CPUtime=1361.95 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 102461 0 0 0 131933 4262 0 0 25 0 1 0 185321191 352571392 82459 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 86077 82459 700 1256 0 84816 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 344308 [startup+1422.31 s] /proc/loadavg: 1.02 1.05 1.00 2/65 2204 /proc/meminfo: memFree=1510768/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=351692 CPUtime=1421.94 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 104340 0 0 0 137749 4445 0 0 25 0 1 0 185321191 360132608 84338 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 87923 84338 700 1256 0 86662 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 351692 [startup+1482.3 s] /proc/loadavg: 1.00 1.04 1.00 2/65 2204 /proc/meminfo: memFree=1499504/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=362628 CPUtime=1481.92 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 107135 0 0 0 143570 4622 0 0 25 0 1 0 185321191 371331072 87133 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 90657 87133 700 1256 0 89396 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 362628 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 2204 /proc/meminfo: memFree=1488688/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=373652 CPUtime=1541.9 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 110783 0 0 0 149373 4817 0 0 25 0 1 0 185321191 382619648 89826 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 93413 89826 700 1256 0 92152 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 373652 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2204 /proc/meminfo: memFree=1478448/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=383912 CPUtime=1601.89 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 113350 0 0 0 155183 5006 0 0 25 0 1 0 185321191 393125888 92393 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 95978 92393 700 1256 0 94717 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 383912 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2210 /proc/meminfo: memFree=1469488/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=392484 CPUtime=1661.87 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 115533 0 0 0 160994 5193 0 0 25 0 1 0 185321191 401903616 94576 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 98121 94576 700 1256 0 96860 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 392484 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2210 /proc/meminfo: memFree=1461168/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=401496 CPUtime=1721.86 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 117714 0 0 0 166801 5385 0 0 25 0 1 0 185321191 411131904 96757 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 100374 96757 700 1256 0 99113 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 401496 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2210 /proc/meminfo: memFree=1452272/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=409140 CPUtime=1781.84 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 119814 0 0 0 172611 5573 0 0 25 0 1 0 185321191 418959360 98857 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 102285 98857 700 1256 0 101024 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 409140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2210 /proc/meminfo: memFree=1449520/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=412208 CPUtime=1800.04 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 120489 0 0 0 174377 5627 0 0 25 0 1 0 185321191 422100992 99532 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2201/statm: 103052 99532 700 1256 0 101791 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 412208 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.00 1.00 1.00 2/66 2211 /proc/meminfo: memFree=1449512/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=412208 CPUtime=1800.93 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 120490 0 0 0 174466 5627 0 0 25 0 1 0 185321191 422100992 99533 1992294400 4194304 9342243 548682068736 18446744073709551615 5855009 0 0 4096 0 0 0 0 17 1 0 0 /proc/2201/statm: 103052 99533 701 1256 0 101791 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 412208 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2211 /proc/meminfo: memFree=1449512/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=412208 CPUtime=1801.73 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 120490 0 0 0 174546 5627 0 0 25 0 1 0 185321191 422100992 99533 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0 /proc/2201/statm: 103052 99533 701 1256 0 101791 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 412208 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2211 /proc/meminfo: memFree=1449512/2055920 swapFree=4182564/4192956 [pid=2201] ppid=2199 vsize=396836 CPUtime=1801.93 /proc/2201/stat : 2201 (pbscip.linux.x8) R 2199 2201 2092 0 -1 4194304 120490 0 0 0 174566 5627 0 0 25 0 1 0 185321191 406360064 97178 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0 /proc/2201/statm: 99209 97178 701 1256 0 97948 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 396836 Child status: 0 Real time (s): 1802.47 CPU time (s): 1802.01 CPU user time (s): 1745.67 CPU system time (s): 56.3394 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 412208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1745.67 system time used= 56.3394 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120493 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= 2772 runsolver used 1.58576 second user time and 3.41548 second system time The end
Begin job on node17 at 2009-06-16 20:33:29 IDJOB=1869533 IDBENCH=2921 IDSOLVER=684 FILE ID=node17/1869533-1245177209 PBS_JOBID= 9363919 Free space on /tmp= 66356 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_4.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-1869533-1245177209/watcher-1869533-1245177209 -o /tmp/evaluation-result-1869533-1245177209/solver-1869533-1245177209 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869533-1245177209.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1266890762 node17.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.214 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.214 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: 1847504 kB Buffers: 44108 kB Cached: 96236 kB SwapCached: 4224 kB Active: 42112 kB Inactive: 106168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847504 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 11752 kB Writeback: 0 kB Mapped: 13748 kB Slab: 46032 kB Committed_AS: 168432 kB PageTables: 1456 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= 66348 MiB End job on node17 at 2009-06-16 21:03:32