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 | OPT | 1 | 722.113 | 722.329 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
| MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 22.0466 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| 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 | 8 |
| Minimum length of a constraint | 44 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| 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 | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 869 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3118 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-1869547-1245177999.opb> 0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 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, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.01 c (round 2) 4 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.02 c presolving (3 rounds): 0.00/0.02 c 4 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.00/0.02 c 0 implications, 0 cliques 0.00/0.02 c presolved problem has 90 variables (90 bin, 0 int, 0 impl, 0 cont) and 4 constraints 0.00/0.02 c 4 constraints of type <linear> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c OPT-LIN 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = c 1620 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = c 1791 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = c 10000 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving problem 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 0 | 14 | 325k| 0 | 4 | 90 | 4 | 4 | 90 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 95 | 374k| 0 | 6 | 90 | 4 | 4 | 90 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 99 | 401k| 0 | 8 | 90 | 4 | 4 | 90 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 106 | 442k| 0 | 10 | 90 | 4 | 4 | 90 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 115 | 472k| 0 | 12 | 90 | 4 | 4 | 90 | 20 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.06 c 0.1s| 1 | 0 | 126 | 486k| 0 | 12 | 90 | 4 | 4 | 90 | 23 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.07 c 0.1s| 1 | 0 | 144 | 523k| 0 | 17 | 90 | 4 | 4 | 90 | 29 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.20 c 0.2s| 1 | 2 | 144 | 523k| 0 | 17 | 90 | 4 | 4 | 90 | 29 | 25 | 0 | 17 | 0.000000e+00 | -- | Inf 0.29/0.34 o 243 0.29/0.34 c f 0.3s| 146 | 110 | 764 | 592k| 25 | - | 90 | 4 | 3 | 90 | 19 | 25 | 2 | 267 | 0.000000e+00 | 2.430000e+02 | Inf 0.29/0.38 o 103 0.29/0.38 c g 0.3s| 206 | 161 | 1040 | 608k| 25 | - | 90 | 4 | 2 | 90 | 19 | 25 | 2 | 288 | 0.000000e+00 | 1.030000e+02 | Inf 0.39/0.42 o 102 0.39/0.42 c * 0.4s| 264 | 213 | 1333 | 625k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 2 | 326 | 0.000000e+00 | 1.020000e+02 | Inf 0.39/0.42 o 98 0.39/0.42 c c 0.4s| 267 | 213 | 1336 | 627k| 25 | - | 90 | 4 | 1 | 90 | 19 | 25 | 2 | 332 | 0.000000e+00 | 9.800000e+01 | Inf 0.39/0.42 o 94 0.39/0.42 c p 0.4s| 267 | 208 | 1336 | 634k| 25 | - | 90 | 4 | 1 | 90 | 19 | 25 | 3 | 332 | 0.000000e+00 | 9.400000e+01 | Inf 0.39/0.43 o 92 0.39/0.43 c f 0.4s| 281 | 219 | 1373 | 643k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 4 | 340 | 0.000000e+00 | 9.200000e+01 | Inf 0.39/0.44 o 90 0.39/0.44 c * 0.4s| 294 | 230 | 1402 | 646k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 4 | 346 | 0.000000e+00 | 9.000000e+01 | Inf 0.39/0.44 o 88 0.39/0.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.44 c * 0.4s| 298 | 231 | 1416 | 649k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 4 | 351 | 0.000000e+00 | 8.800000e+01 | Inf 0.39/0.44 o 86 0.39/0.44 c s 0.4s| 300 | 229 | 1418 | 649k| 25 | - | 90 | 4 | 3 | 90 | 19 | 25 | 4 | 353 | 0.000000e+00 | 8.600000e+01 | Inf 0.39/0.44 o 80 0.39/0.44 c s 0.4s| 301 | 226 | 1419 | 649k| 25 | - | 90 | 4 | 4 | 90 | 19 | 25 | 4 | 353 | 0.000000e+00 | 8.000000e+01 | Inf 0.39/0.46 o 79 0.39/0.46 c * 0.4s| 332 | 250 | 1515 | 666k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 8 | 371 | 0.000000e+00 | 7.900000e+01 | Inf 0.39/0.47 o 78 0.39/0.47 c l 0.4s| 345 | 263 | 1545 | 676k| 25 | - | 90 | 4 | 0 | 90 | 19 | 25 | 8 | 376 | 0.000000e+00 | 7.800000e+01 | Inf 0.39/0.49 o 76 0.39/0.49 c * 0.5s| 389 | 289 | 1680 | 688k| 26 | - | 90 | 4 | 0 | 90 | 19 | 25 | 9 | 388 | 0.000000e+00 | 7.600000e+01 | Inf 0.39/0.49 o 74 0.39/0.49 c p 0.5s| 391 | 287 | 1683 | 688k| 27 | - | 90 | 4 | 0 | 90 | 19 | 25 | 9 | 395 | 0.000000e+00 | 7.400000e+01 | Inf 0.49/0.50 o 72 0.49/0.50 c * 0.5s| 397 | 285 | 1701 | 690k| 27 | - | 90 | 4 | 0 | 90 | 19 | 25 | 9 | 400 | 0.000000e+00 | 7.200000e+01 | Inf 0.49/0.50 o 70 0.49/0.50 c * 0.5s| 398 | 283 | 1701 | 689k| 27 | - | 90 | 4 | 0 | 90 | 19 | 25 | 9 | 400 | 0.000000e+00 | 7.000000e+01 | Inf 0.49/0.53 o 68 0.49/0.53 c * 0.5s| 450 | 322 | 1859 | 710k| 28 | - | 90 | 4 | 0 | 90 | 19 | 25 | 16 | 415 | 0.000000e+00 | 6.800000e+01 | Inf 0.49/0.53 o 64 0.49/0.53 c * 0.5s| 455 | 317 | 1869 | 707k| 28 | - | 90 | 4 | 2 | 90 | 19 | 25 | 16 | 418 | 0.000000e+00 | 6.400000e+01 | Inf 0.49/0.53 o 62 0.49/0.53 c * 0.5s| 456 | 315 | 1869 | 707k| 28 | - | 90 | 4 | 0 | 90 | 19 | 25 | 16 | 418 | 0.000000e+00 | 6.200000e+01 | Inf 0.49/0.55 o 60 0.49/0.55 c v 0.5s| 498 | 335 | 1992 | 720k| 28 | - | 90 | 4 | 0 | 90 | 19 | 25 | 16 | 448 | 0.000000e+00 | 6.000000e+01 | Inf 0.49/0.57 o 59 0.49/0.57 c * 0.5s| 526 | 359 | 2071 | 732k| 28 | - | 90 | 5 | 0 | 90 | 19 | 25 | 17 | 475 | 0.000000e+00 | 5.900000e+01 | Inf 0.49/0.57 o 57 0.49/0.57 c * 0.5s| 527 | 355 | 2071 | 733k| 28 | - | 90 | 5 | 0 | 90 | 19 | 25 | 17 | 475 | 0.000000e+00 | 5.700000e+01 | Inf 0.59/0.60 o 34 0.59/0.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.59/0.60 c g 0.6s| 590 | 349 | 2229 | 729k| 28 | - | 90 | 5 | 0 | 90 | 19 | 25 | 17 | 484 | 0.000000e+00 | 3.400000e+01 | Inf 0.79/0.87 o 33 0.79/0.87 c v 0.8s| 958 | 676 | 3387 | 881k| 28 | - | 90 | 14 | 0 | 90 | 19 | 25 | 46 | 530 | 0.000000e+00 | 3.300000e+01 | Inf 0.99/1.09 o 32 0.99/1.09 c l 1.0s| 1378 | 1024 | 4914 |1047k| 28 | - | 90 | 37 | 0 | 90 | 19 | 25 | 95 | 556 | 0.000000e+00 | 3.200000e+01 | Inf 1.19/1.21 o 31 1.19/1.21 c * 1.1s| 1608 | 1194 | 5643 |1131k| 28 | - | 90 | 56 | 4 | 90 | 19 | 25 | 122 | 569 | 0.000000e+00 | 3.100000e+01 | Inf 1.19/1.21 o 29 1.19/1.21 c * 1.1s| 1609 | 1190 | 5643 |1130k| 28 | - | 90 | 56 | 4 | 90 | 19 | 25 | 122 | 569 | 0.000000e+00 | 2.900000e+01 | Inf 1.29/1.34 o 26 1.29/1.34 c v 1.3s| 1827 | 1348 | 6437 |1213k| 28 | - | 90 | 87 | 8 | 90 | 19 | 25 | 160 | 571 | 0.000000e+00 | 2.600000e+01 | Inf 1.59/1.65 o 20 1.59/1.65 c * 1.6s| 2309 | 1718 | 8603 |1402k| 28 | - | 90 | 158 | 6 | 90 | 19 | 25 | 248 | 575 | 0.000000e+00 | 2.000000e+01 | Inf 1.69/1.72 o 18 1.69/1.72 c * 1.6s| 2402 | 1768 | 9080 |1426k| 28 | - | 90 | 177 | 0 | 90 | 19 | 25 | 270 | 575 | 0.000000e+00 | 1.800000e+01 | Inf 2.10/2.10 o 16 2.10/2.10 c f 2.0s| 2857 | 2057 | 11540 |1613k| 28 | - | 90 | 294 | 19 | 90 | 19 | 25 | 405 | 576 | 0.000000e+00 | 1.600000e+01 | Inf 2.29/2.39 o 9 2.29/2.39 c s 2.2s| 3288 | 2186 | 13415 |1695k| 28 | 2 | 90 | 402 | 17 | 90 | 19 | 25 | 516 | 583 | 0.000000e+00 | 9.000000e+00 | Inf 2.29/2.39 o 5 2.29/2.39 c * 2.2s| 3288 | 2036 | 13415 |1619k| 28 | - | 90 | 402 | 13 | 90 | 19 | 25 | 516 | 583 | 0.000000e+00 | 5.000000e+00 | Inf 5.59/5.65 c 5.4s| 10000 | 3322 | 38242 |2676k| 28 | - | 90 |1117 | 61 | 90 | 19 | 25 |1320 | 620 | 0.000000e+00 | 5.000000e+00 | Inf 9.99/10.07 o 3 9.99/10.07 c * 9.6s| 18742 | 4834 | 69837 |3736k| 28 | - | 90 |1600 | 1 | 90 | 19 | 25 |2205 | 680 | 0.000000e+00 | 3.000000e+00 | Inf 10.58/10.64 c 10.2s| 20000 | 4953 | 73667 |3838k| 28 | - | 90 |1653 | 66 | 90 | 19 | 25 |2304 | 684 | 0.000000e+00 | 3.000000e+00 | Inf 15.08/15.11 c 14.5s| 30000 | 5241 |104568 |4172k| 28 | 4 | 90 |1565 | 11 | 90 | 19 | 25 |2905 | 698 | 0.000000e+00 | 3.000000e+00 | Inf 19.28/19.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 19.28/19.36 c 18.6s| 40000 | 5041 |135957 |4169k| 28 | 4 | 90 |1638 | 8 | 90 | 19 | 25 |3641 | 709 | 0.000000e+00 | 3.000000e+00 | Inf 23.38/23.40 c 22.4s| 50000 | 4943 |166865 |4165k| 28 | 4 | 90 |1734 | 165 | 90 | 19 | 25 |4272 | 725 | 0.000000e+00 | 3.000000e+00 | Inf 27.58/27.62 c 26.5s| 60000 | 4980 |198530 |4215k| 28 | - | 90 |1688 | 201 | 0 | 0 | 25 |5013 | 734 | 0.000000e+00 | 3.000000e+00 | Inf 31.89/31.93 c 30.6s| 70000 | 5403 |230309 |4385k| 28 | - | 90 |1616 | 12 | 90 | 19 | 25 |5940 | 878 | 0.000000e+00 | 3.000000e+00 | Inf 33.28/33.33 o 2 33.28/33.33 c *32.0s| 73127 | 6038 |241148 |4794k| 28 | - | 90 |1856 | 92 | 90 | 19 | 25 |6246 | 880 | 0.000000e+00 | 2.000000e+00 | Inf 37.08/37.18 c 35.6s| 80000 | 7477 |261503 |5562k| 28 | 4 | 90 |1941 | 72 | 90 | 19 | 25 |6944 | 880 | 0.000000e+00 | 2.000000e+00 | Inf 41.18/41.26 c 39.5s| 90000 | 8028 |288240 |5959k| 28 | - | 90 |1765 | 34 | 90 | 19 | 25 |7742 | 881 | 0.000000e+00 | 2.000000e+00 | Inf 44.98/45.05 c 43.1s|100000 | 8193 |314028 |6211k| 28 | 4 | 90 |1822 | 10 | 90 | 19 | 25 |8542 | 881 | 0.000000e+00 | 2.000000e+00 | Inf 48.77/48.83 c 46.8s|110000 | 7999 |339597 |6188k| 28 | - | 90 |1680 | 6 | 90 | 19 | 25 |9340 | 884 | 0.000000e+00 | 2.000000e+00 | Inf 52.48/52.58 c 50.3s|120000 | 8107 |365799 |6388k| 28 | 4 | 90 |1704 | 93 | 90 | 19 | 25 | 10k| 886 | 0.000000e+00 | 2.000000e+00 | Inf 56.17/56.25 c 53.8s|130000 | 8006 |391995 |6057k| 28 | 4 | 90 | 870 | 5 | 90 | 19 | 25 | 10k| 888 | 0.000000e+00 | 2.000000e+00 | Inf 59.58/59.63 c 57.1s|140000 | 8100 |419545 |6122k| 28 | 4 | 90 | 602 | 10 | 90 | 19 | 25 | 11k| 890 | 0.000000e+00 | 2.000000e+00 | Inf 62.77/62.89 c 60.2s|150000 | 7840 |445858 |5982k| 28 | 4 | 90 | 501 | 10 | 90 | 19 | 25 | 12k| 891 | 0.000000e+00 | 2.000000e+00 | Inf 66.07/66.12 c 63.2s|160000 | 7619 |472561 |5838k| 28 | - | 90 | 375 | 9 | 90 | 19 | 25 | 13k| 952 | 0.000000e+00 | 2.000000e+00 | Inf 69.17/69.29 c 66.3s|170000 | 7428 |499635 |5782k| 28 | - | 90 | 342 | 7 | 90 | 19 | 25 | 13k| 953 | 0.000000e+00 | 2.000000e+00 | Inf 72.47/72.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 72.47/72.53 c 69.3s|180000 | 7118 |527333 |5603k| 28 | 4 | 90 | 445 | 4 | 90 | 19 | 25 | 14k| 954 | 0.000000e+00 | 2.000000e+00 | Inf 75.67/75.75 c 72.4s|190000 | 7199 |554719 |5645k| 28 | 4 | 90 | 327 | 5 | 90 | 19 | 25 | 15k| 956 | 0.000000e+00 | 2.000000e+00 | Inf 78.86/78.93 c 75.4s|200000 | 6776 |581467 |5406k| 28 | - | 90 | 454 | 33 | 90 | 19 | 25 | 15k| 959 | 0.000000e+00 | 2.000000e+00 | Inf 81.97/82.09 c 78.4s|210000 | 6249 |606797 |5061k| 28 | - | 90 | 406 | 12 | 90 | 19 | 25 | 16k| 984 | 4.547474e-13 | 2.000000e+00 | Inf 85.17/85.27 c 81.4s|220000 | 5920 |633070 |4930k| 28 | 4 | 90 | 521 | 9 | 90 | 19 | 25 | 17k|1070 | 4.547474e-13 | 2.000000e+00 | Inf 88.56/88.61 c 84.6s|230000 | 5994 |657802 |4955k| 28 | - | 90 | 498 | 9 | 90 | 19 | 25 | 18k|1405 | 4.547474e-13 | 2.000000e+00 | Inf 91.77/91.88 c 87.7s|240000 | 6343 |682461 |5286k| 28 | - | 90 | 545 | 18 | 0 | 0 | 25 | 19k|1406 | 4.547474e-13 | 2.000000e+00 | Inf 95.06/95.17 c 90.8s|250000 | 7141 |707622 |5811k| 28 | - | 90 | 548 | 7 | 0 | 0 | 25 | 20k|1406 | 4.547474e-13 | 2.000000e+00 | Inf 98.26/98.31 c 93.8s|260000 | 7011 |731752 |5864k| 28 | 4 | 90 | 543 | 72 | 90 | 19 | 25 | 20k|1406 | 4.547474e-13 | 2.000000e+00 | Inf 101.36/101.43 c 96.7s|270000 | 6909 |756202 |5871k| 28 | - | 90 | 608 | 10 | 90 | 19 | 25 | 21k|1406 | 4.547474e-13 | 2.000000e+00 | Inf 104.47/104.57 c 99.7s|280000 | 7196 |780783 |6171k| 28 | - | 90 | 783 | 30 | 90 | 19 | 25 | 22k|1408 | 4.547474e-13 | 2.000000e+00 | Inf 107.56/107.70 c 103s|290000 | 6879 |803681 |5974k| 28 | 4 | 90 | 747 | 4 | 90 | 19 | 25 | 22k|1410 | 4.547474e-13 | 2.000000e+00 | Inf 110.76/110.85 c 106s|300000 | 6523 |828020 |5696k| 28 | - | 90 | 691 | 9 | 90 | 19 | 25 | 23k|1413 | 4.547474e-13 | 2.000000e+00 | Inf 113.96/114.00 c 109s|310000 | 6135 |853429 |5341k| 28 | - | 90 | 604 | 11 | 90 | 19 | 25 | 24k|1414 | 4.547474e-13 | 2.000000e+00 | Inf 116.95/117.06 c 112s|320000 | 6235 |877835 |5394k| 28 | - | 90 | 707 | 4 | 90 | 19 | 25 | 24k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 120.05/120.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 120.05/120.14 c 114s|330000 | 6186 |901659 |5420k| 28 | 4 | 90 | 654 | 4 | 90 | 19 | 25 | 25k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 123.06/123.19 c 117s|340000 | 6110 |925234 |5314k| 28 | 4 | 90 | 862 | 9 | 90 | 19 | 25 | 26k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 126.15/126.26 c 120s|350000 | 6022 |945305 |5290k| 28 | 4 | 90 | 762 | 5 | 90 | 19 | 25 | 26k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 129.15/129.28 c 123s|360000 | 6148 |967818 |5385k| 28 | - | 90 | 761 | 4 | 90 | 19 | 25 | 27k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 132.16/132.27 c 126s|370000 | 5892 |989207 |5170k| 28 | 4 | 90 | 816 | 6 | 90 | 19 | 25 | 27k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 135.26/135.31 c 129s|380000 | 5725 | 1012k|4862k| 28 | - | 90 | 533 | 23 | 90 | 19 | 25 | 28k|1417 | 4.547474e-13 | 2.000000e+00 | Inf 138.25/138.34 c 132s|390000 | 5507 | 1036k|4645k| 28 | - | 90 | 393 | 6 | 90 | 19 | 25 | 29k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 141.15/141.26 c 135s|400000 | 5671 | 1061k|4921k| 28 | - | 90 | 547 | 6 | 90 | 19 | 25 | 29k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 144.15/144.23 c 137s|410000 | 5488 | 1086k|4887k| 28 | 4 | 90 | 645 | 6 | 90 | 19 | 25 | 30k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 147.14/147.22 c 140s|420000 | 5156 | 1110k|4502k| 28 | 4 | 90 | 516 | 5 | 90 | 19 | 25 | 30k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 150.14/150.21 c 143s|430000 | 4870 | 1135k|4213k| 28 | 4 | 90 | 363 | 4 | 90 | 19 | 25 | 30k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 153.04/153.15 c 146s|440000 | 5499 | 1158k|4682k| 28 | - | 90 | 633 | 22 | 90 | 19 | 25 | 31k|1418 | 4.547474e-13 | 2.000000e+00 | Inf 156.05/156.12 c 149s|450000 | 5693 | 1180k|4960k| 28 | 4 | 90 | 711 | 35 | 90 | 19 | 25 | 32k|1420 | 4.547474e-13 | 2.000000e+00 | Inf 158.94/159.05 c 151s|460000 | 5809 | 1201k|5103k| 28 | 4 | 90 | 724 | 5 | 90 | 19 | 25 | 32k|1420 | 4.547474e-13 | 2.000000e+00 | Inf 162.04/162.12 c 154s|470000 | 6266 | 1227k|5537k| 28 | 4 | 90 | 877 | 7 | 90 | 19 | 25 | 33k|1420 | 4.547474e-13 | 2.000000e+00 | Inf 165.05/165.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 165.05/165.14 c 157s|480000 | 6202 | 1250k|5488k| 28 | 4 | 90 | 662 | 7 | 90 | 19 | 25 | 33k|1420 | 4.547474e-13 | 2.000000e+00 | Inf 167.94/168.07 c 160s|490000 | 5863 | 1272k|5276k| 28 | 4 | 90 | 537 | 4 | 90 | 19 | 25 | 34k|1421 | 4.547474e-13 | 2.000000e+00 | Inf 170.84/170.90 c 163s|500000 | 5757 | 1292k|5281k| 28 | - | 90 | 689 | 60 | 0 | 0 | 25 | 35k|1421 | 4.547474e-13 | 2.000000e+00 | Inf 173.74/173.80 c 165s|510000 | 6032 | 1312k|5564k| 28 | 4 | 90 | 835 | 8 | 90 | 19 | 25 | 35k|1421 | 4.547474e-13 | 2.000000e+00 | Inf 176.54/176.67 c 168s|520000 | 5609 | 1332k|5240k| 28 | 4 | 90 | 735 | 23 | 90 | 19 | 25 | 36k|1422 | 4.547474e-13 | 2.000000e+00 | Inf 179.43/179.53 c 171s|530000 | 5271 | 1353k|4826k| 28 | - | 90 | 575 | 14 | 0 | 0 | 25 | 36k|1422 | 4.547474e-13 | 2.000000e+00 | Inf 182.24/182.32 c 173s|540000 | 5024 | 1373k|4667k| 28 | - | 90 | 640 | 22 | 0 | 0 | 25 | 37k|1422 | 4.547474e-13 | 2.000000e+00 | Inf 185.03/185.18 c 176s|550000 | 4750 | 1394k|4375k| 28 | - | 90 | 677 | 10 | 90 | 19 | 25 | 37k|1423 | 4.547474e-13 | 2.000000e+00 | Inf 187.94/188.02 c 179s|560000 | 5125 | 1416k|4672k| 28 | 4 | 90 | 710 | 17 | 90 | 19 | 25 | 38k|1424 | 4.547474e-13 | 2.000000e+00 | Inf 190.84/190.94 c 182s|570000 | 4488 | 1438k|3986k| 28 | - | 90 | 371 | 13 | 0 | 0 | 25 | 38k|1424 | 4.547474e-13 | 2.000000e+00 | Inf 193.64/193.74 c 184s|580000 | 4746 | 1459k|4203k| 28 | - | 90 | 429 | 168 | 0 | 0 | 25 | 39k|1424 | 4.547474e-13 | 2.000000e+00 | Inf 196.43/196.50 c 187s|590000 | 4564 | 1479k|4132k| 28 | - | 90 | 436 | 42 | 0 | 0 | 25 | 39k|1425 | 4.547474e-13 | 2.000000e+00 | Inf 199.13/199.23 c 190s|600000 | 4607 | 1499k|4111k| 28 | 4 | 90 | 399 | 7 | 90 | 19 | 25 | 40k|1425 | 4.547474e-13 | 2.000000e+00 | Inf 201.83/201.99 c 192s|610000 | 4658 | 1521k|4236k| 28 | - | 90 | 499 | 4 | 90 | 19 | 25 | 40k|1428 | 4.547474e-13 | 2.000000e+00 | Inf 204.63/204.79 c 195s|620000 | 4501 | 1543k|4177k| 28 | 4 | 90 | 586 | 9 | 90 | 19 | 25 | 41k|1432 | 4.547474e-13 | 2.000000e+00 | Inf 207.53/207.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 207.53/207.60 c 197s|630000 | 4395 | 1563k|4020k| 28 | 4 | 90 | 539 | 5 | 90 | 19 | 25 | 42k|1432 | 4.547474e-13 | 2.000000e+00 | Inf 210.33/210.48 c 200s|640000 | 4638 | 1584k|4247k| 28 | - | 90 | 527 | 10 | 0 | 0 | 25 | 42k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 213.23/213.40 c 203s|650000 | 4375 | 1604k|4233k| 28 | - | 90 | 929 | 4 | 0 | 0 | 25 | 43k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 216.12/216.28 c 206s|660000 | 4549 | 1625k|4212k| 28 | 4 | 90 | 577 | 12 | 90 | 19 | 25 | 44k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 218.93/219.09 c 208s|670000 | 4203 | 1645k|3912k| 28 | - | 90 | 362 | 3 | 0 | 0 | 25 | 44k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 221.72/221.88 c 211s|680000 | 3843 | 1668k|3585k| 28 | - | 90 | 240 | 12 | 90 | 19 | 25 | 45k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 224.52/224.60 c 214s|690000 | 3498 | 1689k|3285k| 28 | - | 90 | 255 | 24 | 90 | 19 | 25 | 45k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 227.23/227.37 c 216s|700000 | 4257 | 1710k|3874k| 28 | 4 | 90 | 509 | 16 | 90 | 19 | 25 | 46k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 230.02/230.20 c 219s|710000 | 3988 | 1731k|3838k| 28 | - | 90 | 594 | 15 | 90 | 19 | 25 | 47k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 233.02/233.10 c 222s|720000 | 3744 | 1752k|3701k| 28 | - | 90 | 673 | 5 | 90 | 19 | 25 | 47k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 235.82/235.92 c 224s|730000 | 3598 | 1771k|3645k| 28 | 4 | 90 | 913 | 4 | 90 | 19 | 25 | 48k|1433 | 4.547474e-13 | 2.000000e+00 | Inf 238.72/238.87 c 227s|740000 | 3815 | 1791k|3716k| 28 | 4 | 90 | 656 | 6 | 90 | 19 | 25 | 49k|1434 | 4.547474e-13 | 2.000000e+00 | Inf 241.62/241.72 c 230s|750000 | 3802 | 1812k|3759k| 28 | - | 90 | 604 | 6 | 0 | 0 | 25 | 50k|1435 | 4.547474e-13 | 2.000000e+00 | Inf 244.52/244.62 c 232s|760000 | 3491 | 1833k|3521k| 28 | - | 90 | 714 | 9 | 90 | 19 | 25 | 50k|1436 | 4.547474e-13 | 2.000000e+00 | Inf 247.32/247.49 c 235s|770000 | 3387 | 1853k|3428k| 28 | - | 90 | 645 | 22 | 90 | 19 | 25 | 51k|1436 | 4.547474e-13 | 2.000000e+00 | Inf 250.22/250.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 250.22/250.30 c 238s|780000 | 3386 | 1874k|3355k| 28 | - | 90 | 395 | 4 | 0 | 0 | 25 | 51k|1440 | 4.547474e-13 | 2.000000e+00 | Inf 252.92/253.09 c 240s|790000 | 3127 | 1895k|3123k| 28 | - | 90 | 454 | 5 | 0 | 0 | 25 | 52k|1440 | 4.547474e-13 | 2.000000e+00 | Inf 255.72/255.86 c 243s|800000 | 3497 | 1915k|3330k| 28 | - | 90 | 374 | 5 | 0 | 0 | 25 | 53k|1442 | 4.547474e-13 | 2.000000e+00 | Inf 258.51/258.60 c 246s|810000 | 3416 | 1935k|3412k| 28 | 4 | 90 | 525 | 24 | 90 | 19 | 25 | 53k|1442 | 4.547474e-13 | 2.000000e+00 | Inf 261.31/261.43 c 248s|820000 | 3377 | 1956k|3262k| 28 | 4 | 90 | 444 | 10 | 90 | 19 | 25 | 54k|1442 | 4.547474e-13 | 2.000000e+00 | Inf 264.12/264.24 c 251s|830000 | 3758 | 1976k|3637k| 28 | 4 | 90 | 653 | 5 | 90 | 19 | 25 | 55k|1442 | 4.547474e-13 | 2.000000e+00 | Inf 267.01/267.12 c 254s|840000 | 3525 | 1997k|3607k| 28 | 4 | 90 | 749 | 8 | 90 | 19 | 25 | 55k|1443 | 4.547474e-13 | 2.000000e+00 | Inf 269.91/270.03 c 256s|850000 | 3559 | 2019k|3740k| 28 | 4 | 90 | 938 | 10 | 90 | 19 | 25 | 56k|1443 | 4.547474e-13 | 2.000000e+00 | Inf 272.81/272.98 c 259s|860000 | 3205 | 2040k|3464k| 28 | - | 90 | 969 | 13 | 90 | 19 | 25 | 57k|1443 | 4.547474e-13 | 2.000000e+00 | Inf 275.81/275.92 c 262s|870000 | 3147 | 2061k|3387k| 28 | - | 90 | 949 | 43 | 0 | 0 | 25 | 57k|1443 | 4.547474e-13 | 2.000000e+00 | Inf 278.71/278.82 c 265s|880000 | 2998 | 2082k|3095k| 28 | - | 90 | 483 | 12 | 90 | 19 | 25 | 58k|1443 | 4.547474e-13 | 2.000000e+00 | Inf 281.51/281.63 c 267s|890000 | 2785 | 2104k|2918k| 28 | - | 90 | 429 | 5 | 90 | 19 | 25 | 59k|1444 | 4.547474e-13 | 2.000000e+00 | Inf 284.21/284.39 c 270s|900000 | 3090 | 2124k|3177k| 28 | - | 90 | 487 | 10 | 90 | 19 | 25 | 59k|1445 | 4.547474e-13 | 2.000000e+00 | Inf 287.10/287.20 c 273s|910000 | 2837 | 2144k|3021k| 28 | 4 | 90 | 426 | 38 | 90 | 19 | 25 | 60k|1447 | 4.547474e-13 | 2.000000e+00 | Inf 289.91/290.07 c 275s|920000 | 2662 | 2164k|2899k| 28 | 4 | 90 | 507 | 9 | 90 | 19 | 25 | 61k|1449 | 4.547474e-13 | 2.000000e+00 | Inf 292.71/292.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 292.71/292.86 c 278s|930000 | 2535 | 2185k|2843k| 28 | - | 90 | 513 | 7 | 90 | 19 | 25 | 61k|1450 | 4.547474e-13 | 2.000000e+00 | Inf 295.51/295.68 c 281s|940000 | 2337 | 2206k|2678k| 28 | 4 | 90 | 381 | 99 | 90 | 19 | 25 | 62k|1450 | 4.547474e-13 | 2.000000e+00 | Inf 298.30/298.45 c 283s|950000 | 2671 | 2227k|2957k| 28 | 4 | 90 | 423 | 15 | 90 | 19 | 25 | 63k|1452 | 4.547474e-13 | 2.000000e+00 | Inf 301.10/301.21 c 286s|960000 | 2986 | 2247k|3166k| 28 | - | 90 | 369 | 11 | 90 | 19 | 25 | 63k|1452 | 4.547474e-13 | 2.000000e+00 | Inf 303.80/303.93 c 288s|970000 | 3335 | 2268k|3449k| 28 | 4 | 90 | 346 | 8 | 90 | 19 | 25 | 64k|1454 | 4.547474e-13 | 2.000000e+00 | Inf 306.60/306.76 c 291s|980000 | 3433 | 2290k|3621k| 28 | 4 | 90 | 431 | 5 | 90 | 19 | 25 | 64k|1454 | 4.547474e-13 | 2.000000e+00 | Inf 309.40/309.59 c 294s|990000 | 3887 | 2311k|3908k| 28 | 4 | 90 | 377 | 4 | 90 | 19 | 25 | 65k|1454 | 4.547474e-13 | 2.000000e+00 | Inf 312.30/312.44 c 297s| 1000k| 4025 | 2333k|4114k| 28 | 4 | 90 | 389 | 15 | 90 | 19 | 25 | 65k|1455 | 4.547474e-13 | 2.000000e+00 | Inf 315.10/315.24 c 299s| 1010k| 3832 | 2355k|4045k| 28 | - | 90 | 311 | 14 | 0 | 0 | 25 | 66k|1455 | 4.547474e-13 | 2.000000e+00 | Inf 317.90/318.05 c 302s| 1020k| 3687 | 2376k|4060k| 28 | 4 | 90 | 489 | 12 | 90 | 19 | 25 | 67k|1457 | 4.547474e-13 | 2.000000e+00 | Inf 320.69/320.86 c 304s| 1030k| 4080 | 2396k|4343k| 28 | - | 90 | 380 | 9 | 90 | 19 | 25 | 67k|1457 | 4.547474e-13 | 2.000000e+00 | Inf 323.59/323.70 c 307s| 1040k| 3768 | 2418k|4182k| 28 | 4 | 90 | 458 | 15 | 90 | 19 | 25 | 68k|1458 | 4.547474e-13 | 2.000000e+00 | Inf 326.39/326.50 c 310s| 1050k| 3932 | 2439k|4354k| 28 | - | 90 | 442 | 5 | 90 | 19 | 25 | 68k|1458 | 4.547474e-13 | 2.000000e+00 | Inf 329.19/329.33 c 313s| 1060k| 3740 | 2461k|4275k| 28 | - | 90 | 476 | 11 | 90 | 19 | 25 | 69k|1459 | 4.547474e-13 | 2.000000e+00 | Inf 332.10/332.22 c 315s| 1070k| 3272 | 2482k|3929k| 28 | - | 90 | 524 | 7 | 0 | 0 | 25 | 70k|1459 | 4.547474e-13 | 2.000000e+00 | Inf 334.90/335.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 334.90/335.03 c 318s| 1080k| 3043 | 2503k|3745k| 28 | - | 90 | 560 | 18 | 0 | 0 | 25 | 70k|1459 | 4.547474e-13 | 2.000000e+00 | Inf 337.59/337.79 c 321s| 1090k| 2796 | 2524k|3523k| 28 | - | 90 | 467 | 11 | 0 | 0 | 25 | 71k|1459 | 4.547474e-13 | 2.000000e+00 | Inf 340.39/340.59 c 323s| 1100k| 2546 | 2545k|3337k| 28 | - | 90 | 594 | 65 | 0 | 0 | 25 | 71k|1459 | 4.547474e-13 | 2.000000e+00 | Inf 343.29/343.49 c 326s| 1110k| 2993 | 2567k|3615k| 28 | - | 90 | 535 | 24 | 0 | 0 | 25 | 72k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 346.19/346.38 c 329s| 1120k| 2867 | 2589k|3626k| 28 | - | 90 | 562 | 27 | 0 | 0 | 25 | 73k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 349.18/349.31 c 331s| 1130k| 2224 | 2611k|3019k| 28 | - | 90 | 574 | 5 | 0 | 0 | 25 | 73k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 351.99/352.17 c 334s| 1140k| 2764 | 2631k|3398k| 28 | 4 | 90 | 684 | 5 | 90 | 19 | 25 | 74k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 354.98/355.11 c 337s| 1150k| 2025 | 2652k|2809k| 28 | - | 90 | 577 | 6 | 90 | 19 | 25 | 75k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 357.69/357.90 c 340s| 1160k| 2109 | 2673k|2651k| 28 | - | 90 | 452 | 12 | 90 | 19 | 25 | 76k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 360.48/360.66 c 342s| 1170k| 2431 | 2693k|2996k| 28 | 4 | 90 | 587 | 4 | 90 | 19 | 25 | 76k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 363.38/363.53 c 345s| 1180k| 2370 | 2714k|3143k| 28 | - | 90 | 886 | 11 | 90 | 19 | 25 | 77k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 366.38/366.50 c 348s| 1190k| 2168 | 2734k|2837k| 28 | 4 | 90 | 568 | 147 | 90 | 19 | 25 | 78k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 369.08/369.27 c 350s| 1200k| 3021 | 2756k|3317k| 28 | 4 | 90 | 450 | 12 | 90 | 19 | 25 | 78k|1460 | 4.547474e-13 | 2.000000e+00 | Inf 371.88/372.03 c 353s| 1210k| 4587 | 2777k|4125k| 28 | 4 | 90 | 449 | 6 | 90 | 19 | 25 | 79k|1461 | 4.547474e-13 | 2.000000e+00 | Inf 374.68/374.82 c 356s| 1220k| 5790 | 2798k|4892k| 28 | - | 90 | 653 | 19 | 90 | 19 | 25 | 79k|1462 | 4.547474e-13 | 2.000000e+00 | Inf 377.48/377.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 377.48/377.68 c 358s| 1230k| 6756 | 2819k|5501k| 28 | - | 90 | 714 | 14 | 90 | 19 | 25 | 80k|1463 | 4.547474e-13 | 2.000000e+00 | Inf 380.39/380.58 c 361s| 1240k| 7233 | 2840k|5887k| 28 | 4 | 90 | 679 | 12 | 90 | 19 | 25 | 80k|1463 | 4.547474e-13 | 2.000000e+00 | Inf 383.28/383.41 c 364s| 1250k| 7884 | 2861k|6366k| 28 | - | 90 | 774 | 6 | 90 | 19 | 25 | 81k|1466 | 4.547474e-13 | 2.000000e+00 | Inf 386.18/386.30 c 367s| 1260k| 8425 | 2882k|6759k| 28 | - | 90 | 742 | 54 | 90 | 19 | 25 | 81k|1468 | 4.547474e-13 | 2.000000e+00 | Inf 389.08/389.27 c 369s| 1270k| 8664 | 2903k|7013k| 28 | 4 | 90 | 758 | 5 | 90 | 19 | 25 | 82k|1469 | 4.547474e-13 | 2.000000e+00 | Inf 392.07/392.22 c 372s| 1280k| 8853 | 2923k|7296k| 28 | 4 | 90 | 946 | 14 | 90 | 19 | 25 | 83k|1471 | 4.547474e-13 | 2.000000e+00 | Inf 394.98/395.18 c 375s| 1290k| 9329 | 2943k|7721k| 28 | - | 90 |1108 | 42 | 0 | 0 | 25 | 84k|1471 | 4.547474e-13 | 2.000000e+00 | Inf 398.08/398.22 c 378s| 1300k| 9099 | 2963k|7673k| 28 | 4 | 90 | 945 | 14 | 90 | 19 | 25 | 84k|1472 | 4.547474e-13 | 2.000000e+00 | Inf 400.97/401.13 c 381s| 1310k| 9308 | 2983k|7921k| 28 | 4 | 90 | 999 | 7 | 90 | 19 | 25 | 85k|1473 | 4.547474e-13 | 2.000000e+00 | Inf 403.97/404.15 c 383s| 1320k| 9204 | 3003k|7968k| 28 | 4 | 90 | 991 | 10 | 90 | 19 | 25 | 86k|1474 | 4.547474e-13 | 2.000000e+00 | Inf 406.87/407.09 c 386s| 1330k| 9339 | 3023k|8126k| 28 | 4 | 90 | 975 | 28 | 90 | 19 | 25 | 86k|1474 | 4.547474e-13 | 2.000000e+00 | Inf 409.97/410.16 c 389s| 1340k| 9004 | 3044k|8044k| 28 | - | 90 | 968 | 9 | 0 | 0 | 25 | 87k|1474 | 4.547474e-13 | 2.000000e+00 | Inf 412.96/413.18 c 392s| 1350k| 9019 | 3064k|8245k| 28 | 4 | 90 |1242 | 7 | 90 | 19 | 25 | 88k|1474 | 4.547474e-13 | 2.000000e+00 | Inf 416.17/416.34 c 395s| 1360k| 8737 | 3084k|8139k| 28 | 4 | 90 |1148 | 4 | 90 | 19 | 25 | 89k|1475 | 4.547474e-13 | 2.000000e+00 | Inf 419.16/419.38 c 398s| 1370k| 8706 | 3104k|8263k| 28 | 4 | 90 |1381 | 28 | 90 | 19 | 25 | 90k|1475 | 4.547474e-13 | 2.000000e+00 | Inf 422.47/422.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 422.47/422.66 c 401s| 1380k| 8208 | 3124k|7992k| 28 | - | 90 |1310 | 5 | 90 | 19 | 25 | 91k|1478 | 4.547474e-13 | 2.000000e+00 | Inf 425.57/425.79 c 404s| 1390k| 8469 | 3144k|8140k| 28 | - | 90 |1188 | 5 | 90 | 19 | 25 | 91k|1478 | 4.547474e-13 | 2.000000e+00 | Inf 428.67/428.89 c 407s| 1400k| 8619 | 3164k|8260k| 28 | - | 90 |1114 | 4 | 90 | 19 | 25 | 92k|1479 | 4.547474e-13 | 2.000000e+00 | Inf 431.76/431.91 c 410s| 1410k| 8464 | 3185k|8303k| 28 | - | 90 |1233 | 25 | 0 | 0 | 25 | 93k|1479 | 4.547474e-13 | 2.000000e+00 | Inf 434.87/435.07 c 413s| 1420k| 7944 | 3205k|8040k| 28 | 4 | 90 |1342 | 48 | 90 | 19 | 25 | 94k|1479 | 4.547474e-13 | 2.000000e+00 | Inf 437.86/438.00 c 416s| 1430k| 7930 | 3224k|8084k| 28 | - | 90 |1435 | 225 | 0 | 0 | 25 | 94k|1479 | 4.547474e-13 | 2.000000e+00 | Inf 441.06/441.23 c 419s| 1440k| 7597 | 3244k|7951k| 28 | - | 90 |1461 | 17 | 0 | 0 | 25 | 95k|1480 | 4.547474e-13 | 2.000000e+00 | Inf 444.16/444.38 c 422s| 1450k| 7199 | 3265k|7641k| 28 | - | 90 |1150 | 15 | 0 | 0 | 25 | 96k|1480 | 4.547474e-13 | 2.000000e+00 | Inf 447.26/447.48 c 425s| 1460k| 6771 | 3285k|7393k| 28 | - | 90 |1152 | 12 | 0 | 0 | 25 | 97k|1482 | 4.547474e-13 | 2.000000e+00 | Inf 450.36/450.52 c 428s| 1470k| 6309 | 3304k|7028k| 28 | 4 | 90 | 955 | 5 | 90 | 19 | 25 | 97k|1482 | 4.547474e-13 | 2.000000e+00 | Inf 453.36/453.51 c 430s| 1480k| 5968 | 3324k|6822k| 28 | - | 90 |1030 | 7 | 90 | 19 | 25 | 98k|1483 | 4.547474e-13 | 2.000000e+00 | Inf 456.36/456.55 c 433s| 1490k| 5519 | 3344k|6611k| 28 | - | 90 |1252 | 3 | 0 | 0 | 25 | 99k|1486 | 4.547474e-13 | 2.000000e+00 | Inf 459.35/459.59 c 436s| 1500k| 5887 | 3364k|6649k| 28 | 4 | 90 | 960 | 12 | 90 | 19 | 25 | 100k|1488 | 4.547474e-13 | 2.000000e+00 | Inf 462.36/462.50 c 439s| 1510k| 7100 | 3385k|7239k| 28 | 4 | 90 | 720 | 11 | 90 | 19 | 25 | 100k|1488 | 4.547474e-13 | 2.000000e+00 | Inf 465.25/465.45 c 442s| 1520k| 7546 | 3406k|7627k| 28 | 4 | 90 | 829 | 4 | 90 | 19 | 25 | 101k|1489 | 4.547474e-13 | 2.000000e+00 | Inf 468.26/468.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 468.26/468.44 c 445s| 1530k| 8025 | 3426k|8011k| 28 | 4 | 90 | 842 | 10 | 90 | 19 | 25 | 102k|1490 | 4.547474e-13 | 2.000000e+00 | Inf 471.25/471.46 c 447s| 1540k| 8328 | 3446k|8281k| 28 | 4 | 90 | 866 | 13 | 90 | 19 | 25 | 103k|1492 | 4.547474e-13 | 2.000000e+00 | Inf 474.25/474.47 c 450s| 1550k| 8764 | 3466k|8664k| 28 | 4 | 90 | 997 | 10 | 90 | 19 | 25 | 104k|1495 | 4.547474e-13 | 2.000000e+00 | Inf 477.35/477.51 c 453s| 1560k| 8782 | 3485k|8856k| 28 | - | 90 |1191 | 10 | 90 | 19 | 25 | 105k|1495 | 4.547474e-13 | 2.000000e+00 | Inf 480.45/480.63 c 456s| 1570k| 9089 | 3506k|9126k| 28 | 4 | 90 |1255 | 4 | 90 | 19 | 25 | 106k|1496 | 4.547474e-13 | 2.000000e+00 | Inf 483.64/483.86 c 459s| 1580k| 8698 | 3526k|9016k| 28 | - | 90 |1253 | 4 | 90 | 19 | 25 | 107k|1497 | 4.547474e-13 | 2.000000e+00 | Inf 486.85/487.05 c 462s| 1590k| 8336 | 3545k|8900k| 28 | - | 90 |1316 | 6 | 0 | 0 | 25 | 108k|1497 | 4.547474e-13 | 2.000000e+00 | Inf 490.24/490.44 c 465s| 1600k| 7606 | 3565k|8541k| 28 | 4 | 90 |1446 | 5 | 90 | 19 | 25 | 109k|1498 | 4.547474e-13 | 2.000000e+00 | Inf 493.54/493.71 c 469s| 1610k| 7140 | 3585k|8332k| 28 | - | 90 |1584 | 8 | 90 | 19 | 25 | 110k|1498 | 4.547474e-13 | 2.000000e+00 | Inf 496.84/497.01 c 472s| 1620k| 6822 | 3605k|8114k| 28 | 4 | 90 |1723 | 32 | 90 | 19 | 25 | 111k|1499 | 4.547474e-13 | 2.000000e+00 | Inf 500.14/500.37 c 475s| 1630k| 6237 | 3626k|7703k| 28 | 4 | 90 |1679 | 10 | 90 | 19 | 25 | 112k|1500 | 4.547474e-13 | 2.000000e+00 | Inf 503.44/503.67 c 478s| 1640k| 5759 | 3646k|7271k| 28 | - | 90 |1451 | 70 | 0 | 0 | 25 | 112k|1502 | 4.547474e-13 | 2.000000e+00 | Inf 506.74/506.95 c 481s| 1650k| 5013 | 3666k|6502k| 28 | 4 | 90 |1086 | 9 | 90 | 19 | 25 | 113k|1503 | 4.547474e-13 | 2.000000e+00 | Inf 509.74/509.93 c 484s| 1660k| 5446 | 3687k|6771k| 28 | - | 90 |1100 | 5 | 0 | 0 | 25 | 114k|1503 | 4.547474e-13 | 2.000000e+00 | Inf 512.73/512.92 c 487s| 1670k| 5139 | 3708k|6688k| 28 | - | 90 |1228 | 5 | 0 | 0 | 25 | 115k|1504 | 4.547474e-13 | 2.000000e+00 | Inf 515.74/515.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 515.74/515.99 c 490s| 1680k| 4999 | 3729k|6509k| 28 | 4 | 90 |1062 | 7 | 90 | 19 | 25 | 116k|1506 | 4.547474e-13 | 2.000000e+00 | Inf 518.74/518.98 c 493s| 1690k| 5041 | 3750k|6341k| 28 | 4 | 90 | 864 | 10 | 90 | 19 | 25 | 116k|1506 | 4.547474e-13 | 2.000000e+00 | Inf 521.84/522.00 c 495s| 1700k| 4716 | 3770k|6354k| 28 | 4 | 90 |1159 | 6 | 90 | 19 | 25 | 117k|1506 | 4.547474e-13 | 2.000000e+00 | Inf 524.83/525.01 c 498s| 1710k| 4660 | 3790k|6228k| 28 | 4 | 90 |1157 | 6 | 90 | 19 | 25 | 118k|1506 | 4.547474e-13 | 2.000000e+00 | Inf 527.84/528.00 c 501s| 1720k| 4540 | 3810k|6132k| 28 | 4 | 90 |1154 | 4 | 90 | 19 | 25 | 119k|1507 | 4.547474e-13 | 2.000000e+00 | Inf 530.83/531.02 c 504s| 1730k| 4567 | 3830k|6157k| 28 | 4 | 90 |1143 | 7 | 90 | 19 | 25 | 119k|1508 | 4.547474e-13 | 2.000000e+00 | Inf 533.83/534.05 c 507s| 1740k| 5195 | 3851k|6408k| 28 | 4 | 90 |1202 | 7 | 90 | 19 | 25 | 120k|1512 | 4.547474e-13 | 2.000000e+00 | Inf 536.83/537.09 c 510s| 1750k| 5791 | 3873k|6896k| 28 | - | 90 |1329 | 7 | 90 | 19 | 25 | 121k|1515 | 4.547474e-13 | 2.000000e+00 | Inf 539.94/540.15 c 513s| 1760k| 6060 | 3894k|7244k| 28 | - | 90 |1508 | 14 | 90 | 19 | 25 | 121k|1515 | 4.547474e-13 | 2.000000e+00 | Inf 543.02/543.26 c 516s| 1770k| 5918 | 3913k|7330k| 28 | - | 90 |1625 | 5 | 0 | 0 | 25 | 122k|1516 | 4.547474e-13 | 2.000000e+00 | Inf 546.33/546.54 c 519s| 1780k| 5678 | 3935k|7275k| 28 | 4 | 90 |1676 | 4 | 90 | 19 | 25 | 123k|1517 | 4.547474e-13 | 2.000000e+00 | Inf 549.62/549.82 c 522s| 1790k| 5385 | 3954k|7140k| 28 | - | 90 |1705 | 26 | 0 | 0 | 25 | 124k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 552.93/553.10 c 525s| 1800k| 4892 | 3974k|6709k| 28 | - | 90 |1494 | 7 | 0 | 0 | 25 | 125k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 556.03/556.23 c 528s| 1810k| 4687 | 3995k|6416k| 28 | - | 90 |1042 | 7 | 90 | 19 | 25 | 126k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 559.02/559.20 c 531s| 1820k| 4434 | 4016k|6071k| 28 | 4 | 90 | 618 | 5 | 90 | 19 | 25 | 126k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 561.83/562.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 561.83/562.04 c 533s| 1830k| 4202 | 4036k|5845k| 28 | - | 90 | 605 | 4 | 90 | 19 | 25 | 127k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 564.72/564.95 c 536s| 1840k| 4174 | 4057k|5855k| 28 | - | 90 | 722 | 10 | 90 | 19 | 25 | 128k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 567.63/567.89 c 539s| 1850k| 4276 | 4078k|5819k| 28 | 4 | 90 | 891 | 45 | 90 | 19 | 25 | 129k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 570.62/570.80 c 542s| 1860k| 3883 | 4097k|5622k| 28 | - | 90 | 937 | 41 | 0 | 0 | 25 | 129k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 573.52/573.74 c 545s| 1870k| 3802 | 4118k|5454k| 28 | - | 90 | 531 | 8 | 0 | 0 | 25 | 130k|1519 | 4.547474e-13 | 2.000000e+00 | Inf 575.12/575.33 o 1 575.12/575.33 c * 546s| 1875k| 3567 | 4129k|5259k| 28 | - | 90 | 620 | 2 | 90 | 19 | 25 | 130k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 576.42/576.66 c 547s| 1880k| 3775 | 4139k|5437k| 28 | 4 | 90 | 766 | 117 | 90 | 19 | 25 | 131k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 579.43/579.68 c 550s| 1890k| 3448 | 4160k|5208k| 28 | 4 | 90 | 870 | 10 | 90 | 19 | 25 | 132k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 582.62/582.88 c 553s| 1900k| 3284 | 4181k|5053k| 28 | 4 | 90 |1094 | 8 | 90 | 19 | 25 | 133k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 586.02/586.25 c 556s| 1910k| 3550 | 4202k|5408k| 28 | - | 90 |1398 | 5 | 0 | 0 | 25 | 134k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 589.32/589.51 c 560s| 1920k| 3500 | 4223k|5430k| 28 | 4 | 90 |1384 | 5 | 90 | 19 | 25 | 135k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 592.62/592.89 c 563s| 1930k| 2776 | 4246k|4544k| 28 | - | 90 |1055 | 30 | 90 | 19 | 25 | 136k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 595.92/596.14 c 566s| 1940k| 3108 | 4270k|4859k| 28 | 4 | 90 |1143 | 4 | 90 | 19 | 25 | 137k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 599.21/599.41 c 569s| 1950k| 2806 | 4292k|4685k| 28 | - | 90 |1186 | 8 | 90 | 19 | 25 | 138k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 602.62/602.85 c 572s| 1960k| 2802 | 4315k|4422k| 28 | 4 | 90 |1065 | 11 | 90 | 19 | 25 | 139k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 605.82/606.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 605.82/606.03 c 575s| 1970k| 2702 | 4336k|4517k| 28 | - | 90 |1123 | 3 | 0 | 0 | 25 | 140k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 609.01/609.25 c 578s| 1980k| 2336 | 4356k|3986k| 28 | - | 90 | 682 | 60 | 90 | 19 | 25 | 141k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 612.11/612.36 c 581s| 1990k| 2088 | 4378k|3688k| 28 | 4 | 90 | 610 | 10 | 90 | 19 | 25 | 142k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 615.30/615.50 c 584s| 2000k| 1965 | 4399k|3590k| 28 | 4 | 90 | 919 | 9 | 90 | 19 | 25 | 143k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 618.21/618.50 c 587s| 2010k| 1499 | 4420k|2959k| 28 | 4 | 90 | 369 | 38 | 90 | 19 | 25 | 143k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 621.31/621.53 c 590s| 2020k| 1765 | 4443k|3151k| 28 | 4 | 90 | 741 | 8 | 90 | 19 | 25 | 144k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 624.61/624.88 c 593s| 2030k| 2655 | 4465k|3882k| 28 | - | 90 |1091 | 109 | 90 | 19 | 25 | 146k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 627.91/628.13 c 596s| 2040k| 2728 | 4485k|4068k| 28 | - | 90 |1096 | 4 | 0 | 0 | 25 | 147k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 631.11/631.35 c 599s| 2050k| 2758 | 4505k|4244k| 28 | 4 | 90 |1381 | 20 | 90 | 19 | 25 | 148k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 634.41/634.69 c 603s| 2060k| 2728 | 4524k|4381k| 28 | 4 | 90 |1588 | 110 | 90 | 19 | 25 | 150k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 637.90/638.13 c 606s| 2070k| 2680 | 4543k|4465k| 28 | 4 | 90 |1762 | 4 | 90 | 19 | 25 | 151k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 641.20/641.48 c 609s| 2080k| 2350 | 4562k|4168k| 28 | 4 | 90 |1423 | 4 | 90 | 19 | 25 | 152k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 644.60/644.82 c 612s| 2090k| 1809 | 4582k|3760k| 28 | - | 90 |1446 | 6 | 0 | 0 | 25 | 153k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 647.90/648.12 c 615s| 2100k| 1600 | 4603k|3214k| 28 | - | 90 | 928 | 9 | 90 | 19 | 25 | 154k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 651.10/651.32 c 618s| 2110k| 2244 | 4626k|3549k| 28 | 4 | 90 | 576 | 4 | 90 | 19 | 25 | 155k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 654.09/654.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 654.09/654.33 c 621s| 2120k| 1747 | 4646k|3352k| 28 | 4 | 90 | 620 | 32 | 90 | 19 | 25 | 155k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 657.09/657.32 c 624s| 2130k| 1395 | 4667k|3066k| 28 | 4 | 90 | 704 | 29 | 90 | 19 | 25 | 156k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 660.09/660.33 c 627s| 2140k| 1545 | 4690k|3172k| 28 | - | 90 | 680 | 201 | 0 | 0 | 25 | 157k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 663.10/663.34 c 630s| 2150k| 1204 | 4713k|2791k| 28 | - | 90 | 500 | 8 | 0 | 0 | 25 | 158k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 666.19/666.48 c 633s| 2160k| 2051 | 4739k|3217k| 28 | - | 90 | 355 | 4 | 90 | 19 | 25 | 158k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 669.19/669.46 c 636s| 2170k| 2488 | 4761k|3616k| 28 | 4 | 90 | 482 | 7 | 90 | 19 | 25 | 159k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 672.19/672.47 c 638s| 2180k| 2312 | 4784k|3601k| 28 | 4 | 90 | 569 | 8 | 90 | 19 | 25 | 160k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 675.19/675.48 c 641s| 2190k| 2146 | 4807k|3599k| 28 | - | 90 | 534 | 10 | 90 | 19 | 25 | 161k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 678.19/678.46 c 644s| 2200k| 1823 | 4830k|3359k| 28 | 4 | 90 | 464 | 20 | 90 | 19 | 25 | 161k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 681.18/681.48 c 647s| 2210k| 1474 | 4853k|3089k| 28 | 4 | 90 | 466 | 8 | 90 | 19 | 25 | 162k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 684.29/684.59 c 650s| 2220k| 2039 | 4877k|3504k| 28 | 4 | 90 | 608 | 33 | 90 | 19 | 25 | 163k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 687.39/687.65 c 653s| 2230k| 1351 | 4898k|3077k| 28 | 4 | 90 | 601 | 14 | 90 | 19 | 25 | 164k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 690.49/690.74 c 656s| 2240k| 1331 | 4919k|3165k| 28 | - | 90 | 889 | 266 | 0 | 0 | 25 | 165k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 693.69/693.98 c 659s| 2250k| 1519 | 4941k|3132k| 28 | 4 | 90 | 717 | 4 | 90 | 19 | 25 | 166k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 696.68/696.95 c 662s| 2260k| 1158 | 4965k|2795k| 28 | - | 90 | 503 | 5 | 90 | 19 | 25 | 167k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 699.58/699.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 699.58/699.80 c 664s| 2270k| 859 | 4988k|2456k| 28 | 4 | 90 | 521 | 4 | 90 | 19 | 25 | 167k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 702.49/702.77 c 667s| 2280k| 804 | 5012k|2358k| 28 | 4 | 90 | 431 | 4 | 90 | 19 | 25 | 168k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 705.48/705.75 c 670s| 2290k| 529 | 5035k|2054k| 28 | 4 | 90 | 468 | 7 | 90 | 19 | 25 | 169k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 708.58/708.85 c 673s| 2300k| 593 | 5059k|2093k| 28 | 4 | 90 | 763 | 4 | 90 | 19 | 25 | 170k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 711.68/711.97 c 676s| 2310k| 519 | 5081k|2091k| 28 | - | 90 | 949 | 158 | 0 | 0 | 25 | 171k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 714.88/715.10 c 679s| 2320k| 388 | 5105k|1916k| 28 | 4 | 90 | 828 | 14 | 90 | 19 | 25 | 172k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 717.87/718.16 c 682s| 2330k| 227 | 5126k|1730k| 28 | - | 90 | 648 | 28 | 90 | 19 | 25 | 173k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 720.87/721.15 c 685s| 2340k| 100 | 5152k|1471k| 28 | 4 | 90 | 403 | 6 | 90 | 19 | 25 | 173k|1520 | 4.547474e-13 | 1.000000e+00 | Inf 722.08/722.31 c 722.08/722.31 c SCIP Status : problem is solved [optimal solution found] 722.08/722.31 c Solving Time (sec) : 685.74 722.08/722.31 c Solving Nodes : 2343925 722.08/722.31 c Primal Bound : +1.00000000000091e+00 (39 solutions) 722.08/722.31 c Dual Bound : +1.00000000000091e+00 722.08/722.31 c Gap : 0.00 % 722.08/722.31 c NODE 2343925 722.08/722.31 c DUAL BOUND 1 722.08/722.31 c PRIMAL BOUND 1 722.08/722.31 c GAP 0 722.08/722.31 s OPTIMUM FOUND 722.08/722.31 v x94 -x75 x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 x81 x80 x79 x78 x77 -x76 x74 x73 -x72 x71 -x70 -x69 -x68 x67 x66 722.08/722.31 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 722.08/722.31 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 722.08/722.31 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 722.08/722.31 c SCIP Status : problem is solved [optimal solution found] 722.08/722.31 c Solving Time : 685.74 722.08/722.31 c Original Problem : 722.08/722.31 c Problem name : HOME/instance-1869547-1245177999.opb 722.08/722.31 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous) 722.08/722.31 c Constraints : 8 initial, 8 maximal 722.08/722.31 c Presolved Problem : 722.08/722.31 c Problem name : t_HOME/instance-1869547-1245177999.opb 722.08/722.31 c Variables : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous) 722.08/722.31 c Constraints : 4 initial, 2035 maximal 722.08/722.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 722.08/722.31 c trivial : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c dualfix : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c boundshift : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c implics : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c probing : 0.01 0 0 0 0 0 0 0 0 722.08/722.31 c linear : 0.00 0 4 0 0 0 4 0 0 722.08/722.31 c logicor : 0.00 0 0 0 0 0 0 0 0 722.08/722.31 c root node : - 62 - - 62 - - - - 722.08/722.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 722.08/722.31 c integral : 0 0 0 1192742 0 62 503 0 0 2384328 722.08/722.31 c linear : 4 6 3020884 3 0 611221 3706654 14 0 0 722.08/722.31 c logicor : 0+ 0 1484518 0 0 3176 84229 0 0 0 722.08/722.31 c countsols : 0 0 0 20 0 0 0 0 0 0 722.08/722.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 722.08/722.31 c integral : 11.21 0.00 0.00 11.21 0.00 722.08/722.31 c linear : 112.32 0.00 112.32 0.00 0.00 722.08/722.31 c logicor : 33.98 0.00 33.98 0.00 0.00 722.08/722.31 c countsols : 0.00 0.00 0.00 0.00 0.00 722.08/722.31 c Propagators : Time Calls Cutoffs DomReds 722.08/722.31 c rootredcost : 1.16 36 0 60 722.08/722.31 c pseudoobj : 14.98 3036893 16158 139485 722.08/722.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 722.08/722.31 c propagation : 24.00 630555 164732 256751 22.6 1 22.0 - 722.08/722.31 c infeasible LP : 2.77 598933 6 6 15.3 0 0.0 0 722.08/722.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 722.08/722.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 722.08/722.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 722.08/722.31 c applied globally : - - - 174046 22.2 - - - 722.08/722.31 c applied locally : - - - 143 32.4 - - - 722.08/722.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss 722.08/722.31 c cut pool : 0.00 5 - - 29 - (maximal pool size: 97) 722.08/722.31 c redcost : 6.40 1221595 0 250864 0 0 722.08/722.31 c impliedbounds : 0.00 6 0 0 0 0 722.08/722.31 c intobj : 0.00 0 0 0 0 0 722.08/722.31 c gomory : 0.00 6 0 0 0 0 722.08/722.31 c strongcg : 0.00 6 0 0 31 0 722.08/722.31 c cmir : 0.01 6 0 0 33 0 722.08/722.31 c flowcover : 0.03 6 0 0 32 0 722.08/722.31 c clique : 0.00 1 0 0 0 0 722.08/722.31 c zerohalf : 0.00 0 0 0 0 0 722.08/722.31 c mcf : 0.00 1 0 0 0 0 722.08/722.31 c Pricers : Time Calls Vars 722.08/722.31 c problem variables: 0.00 0 0 722.08/722.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 722.08/722.31 c relpscost : 10.03 1192722 62 503 0 0 2384328 722.08/722.31 c pscost : 0.00 0 0 0 0 0 0 722.08/722.31 c inference : 0.00 0 0 0 0 0 0 722.08/722.31 c mostinf : 0.00 0 0 0 0 0 0 722.08/722.31 c leastinf : 0.00 0 0 0 0 0 0 722.08/722.31 c fullstrong : 0.00 0 0 0 0 0 0 722.08/722.31 c allfullstrong : 0.00 0 0 0 0 0 0 722.08/722.31 c random : 0.00 0 0 0 0 0 0 722.08/722.31 c Primal Heuristics : Time Calls Found 722.08/722.31 c LP solutions : 0.00 - 20 722.08/722.31 c pseudo solutions : 0.00 - 0 722.08/722.31 c oneopt : 1.23 34 0 722.08/722.31 c feaspump : 0.13 2 0 722.08/722.31 c crossover : 1.92 6 0 722.08/722.31 c linesearchdiving : 2.42 2775 2 722.08/722.31 c objpscostdiving : 2.25 1388 1 722.08/722.31 c rootsoldiving : 2.74 1388 2 722.08/722.31 c coefdiving : 2.50 2776 1 722.08/722.31 c pscostdiving : 2.30 2776 2 722.08/722.31 c fracdiving : 2.33 2776 3 722.08/722.31 c guideddiving : 2.44 2776 2 722.08/722.31 c veclendiving : 2.47 2776 3 722.08/722.31 c simplerounding : 0.64 0 0 722.08/722.31 c rounding : 0.84 15658 0 722.08/722.31 c shifting : 21.36 34897 3 722.08/722.31 c intshifting : 0.09 0 0 722.08/722.31 c fixandinfer : 0.00 0 0 722.08/722.31 c intdiving : 0.00 0 0 722.08/722.31 c actconsdiving : 0.00 0 0 722.08/722.31 c octane : 0.00 0 0 722.08/722.31 c rens : 0.09 1 0 722.08/722.31 c rins : 0.00 0 0 722.08/722.31 c localbranching : 0.00 0 0 722.08/722.31 c mutation : 0.00 0 0 722.08/722.31 c dins : 0.00 0 0 722.08/722.31 c LP : Time Calls Iterations Iter/call Iter/sec 722.08/722.31 c primal LP : 0.00 0 0 0.00 - 722.08/722.31 c dual LP : 296.41 1806079 5024279 2.78 16950.44 722.08/722.31 c barrier LP : 0.00 0 0 0.00 - 722.08/722.31 c diving/probing LP: 11.21 60612 137601 2.27 12274.84 722.08/722.31 c strong branching : 0.35 1520 8535 5.62 24385.71 722.08/722.31 c (at root node) : - 17 799 47.00 - 722.08/722.31 c conflict analysis: 0.00 0 0 0.00 - 722.08/722.31 c B&B Tree : 722.08/722.31 c number of runs : 1 722.08/722.31 c nodes : 2343925 722.08/722.31 c nodes (total) : 2343925 722.08/722.31 c nodes left : 0 722.08/722.31 c max depth : 28 722.08/722.31 c max depth (total): 28 722.08/722.31 c backtracks : 675553 (28.8%) 722.08/722.31 c delayed cutoffs : 39676 722.08/722.31 c repropagations : 104781 (253597 domain reductions, 37939 cutoffs) 722.08/722.31 c avg switch length: 5.09 722.08/722.31 c switching time : 74.86 722.08/722.31 c Solution : 722.08/722.31 c Solutions found : 39 (36 improvements) 722.08/722.31 c Primal Bound : +1.00000000000091e+00 (in run 1, after 1875694 nodes, 546.09 seconds, depth 23, found by <relaxation>) 722.08/722.31 c Dual Bound : +1.00000000000091e+00 722.08/722.31 c Gap : 0.00 % 722.08/722.31 c Root Dual Bound : +0.00000000000000e+00 722.08/722.32 c Time complete: 722.11.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869547-1245177999/watcher-1869547-1245177999 -o /tmp/evaluation-result-1869547-1245177999/solver-1869547-1245177999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869547-1245177999.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.01 1.01 1.00 3/64 31228 /proc/meminfo: memFree=1846960/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=7616 CPUtime=0 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 580 0 0 0 0 0 0 0 20 0 1 0 185397826 7798784 564 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/31228/statm: 1904 573 353 1256 0 643 0 [startup+0.0557331 s] /proc/loadavg: 1.01 1.01 1.00 3/64 31228 /proc/meminfo: memFree=1846960/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=14804 CPUtime=0.05 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 2791 0 0 0 4 1 0 0 20 0 1 0 185397826 15159296 2421 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 3701 2421 667 1256 0 2440 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14804 [startup+0.101738 s] /proc/loadavg: 1.01 1.01 1.00 3/64 31228 /proc/meminfo: memFree=1846960/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=23184 CPUtime=0.09 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 4647 0 0 0 8 1 0 0 20 0 1 0 185397826 23740416 4277 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 5796 4277 679 1256 0 4535 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23184 [startup+0.301761 s] /proc/loadavg: 1.01 1.01 1.00 3/64 31228 /proc/meminfo: memFree=1846960/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=15908 CPUtime=0.29 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 4752 0 0 0 26 3 0 0 22 0 1 0 185397826 16289792 2595 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 3977 2595 692 1256 0 2716 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15908 [startup+0.701809 s] /proc/loadavg: 1.01 1.01 1.00 3/64 31228 /proc/meminfo: memFree=1846960/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=16228 CPUtime=0.69 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 4854 0 0 0 65 4 0 0 25 0 1 0 185397826 16617472 2697 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 4057 2697 698 1256 0 2796 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16228 [startup+1.5019 s] /proc/loadavg: 1.01 1.01 1.00 2/65 31229 /proc/meminfo: memFree=1838696/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=16168 CPUtime=1.49 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 7246 0 0 0 141 8 0 0 25 0 1 0 185397826 16556032 2877 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 4042 2877 698 1256 0 2781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16168 [startup+3.10109 s] /proc/loadavg: 1.01 1.01 1.00 3/65 31229 /proc/meminfo: memFree=1835112/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=19516 CPUtime=3.09 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 8744 0 0 0 293 16 0 0 25 0 1 0 185397826 19984384 3716 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 4879 3716 699 1256 0 3618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19516 [startup+6.30147 s] /proc/loadavg: 1.01 1.01 1.00 2/65 31229 /proc/meminfo: memFree=1833384/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=20836 CPUtime=6.29 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 9276 0 0 0 600 29 0 0 25 0 1 0 185397826 21336064 4248 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 5209 4248 699 1256 0 3948 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20836 [startup+12.7012 s] /proc/loadavg: 1.01 1.01 1.00 2/65 31229 /proc/meminfo: memFree=1831080/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=22064 CPUtime=12.68 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 9613 0 0 0 1216 52 0 0 25 0 1 0 185397826 22593536 4585 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 5516 4585 699 1256 0 4255 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22064 [startup+25.5017 s] /proc/loadavg: 1.01 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1833512/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=20952 CPUtime=25.48 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 11141 0 0 0 2444 104 0 0 25 0 1 0 185397826 21454848 3976 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 5238 3976 699 1256 0 3977 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20952 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1828008/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25400 CPUtime=51.07 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15596 0 0 0 4890 217 0 0 25 0 1 0 185397826 26009600 5409 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6350 5409 699 1256 0 5089 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25400 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31229 /proc/meminfo: memFree=1827560/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=102.27 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15666 0 0 0 9755 472 0 0 25 0 1 0 185397826 26374144 5479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5479 700 1256 0 5178 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25756 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1827496/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=162.24 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15666 0 0 0 15447 777 0 0 25 0 1 0 185397826 26374144 5479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5479 700 1256 0 5178 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25756 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1827432/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=222.22 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15666 0 0 0 21133 1089 0 0 25 0 1 0 185397826 26374144 5479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5479 700 1256 0 5178 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25756 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1827304/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=282.21 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15666 0 0 0 26804 1417 0 0 25 0 1 0 185397826 26374144 5479 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5479 700 1256 0 5178 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25756 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31229 /proc/meminfo: memFree=1827240/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=342.19 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15666 0 0 0 32480 1739 0 0 25 0 1 0 185397826 26374144 5479 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5479 700 1256 0 5178 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 25756 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1826856/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=25756 CPUtime=402.17 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15671 0 0 0 38169 2048 0 0 25 0 1 0 185397826 26374144 5484 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6439 5484 700 1256 0 5178 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 25756 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1826856/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=26920 CPUtime=462.15 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15692 0 0 0 43871 2344 0 0 25 0 1 0 185397826 27566080 5505 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6730 5505 700 1256 0 5469 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 26920 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1826152/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=27340 CPUtime=522.13 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 15860 0 0 0 49576 2637 0 0 25 0 1 0 185397826 27996160 5673 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6835 5673 700 1256 0 5574 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 27340 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823912/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=28688 CPUtime=582.12 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 17105 0 0 0 55270 2942 0 0 25 0 1 0 185397826 29376512 6239 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7172 6239 700 1256 0 5911 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 28688 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823528/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=28764 CPUtime=642.1 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 18719 0 0 0 60973 3237 0 0 25 0 1 0 185397826 29454336 6270 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7191 6270 700 1256 0 5930 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 28764 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1825768/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=27180 CPUtime=702.08 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 18822 0 0 0 66679 3529 0 0 25 0 1 0 185397826 27832320 5694 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6795 5694 700 1256 0 5534 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 27180 Solver just ended. Dumping a history of the last processes samples [startup+703.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1825768/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=27180 CPUtime=703.69 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 18822 0 0 0 66831 3538 0 0 25 0 1 0 185397826 27832320 5694 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 6795 5694 700 1256 0 5534 0 Current children cumulated CPU time (s) 703.69 Current children cumulated vsize (KiB) 27180 [startup+710.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823848/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=710.08 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 67438 3570 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 710.08 Current children cumulated vsize (KiB) 29072 [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823784/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=716.48 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 68042 3606 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 716.48 Current children cumulated vsize (KiB) 29072 [startup+719.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823784/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=719.68 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 68344 3624 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 719.68 Current children cumulated vsize (KiB) 29072 [startup+721.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823720/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=721.28 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 68496 3632 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 721.28 Current children cumulated vsize (KiB) 29072 [startup+721.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823720/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=721.68 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 68534 3634 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 721.68 Current children cumulated vsize (KiB) 29072 [startup+722.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31231 /proc/meminfo: memFree=1823720/2055920 swapFree=4182380/4192956 [pid=31228] ppid=31226 vsize=29072 CPUtime=722.08 /proc/31228/stat : 31228 (pbscip.linux.x8) R 31226 31228 31119 0 -1 4194304 19329 0 0 0 68572 3636 0 0 25 0 1 0 185397826 29769728 6201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31228/statm: 7268 6201 700 1256 0 6007 0 Current children cumulated CPU time (s) 722.08 Current children cumulated vsize (KiB) 29072 Child status: 0 Real time (s): 722.329 CPU time (s): 722.113 CPU user time (s): 685.751 CPU system time (s): 36.3625 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 30352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 685.751 system time used= 36.3625 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19333 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= 645 runsolver used 0.496924 second user time and 1.61375 second system time The end
Begin job on node75 at 2009-06-16 20:46:39 IDJOB=1869547 IDBENCH=2928 IDSOLVER=684 FILE ID=node75/1869547-1245177999 PBS_JOBID= 9363920 Free space on /tmp= 66428 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_4_30_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869547-1245177999/watcher-1869547-1245177999 -o /tmp/evaluation-result-1869547-1245177999/solver-1869547-1245177999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869547-1245177999.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED=1130494335 node75.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1847376 kB Buffers: 27448 kB Cached: 110960 kB SwapCached: 4596 kB Active: 44008 kB Inactive: 102100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847376 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 11780 kB Writeback: 0 kB Mapped: 13412 kB Slab: 48320 kB Committed_AS: 96516 kB PageTables: 1420 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= 66416 MiB End job on node75 at 2009-06-16 20:58:42