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 | 1801.48 | 1802.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
| MD5SUM | 7b9886d41278c23acb93039c546a310e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1802.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13 |
| 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 | 73 |
| Maximum length of a constraint | 75 |
| 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 | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4975 |
| 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-1869527-1245176564.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 | 30 | 536k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 156 | 641k| 0 | 10 | 165 | 7 | 7 | 165 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.07 c 0.1s| 1 | 0 | 165 | 709k| 0 | 14 | 165 | 7 | 7 | 165 | 19 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf 0.06/0.09 c 0.1s| 1 | 0 | 172 | 739k| 0 | 16 | 165 | 7 | 7 | 165 | 22 | 15 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.11 c 0.1s| 1 | 0 | 184 | 782k| 0 | 18 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.13 c 0.1s| 1 | 0 | 187 | 783k| 0 | 19 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf 0.19/0.24 c 0.2s| 1 | 2 | 187 | 784k| 0 | 19 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 19 | 1.818989e-12 | -- | Inf 0.39/0.43 o 919 0.39/0.43 c c 0.4s| 56 | 57 | 452 | 843k| 55 | - | 165 | 7 | 5 | 165 | 19 | 18 | 0 | 333 | 1.818989e-12 | 9.190000e+02 | Inf 0.39/0.49 o 382 0.39/0.49 c p 0.5s| 86 | 77 | 584 | 859k| 55 | - | 165 | 7 | 5 | 165 | 19 | 18 | 0 | 451 | 1.818989e-12 | 3.820000e+02 | Inf 0.79/0.81 o 185 0.79/0.81 c f 0.8s| 329 | 304 | 2028 |1002k| 55 | - | 165 | 7 | 5 | 165 | 19 | 18 | 6 | 669 | 1.818989e-12 | 1.850000e+02 | Inf 0.99/1.00 o 184 0.99/1.00 c f 1.0s| 508 | 483 | 3045 |1066k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 8 | 688 | 1.818989e-12 | 1.840000e+02 | Inf 1.10/1.15 o 183 1.10/1.15 c p 1.1s| 658 | 622 | 3757 |1132k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 13 | 718 | 1.818989e-12 | 1.830000e+02 | Inf 1.19/1.20 o 182 1.19/1.20 c f 1.2s| 718 | 672 | 3963 |1165k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 16 | 773 | 1.818989e-12 | 1.820000e+02 | Inf 4.19/4.23 o 123 4.19/4.23 c f 4.1s| 2551 | 2427 | 15935 |1924k| 55 | - | 165 | 7 | 5 | 165 | 19 | 18 | 68 | 817 | 1.818989e-12 | 1.230000e+02 | Inf 5.59/5.60 o 121 5.59/5.60 c * 5.4s| 3796 | 3644 | 23751 |2460k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 117 | 850 | 1.818989e-12 | 1.210000e+02 | Inf 5.89/5.98 o 88 5.89/5.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.89/5.98 c g 5.8s| 4116 | 3822 | 26163 |2521k| 55 | - | 165 | 7 | 1 | 165 | 19 | 18 | 129 | 863 | 1.818989e-12 | 8.800000e+01 | Inf 9.80/9.84 o 86 9.80/9.84 c c 9.5s| 6937 | 6514 | 47291 |3735k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 318 | 887 | 1.818989e-12 | 8.600000e+01 | Inf 14.38/14.40 c 13.9s| 10000 | 9407 | 69964 |5073k| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 586 | 995 | 1.818989e-12 | 8.600000e+01 | Inf 17.88/17.93 o 84 17.88/17.93 c *17.4s| 13614 | 12831 | 89789 |6630k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 700 |1166 | 1.818989e-12 | 8.400000e+01 | Inf 17.99/18.01 o 83 17.99/18.01 c *17.4s| 13705 | 12892 | 90218 |6667k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 701 |1172 | 1.818989e-12 | 8.300000e+01 | Inf 20.79/20.83 o 82 20.79/20.83 c *20.2s| 16691 | 15610 |106085 |8021k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 794 |1328 | 1.818989e-12 | 8.200000e+01 | Inf 20.79/20.83 o 80 20.79/20.83 c *20.2s| 16693 | 15591 |106085 |8004k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 794 |1328 | 1.818989e-12 | 8.000000e+01 | Inf 22.79/22.84 o 78 22.79/22.84 c f22.1s| 18839 | 17494 |117361 |8975k| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 873 |1417 | 1.818989e-12 | 7.800000e+01 | Inf 24.09/24.17 c 23.4s| 20000 | 18480 |124725 |9541k| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 967 |1477 | 1.818989e-12 | 7.800000e+01 | Inf 32.37/32.40 o 77 32.37/32.40 c *31.4s| 26902 | 24356 |162044 | 12M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |1269 |1772 | 1.818989e-12 | 7.700000e+01 | Inf 32.37/32.41 o 69 32.37/32.41 c g31.4s| 26905 | 24102 |162054 | 12M| 55 | - | 165 | 7 | 2 | 165 | 19 | 18 |1269 |1785 | 1.818989e-12 | 6.900000e+01 | Inf 35.58/35.68 c 34.5s| 30000 | 26578 |180987 | 14M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |1440 |1924 | 1.818989e-12 | 6.900000e+01 | Inf 36.78/36.86 o 68 36.78/36.86 c *35.7s| 31317 | 27601 |187774 | 14M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |1497 |1972 | 1.818989e-12 | 6.800000e+01 | Inf 37.18/37.21 o 67 37.18/37.21 c *36.0s| 31697 | 27824 |189853 | 14M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |1520 |1986 | 1.818989e-12 | 6.700000e+01 | Inf 37.18/37.22 o 65 37.18/37.22 c *36.0s| 31698 | 27695 |189855 | 14M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |1520 |1989 | 1.818989e-12 | 6.500000e+01 | Inf 38.57/38.68 o 51 38.57/38.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 38.57/38.68 c g37.4s| 33254 | 27538 |198301 | 14M| 55 | - | 165 | 7 | 2 | 165 | 19 | 18 |1585 |2036 | 1.818989e-12 | 5.100000e+01 | Inf 45.27/45.39 c 44.0s| 40000 | 32315 |235816 | 17M| 55 | 7 | 165 | 7 | 8 | 165 | 19 | 18 |2008 |2280 | 1.818989e-12 | 5.100000e+01 | Inf 45.87/45.99 o 49 45.87/45.99 c f44.5s| 40563 | 32497 |239396 | 17M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |2040 |2296 | 1.818989e-12 | 4.900000e+01 | Inf 53.17/53.28 o 47 53.17/53.28 c *51.6s| 48005 | 37109 |280763 | 19M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |2541 |2513 | 1.818989e-12 | 4.700000e+01 | Inf 55.07/55.18 c 53.4s| 50000 | 38425 |291840 | 20M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |2683 |2593 | 1.818989e-12 | 4.700000e+01 | Inf 64.27/64.30 c 62.3s| 60000 | 44664 |348682 | 25M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |3383 |2926 | 1.818989e-12 | 4.700000e+01 | Inf 64.27/64.39 o 46 64.27/64.39 c *62.4s| 60116 | 44548 |349295 | 25M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |3387 |2944 | 1.818989e-12 | 4.600000e+01 | Inf 68.06/68.14 o 44 68.06/68.14 c *66.0s| 64181 | 46530 |372689 | 26M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |3697 |3060 | 1.818989e-12 | 4.400000e+01 | Inf 73.45/73.54 c 71.2s| 70000 | 49977 |406336 | 28M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |4123 |3241 | 1.818989e-12 | 4.400000e+01 | Inf 78.86/78.99 o 42 78.86/78.99 c *76.5s| 76085 | 53206 |440535 | 30M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |4548 |3390 | 1.818989e-12 | 4.200000e+01 | Inf 82.36/82.46 c 79.9s| 80000 | 55426 |462922 | 32M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |4802 |3495 | 1.818989e-12 | 4.200000e+01 | Inf 91.45/91.59 c 88.7s| 90000 | 61100 |521771 | 36M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 |5498 |3746 | 1.818989e-12 | 4.200000e+01 | Inf 100.45/100.54 c 97.4s|100000 | 66479 |579819 | 40M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |6282 |3975 | 1.818989e-12 | 4.200000e+01 | Inf 109.15/109.29 c 106s|110000 | 71794 |638058 | 44M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |7024 |4196 | 1.818989e-12 | 4.200000e+01 | Inf 116.85/116.95 o 40 116.85/116.95 c * 113s|118795 | 75615 |689410 | 47M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |7714 |4390 | 1.818989e-12 | 4.000000e+01 | Inf 120.45/120.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 120.45/120.55 c 117s|120000 | 76206 |696295 | 47M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 |7805 |4428 | 1.818989e-12 | 4.000000e+01 | Inf 126.74/126.85 o 39 126.74/126.85 c * 123s|127823 | 79111 |739029 | 50M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |8399 |4586 | 1.818989e-12 | 3.900000e+01 | Inf 128.54/128.68 c 125s|130000 | 80101 |751504 | 51M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |8540 |4621 | 1.818989e-12 | 3.900000e+01 | Inf 137.14/137.27 c 133s|140000 | 84972 |808371 | 54M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 |9197 |4825 | 1.818989e-12 | 3.900000e+01 | Inf 142.64/142.72 o 37 142.64/142.72 c * 138s|146643 | 86824 |844857 | 55M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |9667 |4969 | 1.818989e-12 | 3.700000e+01 | Inf 142.64/142.73 o 35 142.64/142.73 c * 138s|146644 | 85501 |844857 | 54M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 |9667 |4969 | 1.818989e-12 | 3.500000e+01 | Inf 145.53/145.62 c 141s|150000 | 86996 |863807 | 55M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 |9919 |5015 | 1.818989e-12 | 3.500000e+01 | Inf 153.64/153.74 c 149s|160000 | 91253 |916538 | 59M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 10k|5167 | 1.818989e-12 | 3.500000e+01 | Inf 161.73/161.89 c 157s|170000 | 95376 |969971 | 62M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 11k|5307 | 1.818989e-12 | 3.500000e+01 | Inf 170.53/170.68 o 34 170.53/170.68 c * 165s|177583 | 97911 | 1010k| 64M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 11k|5407 | 1.818989e-12 | 3.400000e+01 | Inf 172.53/172.64 c 167s|180000 | 98949 | 1022k| 64M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 12k|5444 | 1.818989e-12 | 3.400000e+01 | Inf 180.63/180.70 c 175s|190000 |102994 | 1075k| 68M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 12k|5577 | 1.818989e-12 | 3.400000e+01 | Inf 189.03/189.12 c 183s|200000 |107316 | 1128k| 71M| 55 | - | 165 | 7 | 8 | 165 | 19 | 18 | 13k|5692 | 1.818989e-12 | 3.400000e+01 | Inf 197.33/197.49 c 191s|210000 |111823 | 1183k| 74M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 14k|5794 | 1.818989e-12 | 3.400000e+01 | Inf 197.73/197.83 o 32 197.73/197.83 c * 192s|210425 |101582 | 1185k| 65M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 14k|5798 | 1.818989e-12 | 3.200000e+01 | Inf 205.83/205.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 205.83/205.92 c 200s|220000 |106320 | 1240k| 68M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 15k|5943 | 1.818989e-12 | 3.200000e+01 | Inf 213.52/213.65 o 31 213.52/213.65 c * 207s|229519 |110146 | 1293k| 70M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 15k|6052 | 1.818989e-12 | 3.100000e+01 | Inf 213.92/214.02 c 207s|230000 |110299 | 1296k| 70M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 15k|6063 | 1.818989e-12 | 3.100000e+01 | Inf 222.71/222.88 c 216s|240000 |115442 | 1355k| 74M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 16k|6180 | 1.818989e-12 | 3.100000e+01 | Inf 231.51/231.63 c 224s|250000 |120501 | 1414k| 77M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 17k|6304 | 1.818989e-12 | 3.100000e+01 | Inf 239.81/239.91 c 233s|260000 |125154 | 1471k| 80M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 18k|6412 | 1.818989e-12 | 3.100000e+01 | Inf 247.91/248.06 c 240s|270000 |129899 | 1527k| 83M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 18k|6537 | 1.818989e-12 | 3.100000e+01 | Inf 255.91/256.00 c 248s|280000 |134154 | 1583k| 86M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 19k|6643 | 1.818989e-12 | 3.100000e+01 | Inf 260.11/260.29 o 30 260.11/260.29 c * 252s|285417 |135761 | 1613k| 87M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 20k|6699 | 1.818989e-12 | 3.000000e+01 | Inf 263.61/263.75 c 256s|290000 |137364 | 1637k| 88M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 20k|6755 | 1.818989e-12 | 3.000000e+01 | Inf 271.51/271.67 c 263s|300000 |141408 | 1693k| 91M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 21k|6868 | 1.818989e-12 | 3.000000e+01 | Inf 279.50/279.60 c 271s|310000 |145410 | 1748k| 94M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 22k|6981 | 1.818989e-12 | 3.000000e+01 | Inf 287.10/287.23 c 278s|320000 |149227 | 1802k| 96M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 22k|7091 | 1.818989e-12 | 3.000000e+01 | Inf 294.60/294.70 c 286s|330000 |152813 | 1857k| 99M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 23k|7198 | 1.818989e-12 | 3.000000e+01 | Inf 302.09/302.30 c 293s|340000 |156071 | 1912k| 102M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 24k|7312 | 1.818989e-12 | 3.000000e+01 | Inf 305.99/306.12 o 28 305.99/306.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 305.99/306.12 c * 297s|344902 |156298 | 1940k| 101M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 24k|7381 | 1.818989e-12 | 2.800000e+01 | Inf 305.99/306.13 o 26 305.99/306.13 c * 297s|344903 |154099 | 1940k| 98M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 24k|7381 | 1.818989e-12 | 2.600000e+01 | Inf 309.80/309.99 c 301s|350000 |155843 | 1968k| 99M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 25k|7417 | 1.818989e-12 | 2.600000e+01 | Inf 317.59/317.76 c 308s|360000 |159391 | 2024k| 101M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 25k|7523 | 1.818989e-12 | 2.600000e+01 | Inf 325.89/326.06 c 316s|370000 |163929 | 2081k| 104M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 26k|7603 | 1.818989e-12 | 2.600000e+01 | Inf 333.89/334.05 c 324s|380000 |167892 | 2137k| 107M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 27k|7708 | 1.818989e-12 | 2.600000e+01 | Inf 341.48/341.62 c 331s|390000 |171277 | 2190k| 109M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 28k|7819 | 1.818989e-12 | 2.600000e+01 | Inf 341.99/342.18 o 25 341.99/342.18 c * 332s|390772 |170170 | 2194k| 108M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 28k|7835 | 1.818989e-12 | 2.500000e+01 | Inf 342.08/342.20 o 23 342.08/342.20 c * 332s|390773 |167192 | 2194k| 104M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 28k|7837 | 1.818989e-12 | 2.300000e+01 | Inf 351.29/351.48 c 341s|400000 |169889 | 2242k| 106M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 28k|7924 | 1.818989e-12 | 2.300000e+01 | Inf 358.78/358.90 c 348s|410000 |173017 | 2295k| 109M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 29k|8040 | 1.818989e-12 | 2.300000e+01 | Inf 368.88/369.04 c 358s|420000 |176014 | 2348k| 111M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 30k|8156 | 1.818989e-12 | 2.300000e+01 | Inf 376.17/376.37 c 365s|430000 |178909 | 2400k| 113M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 30k|8261 | 1.818989e-12 | 2.300000e+01 | Inf 383.47/383.66 c 372s|440000 |181500 | 2453k| 115M| 55 | - | 165 | 7 | 6 | 0 | 0 | 18 | 31k|8376 | 1.818989e-12 | 2.300000e+01 | Inf 390.77/390.97 c 379s|450000 |184317 | 2506k| 117M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 32k|8474 | 1.818989e-12 | 2.300000e+01 | Inf 398.07/398.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 398.07/398.26 c 386s|460000 |187112 | 2558k| 119M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 33k|8568 | 1.818989e-12 | 2.300000e+01 | Inf 405.16/405.33 c 393s|470000 |189572 | 2610k| 121M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 33k|8672 | 1.818989e-12 | 2.300000e+01 | Inf 412.47/412.62 c 400s|480000 |192124 | 2664k| 123M| 55 | - | 165 | 7 | 8 | 165 | 19 | 18 | 34k|8760 | 1.818989e-12 | 2.300000e+01 | Inf 419.97/420.13 c 407s|490000 |195286 | 2717k| 125M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 35k|8851 | 1.818989e-12 | 2.300000e+01 | Inf 427.07/427.27 c 414s|500000 |197445 | 2770k| 127M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 35k|8956 | 1.818989e-12 | 2.300000e+01 | Inf 434.26/434.40 c 421s|510000 |199697 | 2822k| 129M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 36k|9055 | 1.818989e-12 | 2.300000e+01 | Inf 441.46/441.65 c 428s|520000 |201929 | 2875k| 131M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 37k|9170 | 1.818989e-12 | 2.300000e+01 | Inf 449.06/449.20 c 435s|530000 |205256 | 2928k| 133M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 37k|9248 | 1.818989e-12 | 2.300000e+01 | Inf 455.25/455.40 o 22 455.25/455.40 c * 441s|538114 |206130 | 2970k| 132M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 38k|9331 | 1.818989e-12 | 2.200000e+01 | Inf 455.25/455.43 o 20 455.25/455.43 c * 441s|538116 |201789 | 2970k| 127M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 38k|9333 | 1.818989e-12 | 2.000000e+01 | Inf 455.25/455.46 o 18 455.25/455.46 c * 442s|538117 |196460 | 2970k| 121M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 38k|9333 | 1.818989e-12 | 1.800000e+01 | Inf 456.65/456.84 c 443s|540000 |196979 | 2980k| 121M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 38k|9354 | 1.818989e-12 | 1.800000e+01 | Inf 463.75/463.91 c 450s|550000 |199298 | 3031k| 123M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 39k|9448 | 1.818989e-12 | 1.800000e+01 | Inf 472.75/472.93 c 458s|560000 |201413 | 3081k| 125M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 39k|9538 | 1.818989e-12 | 1.800000e+01 | Inf 479.65/479.90 c 465s|570000 |203394 | 3132k| 126M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 40k|9633 | 1.818989e-12 | 1.800000e+01 | Inf 486.54/486.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 486.54/486.78 c 472s|580000 |205042 | 3182k| 127M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 41k|9727 | 1.818989e-12 | 1.800000e+01 | Inf 493.44/493.66 c 479s|590000 |206905 | 3231k| 129M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 42k|9809 | 1.818989e-12 | 1.800000e+01 | Inf 500.64/500.88 c 486s|600000 |209666 | 3282k| 131M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 42k|9892 | 1.818989e-12 | 1.800000e+01 | Inf 507.64/507.80 c 492s|610000 |212194 | 3332k| 132M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 43k|9978 | 1.818989e-12 | 1.800000e+01 | Inf 514.44/514.67 c 499s|620000 |214415 | 3382k| 134M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 44k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 521.33/521.52 c 506s|630000 |216327 | 3432k| 135M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 44k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 528.43/528.61 c 512s|640000 |219141 | 3483k| 137M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 45k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 535.33/535.57 c 519s|650000 |221451 | 3534k| 139M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 45k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 542.63/542.88 c 526s|660000 |224134 | 3588k| 140M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 46k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 550.02/550.20 c 533s|670000 |226866 | 3642k| 142M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 47k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 557.43/557.68 c 541s|680000 |230047 | 3694k| 144M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 47k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 564.62/564.81 c 548s|690000 |232650 | 3746k| 146M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 48k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 571.42/571.69 c 554s|700000 |234757 | 3797k| 148M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 48k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 578.51/578.77 c 561s|710000 |237118 | 3850k| 149M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 49k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 585.52/585.74 c 568s|720000 |239470 | 3901k| 151M| 55 | - | 165 | 7 | 6 | 0 | 0 | 18 | 50k| 10k| 1.818989e-12 | 1.800000e+01 | Inf 592.62/592.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 592.62/592.85 c 575s|730000 |241783 | 3953k| 153M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 50k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 600.01/600.25 c 582s|740000 |244714 | 4006k| 154M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 51k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 607.21/607.41 c 589s|750000 |247528 | 4058k| 156M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 52k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 614.40/614.62 c 596s|760000 |250243 | 4110k| 158M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 52k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 621.61/621.89 c 603s|770000 |252980 | 4162k| 160M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 53k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 628.81/629.01 c 610s|780000 |255621 | 4213k| 162M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 54k| 11k| 1.818989e-12 | 1.800000e+01 | Inf 634.80/635.05 o 17 634.80/635.05 c * 616s|788206 |254790 | 4258k| 160M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 54k| 11k| 1.818989e-12 | 1.700000e+01 | Inf 634.91/635.10 o 15 634.91/635.10 c * 616s|788207 |242775 | 4258k| 148M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 54k| 11k| 1.818989e-12 | 1.500000e+01 | Inf 636.10/636.37 c 617s|790000 |242996 | 4268k| 149M| 55 | - | 165 | 7 | 6 | 165 | 19 | 18 | 54k| 11k| 1.818989e-12 | 1.500000e+01 | Inf 642.90/643.17 c 624s|800000 |244937 | 4321k| 150M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 55k| 11k| 1.818989e-12 | 1.500000e+01 | Inf 652.50/652.74 c 633s|810000 |246839 | 4376k| 151M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 55k| 11k| 1.818989e-12 | 1.500000e+01 | Inf 659.39/659.60 c 640s|820000 |248726 | 4428k| 152M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 56k| 11k| 1.818989e-12 | 1.500000e+01 | Inf 662.80/663.05 o 14 662.80/663.05 c * 643s|824934 |246802 | 4454k| 149M| 55 | - | 165 | 7 | 0 | 165 | 19 | 18 | 56k| 11k| 1.818989e-12 | 1.400000e+01 | Inf 666.10/666.39 c 646s|830000 |247534 | 4480k| 150M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 57k| 11k| 1.818989e-12 | 1.400000e+01 | Inf 672.89/673.19 c 653s|840000 |248983 | 4533k| 151M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 58k| 11k| 1.818989e-12 | 1.400000e+01 | Inf 679.79/680.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 679.79/680.02 c 659s|850000 |250859 | 4586k| 152M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 58k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 686.38/686.66 c 666s|860000 |252647 | 4637k| 153M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 59k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 693.09/693.37 c 672s|870000 |254057 | 4690k| 154M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 60k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 699.88/700.11 c 679s|880000 |255510 | 4743k| 155M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 60k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 706.58/706.83 c 685s|890000 |257717 | 4795k| 156M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 61k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 713.28/713.59 c 692s|900000 |259582 | 4847k| 157M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 62k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 719.98/720.25 c 698s|910000 |260746 | 4900k| 158M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 62k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 726.67/726.95 c 705s|920000 |262635 | 4952k| 159M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 63k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 733.28/733.57 c 711s|930000 |263992 | 5003k| 160M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 64k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 739.98/740.20 c 718s|940000 |265068 | 5052k| 161M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 64k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 746.47/746.71 c 724s|950000 |266401 | 5102k| 162M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 65k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 752.97/753.26 c 730s|960000 |267617 | 5152k| 163M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 66k| 12k| 1.818989e-12 | 1.400000e+01 | Inf 759.67/759.95 c 737s|970000 |268630 | 5203k| 164M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 66k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 766.27/766.60 c 743s|980000 |270433 | 5254k| 165M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 67k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 772.86/773.15 c 750s|990000 |271354 | 5304k| 166M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 68k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 779.46/779.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 779.46/779.75 c 756s| 1000k|272332 | 5355k| 166M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 69k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 785.96/786.20 c 762s| 1010k|273525 | 5403k| 167M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 69k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 792.46/792.74 c 769s| 1020k|274068 | 5454k| 168M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 70k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 799.05/799.39 c 775s| 1030k|274800 | 5505k| 168M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 71k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 805.76/806.00 c 782s| 1040k|275324 | 5557k| 169M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 72k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 812.16/812.47 c 788s| 1050k|276189 | 5607k| 170M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 72k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 818.85/819.10 c 794s| 1060k|276963 | 5658k| 170M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 73k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 825.45/825.72 c 801s| 1070k|277872 | 5710k| 171M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 74k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 832.15/832.44 c 807s| 1080k|279508 | 5761k| 172M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 74k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 839.05/839.38 c 814s| 1090k|281685 | 5813k| 174M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 75k| 13k| 1.818989e-12 | 1.400000e+01 | Inf 845.84/846.18 c 820s| 1100k|282924 | 5869k| 174M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 76k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 852.54/852.87 c 827s| 1110k|284302 | 5924k| 175M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 77k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 859.44/859.70 c 834s| 1120k|285667 | 5981k| 176M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 77k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 866.13/866.45 c 840s| 1130k|286869 | 6036k| 177M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 78k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 872.84/873.14 c 847s| 1140k|287878 | 6091k| 178M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 79k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 879.63/880.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 879.63/880.00 c 853s| 1150k|288938 | 6147k| 179M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 80k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 886.43/886.74 c 860s| 1160k|289939 | 6201k| 180M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 80k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 893.12/893.46 c 866s| 1170k|290806 | 6255k| 180M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 81k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 899.72/900.06 c 873s| 1180k|292113 | 6305k| 181M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 82k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 906.32/906.60 c 879s| 1190k|292836 | 6355k| 182M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 83k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 913.02/913.32 c 886s| 1200k|294073 | 6405k| 183M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 83k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 919.71/920.02 c 892s| 1210k|295132 | 6456k| 184M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 84k| 14k| 1.818989e-12 | 1.400000e+01 | Inf 926.41/926.72 c 899s| 1220k|296557 | 6508k| 185M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 85k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 933.11/933.43 c 905s| 1230k|297823 | 6559k| 186M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 86k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 939.81/940.12 c 912s| 1240k|298640 | 6610k| 186M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 86k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 946.31/946.69 c 918s| 1250k|299256 | 6662k| 187M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 87k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 952.91/953.29 c 924s| 1260k|299887 | 6713k| 188M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 88k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 959.61/960.00 c 931s| 1270k|301064 | 6765k| 188M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 89k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 966.20/966.57 c 937s| 1280k|301935 | 6817k| 189M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 90k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 972.80/973.19 c 944s| 1290k|303037 | 6869k| 190M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 90k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 979.70/980.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 979.70/980.07 c 950s| 1300k|305194 | 6920k| 191M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 91k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 986.31/986.64 c 957s| 1310k|306844 | 6970k| 192M| 55 | - | 165 | 7 | 8 | 165 | 19 | 18 | 92k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 992.80/993.18 c 963s| 1320k|308134 | 7021k| 193M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 92k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 999.40/999.76 c 969s| 1330k|309089 | 7071k| 194M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 93k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 1005.90/1006.22 c 976s| 1340k|310219 | 7119k| 195M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 94k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 1012.40/1012.72 c 982s| 1350k|310945 | 7168k| 196M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 95k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 1018.99/1019.34 c 988s| 1360k|312027 | 7217k| 196M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 96k| 15k| 1.818989e-12 | 1.400000e+01 | Inf 1025.39/1025.75 c 995s| 1370k|312622 | 7265k| 197M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 96k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1031.88/1032.26 c 1001s| 1380k|313508 | 7314k| 198M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 97k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1038.39/1038.80 c 1007s| 1390k|314488 | 7362k| 199M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 98k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1044.88/1045.29 c 1014s| 1400k|315174 | 7411k| 199M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 99k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1051.38/1051.79 c 1020s| 1410k|315723 | 7460k| 200M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 100k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1057.98/1058.37 c 1026s| 1420k|316426 | 7510k| 200M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 100k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1064.78/1065.15 c 1033s| 1430k|317391 | 7561k| 201M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 101k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1071.58/1071.99 c 1040s| 1440k|319688 | 7611k| 202M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 102k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1078.28/1078.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1078.28/1078.69 c 1046s| 1450k|321476 | 7661k| 204M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 103k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1084.98/1085.39 c 1053s| 1460k|323221 | 7712k| 205M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 103k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1091.67/1092.08 c 1059s| 1470k|324860 | 7763k| 206M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 104k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1098.48/1098.89 c 1066s| 1480k|327221 | 7813k| 207M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 105k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1105.26/1105.67 c 1072s| 1490k|329033 | 7867k| 208M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 105k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1112.07/1112.44 c 1079s| 1500k|330536 | 7919k| 209M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 106k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1118.76/1119.18 c 1085s| 1510k|331730 | 7972k| 210M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 107k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1125.36/1125.79 c 1092s| 1520k|332849 | 8023k| 211M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 108k| 16k| 1.818989e-12 | 1.400000e+01 | Inf 1132.06/1132.49 c 1098s| 1530k|334134 | 8076k| 212M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 108k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1138.76/1139.18 c 1105s| 1540k|335090 | 8128k| 213M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 109k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1145.35/1145.76 c 1111s| 1550k|335933 | 8179k| 213M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 110k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1152.25/1152.66 c 1118s| 1560k|338109 | 8232k| 215M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 110k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1158.95/1159.38 c 1124s| 1570k|340182 | 8282k| 216M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 111k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1165.75/1166.13 c 1131s| 1580k|342120 | 8334k| 217M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 112k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1172.45/1172.84 c 1137s| 1590k|343511 | 8386k| 218M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 112k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1179.24/1179.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1179.24/1179.64 c 1144s| 1600k|345013 | 8438k| 219M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 113k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1185.84/1186.23 c 1150s| 1610k|346552 | 8489k| 220M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 114k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1192.44/1192.88 c 1157s| 1620k|347602 | 8540k| 221M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 115k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1199.24/1199.69 c 1163s| 1630k|348701 | 8593k| 222M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 115k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1205.93/1206.34 c 1170s| 1640k|350682 | 8644k| 223M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 116k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1212.53/1212.90 c 1176s| 1650k|351936 | 8694k| 224M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 117k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1219.03/1219.44 c 1182s| 1660k|353239 | 8741k| 225M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 117k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1225.64/1226.00 c 1189s| 1670k|354195 | 8790k| 225M| 55 | - | 165 | 7 | 8 | 165 | 19 | 18 | 118k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1232.03/1232.43 c 1195s| 1680k|355347 | 8837k| 226M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 119k| 17k| 1.818989e-12 | 1.400000e+01 | Inf 1236.83/1237.30 o 11 1236.83/1237.30 c g1200s| 1687k|343466 | 8873k| 211M| 55 | - | 165 | 7 | 2 | 165 | 19 | 18 | 119k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1238.62/1239.01 c 1201s| 1690k|343688 | 8885k| 211M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 119k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1247.33/1247.78 c 1210s| 1700k|344703 | 8933k| 212M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 120k| 17k| 1.818989e-12 | 1.100000e+01 | Inf 1254.02/1254.42 c 1216s| 1710k|346431 | 8982k| 213M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 121k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1260.52/1260.93 c 1223s| 1720k|347702 | 9031k| 213M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 121k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1267.02/1267.42 c 1229s| 1730k|349008 | 9081k| 214M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 122k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1273.52/1273.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1273.52/1273.92 c 1235s| 1740k|350119 | 9130k| 215M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 122k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1280.02/1280.45 c 1242s| 1750k|351055 | 9180k| 216M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 123k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1286.41/1286.90 c 1248s| 1760k|351872 | 9229k| 217M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 124k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1292.91/1293.36 c 1254s| 1770k|352763 | 9277k| 217M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 124k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1299.41/1299.87 c 1260s| 1780k|353616 | 9327k| 218M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 125k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1305.91/1306.33 c 1267s| 1790k|354017 | 9377k| 218M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 126k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1312.41/1312.88 c 1273s| 1800k|355244 | 9427k| 219M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 126k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1319.10/1319.52 c 1279s| 1810k|356272 | 9477k| 220M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 127k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1325.60/1326.06 c 1286s| 1820k|356740 | 9529k| 220M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 128k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1332.09/1332.53 c 1292s| 1830k|357230 | 9579k| 221M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 128k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1338.69/1339.13 c 1298s| 1840k|357571 | 9630k| 221M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 129k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1345.29/1345.79 c 1305s| 1850k|358138 | 9683k| 222M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 130k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1351.80/1352.21 c 1311s| 1860k|358521 | 9733k| 222M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 130k| 18k| 1.818989e-12 | 1.100000e+01 | Inf 1358.29/1358.75 c 1318s| 1870k|359155 | 9783k| 223M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 131k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1364.89/1365.32 c 1324s| 1880k|360106 | 9834k| 224M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 132k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1371.39/1371.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1371.39/1371.80 c 1330s| 1890k|361031 | 9884k| 224M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 132k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1377.89/1378.33 c 1336s| 1900k|361654 | 9934k| 225M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 133k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1384.29/1384.75 c 1343s| 1910k|362694 | 9984k| 226M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 134k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1390.68/1391.16 c 1349s| 1920k|363148 | 10034k| 226M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 134k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1397.18/1397.68 c 1355s| 1930k|363776 | 10085k| 227M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 135k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1403.58/1404.05 c 1361s| 1940k|364509 | 10134k| 227M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 136k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1409.87/1410.38 c 1368s| 1950k|364920 | 10182k| 228M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 136k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1416.38/1416.89 c 1374s| 1960k|365198 | 10232k| 228M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 137k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1422.88/1423.34 c 1380s| 1970k|365461 | 10283k| 228M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 138k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1429.37/1429.81 c 1386s| 1980k|365609 | 10334k| 229M| 55 | - | 165 | 7 | 8 | 165 | 19 | 18 | 138k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1435.87/1436.33 c 1393s| 1990k|366289 | 10385k| 229M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 139k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1442.37/1442.80 c 1399s| 2000k|366689 | 10436k| 230M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 140k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1448.77/1449.24 c 1405s| 2010k|366852 | 10487k| 230M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 140k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1455.26/1455.70 c 1411s| 2020k|366974 | 10537k| 230M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 141k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1461.86/1462.31 c 1418s| 2030k|367913 | 10589k| 231M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 142k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1468.26/1468.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1468.26/1468.77 c 1424s| 2040k|368058 | 10641k| 231M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 142k| 19k| 1.818989e-12 | 1.100000e+01 | Inf 1474.66/1475.19 c 1430s| 2050k|368633 | 10689k| 232M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 143k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1481.16/1481.66 c 1437s| 2060k|369528 | 10740k| 232M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 143k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1487.55/1488.07 c 1443s| 2070k|369857 | 10791k| 233M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 144k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1493.95/1494.45 c 1449s| 2080k|370063 | 10841k| 233M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 145k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1500.55/1501.01 c 1455s| 2090k|370120 | 10891k| 233M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 145k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1506.95/1507.42 c 1462s| 2100k|370358 | 10940k| 234M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 146k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1513.45/1513.91 c 1468s| 2110k|370842 | 10992k| 234M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 147k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1519.85/1520.39 c 1474s| 2120k|371901 | 11041k| 235M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 147k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1526.24/1526.77 c 1480s| 2130k|372262 | 11091k| 235M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 148k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1532.74/1533.24 c 1487s| 2140k|372102 | 11141k| 235M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 149k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1539.23/1539.79 c 1493s| 2150k|372360 | 11194k| 236M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 149k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1545.73/1546.24 c 1499s| 2160k|372337 | 11245k| 236M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 150k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1552.23/1552.76 c 1506s| 2170k|372193 | 11297k| 236M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 151k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1558.74/1559.23 c 1512s| 2180k|372361 | 11347k| 236M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 151k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1565.33/1565.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1565.33/1565.81 c 1518s| 2190k|372288 | 11400k| 237M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 152k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1571.73/1572.28 c 1524s| 2200k|373088 | 11452k| 237M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 153k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1578.23/1578.79 c 1531s| 2210k|372992 | 11503k| 237M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 153k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1584.73/1585.25 c 1537s| 2220k|373054 | 11554k| 238M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 154k| 20k| 1.818989e-12 | 1.100000e+01 | Inf 1591.23/1591.72 c 1543s| 2230k|373147 | 11605k| 238M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 155k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1597.72/1598.25 c 1550s| 2240k|373236 | 11656k| 238M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 155k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1604.21/1604.76 c 1556s| 2250k|373213 | 11709k| 238M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 156k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1610.72/1611.29 c 1562s| 2260k|373239 | 11761k| 238M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 157k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1617.21/1617.77 c 1569s| 2270k|373263 | 11812k| 239M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 157k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1623.81/1624.33 c 1575s| 2280k|374435 | 11863k| 239M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 158k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1630.31/1630.86 c 1581s| 2290k|375825 | 11914k| 240M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 159k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1636.81/1637.34 c 1588s| 2300k|376616 | 11964k| 241M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 159k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1643.31/1643.84 c 1594s| 2310k|377106 | 12015k| 242M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 160k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1649.60/1650.19 c 1600s| 2320k|378217 | 12065k| 242M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 161k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1656.11/1656.65 c 1606s| 2330k|378816 | 12115k| 243M| 55 | - | 165 | 7 | 7 | 0 | 0 | 18 | 161k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1662.50/1663.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1662.50/1663.08 c 1613s| 2340k|379079 | 12165k| 243M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 162k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1669.00/1669.54 c 1619s| 2350k|379646 | 12216k| 244M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 163k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1675.50/1676.09 c 1625s| 2360k|380885 | 12266k| 245M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 163k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1681.99/1682.54 c 1631s| 2370k|381400 | 12315k| 245M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 164k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1688.49/1689.04 c 1638s| 2380k|382348 | 12365k| 246M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 165k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1694.99/1695.58 c 1644s| 2390k|382944 | 12416k| 246M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 165k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1701.49/1702.09 c 1650s| 2400k|383682 | 12466k| 247M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 166k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1707.99/1708.53 c 1657s| 2410k|384589 | 12517k| 248M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 167k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1714.49/1715.09 c 1663s| 2420k|385828 | 12567k| 249M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 167k| 21k| 1.818989e-12 | 1.100000e+01 | Inf 1721.09/1721.62 c 1669s| 2430k|386522 | 12618k| 249M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 168k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1727.48/1728.10 c 1676s| 2440k|386834 | 12670k| 250M| 55 | - | 165 | 7 | 8 | 0 | 0 | 18 | 169k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1734.09/1734.61 c 1682s| 2450k|386908 | 12721k| 250M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 169k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1740.58/1741.10 c 1688s| 2460k|387397 | 12771k| 250M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 170k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1746.97/1747.57 c 1694s| 2470k|387950 | 12822k| 251M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 171k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1753.58/1754.12 c 1701s| 2480k|388046 | 12873k| 251M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 171k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1760.07/1760.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1760.07/1760.64 c 1707s| 2490k|388207 | 12924k| 251M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 172k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1766.67/1767.25 c 1713s| 2500k|389746 | 12975k| 252M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 173k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1773.06/1773.65 c 1720s| 2510k|390547 | 13026k| 253M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 174k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1779.66/1780.28 c 1726s| 2520k|391808 | 13077k| 254M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 174k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1786.17/1786.74 c 1732s| 2530k|392895 | 13127k| 255M| 55 | 7 | 165 | 7 | 7 | 165 | 19 | 18 | 175k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1792.67/1793.24 c 1739s| 2540k|393901 | 13178k| 256M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 176k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1799.26/1799.89 c 1745s| 2550k|394803 | 13230k| 256M| 55 | - | 165 | 7 | 7 | 165 | 19 | 18 | 176k| 22k| 1.818989e-12 | 1.100000e+01 | Inf 1800.07/1800.60 c 1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.60 c Solving Time (sec) : 1745.88 1800.07/1800.60 c Solving Nodes : 2551118 1800.07/1800.60 c Primal Bound : +1.09999999999982e+01 (47 solutions) 1800.07/1800.60 c Dual Bound : +1.81898940354586e-12 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 c NODE 2551118 1800.07/1800.61 c DUAL BOUND 1.81899e-12 1800.07/1800.61 c PRIMAL BOUND 11 1800.07/1800.61 c GAP 1e+20 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 v x127 -x172 -x171 -x170 -x169 x168 x167 x166 x165 x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 1800.07/1800.61 v -x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 -x139 -x138 x137 -x136 x135 x134 -x133 x132 x131 x130 -x129 -x128 1800.07/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.07/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 1800.07/1800.61 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 1800.07/1800.61 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 1800.07/1800.61 v -x30 -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 1800.07/1800.61 v -x3 -x2 x1 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time : 1745.88 1800.07/1800.61 c Original Problem : 1800.07/1800.61 c Problem name : HOME/instance-1869527-1245176564.opb 1800.07/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 14 initial, 14 maximal 1800.07/1800.61 c Presolved Problem : 1800.07/1800.61 c Problem name : t_HOME/instance-1869527-1245176564.opb 1800.07/1800.61 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 7 initial, 7 maximal 1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0 1800.07/1800.61 c linear : 0.01 0 7 0 0 0 7 0 0 1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c root node : - 56 - - 56 - - - - 1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c integral : 0 0 0 1530457 0 65 3466 0 0 3053966 1800.07/1800.61 c linear : 7 6 3952366 0 0 413213 2857183 11 0 0 1800.07/1800.61 c logicor : 0+ 0 68199 0 0 3292 60165 0 0 0 1800.07/1800.61 c countsols : 0 0 0 31 0 0 0 0 0 0 1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.61 c integral : 24.52 0.00 0.00 24.52 0.00 1800.07/1800.61 c linear : 307.58 0.00 307.58 0.00 0.00 1800.07/1800.61 c logicor : 0.51 0.00 0.51 0.00 0.00 1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.61 c rootredcost : 1.73 45 0 56 1800.07/1800.61 c pseudoobj : 35.74 3968881 16662 54842 1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.61 c propagation : 32.63 430828 176730 201173 58.5 0 0.0 - 1800.07/1800.61 c infeasible LP : 5.02 681657 4 4 52.8 0 0.0 0 1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c pseudo solution : 0.00 1 1 2 52.0 0 0.0 - 1800.07/1800.61 c applied globally : - - - 0 0.0 - - - 1800.07/1800.61 c applied locally : - - - 176735 58.3 - - - 1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.61 c cut pool : 0.00 5 - - 4 - (maximal pool size: 66) 1800.07/1800.61 c redcost : 43.87 2142140 0 12489747 0 0 1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0 1800.07/1800.61 c intobj : 0.00 0 0 0 0 0 1800.07/1800.61 c gomory : 0.01 6 0 0 0 0 1800.07/1800.61 c strongcg : 0.00 6 0 0 25 0 1800.07/1800.61 c cmir : 0.04 6 0 0 13 0 1800.07/1800.61 c flowcover : 0.05 6 0 0 23 0 1800.07/1800.61 c clique : 0.00 1 0 0 0 0 1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.61 c mcf : 0.00 1 0 0 0 0 1800.07/1800.61 c Pricers : Time Calls Vars 1800.07/1800.61 c problem variables: 0.00 0 0 1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c relpscost : 22.94 1530426 65 3466 0 0 3053966 1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c random : 0.00 0 0 0 0 0 0 1800.07/1800.61 c Primal Heuristics : Time Calls Found 1800.07/1800.61 c LP solutions : 0.34 - 31 1800.07/1800.61 c pseudo solutions : 0.00 - 0 1800.07/1800.61 c feaspump : 0.19 1 0 1800.07/1800.61 c oneopt : 1.25 45 0 1800.07/1800.61 c crossover : 21.62 11 0 1800.07/1800.61 c rootsoldiving : 7.98 1179 0 1800.07/1800.61 c pscostdiving : 22.01 4538 2 1800.07/1800.61 c veclendiving : 17.69 4538 0 1800.07/1800.61 c fracdiving : 21.99 4538 6 1800.07/1800.61 c guideddiving : 18.64 4538 4 1800.07/1800.61 c linesearchdiving : 15.87 4538 0 1800.07/1800.61 c coefdiving : 29.12 4539 2 1800.07/1800.61 c objpscostdiving : 11.49 2270 2 1800.07/1800.61 c simplerounding : 1.17 0 0 1800.07/1800.61 c rounding : 2.20 18521 0 1800.07/1800.61 c shifting : 5.92 5693 0 1800.07/1800.61 c intshifting : 0.06 0 0 1800.07/1800.61 c fixandinfer : 0.00 0 0 1800.07/1800.61 c intdiving : 0.00 0 0 1800.07/1800.61 c actconsdiving : 0.00 0 0 1800.07/1800.61 c octane : 0.00 0 0 1800.07/1800.61 c rens : 0.04 1 0 1800.07/1800.61 c rins : 0.00 0 0 1800.07/1800.61 c localbranching : 0.00 0 0 1800.07/1800.61 c mutation : 0.00 0 0 1800.07/1800.61 c dins : 0.00 0 0 1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.61 c primal LP : 0.01 0 0 0.00 0.00 1800.07/1800.61 c dual LP : 953.03 2369321 12287476 5.19 12893.06 1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.61 c diving/probing LP: 102.07 370497 948538 2.56 9293.01 1800.07/1800.61 c strong branching : 6.67 22625 85333 3.77 12793.55 1800.07/1800.61 c (at root node) : - 19 806 42.42 - 1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.61 c B&B Tree : 1800.07/1800.61 c number of runs : 1 1800.07/1800.61 c nodes : 2551118 1800.07/1800.61 c nodes (total) : 2551118 1800.07/1800.61 c nodes left : 394849 1800.07/1800.61 c max depth : 55 1800.07/1800.61 c max depth (total): 55 1800.07/1800.61 c backtracks : 533990 (20.9%) 1800.07/1800.61 c delayed cutoffs : 37054 1800.07/1800.61 c repropagations : 61694 (253973 domain reductions, 37033 cutoffs) 1800.07/1800.61 c avg switch length: 5.60 1800.07/1800.61 c switching time : 76.75 1800.07/1800.61 c Solution : 1800.07/1800.61 c Solutions found : 47 (45 improvements) 1800.07/1800.61 c Primal Bound : +1.09999999999982e+01 (in run 1, after 1687342 nodes, 1199.76 seconds, depth 48, found by <guideddiving>) 1800.07/1800.61 c Dual Bound : +1.81898940354586e-12 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 c Root Dual Bound : +1.81898940354586e-12 1801.46/1802.01 c Time complete: 1801.47.
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869527-1245176564/watcher-1869527-1245176564 -o /tmp/evaluation-result-1869527-1245176564/solver-1869527-1245176564 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869527-1245176564.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 5904 /proc/meminfo: memFree=1889672/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=5812 CPUtime=0 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 185253409 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/5904/statm: 1453 503 332 1256 0 192 0 [startup+0.080938 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5904 /proc/meminfo: memFree=1889672/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=15336 CPUtime=0.06 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 3018 0 0 0 6 0 0 0 18 0 1 0 185253409 15704064 2648 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 3834 2648 667 1256 0 2573 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15336 [startup+0.101939 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5904 /proc/meminfo: memFree=1889672/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=15500 CPUtime=0.09 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 3041 0 0 0 9 0 0 0 18 0 1 0 185253409 15872000 2671 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 3875 2671 667 1256 0 2614 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15500 [startup+0.301959 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5904 /proc/meminfo: memFree=1889672/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=16648 CPUtime=0.29 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 4771 0 0 0 28 1 0 0 19 0 1 0 185253409 17047552 2769 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 4162 2769 692 1256 0 2901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16648 [startup+0.702 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5904 /proc/meminfo: memFree=1889672/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=16928 CPUtime=0.69 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 4845 0 0 0 67 2 0 0 23 0 1 0 185253409 17334272 2843 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 4232 2843 697 1256 0 2971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16928 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1880896/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=18816 CPUtime=1.48 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 5529 0 0 0 143 5 0 0 25 0 1 0 185253409 19267584 3527 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 4704 3527 699 1256 0 3443 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18816 [startup+3.10125 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1880448/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=25840 CPUtime=3.09 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 7438 0 0 0 299 10 0 0 25 0 1 0 185253409 26460160 4767 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 6460 4767 699 1256 0 5199 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25840 [startup+6.30157 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1876680/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=19812 CPUtime=6.29 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 7611 0 0 0 608 21 0 0 25 0 1 0 185253409 20287488 3865 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 4953 3865 700 1256 0 3692 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19812 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1874312/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=22656 CPUtime=12.69 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 10109 0 0 0 1229 40 0 0 25 0 1 0 185253409 23199744 4586 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 5664 4586 700 1256 0 4403 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22656 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1869768/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=27828 CPUtime=25.49 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 13763 0 0 0 2470 79 0 0 25 0 1 0 185253409 28495872 5644 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 6957 5644 700 1256 0 5696 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27828 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1858312/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=38532 CPUtime=51.06 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 20292 0 0 0 4947 159 0 0 25 0 1 0 185253409 39456768 8481 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 9633 8481 700 1256 0 8372 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 38532 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1831112/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=67244 CPUtime=102.26 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 28421 0 0 0 9910 316 0 0 25 0 1 0 185253409 68857856 15385 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 16811 15385 700 1256 0 15550 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 67244 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1806088/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=91804 CPUtime=162.24 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 35973 0 0 0 15727 497 0 0 25 0 1 0 185253409 94007296 21576 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 22951 21576 700 1256 0 21690 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 91804 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1788168/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=109004 CPUtime=222.22 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 42058 0 0 0 21544 678 0 0 25 0 1 0 185253409 111620096 25928 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 27251 25928 700 1256 0 25990 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 109004 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1765640/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=130228 CPUtime=282.2 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 47691 0 0 0 27369 851 0 0 25 0 1 0 185253409 133353472 31561 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 32557 31561 700 1256 0 31296 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 130228 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1752904/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=143940 CPUtime=342.18 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 50823 0 0 0 33181 1037 0 0 25 0 1 0 185253409 147394560 34693 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 35985 34693 700 1256 0 34724 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 143940 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1742792/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=153856 CPUtime=402.16 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 56889 0 0 0 38995 1221 0 0 25 0 1 0 185253409 157548544 37290 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 38464 37290 700 1256 0 37203 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 153856 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1723720/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=174684 CPUtime=462.15 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 61527 0 0 0 44817 1398 0 0 25 0 1 0 185253409 178876416 41928 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 43671 41928 700 1256 0 42410 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 174684 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1720072/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=178740 CPUtime=522.14 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 63265 0 0 0 50634 1580 0 0 25 0 1 0 185253409 183029760 42825 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 44685 42825 700 1256 0 43424 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 178740 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1708744/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=190036 CPUtime=582.11 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 66088 0 0 0 56454 1757 0 0 25 0 1 0 185253409 194596864 45648 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 47509 45648 700 1256 0 46248 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 190036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1694984/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=203044 CPUtime=642.11 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 69497 0 0 0 62276 1935 0 0 25 0 1 0 185253409 207917056 49057 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 50761 49057 700 1256 0 49500 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 203044 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1658120/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=239164 CPUtime=1001.99 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 79751 0 0 0 97195 3004 0 0 25 0 1 0 185253409 244903936 58125 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 59791 58125 700 1256 0 58530 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 239164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1652104/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=245176 CPUtime=1061.98 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 81246 0 0 0 103009 3189 0 0 25 0 1 0 185253409 251060224 59620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 61294 59620 700 1256 0 60033 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 245176 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1643336/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=253816 CPUtime=1121.96 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 83399 0 0 0 108832 3364 0 0 25 0 1 0 185253409 259907584 61773 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 63454 61773 700 1256 0 62193 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 253816 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1636040/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=261588 CPUtime=1181.95 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 85357 0 0 0 114655 3540 0 0 25 0 1 0 185253409 267866112 63731 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 65397 63731 700 1256 0 64136 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 261588 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1623880/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=273464 CPUtime=1241.92 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 88224 0 0 0 120464 3728 0 0 25 0 1 0 185253409 280027136 66598 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 68366 66598 700 1256 0 67105 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 273464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1626568/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=268696 CPUtime=1301.91 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 88396 0 0 0 126277 3914 0 0 25 0 1 0 185253409 275144704 65840 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 67174 65840 700 1256 0 65913 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 268696 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1622984/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=272852 CPUtime=1361.89 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 89277 0 0 0 132097 4092 0 0 25 0 1 0 185253409 279400448 66721 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 68213 66721 700 1256 0 66952 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 272852 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1618632/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=276504 CPUtime=1421.87 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 90345 0 0 0 137910 4277 0 0 25 0 1 0 185253409 283140096 67789 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 69126 67789 700 1256 0 67865 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 276504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1615624/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=280116 CPUtime=1481.85 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 91071 0 0 0 143720 4465 0 0 25 0 1 0 185253409 286838784 68515 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 70029 68515 700 1256 0 68768 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 280116 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1612552/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=282868 CPUtime=1541.83 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 91832 0 0 0 149535 4648 0 0 25 0 1 0 185253409 289656832 69276 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 70717 69276 700 1256 0 69456 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 282868 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1611272/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=284084 CPUtime=1601.82 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 92142 0 0 0 155355 4827 0 0 25 0 1 0 185253409 290902016 69586 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 71021 69586 700 1256 0 69760 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 284084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1608008/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=287860 CPUtime=1661.81 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 92930 0 0 0 161176 5005 0 0 25 0 1 0 185253409 294768640 70374 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 71965 70374 700 1256 0 70704 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 287860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1602952/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=293072 CPUtime=1721.78 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 94294 0 0 0 166989 5189 0 0 25 0 1 0 185253409 300105728 71738 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 73268 71738 700 1256 0 72007 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 293072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5905 /proc/meminfo: memFree=1597704/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=296472 CPUtime=1781.77 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 95416 0 0 0 172810 5367 0 0 25 0 1 0 185253409 303587328 72860 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 74118 72860 700 1256 0 72857 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 296472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5907 /proc/meminfo: memFree=1593800/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=300528 CPUtime=1800.07 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 96351 0 0 0 174588 5419 0 0 25 0 1 0 185253409 307740672 73795 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5904/statm: 75132 73795 700 1256 0 73871 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 300528 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/65 5907 /proc/meminfo: memFree=1593800/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=300528 CPUtime=1800.86 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 96352 0 0 0 174667 5419 0 0 25 0 1 0 185253409 307740672 73796 1992294400 4194304 9342243 548682068736 18446744073709551615 5855009 0 0 4096 0 0 0 0 17 0 0 0 /proc/5904/statm: 75132 73796 701 1256 0 73871 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 300528 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5908 /proc/meminfo: memFree=1593792/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=300528 CPUtime=1801.26 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 96352 0 0 0 174707 5419 0 0 25 0 1 0 185253409 307740672 73796 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0 /proc/5904/statm: 75132 73796 701 1256 0 73871 0 Current children cumulated CPU time (s) 1801.26 Current children cumulated vsize (KiB) 300528 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5908 /proc/meminfo: memFree=1593792/2055920 swapFree=4192812/4192956 [pid=5904] ppid=5902 vsize=232472 CPUtime=1801.46 /proc/5904/stat : 5904 (pbscip.linux.x8) R 5902 5904 5825 0 -1 4194304 96352 0 0 0 174724 5422 0 0 25 0 1 0 185253409 238051328 57240 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/5904/statm: 58118 57240 37434 1256 0 56857 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 232472 Child status: 0 Real time (s): 1802.02 CPU time (s): 1801.48 CPU user time (s): 1747.24 CPU system time (s): 54.2398 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 300528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.24 system time used= 54.2398 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96355 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= 3081 runsolver used 1.17282 second user time and 3.86141 second system time The end
Begin job on node45 at 2009-06-16 20:22:44 IDJOB=1869527 IDBENCH=2918 IDSOLVER=684 FILE ID=node45/1869527-1245176564 PBS_JOBID= 9363928 Free space on /tmp= 66172 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_1.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-1869527-1245176564/watcher-1869527-1245176564 -o /tmp/evaluation-result-1869527-1245176564/solver-1869527-1245176564 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869527-1245176564.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=946441441 node45.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.240 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.240 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: 1890152 kB Buffers: 33112 kB Cached: 69904 kB SwapCached: 140 kB Active: 66708 kB Inactive: 50364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1890152 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11744 kB Writeback: 0 kB Mapped: 23704 kB Slab: 34744 kB Committed_AS: 159532 kB PageTables: 1380 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= 66160 MiB End job on node45 at 2009-06-16 20:52:47