Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | 11 | 1796.79 | 1797.09 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
| MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1789.78 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691448-1338020754.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read in 0.01
0.00/0.03 o 200
0.00/0.03 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.03 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 411740 impls, 0 clqs
0.19/0.28 c (0.3s) probing: 51/6404 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 411740 implications, 0 cliques
0.19/0.28 c presolved problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.19/0.28 c 6204 constraints of type <and>
0.19/0.28 c 200 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.27
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 2.1.1.4
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1797
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 13950
0.19/0.28 c
0.19/0.28 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.28 c # [type: int, range: [1,2], default: 1]
0.19/0.28 c timing/clocktype = 2
0.19/0.28 c
0.19/0.28 c # belongs reading time to solving time?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c timing/reading = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c separating/rapidlearning/freq = 0
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.29 c
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c t 0.4s| 1 | 0 | 400 | - | 36M| 0 | 400 |6404 |6404 |6404 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
1.19/1.28 c 1.3s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 403 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
1.19/1.29 o 34
1.19/1.29 c s 1.3s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 403 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
1.69/1.72 c 1.7s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 803 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
1.69/1.74 o 25
1.69/1.74 c s 1.7s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
2.10/2.19 c 2.2s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k|1205 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
2.10/2.20 o 23
2.10/2.20 c s 2.2s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6404 |6404 |6404 | 13k|1205 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.59/2.68 c 2.7s| 1 | 0 | 2801 | - | 37M| 0 | 400 |6404 |6404 |6404 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.59/2.69 o 22
2.59/2.69 c s 2.7s| 1 | 0 | 2801 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
3.09/3.19 c 3.2s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
3.09/3.20 o 20
3.09/3.20 c s 3.2s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6404 |6404 |6404 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
3.69/3.73 c 3.7s| 1 | 0 | 4002 | - | 38M| 0 | 400 |6404 |6404 |6404 | 15k|2417 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
3.79/3.80 c 3.8s| 1 | 2 | 4002 | - | 38M| 0 | 400 |6404 |6404 |6404 | 15k|2417 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
115.78/115.88 c 116s| 100 | 101 |258242 |2568.1 | 38M| 12 |2521 |6404 |6404 |6404 |6111 | 46k| 0 | 592 | 5.687611e+00 | 2.000000e+01 | 251.64%
192.65/192.76 c 193s| 200 | 201 |424599 |2113.6 | 39M| 19 |2348 |6404 |6405 |6404 |6125 | 69k| 1 | 727 | 6.661615e+00 | 2.000000e+01 | 200.23%
242.75/242.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.75/242.80 c 243s| 300 | 301 |534696 |1774.9 | 40M| 22 |1314 |6404 |6405 |6404 |5606 | 84k| 1 | 840 | 6.794950e+00 | 2.000000e+01 | 194.34%
291.94/292.00 c 292s| 400 | 401 |641419 |1597.5 | 40M| 24 |2469 |6404 |6405 |6404 |6614 | 95k| 1 | 894 | 6.880514e+00 | 2.000000e+01 | 190.68%
333.73/333.86 c 334s| 500 | 501 |729673 |1454.3 | 41M| 28 |2481 |6404 |6405 |6404 |6532 | 104k| 1 | 970 | 6.964783e+00 | 2.000000e+01 | 187.16%
369.03/369.16 c 369s| 600 | 601 |806858 |1340.3 | 41M| 31 |1298 |6404 |6406 |6404 |6378 | 114k| 2 |1023 | 6.987559e+00 | 2.000000e+01 | 186.22%
401.72/401.89 c 402s| 700 | 701 |873757 |1244.3 | 42M| 33 |1509 |6404 |6406 |6404 |6414 | 121k| 2 |1100 | 7.053444e+00 | 2.000000e+01 | 183.55%
435.51/435.62 c 436s| 800 | 801 |948913 |1182.6 | 43M| 35 | 616 |6404 |6407 |6404 |6062 | 128k| 3 |1101 | 7.101804e+00 | 2.000000e+01 | 181.62%
465.91/466.02 c 466s| 900 | 901 | 1001k|1109.3 | 43M| 42 |2450 |6404 |6409 |6404 |6768 | 132k| 5 |1187 | 7.130239e+00 | 2.000000e+01 | 180.50%
490.41/490.52 c 491s| 1000 | 1001 | 1049k|1046.1 | 44M| 43 |2991 |6404 |6409 |6404 |6659 | 137k| 5 |1236 | 7.130239e+00 | 2.000000e+01 | 180.50%
512.19/512.34 c 512s| 1100 | 1101 | 1092k| 990.5 | 44M| 48 |2138 |6404 |6409 |6404 |5723 | 140k| 5 |1237 | 7.130239e+00 | 2.000000e+01 | 180.50%
532.50/532.67 c 533s| 1200 | 1201 | 1134k| 942.7 | 45M| 48 |2240 |6404 |6409 |6404 |5963 | 143k| 5 |1237 | 7.130239e+00 | 2.000000e+01 | 180.50%
545.00/545.15 o 14
545.00/545.15 c v 545s| 1254 | 1255 | 1161k| 924.1 | 45M| 48 | - |6404 |6409 |6404 |6491 | 146k| 5 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
553.69/553.87 c 554s| 1300 | 1301 | 1182k| 907.1 | 46M| 48 |2606 |6404 |6409 |6404 |5693 | 148k| 5 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
573.89/574.10 c 574s| 1400 | 1401 | 1223k| 871.6 | 46M| 49 |2460 |6404 |6411 |6404 |6764 | 151k| 7 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
592.99/593.16 c 593s| 1500 | 1501 | 1261k| 839.2 | 47M| 49 |1886 |6404 |6412 |6404 |6821 | 154k| 8 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
612.59/612.79 c 613s| 1600 | 1601 | 1304k| 813.5 | 47M| 49 |2382 |6404 |6412 |6404 |6044 | 156k| 8 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
635.69/635.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.69/635.82 c 636s| 1700 | 1701 | 1352k| 793.8 | 48M| 52 |1675 |6404 |6413 |6404 |6468 | 159k| 9 |1237 | 7.130239e+00 | 1.400000e+01 | 96.35%
638.38/638.50 o 13
638.38/638.50 c v 639s| 1721 | 1714 | 1358k| 787.6 | 48M| 52 | - |6404 |6413 |6404 |6825 | 160k| 9 |1237 | 7.130239e+00 | 1.300000e+01 | 82.32%
642.29/642.45 o 12
642.29/642.45 c c 642s| 1753 | 1564 | 1367k| 778.3 | 48M| 52 | - |6404 |6413 |6404 |6553 | 161k| 9 |1237 | 7.130239e+00 | 1.200000e+01 | 68.30%
647.58/647.80 c 648s| 1800 | 1587 | 1377k| 763.5 | 48M| 52 | - |6404 |6412 |6404 |6809 | 162k| 9 |1237 | 7.130239e+00 | 1.200000e+01 | 68.30%
662.58/662.79 c 663s| 1900 | 1647 | 1406k| 738.3 | 50M| 52 | - |6404 |6412 |6404 |5786 | 165k| 9 |1252 | 7.169217e+00 | 1.200000e+01 | 67.38%
682.17/682.31 c 682s| 2000 | 1707 | 1441k| 719.1 | 51M| 52 |1241 |6404 |6412 |6404 |6824 | 168k| 9 |1304 | 7.202939e+00 | 1.200000e+01 | 66.60%
697.37/697.50 c 698s| 2100 | 1763 | 1469k| 698.2 | 52M| 52 |1685 |6404 |6412 |6404 |6562 | 170k| 9 |1340 | 7.205088e+00 | 1.200000e+01 | 66.55%
709.77/709.99 c 710s| 2200 | 1811 | 1492k| 677.1 | 53M| 52 |1621 |6404 |6412 |6404 |6855 | 171k| 9 |1343 | 7.211524e+00 | 1.200000e+01 | 66.40%
718.66/718.82 c 719s| 2300 | 1849 | 1509k| 654.7 | 54M| 53 | - |6404 |6412 |6404 |6812 | 172k| 9 |1343 | 7.211524e+00 | 1.200000e+01 | 66.40%
729.56/729.76 c 730s| 2400 | 1889 | 1531k| 636.8 | 55M| 55 | - |6404 |6412 |6404 |6832 | 174k| 9 |1343 | 7.214251e+00 | 1.200000e+01 | 66.34%
744.57/744.72 c 745s| 2500 | 1947 | 1556k| 621.2 | 56M| 55 |1110 |6404 |6411 |6404 |6809 | 176k| 9 |1360 | 7.214251e+00 | 1.200000e+01 | 66.34%
759.06/759.21 c 759s| 2600 | 1999 | 1578k| 605.9 | 57M| 55 |1409 |6404 |6411 |6404 |6836 | 177k| 9 |1395 | 7.228269e+00 | 1.200000e+01 | 66.01%
772.06/772.23 c 772s| 2700 | 2043 | 1599k| 591.1 | 57M| 55 |1628 |6404 |6411 |6404 |6830 | 178k| 9 |1431 | 7.240576e+00 | 1.200000e+01 | 65.73%
779.45/779.64 c 780s| 2800 | 2071 | 1610k| 573.9 | 58M| 56 |2047 |6404 |6411 |6404 |6805 | 179k| 9 |1456 | 7.240576e+00 | 1.200000e+01 | 65.73%
792.96/793.18 c 793s| 2900 | 2117 | 1635k| 562.7 | 59M| 56 |1954 |6404 |6410 |6404 |6829 | 181k| 9 |1481 | 7.245411e+00 | 1.200000e+01 | 65.62%
801.45/801.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.45/801.61 c 802s| 3000 | 2153 | 1651k| 549.3 | 60M| 56 |1426 |6404 |6410 |6404 |6838 | 182k| 9 |1486 | 7.245411e+00 | 1.200000e+01 | 65.62%
806.25/806.47 c 806s| 3100 | 2177 | 1661k| 534.8 | 61M| 63 |1536 |6404 |6410 |6404 |6834 | 182k| 9 |1486 | 7.245720e+00 | 1.200000e+01 | 65.62%
813.94/814.16 c 814s| 3200 | 2205 | 1674k| 522.0 | 61M| 63 |1974 |6404 |6409 |6404 |6532 | 183k| 9 |1486 | 7.256267e+00 | 1.200000e+01 | 65.37%
821.45/821.65 c 822s| 3300 | 2235 | 1689k| 510.9 | 62M| 63 | - |6404 |6409 |6404 |6856 | 184k| 9 |1486 | 7.256710e+00 | 1.200000e+01 | 65.36%
826.95/827.11 c 827s| 3400 | 2255 | 1699k| 498.7 | 63M| 63 | - |6404 |6409 |6404 |6839 | 185k| 9 |1486 | 7.256710e+00 | 1.200000e+01 | 65.36%
831.75/831.96 c 832s| 3500 | 2267 | 1708k| 487.1 | 63M| 63 |1543 |6404 |6409 |6404 |6850 | 185k| 9 |1486 | 7.256710e+00 | 1.200000e+01 | 65.36%
838.35/838.50 o 11
838.35/838.50 c * 838s| 3580 | 1411 | 1720k| 479.5 | 48M| 63 | - |6404 |6409 |6404 |6419 | 186k| 9 |1506 | 7.260557e+00 | 1.100000e+01 | 51.50%
841.45/841.66 c 842s| 3600 | 1415 | 1724k| 478.2 | 48M| 63 |2124 |6404 |6409 |6404 |6820 | 187k| 9 |1518 | 7.263829e+00 | 1.100000e+01 | 51.44%
851.04/851.23 c 851s| 3700 | 1435 | 1739k| 469.3 | 49M| 65 | - |6404 |6409 |6404 |6811 | 187k| 9 |1546 | 7.265255e+00 | 1.100000e+01 | 51.41%
855.74/855.91 c 856s| 3800 | 1439 | 1747k| 458.9 | 49M| 65 | - |6404 |6409 |6404 |6841 | 188k| 9 |1546 | 7.265255e+00 | 1.100000e+01 | 51.41%
864.24/864.49 c 864s| 3900 | 1459 | 1760k| 450.6 | 49M| 65 |1877 |6404 |6409 |6404 |6823 | 188k| 9 |1571 | 7.271068e+00 | 1.100000e+01 | 51.28%
870.54/870.78 c 871s| 4000 | 1471 | 1769k| 441.6 | 50M| 67 |2201 |6404 |6409 |6404 |6801 | 189k| 9 |1589 | 7.275271e+00 | 1.100000e+01 | 51.20%
877.74/877.90 c 878s| 4100 | 1477 | 1782k| 433.9 | 50M| 67 |1699 |6404 |6409 |6404 |6835 | 190k| 9 |1607 | 7.277011e+00 | 1.100000e+01 | 51.16%
884.24/884.42 c 884s| 4200 | 1483 | 1792k| 425.9 | 51M| 67 |1811 |6404 |6409 |6404 |6826 | 190k| 9 |1630 | 7.277011e+00 | 1.100000e+01 | 51.16%
892.74/892.94 c 893s| 4300 | 1497 | 1807k| 419.5 | 51M| 67 |1947 |6404 |6409 |6404 |6804 | 191k| 9 |1640 | 7.283394e+00 | 1.100000e+01 | 51.03%
899.83/900.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.83/900.06 c 900s| 4400 | 1505 | 1820k| 413.0 | 52M| 73 |1620 |6404 |6409 |6404 |6813 | 192k| 9 |1642 | 7.288693e+00 | 1.100000e+01 | 50.92%
906.24/906.42 c 906s| 4500 | 1515 | 1831k| 406.2 | 52M| 73 |2095 |6404 |6409 |6404 |6839 | 193k| 9 |1642 | 7.290672e+00 | 1.100000e+01 | 50.88%
912.23/912.42 c 912s| 4600 | 1519 | 1843k| 400.0 | 52M| 73 |2552 |6404 |6409 |6404 |6654 | 193k| 9 |1643 | 7.290672e+00 | 1.100000e+01 | 50.88%
920.84/921.06 c 921s| 4700 | 1539 | 1859k| 394.9 | 52M| 73 |2038 |6404 |6409 |6404 |6825 | 194k| 9 |1644 | 7.304750e+00 | 1.100000e+01 | 50.59%
927.04/927.26 c 927s| 4800 | 1543 | 1871k| 389.2 | 53M| 73 |1274 |6404 |6409 |6404 |6680 | 195k| 9 |1644 | 7.305337e+00 | 1.100000e+01 | 50.57%
935.13/935.32 c 935s| 4900 | 1551 | 1884k| 383.9 | 53M| 73 | - |6404 |6409 |6404 |6817 | 196k| 9 |1668 | 7.314104e+00 | 1.100000e+01 | 50.39%
940.43/940.69 c 941s| 5000 | 1555 | 1892k| 377.8 | 53M| 73 | - |6404 |6409 |6404 |6834 | 196k| 9 |1682 | 7.314104e+00 | 1.100000e+01 | 50.39%
947.63/947.82 c 948s| 5100 | 1563 | 1902k| 372.3 | 53M| 73 |1255 |6404 |6409 |6404 |6552 | 197k| 9 |1702 | 7.314172e+00 | 1.100000e+01 | 50.39%
955.12/955.37 c 955s| 5200 | 1571 | 1915k| 367.6 | 54M| 73 | - |6404 |6409 |6404 |6804 | 198k| 9 |1713 | 7.315595e+00 | 1.100000e+01 | 50.36%
962.33/962.53 c 963s| 5300 | 1583 | 1926k| 362.7 | 54M| 73 | - |6404 |6409 |6404 |6513 | 198k| 9 |1728 | 7.317770e+00 | 1.100000e+01 | 50.32%
968.43/968.66 c 969s| 5400 | 1585 | 1934k| 357.6 | 54M| 73 |2165 |6404 |6409 |6404 |6834 | 199k| 9 |1749 | 7.317770e+00 | 1.100000e+01 | 50.32%
974.92/975.14 c 975s| 5500 | 1591 | 1945k| 353.0 | 54M| 73 | - |6404 |6409 |6404 |6840 | 199k| 9 |1759 | 7.321146e+00 | 1.100000e+01 | 50.25%
980.02/980.21 c 980s| 5600 | 1591 | 1952k| 348.0 | 54M| 73 | - |6404 |6409 |6404 |6837 | 199k| 9 |1774 | 7.321146e+00 | 1.100000e+01 | 50.25%
990.42/990.69 c 991s| 5700 | 1609 | 1970k| 345.1 | 55M| 73 | - |6404 |6409 |6404 |6488 | 201k| 9 |1805 | 7.337863e+00 | 1.100000e+01 | 49.91%
998.42/998.60 c 999s| 5800 | 1621 | 1985k| 341.7 | 56M| 73 | - |6404 |6409 |6404 |6797 | 202k| 9 |1813 | 7.339878e+00 | 1.100000e+01 | 49.87%
1003.82/1004.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.82/1004.00 c 1004s| 5900 | 1627 | 1994k| 337.4 | 56M| 73 |2113 |6404 |6409 |6404 |6704 | 202k| 9 |1813 | 7.339878e+00 | 1.100000e+01 | 49.87%
1009.42/1009.67 c 1010s| 6000 | 1631 | 2005k| 333.6 | 56M| 73 | - |6404 |6409 |6404 |6821 | 203k| 9 |1813 | 7.339878e+00 | 1.100000e+01 | 49.87%
1014.22/1014.45 c 1014s| 6100 | 1639 | 2013k| 329.4 | 56M| 73 |1620 |6404 |6409 |6404 |6815 | 203k| 9 |1814 | 7.339878e+00 | 1.100000e+01 | 49.87%
1024.42/1024.62 c 1025s| 6200 | 1669 | 2032k| 327.3 | 56M| 73 |2777 |6404 |6409 |6404 |6754 | 204k| 9 |1814 | 7.340021e+00 | 1.100000e+01 | 49.86%
1033.91/1034.17 c 1034s| 6300 | 1705 | 2049k| 324.7 | 57M| 73 |2394 |6404 |6409 |6404 |6778 | 205k| 9 |1814 | 7.351900e+00 | 1.100000e+01 | 49.62%
1042.01/1042.21 c 1042s| 6400 | 1727 | 2062k| 321.7 | 58M| 73 | - |6404 |6409 |6404 |6815 | 205k| 9 |1827 | 7.352883e+00 | 1.100000e+01 | 49.60%
1050.52/1050.76 c 1051s| 6500 | 1751 | 2076k| 318.8 | 58M| 73 | - |6404 |6409 |6404 |6815 | 206k| 9 |1843 | 7.360271e+00 | 1.100000e+01 | 49.45%
1057.91/1058.18 c 1058s| 6600 | 1769 | 2088k| 315.9 | 59M| 78 | - |6404 |6409 |6404 |6827 | 207k| 9 |1857 | 7.364818e+00 | 1.100000e+01 | 49.36%
1065.81/1066.04 c 1066s| 6700 | 1787 | 2099k| 312.9 | 59M| 82 | - |6404 |6409 |6404 |6821 | 207k| 9 |1879 | 7.368955e+00 | 1.100000e+01 | 49.27%
1073.51/1073.77 c 1074s| 6800 | 1807 | 2112k| 310.2 | 59M| 82 |1835 |6404 |6409 |6404 |6829 | 208k| 9 |1892 | 7.374582e+00 | 1.100000e+01 | 49.16%
1081.31/1081.55 c 1082s| 6900 | 1823 | 2125k| 307.5 | 60M| 82 | - |6404 |6409 |6404 |6828 | 209k| 9 |1903 | 7.375401e+00 | 1.100000e+01 | 49.14%
1093.30/1093.54 c 1094s| 7000 | 1835 | 2149k| 306.5 | 60M| 82 | - |6404 |6409 |6404 |6836 | 209k| 9 |1928 | 7.378605e+00 | 1.100000e+01 | 49.08%
1099.00/1099.24 c 1099s| 7100 | 1849 | 2158k| 303.4 | 60M| 82 | - |6404 |6409 |6404 |6806 | 210k| 9 |1943 | 7.378605e+00 | 1.100000e+01 | 49.08%
1104.00/1104.21 c 1104s| 7200 | 1855 | 2165k| 300.3 | 60M| 82 |1796 |6404 |6409 |6404 |6810 | 210k| 9 |1954 | 7.378605e+00 | 1.100000e+01 | 49.08%
1108.20/1108.49 c 1108s| 7300 | 1859 | 2173k| 297.2 | 61M| 83 | - |6404 |6409 |6404 |6810 | 210k| 9 |1958 | 7.378605e+00 | 1.100000e+01 | 49.08%
1113.81/1114.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.81/1114.05 c 1114s| 7400 | 1869 | 2182k| 294.4 | 61M| 83 | - |6404 |6409 |6404 |6818 | 210k| 9 |1961 | 7.379072e+00 | 1.100000e+01 | 49.07%
1119.10/1119.37 c 1119s| 7500 | 1881 | 2191k| 291.7 | 61M| 83 | - |6404 |6409 |6404 |6830 | 211k| 9 |1961 | 7.379072e+00 | 1.100000e+01 | 49.07%
1123.80/1124.09 c 1124s| 7600 | 1889 | 2199k| 288.9 | 61M| 83 | - |6404 |6409 |6404 |6815 | 211k| 9 |1961 | 7.379072e+00 | 1.100000e+01 | 49.07%
1128.20/1128.41 c 1128s| 7700 | 1893 | 2207k| 286.2 | 62M| 85 | - |6404 |6409 |6404 |6814 | 211k| 9 |1961 | 7.379072e+00 | 1.100000e+01 | 49.07%
1132.81/1133.03 c 1133s| 7800 | 1899 | 2215k| 283.5 | 62M| 85 |2139 |6404 |6409 |6404 |6814 | 211k| 9 |1961 | 7.379677e+00 | 1.100000e+01 | 49.06%
1138.20/1138.49 c 1138s| 7900 | 1905 | 2225k| 281.2 | 62M| 85 | - |6404 |6409 |6404 |6822 | 212k| 9 |1961 | 7.380909e+00 | 1.100000e+01 | 49.03%
1143.20/1143.41 c 1143s| 8000 | 1915 | 2233k| 278.7 | 62M| 85 |1929 |6404 |6409 |6404 |6824 | 212k| 9 |1961 | 7.380909e+00 | 1.100000e+01 | 49.03%
1147.39/1147.67 c 1148s| 8100 | 1917 | 2241k| 276.3 | 63M| 85 | - |6404 |6409 |6404 |6495 | 212k| 9 |1961 | 7.382468e+00 | 1.100000e+01 | 49.00%
1152.69/1152.95 c 1153s| 8200 | 1929 | 2250k| 274.0 | 63M| 85 |1988 |6404 |6409 |6404 |6824 | 213k| 9 |1961 | 7.383615e+00 | 1.100000e+01 | 48.98%
1160.31/1160.59 c 1161s| 8300 | 1943 | 2261k| 272.1 | 63M| 85 |2206 |6404 |6409 |6404 |6820 | 213k| 9 |1978 | 7.385210e+00 | 1.100000e+01 | 48.95%
1166.59/1166.80 c 1167s| 8400 | 1951 | 2272k| 270.1 | 63M| 87 |1897 |6404 |6409 |6404 |6807 | 214k| 9 |1990 | 7.391646e+00 | 1.100000e+01 | 48.82%
1172.70/1172.92 c 1173s| 8500 | 1957 | 2281k| 268.0 | 64M| 87 | - |6404 |6409 |6404 |6817 | 214k| 9 |2000 | 7.392678e+00 | 1.100000e+01 | 48.80%
1177.99/1178.26 c 1178s| 8600 | 1961 | 2289k| 265.8 | 64M| 87 |2361 |6404 |6409 |6404 |6798 | 214k| 9 |2012 | 7.392678e+00 | 1.100000e+01 | 48.80%
1183.79/1184.01 c 1184s| 8700 | 1965 | 2298k| 263.8 | 64M| 88 | - |6404 |6409 |6404 |6816 | 215k| 9 |2032 | 7.396043e+00 | 1.100000e+01 | 48.73%
1188.59/1188.87 c 1189s| 8800 | 1969 | 2305k| 261.6 | 64M| 88 |2331 |6404 |6409 |6404 |6794 | 215k| 9 |2042 | 7.396043e+00 | 1.100000e+01 | 48.73%
1196.18/1196.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.18/1196.44 c 1196s| 8900 | 1983 | 2317k| 259.9 | 64M| 88 |1768 |6404 |6409 |6404 |6830 | 216k| 9 |2061 | 7.401385e+00 | 1.100000e+01 | 48.62%
1200.69/1200.98 c 1201s| 9000 | 1985 | 2323k| 257.8 | 65M| 88 |2136 |6404 |6409 |6404 |6828 | 216k| 9 |2070 | 7.401385e+00 | 1.100000e+01 | 48.62%
1206.29/1206.52 c 1207s| 9100 | 1991 | 2332k| 255.9 | 65M| 88 | - |6404 |6409 |6404 |6815 | 216k| 9 |2087 | 7.404078e+00 | 1.100000e+01 | 48.57%
1214.49/1214.78 c 1215s| 9200 | 2007 | 2344k| 254.4 | 65M| 88 |2196 |6404 |6409 |6404 |6784 | 217k| 9 |2107 | 7.413348e+00 | 1.100000e+01 | 48.38%
1220.09/1220.32 c 1220s| 9300 | 2015 | 2354k| 252.8 | 66M| 88 |1955 |6404 |6409 |6404 |6820 | 217k| 9 |2113 | 7.413440e+00 | 1.100000e+01 | 48.38%
1225.09/1225.37 c 1225s| 9400 | 2023 | 2362k| 251.0 | 66M| 88 | - |6404 |6409 |6404 |6812 | 217k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1229.08/1229.36 c 1229s| 9500 | 2023 | 2369k| 249.0 | 66M| 88 | - |6404 |6409 |6404 |6821 | 218k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1232.58/1232.84 c 1233s| 9600 | 2021 | 2374k| 247.0 | 66M| 100 | - |6404 |6409 |6404 |6822 | 218k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1236.49/1236.70 c 1237s| 9700 | 2021 | 2381k| 245.1 | 66M| 100 |1821 |6404 |6409 |6404 |6825 | 218k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1241.08/1241.32 c 1241s| 9800 | 2023 | 2389k| 243.4 | 66M| 100 | - |6404 |6409 |6404 |6813 | 218k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1245.88/1246.14 c 1246s| 9900 | 2029 | 2398k| 241.9 | 66M| 100 | - |6404 |6409 |6404 |6811 | 218k| 9 |2117 | 7.417077e+00 | 1.100000e+01 | 48.31%
1251.38/1251.66 c 1252s| 10000 | 2035 | 2409k| 240.5 | 66M| 100 | - |6404 |6409 |6404 |6817 | 219k| 9 |2117 | 7.422434e+00 | 1.100000e+01 | 48.20%
1256.08/1256.31 c 1256s| 10100 | 2043 | 2416k| 238.9 | 66M| 100 |1897 |6404 |6409 |6404 |6825 | 219k| 9 |2117 | 7.428067e+00 | 1.100000e+01 | 48.09%
1260.38/1260.69 c 1261s| 10200 | 2045 | 2424k| 237.3 | 66M| 100 | - |6404 |6409 |6404 |6828 | 219k| 9 |2117 | 7.428673e+00 | 1.100000e+01 | 48.07%
1264.68/1264.97 c 1265s| 10300 | 2049 | 2431k| 235.7 | 66M| 100 |1923 |6404 |6409 |6404 |6812 | 220k| 9 |2117 | 7.428673e+00 | 1.100000e+01 | 48.07%
1268.48/1268.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.48/1268.79 c 1269s| 10400 | 2051 | 2437k| 234.0 | 67M| 100 |2029 |6404 |6409 |6404 |6827 | 220k| 9 |2117 | 7.428673e+00 | 1.100000e+01 | 48.07%
1274.28/1274.52 c 1275s| 10500 | 2057 | 2448k| 232.8 | 67M| 100 | - |6404 |6409 |6404 |6821 | 220k| 9 |2117 | 7.429718e+00 | 1.100000e+01 | 48.05%
1282.38/1282.69 c 1283s| 10600 | 2071 | 2460k| 231.7 | 67M| 100 |1879 |6404 |6409 |6404 |6712 | 221k| 9 |2139 | 7.431587e+00 | 1.100000e+01 | 48.02%
1289.27/1289.52 c 1290s| 10700 | 2079 | 2469k| 230.5 | 67M| 100 | - |6404 |6409 |6404 |6818 | 221k| 9 |2161 | 7.431587e+00 | 1.100000e+01 | 48.02%
1292.97/1293.20 c 1293s| 10800 | 2081 | 2475k| 228.9 | 67M| 100 |1721 |6404 |6409 |6404 |6824 | 221k| 9 |2161 | 7.431587e+00 | 1.100000e+01 | 48.02%
1298.97/1299.26 c 1299s| 10900 | 2091 | 2486k| 227.7 | 67M| 100 |1855 |6404 |6409 |6404 |6812 | 222k| 9 |2161 | 7.440241e+00 | 1.100000e+01 | 47.84%
1304.17/1304.47 c 1304s| 11000 | 2093 | 2493k| 226.4 | 67M| 100 | - |6404 |6409 |6404 |6822 | 222k| 9 |2172 | 7.444400e+00 | 1.100000e+01 | 47.76%
1310.27/1310.57 c 1311s| 11100 | 2101 | 2503k| 225.2 | 68M| 100 | - |6404 |6409 |6404 |6831 | 223k| 9 |2186 | 7.448273e+00 | 1.100000e+01 | 47.69%
1314.77/1315.09 c 1315s| 11200 | 2101 | 2509k| 223.7 | 68M| 100 |2056 |6404 |6409 |6404 |6805 | 223k| 9 |2198 | 7.448273e+00 | 1.100000e+01 | 47.69%
1318.77/1319.05 c 1319s| 11300 | 2099 | 2515k| 222.2 | 68M| 100 | - |6404 |6409 |6404 |6812 | 223k| 9 |2210 | 7.448273e+00 | 1.100000e+01 | 47.69%
1324.27/1324.56 c 1325s| 11400 | 2099 | 2523k| 221.0 | 68M| 100 | - |6404 |6409 |6404 |6822 | 223k| 9 |2221 | 7.451324e+00 | 1.100000e+01 | 47.62%
1332.67/1332.95 c 1333s| 11500 | 2119 | 2536k| 220.3 | 68M| 100 |1796 |6404 |6409 |6404 |6764 | 224k| 9 |2240 | 7.461260e+00 | 1.100000e+01 | 47.43%
1337.77/1338.03 c 1338s| 11600 | 2123 | 2545k| 219.1 | 68M| 100 | - |6404 |6409 |6404 |6824 | 224k| 9 |2247 | 7.461260e+00 | 1.100000e+01 | 47.43%
1341.07/1341.37 c 1341s| 11700 | 2125 | 2550k| 217.7 | 68M| 100 | - |6404 |6409 |6404 |6823 | 224k| 9 |2248 | 7.461260e+00 | 1.100000e+01 | 47.43%
1345.16/1345.44 c 1345s| 11800 | 2127 | 2557k| 216.5 | 68M| 100 |1733 |6404 |6409 |6404 |6819 | 225k| 9 |2248 | 7.467098e+00 | 1.100000e+01 | 47.31%
1348.97/1349.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.97/1349.29 c 1349s| 11900 | 2123 | 2564k| 215.2 | 68M| 100 |1800 |6404 |6409 |6404 |6802 | 225k| 9 |2248 | 7.467098e+00 | 1.100000e+01 | 47.31%
1353.56/1353.80 c 1354s| 12000 | 2125 | 2572k| 214.0 | 68M| 100 |1906 |6404 |6409 |6404 |6816 | 225k| 9 |2248 | 7.467230e+00 | 1.100000e+01 | 47.31%
1356.86/1357.11 c 1357s| 12100 | 2123 | 2578k| 212.7 | 68M| 100 |2013 |6404 |6409 |6404 |6836 | 225k| 9 |2248 | 7.467230e+00 | 1.100000e+01 | 47.31%
1360.56/1360.82 c 1361s| 12200 | 2125 | 2584k| 211.5 | 69M| 100 |1953 |6404 |6409 |6404 |6818 | 225k| 9 |2248 | 7.467230e+00 | 1.100000e+01 | 47.31%
1365.76/1366.02 c 1366s| 12300 | 2131 | 2594k| 210.6 | 69M| 100 |1858 |6404 |6409 |6404 |6820 | 226k| 9 |2249 | 7.468752e+00 | 1.100000e+01 | 47.28%
1369.86/1370.14 c 1370s| 12400 | 2131 | 2601k| 209.5 | 69M| 100 |2003 |6404 |6409 |6404 |6826 | 226k| 9 |2249 | 7.469306e+00 | 1.100000e+01 | 47.27%
1375.87/1376.13 c 1376s| 12500 | 2135 | 2612k| 208.7 | 68M| 100 |2029 |6404 |6409 |6404 |6802 | 226k| 9 |2249 | 7.474475e+00 | 1.100000e+01 | 47.17%
1380.76/1381.00 c 1381s| 12600 | 2143 | 2620k| 207.7 | 69M| 100 | - |6404 |6409 |6404 |6805 | 227k| 9 |2249 | 7.474475e+00 | 1.100000e+01 | 47.17%
1385.96/1386.23 c 1386s| 12700 | 2149 | 2629k| 206.7 | 69M| 100 | - |6404 |6409 |6404 |6821 | 227k| 9 |2249 | 7.477393e+00 | 1.100000e+01 | 47.11%
1389.46/1389.74 c 1390s| 12800 | 2153 | 2634k| 205.5 | 69M| 100 | - |6404 |6409 |6404 |6805 | 227k| 9 |2249 | 7.477393e+00 | 1.100000e+01 | 47.11%
1394.66/1394.99 c 1395s| 12900 | 2157 | 2642k| 204.5 | 69M| 100 | - |6404 |6409 |6404 |6819 | 227k| 9 |2259 | 7.477393e+00 | 1.100000e+01 | 47.11%
1401.75/1402.04 c 1402s| 13000 | 2169 | 2653k| 203.8 | 69M| 100 |2037 |6404 |6409 |6404 |6800 | 228k| 9 |2268 | 7.480220e+00 | 1.100000e+01 | 47.05%
1410.05/1410.32 c 1410s| 13100 | 2183 | 2667k| 203.3 | 70M| 100 |2207 |6404 |6409 |6404 |6804 | 229k| 9 |2285 | 7.484564e+00 | 1.100000e+01 | 46.97%
1414.46/1414.70 c 1415s| 13200 | 2185 | 2673k| 202.2 | 70M| 100 | - |6404 |6409 |6404 |6822 | 229k| 9 |2298 | 7.484564e+00 | 1.100000e+01 | 46.97%
1418.66/1419.00 c 1419s| 13300 | 2187 | 2680k| 201.3 | 70M| 100 |1565 |6404 |6409 |6404 |6822 | 229k| 9 |2298 | 7.484742e+00 | 1.100000e+01 | 46.97%
1425.65/1425.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.65/1425.90 c 1426s| 13400 | 2195 | 2691k| 200.6 | 70M| 100 |1868 |6404 |6409 |6404 |6811 | 229k| 9 |2319 | 7.486331e+00 | 1.100000e+01 | 46.93%
1431.55/1431.83 c 1432s| 13500 | 2203 | 2701k| 199.8 | 70M| 100 |1897 |6404 |6409 |6404 |6814 | 230k| 9 |2327 | 7.489736e+00 | 1.100000e+01 | 46.87%
1435.85/1436.15 c 1436s| 13600 | 2203 | 2708k| 198.9 | 70M| 100 |1961 |6404 |6409 |6404 |6833 | 230k| 9 |2337 | 7.489736e+00 | 1.100000e+01 | 46.87%
1439.35/1439.66 c 1440s| 13700 | 2201 | 2712k| 197.7 | 70M| 100 | - |6404 |6409 |6404 |6836 | 230k| 9 |2347 | 7.489736e+00 | 1.100000e+01 | 46.87%
1444.25/1444.59 c 1445s| 13800 | 2199 | 2720k| 196.9 | 70M| 100 | - |6404 |6409 |6404 |6820 | 231k| 9 |2358 | 7.490113e+00 | 1.100000e+01 | 46.86%
1450.05/1450.31 c 1450s| 13900 | 2199 | 2729k| 196.1 | 70M| 100 | - |6404 |6409 |6404 |6784 | 231k| 9 |2378 | 7.491567e+00 | 1.100000e+01 | 46.83%
1455.75/1456.08 c 1456s| 14000 | 2209 | 2739k| 195.4 | 70M| 100 | - |6404 |6409 |6404 |6795 | 231k| 9 |2386 | 7.492360e+00 | 1.100000e+01 | 46.82%
1460.85/1461.14 c 1461s| 14100 | 2217 | 2748k| 194.6 | 70M| 100 | - |6404 |6409 |6404 |6814 | 231k| 9 |2388 | 7.492360e+00 | 1.100000e+01 | 46.82%
1466.15/1466.49 c 1466s| 14200 | 2225 | 2756k| 193.9 | 70M| 100 |1895 |6404 |6409 |6404 |6827 | 232k| 9 |2391 | 7.492360e+00 | 1.100000e+01 | 46.82%
1471.04/1471.39 c 1471s| 14300 | 2227 | 2765k| 193.1 | 70M| 100 |2131 |6404 |6409 |6404 |6812 | 232k| 9 |2391 | 7.494269e+00 | 1.100000e+01 | 46.78%
1474.75/1475.07 c 1475s| 14400 | 2225 | 2771k| 192.2 | 70M| 100 | - |6404 |6409 |6404 |6806 | 232k| 9 |2391 | 7.494269e+00 | 1.100000e+01 | 46.78%
1479.64/1479.99 c 1480s| 14500 | 2231 | 2780k| 191.5 | 71M| 100 |1980 |6404 |6409 |6404 |6806 | 232k| 9 |2391 | 7.495992e+00 | 1.100000e+01 | 46.75%
1484.54/1484.82 c 1485s| 14600 | 2239 | 2789k| 190.8 | 71M| 100 | - |6404 |6409 |6404 |6813 | 233k| 9 |2391 | 7.496826e+00 | 1.100000e+01 | 46.73%
1488.95/1489.28 c 1489s| 14700 | 2239 | 2796k| 190.0 | 71M| 100 | - |6404 |6409 |6404 |6818 | 233k| 9 |2391 | 7.498209e+00 | 1.100000e+01 | 46.70%
1492.64/1492.91 c 1493s| 14800 | 2241 | 2802k| 189.1 | 71M| 100 |1832 |6404 |6409 |6404 |6836 | 233k| 9 |2391 | 7.498209e+00 | 1.100000e+01 | 46.70%
1497.24/1497.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.24/1497.50 c 1498s| 14900 | 2243 | 2810k| 188.4 | 71M| 100 | - |6404 |6409 |6404 |6814 | 234k| 9 |2391 | 7.499175e+00 | 1.100000e+01 | 46.68%
1500.65/1500.99 c 1501s| 15000 | 2241 | 2816k| 187.5 | 71M| 100 | - |6404 |6409 |6404 |6836 | 234k| 9 |2391 | 7.499175e+00 | 1.100000e+01 | 46.68%
1505.44/1505.75 c 1506s| 15100 | 2249 | 2824k| 186.8 | 71M| 100 |1862 |6404 |6409 |6404 |6831 | 234k| 9 |2391 | 7.502264e+00 | 1.100000e+01 | 46.62%
1508.95/1509.26 c 1509s| 15200 | 2247 | 2830k| 186.0 | 71M| 100 | - |6404 |6409 |6404 |6827 | 234k| 9 |2391 | 7.502264e+00 | 1.100000e+01 | 46.62%
1512.25/1512.59 c 1513s| 15300 | 2243 | 2835k| 185.1 | 71M| 100 |1940 |6404 |6409 |6404 |6823 | 234k| 9 |2391 | 7.502264e+00 | 1.100000e+01 | 46.62%
1519.14/1519.49 c 1519s| 15400 | 2247 | 2846k| 184.6 | 71M| 100 | - |6404 |6409 |6404 |6818 | 235k| 9 |2403 | 7.504562e+00 | 1.100000e+01 | 46.58%
1525.44/1525.75 c 1526s| 15500 | 2253 | 2855k| 184.0 | 71M| 100 | - |6404 |6409 |6404 |6771 | 235k| 9 |2418 | 7.509477e+00 | 1.100000e+01 | 46.48%
1530.64/1530.94 c 1531s| 15600 | 2257 | 2865k| 183.5 | 71M| 100 | - |6404 |6409 |6404 |6833 | 236k| 9 |2418 | 7.510512e+00 | 1.100000e+01 | 46.46%
1537.63/1537.98 c 1538s| 15700 | 2267 | 2876k| 182.9 | 71M| 100 |2178 |6404 |6409 |6404 |6820 | 236k| 9 |2433 | 7.510512e+00 | 1.100000e+01 | 46.46%
1544.04/1544.38 c 1544s| 15800 | 2271 | 2885k| 182.4 | 72M| 100 | - |6404 |6409 |6404 |6834 | 236k| 9 |2451 | 7.510512e+00 | 1.100000e+01 | 46.46%
1551.74/1552.04 c 1552s| 15900 | 2283 | 2898k| 182.1 | 72M| 100 |2059 |6404 |6409 |6404 |6818 | 237k| 9 |2467 | 7.512702e+00 | 1.100000e+01 | 46.42%
1556.33/1556.62 c 1557s| 16000 | 2283 | 2906k| 181.4 | 72M| 100 | - |6404 |6409 |6404 |6846 | 237k| 9 |2467 | 7.512702e+00 | 1.100000e+01 | 46.42%
1564.13/1564.42 c 1564s| 16100 | 2297 | 2918k| 181.1 | 72M| 100 |1891 |6404 |6408 |6404 |6803 | 238k| 9 |2483 | 7.516545e+00 | 1.100000e+01 | 46.34%
1570.83/1571.12 c 1571s| 16200 | 2299 | 2928k| 180.5 | 72M| 100 | - |6404 |6408 |6404 |6822 | 238k| 9 |2504 | 7.516825e+00 | 1.100000e+01 | 46.34%
1577.53/1577.81 c 1578s| 16300 | 2305 | 2939k| 180.1 | 72M| 100 | - |6404 |6408 |6404 |6837 | 239k| 9 |2520 | 7.519990e+00 | 1.100000e+01 | 46.28%
1584.63/1585.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.63/1585.00 c 1585s| 16400 | 2307 | 2950k| 179.7 | 72M| 100 |1880 |6404 |6408 |6404 |6808 | 239k| 9 |2545 | 7.519990e+00 | 1.100000e+01 | 46.28%
1589.33/1589.61 c 1590s| 16500 | 2305 | 2957k| 179.0 | 72M| 100 |2402 |6404 |6408 |6404 |6779 | 240k| 9 |2558 | 7.519990e+00 | 1.100000e+01 | 46.28%
1594.52/1594.84 c 1595s| 16600 | 2307 | 2966k| 178.5 | 72M| 100 |1950 |6404 |6408 |6404 |6822 | 240k| 9 |2568 | 7.520477e+00 | 1.100000e+01 | 46.27%
1599.92/1600.22 c 1600s| 16700 | 2309 | 2975k| 177.9 | 73M| 100 | - |6404 |6408 |6404 |6836 | 240k| 9 |2574 | 7.520477e+00 | 1.100000e+01 | 46.27%
1605.13/1605.45 c 1605s| 16800 | 2313 | 2984k| 177.4 | 73M| 100 |2004 |6404 |6408 |6404 |6814 | 241k| 9 |2575 | 7.521908e+00 | 1.100000e+01 | 46.24%
1610.03/1610.36 c 1610s| 16900 | 2315 | 2992k| 176.9 | 73M| 100 |1894 |6404 |6408 |6404 |6812 | 241k| 9 |2575 | 7.528003e+00 | 1.100000e+01 | 46.12%
1613.83/1614.19 c 1614s| 17000 | 2311 | 2999k| 176.2 | 73M| 100 |1847 |6404 |6408 |6404 |6821 | 241k| 9 |2575 | 7.528003e+00 | 1.100000e+01 | 46.12%
1617.93/1618.27 c 1618s| 17100 | 2311 | 3006k| 175.6 | 73M| 100 |2211 |6404 |6408 |6404 |6812 | 241k| 9 |2575 | 7.528003e+00 | 1.100000e+01 | 46.12%
1622.02/1622.40 c 1622s| 17200 | 2307 | 3012k| 174.9 | 73M| 100 |2236 |6404 |6408 |6404 |6810 | 242k| 9 |2575 | 7.528003e+00 | 1.100000e+01 | 46.12%
1627.63/1627.94 c 1628s| 17300 | 2309 | 3021k| 174.4 | 73M| 100 | - |6404 |6408 |6404 |6822 | 242k| 9 |2575 | 7.533074e+00 | 1.100000e+01 | 46.02%
1633.13/1633.40 c 1633s| 17400 | 2315 | 3031k| 174.0 | 73M| 100 | - |6404 |6408 |6404 |6796 | 242k| 9 |2575 | 7.539690e+00 | 1.100000e+01 | 45.89%
1640.72/1641.06 c 1641s| 17500 | 2327 | 3046k| 173.9 | 73M| 100 |1877 |6404 |6408 |6404 |6763 | 243k| 9 |2575 | 7.543653e+00 | 1.100000e+01 | 45.82%
1647.43/1647.74 c 1648s| 17600 | 2339 | 3059k| 173.6 | 73M| 100 | - |6404 |6408 |6404 |6811 | 244k| 9 |2575 | 7.550286e+00 | 1.100000e+01 | 45.69%
1653.12/1653.45 c 1653s| 17700 | 2343 | 3069k| 173.2 | 73M| 100 |2235 |6404 |6408 |6404 |6796 | 244k| 9 |2575 | 7.550323e+00 | 1.100000e+01 | 45.69%
1657.82/1658.10 c 1658s| 17800 | 2345 | 3077k| 172.7 | 74M| 100 | - |6404 |6408 |6404 |6806 | 244k| 9 |2575 | 7.550323e+00 | 1.100000e+01 | 45.69%
1664.72/1665.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.72/1665.05 c 1665s| 17900 | 2349 | 3088k| 172.3 | 74M| 100 | - |6404 |6408 |6404 |6826 | 245k| 9 |2589 | 7.552415e+00 | 1.100000e+01 | 45.65%
1671.81/1672.10 c 1672s| 18000 | 2353 | 3098k| 171.9 | 74M| 100 |2270 |6404 |6408 |6404 |6336 | 245k| 9 |2611 | 7.552415e+00 | 1.100000e+01 | 45.65%
1677.31/1677.67 c 1678s| 18100 | 2357 | 3108k| 171.5 | 74M| 100 |2079 |6404 |6408 |6404 |6819 | 246k| 9 |2611 | 7.552415e+00 | 1.100000e+01 | 45.65%
1681.72/1682.02 c 1682s| 18200 | 2353 | 3114k| 170.9 | 74M| 100 |2021 |6404 |6408 |6404 |6798 | 246k| 9 |2621 | 7.552415e+00 | 1.100000e+01 | 45.65%
1687.31/1687.68 c 1688s| 18300 | 2353 | 3122k| 170.4 | 74M| 100 |1844 |6404 |6408 |6404 |6801 | 246k| 9 |2634 | 7.552415e+00 | 1.100000e+01 | 45.65%
1692.71/1693.04 c 1693s| 18400 | 2355 | 3131k| 170.0 | 74M| 100 |2075 |6404 |6408 |6404 |6803 | 247k| 9 |2645 | 7.552415e+00 | 1.100000e+01 | 45.65%
1696.11/1696.49 c 1696s| 18500 | 2351 | 3137k| 169.4 | 74M| 100 | - |6404 |6408 |6404 |6830 | 247k| 9 |2645 | 7.552415e+00 | 1.100000e+01 | 45.65%
1701.61/1701.99 c 1702s| 18600 | 2349 | 3144k| 168.9 | 74M| 100 | - |6404 |6408 |6404 |6778 | 247k| 9 |2664 | 7.552415e+00 | 1.100000e+01 | 45.65%
1706.82/1707.18 c 1707s| 18700 | 2353 | 3153k| 168.4 | 74M| 100 |1750 |6404 |6408 |6404 |6809 | 248k| 9 |2664 | 7.552415e+00 | 1.100000e+01 | 45.65%
1710.51/1710.85 c 1711s| 18800 | 2351 | 3159k| 167.8 | 74M| 100 | - |6404 |6408 |6404 |6817 | 248k| 9 |2673 | 7.552415e+00 | 1.100000e+01 | 45.65%
1715.61/1715.94 c 1716s| 18900 | 2349 | 3167k| 167.4 | 74M| 100 |1996 |6404 |6408 |6404 |6819 | 248k| 9 |2687 | 7.552415e+00 | 1.100000e+01 | 45.65%
1722.11/1722.46 c 1722s| 19000 | 2353 | 3177k| 167.1 | 74M| 100 |1812 |6404 |6408 |6404 |6796 | 248k| 9 |2703 | 7.552684e+00 | 1.100000e+01 | 45.64%
1728.00/1728.34 c 1728s| 19100 | 2357 | 3187k| 166.7 | 74M| 100 | - |6404 |6408 |6404 |6830 | 249k| 9 |2717 | 7.554830e+00 | 1.100000e+01 | 45.60%
1733.41/1733.73 c 1734s| 19200 | 2353 | 3196k| 166.3 | 74M| 100 | - |6404 |6408 |6404 |6830 | 249k| 9 |2733 | 7.554830e+00 | 1.100000e+01 | 45.60%
1740.11/1740.44 c 1740s| 19300 | 2361 | 3207k| 166.0 | 74M| 100 |2149 |6404 |6408 |6404 |6811 | 250k| 9 |2744 | 7.558083e+00 | 1.100000e+01 | 45.54%
1746.00/1746.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.00/1746.32 c 1746s| 19400 | 2367 | 3217k| 165.7 | 74M| 100 | - |6404 |6408 |6404 |6820 | 250k| 9 |2753 | 7.558318e+00 | 1.100000e+01 | 45.54%
1752.31/1752.66 c 1753s| 19500 | 2377 | 3228k| 165.4 | 75M| 100 |1775 |6404 |6408 |6404 |6789 | 250k| 9 |2756 | 7.559037e+00 | 1.100000e+01 | 45.52%
1757.10/1757.45 c 1757s| 19600 | 2383 | 3237k| 165.0 | 75M| 100 | - |6404 |6408 |6404 |6807 | 251k| 9 |2757 | 7.559160e+00 | 1.100000e+01 | 45.52%
1761.10/1761.45 c 1761s| 19700 | 2385 | 3243k| 164.5 | 75M| 100 | - |6404 |6408 |6404 |6827 | 251k| 9 |2759 | 7.559877e+00 | 1.100000e+01 | 45.51%
1766.21/1766.58 c 1767s| 19800 | 2389 | 3252k| 164.1 | 75M| 100 |1896 |6404 |6408 |6404 |6794 | 251k| 9 |2762 | 7.562473e+00 | 1.100000e+01 | 45.46%
1770.20/1770.59 c 1771s| 19900 | 2389 | 3259k| 163.6 | 75M| 100 | - |6404 |6408 |6404 |6813 | 252k| 9 |2762 | 7.562473e+00 | 1.100000e+01 | 45.46%
1774.20/1774.50 c 1775s| 20000 | 2389 | 3265k| 163.1 | 75M| 100 |1867 |6404 |6408 |6404 |6827 | 252k| 9 |2763 | 7.562473e+00 | 1.100000e+01 | 45.46%
1778.31/1778.64 c 1779s| 20100 | 2393 | 3272k| 162.6 | 75M| 100 |2001 |6404 |6408 |6404 |6823 | 252k| 9 |2763 | 7.562473e+00 | 1.100000e+01 | 45.46%
1784.20/1784.53 c 1785s| 20200 | 2403 | 3282k| 162.3 | 75M| 100 | - |6404 |6408 |6404 |6843 | 252k| 9 |2763 | 7.565272e+00 | 1.100000e+01 | 45.40%
1790.10/1790.49 c 1790s| 20300 | 2409 | 3292k| 162.0 | 75M| 100 | - |6404 |6408 |6404 |6834 | 253k| 9 |2763 | 7.567085e+00 | 1.100000e+01 | 45.37%
1795.49/1795.80 c 1796s| 20400 | 2415 | 3301k| 161.7 | 75M| 100 | - |6404 |6408 |6404 |6830 | 253k| 9 |2763 | 7.569519e+00 | 1.100000e+01 | 45.32%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 20428
1796.70/1797.00 c Primal Bound : +1.10000000000000e+01 (10 solutions)
1796.70/1797.00 c Dual Bound : +7.56951862725681e+00
1796.70/1797.00 c Gap : 45.32 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.70/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.70/1797.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.70/1797.00 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1796.70/1797.00 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1796.70/1797.00 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1796.70/1797.00 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45
1796.70/1797.00 v -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19
1796.70/1797.00 v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.27 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c copying : 0.22 (14 #copies) (minimal 0.01, maximal 0.02, average 0.02)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3691448-1338020754.opb
1796.70/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 200 initial, 200 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3691448-1338020754.opb
1796.70/1797.00 c Variables : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 6404 initial, 6413 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c and : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 12144 0 288 0 15 437 0 0 23900
1796.70/1797.00 c and : 6204 6204 33687 89904 1 1 283 236 2 4749950 294942 0 0
1796.70/1797.00 c logicor : 200+ 209 6 33538 1 1 9 2 4 0 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 1 1 12 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 149.82 0.00 0.00 0.00 149.82 0.00 0.00 0.00
1796.70/1797.00 c and : 108.67 0.00 91.85 16.77 0.00 0.00 0.05 0.00
1796.70/1797.00 c logicor : 0.49 0.00 0.00 0.49 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 5 0 0 0
1796.70/1797.00 c pseudoobj : 101949 79 1 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 45419 0 0 80613
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.00 c pseudoobj : 0.17 0.01 0.00 0.16 0.00
1796.70/1797.00 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.00 c redcost : 3.67 0.00 0.00 3.67 0.00
1796.70/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 7 7 9 24.9 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 9 24.9 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2417)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.01 0.00 6 0 0 2400 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.04 0.00 6 0 0 300 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.33 0.00 6 0 0 3000 0
1796.70/1797.00 c cmir : 1.64 0.00 6 0 0 2400 0
1796.70/1797.00 c flowcover : 0.44 0.00 6 0 0 0 0
1796.70/1797.00 c clique : 0.13 0.00 6 0 0 17 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.24 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 149.80 0.00 12136 15 437 0 0 23886
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 8 0 0 0 0 16
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.01 - - 1
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c oneopt : 0.04 0.00 8 0
1796.70/1797.00 c objpscostdiving : 26.69 0.00 4 0
1796.70/1797.00 c crossover : 1.32 0.00 9 0
1796.70/1797.00 c rootsoldiving : 8.95 0.00 18 0
1796.70/1797.00 c guideddiving : 46.46 0.00 39 0
1796.70/1797.00 c pscostdiving : 37.99 0.00 39 0
1796.70/1797.00 c fracdiving : 41.36 0.00 40 0
1796.70/1797.00 c linesearchdiving : 39.77 0.00 41 0
1796.70/1797.00 c coefdiving : 27.94 0.00 42 1
1796.70/1797.00 c veclendiving : 24.51 0.00 88 2
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.03 0.00 0 0
1796.70/1797.00 c zirounding : 0.81 0.00 1000 0
1796.70/1797.00 c rounding : 4.21 0.00 2626 0
1796.70/1797.00 c shifting : 6.54 0.00 3852 5
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.03 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.06 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.12 0.00 1 0
1796.70/1797.00 c subnlp : 0.01 0.00 0 0
1796.70/1797.00 c trysol : 0.02 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 15.70 3168 1 1.00 0.06 15.69 3167
1796.70/1797.00 c dual LP : 1143.97 53903 2765473 61.11 2417.44 17.32 8648
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 207.83 23026 538051 23.37 2588.91
1796.70/1797.00 c strong branching : 149.23 2763 407822 147.60 2732.87
1796.70/1797.00 c (at root node) : - 0 0 0.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 20428
1796.70/1797.00 c nodes (total) : 20428
1796.70/1797.00 c nodes left : 2415
1796.70/1797.00 c max depth : 100
1796.70/1797.00 c max depth (total): 100
1796.70/1797.00 c backtracks : 2246 (11.0%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 4.52
1796.70/1797.00 c switching time : 25.25
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 10 (10 improvements)
1796.70/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 3580 nodes, 838.49 seconds, depth 19, found by <relaxation>)
1796.70/1797.00 c Dual Bound : +7.56951862725681e+00
1796.70/1797.00 c Gap : 45.32 %
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 4002
1796.70/1797.08 c Time complete: 1796.78.
OK 11
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691448-1338020754/watcher-3691448-1338020754 -o /tmp/evaluation-result-3691448-1338020754/solver-3691448-1338020754 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691448-1338020754.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.93 3/176 6414 /proc/meminfo: memFree=26843248/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=10268 CPUtime=0 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 1334 0 0 0 0 0 0 0 20 0 1 0 268202678 10514432 1289 33554432000 4194304 10173063 140735707192416 140734109647944 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 2567 1290 417 1460 0 1098 0 [startup+0.0794251 s] /proc/loadavg: 1.92 1.99 1.93 3/176 6414 /proc/meminfo: memFree=26843248/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=35136 CPUtime=0.06 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 7227 0 0 0 6 0 0 0 20 0 1 0 268202678 35979264 7182 33554432000 4194304 10173063 140735707192416 140734109647944 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 8784 7183 550 1460 0 7315 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 35136 [startup+0.100342 s] /proc/loadavg: 1.92 1.99 1.93 3/176 6414 /proc/meminfo: memFree=26843248/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=38048 CPUtime=0.09 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 7953 0 0 0 8 1 0 0 20 0 1 0 268202678 38961152 7908 33554432000 4194304 10173063 140735707192416 140734109647944 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 9512 7908 550 1460 0 8043 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38048 [startup+0.30029 s] /proc/loadavg: 1.92 1.99 1.93 3/176 6414 /proc/meminfo: memFree=26843248/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=53296 CPUtime=0.29 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 12176 0 0 0 23 6 0 0 20 0 1 0 268202678 54575104 11874 33554432000 4194304 10173063 140735707192416 140734109647944 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 13324 11874 662 1460 0 11855 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53296 [startup+0.700287 s] /proc/loadavg: 1.92 1.99 1.93 3/176 6414 /proc/meminfo: memFree=26843248/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=77188 CPUtime=0.69 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 26239 0 0 0 60 9 0 0 20 0 1 0 268202678 79040512 18008 33554432000 4194304 10173063 140735707192416 140734109647944 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 19297 18008 803 1460 0 17828 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77188 [startup+1.50028 s] /proc/loadavg: 1.92 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26769328/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=1.49 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 37387 0 0 0 135 14 0 0 20 0 1 0 268202678 102084608 23711 33554432000 4194304 10173063 140735707192416 140735707188376 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23711 827 1460 0 23454 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 99692 [startup+3.10028 s] /proc/loadavg: 1.92 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26750232/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=3.09 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 37440 0 0 0 293 16 0 0 20 0 1 0 268202678 102084608 23764 33554432000 4194304 10173063 140735707192416 140735707187800 7283395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23764 827 1460 0 23454 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99692 [startup+6.30029 s] /proc/loadavg: 1.93 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26746812/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=6.29 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40756 0 0 0 611 18 0 0 20 0 1 0 268202678 102084608 23841 33554432000 4194304 10173063 140735707192416 140735707186056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23841 834 1460 0 23454 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 99692 [startup+12.7003 s] /proc/loadavg: 1.93 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26742396/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=12.68 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40759 0 0 0 1246 22 0 0 20 0 1 0 268202678 102084608 23844 33554432000 4194304 10173063 140735707192416 140735707185592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23844 837 1460 0 23454 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 99692 [startup+25.5002 s] /proc/loadavg: 1.95 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26736020/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=25.49 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40759 0 0 0 2520 29 0 0 20 0 1 0 268202678 102084608 23844 33554432000 4194304 10173063 140735707192416 140735707185592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23844 837 1460 0 23454 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99692 [startup+51.1003 s] /proc/loadavg: 1.96 1.99 1.93 3/177 6415 /proc/meminfo: memFree=26717140/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=51.08 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40759 0 0 0 5069 39 0 0 20 0 1 0 268202678 102084608 23844 33554432000 4194304 10173063 140735707192416 140735707185960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23844 837 1460 0 23454 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99692 [startup+102.307 s] /proc/loadavg: 2.02 2.00 1.93 3/177 6415 /proc/meminfo: memFree=26681036/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=102.28 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40759 0 0 0 10172 56 0 0 20 0 1 0 268202678 102084608 23844 33554432000 4194304 10173063 140735707192416 140735707187384 5749632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23844 837 1460 0 23454 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 99692 [startup+162.3 s] /proc/loadavg: 2.01 2.00 1.93 3/176 6415 /proc/meminfo: memFree=26642756/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=99692 CPUtime=162.26 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 40762 0 0 0 16148 78 0 0 20 0 1 0 268202678 102084608 23847 33554432000 4194304 10173063 140735707192416 140735707185960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 24923 23847 840 1460 0 23454 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 99692 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6416 /proc/meminfo: memFree=26600744/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=100932 CPUtime=222.26 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 43279 0 0 0 22128 98 0 0 20 0 1 0 268202678 103354368 24129 33554432000 4194304 10173063 140735707192416 140735707185656 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 25233 24129 841 1460 0 23764 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 100932 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 6419 /proc/meminfo: memFree=26556848/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=104152 CPUtime=282.24 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 44097 0 0 0 28108 116 0 0 20 0 1 0 268202678 106651648 24947 33554432000 4194304 10173063 140735707192416 140735707185720 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 26038 24947 841 1460 0 24569 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 104152 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6419 /proc/meminfo: memFree=26515924/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=107512 CPUtime=342.24 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 45022 0 0 0 34088 136 0 0 20 0 1 0 268202678 110092288 25774 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 26878 25774 841 1460 0 25409 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 107512 [startup+402.3 s] /proc/loadavg: 2.08 2.02 1.94 3/177 6419 /proc/meminfo: memFree=26468400/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=108096 CPUtime=402.22 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 47329 0 0 0 40067 155 0 0 20 0 1 0 268202678 110690304 26316 33554432000 4194304 10173063 140735707192416 140735707186360 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 27024 26316 841 1460 0 25555 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 108096 [startup+462.3 s] /proc/loadavg: 2.07 2.03 1.94 3/178 6420 /proc/meminfo: memFree=26431580/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=109832 CPUtime=462.2 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 47707 0 0 0 46046 174 0 0 20 0 1 0 268202678 112467968 26694 33554432000 4194304 10173063 140735707192416 140735707186056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 27458 26694 841 1460 0 25989 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 109832 [startup+522.3 s] /proc/loadavg: 2.02 2.02 1.94 3/177 6421 /proc/meminfo: memFree=26383228/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=113280 CPUtime=522.2 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 48638 0 0 0 52026 194 0 0 20 0 1 0 268202678 115998720 27625 33554432000 4194304 10173063 140735707192416 140735707185400 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 28320 27625 841 1460 0 26851 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 113280 [startup+582.3 s] /proc/loadavg: 2.05 2.03 1.95 3/177 6421 /proc/meminfo: memFree=26343424/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=117512 CPUtime=582.19 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 49613 0 0 0 58005 214 0 0 20 0 1 0 268202678 120332288 28599 33554432000 4194304 10173063 140735707192416 140735707185352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 29378 28599 841 1460 0 27909 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 117512 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27018732/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=153432 CPUtime=1122.1 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 121462 0 0 0 111817 393 0 0 20 0 1 0 268202678 157114368 37675 33554432000 4194304 10173063 140735707192416 140735707185672 8033454 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 38358 37675 853 1460 0 36889 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 153432 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.95 3/177 6503 /proc/meminfo: memFree=26975848/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=156936 CPUtime=1182.09 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 122340 0 0 0 117800 409 0 0 20 0 1 0 268202678 160702464 38552 33554432000 4194304 10173063 140735707192416 140735707185864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 39234 38552 853 1460 0 37765 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 156936 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6503 /proc/meminfo: memFree=26972072/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=161200 CPUtime=1242.08 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 126066 0 0 0 123781 427 0 0 20 0 1 0 268202678 165068800 39588 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 40300 39588 853 1460 0 38831 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 161200 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6503 /proc/meminfo: memFree=26968228/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=165084 CPUtime=1302.08 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 127993 0 0 0 129764 444 0 0 20 0 1 0 268202678 169046016 40587 33554432000 4194304 10173063 140735707192416 140735707185672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 41271 40587 853 1460 0 39802 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 165084 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6503 /proc/meminfo: memFree=26964512/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=168584 CPUtime=1362.07 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 128868 0 0 0 135745 462 0 0 20 0 1 0 268202678 172630016 41462 33554432000 4194304 10173063 140735707192416 140735707186056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 42146 41462 853 1460 0 40677 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 168584 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 1.96 3/177 6504 /proc/meminfo: memFree=26962280/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=171132 CPUtime=1422.06 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 129419 0 0 0 141727 479 0 0 20 0 1 0 268202678 175239168 42013 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 42783 42013 853 1460 0 41314 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 171132 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 1.96 3/178 6507 /proc/meminfo: memFree=26960520/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=172512 CPUtime=1482.04 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 129819 0 0 0 147707 497 0 0 20 0 1 0 268202678 176652288 42413 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 43128 42413 853 1460 0 41659 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 172512 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6507 /proc/meminfo: memFree=26955940/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=177368 CPUtime=1542.03 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 131069 0 0 0 153687 516 0 0 20 0 1 0 268202678 181624832 43663 33554432000 4194304 10173063 140735707192416 140735707185960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 44342 43663 853 1460 0 42873 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 177368 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6507 /proc/meminfo: memFree=26954952/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=178728 CPUtime=1602.03 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 138925 0 0 0 159667 536 0 0 20 0 1 0 268202678 183017472 43923 33554432000 4194304 10173063 140735707192416 140735707185768 5122227 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 44682 43923 853 1460 0 43213 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 178728 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6507 /proc/meminfo: memFree=26951108/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=182172 CPUtime=1662.02 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 139805 0 0 0 165647 555 0 0 20 0 1 0 268202678 186544128 44803 33554432000 4194304 10173063 140735707192416 140735707185672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 45543 44803 853 1460 0 44074 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 182172 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26948632/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=184436 CPUtime=1722 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 140346 0 0 0 171625 575 0 0 20 0 1 0 268202678 188862464 45339 33554432000 4194304 10173063 140735707192416 140735707186040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 46109 45339 853 1460 0 44640 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 184436 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26944292/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=187576 CPUtime=1781.99 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141231 0 0 0 177605 594 0 0 20 0 1 0 268202678 192077824 46224 33554432000 4194304 10173063 140735707192416 140735707185672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 46894 46224 853 1460 0 45425 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 187576 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26944292/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=187576 CPUtime=1785.2 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141231 0 0 0 177925 595 0 0 20 0 1 0 268202678 192077824 46224 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 46894 46224 853 1460 0 45425 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 187576 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1791.6 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 178563 597 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707185352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 188252 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1794.8 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 178882 598 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 188252 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1795.59 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 178961 598 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707185768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 188252 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1796.4 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 179041 599 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707186056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 188252 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1796.6 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 179061 599 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707186056 5122191 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 188252 [startup+1797 s] /proc/loadavg: 2.00 2.00 1.96 3/177 6508 /proc/meminfo: memFree=26943672/32873648 swapFree=6336/6336 [pid=6414] ppid=6412 vsize=188252 CPUtime=1796.7 cores=1,3,5,7 /proc/6414/stat : 6414 (scip-2.1.1.4fix) R 6412 6414 5668 0 -1 4202496 141386 0 0 0 179071 599 0 0 20 0 1 0 268202678 192770048 46379 33554432000 4194304 10173063 140735707192416 140735707185352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/6414/statm: 47063 46379 853 1460 0 45594 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 188252 Child status: 0 Real time (s): 1797.09 CPU time (s): 1796.79 CPU user time (s): 1790.79 CPU system time (s): 5.99509 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 197224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.79 system time used= 5.99509 maximum resident set size= 203336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141390 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= 37 involuntary context switches= 1848 runsolver used 3.24551 second user time and 8.77567 second system time The end
Begin job on node112 at 2012-05-26 10:25:54 IDJOB=3691448 IDBENCH=48128 IDSOLVER=2270 FILE ID=node112/3691448-1338020754 RUNJOBID= node112-1338016935-5685 PBS_JOBID= 14624359 Free space on /tmp= 71572 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691448-1338020754/watcher-3691448-1338020754 -o /tmp/evaluation-result-3691448-1338020754/solver-3691448-1338020754 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691448-1338020754.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=1047619913 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26843520 kB Buffers: 226948 kB Cached: 4036692 kB SwapCached: 0 kB Active: 1601088 kB Inactive: 3654492 kB Active(anon): 994380 kB Inactive(anon): 0 kB Active(file): 606708 kB Inactive(file): 3654492 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13668 kB Writeback: 0 kB AnonPages: 1002044 kB Mapped: 17656 kB Shmem: 200 kB Slab: 635176 kB SReclaimable: 78956 kB SUnreclaim: 556220 kB KernelStack: 1432 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1122112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71564 MiB End job on node112 at 2012-05-26 10:55:51