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) | 16 | 1801.87 | 1802.48 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 1802.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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-1869515-1245175911.opb> 0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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, 8 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) 8 del vars, 8 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/190 (53.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 8 deleted vars, 8 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 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints 0.00/0.03 c 8 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.04 c OPT-LIN 0.00/0.04 c ----------------------------------------------------------------------------------------------- 0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.04 c limits/memory = c 1620 0.00/0.04 c # maximal time in seconds to run 0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.04 c limits/time = c 1791 0.00/0.04 c # frequency for displaying node information lines 0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.04 c display/freq = c 10000 0.00/0.04 c ----------------------------------------------------------------------------------------------- 0.00/0.04 c start solving problem 0.00/0.04 c 0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.04 c 0.0s| 1 | 0 | 31 | 610k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.06 c 0.1s| 1 | 0 | 101 | 735k| 0 | 14 | 190 | 8 | 8 | 190 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.08 c 0.1s| 1 | 0 | 110 | 773k| 0 | 15 | 190 | 8 | 8 | 190 | 17 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.10 c 0.1s| 1 | 0 | 125 | 789k| 0 | 15 | 190 | 8 | 8 | 190 | 20 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.13 c 0.1s| 1 | 0 | 129 | 817k| 0 | 17 | 190 | 8 | 8 | 190 | 22 | 14 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.15 c 0.1s| 1 | 0 | 144 | 839k| 0 | 19 | 190 | 8 | 8 | 190 | 24 | 16 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.18 c 0.2s| 1 | 0 | 147 | 858k| 0 | 21 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf 0.29/0.30 c 0.3s| 1 | 2 | 147 | 858k| 0 | 21 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 21 | 1.818989e-12 | -- | Inf 0.49/0.52 o 1659 0.49/0.52 c c 0.5s| 54 | 55 | 443 | 925k| 53 | - | 190 | 8 | 4 | 190 | 22 | 18 | 0 | 310 | 1.818989e-12 | 1.659000e+03 | Inf 0.49/0.57 o 1100 0.49/0.57 c p 0.5s| 70 | 66 | 545 | 938k| 53 | - | 190 | 8 | 4 | 190 | 22 | 18 | 0 | 391 | 1.818989e-12 | 1.100000e+03 | Inf 0.59/0.67 o 291 0.59/0.67 c f 0.6s| 98 | 80 | 825 | 971k| 53 | - | 190 | 8 | 5 | 190 | 22 | 18 | 0 | 490 | 1.818989e-12 | 2.910000e+02 | Inf 0.89/0.95 o 289 0.89/0.95 c c 0.9s| 293 | 273 | 1875 |1049k| 54 | - | 190 | 8 | 0 | 190 | 22 | 18 | 1 | 710 | 1.818989e-12 | 2.890000e+02 | Inf 1.49/1.51 o 219 1.49/1.51 c p 1.5s| 701 | 668 | 4648 |1253k| 54 | - | 190 | 8 | 3 | 190 | 22 | 18 | 9 | 863 | 1.818989e-12 | 2.190000e+02 | Inf 4.19/4.26 o 152 4.19/4.26 c g 4.1s| 2301 | 2229 | 14918 |1907k| 58 | - | 190 | 8 | 3 | 190 | 22 | 18 | 54 | 947 | 1.818989e-12 | 1.520000e+02 | Inf 8.19/8.23 o 112 8.19/8.23 c g 8.0s| 5340 | 5175 | 35856 |3221k| 58 | - | 190 | 8 | 1 | 190 | 22 | 18 | 157 | 976 | 1.818989e-12 | 1.120000e+02 | Inf 14.59/14.65 o 65 14.59/14.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.59/14.65 c g14.3s| 9735 | 9170 | 68558 |4832k| 58 | - | 190 | 8 | 5 | 190 | 22 | 18 | 333 |1021 | 1.818989e-12 | 6.500000e+01 | Inf 15.39/15.43 c 15.0s| 10000 | 9415 | 71932 |4932k| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 365 |1025 | 1.818989e-12 | 6.500000e+01 | Inf 27.39/27.43 c 26.7s| 20000 | 18211 |133516 |9645k| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 623 |1541 | 1.818989e-12 | 6.500000e+01 | Inf 27.68/27.76 o 63 27.68/27.76 c v27.0s| 20283 | 18361 |135230 |9732k| 58 | - | 190 | 8 | 0 | 190 | 22 | 18 | 637 |1562 | 1.818989e-12 | 6.300000e+01 | Inf 28.29/28.35 o 47 28.29/28.35 c g27.6s| 20652 | 17999 |138249 |9273k| 58 | - | 190 | 8 | 5 | 190 | 22 | 18 | 644 |1564 | 1.818989e-12 | 4.700000e+01 | Inf 34.98/35.03 o 46 34.98/35.03 c *34.1s| 26277 | 22345 |174003 | 11M| 58 | - | 190 | 8 | 0 | 190 | 22 | 18 | 809 |1821 | 1.818989e-12 | 4.600000e+01 | Inf 38.97/39.10 c 38.1s| 30000 | 25132 |196902 | 13M| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 906 |1994 | 1.818989e-12 | 4.600000e+01 | Inf 49.66/49.75 c 48.5s| 40000 | 32750 |256976 | 17M| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |1192 |2436 | 1.818989e-12 | 4.600000e+01 | Inf 57.37/57.46 o 45 57.37/57.46 c *56.0s| 47249 | 37826 |301202 | 20M| 58 | - | 190 | 8 | 0 | 190 | 22 | 18 |1479 |2768 | 1.818989e-12 | 4.500000e+01 | Inf 60.37/60.48 c 58.9s| 50000 | 39621 |318613 | 22M| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |1586 |2868 | 1.818989e-12 | 4.500000e+01 | Inf 70.86/70.98 c 69.1s| 60000 | 46672 |378619 | 26M| 58 | - | 190 | 8 | 8 | 190 | 22 | 18 |2008 |3238 | 1.818989e-12 | 4.500000e+01 | Inf 81.55/81.69 c 79.6s| 70000 | 53229 |441833 | 31M| 58 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |2435 |3588 | 1.818989e-12 | 4.500000e+01 | Inf 91.95/92.07 c 89.7s| 80000 | 60116 |502776 | 35M| 59 | - | 190 | 8 | 8 | 190 | 22 | 18 |2772 |3891 | 1.818989e-12 | 4.500000e+01 | Inf 102.54/102.61 c 100s| 90000 | 66644 |565387 | 39M| 59 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |3195 |4142 | 1.818989e-12 | 4.500000e+01 | Inf 113.15/113.27 c 110s|100000 | 73305 |627669 | 44M| 59 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |3579 |4411 | 1.818989e-12 | 4.500000e+01 | Inf 123.64/123.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 123.64/123.77 c 121s|110000 | 79253 |690754 | 48M| 60 | - | 190 | 8 | 8 | 190 | 22 | 18 |4028 |4671 | 1.818989e-12 | 4.500000e+01 | Inf 126.54/126.70 o 43 126.54/126.70 c * 123s|112982 | 80427 |708952 | 48M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |4139 |4757 | 1.818989e-12 | 4.300000e+01 | Inf 126.64/126.70 o 41 126.64/126.70 c * 123s|112983 | 79782 |708953 | 47M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |4139 |4758 | 1.818989e-12 | 4.100000e+01 | Inf 134.04/134.12 c 131s|120000 | 83713 |754142 | 50M| 60 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |4465 |4974 | 1.818989e-12 | 4.100000e+01 | Inf 136.73/136.84 o 40 136.73/136.84 c * 133s|122732 | 84848 |771960 | 50M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |4579 |5055 | 1.818989e-12 | 4.000000e+01 | Inf 144.43/144.54 c 141s|130000 | 88962 |820055 | 53M| 60 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |4899 |5271 | 1.818989e-12 | 4.000000e+01 | Inf 153.84/153.94 o 38 153.84/153.94 c * 150s|138838 | 93080 |879280 | 55M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |5255 |5495 | 1.818989e-12 | 3.800000e+01 | Inf 153.84/153.95 o 36 153.84/153.95 c * 150s|138840 | 91941 |879284 | 54M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |5255 |5497 | 1.818989e-12 | 3.600000e+01 | Inf 153.84/153.96 o 34 153.84/153.96 c * 150s|138841 | 90762 |879285 | 52M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |5255 |5497 | 1.818989e-12 | 3.400000e+01 | Inf 157.72/157.89 c 154s|140000 | 91422 |886770 | 53M| 60 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |5302 |5532 | 1.818989e-12 | 3.400000e+01 | Inf 171.13/171.27 c 167s|150000 | 96997 |951106 | 57M| 60 | - | 190 | 8 | 8 | 190 | 22 | 18 |5670 |5754 | 1.818989e-12 | 3.400000e+01 | Inf 181.32/181.49 c 177s|160000 |102376 | 1014k| 60M| 60 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |6062 |5953 | 1.818989e-12 | 3.400000e+01 | Inf 194.22/194.33 c 189s|170000 |107459 | 1076k| 64M| 60 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |6423 |6146 | 1.818989e-12 | 3.400000e+01 | Inf 200.02/200.11 o 33 200.02/200.11 c * 195s|176024 |109653 | 1114k| 65M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |6621 |6281 | 1.818989e-12 | 3.300000e+01 | Inf 200.02/200.12 o 31 200.02/200.12 c * 195s|176025 |106608 | 1114k| 62M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |6621 |6281 | 1.818989e-12 | 3.100000e+01 | Inf 200.02/200.14 o 29 200.02/200.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 200.02/200.14 c * 195s|176027 |105280 | 1114k| 61M| 60 | - | 190 | 8 | 0 | 190 | 22 | 18 |6621 |6284 | 1.818989e-12 | 2.900000e+01 | Inf 200.02/200.16 o 27 200.02/200.16 c * 195s|176039 |103727 | 1114k| 59M| 63 | - | 190 | 8 | 0 | 190 | 22 | 18 |6622 |6305 | 1.818989e-12 | 2.700000e+01 | Inf 200.02/200.18 o 25 200.02/200.18 c * 195s|176041 |101934 | 1114k| 57M| 64 | - | 190 | 8 | 0 | 190 | 22 | 18 |6622 |6310 | 1.818989e-12 | 2.500000e+01 | Inf 200.02/200.19 o 23 200.02/200.19 c * 195s|176042 | 99918 | 1114k| 55M| 64 | - | 190 | 8 | 0 | 190 | 22 | 18 |6622 |6312 | 1.818989e-12 | 2.300000e+01 | Inf 200.71/200.87 o 19 200.71/200.87 c C 196s|176242 | 95874 | 1115k| 51M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |6629 |6316 | 1.818989e-12 | 1.900000e+01 | Inf 209.91/210.04 c 204s|180000 | 97340 | 1139k| 52M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |6753 |6399 | 1.818989e-12 | 1.900000e+01 | Inf 218.91/219.05 c 213s|190000 |101497 | 1200k| 55M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |7079 |6587 | 1.818989e-12 | 1.900000e+01 | Inf 227.70/227.89 c 222s|200000 |105497 | 1262k| 57M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |7399 |6782 | 1.818989e-12 | 1.900000e+01 | Inf 239.30/239.41 c 233s|210000 |109839 | 1324k| 60M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |7729 |6979 | 1.818989e-12 | 1.900000e+01 | Inf 247.90/248.04 c 241s|220000 |113576 | 1384k| 62M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |8140 |7188 | 1.818989e-12 | 1.900000e+01 | Inf 256.50/256.63 c 250s|230000 |116941 | 1446k| 65M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |8499 |7383 | 1.818989e-12 | 1.900000e+01 | Inf 264.79/264.91 c 258s|240000 |120412 | 1508k| 67M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 |8833 |7559 | 1.818989e-12 | 1.900000e+01 | Inf 272.99/273.14 c 266s|250000 |123660 | 1568k| 69M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 |9228 |7721 | 1.818989e-12 | 1.900000e+01 | Inf 281.49/281.66 c 274s|260000 |127451 | 1629k| 72M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |9520 |7899 | 1.818989e-12 | 1.900000e+01 | Inf 290.29/290.45 c 283s|270000 |131831 | 1690k| 74M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 |9766 |8046 | 1.818989e-12 | 1.900000e+01 | Inf 299.18/299.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 299.18/299.31 c 291s|280000 |136194 | 1752k| 77M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 10k|8179 | 1.818989e-12 | 1.900000e+01 | Inf 307.38/307.51 c 299s|290000 |139550 | 1812k| 80M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 10k|8349 | 1.818989e-12 | 1.900000e+01 | Inf 315.78/315.93 c 307s|300000 |143000 | 1873k| 82M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 10k|8522 | 1.818989e-12 | 1.900000e+01 | Inf 323.78/323.97 c 315s|310000 |145993 | 1933k| 85M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 11k|8680 | 1.818989e-12 | 1.900000e+01 | Inf 332.57/332.71 c 324s|320000 |149717 | 1995k| 87M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 11k|8845 | 1.818989e-12 | 1.900000e+01 | Inf 340.67/340.88 c 332s|330000 |153058 | 2053k| 90M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 11k|8984 | 1.818989e-12 | 1.900000e+01 | Inf 348.67/348.84 c 339s|340000 |155587 | 2112k| 92M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 12k|9146 | 1.818989e-12 | 1.900000e+01 | Inf 357.27/357.48 c 348s|350000 |159282 | 2173k| 94M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 12k|9306 | 1.818989e-12 | 1.900000e+01 | Inf 366.07/366.21 c 356s|360000 |163368 | 2233k| 97M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 12k|9456 | 1.818989e-12 | 1.900000e+01 | Inf 374.76/374.90 c 365s|370000 |167394 | 2293k| 100M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 13k|9588 | 1.818989e-12 | 1.900000e+01 | Inf 382.76/382.99 c 373s|380000 |170507 | 2352k| 102M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 13k|9740 | 1.818989e-12 | 1.900000e+01 | Inf 391.26/391.43 c 381s|390000 |174029 | 2413k| 105M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 13k|9883 | 1.818989e-12 | 1.900000e+01 | Inf 400.85/401.04 c 390s|400000 |179016 | 2476k| 108M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 14k|9990 | 1.818989e-12 | 1.900000e+01 | Inf 409.06/409.29 c 398s|410000 |182413 | 2537k| 110M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 14k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 417.34/417.51 c 406s|420000 |185743 | 2596k| 113M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 14k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 425.34/425.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 425.45/425.60 c 414s|430000 |188879 | 2655k| 115M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 14k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 433.54/433.74 c 422s|440000 |191632 | 2716k| 117M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 15k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 441.64/441.85 c 430s|450000 |194729 | 2775k| 120M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 15k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 449.64/449.89 c 438s|460000 |197458 | 2835k| 122M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 15k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 457.83/458.09 c 446s|470000 |200761 | 2894k| 124M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 16k| 10k| 1.818989e-12 | 1.900000e+01 | Inf 465.93/466.12 c 453s|480000 |203388 | 2953k| 126M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 16k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 473.73/473.96 c 461s|490000 |205598 | 3010k| 128M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 16k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 481.53/481.74 c 469s|500000 |207843 | 3067k| 130M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 17k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 489.22/489.48 c 476s|510000 |209814 | 3123k| 132M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 17k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 497.12/497.33 c 484s|520000 |211771 | 3181k| 134M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 17k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 504.92/505.14 c 491s|530000 |213788 | 3239k| 136M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 18k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 512.72/512.92 c 499s|540000 |215667 | 3298k| 138M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 18k| 11k| 1.818989e-12 | 1.900000e+01 | Inf 520.41/520.67 c 507s|550000 |217515 | 3356k| 139M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 18k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 528.41/528.70 c 514s|560000 |219868 | 3415k| 141M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 18k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 536.31/536.59 c 522s|570000 |221914 | 3473k| 143M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 19k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 544.41/544.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 544.41/544.66 c 530s|580000 |224927 | 3532k| 145M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 19k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 555.40/555.60 c 540s|590000 |226890 | 3596k| 147M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 19k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 564.20/564.49 c 549s|600000 |230354 | 3661k| 149M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 20k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 572.60/572.84 c 557s|610000 |233413 | 3722k| 151M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 20k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 580.89/581.18 c 565s|620000 |236564 | 3783k| 154M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 20k| 12k| 1.818989e-12 | 1.900000e+01 | Inf 589.08/589.35 c 573s|630000 |239041 | 3845k| 156M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 21k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 597.18/597.42 c 581s|640000 |241788 | 3905k| 158M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 21k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 605.28/605.54 c 589s|650000 |244351 | 3968k| 160M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 21k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 613.58/613.83 c 597s|660000 |247014 | 4032k| 162M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 22k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 621.78/622.07 c 605s|670000 |249642 | 4095k| 164M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 22k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 630.07/630.38 c 613s|680000 |252409 | 4157k| 166M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 22k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 638.47/638.72 c 621s|690000 |255714 | 4217k| 168M| 64 | - | 190 | 8 | 9 | 0 | 0 | 18 | 23k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 646.47/646.73 c 629s|700000 |258438 | 4277k| 170M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 23k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 654.87/655.13 c 637s|710000 |261608 | 4338k| 172M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 23k| 13k| 1.818989e-12 | 1.900000e+01 | Inf 663.06/663.31 c 645s|720000 |264662 | 4399k| 175M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 24k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 670.96/671.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 670.96/671.28 c 653s|730000 |267043 | 4459k| 177M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 24k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 679.06/679.35 c 661s|740000 |269384 | 4520k| 179M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 24k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 687.05/687.37 c 669s|750000 |271392 | 4581k| 180M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 25k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 695.06/695.32 c 676s|760000 |273416 | 4643k| 182M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 25k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 702.95/703.25 c 684s|770000 |275512 | 4704k| 184M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 25k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 711.04/711.33 c 692s|780000 |277496 | 4765k| 186M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 25k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 719.04/719.31 c 700s|790000 |279368 | 4826k| 187M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 26k| 14k| 1.818989e-12 | 1.900000e+01 | Inf 726.94/727.25 c 707s|800000 |281245 | 4887k| 189M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 26k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 734.84/735.19 c 715s|810000 |283244 | 4949k| 191M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 26k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 742.73/743.09 c 723s|820000 |285148 | 5010k| 193M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 27k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 750.84/751.20 c 731s|830000 |287050 | 5074k| 194M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 27k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 758.83/759.11 c 738s|840000 |289130 | 5135k| 196M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 27k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 766.63/766.98 c 746s|850000 |290709 | 5197k| 198M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 28k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 774.93/775.21 c 754s|860000 |293398 | 5258k| 200M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 28k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 782.83/783.11 c 762s|870000 |295386 | 5320k| 202M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 28k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 790.92/791.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 790.92/791.21 c 770s|880000 |297061 | 5383k| 203M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 29k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 799.01/799.31 c 777s|890000 |299293 | 5446k| 205M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 29k| 15k| 1.818989e-12 | 1.900000e+01 | Inf 806.92/807.24 c 785s|900000 |300867 | 5508k| 207M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 29k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 814.81/815.17 c 793s|910000 |302697 | 5570k| 208M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 30k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 822.71/823.09 c 801s|920000 |304534 | 5633k| 210M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 30k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 830.81/831.10 c 808s|930000 |306090 | 5696k| 212M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 30k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 838.71/839.08 c 816s|940000 |307764 | 5758k| 213M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 31k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 846.71/847.09 c 824s|950000 |309461 | 5822k| 215M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 31k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 854.80/855.17 c 832s|960000 |310933 | 5887k| 216M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 31k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 862.69/863.06 c 839s|970000 |312503 | 5950k| 218M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 32k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 870.80/871.14 c 847s|980000 |314139 | 6013k| 219M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 32k| 16k| 1.818989e-12 | 1.900000e+01 | Inf 878.79/879.14 c 855s|990000 |315701 | 6077k| 221M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 32k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 886.88/887.22 c 863s| 1000k|316995 | 6142k| 223M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 32k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 894.99/895.39 c 871s| 1010k|318482 | 6206k| 224M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 33k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 903.08/903.40 c 879s| 1020k|320509 | 6268k| 226M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 33k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 911.08/911.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 911.08/911.42 c 887s| 1030k|321896 | 6332k| 227M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 33k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 918.98/919.35 c 894s| 1040k|323492 | 6396k| 229M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 34k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 926.77/927.16 c 902s| 1050k|325015 | 6457k| 230M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 34k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 934.97/935.37 c 910s| 1060k|327407 | 6517k| 232M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 34k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 942.86/943.27 c 918s| 1070k|329198 | 6579k| 234M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 35k| 17k| 1.818989e-12 | 1.900000e+01 | Inf 950.96/951.35 c 925s| 1080k|330837 | 6642k| 235M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 35k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 958.97/959.35 c 933s| 1090k|332315 | 6706k| 237M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 35k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 967.06/967.49 c 941s| 1100k|334429 | 6768k| 238M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 36k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 975.15/975.57 c 949s| 1110k|336256 | 6830k| 240M| 64 | - | 190 | 8 | 9 | 190 | 22 | 18 | 36k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 983.15/983.56 c 957s| 1120k|338142 | 6893k| 242M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 36k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 991.15/991.58 c 965s| 1130k|339629 | 6956k| 243M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 37k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 999.25/999.60 c 972s| 1140k|341218 | 7020k| 245M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 37k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 1007.04/1007.45 c 980s| 1150k|342844 | 7082k| 246M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 37k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 1014.95/1015.35 c 988s| 1160k|344184 | 7144k| 248M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 38k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 1023.04/1023.41 c 996s| 1170k|345663 | 7208k| 249M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 38k| 18k| 1.818989e-12 | 1.900000e+01 | Inf 1030.94/1031.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1030.94/1031.35 c 1003s| 1180k|347446 | 7269k| 251M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 38k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1038.94/1039.34 c 1011s| 1190k|348983 | 7332k| 252M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 39k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1046.93/1047.34 c 1019s| 1200k|350327 | 7395k| 254M| 64 | - | 190 | 8 | 7 | 0 | 0 | 18 | 39k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1054.83/1055.28 c 1027s| 1210k|351798 | 7457k| 255M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 39k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1062.83/1063.24 c 1034s| 1220k|353247 | 7520k| 256M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 40k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1070.92/1071.30 c 1042s| 1230k|355207 | 7582k| 258M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 40k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1078.82/1079.29 c 1050s| 1240k|357107 | 7644k| 260M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 40k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1086.82/1087.22 c 1058s| 1250k|358565 | 7707k| 261M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 41k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1094.92/1095.30 c 1065s| 1260k|360321 | 7770k| 263M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 41k| 19k| 1.818989e-12 | 1.900000e+01 | Inf 1099.62/1100.03 o 18 1099.62/1100.03 c *1070s| 1265k|360065 | 7806k| 261M| 64 | - | 190 | 8 | 0 | 190 | 22 | 18 | 41k| 19k| 1.818989e-12 | 1.800000e+01 | Inf 1099.62/1100.07 o 16 1099.62/1100.07 c *1070s| 1265k|353773 | 7806k| 252M| 64 | - | 190 | 8 | 0 | 190 | 22 | 18 | 41k| 19k| 1.818989e-12 | 1.600000e+01 | Inf 1103.12/1103.56 c 1074s| 1270k|354511 | 7833k| 252M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 41k| 19k| 1.818989e-12 | 1.600000e+01 | Inf 1111.01/1111.49 c 1081s| 1280k|355909 | 7900k| 253M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 42k| 19k| 1.818989e-12 | 1.600000e+01 | Inf 1119.01/1119.46 c 1089s| 1290k|357785 | 7966k| 255M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 42k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1127.01/1127.45 c 1097s| 1300k|359256 | 8034k| 256M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 42k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1135.10/1135.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1135.10/1135.56 c 1105s| 1310k|360801 | 8101k| 257M| 64 | 7 | 190 | 8 | 8 | 190 | 22 | 18 | 43k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1145.60/1146.08 c 1115s| 1320k|361996 | 8168k| 258M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 43k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1153.59/1154.08 c 1123s| 1330k|363441 | 8236k| 259M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 43k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1161.50/1161.99 c 1130s| 1340k|364518 | 8303k| 260M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 44k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1169.49/1169.92 c 1138s| 1350k|365838 | 8370k| 261M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 44k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1177.59/1178.07 c 1146s| 1360k|367905 | 8437k| 263M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 44k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1185.68/1186.11 c 1154s| 1370k|369810 | 8504k| 264M| 64 | - | 190 | 8 | 9 | 190 | 22 | 18 | 45k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1193.58/1194.07 c 1162s| 1380k|371404 | 8572k| 265M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 45k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1201.58/1202.03 c 1169s| 1390k|373123 | 8639k| 267M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 45k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1209.48/1209.97 c 1177s| 1400k|374757 | 8705k| 268M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 46k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1217.57/1218.05 c 1185s| 1410k|376447 | 8773k| 269M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 46k| 20k| 1.818989e-12 | 1.600000e+01 | Inf 1225.57/1226.08 c 1193s| 1420k|378065 | 8841k| 270M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 46k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1233.67/1234.13 c 1201s| 1430k|379579 | 8909k| 272M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 47k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1241.67/1242.14 c 1208s| 1440k|382116 | 8974k| 273M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 47k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1249.57/1250.03 c 1216s| 1450k|384099 | 9039k| 275M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 47k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1257.87/1258.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1257.87/1258.32 c 1224s| 1460k|386527 | 9104k| 276M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 48k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1265.96/1266.46 c 1232s| 1470k|389458 | 9167k| 278M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 48k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1274.06/1274.59 c 1240s| 1480k|392065 | 9231k| 280M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 48k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1282.35/1282.85 c 1248s| 1490k|394592 | 9299k| 281M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 49k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1290.45/1290.95 c 1256s| 1500k|396692 | 9365k| 283M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 49k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1298.45/1298.95 c 1264s| 1510k|398554 | 9432k| 284M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 49k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1306.45/1306.94 c 1271s| 1520k|400421 | 9498k| 286M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 50k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1314.45/1314.99 c 1279s| 1530k|402447 | 9562k| 287M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 50k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1322.34/1322.84 c 1287s| 1540k|404550 | 9625k| 288M| 64 | - | 190 | 8 | 7 | 190 | 22 | 18 | 50k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1330.34/1330.88 c 1295s| 1550k|406333 | 9690k| 290M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 51k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1338.34/1338.82 c 1303s| 1560k|408286 | 9754k| 291M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 51k| 21k| 1.818989e-12 | 1.600000e+01 | Inf 1346.23/1346.75 c 1310s| 1570k|410647 | 9817k| 293M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 51k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1354.23/1354.74 c 1318s| 1580k|412982 | 9878k| 294M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 52k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1362.03/1362.51 c 1326s| 1590k|414955 | 9939k| 296M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 52k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1369.93/1370.50 c 1333s| 1600k|416394 | 10002k| 297M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 52k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1377.92/1378.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1377.92/1378.42 c 1341s| 1610k|418390 | 10064k| 298M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 53k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1385.81/1386.33 c 1349s| 1620k|420048 | 10128k| 300M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 53k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1394.11/1394.68 c 1357s| 1630k|422781 | 10192k| 301M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 53k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1402.22/1402.75 c 1365s| 1640k|424997 | 10258k| 303M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 54k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1410.31/1410.80 c 1373s| 1650k|426769 | 10324k| 304M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 54k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1418.31/1418.80 c 1380s| 1660k|428353 | 10391k| 305M| 64 | 7 | 190 | 8 | 8 | 190 | 22 | 18 | 54k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1426.21/1426.72 c 1388s| 1670k|430280 | 10457k| 307M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 55k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1435.10/1435.61 c 1397s| 1680k|433722 | 10524k| 309M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 55k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1443.30/1443.80 c 1405s| 1690k|436529 | 10587k| 310M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 55k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1451.70/1452.30 c 1413s| 1700k|439565 | 10652k| 312M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 55k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1459.79/1460.34 c 1421s| 1710k|442204 | 10715k| 314M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 56k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1467.90/1468.49 c 1429s| 1720k|444869 | 10778k| 315M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 56k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1476.09/1476.66 c 1437s| 1730k|447614 | 10843k| 317M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 56k| 22k| 1.818989e-12 | 1.600000e+01 | Inf 1483.98/1484.54 c 1444s| 1740k|449893 | 10907k| 319M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 57k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1492.29/1492.88 c 1453s| 1750k|452816 | 10970k| 320M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 57k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1500.48/1501.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1500.48/1501.02 c 1460s| 1760k|455642 | 11033k| 322M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 57k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1508.38/1508.95 c 1468s| 1770k|457758 | 11096k| 324M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 58k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1516.48/1517.05 c 1476s| 1780k|459996 | 11160k| 325M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 58k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1524.37/1524.94 c 1484s| 1790k|462189 | 11222k| 327M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 58k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1532.27/1532.87 c 1491s| 1800k|464421 | 11284k| 328M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 59k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1540.27/1540.80 c 1499s| 1810k|466653 | 11347k| 330M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 59k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1548.06/1548.67 c 1507s| 1820k|468546 | 11410k| 331M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 59k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1556.06/1556.60 c 1515s| 1830k|470671 | 11473k| 333M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 59k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1563.76/1564.33 c 1522s| 1840k|472532 | 11534k| 334M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 60k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1571.56/1572.19 c 1530s| 1850k|474155 | 11598k| 335M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 60k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1579.85/1580.49 c 1538s| 1860k|476816 | 11662k| 337M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 61k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1588.05/1588.61 c 1546s| 1870k|479730 | 11725k| 339M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 61k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1596.05/1596.63 c 1554s| 1880k|482017 | 11788k| 340M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 61k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1603.95/1604.57 c 1561s| 1890k|484148 | 11852k| 342M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 62k| 23k| 1.818989e-12 | 1.600000e+01 | Inf 1612.05/1612.70 c 1569s| 1900k|486362 | 11916k| 343M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 62k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1620.04/1620.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1620.04/1620.68 c 1577s| 1910k|488765 | 11980k| 345M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 62k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1628.14/1628.73 c 1585s| 1920k|491057 | 12045k| 346M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 63k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1636.14/1636.74 c 1593s| 1930k|493349 | 12110k| 348M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 63k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1644.03/1644.63 c 1600s| 1940k|494961 | 12176k| 349M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 63k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1652.23/1652.82 c 1608s| 1950k|497531 | 12241k| 351M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 64k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1660.13/1660.73 c 1616s| 1960k|499613 | 12307k| 352M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 64k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1668.04/1668.68 c 1624s| 1970k|501641 | 12373k| 353M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 64k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1675.93/1676.59 c 1631s| 1980k|503477 | 12437k| 355M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 65k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1684.82/1685.42 c 1640s| 1990k|507387 | 12502k| 357M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 65k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1693.62/1694.27 c 1649s| 2000k|511120 | 12567k| 359M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 65k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1701.92/1702.58 c 1657s| 2010k|514341 | 12631k| 361M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 66k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1710.31/1710.90 c 1665s| 2020k|517676 | 12694k| 363M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 66k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1718.51/1719.14 c 1673s| 2030k|520971 | 12757k| 364M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 66k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1726.61/1727.22 c 1681s| 2040k|523917 | 12820k| 366M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 67k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1734.80/1735.45 c 1689s| 2050k|526923 | 12885k| 368M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 67k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1742.91/1743.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1742.91/1743.55 c 1697s| 2060k|529563 | 12949k| 370M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 67k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1751.00/1751.67 c 1704s| 2070k|532167 | 13014k| 371M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 68k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1759.30/1759.91 c 1712s| 2080k|534931 | 13079k| 373M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 68k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1767.19/1767.88 c 1720s| 2090k|537350 | 13141k| 375M| 64 | - | 190 | 8 | 8 | 190 | 22 | 18 | 69k| 24k| 1.818989e-12 | 1.600000e+01 | Inf 1775.19/1775.88 c 1728s| 2100k|540438 | 13201k| 376M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 69k| 25k| 1.818989e-12 | 1.600000e+01 | Inf 1782.99/1783.60 c 1736s| 2110k|543359 | 13259k| 378M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 69k| 25k| 1.818989e-12 | 1.600000e+01 | Inf 1790.89/1791.59 c 1743s| 2120k|545948 | 13322k| 380M| 64 | - | 190 | 8 | 8 | 0 | 0 | 18 | 70k| 25k| 1.818989e-12 | 1.600000e+01 | Inf 1799.08/1799.79 c 1751s| 2130k|548826 | 13386k| 381M| 64 | 8 | 190 | 8 | 8 | 190 | 22 | 18 | 70k| 25k| 1.818989e-12 | 1.600000e+01 | Inf 1800.09/1800.71 c 1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.71 c Solving Time (sec) : 1752.12 1800.09/1800.71 c Solving Nodes : 2131163 1800.09/1800.71 c Primal Bound : +1.60000000000000e+01 (27 solutions) 1800.09/1800.71 c Dual Bound : +1.81898940354586e-12 1800.09/1800.71 c Gap : infinite 1800.09/1800.71 c NODE 2131163 1800.09/1800.71 c DUAL BOUND 1.81899e-12 1800.09/1800.71 c PRIMAL BOUND 16 1800.09/1800.71 c GAP 1e+20 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 v x176 x198 -x197 -x196 x195 x194 -x193 x192 -x191 x190 x189 -x188 x187 -x186 x185 x184 x183 x182 -x181 x180 -x179 -x178 -x177 -x175 1800.09/1800.71 v -x174 -x173 x172 x171 x170 x169 x168 -x167 -x166 x165 x164 x163 -x162 -x161 -x160 x159 -x158 x157 x156 -x155 x154 x153 -x152 1800.09/1800.71 v -x151 -x150 x149 -x148 x147 x146 -x145 x144 -x143 -x142 -x141 x140 x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 -x130 1800.09/1800.71 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 1800.09/1800.71 v -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 1800.09/1800.71 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 1800.09/1800.71 v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.09/1800.71 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 1800.09/1800.71 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.71 c Solving Time : 1752.12 1800.09/1800.71 c Original Problem : 1800.09/1800.71 c Problem name : HOME/instance-1869515-1245175911.opb 1800.09/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.71 c Constraints : 16 initial, 16 maximal 1800.09/1800.71 c Presolved Problem : 1800.09/1800.71 c Problem name : t_HOME/instance-1869515-1245175911.opb 1800.09/1800.71 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.71 c Constraints : 8 initial, 8 maximal 1800.09/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.09/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0 1800.09/1800.71 c linear : 0.00 0 8 0 0 0 8 0 0 1800.09/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.71 c root node : - 64 - - 64 - - - - 1800.09/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.09/1800.71 c integral : 0 0 0 1367559 0 70 6578 0 0 2722206 1800.09/1800.71 c linear : 8 6 3367233 0 0 213757 1621492 15 0 0 1800.09/1800.71 c logicor : 0+ 0 29207 0 0 1052 26002 0 0 0 1800.09/1800.71 c countsols : 0 0 0 16 0 0 0 0 0 0 1800.09/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.09/1800.71 c integral : 24.30 0.00 0.00 24.30 0.00 1800.09/1800.71 c linear : 318.30 0.00 318.30 0.00 0.00 1800.09/1800.71 c logicor : 0.28 0.00 0.28 0.00 0.00 1800.09/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.09/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.09/1800.71 c rootredcost : 1.34 27 0 64 1800.09/1800.71 c pseudoobj : 33.90 3374609 7546 18432 1800.09/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.09/1800.71 c propagation : 20.01 221303 70547 80615 69.9 0 0.0 - 1800.09/1800.71 c infeasible LP : 5.15 598594 4 4 48.2 0 0.0 0 1800.09/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.09/1800.71 c applied globally : - - - 0 0.0 - - - 1800.09/1800.71 c applied locally : - - - 70550 69.8 - - - 1800.09/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.09/1800.71 c cut pool : 0.00 5 - - 6 - (maximal pool size: 70) 1800.09/1800.71 c redcost : 45.99 1947629 0 13064818 0 0 1800.09/1800.71 c impliedbounds : 0.00 6 0 0 0 0 1800.09/1800.71 c intobj : 0.00 0 0 0 0 0 1800.09/1800.71 c gomory : 0.00 6 0 0 0 0 1800.09/1800.71 c strongcg : 0.01 6 0 0 12 0 1800.09/1800.71 c cmir : 0.04 6 0 0 19 0 1800.09/1800.71 c flowcover : 0.07 6 0 0 34 0 1800.09/1800.71 c clique : 0.00 1 0 0 0 0 1800.09/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.09/1800.71 c mcf : 0.00 1 0 0 0 0 1800.09/1800.71 c Pricers : Time Calls Vars 1800.09/1800.71 c problem variables: 0.00 0 0 1800.09/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.09/1800.71 c relpscost : 22.92 1367543 70 6578 0 0 2722206 1800.09/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.09/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.09/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.09/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.09/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.71 c random : 0.00 0 0 0 0 0 0 1800.09/1800.71 c Primal Heuristics : Time Calls Found 1800.09/1800.71 c LP solutions : 0.17 - 16 1800.09/1800.71 c pseudo solutions : 0.00 - 0 1800.09/1800.71 c intshifting : 0.09 0 0 1800.09/1800.71 c feaspump : 0.12 1 0 1800.09/1800.71 c oneopt : 1.03 27 0 1800.09/1800.71 c crossover : 23.92 13 1 1800.09/1800.71 c guideddiving : 21.90 3492 4 1800.09/1800.71 c veclendiving : 20.49 3492 1 1800.09/1800.71 c fracdiving : 27.48 3492 1 1800.09/1800.71 c coefdiving : 37.47 3493 2 1800.09/1800.71 c linesearchdiving : 18.14 3493 0 1800.09/1800.71 c objpscostdiving : 9.73 1747 0 1800.09/1800.71 c simplerounding : 0.73 0 0 1800.09/1800.71 c rounding : 1.84 17061 0 1800.09/1800.71 c shifting : 6.31 5216 0 1800.09/1800.71 c fixandinfer : 0.00 0 0 1800.09/1800.71 c pscostdiving : 27.77 3493 2 1800.09/1800.71 c intdiving : 0.00 0 0 1800.09/1800.71 c actconsdiving : 0.00 0 0 1800.09/1800.71 c rootsoldiving : 8.21 938 0 1800.09/1800.71 c octane : 0.00 0 0 1800.09/1800.71 c rens : 0.05 1 0 1800.09/1800.71 c rins : 0.00 0 0 1800.09/1800.71 c localbranching : 0.00 0 0 1800.09/1800.71 c mutation : 0.00 0 0 1800.09/1800.71 c dins : 0.00 0 0 1800.09/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.09/1800.71 c primal LP : 0.00 0 0 0.00 - 1800.09/1800.71 c dual LP : 956.57 2027260 12406072 6.12 12969.33 1800.09/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.09/1800.71 c diving/probing LP: 120.68 399905 988272 2.47 8189.19 1800.09/1800.71 c strong branching : 8.57 25141 111707 4.44 13034.66 1800.09/1800.71 c (at root node) : - 21 1198 57.05 - 1800.09/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.09/1800.71 c B&B Tree : 1800.09/1800.71 c number of runs : 1 1800.09/1800.71 c nodes : 2131163 1800.09/1800.71 c nodes (total) : 2131163 1800.09/1800.71 c nodes left : 549130 1800.09/1800.71 c max depth : 64 1800.09/1800.71 c max depth (total): 64 1800.09/1800.71 c backtracks : 365501 (17.2%) 1800.09/1800.71 c delayed cutoffs : 13054 1800.09/1800.71 c repropagations : 26625 (96655 domain reductions, 13053 cutoffs) 1800.09/1800.71 c avg switch length: 5.69 1800.09/1800.71 c switching time : 64.75 1800.09/1800.71 c Solution : 1800.09/1800.71 c Solutions found : 27 (27 improvements) 1800.09/1800.71 c Primal Bound : +1.60000000000000e+01 (in run 1, after 1265900 nodes, 1070.08 seconds, depth 47, found by <relaxation>) 1800.09/1800.71 c Dual Bound : +1.81898940354586e-12 1800.09/1800.71 c Gap : infinite 1800.09/1800.71 c Root Dual Bound : +1.81898940354586e-12 1801.78/1802.47 c Time complete: 1801.85.
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869515-1245175911/watcher-1869515-1245175911 -o /tmp/evaluation-result-1869515-1245175911/solver-1869515-1245175911 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869515-1245175911.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 1880 /proc/meminfo: memFree=1871840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=5812 CPUtime=0 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185191498 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1880/statm: 1453 503 332 1256 0 192 0 [startup+0.0552449 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1880 /proc/meminfo: memFree=1871840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=14860 CPUtime=0.04 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 2995 0 0 0 4 0 0 0 18 0 1 0 185191498 15216640 2625 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 3715 2626 660 1256 0 2454 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14860 [startup+0.101252 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1880 /proc/meminfo: memFree=1871840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=15456 CPUtime=0.09 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 3073 0 0 0 9 0 0 0 18 0 1 0 185191498 15826944 2703 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 3864 2703 666 1256 0 2603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15456 [startup+0.301285 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1880 /proc/meminfo: memFree=1871840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=18376 CPUtime=0.29 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 5026 0 0 0 27 2 0 0 19 0 1 0 185191498 18817024 3505 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4594 3505 692 1256 0 3333 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18376 [startup+0.701351 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1880 /proc/meminfo: memFree=1871840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=18376 CPUtime=0.69 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 5043 0 0 0 67 2 0 0 22 0 1 0 185191498 18817024 3522 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4594 3522 693 1256 0 3333 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18376 [startup+1.50148 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1860312/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=17092 CPUtime=1.49 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 5173 0 0 0 145 4 0 0 25 0 1 0 185191498 17502208 2987 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4273 2987 699 1256 0 3012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17092 [startup+3.10276 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1862232/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=16576 CPUtime=3.09 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 7631 0 0 0 299 10 0 0 25 0 1 0 185191498 16973824 3063 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4144 3063 699 1256 0 2883 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16576 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1861016/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=19004 CPUtime=6.29 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 7941 0 0 0 611 18 0 0 25 0 1 0 185191498 19460096 3373 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 4751 3373 699 1256 0 3490 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19004 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1856472/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=22036 CPUtime=12.69 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 9030 0 0 0 1236 33 0 0 25 0 1 0 185191498 22564864 4462 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 5509 4462 699 1256 0 4248 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22036 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1852760/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=26972 CPUtime=25.49 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 9995 0 0 0 2484 65 0 0 25 0 1 0 185191498 27619328 5427 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 6743 5427 699 1256 0 5482 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26972 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1840344/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=37760 CPUtime=51.07 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 13059 0 0 0 4977 130 0 0 25 0 1 0 185191498 38666240 8491 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 9440 8491 700 1256 0 8179 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37760 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1816600/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=63400 CPUtime=102.25 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 18988 0 0 0 9965 260 0 0 25 0 1 0 185191498 64921600 14418 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 15850 14418 700 1256 0 14589 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 63400 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1792024/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=86356 CPUtime=162.23 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 27850 0 0 0 15805 418 0 0 25 0 1 0 185191498 88428544 20529 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 21589 20529 700 1256 0 20328 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 86356 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1780760/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=96968 CPUtime=222.2 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 38694 0 0 0 21624 596 0 0 25 0 1 0 185191498 99295232 23294 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 24242 23294 700 1256 0 22981 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 96968 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1775000/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=104116 CPUtime=282.19 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 41777 0 0 0 27464 755 0 0 25 0 1 0 185191498 106614784 24771 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 26029 24771 700 1256 0 24768 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 104116 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1755736/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=123776 CPUtime=342.17 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 47324 0 0 0 33300 917 0 0 25 0 1 0 185191498 126746624 29555 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 30944 29555 700 1256 0 29683 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 123776 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1738136/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=140976 CPUtime=402.15 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 51716 0 0 0 39133 1082 0 0 25 0 1 0 185191498 144359424 33945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 35244 33945 700 1256 0 33983 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 140976 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1720920/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=161420 CPUtime=462.13 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 55974 0 0 0 44973 1240 0 0 25 0 1 0 185191498 165294080 38203 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 40355 38203 700 1256 0 39094 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 161420 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1706840/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=175868 CPUtime=522.11 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 59480 0 0 0 50808 1403 0 0 25 0 1 0 185191498 180088832 41709 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 43967 41709 700 1256 0 42706 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 175868 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1690008/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=191832 CPUtime=582.09 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 65392 0 0 0 56637 1572 0 0 25 0 1 0 185191498 196435968 45882 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 47958 45882 700 1256 0 46697 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 191832 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1673240/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=208364 CPUtime=642.07 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 69563 0 0 0 62474 1733 0 0 25 0 1 0 185191498 213364736 50053 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 52091 50053 700 1256 0 50830 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 208364 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1590616/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=289496 CPUtime=1001.95 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 90057 0 0 0 97499 2696 0 0 25 0 1 0 185191498 296443904 70546 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 72374 70546 700 1256 0 71113 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 289496 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1577624/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=302648 CPUtime=1061.93 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 93413 0 0 0 103335 2858 0 0 25 0 1 0 185191498 309911552 73902 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 75662 73902 700 1256 0 74401 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 302648 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1566488/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=311976 CPUtime=1121.91 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 96748 0 0 0 109177 3014 0 0 25 0 1 0 185191498 319463424 76481 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 77994 76481 700 1256 0 76733 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 311976 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1563352/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=315404 CPUtime=1181.89 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 98432 0 0 0 115008 3181 0 0 25 0 1 0 185191498 322973696 77316 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 78851 77316 700 1256 0 77590 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 315404 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1555032/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=323632 CPUtime=1241.87 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 100488 0 0 0 120853 3334 0 0 25 0 1 0 185191498 331399168 79372 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 80908 79372 700 1256 0 79647 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 323632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1545048/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=333044 CPUtime=1301.85 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 103656 0 0 0 126696 3489 0 0 25 0 1 0 185191498 341037056 81802 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 83261 81802 703 1256 0 82000 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 333044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1534936/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=343388 CPUtime=1361.83 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 106246 0 0 0 132541 3642 0 0 25 0 1 0 185191498 351629312 84392 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 85847 84392 703 1256 0 84586 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 343388 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1525336/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=352412 CPUtime=1421.81 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 108522 0 0 0 138387 3794 0 0 25 0 1 0 185191498 360869888 86667 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 88103 86667 703 1256 0 86842 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 352412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1514072/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=363296 CPUtime=1481.78 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 111324 0 0 0 144228 3950 0 0 25 0 1 0 185191498 372015104 89469 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 90824 89469 703 1256 0 89563 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 363296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1502616/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=382500 CPUtime=1541.77 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 114164 0 0 0 150064 4113 0 0 25 0 1 0 185191498 391680000 92309 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 95625 92309 703 1256 0 94364 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 382500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1489304/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=395652 CPUtime=1601.75 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 117483 0 0 0 155903 4272 0 0 25 0 1 0 185191498 405147648 95628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 98913 95628 703 1256 0 97652 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 395652 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1478424/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=406252 CPUtime=1661.73 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 120177 0 0 0 161742 4431 0 0 25 0 1 0 185191498 416002048 98322 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 101563 98322 703 1256 0 100302 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 406252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1465112/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=419976 CPUtime=1721.71 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 123612 0 0 0 167581 4590 0 0 25 0 1 0 185191498 430055424 101757 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 104994 101757 703 1256 0 103733 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 419976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1453464/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=430352 CPUtime=1781.68 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 126331 0 0 0 173423 4745 0 0 25 0 1 0 185191498 440680448 104476 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 107588 104476 703 1256 0 106327 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 430352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1882 /proc/meminfo: memFree=1450008/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=433968 CPUtime=1800.09 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 127204 0 0 0 175212 4797 0 0 25 0 1 0 185191498 444383232 105349 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1880/statm: 108492 105349 703 1256 0 107231 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 433968 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 1882 /proc/meminfo: memFree=1450008/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=433968 CPUtime=1800.78 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 127205 0 0 0 175281 4797 0 0 25 0 1 0 185191498 444383232 105350 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0 /proc/1880/statm: 108492 105350 704 1256 0 107231 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 433968 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1883 /proc/meminfo: memFree=1449936/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=433968 CPUtime=1801.58 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 127205 0 0 0 175361 4797 0 0 25 0 1 0 185191498 444383232 105350 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0 /proc/1880/statm: 108492 105350 704 1256 0 107231 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 433968 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1883 /proc/meminfo: memFree=1449936/2055920 swapFree=4192812/4192956 [pid=1880] ppid=1878 vsize=433968 CPUtime=1801.78 /proc/1880/stat : 1880 (pbscip.linux.x8) R 1878 1880 1691 0 -1 4194304 127205 0 0 0 175381 4797 0 0 25 0 1 0 185191498 444383232 105350 1992294400 4194304 9342243 548682068736 18446744073709551615 5854299 0 0 4096 0 0 0 0 17 1 0 0 /proc/1880/statm: 108492 105350 704 1256 0 107231 0 Current children cumulated CPU time (s) 1801.78 Current children cumulated vsize (KiB) 433968 Child status: 0 Real time (s): 1802.48 CPU time (s): 1801.87 CPU user time (s): 1753.83 CPU system time (s): 48.0417 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 433968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.83 system time used= 48.0417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127208 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= 2667 runsolver used 1.3248 second user time and 3.75143 second system time The end
Begin job on node15 at 2009-06-16 20:11:51 IDJOB=1869515 IDBENCH=2912 IDSOLVER=684 FILE ID=node15/1869515-1245175911 PBS_JOBID= 9363890 Free space on /tmp= 66304 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_8_70_3.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-1869515-1245175911/watcher-1869515-1245175911 -o /tmp/evaluation-result-1869515-1245175911/solver-1869515-1245175911 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869515-1245175911.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=1136148015 node15.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.261 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 : 5931.00 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.261 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: 1872256 kB Buffers: 35424 kB Cached: 77184 kB SwapCached: 0 kB Active: 73304 kB Inactive: 52744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872256 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11748 kB Writeback: 0 kB Mapped: 23248 kB Slab: 43508 kB Committed_AS: 183672 kB PageTables: 1460 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= 66292 MiB End job on node15 at 2009-06-16 20:41:54