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.11 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb |
| MD5SUM | 0e507441d4bf529adaad354902c51a54 |
| 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 | 46 |
| 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) | 6216 |
| Sum of products size (including duplicates) | 12432 |
| Number of different products | 6216 |
| Sum of products size | 12432 |
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-3691449-1338020822.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.04 o 200
0.00/0.04 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.04 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.19/0.29 c (0.3s) probing: 51/6416 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.30 c presolving (2 rounds):
0.29/0.30 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.30 c 413032 implications, 0 cliques
0.29/0.30 c presolved problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.29/0.30 c 6216 constraints of type <and>
0.29/0.30 c 200 constraints of type <logicor>
0.29/0.30 c transformed objective value is always integral (scale: 1)
0.29/0.30 c Presolving Time: 0.29
0.29/0.30 c - non default parameters ----------------------------------------------------------------------
0.29/0.30 c # SCIP version 2.1.1.4
0.29/0.30 c
0.29/0.30 c # maximal time in seconds to run
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/time = 1797
0.29/0.30 c
0.29/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/memory = 13950
0.29/0.30 c
0.29/0.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.30 c # [type: int, range: [1,2], default: 1]
0.29/0.30 c timing/clocktype = 2
0.29/0.30 c
0.29/0.30 c # belongs reading time to solving time?
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c timing/reading = TRUE
0.29/0.30 c
0.29/0.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30 c separating/rapidlearning/freq = 0
0.29/0.30 c
0.29/0.30 c -----------------------------------------------------------------------------------------------
0.29/0.30 c start solving
0.29/0.31 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c t 0.4s| 1 | 0 | 400 | - | 36M| 0 | 400 |6416 |6416 |6416 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.39/0.41 o 26
0.39/0.41 c s 0.4s| 1 | 0 | 400 | - | 37M| 0 | 400 |6416 |6416 |6416 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.29/1.37 c 1.4s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k| 401 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.78/1.82 c 1.8s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k| 802 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
2.20/2.29 c 2.3s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k|1206 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
2.69/2.78 c 2.8s| 1 | 0 | 2802 | - | 37M| 0 | 400 |6416 |6416 |6416 | 14k|1609 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
3.19/3.30 c 3.3s| 1 | 0 | 3402 | - | 38M| 0 | 400 |6416 |6416 |6416 | 14k|2012 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
3.30/3.31 o 18
3.30/3.31 c s 3.3s| 1 | 0 | 3402 | - | 38M| 0 | 400 |6416 |6416 |6416 | 14k|2012 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.79/3.83 c 3.8s| 1 | 0 | 4003 | - | 38M| 0 | 400 |6416 |6416 |6416 | 15k|2417 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.89/3.93 c 3.9s| 1 | 2 | 4003 | - | 38M| 0 | 400 |6416 |6416 |6416 | 15k|2417 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
93.88/93.94 c 93.9s| 100 | 101 |169557 |1672.3 | 38M| 16 |1073 |6416 |6416 |6416 |5269 | 39k| 0 | 555 | 5.545999e+00 | 1.800000e+01 | 224.56%
169.66/169.76 c 170s| 200 | 201 |337822 |1677.5 | 39M| 16 |2314 |6416 |6421 |6416 |6623 | 67k| 5 | 688 | 6.360642e+00 | 1.800000e+01 | 182.99%
241.54/241.69 c 242s| 300 | 301 |487192 |1616.0 | 39M| 25 |2121 |6416 |6421 |6416 |6590 | 75k| 5 | 727 | 6.401317e+00 | 1.800000e+01 | 181.19%
296.73/296.87 c 297s| 400 | 401 |590250 |1469.3 | 40M| 25 |2504 |6416 |6421 |6416 |6070 | 84k| 5 | 825 | 6.593136e+00 | 1.800000e+01 | 173.01%
325.53/325.69 o 15
325.53/325.69 c f 326s| 477 | 478 |645948 |1348.6 | 42M| 38 | - |6416 |6425 |6416 |6701 | 89k| 9 | 850 | 6.601692e+00 | 1.500000e+01 | 127.21%
336.83/336.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.83/336.98 c 337s| 500 | 501 |668605 |1331.9 | 41M| 38 |1516 |6416 |6425 |6416 |6016 | 92k| 9 | 885 | 6.601692e+00 | 1.500000e+01 | 127.21%
375.92/376.03 c 376s| 600 | 601 |751234 |1247.5 | 41M| 38 |1943 |6416 |6427 |6416 |6289 | 103k| 11 | 956 | 6.601692e+00 | 1.500000e+01 | 127.21%
419.31/419.44 c 419s| 700 | 701 |839481 |1195.2 | 42M| 38 |1175 |6416 |6428 |6416 |5923 | 111k| 12 |1028 | 6.601692e+00 | 1.500000e+01 | 127.21%
431.31/431.40 o 14
431.31/431.40 c c 431s| 725 | 726 |863031 |1186.5 | 43M| 38 | - |6416 |6428 |6416 |6283 | 113k| 12 |1049 | 6.601692e+00 | 1.400000e+01 | 112.07%
465.60/465.78 c 466s| 800 | 801 |936591 |1167.2 | 43M| 38 |1678 |6416 |6428 |6416 |5946 | 119k| 12 |1083 | 6.724862e+00 | 1.400000e+01 | 108.18%
506.50/506.65 c 507s| 900 | 901 | 1015k|1124.6 | 43M| 38 |1933 |6416 |6427 |6416 |6645 | 125k| 12 |1120 | 6.724862e+00 | 1.400000e+01 | 108.18%
550.39/550.55 c 551s| 1000 | 1001 | 1094k|1091.5 | 44M| 43 | 979 |6416 |6426 |6416 |6075 | 129k| 14 |1209 | 6.724862e+00 | 1.400000e+01 | 108.18%
582.38/582.52 c 583s| 1100 | 1101 | 1157k|1049.8 | 44M| 43 |1594 |6416 |6427 |6416 |6759 | 133k| 15 |1213 | 6.724862e+00 | 1.400000e+01 | 108.18%
591.78/591.94 o 11
591.78/591.94 c c 592s| 1131 | 922 | 1177k|1038.9 | 44M| 43 | - |6416 |6427 |6416 |6710 | 135k| 15 |1213 | 6.724862e+00 | 1.100000e+01 | 63.57%
604.08/604.25 c 604s| 1200 | 961 | 1203k|1000.5 | 45M| 43 |1813 |6416 |6427 |6416 |6776 | 138k| 15 |1214 | 6.813873e+00 | 1.100000e+01 | 61.44%
623.38/623.60 c 624s| 1300 | 1011 | 1243k| 953.8 | 46M| 43 |2486 |6416 |6427 |6416 |6653 | 142k| 15 |1214 | 6.885624e+00 | 1.100000e+01 | 59.75%
641.47/641.64 c 642s| 1400 | 1065 | 1279k| 911.9 | 47M| 43 |1471 |6416 |6427 |6416 |6584 | 145k| 15 |1214 | 6.999376e+00 | 1.100000e+01 | 57.16%
658.57/658.78 c 659s| 1500 | 1115 | 1313k| 873.5 | 48M| 43 |1408 |6416 |6426 |6416 |6627 | 149k| 15 |1214 | 7.031509e+00 | 1.100000e+01 | 56.44%
674.07/674.23 c 674s| 1600 | 1155 | 1344k| 838.3 | 49M| 43 | - |6416 |6425 |6416 |6013 | 152k| 15 |1214 | 7.046183e+00 | 1.100000e+01 | 56.11%
691.17/691.39 c 691s| 1700 | 1203 | 1379k| 809.5 | 50M| 43 |1816 |6416 |6424 |6416 |6816 | 156k| 15 |1214 | 7.098461e+00 | 1.100000e+01 | 54.96%
723.16/723.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.16/723.33 c 723s| 1800 | 1291 | 1429k| 792.6 | 51M| 52 |1643 |6416 |6423 |6416 |6301 | 159k| 15 |1248 | 7.206959e+00 | 1.100000e+01 | 52.63%
739.26/739.42 c 739s| 1900 | 1331 | 1457k| 765.5 | 52M| 52 |1614 |6416 |6423 |6416 |5827 | 162k| 15 |1311 | 7.217232e+00 | 1.100000e+01 | 52.41%
753.65/753.87 c 754s| 2000 | 1371 | 1482k| 739.7 | 53M| 52 |1835 |6416 |6423 |6416 |6748 | 164k| 15 |1347 | 7.238843e+00 | 1.100000e+01 | 51.96%
765.65/765.87 c 766s| 2100 | 1405 | 1506k| 715.9 | 54M| 52 | - |6416 |6423 |6416 |6090 | 167k| 15 |1352 | 7.244330e+00 | 1.100000e+01 | 51.84%
778.45/778.69 c 779s| 2200 | 1447 | 1531k| 694.6 | 56M| 52 |2445 |6416 |6423 |6416 |6515 | 169k| 15 |1354 | 7.264926e+00 | 1.100000e+01 | 51.41%
791.95/792.13 c 792s| 2300 | 1489 | 1557k| 675.7 | 57M| 52 | - |6416 |6423 |6416 |6402 | 172k| 15 |1374 | 7.264926e+00 | 1.100000e+01 | 51.41%
807.05/807.27 c 807s| 2400 | 1523 | 1585k| 659.3 | 59M| 52 | - |6416 |6423 |6416 |6613 | 175k| 15 |1410 | 7.269163e+00 | 1.100000e+01 | 51.32%
823.84/824.06 c 824s| 2500 | 1571 | 1611k| 643.3 | 60M| 55 | - |6416 |6423 |6416 |6777 | 177k| 15 |1461 | 7.280293e+00 | 1.100000e+01 | 51.09%
842.24/842.47 c 842s| 2600 | 1625 | 1644k| 631.1 | 61M| 55 |1706 |6416 |6423 |6416 |6838 | 179k| 15 |1495 | 7.291077e+00 | 1.100000e+01 | 50.87%
857.94/858.20 c 858s| 2700 | 1669 | 1674k| 618.8 | 62M| 57 |2237 |6416 |6423 |6416 |6478 | 181k| 15 |1504 | 7.308386e+00 | 1.100000e+01 | 50.51%
872.34/872.57 c 873s| 2800 | 1717 | 1702k| 606.9 | 63M| 57 |1551 |6416 |6423 |6416 |6325 | 183k| 15 |1505 | 7.313377e+00 | 1.100000e+01 | 50.41%
887.63/887.88 c 888s| 2900 | 1763 | 1730k| 595.4 | 64M| 57 |2053 |6416 |6423 |6416 |6824 | 186k| 15 |1530 | 7.313535e+00 | 1.100000e+01 | 50.41%
899.64/899.89 c 900s| 3000 | 1795 | 1749k| 582.1 | 65M| 58 | - |6416 |6423 |6416 |5691 | 187k| 15 |1554 | 7.321457e+00 | 1.100000e+01 | 50.24%
911.33/911.50 c 912s| 3100 | 1819 | 1768k| 569.4 | 66M| 58 |2350 |6416 |6423 |6416 |6773 | 189k| 15 |1592 | 7.321457e+00 | 1.100000e+01 | 50.24%
924.73/924.99 c 925s| 3200 | 1859 | 1789k| 558.2 | 66M| 58 |2141 |6416 |6423 |6416 |6793 | 190k| 15 |1628 | 7.327277e+00 | 1.100000e+01 | 50.12%
935.53/935.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.53/935.77 c 936s| 3300 | 1889 | 1805k| 546.0 | 67M| 66 | - |6416 |6423 |6416 |6655 | 191k| 15 |1655 | 7.328389e+00 | 1.100000e+01 | 50.10%
946.83/947.10 c 947s| 3400 | 1917 | 1827k| 536.4 | 68M| 66 | - |6416 |6423 |6416 |6727 | 192k| 15 |1665 | 7.330886e+00 | 1.100000e+01 | 50.05%
957.42/957.64 c 958s| 3500 | 1953 | 1847k| 526.9 | 69M| 66 |1968 |6416 |6423 |6416 |6548 | 194k| 15 |1666 | 7.338815e+00 | 1.100000e+01 | 49.89%
968.42/968.62 c 969s| 3600 | 1979 | 1872k| 519.1 | 69M| 66 | - |6416 |6423 |6416 |6272 | 195k| 15 |1668 | 7.343618e+00 | 1.100000e+01 | 49.79%
977.22/977.48 c 977s| 3700 | 2001 | 1888k| 509.4 | 70M| 66 | - |6416 |6423 |6416 |5565 | 197k| 15 |1668 | 7.353078e+00 | 1.100000e+01 | 49.60%
988.92/989.19 c 989s| 3800 | 2027 | 1907k| 501.1 | 71M| 66 |1464 |6416 |6423 |6416 |6678 | 198k| 15 |1696 | 7.359792e+00 | 1.100000e+01 | 49.46%
1000.51/1000.77 c 1001s| 3900 | 2053 | 1924k| 492.7 | 72M| 66 |2626 |6416 |6423 |6416 |6773 | 199k| 15 |1727 | 7.359792e+00 | 1.100000e+01 | 49.46%
1010.51/1010.75 c 1011s| 4000 | 2075 | 1941k| 484.5 | 72M| 66 |1412 |6416 |6423 |6416 |6621 | 200k| 15 |1739 | 7.359792e+00 | 1.100000e+01 | 49.46%
1020.01/1020.27 c 1020s| 4100 | 2091 | 1956k| 476.4 | 73M| 66 |1413 |6416 |6423 |6416 |5819 | 201k| 15 |1773 | 7.359792e+00 | 1.100000e+01 | 49.46%
1031.21/1031.48 c 1031s| 4200 | 2117 | 1974k| 469.3 | 74M| 66 | - |6416 |6423 |6416 |6816 | 202k| 15 |1808 | 7.360713e+00 | 1.100000e+01 | 49.44%
1040.31/1040.57 c 1041s| 4300 | 2133 | 1989k| 461.8 | 75M| 66 |2375 |6416 |6423 |6416 |6727 | 203k| 15 |1832 | 7.360713e+00 | 1.100000e+01 | 49.44%
1051.80/1052.10 c 1052s| 4400 | 2167 | 2010k| 456.2 | 76M| 66 | 865 |6416 |6423 |6416 |6118 | 205k| 15 |1842 | 7.372747e+00 | 1.100000e+01 | 49.20%
1058.80/1059.01 c 1059s| 4500 | 2179 | 2024k| 449.0 | 76M| 66 |2648 |6416 |6423 |6416 |6741 | 206k| 15 |1842 | 7.372747e+00 | 1.100000e+01 | 49.20%
1067.70/1067.97 c 1068s| 4600 | 2205 | 2040k| 442.7 | 77M| 66 |1789 |6416 |6423 |6416 |6811 | 206k| 15 |1842 | 7.373793e+00 | 1.100000e+01 | 49.18%
1076.40/1076.62 c 1077s| 4700 | 2223 | 2056k| 436.7 | 77M| 66 | - |6416 |6423 |6416 |6776 | 208k| 15 |1843 | 7.380693e+00 | 1.100000e+01 | 49.04%
1084.60/1084.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.60/1084.84 c 1085s| 4800 | 2243 | 2071k| 430.9 | 78M| 66 | - |6416 |6423 |6416 |6827 | 209k| 15 |1843 | 7.380693e+00 | 1.100000e+01 | 49.04%
1095.00/1095.24 c 1095s| 4900 | 2265 | 2090k| 425.9 | 79M| 66 |1542 |6416 |6423 |6416 |6548 | 210k| 15 |1861 | 7.382192e+00 | 1.100000e+01 | 49.01%
1106.10/1106.30 c 1106s| 5000 | 2289 | 2108k| 421.0 | 80M| 66 |2047 |6416 |6423 |6416 |6826 | 211k| 15 |1886 | 7.382192e+00 | 1.100000e+01 | 49.01%
1117.10/1117.35 c 1117s| 5100 | 2317 | 2127k| 416.4 | 80M| 67 |1536 |6416 |6423 |6416 |6751 | 212k| 15 |1907 | 7.389175e+00 | 1.100000e+01 | 48.87%
1126.29/1126.52 c 1127s| 5200 | 2333 | 2142k| 411.3 | 81M| 67 | - |6416 |6423 |6416 |6114 | 213k| 15 |1936 | 7.389175e+00 | 1.100000e+01 | 48.87%
1136.49/1136.73 c 1137s| 5300 | 2355 | 2158k| 406.7 | 82M| 67 |2088 |6416 |6423 |6416 |6795 | 214k| 15 |1961 | 7.391198e+00 | 1.100000e+01 | 48.83%
1146.99/1147.30 c 1147s| 5400 | 2377 | 2179k| 402.9 | 83M| 67 | - |6416 |6423 |6416 |6571 | 215k| 15 |1985 | 7.391198e+00 | 1.100000e+01 | 48.83%
1158.18/1158.49 c 1158s| 5500 | 2407 | 2204k| 400.2 | 83M| 67 | - |6416 |6423 |6416 |6593 | 217k| 15 |1997 | 7.391198e+00 | 1.100000e+01 | 48.83%
1166.98/1167.23 c 1167s| 5600 | 2429 | 2223k| 396.4 | 84M| 67 | - |6416 |6423 |6416 |6828 | 218k| 15 |2004 | 7.391198e+00 | 1.100000e+01 | 48.83%
1176.28/1176.57 c 1177s| 5700 | 2455 | 2241k| 392.6 | 85M| 67 | - |6416 |6423 |6416 |6706 | 219k| 15 |2005 | 7.395374e+00 | 1.100000e+01 | 48.74%
1187.88/1188.18 c 1188s| 5800 | 2491 | 2265k| 389.9 | 86M| 67 | - |6416 |6423 |6416 |6707 | 220k| 15 |2005 | 7.399801e+00 | 1.100000e+01 | 48.65%
1196.68/1196.94 c 1197s| 5900 | 2517 | 2282k| 386.3 | 87M| 67 | - |6416 |6423 |6416 |6695 | 221k| 15 |2005 | 7.406942e+00 | 1.100000e+01 | 48.51%
1206.88/1207.19 c 1207s| 6000 | 2543 | 2299k| 382.7 | 88M| 67 | - |6416 |6423 |6416 |6727 | 222k| 15 |2031 | 7.408929e+00 | 1.100000e+01 | 48.47%
1216.18/1216.44 c 1216s| 6100 | 2565 | 2315k| 379.0 | 88M| 67 |2737 |6416 |6423 |6416 |6746 | 223k| 15 |2051 | 7.414234e+00 | 1.100000e+01 | 48.36%
1228.57/1228.88 c 1229s| 6200 | 2595 | 2336k| 376.2 | 89M| 67 |1833 |6416 |6423 |6416 |6791 | 224k| 15 |2072 | 7.415498e+00 | 1.100000e+01 | 48.34%
1240.68/1241.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.68/1241.00 c 1241s| 6300 | 2621 | 2355k| 373.4 | 90M| 67 | - |6416 |6423 |6416 |6697 | 225k| 15 |2107 | 7.428222e+00 | 1.100000e+01 | 48.08%
1249.47/1249.75 c 1250s| 6400 | 2643 | 2371k| 369.9 | 91M| 67 |1857 |6416 |6423 |6416 |6781 | 226k| 15 |2122 | 7.428222e+00 | 1.100000e+01 | 48.08%
1263.37/1263.68 c 1264s| 6500 | 2677 | 2396k| 368.1 | 92M| 67 |1760 |6416 |6423 |6416 |6681 | 228k| 15 |2164 | 7.431998e+00 | 1.100000e+01 | 48.01%
1274.16/1274.41 c 1274s| 6600 | 2705 | 2412k| 364.9 | 93M| 67 |2211 |6416 |6423 |6416 |6811 | 229k| 15 |2191 | 7.431998e+00 | 1.100000e+01 | 48.01%
1282.37/1282.65 c 1283s| 6700 | 2723 | 2425k| 361.4 | 93M| 67 |1628 |6416 |6423 |6416 |6815 | 229k| 15 |2204 | 7.431998e+00 | 1.100000e+01 | 48.01%
1292.26/1292.54 c 1293s| 6800 | 2741 | 2445k| 359.1 | 94M| 67 | - |6416 |6423 |6416 |6817 | 231k| 15 |2213 | 7.431998e+00 | 1.100000e+01 | 48.01%
1300.06/1300.33 c 1300s| 6900 | 2765 | 2459k| 355.9 | 95M| 67 |1931 |6416 |6423 |6416 |6813 | 231k| 15 |2214 | 7.437198e+00 | 1.100000e+01 | 47.91%
1306.85/1307.11 c 1307s| 7000 | 2781 | 2472k| 352.7 | 95M| 68 |2094 |6416 |6423 |6416 |6814 | 232k| 15 |2214 | 7.437198e+00 | 1.100000e+01 | 47.91%
1315.96/1316.21 c 1316s| 7100 | 2799 | 2491k| 350.5 | 96M| 68 |1904 |6416 |6423 |6416 |6255 | 234k| 15 |2215 | 7.438527e+00 | 1.100000e+01 | 47.88%
1323.35/1323.66 c 1324s| 7200 | 2817 | 2506k| 347.6 | 97M| 68 | - |6416 |6423 |6416 |6691 | 235k| 15 |2215 | 7.438527e+00 | 1.100000e+01 | 47.88%
1330.45/1330.72 c 1331s| 7300 | 2835 | 2519k| 344.6 | 97M| 68 |1722 |6416 |6423 |6416 |6822 | 235k| 15 |2215 | 7.439078e+00 | 1.100000e+01 | 47.87%
1338.56/1338.86 c 1339s| 7400 | 2851 | 2532k| 341.7 | 98M| 68 |2367 |6416 |6423 |6416 |6801 | 236k| 15 |2237 | 7.439078e+00 | 1.100000e+01 | 47.87%
1345.76/1346.08 c 1346s| 7500 | 2867 | 2547k| 339.1 | 99M| 68 |1057 |6416 |6423 |6416 |5704 | 237k| 15 |2237 | 7.439078e+00 | 1.100000e+01 | 47.87%
1355.16/1355.46 c 1355s| 7600 | 2879 | 2562k| 336.7 | 99M| 68 | - |6416 |6423 |6416 |6809 | 238k| 15 |2258 | 7.439078e+00 | 1.100000e+01 | 47.87%
1365.55/1365.88 c 1366s| 7700 | 2901 | 2582k| 334.9 | 100M| 68 | - |6416 |6423 |6416 |6599 | 239k| 15 |2275 | 7.439604e+00 | 1.100000e+01 | 47.86%
1374.25/1374.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.25/1374.52 c 1375s| 7800 | 2923 | 2597k| 332.5 | 101M| 68 | - |6416 |6423 |6416 |6797 | 240k| 15 |2290 | 7.439604e+00 | 1.100000e+01 | 47.86%
1383.55/1383.85 c 1384s| 7900 | 2941 | 2612k| 330.2 | 102M| 68 | - |6416 |6423 |6416 |6539 | 241k| 15 |2310 | 7.440434e+00 | 1.100000e+01 | 47.84%
1392.74/1393.09 c 1393s| 8000 | 2959 | 2627k| 328.0 | 102M| 68 |1804 |6416 |6423 |6416 |6558 | 241k| 15 |2329 | 7.451605e+00 | 1.100000e+01 | 47.62%
1402.25/1402.59 c 1403s| 8100 | 2975 | 2643k| 325.9 | 103M| 68 | - |6416 |6423 |6416 |6583 | 242k| 15 |2350 | 7.457764e+00 | 1.100000e+01 | 47.50%
1410.04/1410.38 c 1410s| 8200 | 2991 | 2654k| 323.3 | 104M| 68 | - |6416 |6423 |6416 |6765 | 243k| 15 |2369 | 7.457764e+00 | 1.100000e+01 | 47.50%
1418.24/1418.51 c 1419s| 8300 | 3007 | 2669k| 321.2 | 104M| 68 | - |6416 |6423 |6416 |6816 | 244k| 15 |2377 | 7.457922e+00 | 1.100000e+01 | 47.49%
1426.84/1427.15 c 1427s| 8400 | 3027 | 2687k| 319.4 | 105M| 68 | - |6416 |6423 |6416 |6761 | 244k| 15 |2378 | 7.459164e+00 | 1.100000e+01 | 47.47%
1435.84/1436.15 c 1436s| 8500 | 3045 | 2705k| 317.8 | 106M| 68 |2210 |6416 |6422 |6416 |6766 | 246k| 15 |2378 | 7.468206e+00 | 1.100000e+01 | 47.29%
1445.44/1445.72 c 1446s| 8600 | 3071 | 2724k| 316.4 | 106M| 68 |1836 |6416 |6422 |6416 |6791 | 246k| 15 |2378 | 7.470911e+00 | 1.100000e+01 | 47.24%
1453.44/1453.72 c 1454s| 8700 | 3089 | 2739k| 314.5 | 107M| 68 |1863 |6416 |6422 |6416 |6598 | 247k| 15 |2378 | 7.470911e+00 | 1.100000e+01 | 47.24%
1462.13/1462.48 c 1462s| 8800 | 3109 | 2758k| 313.1 | 108M| 68 |2144 |6416 |6422 |6416 |6485 | 249k| 15 |2379 | 7.471723e+00 | 1.100000e+01 | 47.22%
1470.03/1470.31 c 1470s| 8900 | 3121 | 2772k| 311.1 | 108M| 68 | - |6416 |6422 |6416 |6828 | 249k| 15 |2394 | 7.471723e+00 | 1.100000e+01 | 47.22%
1479.73/1480.01 c 1480s| 9000 | 3143 | 2789k| 309.5 | 109M| 68 | - |6416 |6422 |6416 |6827 | 250k| 15 |2404 | 7.476718e+00 | 1.100000e+01 | 47.12%
1486.73/1487.00 c 1487s| 9100 | 3157 | 2801k| 307.4 | 109M| 68 |1825 |6416 |6422 |6416 |6820 | 251k| 15 |2417 | 7.476718e+00 | 1.100000e+01 | 47.12%
1495.23/1495.58 c 1496s| 9200 | 3171 | 2813k| 305.4 | 110M| 75 |2982 |6416 |6421 |6416 |6693 | 251k| 15 |2441 | 7.484060e+00 | 1.100000e+01 | 46.98%
1505.23/1505.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.23/1505.53 c 1506s| 9300 | 3193 | 2830k| 303.9 | 110M| 75 |1698 |6416 |6421 |6416 |6718 | 252k| 15 |2452 | 7.498704e+00 | 1.100000e+01 | 46.69%
1513.72/1514.07 c 1514s| 9400 | 3207 | 2845k| 302.3 | 111M| 75 |2247 |6416 |6421 |6416 |6793 | 253k| 15 |2466 | 7.502202e+00 | 1.100000e+01 | 46.62%
1523.43/1523.77 c 1524s| 9500 | 3223 | 2862k| 300.9 | 111M| 75 | - |6416 |6421 |6416 |6790 | 254k| 15 |2486 | 7.503879e+00 | 1.100000e+01 | 46.59%
1534.42/1534.70 c 1535s| 9600 | 3239 | 2882k| 299.9 | 112M| 75 |2346 |6416 |6421 |6416 |6723 | 255k| 15 |2505 | 7.505544e+00 | 1.100000e+01 | 46.56%
1541.73/1542.05 c 1542s| 9700 | 3253 | 2894k| 298.1 | 112M| 75 |2091 |6416 |6421 |6416 |6802 | 255k| 15 |2520 | 7.507146e+00 | 1.100000e+01 | 46.53%
1550.52/1550.81 c 1551s| 9800 | 3277 | 2908k| 296.4 | 113M| 75 | - |6416 |6421 |6416 |6808 | 256k| 15 |2535 | 7.509362e+00 | 1.100000e+01 | 46.48%
1558.82/1559.11 c 1559s| 9900 | 3291 | 2923k| 294.9 | 113M| 75 | - |6416 |6421 |6416 |6812 | 257k| 15 |2543 | 7.513235e+00 | 1.100000e+01 | 46.41%
1567.82/1568.12 c 1568s| 10000 | 3319 | 2939k| 293.5 | 114M| 75 | - |6416 |6421 |6416 |6781 | 258k| 15 |2544 | 7.513235e+00 | 1.100000e+01 | 46.41%
1575.71/1576.03 c 1576s| 10100 | 3343 | 2953k| 292.1 | 114M| 75 |1761 |6416 |6421 |6416 |6762 | 259k| 15 |2544 | 7.513235e+00 | 1.100000e+01 | 46.41%
1582.62/1582.91 c 1583s| 10200 | 3361 | 2965k| 290.4 | 115M| 75 |1902 |6416 |6421 |6416 |6805 | 259k| 15 |2544 | 7.514226e+00 | 1.100000e+01 | 46.39%
1590.11/1590.43 c 1590s| 10300 | 3375 | 2979k| 288.9 | 115M| 75 | - |6416 |6421 |6416 |6778 | 260k| 15 |2544 | 7.520429e+00 | 1.100000e+01 | 46.27%
1598.51/1598.85 c 1599s| 10400 | 3397 | 2994k| 287.6 | 116M| 75 |2037 |6416 |6421 |6416 |6790 | 260k| 15 |2544 | 7.529485e+00 | 1.100000e+01 | 46.09%
1604.40/1604.80 c 1605s| 10500 | 3409 | 3004k| 285.8 | 116M| 75 |1880 |6416 |6421 |6416 |6798 | 261k| 15 |2544 | 7.531269e+00 | 1.100000e+01 | 46.06%
1609.91/1610.20 c 1610s| 10600 | 3417 | 3013k| 283.9 | 117M| 75 | - |6416 |6421 |6416 |6816 | 261k| 15 |2544 | 7.533073e+00 | 1.100000e+01 | 46.02%
1617.10/1617.45 c 1617s| 10700 | 3433 | 3027k| 282.6 | 117M| 75 | - |6416 |6421 |6416 |6800 | 262k| 15 |2544 | 7.542950e+00 | 1.100000e+01 | 45.83%
1627.50/1627.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.50/1627.89 c 1628s| 10800 | 3451 | 3045k| 281.7 | 118M| 75 | - |6416 |6421 |6416 |6760 | 263k| 15 |2562 | 7.550953e+00 | 1.100000e+01 | 45.68%
1635.20/1635.55 c 1636s| 10900 | 3463 | 3056k| 280.1 | 118M| 75 |1778 |6416 |6421 |6416 |6728 | 264k| 15 |2584 | 7.554223e+00 | 1.100000e+01 | 45.61%
1642.90/1643.25 c 1643s| 11000 | 3473 | 3068k| 278.7 | 119M| 75 | - |6416 |6421 |6416 |6802 | 264k| 15 |2601 | 7.559419e+00 | 1.100000e+01 | 45.51%
1648.90/1649.21 c 1649s| 11100 | 3485 | 3080k| 277.2 | 119M| 75 |1745 |6416 |6421 |6416 |6809 | 265k| 15 |2601 | 7.559419e+00 | 1.100000e+01 | 45.51%
1658.50/1658.89 c 1659s| 11200 | 3499 | 3098k| 276.3 | 119M| 75 | - |6416 |6421 |6416 |6780 | 266k| 15 |2622 | 7.559835e+00 | 1.100000e+01 | 45.51%
1668.50/1668.89 c 1669s| 11300 | 3515 | 3113k| 275.2 | 120M| 75 |2452 |6416 |6421 |6416 |6031 | 266k| 15 |2649 | 7.562166e+00 | 1.100000e+01 | 45.46%
1677.79/1678.19 c 1678s| 11400 | 3533 | 3129k| 274.2 | 120M| 75 | - |6416 |6421 |6416 |6798 | 267k| 15 |2675 | 7.565073e+00 | 1.100000e+01 | 45.41%
1685.30/1685.61 c 1686s| 11500 | 3545 | 3140k| 272.8 | 121M| 75 | - |6416 |6421 |6416 |6806 | 268k| 15 |2686 | 7.574296e+00 | 1.100000e+01 | 45.23%
1692.29/1692.66 c 1693s| 11600 | 3563 | 3151k| 271.3 | 121M| 77 |1829 |6416 |6421 |6416 |6740 | 268k| 15 |2702 | 7.574296e+00 | 1.100000e+01 | 45.23%
1699.90/1700.23 c 1700s| 11700 | 3579 | 3166k| 270.3 | 122M| 77 |2228 |6416 |6421 |6416 |6717 | 269k| 15 |2712 | 7.574633e+00 | 1.100000e+01 | 45.22%
1707.39/1707.71 c 1708s| 11800 | 3593 | 3180k| 269.2 | 122M| 77 | - |6416 |6421 |6416 |6743 | 270k| 15 |2715 | 7.574633e+00 | 1.100000e+01 | 45.22%
1714.89/1715.27 c 1715s| 11900 | 3609 | 3197k| 268.4 | 123M| 77 | - |6416 |6421 |6416 |6621 | 270k| 15 |2716 | 7.574957e+00 | 1.100000e+01 | 45.22%
1722.09/1722.47 c 1722s| 12000 | 3627 | 3211k| 267.3 | 124M| 77 |1870 |6416 |6421 |6416 |6805 | 271k| 15 |2717 | 7.577495e+00 | 1.100000e+01 | 45.17%
1729.38/1729.77 c 1730s| 12100 | 3637 | 3226k| 266.4 | 124M| 77 | - |6416 |6421 |6416 |6816 | 272k| 15 |2717 | 7.577495e+00 | 1.100000e+01 | 45.17%
1735.19/1735.50 c 1736s| 12200 | 3647 | 3237k| 265.0 | 125M| 77 |2023 |6416 |6421 |6416 |6768 | 272k| 15 |2717 | 7.577548e+00 | 1.100000e+01 | 45.17%
1743.28/1743.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.28/1743.65 c 1744s| 12300 | 3663 | 3251k| 264.1 | 125M| 77 | - |6416 |6421 |6416 |6838 | 273k| 15 |2717 | 7.578987e+00 | 1.100000e+01 | 45.14%
1748.79/1749.17 c 1749s| 12400 | 3671 | 3261k| 262.7 | 125M| 77 | - |6416 |6421 |6416 |6833 | 274k| 15 |2717 | 7.578987e+00 | 1.100000e+01 | 45.14%
1756.28/1756.70 c 1757s| 12500 | 3681 | 3278k| 262.0 | 126M| 77 | - |6416 |6421 |6416 |6840 | 274k| 15 |2718 | 7.578987e+00 | 1.100000e+01 | 45.14%
1763.99/1764.40 c 1764s| 12600 | 3699 | 3290k| 260.8 | 126M| 77 |1684 |6416 |6421 |6416 |6727 | 275k| 15 |2735 | 7.583511e+00 | 1.100000e+01 | 45.05%
1770.28/1770.62 c 1771s| 12700 | 3709 | 3299k| 259.5 | 127M| 77 |2102 |6416 |6421 |6416 |6806 | 275k| 15 |2749 | 7.586608e+00 | 1.100000e+01 | 44.99%
1779.17/1779.51 c 1780s| 12800 | 3725 | 3315k| 258.7 | 127M| 77 | - |6416 |6421 |6416 |6776 | 276k| 15 |2759 | 7.591305e+00 | 1.100000e+01 | 44.90%
1788.07/1788.50 c 1788s| 12900 | 3743 | 3329k| 257.8 | 128M| 77 |1533 |6416 |6421 |6416 |6303 | 277k| 15 |2781 | 7.593122e+00 | 1.100000e+01 | 44.87%
1795.77/1796.14 c 1796s| 13000 | 3751 | 3342k| 256.8 | 128M| 77 |1904 |6416 |6421 |6416 |6701 | 277k| 15 |2797 | 7.593189e+00 | 1.100000e+01 | 44.87%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 13008
1796.67/1797.00 c Primal Bound : +1.10000000000000e+01 (6 solutions)
1796.67/1797.00 c Dual Bound : +7.59318933259110e+00
1796.67/1797.00 c Gap : 44.87 %
1796.67/1797.00 s SATISFIABLE
1796.67/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.67/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.67/1797.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.67/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.67/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.67/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.67/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.67/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.67/1797.00 v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.29 (included in solving)
1796.67/1797.00 c reading : 0.01 (included in solving)
1796.67/1797.00 c copying : 0.18 (10 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3691449-1338020822.opb
1796.67/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 200 initial, 200 maximal
1796.67/1797.00 c Objective sense : minimize
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3691449-1338020822.opb
1796.67/1797.00 c Variables : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 6416 initial, 6429 maximal
1796.67/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c and : 0.22 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c root node : - - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 0 8636 0 228 0 6 388 0 0 16968
1796.67/1797.00 c and : 6216 6216 29068 80264 0 1 223 435 6 4115099 319913 0 0
1796.67/1797.00 c logicor : 200+ 213 6 27380 0 1 6 6 5 0 0 0 0
1796.67/1797.00 c countsols : 0 0 0 0 0 1 9 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.00 c integral : 160.84 0.00 0.00 0.00 160.83 0.00 0.00 0.00
1796.67/1797.00 c and : 106.62 0.00 89.53 17.06 0.00 0.00 0.03 0.00
1796.67/1797.00 c logicor : 0.46 0.00 0.00 0.46 0.00 0.00 0.00 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.00 c rootredcost : 4 0 0 0
1796.67/1797.00 c pseudoobj : 88803 100 2 0
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c redcost : 38181 0 0 76566
1796.67/1797.00 c probing : 0 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.67/1797.00 c pseudoobj : 0.21 0.01 0.00 0.20 0.01
1796.67/1797.00 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.67/1797.00 c redcost : 3.25 0.00 0.00 3.25 0.00
1796.67/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.01 13 13 15 27.3 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 15 27.3 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2417)
1796.67/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c impliedbounds : 0.01 0.00 6 0 0 2400 0
1796.67/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.04 0.00 6 0 0 300 0
1796.67/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 0.34 0.00 6 0 0 3000 0
1796.67/1797.00 c cmir : 1.65 0.00 6 0 0 2400 0
1796.67/1797.00 c flowcover : 0.43 0.00 6 0 0 0 0
1796.67/1797.00 c clique : 0.14 0.00 6 0 0 17 0
1796.67/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.28 0.00 1 0 0 0 0
1796.67/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.00 c problem variables: 0.00 - 0 0
1796.67/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 160.81 0.00 8628 6 388 0 0 16952
1796.67/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 0.00 9 0 0 0 0 18
1796.67/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.00 c LP solutions : 0.00 - - 0
1796.67/1797.00 c pseudo solutions : 0.00 - - 0
1796.67/1797.00 c feaspump : 0.00 0.00 0 0
1796.67/1797.00 c intshifting : 0.00 0.00 0 0
1796.67/1797.00 c oneopt : 0.03 0.00 5 0
1796.67/1797.00 c objpscostdiving : 28.61 0.00 5 0
1796.67/1797.00 c crossover : 0.93 0.00 5 0
1796.67/1797.00 c rootsoldiving : 8.90 0.00 19 0
1796.67/1797.00 c guideddiving : 44.73 0.00 41 0
1796.67/1797.00 c veclendiving : 15.40 0.00 42 0
1796.67/1797.00 c pscostdiving : 37.73 0.00 42 0
1796.67/1797.00 c linesearchdiving : 41.93 0.00 42 0
1796.67/1797.00 c fracdiving : 66.65 0.00 48 1
1796.67/1797.00 c coefdiving : 34.68 0.00 49 2
1796.67/1797.00 c smallcard : 0.00 0.00 0 0
1796.67/1797.00 c trivial : 0.00 0.00 2 1
1796.67/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.67/1797.00 c simplerounding : 0.03 0.00 0 0
1796.67/1797.00 c zirounding : 0.97 0.00 1000 0
1796.67/1797.00 c rounding : 3.38 0.00 2439 0
1796.67/1797.00 c shifting : 4.95 0.00 2920 2
1796.67/1797.00 c twoopt : 0.00 0.00 0 0
1796.67/1797.00 c indoneopt : 0.03 0.00 0 0
1796.67/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.00 c clique : 0.00 0.00 0 0
1796.67/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.00 c indrounding : 0.00 0.00 0 0
1796.67/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.00 c octane : 0.00 0.00 0 0
1796.67/1797.00 c rens : 0.08 0.00 1 0
1796.67/1797.00 c rins : 0.00 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0.00 0 0
1796.67/1797.00 c dins : 0.00 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0.00 0 0
1796.67/1797.00 c undercover : 0.13 0.00 1 0
1796.67/1797.00 c subnlp : 0.01 0.00 0 0
1796.67/1797.00 c trysol : 0.02 0.00 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.00 c primal LP : 21.10 3905 0 0.00 0.00 21.10 3905
1796.67/1797.00 c dual LP : 1126.45 42723 2807574 76.17 2492.42 11.69 5865
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.00 c diving/probing LP: 222.55 25228 537119 21.29 2413.45
1796.67/1797.00 c strong branching : 160.27 2797 428858 153.33 2675.82
1796.67/1797.00 c (at root node) : - 0 0 0.00 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 13008
1796.67/1797.00 c nodes (total) : 13008
1796.67/1797.00 c nodes left : 3753
1796.67/1797.00 c max depth : 77
1796.67/1797.00 c max depth (total): 77
1796.67/1797.00 c backtracks : 1626 (12.5%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 5.05
1796.67/1797.00 c switching time : 29.57
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 6 (6 improvements)
1796.67/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.67/1797.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1131 nodes, 591.94 seconds, depth 57, found by <coefdiving>)
1796.67/1797.00 c Dual Bound : +7.59318933259110e+00
1796.67/1797.00 c Gap : 44.87 %
1796.67/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.67/1797.00 c Root Iterations : 4003
1796.77/1797.11 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-3691449-1338020822/watcher-3691449-1338020822 -o /tmp/evaluation-result-3691449-1338020822/solver-3691449-1338020822 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691449-1338020822.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: 2.06 2.03 1.95 3/177 29540 /proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=10280 CPUtime=0 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 1336 0 0 0 0 0 0 0 20 0 1 0 268210727 10526720 1290 33554432000 4194304 10173063 140735103315696 140733858880408 7171394 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 2570 1290 417 1460 0 1101 0 [startup+0.0130601 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29540 /proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=16592 CPUtime=0 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 2474 0 0 0 0 0 0 0 20 0 1 0 268210727 16990208 2429 33554432000 4194304 10173063 140735103315696 140733858880408 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 4148 2442 508 1460 0 2679 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 16592 [startup+0.100236 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29540 /proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=40076 CPUtime=0.09 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 8437 0 0 0 8 1 0 0 20 0 1 0 268210727 41037824 8391 33554432000 4194304 10173063 140735103315696 140733858880408 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 10019 8391 550 1460 0 8550 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40076 [startup+0.300289 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29540 /proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=49268 CPUtime=0.29 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 11144 0 0 0 23 6 0 0 20 0 1 0 268210727 50450432 10841 33554432000 4194304 10173063 140735103315696 140733858880408 5929904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 12317 10841 597 1460 0 10848 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49268 [startup+0.700311 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29540 /proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=79232 CPUtime=0.69 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 27005 0 0 0 60 9 0 0 20 0 1 0 268210727 81133568 18510 33554432000 4194304 10173063 140735103315696 140735103311624 5099032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 19808 18510 803 1460 0 18339 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 79232 [startup+1.50031 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29541 /proc/meminfo: memFree=29084960/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=1.48 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38589 0 0 0 134 14 0 0 20 0 1 0 268210727 104062976 24205 33554432000 4194304 10173063 140735103315696 140735103310584 7269800 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24205 831 1460 0 23937 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 101624 [startup+3.10028 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29541 /proc/meminfo: memFree=29062516/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=3.08 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38620 0 0 0 293 15 0 0 20 0 1 0 268210727 104062976 24236 33554432000 4194304 10173063 140735103315696 140735103311080 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24236 831 1460 0 23937 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 101624 [startup+6.30033 s] /proc/loadavg: 2.06 2.03 1.95 3/177 29541 /proc/meminfo: memFree=29061772/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=6.29 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 610 19 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309560 8047338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24339 838 1460 0 23937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 101624 [startup+12.7003 s] /proc/loadavg: 2.05 2.03 1.95 3/177 29541 /proc/meminfo: memFree=29061144/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=12.69 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 1247 22 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309240 7910648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24339 838 1460 0 23937 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 101624 [startup+25.5002 s] /proc/loadavg: 2.11 2.04 1.95 3/177 29541 /proc/meminfo: memFree=29061268/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=25.49 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41750 0 0 0 2519 30 0 0 20 0 1 0 268210727 104062976 24344 33554432000 4194304 10173063 140735103315696 140735103309720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24344 841 1460 0 23937 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 101624 [startup+51.1003 s] /proc/loadavg: 2.07 2.04 1.95 3/177 29541 /proc/meminfo: memFree=29058128/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=51.08 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41753 0 0 0 5071 37 0 0 20 0 1 0 268210727 104062976 24347 33554432000 4194304 10173063 140735103315696 140735103309240 5084148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24347 841 1460 0 23937 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 101624 [startup+102.307 s] /proc/loadavg: 2.03 2.03 1.95 3/177 29541 /proc/meminfo: memFree=29044396/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=101624 CPUtime=102.28 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41754 0 0 0 10170 58 0 0 20 0 1 0 268210727 104062976 24348 33554432000 4194304 10173063 140735103315696 140735103308280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25406 24348 842 1460 0 23937 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 101624 [startup+162.3 s] /proc/loadavg: 2.01 2.02 1.95 3/177 29541 /proc/meminfo: memFree=29042584/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=103448 CPUtime=162.26 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 42128 0 0 0 16151 75 0 0 20 0 1 0 268210727 105930752 24745 33554432000 4194304 10173063 140735103315696 140735103308648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 25862 24745 842 1460 0 24393 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 103448 [startup+222.3 s] /proc/loadavg: 2.00 2.02 1.95 3/178 29544 /proc/meminfo: memFree=29039388/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=104744 CPUtime=222.25 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 52411 0 0 0 22128 97 0 0 20 0 1 0 268210727 107257856 25502 33554432000 4194304 10173063 140735103315696 140735103308568 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 26186 25502 849 1460 0 24717 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 104744 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.95 3/177 29545 /proc/meminfo: memFree=29036296/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=107852 CPUtime=282.23 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53190 0 0 0 28109 114 0 0 20 0 1 0 268210727 110440448 26281 33554432000 4194304 10173063 140735103315696 140735103308456 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 26963 26281 849 1460 0 25494 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 107852 [startup+342.3 s] /proc/loadavg: 2.04 2.02 1.96 3/177 29545 /proc/meminfo: memFree=29034436/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=109884 CPUtime=342.22 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53696 0 0 0 34089 133 0 0 20 0 1 0 268210727 112521216 26787 33554432000 4194304 10173063 140735103315696 140735103308872 5084126 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 27471 26787 849 1460 0 26002 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 109884 [startup+402.3 s] /proc/loadavg: 2.01 2.01 1.96 3/177 29545 /proc/meminfo: memFree=29033196/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=111116 CPUtime=402.21 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 54015 0 0 0 40069 152 0 0 20 0 1 0 268210727 113782784 27106 33554432000 4194304 10173063 140735103315696 140735103308824 8046716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 27779 27106 849 1460 0 26310 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 111116 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 29545 /proc/meminfo: memFree=29029776/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=114348 CPUtime=462.2 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57506 0 0 0 46047 173 0 0 20 0 1 0 268210727 117092352 27903 33554432000 4194304 10173063 140735103315696 140735103309336 5122160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 28587 27903 849 1460 0 27118 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 114348 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 29545 /proc/meminfo: memFree=29029404/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=115152 CPUtime=522.19 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57651 0 0 0 52027 192 0 0 20 0 1 0 268210727 117915648 28048 33554432000 4194304 10173063 140735103315696 140735103311624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 28788 28048 849 1460 0 27319 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 115152 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 29546 /proc/meminfo: memFree=29027668/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=117400 CPUtime=582.18 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 58172 0 0 0 58004 214 0 0 20 0 1 0 268210727 120217600 28569 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 29350 28569 849 1460 0 27881 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 117400 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28988516/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=154972 CPUtime=1062.1 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 94527 0 0 0 105847 363 0 0 20 0 1 0 268210727 158691328 37987 33554432000 4194304 10173063 140735103315696 140735103309000 7980756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 38743 37987 854 1460 0 37274 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 154972 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.98 3/177 29550 /proc/meminfo: memFree=28983308/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=159328 CPUtime=1122.09 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 96668 0 0 0 111829 380 0 0 20 0 1 0 268210727 163151872 39153 33554432000 4194304 10173063 140735103315696 140735103309336 7986109 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 39832 39153 854 1460 0 38363 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 159328 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 1.98 3/177 29551 /proc/meminfo: memFree=28975308/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=166876 CPUtime=1182.08 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 98566 0 0 0 117812 396 0 0 20 0 1 0 268210727 170881024 41046 33554432000 4194304 10173063 140735103315696 140735103308920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 41719 41046 854 1460 0 40250 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 166876 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.98 3/177 29551 /proc/meminfo: memFree=28969600/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=172804 CPUtime=1242.07 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 100053 0 0 0 123793 414 0 0 20 0 1 0 268210727 176951296 42533 33554432000 4194304 10173063 140735103315696 140735103312168 8033157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 43201 42533 854 1460 0 41732 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 172804 [startup+1302.3 s] /proc/loadavg: 2.08 2.02 1.98 3/177 29551 /proc/meminfo: memFree=28962756/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=179328 CPUtime=1302.06 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 101679 0 0 0 129774 432 0 0 20 0 1 0 268210727 183631872 44153 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 44832 44153 854 1460 0 43363 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 179328 [startup+1362.3 s] /proc/loadavg: 2.11 2.03 1.99 3/177 29551 /proc/meminfo: memFree=28956804/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=185464 CPUtime=1362.05 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 103215 0 0 0 135754 451 0 0 20 0 1 0 268210727 189915136 45689 33554432000 4194304 10173063 140735103315696 140735103309192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 46366 45689 854 1460 0 44897 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 185464 [startup+1422.31 s] /proc/loadavg: 2.04 2.02 1.99 3/178 29554 /proc/meminfo: memFree=28948364/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=193940 CPUtime=1422.05 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 112667 0 0 0 141735 470 0 0 20 0 1 0 268210727 198594560 47739 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 48485 47739 854 1460 0 47016 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 193940 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.99 3/177 29554 /proc/meminfo: memFree=28939444/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=199876 CPUtime=1482.03 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 114108 0 0 0 147716 487 0 0 20 0 1 0 268210727 204673024 49180 33554432000 4194304 10173063 140735103315696 140735103309336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 49969 49180 854 1460 0 48500 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 199876 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.99 3/177 29555 /proc/meminfo: memFree=28933740/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=205748 CPUtime=1542.03 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 115599 0 0 0 153699 504 0 0 20 0 1 0 268210727 210685952 50671 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 51437 50671 854 1460 0 49968 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 205748 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.99 3/177 29555 /proc/meminfo: memFree=28926080/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=212076 CPUtime=1602.01 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 117184 0 0 0 159681 520 0 0 20 0 1 0 268210727 217165824 52248 33554432000 4194304 10173063 140735103315696 140735103309048 7910525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 53019 52248 854 1460 0 51550 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 212076 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29593 /proc/meminfo: memFree=29249484/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=217856 CPUtime=1662 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 118640 0 0 0 165662 538 0 0 20 0 1 0 268210727 223084544 53704 33554432000 4194304 10173063 140735103315696 140735103308952 8047331 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 54464 53704 854 1460 0 52995 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 217856 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29593 /proc/meminfo: memFree=29238944/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=223504 CPUtime=1721.99 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 120162 0 0 0 171643 556 0 0 20 0 1 0 268210727 228868096 55226 33554432000 4194304 10173063 140735103315696 140735103308680 8056069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 55876 55226 854 1460 0 54407 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 223504 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29593 /proc/meminfo: memFree=29225132/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=233416 CPUtime=1781.97 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122538 0 0 0 177619 578 0 0 20 0 1 0 268210727 239017984 57595 33554432000 4194304 10173063 140735103315696 140735103312136 7911532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58354 57595 854 1460 0 56885 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 233416 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29593 /proc/meminfo: memFree=29224140/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=234452 CPUtime=1785.18 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122763 0 0 0 177938 580 0 0 20 0 1 0 268210727 240078848 57820 33554432000 4194304 10173063 140735103315696 140735103308680 7986093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58613 57820 854 1460 0 57144 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 234452 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.99 3/176 29593 /proc/meminfo: memFree=29222472/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=234452 CPUtime=1791.58 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122784 0 0 0 178576 582 0 0 20 0 1 0 268210727 240078848 57841 33554432000 4194304 10173063 140735103315696 140735103309416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58613 57841 854 1460 0 57144 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 234452 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29594 /proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=234452 CPUtime=1794.78 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178895 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58613 57895 854 1460 0 57144 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 234452 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29594 /proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=234452 CPUtime=1795.57 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178974 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103308216 7649893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58613 57895 854 1460 0 57144 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (KiB) 234452 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29594 /proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=234452 CPUtime=1796.37 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122839 0 0 0 179054 583 0 0 20 0 1 0 268210727 240078848 57896 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58613 57896 854 1460 0 57144 0 Current children cumulated CPU time (s) 1796.37 Current children cumulated vsize (KiB) 234452 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.99 3/177 29594 /proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100 [pid=29540] ppid=29538 vsize=232524 CPUtime=1796.77 cores=1,3,5,7 /proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122842 0 0 0 179094 583 0 0 20 0 1 0 268210727 238104576 57417 33554432000 4194304 10173063 140735103315696 140735103309000 7550044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29540/statm: 58131 57417 857 1460 0 56662 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 232524 Child status: 0 Real time (s): 1797.11 CPU time (s): 1796.79 CPU user time (s): 1790.95 CPU system time (s): 5.84311 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 234452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.95 system time used= 5.84311 maximum resident set size= 231596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122844 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= 59 involuntary context switches= 1845 runsolver used 4.56731 second user time and 18.6682 second system time The end
Begin job on node102 at 2012-05-26 10:27:02 IDJOB=3691449 IDBENCH=48158 IDSOLVER=2270 FILE ID=node102/3691449-1338020822 RUNJOBID= node102-1338016939-29038 PBS_JOBID= 14624369 Free space on /tmp= 71548 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_3.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-3691449-1338020822/watcher-3691449-1338020822 -o /tmp/evaluation-result-3691449-1338020822/solver-3691449-1338020822 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691449-1338020822.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54 RANDOM SEED=265146288 node102.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 : 2667.178 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 : 5334.35 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 : 2667.178 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.90 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 : 2667.178 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.91 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 : 2667.178 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 : 2667.178 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.91 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 : 2667.178 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 : 5438.54 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 : 2667.178 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 : 2667.178 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: 32873844 kB MemFree: 29156912 kB Buffers: 227496 kB Cached: 2375132 kB SwapCached: 0 kB Active: 1208808 kB Inactive: 1738732 kB Active(anon): 347260 kB Inactive(anon): 0 kB Active(file): 861548 kB Inactive(file): 1738732 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13608 kB Writeback: 0 kB AnonPages: 380344 kB Mapped: 17792 kB Shmem: 200 kB Slab: 630012 kB SReclaimable: 72596 kB SUnreclaim: 557416 kB KernelStack: 1480 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 460500 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71536 MiB End job on node102 at 2012-05-26 10:56:59