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 | -27 | 1796.75 | 1797.04 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
| MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
| 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 | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1789.76 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| 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) | 2496 |
| Sum of products size (including duplicates) | 4992 |
| Number of different products | 1248 |
| Sum of products size | 2496 |
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-3691408-1338022317.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.09/0.18 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10184 impls, 200 clqs
0.29/0.35 c (0.3s) probing: 51/1448 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.35 c presolving (2 rounds):
0.29/0.35 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.35 c 10184 implications, 200 cliques
0.29/0.35 c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.29/0.35 c 300 constraints of type <setppc>
0.29/0.35 c 1248 constraints of type <and>
0.29/0.35 c 1 constraints of type <linear>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.34
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.1.1.4
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1797
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/rapidlearning/freq = 0
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.49/0.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.50 c t 0.5s| 1 | 0 | 1255 | - |6466k| 0 | 739 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | Inf
0.49/0.50 o -5
0.49/0.50 c s 0.5s| 1 | 0 | 1255 | - |6523k| 0 | 739 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 900.00%
0.49/0.57 o -6
0.49/0.57 c U 0.6s| 1 | 0 | 1255 | - |6670k| 0 | 739 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 733.33%
1.59/1.68 c 1.7s| 1 | 0 | 1448 | - |8152k| 0 | 764 |1448 |1550 |1448 |2818 | 21 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 733.33%
1.59/1.68 o -7
1.59/1.68 c s 1.7s| 1 | 0 | 1448 | - |8172k| 0 | 764 |1448 |1550 |1448 |2818 | 21 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
2.29/2.30 c 2.3s| 1 | 0 | 1556 | - |9955k| 0 | 761 |1448 |1550 |1448 |2832 | 35 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
2.99/3.05 c 3.1s| 1 | 0 | 1938 | - | 11M| 0 | 773 |1448 |1550 |1448 |2843 | 46 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
3.79/3.85 c 3.9s| 1 | 0 | 2405 | - | 13M| 0 | 770 |1448 |1550 |1448 |2849 | 52 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
4.49/4.57 c 4.6s| 1 | 0 | 2692 | - | 15M| 0 | 769 |1448 |1550 |1448 |2858 | 61 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
4.49/4.57 o -9
4.49/4.57 c s 4.6s| 1 | 0 | 2692 | - | 15M| 0 | 769 |1448 |1550 |1448 |2858 | 61 | 0 | 0 |-5.000000e+01 |-9.000000e+00 | 455.56%
5.39/5.45 c 5.4s| 1 | 0 | 3265 | - | 17M| 0 | 765 |1448 |1550 |1448 |2869 | 72 | 0 | 0 |-5.000000e+01 |-9.000000e+00 | 455.56%
7.79/7.88 c 7.9s| 1 | 2 | 3265 | - | 17M| 0 | 765 |1448 |1550 |1448 |2869 | 72 | 0 | 11 |-5.000000e+01 |-9.000000e+00 | 455.56%
56.49/56.58 o -10
56.49/56.58 c c56.6s| 41 | 42 |200879 |4940.4 | 18M| 13 | - |1448 |1582 |1448 |1448 |2485 | 32 | 238 |-4.966828e+01 |-1.000000e+01 | 396.68%
67.88/67.99 o -25
67.88/67.99 c l68.0s| 49 | 50 |272174 |5602.3 | 17M| 13 | - |1448 |1654 |1448 |1471 |2930 | 104 | 262 |-4.947966e+01 |-2.500000e+01 | 97.92%
98.68/98.70 o -26
98.68/98.70 c l98.7s| 91 | 92 |471810 |5206.1 | 18M| 13 | - |1448 |1673 |1448 |1505 |4571 | 123 | 317 |-4.928719e+01 |-2.600000e+01 | 89.57%
101.68/101.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.68/101.73 c 102s| 100 | 101 |491215 |4928.8 | 17M| 13 | 456 |1448 |1677 |1448 |1495 |4706 | 127 | 317 |-4.928719e+01 |-2.600000e+01 | 89.57%
162.36/162.47 c 162s| 200 | 201 |893163 |4471.8 | 18M| 15 | 551 |1448 |1704 |1448 |1464 |6999 | 154 | 408 |-4.739121e+01 |-2.600000e+01 | 82.27%
215.74/215.81 c 216s| 300 | 301 | 1234k|4119.3 | 18M| 16 | 612 |1448 |1731 |1448 |1509 |8971 | 184 | 502 |-4.716546e+01 |-2.600000e+01 | 81.41%
220.75/220.88 o -27
220.75/220.88 c l 221s| 313 | 314 | 1270k|4062.9 | 18M| 16 | - |1448 |1735 |1448 |1506 |9268 | 188 | 502 |-4.716546e+01 |-2.700000e+01 | 74.69%
256.14/256.27 c 256s| 400 | 401 | 1507k|3770.1 | 18M| 17 | 629 |1448 |1734 |1448 |1498 | 10k| 203 | 546 |-4.716546e+01 |-2.700000e+01 | 74.69%
288.44/288.51 c 289s| 500 | 501 | 1728k|3458.4 | 19M| 17 | 655 |1448 |1740 |1448 |1565 | 12k| 212 | 546 |-4.699121e+01 |-2.700000e+01 | 74.04%
310.14/310.21 c 310s| 600 | 577 | 1876k|3127.8 | 19M| 27 | 701 |1448 |1745 |1448 |1612 | 13k| 217 | 546 |-4.679662e+01 |-2.700000e+01 | 73.32%
340.03/340.17 c 340s| 700 | 655 | 2080k|2971.1 | 19M| 35 | 251 |1448 |1730 |1448 |1575 | 14k| 221 | 571 |-4.633490e+01 |-2.700000e+01 | 71.61%
347.02/347.17 c 347s| 800 | 729 | 2126k|2657.5 | 19M| 35 | 242 |1448 |1723 |1448 |1538 | 14k| 223 | 593 |-4.630039e+01 |-2.700000e+01 | 71.48%
355.43/355.58 c 356s| 900 | 777 | 2179k|2420.7 | 20M| 47 | 161 |1448 |1726 |1448 |1551 | 15k| 227 | 616 |-4.611999e+01 |-2.700000e+01 | 70.81%
360.52/360.65 c 361s| 1000 | 807 | 2214k|2213.6 | 20M| 49 | 185 |1448 |1726 |1448 |1550 | 15k| 227 | 616 |-4.608581e+01 |-2.700000e+01 | 70.69%
367.52/367.68 c 368s| 1100 | 837 | 2263k|2056.6 | 20M| 51 | 184 |1448 |1725 |1448 |1550 | 16k| 228 | 621 |-4.594385e+01 |-2.700000e+01 | 70.16%
375.92/376.05 c 376s| 1200 | 861 | 2311k|1925.3 | 20M| 52 | 175 |1448 |1725 |1448 |1549 | 16k| 228 | 669 |-4.590122e+01 |-2.700000e+01 | 70.00%
380.11/380.25 c 380s| 1300 | 873 | 2339k|1798.5 | 20M| 56 | - |1448 |1734 |1448 |1553 | 16k| 237 | 672 |-4.585092e+01 |-2.700000e+01 | 69.82%
386.12/386.24 c 386s| 1400 | 891 | 2379k|1698.8 | 20M| 56 | - |1448 |1733 |1448 |1547 | 17k| 238 | 672 |-4.574855e+01 |-2.700000e+01 | 69.44%
390.42/390.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.42/390.51 c 391s| 1500 | 907 | 2409k|1605.2 | 20M| 56 | - |1448 |1733 |1448 |1552 | 17k| 238 | 672 |-4.573532e+01 |-2.700000e+01 | 69.39%
395.92/396.08 c 396s| 1600 | 911 | 2443k|1526.3 | 20M| 56 | 171 |1448 |1733 |1448 |1552 | 17k| 238 | 690 |-4.568586e+01 |-2.700000e+01 | 69.21%
399.12/399.26 c 399s| 1700 | 933 | 2462k|1447.2 | 20M| 56 | 147 |1448 |1731 |1448 |1542 | 17k| 238 | 705 |-4.567996e+01 |-2.700000e+01 | 69.19%
399.62/399.70 c 400s| 1800 | 935 | 2464k|1368.3 | 20M| 56 | - |1448 |1730 |1448 |1541 | 17k| 238 | 705 |-4.567996e+01 |-2.700000e+01 | 69.19%
400.02/400.14 c 400s| 1900 | 929 | 2467k|1297.8 | 20M| 56 | 158 |1448 |1729 |1448 |1545 | 17k| 238 | 705 |-4.567996e+01 |-2.700000e+01 | 69.19%
404.31/404.44 c 404s| 2000 | 945 | 2494k|1246.2 | 20M| 56 | 146 |1448 |1729 |1448 |1541 | 18k| 239 | 715 |-4.563654e+01 |-2.700000e+01 | 69.02%
404.72/404.82 c 405s| 2100 | 945 | 2496k|1188.0 | 20M| 56 | - |1448 |1729 |1448 |1546 | 18k| 240 | 715 |-4.563654e+01 |-2.700000e+01 | 69.02%
411.32/411.48 c 411s| 2200 | 973 | 2540k|1153.7 | 20M| 56 | - |1448 |1731 |1448 |1561 | 18k| 242 | 715 |-4.561397e+01 |-2.700000e+01 | 68.94%
415.51/415.60 c 416s| 2300 | 983 | 2567k|1115.4 | 20M| 56 | 162 |1448 |1731 |1448 |1551 | 18k| 243 | 715 |-4.556537e+01 |-2.700000e+01 | 68.76%
420.12/420.28 c 420s| 2400 | 991 | 2598k|1082.0 | 20M| 56 | - |1448 |1732 |1448 |1552 | 18k| 245 | 725 |-4.549592e+01 |-2.700000e+01 | 68.50%
422.92/423.06 c 423s| 2500 | 1005 | 2614k|1044.8 | 20M| 56 | - |1448 |1732 |1448 |1552 | 19k| 245 | 746 |-4.549315e+01 |-2.700000e+01 | 68.49%
423.42/423.58 c 424s| 2600 | 1011 | 2617k|1005.8 | 20M| 56 | - |1448 |1732 |1448 |1553 | 19k| 246 | 746 |-4.549315e+01 |-2.700000e+01 | 68.49%
426.11/426.28 c 426s| 2700 | 1021 | 2633k| 974.5 | 20M| 56 | 167 |1448 |1733 |1448 |1551 | 19k| 247 | 756 |-4.549187e+01 |-2.700000e+01 | 68.49%
428.72/428.87 c 429s| 2800 | 1025 | 2649k| 945.3 | 20M| 56 | - |1448 |1733 |1448 |1548 | 19k| 247 | 761 |-4.546946e+01 |-2.700000e+01 | 68.41%
431.41/431.51 c 432s| 2900 | 1049 | 2665k| 918.4 | 20M| 56 | - |1448 |1733 |1448 |1541 | 19k| 247 | 762 |-4.544981e+01 |-2.700000e+01 | 68.33%
433.91/434.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.91/434.05 c 434s| 3000 | 1063 | 2682k| 893.2 | 21M| 56 | 148 |1448 |1733 |1448 |1547 | 19k| 247 | 762 |-4.544353e+01 |-2.700000e+01 | 68.31%
443.91/444.07 c 444s| 3100 | 1085 | 2749k| 886.1 | 21M| 56 | - |1448 |1735 |1448 |1544 | 20k| 249 | 763 |-4.541540e+01 |-2.700000e+01 | 68.21%
446.31/446.46 c 446s| 3200 | 1087 | 2765k| 863.4 | 21M| 56 | 164 |1448 |1735 |1448 |1551 | 20k| 249 | 763 |-4.537180e+01 |-2.700000e+01 | 68.04%
449.40/449.55 c 450s| 3300 | 1087 | 2782k| 842.3 | 21M| 56 | - |1448 |1736 |1448 |1544 | 20k| 250 | 785 |-4.535937e+01 |-2.700000e+01 | 68.00%
455.71/455.83 c 456s| 3400 | 1105 | 2819k| 828.5 | 21M| 56 | - |1448 |1737 |1448 |1548 | 20k| 251 | 811 |-4.529106e+01 |-2.700000e+01 | 67.74%
458.41/458.52 c 459s| 3500 | 1107 | 2834k| 809.1 | 21M| 56 | - |1448 |1737 |1448 |1544 | 20k| 251 | 829 |-4.528413e+01 |-2.700000e+01 | 67.72%
465.90/466.06 c 466s| 3600 | 1123 | 2884k| 800.7 | 21M| 56 | - |1448 |1735 |1448 |1551 | 21k| 251 | 833 |-4.521953e+01 |-2.700000e+01 | 67.48%
470.20/470.33 c 470s| 3700 | 1135 | 2913k| 786.9 | 21M| 56 | - |1448 |1733 |1448 |1551 | 21k| 251 | 833 |-4.520495e+01 |-2.700000e+01 | 67.43%
474.50/474.66 c 475s| 3800 | 1154 | 2942k| 773.7 | 21M| 56 | - |1448 |1734 |1448 |1548 | 21k| 252 | 833 |-4.518846e+01 |-2.700000e+01 | 67.36%
481.11/481.27 c 481s| 3900 | 1170 | 2979k| 763.4 | 21M| 56 | - |1448 |1734 |1448 |1547 | 22k| 252 | 857 |-4.517645e+01 |-2.700000e+01 | 67.32%
483.61/483.72 c 484s| 4000 | 1181 | 2995k| 748.3 | 21M| 56 | 185 |1448 |1734 |1448 |1554 | 22k| 252 | 863 |-4.516816e+01 |-2.700000e+01 | 67.29%
492.21/492.38 c 492s| 4100 | 1213 | 3050k| 743.4 | 21M| 56 | 597 |1448 |1723 |1448 |1583 | 22k| 256 | 886 |-4.511813e+01 |-2.700000e+01 | 67.10%
497.11/497.28 c 497s| 4200 | 1245 | 3083k| 733.6 | 21M| 56 | 168 |1448 |1723 |1448 |1557 | 23k| 258 | 886 |-4.510535e+01 |-2.700000e+01 | 67.06%
505.00/505.18 c 505s| 4300 | 1281 | 3140k| 729.7 | 21M| 56 | 164 |1448 |1716 |1448 |1546 | 23k| 258 | 886 |-4.505827e+01 |-2.700000e+01 | 66.88%
514.00/514.14 c 514s| 4400 | 1325 | 3191k| 724.9 | 21M| 56 | - |1448 |1714 |1448 |1547 | 24k| 259 | 923 |-4.501514e+01 |-2.700000e+01 | 66.72%
518.20/518.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.20/518.36 c 518s| 4500 | 1337 | 3217k| 714.4 | 21M| 56 | 226 |1448 |1713 |1448 |1558 | 24k| 259 | 932 |-4.501295e+01 |-2.700000e+01 | 66.71%
526.20/526.30 c 526s| 4600 | 1371 | 3269k| 710.2 | 21M| 56 | 511 |1448 |1713 |1448 |1678 | 25k| 260 | 933 |-4.500895e+01 |-2.700000e+01 | 66.70%
541.00/541.12 c 541s| 4700 | 1421 | 3362k| 714.9 | 22M| 56 | 162 |1448 |1718 |1448 |1556 | 25k| 265 | 953 |-4.499895e+01 |-2.700000e+01 | 66.66%
553.09/553.25 c 553s| 4800 | 1467 | 3440k| 716.3 | 22M| 56 | 172 |1448 |1718 |1448 |1547 | 26k| 265 | 967 |-4.496871e+01 |-2.700000e+01 | 66.55%
564.20/564.38 c 564s| 4900 | 1515 | 3515k| 717.0 | 22M| 56 | 408 |1448 |1722 |1448 |1487 | 26k| 269 | 967 |-4.496758e+01 |-2.700000e+01 | 66.55%
577.79/577.91 c 578s| 5000 | 1567 | 3603k| 720.3 | 22M| 56 | 202 |1448 |1722 |1448 |1554 | 27k| 270 | 997 |-4.493668e+01 |-2.700000e+01 | 66.43%
595.39/595.54 c 596s| 5100 | 1653 | 3721k| 729.3 | 22M| 56 | - |1448 |1723 |1448 |1546 | 28k| 272 |1011 |-4.491725e+01 |-2.700000e+01 | 66.36%
601.88/602.09 c 602s| 5200 | 1703 | 3762k| 723.1 | 22M| 56 | 139 |1448 |1722 |1448 |1551 | 29k| 272 |1034 |-4.489164e+01 |-2.700000e+01 | 66.27%
607.98/608.11 c 608s| 5300 | 1737 | 3801k| 716.9 | 23M| 56 | 156 |1448 |1723 |1448 |1555 | 29k| 273 |1039 |-4.486013e+01 |-2.700000e+01 | 66.15%
608.38/608.55 c 609s| 5400 | 1743 | 3804k| 704.1 | 23M| 56 | - |1448 |1723 |1448 |1561 | 29k| 273 |1039 |-4.486013e+01 |-2.700000e+01 | 66.15%
613.98/614.19 c 614s| 5500 | 1775 | 3843k| 698.3 | 23M| 56 | 204 |1448 |1724 |1448 |1549 | 29k| 274 |1039 |-4.479794e+01 |-2.700000e+01 | 65.92%
616.39/616.52 c 617s| 5600 | 1793 | 3858k| 688.6 | 23M| 56 | - |1448 |1725 |1448 |1554 | 29k| 275 |1039 |-4.478972e+01 |-2.700000e+01 | 65.89%
616.68/616.87 c 617s| 5700 | 1789 | 3860k| 676.9 | 23M| 56 | - |1448 |1725 |1448 |1552 | 29k| 275 |1039 |-4.478972e+01 |-2.700000e+01 | 65.89%
619.78/619.95 c 620s| 5800 | 1795 | 3883k| 669.2 | 23M| 56 | - |1448 |1725 |1448 |1553 | 30k| 275 |1039 |-4.478511e+01 |-2.700000e+01 | 65.87%
621.89/622.00 c 622s| 5900 | 1801 | 3896k| 660.0 | 23M| 56 | 191 |1448 |1724 |1448 |1556 | 30k| 275 |1039 |-4.477695e+01 |-2.700000e+01 | 65.84%
624.29/624.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.29/624.48 c 624s| 6000 | 1807 | 3911k| 651.4 | 23M| 56 | 156 |1448 |1726 |1448 |1562 | 30k| 277 |1048 |-4.477374e+01 |-2.700000e+01 | 65.83%
628.38/628.51 c 629s| 6100 | 1823 | 3935k| 644.8 | 23M| 56 | - |1448 |1727 |1448 |1558 | 30k| 278 |1059 |-4.473893e+01 |-2.700000e+01 | 65.70%
634.49/634.66 c 635s| 6200 | 1831 | 3974k| 640.6 | 23M| 56 | - |1448 |1726 |1448 |1560 | 30k| 278 |1069 |-4.472849e+01 |-2.700000e+01 | 65.66%
639.48/639.69 c 640s| 6300 | 1841 | 4006k| 635.6 | 23M| 56 | 197 |1448 |1727 |1448 |1552 | 31k| 279 |1070 |-4.468460e+01 |-2.700000e+01 | 65.50%
642.78/642.93 c 643s| 6400 | 1849 | 4028k| 629.0 | 23M| 56 | 151 |1448 |1727 |1448 |1555 | 31k| 279 |1070 |-4.466881e+01 |-2.700000e+01 | 65.44%
646.37/646.52 c 647s| 6500 | 1897 | 4051k| 622.8 | 23M| 56 | 186 |1448 |1728 |1448 |1677 | 31k| 281 |1070 |-4.466375e+01 |-2.700000e+01 | 65.42%
652.08/652.24 c 652s| 6600 | 1941 | 4089k| 619.2 | 23M| 56 | 159 |1448 |1728 |1448 |1685 | 31k| 281 |1070 |-4.464573e+01 |-2.700000e+01 | 65.35%
658.17/658.32 c 658s| 6700 | 1973 | 4127k| 615.7 | 24M| 56 | - |1448 |1730 |1448 |1676 | 32k| 283 |1083 |-4.459762e+01 |-2.700000e+01 | 65.18%
667.58/667.76 c 668s| 6800 | 2033 | 4188k| 615.5 | 24M| 56 | 225 |1448 |1729 |1448 |1684 | 32k| 283 |1099 |-4.459762e+01 |-2.700000e+01 | 65.18%
670.97/671.14 c 671s| 6900 | 2103 | 4210k| 609.8 | 24M| 56 | 147 |1448 |1729 |1448 |1689 | 32k| 285 |1099 |-4.459714e+01 |-2.700000e+01 | 65.17%
673.27/673.40 c 673s| 7000 | 2135 | 4226k| 603.5 | 24M| 61 | 132 |1448 |1732 |1448 |1696 | 33k| 288 |1099 |-4.458631e+01 |-2.700000e+01 | 65.13%
676.67/676.82 c 677s| 7100 | 2159 | 4249k| 598.2 | 24M| 61 | 162 |1448 |1731 |1448 |1695 | 33k| 289 |1099 |-4.458044e+01 |-2.700000e+01 | 65.11%
680.57/680.72 c 681s| 7200 | 2189 | 4275k| 593.5 | 24M| 61 | 190 |1448 |1731 |1448 |1693 | 33k| 290 |1099 |-4.457786e+01 |-2.700000e+01 | 65.10%
681.17/681.33 c 681s| 7300 | 2203 | 4279k| 585.9 | 24M| 61 | 178 |1448 |1731 |1448 |1689 | 33k| 290 |1099 |-4.457786e+01 |-2.700000e+01 | 65.10%
684.77/684.96 c 685s| 7400 | 2223 | 4302k| 581.1 | 24M| 61 | 217 |1448 |1728 |1448 |1689 | 33k| 290 |1108 |-4.455714e+01 |-2.700000e+01 | 65.03%
689.27/689.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.27/689.48 c 689s| 7500 | 2261 | 4328k| 576.8 | 25M| 61 | 147 |1448 |1729 |1448 |1685 | 34k| 291 |1125 |-4.454565e+01 |-2.700000e+01 | 64.98%
692.97/693.12 c 693s| 7600 | 2289 | 4351k| 572.2 | 25M| 61 | - |1448 |1729 |1448 |1681 | 34k| 292 |1125 |-4.453003e+01 |-2.700000e+01 | 64.93%
696.77/696.96 c 697s| 7700 | 2319 | 4377k| 568.1 | 25M| 61 | 176 |1448 |1728 |1448 |1679 | 34k| 292 |1128 |-4.450177e+01 |-2.700000e+01 | 64.82%
697.37/697.58 c 698s| 7800 | 2343 | 4381k| 561.3 | 25M| 61 | 215 |1448 |1728 |1448 |1683 | 34k| 292 |1128 |-4.450177e+01 |-2.700000e+01 | 64.82%
699.47/699.69 c 700s| 7900 | 2375 | 4394k| 555.9 | 25M| 61 | 220 |1448 |1727 |1448 |1684 | 34k| 292 |1128 |-4.447705e+01 |-2.700000e+01 | 64.73%
699.97/700.18 c 700s| 8000 | 2389 | 4397k| 549.3 | 25M| 61 | - |1448 |1727 |1448 |1695 | 34k| 292 |1128 |-4.447705e+01 |-2.700000e+01 | 64.73%
704.27/704.42 c 704s| 8100 | 2431 | 4425k| 546.0 | 25M| 61 | 187 |1448 |1727 |1448 |1692 | 35k| 292 |1128 |-4.446905e+01 |-2.700000e+01 | 64.70%
708.07/708.28 c 708s| 8200 | 2473 | 4451k| 542.5 | 25M| 61 | 200 |1448 |1726 |1448 |1692 | 35k| 292 |1128 |-4.445878e+01 |-2.700000e+01 | 64.66%
713.77/713.94 c 714s| 8300 | 2523 | 4489k| 540.6 | 26M| 61 | - |1448 |1726 |1448 |1687 | 35k| 293 |1134 |-4.444330e+01 |-2.700000e+01 | 64.60%
716.27/716.46 c 716s| 8400 | 2533 | 4504k| 535.9 | 26M| 61 | - |1448 |1724 |1448 |1691 | 35k| 293 |1144 |-4.442042e+01 |-2.700000e+01 | 64.52%
720.47/720.60 c 721s| 8500 | 2571 | 4528k| 532.4 | 26M| 61 | - |1448 |1725 |1448 |1682 | 36k| 294 |1164 |-4.440438e+01 |-2.700000e+01 | 64.46%
721.17/721.39 c 721s| 8600 | 2603 | 4533k| 526.9 | 26M| 61 | 181 |1448 |1725 |1448 |1698 | 36k| 294 |1164 |-4.440438e+01 |-2.700000e+01 | 64.46%
724.06/724.20 c 724s| 8700 | 2621 | 4550k| 522.7 | 26M| 61 | 201 |1448 |1723 |1448 |1698 | 36k| 294 |1170 |-4.438153e+01 |-2.700000e+01 | 64.38%
726.57/726.72 c 727s| 8800 | 2647 | 4567k| 518.7 | 26M| 61 | - |1448 |1722 |1448 |1699 | 36k| 294 |1171 |-4.436202e+01 |-2.700000e+01 | 64.30%
733.47/733.63 c 734s| 8900 | 2681 | 4610k| 517.8 | 26M| 61 | 179 |1448 |1724 |1448 |1691 | 37k| 296 |1171 |-4.434399e+01 |-2.700000e+01 | 64.24%
739.17/739.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.17/739.37 c 739s| 9000 | 2709 | 4649k| 516.3 | 26M| 61 | - |1448 |1722 |1448 |1683 | 37k| 296 |1172 |-4.433737e+01 |-2.700000e+01 | 64.21%
740.17/740.39 c 740s| 9100 | 2729 | 4656k| 511.4 | 26M| 61 | 157 |1448 |1722 |1448 |1697 | 37k| 296 |1172 |-4.433737e+01 |-2.700000e+01 | 64.21%
744.47/744.63 c 745s| 9200 | 2763 | 4684k| 508.9 | 26M| 61 | 197 |1448 |1724 |1448 |1681 | 37k| 299 |1172 |-4.433234e+01 |-2.700000e+01 | 64.19%
747.67/747.83 c 748s| 9300 | 2789 | 4703k| 505.5 | 27M| 61 | 152 |1448 |1724 |1448 |1688 | 37k| 299 |1184 |-4.433202e+01 |-2.700000e+01 | 64.19%
748.36/748.51 c 749s| 9400 | 2801 | 4708k| 500.6 | 27M| 61 | 166 |1448 |1724 |1448 |1683 | 38k| 299 |1184 |-4.433202e+01 |-2.700000e+01 | 64.19%
750.97/751.16 c 751s| 9500 | 2813 | 4722k| 496.8 | 27M| 61 | - |1448 |1724 |1448 |1702 | 38k| 300 |1196 |-4.433202e+01 |-2.700000e+01 | 64.19%
754.26/754.47 c 754s| 9600 | 2845 | 4743k| 493.9 | 27M| 61 | - |1448 |1726 |1448 |1687 | 38k| 302 |1198 |-4.432127e+01 |-2.700000e+01 | 64.15%
759.46/759.68 c 760s| 9700 | 2871 | 4778k| 492.3 | 27M| 61 | 172 |1448 |1724 |1448 |1680 | 38k| 302 |1198 |-4.431101e+01 |-2.700000e+01 | 64.11%
761.76/761.96 c 762s| 9800 | 2897 | 4793k| 488.8 | 27M| 61 | 161 |1448 |1724 |1448 |1689 | 38k| 302 |1198 |-4.430086e+01 |-2.700000e+01 | 64.08%
762.36/762.55 c 763s| 9900 | 2911 | 4796k| 484.2 | 27M| 61 | - |1448 |1724 |1448 |1689 | 39k| 303 |1198 |-4.430086e+01 |-2.700000e+01 | 64.08%
766.06/766.25 c 766s| 10000 | 2935 | 4820k| 481.8 | 27M| 61 | 228 |1448 |1725 |1448 |1677 | 39k| 304 |1198 |-4.428938e+01 |-2.700000e+01 | 64.03%
767.05/767.21 c 767s| 10100 | 2949 | 4827k| 477.7 | 27M| 61 | 180 |1448 |1724 |1448 |1706 | 39k| 305 |1198 |-4.428938e+01 |-2.700000e+01 | 64.03%
769.46/769.65 c 770s| 10200 | 2969 | 4845k| 474.8 | 27M| 61 | 182 |1448 |1727 |1448 |1703 | 39k| 308 |1199 |-4.428151e+01 |-2.700000e+01 | 64.01%
773.36/773.55 c 774s| 10300 | 2983 | 4872k| 472.8 | 28M| 61 | 198 |1448 |1726 |1448 |1683 | 39k| 308 |1199 |-4.427475e+01 |-2.700000e+01 | 63.98%
774.06/774.26 c 774s| 10400 | 2991 | 4877k| 468.7 | 28M| 61 | - |1448 |1726 |1448 |1694 | 39k| 308 |1204 |-4.427475e+01 |-2.700000e+01 | 63.98%
778.06/778.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.06/778.27 c 778s| 10500 | 3013 | 4899k| 466.3 | 28M| 61 | - |1448 |1727 |1448 |1689 | 40k| 309 |1222 |-4.425947e+01 |-2.700000e+01 | 63.92%
782.46/782.65 c 783s| 10600 | 3037 | 4923k| 464.2 | 28M| 61 | 201 |1448 |1725 |1448 |1677 | 40k| 309 |1240 |-4.425701e+01 |-2.700000e+01 | 63.91%
787.95/788.12 c 788s| 10700 | 3069 | 4959k| 463.2 | 28M| 61 | 144 |1448 |1725 |1448 |1679 | 40k| 310 |1245 |-4.424517e+01 |-2.700000e+01 | 63.87%
793.25/793.44 c 793s| 10800 | 3091 | 4996k| 462.4 | 28M| 61 | 191 |1448 |1724 |1448 |1688 | 40k| 311 |1246 |-4.424189e+01 |-2.700000e+01 | 63.86%
793.96/794.13 c 794s| 10900 | 3113 | 5001k| 458.6 | 28M| 61 | 144 |1448 |1724 |1448 |1687 | 41k| 312 |1246 |-4.424189e+01 |-2.700000e+01 | 63.86%
795.65/795.87 c 796s| 11000 | 3137 | 5012k| 455.4 | 28M| 61 | 176 |1448 |1725 |1448 |1688 | 41k| 314 |1246 |-4.423929e+01 |-2.700000e+01 | 63.85%
799.56/799.78 c 800s| 11100 | 3153 | 5036k| 453.5 | 28M| 64 | - |1448 |1723 |1448 |1690 | 41k| 314 |1246 |-4.420544e+01 |-2.700000e+01 | 63.72%
803.05/803.29 c 803s| 11200 | 3175 | 5058k| 451.4 | 28M| 64 | 147 |1448 |1723 |1448 |1697 | 41k| 314 |1246 |-4.420276e+01 |-2.700000e+01 | 63.71%
810.85/811.01 c 811s| 11300 | 3213 | 5107k| 451.7 | 28M| 64 | 224 |1448 |1723 |1448 |1680 | 42k| 316 |1247 |-4.418390e+01 |-2.700000e+01 | 63.64%
815.35/815.56 c 816s| 11400 | 3239 | 5133k| 450.1 | 29M| 64 | - |1448 |1721 |1448 |1694 | 42k| 316 |1262 |-4.417896e+01 |-2.700000e+01 | 63.63%
816.75/816.90 c 817s| 11500 | 3263 | 5143k| 447.0 | 29M| 64 | 246 |1448 |1718 |1448 |1685 | 42k| 316 |1262 |-4.417896e+01 |-2.700000e+01 | 63.63%
819.66/819.87 c 820s| 11600 | 3289 | 5160k| 444.6 | 29M| 64 | 198 |1448 |1717 |1448 |1698 | 42k| 317 |1272 |-4.417593e+01 |-2.700000e+01 | 63.61%
820.36/820.52 c 821s| 11700 | 3301 | 5164k| 441.1 | 29M| 64 | - |1448 |1717 |1448 |1690 | 42k| 317 |1272 |-4.417593e+01 |-2.700000e+01 | 63.61%
822.35/822.58 c 823s| 11800 | 3315 | 5177k| 438.5 | 29M| 64 | 152 |1448 |1717 |1448 |1686 | 42k| 317 |1276 |-4.417364e+01 |-2.700000e+01 | 63.61%
826.15/826.34 c 826s| 11900 | 3335 | 5201k| 436.8 | 29M| 64 | 666 |1448 |1717 |1448 |1703 | 42k| 317 |1276 |-4.417294e+01 |-2.700000e+01 | 63.60%
843.65/843.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.65/843.89 c 844s| 12000 | 3417 | 5319k| 443.0 | 29M| 64 | 205 |1448 |1719 |1448 |1690 | 43k| 321 |1276 |-4.415278e+01 |-2.700000e+01 | 63.53%
846.14/846.35 c 846s| 12100 | 3432 | 5332k| 440.5 | 29M| 64 | 204 |1448 |1720 |1448 |1686 | 43k| 322 |1288 |-4.414994e+01 |-2.700000e+01 | 63.52%
857.04/857.25 c 857s| 12200 | 3486 | 5400k| 442.4 | 30M| 64 | 186 |1448 |1719 |1448 |1684 | 44k| 322 |1306 |-4.414285e+01 |-2.700000e+01 | 63.49%
861.85/862.08 c 862s| 12300 | 3506 | 5431k| 441.3 | 30M| 64 | 227 |1448 |1719 |1448 |1676 | 44k| 323 |1307 |-4.412405e+01 |-2.700000e+01 | 63.42%
864.45/864.61 c 865s| 12400 | 3522 | 5447k| 439.1 | 30M| 64 | 196 |1448 |1720 |1448 |1687 | 44k| 324 |1307 |-4.412325e+01 |-2.700000e+01 | 63.42%
866.75/866.99 c 867s| 12500 | 3536 | 5462k| 436.8 | 30M| 64 | 193 |1448 |1721 |1448 |1684 | 44k| 325 |1307 |-4.412122e+01 |-2.700000e+01 | 63.41%
868.75/868.98 c 869s| 12600 | 3552 | 5475k| 434.3 | 30M| 64 | 175 |1448 |1721 |1448 |1687 | 44k| 325 |1307 |-4.411176e+01 |-2.700000e+01 | 63.38%
876.15/876.39 c 876s| 12700 | 3594 | 5526k| 435.0 | 30M| 64 | 483 |1448 |1721 |1448 |1700 | 45k| 325 |1307 |-4.410053e+01 |-2.700000e+01 | 63.34%
893.64/893.82 c 894s| 12800 | 3670 | 5635k| 440.1 | 30M| 64 | - |1448 |1721 |1448 |1686 | 46k| 327 |1335 |-4.408821e+01 |-2.700000e+01 | 63.29%
905.24/905.42 c 905s| 12900 | 3730 | 5711k| 442.6 | 31M| 64 | 389 |1448 |1722 |1448 |1657 | 46k| 329 |1335 |-4.408264e+01 |-2.700000e+01 | 63.27%
912.33/912.51 c 913s| 13000 | 3770 | 5758k| 442.7 | 31M| 64 | 393 |1448 |1723 |1448 |1621 | 47k| 330 |1335 |-4.408125e+01 |-2.700000e+01 | 63.26%
927.43/927.61 c 928s| 13100 | 3840 | 5855k| 446.8 | 31M| 64 | - |1448 |1727 |1448 |1688 | 47k| 334 |1364 |-4.407066e+01 |-2.700000e+01 | 63.22%
930.53/930.73 c 931s| 13200 | 3848 | 5876k| 445.0 | 31M| 64 | - |1448 |1726 |1448 |1689 | 48k| 334 |1364 |-4.406146e+01 |-2.700000e+01 | 63.19%
940.34/940.59 c 941s| 13300 | 3886 | 5942k| 446.6 | 31M| 64 | 360 |1448 |1727 |1448 |1645 | 48k| 335 |1366 |-4.405231e+01 |-2.700000e+01 | 63.16%
952.43/952.67 c 953s| 13400 | 3942 | 6019k| 449.0 | 31M| 64 | 416 |1448 |1727 |1448 |1708 | 49k| 335 |1392 |-4.403615e+01 |-2.700000e+01 | 63.10%
959.23/959.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.23/959.45 c 959s| 13500 | 3972 | 6065k| 449.1 | 31M| 64 | 426 |1448 |1727 |1448 |1699 | 49k| 336 |1392 |-4.402830e+01 |-2.700000e+01 | 63.07%
965.83/966.05 c 966s| 13600 | 4008 | 6106k| 448.8 | 31M| 64 | - |1448 |1727 |1448 |1698 | 50k| 337 |1404 |-4.402830e+01 |-2.700000e+01 | 63.07%
977.13/977.39 c 977s| 13700 | 4062 | 6184k| 451.2 | 31M| 64 | 388 |1448 |1728 |1448 |1579 | 51k| 338 |1404 |-4.402627e+01 |-2.700000e+01 | 63.06%
988.32/988.57 c 989s| 13800 | 4124 | 6257k| 453.2 | 32M| 64 | 170 |1448 |1729 |1448 |1677 | 51k| 340 |1417 |-4.402507e+01 |-2.700000e+01 | 63.06%
990.22/990.49 c 990s| 13900 | 4146 | 6270k| 450.9 | 32M| 64 | 158 |1448 |1729 |1448 |1687 | 51k| 340 |1417 |-4.402080e+01 |-2.700000e+01 | 63.04%
1004.92/1005.16 c 1005s| 14000 | 4206 | 6366k| 454.5 | 32M| 64 | 527 |1448 |1730 |1448 |1691 | 52k| 342 |1437 |-4.400492e+01 |-2.700000e+01 | 62.98%
1018.43/1018.67 c 1019s| 14100 | 4282 | 6456k| 457.7 | 32M| 64 | 161 |1448 |1732 |1448 |1694 | 53k| 344 |1437 |-4.397739e+01 |-2.700000e+01 | 62.88%
1036.52/1036.72 c 1037s| 14200 | 4368 | 6569k| 462.5 | 32M| 64 | 420 |1448 |1732 |1448 |1685 | 54k| 346 |1469 |-4.397301e+01 |-2.700000e+01 | 62.86%
1048.71/1048.90 c 1049s| 14300 | 4426 | 6650k| 464.9 | 32M| 64 | 182 |1448 |1733 |1448 |1695 | 55k| 347 |1472 |-4.397290e+01 |-2.700000e+01 | 62.86%
1053.91/1054.17 c 1054s| 14400 | 4450 | 6685k| 464.0 | 33M| 64 | - |1448 |1733 |1448 |1691 | 55k| 347 |1472 |-4.397046e+01 |-2.700000e+01 | 62.85%
1054.42/1054.60 c 1055s| 14500 | 4456 | 6687k| 461.0 | 33M| 64 | - |1448 |1733 |1448 |1684 | 55k| 347 |1472 |-4.397046e+01 |-2.700000e+01 | 62.85%
1064.21/1064.44 c 1064s| 14600 | 4516 | 6751k| 462.2 | 33M| 64 | - |1448 |1735 |1448 |1683 | 56k| 349 |1472 |-4.396303e+01 |-2.700000e+01 | 62.83%
1081.41/1081.61 c 1082s| 14700 | 4600 | 6860k| 466.5 | 33M| 64 | 466 |1448 |1736 |1448 |1719 | 56k| 352 |1504 |-4.395622e+01 |-2.700000e+01 | 62.80%
1088.01/1088.25 c 1088s| 14800 | 4634 | 6903k| 466.2 | 33M| 64 | 193 |1448 |1734 |1448 |1688 | 57k| 352 |1505 |-4.393823e+01 |-2.700000e+01 | 62.73%
1099.72/1099.93 c 1100s| 14900 | 4708 | 6979k| 468.2 | 33M| 64 | 236 |1448 |1733 |1448 |1680 | 57k| 352 |1505 |-4.393171e+01 |-2.700000e+01 | 62.71%
1103.20/1103.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.20/1103.47 c 1103s| 15000 | 4728 | 7002k| 466.6 | 33M| 64 | - |1448 |1733 |1448 |1691 | 57k| 352 |1505 |-4.392946e+01 |-2.700000e+01 | 62.70%
1121.01/1121.20 c 1121s| 15100 | 4816 | 7109k| 470.6 | 34M| 64 | 385 |1448 |1732 |1448 |1673 | 58k| 352 |1535 |-4.392582e+01 |-2.700000e+01 | 62.69%
1138.31/1138.57 c 1139s| 15200 | 4916 | 7225k| 475.2 | 34M| 64 | 352 |1448 |1733 |1448 |1731 | 59k| 353 |1536 |-4.391198e+01 |-2.700000e+01 | 62.64%
1147.11/1147.32 c 1147s| 15300 | 4966 | 7284k| 475.9 | 34M| 64 | - |1448 |1733 |1448 |1697 | 60k| 354 |1547 |-4.389588e+01 |-2.700000e+01 | 62.58%
1155.90/1156.18 c 1156s| 15400 | 5018 | 7343k| 476.7 | 34M| 64 | - |1448 |1732 |1448 |1681 | 60k| 354 |1558 |-4.388725e+01 |-2.700000e+01 | 62.55%
1158.01/1158.26 c 1158s| 15500 | 5036 | 7357k| 474.5 | 34M| 64 | 222 |1448 |1733 |1448 |1678 | 60k| 355 |1559 |-4.388080e+01 |-2.700000e+01 | 62.52%
1158.60/1158.81 c 1159s| 15600 | 5044 | 7360k| 471.6 | 34M| 64 | 638 |1448 |1732 |1448 |1649 | 60k| 356 |1559 |-4.388080e+01 |-2.700000e+01 | 62.52%
1179.79/1180.05 c 1180s| 15700 | 5142 | 7498k| 477.4 | 35M| 64 | - |1448 |1732 |1448 |1681 | 61k| 357 |1581 |-4.387416e+01 |-2.700000e+01 | 62.50%
1183.89/1184.13 c 1184s| 15800 | 5170 | 7526k| 476.2 | 35M| 64 | 508 |1448 |1730 |1448 |1673 | 62k| 357 |1581 |-4.384980e+01 |-2.700000e+01 | 62.41%
1191.19/1191.44 c 1191s| 15900 | 5218 | 7573k| 476.2 | 35M| 64 | - |1448 |1729 |1448 |1684 | 62k| 357 |1582 |-4.384761e+01 |-2.700000e+01 | 62.40%
1198.80/1199.09 c 1199s| 16000 | 5258 | 7624k| 476.4 | 35M| 64 | - |1448 |1730 |1448 |1680 | 62k| 358 |1584 |-4.382133e+01 |-2.700000e+01 | 62.30%
1202.40/1202.66 c 1203s| 16100 | 5280 | 7648k| 474.9 | 35M| 64 | - |1448 |1730 |1448 |1677 | 63k| 358 |1584 |-4.379868e+01 |-2.700000e+01 | 62.22%
1207.79/1208.06 c 1208s| 16200 | 5314 | 7686k| 474.3 | 35M| 64 | 177 |1448 |1731 |1448 |1667 | 63k| 359 |1584 |-4.378519e+01 |-2.700000e+01 | 62.17%
1211.90/1212.10 c 1212s| 16300 | 5352 | 7716k| 473.2 | 35M| 64 | - |1448 |1732 |1448 |1677 | 63k| 360 |1584 |-4.376898e+01 |-2.700000e+01 | 62.11%
1217.39/1217.68 c 1218s| 16400 | 5388 | 7751k| 472.5 | 36M| 64 | 190 |1448 |1732 |1448 |1686 | 64k| 360 |1596 |-4.373810e+01 |-2.700000e+01 | 61.99%
1223.19/1223.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.19/1223.48 c 1223s| 16500 | 5416 | 7789k| 471.9 | 36M| 64 | 547 |1448 |1733 |1448 |1539 | 64k| 361 |1601 |-4.373376e+01 |-2.700000e+01 | 61.98%
1234.38/1234.63 c 1235s| 16600 | 5476 | 7866k| 473.7 | 36M| 64 | 164 |1448 |1734 |1448 |1689 | 65k| 362 |1601 |-4.373376e+01 |-2.700000e+01 | 61.98%
1242.28/1242.52 c 1243s| 16700 | 5518 | 7920k| 474.1 | 36M| 64 | - |1448 |1735 |1448 |1695 | 65k| 363 |1602 |-4.373376e+01 |-2.700000e+01 | 61.98%
1251.19/1251.49 c 1251s| 16800 | 5562 | 7976k| 474.6 | 36M| 64 | 191 |1448 |1737 |1448 |1688 | 66k| 365 |1618 |-4.373001e+01 |-2.700000e+01 | 61.96%
1266.18/1266.45 c 1266s| 16900 | 5638 | 8075k| 477.7 | 36M| 64 | 399 |1448 |1738 |1448 |1617 | 67k| 367 |1622 |-4.371744e+01 |-2.700000e+01 | 61.92%
1279.28/1279.53 c 1280s| 17000 | 5714 | 8161k| 479.9 | 37M| 64 | 137 |1448 |1740 |1448 |1684 | 68k| 369 |1622 |-4.370013e+01 |-2.700000e+01 | 61.85%
1289.58/1289.81 c 1290s| 17100 | 5758 | 8229k| 481.1 | 37M| 64 | 426 |1448 |1739 |1448 |1735 | 68k| 370 |1636 |-4.369922e+01 |-2.700000e+01 | 61.85%
1306.88/1307.15 c 1307s| 17200 | 5858 | 8342k| 484.9 | 37M| 64 | 307 |1448 |1740 |1448 |1681 | 69k| 371 |1638 |-4.369784e+01 |-2.700000e+01 | 61.84%
1325.07/1325.39 c 1325s| 17300 | 5958 | 8459k| 488.8 | 37M| 64 | 637 |1448 |1737 |1448 |1689 | 70k| 372 |1659 |-4.367766e+01 |-2.700000e+01 | 61.77%
1341.27/1341.59 c 1342s| 17400 | 6058 | 8568k| 492.3 | 38M| 64 | 535 |1448 |1737 |1448 |1616 | 71k| 373 |1663 |-4.365225e+01 |-2.700000e+01 | 61.67%
1353.66/1353.90 c 1354s| 17500 | 6140 | 8649k| 494.1 | 38M| 64 | - |1448 |1739 |1448 |1690 | 72k| 375 |1663 |-4.365225e+01 |-2.700000e+01 | 61.67%
1368.66/1368.97 c 1369s| 17600 | 6226 | 8746k| 496.8 | 38M| 64 | - |1448 |1742 |1448 |1692 | 73k| 378 |1679 |-4.364647e+01 |-2.700000e+01 | 61.65%
1380.06/1380.37 c 1380s| 17700 | 6286 | 8823k| 498.3 | 38M| 64 | 440 |1448 |1743 |1448 |1611 | 73k| 380 |1679 |-4.362925e+01 |-2.700000e+01 | 61.59%
1398.87/1399.11 c 1399s| 17800 | 6380 | 8944k| 502.4 | 39M| 64 | - |1448 |1745 |1448 |1691 | 75k| 382 |1699 |-4.361486e+01 |-2.700000e+01 | 61.54%
1413.56/1413.89 c 1414s| 17900 | 6468 | 9041k| 505.0 | 39M| 64 | 504 |1448 |1745 |1448 |1652 | 75k| 384 |1699 |-4.360851e+01 |-2.700000e+01 | 61.51%
1430.86/1431.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.86/1431.18 c 1431s| 18000 | 6568 | 9154k| 508.4 | 39M| 64 | 399 |1448 |1744 |1448 |1621 | 77k| 385 |1711 |-4.360851e+01 |-2.700000e+01 | 61.51%
1446.45/1446.79 c 1447s| 18100 | 6666 | 9255k| 511.2 | 39M| 64 | 301 |1448 |1745 |1448 |1654 | 78k| 389 |1715 |-4.360552e+01 |-2.700000e+01 | 61.50%
1453.65/1453.95 c 1454s| 18200 | 6748 | 9304k| 511.1 | 40M| 64 | 235 |1448 |1747 |1448 |1670 | 78k| 392 |1715 |-4.359750e+01 |-2.700000e+01 | 61.47%
1457.16/1457.49 c 1457s| 18300 | 6790 | 9329k| 509.6 | 40M| 64 | - |1448 |1751 |1448 |1673 | 79k| 397 |1715 |-4.357880e+01 |-2.700000e+01 | 61.40%
1457.95/1458.29 c 1458s| 18400 | 6812 | 9334k| 507.1 | 40M| 64 | - |1448 |1751 |1448 |1671 | 79k| 397 |1715 |-4.357880e+01 |-2.700000e+01 | 61.40%
1459.15/1459.49 c 1459s| 18500 | 6844 | 9342k| 504.9 | 40M| 64 | - |1448 |1753 | 0 | 0 | 79k| 399 |1715 |-4.357880e+01 |-2.700000e+01 | 61.40%
1459.46/1459.72 c 1460s| 18600 | 6856 | 9343k| 502.2 | 40M| 64 | 70 |1448 |1754 |1448 |1674 | 79k| 400 |1715 |-4.357880e+01 |-2.700000e+01 | 61.40%
1463.35/1463.63 c 1464s| 18700 | 6874 | 9367k| 500.8 | 40M| 64 | - |1448 |1753 |1448 |1673 | 79k| 400 |1729 |-4.356878e+01 |-2.700000e+01 | 61.37%
1464.75/1465.02 c 1465s| 18800 | 6876 | 9377k| 498.6 | 40M| 64 | 106 |1448 |1754 |1448 |1672 | 79k| 401 |1729 |-4.355632e+01 |-2.700000e+01 | 61.32%
1471.35/1471.69 c 1472s| 18900 | 6912 | 9421k| 498.4 | 40M| 65 | 444 |1448 |1753 |1448 |1763 | 80k| 401 |1735 |-4.355174e+01 |-2.700000e+01 | 61.30%
1473.25/1473.58 c 1474s| 19000 | 6932 | 9435k| 496.4 | 41M| 65 | 104 |1448 |1755 |1448 |1671 | 80k| 403 |1735 |-4.354211e+01 |-2.700000e+01 | 61.27%
1479.16/1479.43 c 1479s| 19100 | 6964 | 9473k| 495.8 | 41M| 65 | 181 |1448 |1755 |1448 |1675 | 80k| 403 |1738 |-4.353156e+01 |-2.700000e+01 | 61.23%
1480.55/1480.81 c 1481s| 19200 | 6998 | 9481k| 493.7 | 41M| 65 | - |1448 |1755 |1448 |1674 | 80k| 403 |1738 |-4.353156e+01 |-2.700000e+01 | 61.23%
1483.15/1483.44 c 1483s| 19300 | 7014 | 9499k| 492.1 | 41M| 65 | 127 |1448 |1756 |1448 |1680 | 80k| 404 |1738 |-4.351092e+01 |-2.700000e+01 | 61.15%
1486.45/1486.77 c 1487s| 19400 | 7035 | 9521k| 490.7 | 41M| 65 | 118 |1448 |1761 |1448 |1674 | 81k| 409 |1738 |-4.350480e+01 |-2.700000e+01 | 61.13%
1489.55/1489.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.55/1489.84 c 1490s| 19500 | 7053 | 9541k| 489.2 | 41M| 66 | - |1448 |1760 |1448 |1680 | 81k| 409 |1738 |-4.350114e+01 |-2.700000e+01 | 61.12%
1491.64/1491.90 c 1492s| 19600 | 7075 | 9556k| 487.4 | 41M| 66 | - |1448 |1761 |1448 |1673 | 81k| 410 |1738 |-4.349284e+01 |-2.700000e+01 | 61.08%
1494.65/1494.97 c 1495s| 19700 | 7097 | 9576k| 486.0 | 41M| 66 | 159 |1448 |1761 |1448 |1674 | 81k| 410 |1738 |-4.347679e+01 |-2.700000e+01 | 61.03%
1505.15/1505.46 c 1505s| 19800 | 7147 | 9643k| 486.9 | 41M| 66 | - |1448 |1762 |1448 |1675 | 82k| 412 |1750 |-4.345321e+01 |-2.700000e+01 | 60.94%
1508.24/1508.52 c 1509s| 19900 | 7169 | 9664k| 485.5 | 41M| 72 | - |1448 |1763 |1448 |1676 | 82k| 413 |1750 |-4.344082e+01 |-2.700000e+01 | 60.89%
1511.15/1511.40 c 1511s| 20000 | 7187 | 9683k| 484.0 | 41M| 72 | - |1448 |1764 |1448 |1676 | 82k| 414 |1750 |-4.342631e+01 |-2.700000e+01 | 60.84%
1515.05/1515.39 c 1515s| 20100 | 7205 | 9711k| 483.0 | 42M| 72 | 152 |1448 |1763 |1448 |1677 | 83k| 414 |1750 |-4.340837e+01 |-2.700000e+01 | 60.77%
1519.54/1519.84 c 1520s| 20200 | 7235 | 9742k| 482.1 | 42M| 72 | - |1448 |1763 |1448 |1675 | 83k| 414 |1750 |-4.340409e+01 |-2.700000e+01 | 60.76%
1520.95/1521.28 c 1521s| 20300 | 7251 | 9752k| 480.3 | 42M| 72 | 138 |1448 |1764 |1448 |1677 | 83k| 415 |1750 |-4.339902e+01 |-2.700000e+01 | 60.74%
1525.04/1525.34 c 1525s| 20400 | 7281 | 9778k| 479.2 | 42M| 72 | 153 |1448 |1763 |1448 |1676 | 83k| 415 |1750 |-4.339203e+01 |-2.700000e+01 | 60.71%
1535.13/1535.40 c 1535s| 20500 | 7327 | 9843k| 480.1 | 42M| 72 | - |1448 |1761 |1448 |1680 | 84k| 415 |1762 |-4.336297e+01 |-2.700000e+01 | 60.60%
1542.94/1543.26 c 1543s| 20600 | 7363 | 9894k| 480.2 | 42M| 72 | - |1448 |1759 |1448 |1673 | 84k| 415 |1768 |-4.335387e+01 |-2.700000e+01 | 60.57%
1547.24/1547.58 c 1548s| 20700 | 7389 | 9922k| 479.2 | 42M| 72 | 146 |1448 |1761 |1448 |1677 | 85k| 417 |1769 |-4.333952e+01 |-2.700000e+01 | 60.52%
1553.83/1554.19 c 1554s| 20800 | 7421 | 9969k| 479.2 | 42M| 72 | 109 |1448 |1763 |1448 |1678 | 85k| 419 |1770 |-4.333320e+01 |-2.700000e+01 | 60.49%
1566.43/1566.77 c 1567s| 20900 | 7499 | 10051k| 480.8 | 43M| 72 | 141 |1448 |1763 |1448 |1676 | 86k| 419 |1779 |-4.333320e+01 |-2.700000e+01 | 60.49%
1578.54/1578.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.54/1578.80 c 1579s| 21000 | 7555 | 10128k| 482.2 | 43M| 72 | 338 |1448 |1766 |1448 |1689 | 87k| 423 |1790 |-4.333043e+01 |-2.700000e+01 | 60.48%
1594.74/1595.02 c 1595s| 21100 | 7651 | 10235k| 484.9 | 43M| 72 | 331 |1448 |1764 |1448 |1739 | 88k| 423 |1791 |-4.332735e+01 |-2.700000e+01 | 60.47%
1612.33/1612.67 c 1613s| 21200 | 7751 | 10348k| 488.0 | 43M| 72 | 417 |1448 |1765 |1448 |1697 | 89k| 425 |1806 |-4.331650e+01 |-2.700000e+01 | 60.43%
1625.62/1625.92 c 1626s| 21300 | 7839 | 10434k| 489.8 | 43M| 72 | 421 |1448 |1766 |1448 |1657 | 89k| 427 |1808 |-4.331440e+01 |-2.700000e+01 | 60.42%
1639.63/1639.99 c 1640s| 21400 | 7929 | 10527k| 491.8 | 44M| 72 | 548 |1448 |1768 |1448 |1642 | 90k| 430 |1808 |-4.330249e+01 |-2.700000e+01 | 60.38%
1655.23/1655.58 c 1656s| 21500 | 8027 | 10627k| 494.2 | 44M| 72 | 393 |1448 |1769 |1448 |1668 | 91k| 431 |1819 |-4.330149e+01 |-2.700000e+01 | 60.38%
1669.52/1669.82 c 1670s| 21600 | 8125 | 10722k| 496.3 | 44M| 72 | 300 |1448 |1770 |1448 |1654 | 92k| 432 |1819 |-4.329481e+01 |-2.700000e+01 | 60.35%
1671.32/1671.64 c 1672s| 21700 | 8143 | 10735k| 494.6 | 44M| 72 | 142 |1448 |1770 |1448 |1676 | 92k| 432 |1819 |-4.329207e+01 |-2.700000e+01 | 60.34%
1684.42/1684.72 c 1685s| 21800 | 8227 | 10818k| 496.1 | 45M| 72 | 458 |1448 |1770 |1448 |1707 | 93k| 433 |1832 |-4.328129e+01 |-2.700000e+01 | 60.30%
1699.41/1699.71 c 1700s| 21900 | 8327 | 10918k| 498.4 | 45M| 72 | 395 |1448 |1770 |1448 |1625 | 94k| 434 |1835 |-4.327471e+01 |-2.700000e+01 | 60.28%
1714.42/1714.71 c 1715s| 22000 | 8423 | 11017k| 500.7 | 45M| 72 | 304 |1448 |1771 |1448 |1686 | 95k| 435 |1835 |-4.326731e+01 |-2.700000e+01 | 60.25%
1725.91/1726.27 c 1726s| 22100 | 8507 | 11091k| 501.7 | 45M| 72 | 605 |1448 |1774 |1448 |1558 | 96k| 440 |1850 |-4.325382e+01 |-2.700000e+01 | 60.20%
1736.21/1736.53 c 1737s| 22200 | 8573 | 11159k| 502.5 | 46M| 72 | 145 |1448 |1772 |1448 |1680 | 96k| 440 |1851 |-4.324620e+01 |-2.700000e+01 | 60.17%
1752.60/1752.97 c 1753s| 22300 | 8669 | 11270k| 505.3 | 46M| 72 | 577 |1448 |1769 |1448 |1649 | 97k| 440 |1851 |-4.323978e+01 |-2.700000e+01 | 60.15%
1769.71/1770.00 c 1770s| 22400 | 8769 | 11380k| 507.9 | 46M| 72 | 359 |1448 |1770 |1448 |1690 | 98k| 441 |1862 |-4.323084e+01 |-2.700000e+01 | 60.11%
1783.40/1783.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.40/1783.78 c 1784s| 22500 | 8867 | 11472k| 509.8 | 47M| 72 | 522 |1448 |1769 |1448 |1675 | 99k| 441 |1862 |-4.322645e+01 |-2.700000e+01 | 60.10%
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 : 22587
1796.70/1797.00 c Primal Bound : -2.70000000000000e+01 (12 solutions)
1796.70/1797.00 c Dual Bound : -4.32163050221017e+01
1796.70/1797.00 c Gap : 60.06 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v x162 -x134 -x175 -x180 x186 -x172 -x132 x166 -x142 x153 -x118 -x129 -x113 -x140 -x161 -x133 x200 -x152 -x195 -x119 -x189 -x177
1796.70/1797.00 v -x109 -x188 -x144 -x165 -x107 -x135 x196 -x106 -x198 -x176 -x146 -x139 -x182 -x197 -x105 -x158 x147 -x145 -x126 -x121 -x181 -x192
1796.70/1797.00 v x114 -x171 x125 -x199 -x138 -x104 -x151 x149 x115 -x108 -x185 x120 -x174 x143 -x157 -x103 -x190 -x155 -x154 -x148 x170 -x159
1796.70/1797.00 v -x123 x124 x183 x130 -x168 x102 -x111 -x110 x169 -x112 -x137 x173 -x141 x127 -x164 x191 -x128 -x101 -x179 -x167 -x160 -x156
1796.70/1797.00 v x131 -x117 -x163 x122 -x150 -x193 x136 -x194 x116 -x178 x187 -x184 -x100 -x99 x98 x97 -x96 x95 x94 x93 -x92 -x91 x90 x89
1796.70/1797.00 v x88 -x87 -x86 x85 x84 -x83 x82 x81 -x80 -x79 x78 x77 x76 -x75 x74 -x73 -x72 x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 -x62 -x61
1796.70/1797.00 v -x60 -x59 -x58 x57 -x56 -x55 x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35
1796.70/1797.00 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10
1796.70/1797.00 v -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.34 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.06 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3691408-1338022317.opb
1796.70/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 301 initial, 301 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-3691408-1338022317.opb
1796.70/1797.00 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 1549 initial, 1774 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.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c and : 0.32 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.01 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 15800 0 56 0 5 84 0 0 31540
1796.70/1797.00 c setppc : 300 300 6 297535 0 1 51 1060 110 40579 0 0 0
1796.70/1797.00 c and : 1248 1248 28917 297424 0 1 50 1129 228 561392 101915 0 0
1796.70/1797.00 c linear : 1 1 6 297192 0 0 11 2 1 0 0 0 0
1796.70/1797.00 c logicor : 0+ 225 6 22220 0 0 0 4 9 11193 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 15 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 : 80.50 0.00 0.00 0.00 80.50 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.02 0.00 0.00 1.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c and : 5.92 0.00 2.66 3.25 0.00 0.00 0.00 0.00
1796.70/1797.00 c linear : 0.35 0.00 0.01 0.35 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.09 0.00 0.00 0.09 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 : 313236 6 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 34292 0 0 83073
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.27 0.00 0.00 0.27 0.00
1796.70/1797.00 c pseudoobj : 0.46 0.00 0.00 0.46 0.00
1796.70/1797.00 c vbounds : 0.25 0.00 0.00 0.25 0.00
1796.70/1797.00 c redcost : 1.30 0.00 0.00 1.30 0.00
1796.70/1797.00 c probing : 0.01 0.00 0.01 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 348 339 362 8.3 4 44.8 -
1796.70/1797.00 c infeasible LP : 0.01 48 48 420 40.4 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 : - - - 441 12.2 - - -
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 - - 8 - (maximal pool size: 1274)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 6 0 0 80 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 2.15 0.00 6 0 0 2 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.49 0.00 6 0 0 3000 0
1796.70/1797.00 c cmir : 0.09 0.00 6 0 0 7 0
1796.70/1797.00 c flowcover : 0.08 0.00 6 0 0 8 0
1796.70/1797.00 c clique : 0.10 0.00 6 0 0 37 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 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.53 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 : 80.45 0.00 15800 5 84 0 0 31540
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 1 0 0 0 0 2
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.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.02 0.00 7 0
1796.70/1797.00 c crossover : 0.48 0.00 7 1
1796.70/1797.00 c veclendiving : 57.08 0.00 134 0
1796.70/1797.00 c coefdiving : 108.97 0.00 191 1
1796.70/1797.00 c linesearchdiving : 135.63 0.00 352 3
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 : 1.17 0.00 0 0
1796.70/1797.00 c rounding : 1.49 0.00 2358 0
1796.70/1797.00 c shifting : 3.09 0.00 2833 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 indoneopt : 0.06 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 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 pscostdiving : 64.48 0.00 110 0
1796.70/1797.00 c fracdiving : 71.77 0.00 122 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 objpscostdiving : 13.95 0.00 38 0
1796.70/1797.00 c rootsoldiving : 13.04 0.00 22 0
1796.70/1797.00 c guideddiving : 69.90 0.00 114 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 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.07 0.00 1 1
1796.70/1797.00 c subnlp : 0.02 0.00 0 0
1796.70/1797.00 c trysol : 0.05 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 : 13.06 6810 5 1.00 0.38 13.03 6805
1796.70/1797.00 c dual LP : 1138.42 41104 8113394 227.39 7126.88 2.37 5423
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: 483.90 168268 3439537 20.44 7107.88
1796.70/1797.00 c strong branching : 80.00 1878 491415 261.67 6142.75
1796.70/1797.00 c (at root node) : - 11 11000 1000.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 : 22587
1796.70/1797.00 c nodes (total) : 22587
1796.70/1797.00 c nodes left : 8952
1796.70/1797.00 c max depth : 72
1796.70/1797.00 c max depth (total): 72
1796.70/1797.00 c backtracks : 3729 (16.5%)
1796.70/1797.00 c delayed cutoffs : 4
1796.70/1797.00 c repropagations : 2475 (5793 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 5.24
1796.70/1797.00 c switching time : 15.35
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 12 (9 improvements)
1796.70/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : -2.70000000000000e+01 (in run 1, after 313 nodes, 220.88 seconds, depth 253, found by <linesearchdiving>)
1796.70/1797.00 c Dual Bound : -4.32163050221017e+01
1796.70/1797.00 c Gap : 60.06 %
1796.70/1797.00 c Root Dual Bound : -5.00000000000000e+01
1796.70/1797.00 c Root Iterations : 3265
1796.70/1797.03 c Time complete: 1796.74.
OK -27
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-3691408-1338022317/watcher-3691408-1338022317 -o /tmp/evaluation-result-3691408-1338022317/solver-3691408-1338022317 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691408-1338022317.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.01 2.02 1.96 3/178 32606 /proc/meminfo: memFree=28484072/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=10228 CPUtime=0 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 1324 0 0 0 0 0 0 0 20 0 1 0 268357090 10473472 1278 33554432000 4194304 10173063 140735457578512 140734253472808 4658848 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 2557 1280 427 1460 0 1088 0 [startup+0.0662279 s] /proc/loadavg: 2.01 2.02 1.96 3/178 32606 /proc/meminfo: memFree=28484072/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=18928 CPUtime=0.06 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 3525 0 0 0 1 5 0 0 20 0 1 0 268357090 19382272 3222 33554432000 4194304 10173063 140735457578512 140734253472808 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 4732 3222 551 1460 0 3263 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18928 [startup+0.100251 s] /proc/loadavg: 2.01 2.02 1.96 3/178 32606 /proc/meminfo: memFree=28484072/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=18928 CPUtime=0.09 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 3525 0 0 0 1 8 0 0 20 0 1 0 268357090 19382272 3222 33554432000 4194304 10173063 140735457578512 140734253472808 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 4732 3222 551 1460 0 3263 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18928 [startup+0.300228 s] /proc/loadavg: 2.01 2.02 1.96 3/178 32606 /proc/meminfo: memFree=28484072/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=20184 CPUtime=0.29 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 3885 0 0 0 4 25 0 0 20 0 1 0 268357090 20668416 3582 33554432000 4194304 10173063 140735457578512 140734253472808 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 5046 3582 577 1460 0 3577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20184 [startup+0.700234 s] /proc/loadavg: 2.01 2.02 1.96 3/178 32606 /proc/meminfo: memFree=28484072/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=49904 CPUtime=0.69 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 13182 0 0 0 39 30 0 0 20 0 1 0 268357090 51101696 11163 33554432000 4194304 10173063 140735457578512 140734253472808 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 12476 11163 840 1460 0 11007 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49904 [startup+1.50022 s] /proc/loadavg: 2.00 2.02 1.96 3/179 32607 /proc/meminfo: memFree=28441996/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=52956 CPUtime=1.49 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 14217 0 0 0 110 39 0 0 20 0 1 0 268357090 54226944 12198 33554432000 4194304 10173063 140735457578512 140735457573432 5825786 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 13239 12198 863 1460 0 11770 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 52956 [startup+3.10026 s] /proc/loadavg: 2.00 2.02 1.96 3/179 32607 /proc/meminfo: memFree=28438896/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=51668 CPUtime=3.09 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 14400 0 0 0 265 44 0 0 20 0 1 0 268357090 52908032 11895 33554432000 4194304 10173063 140735457578512 140735457573400 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 12917 11895 863 1460 0 11448 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51668 [startup+6.30022 s] /proc/loadavg: 2.00 2.02 1.96 3/179 32607 /proc/meminfo: memFree=28435424/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=56192 CPUtime=6.29 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 15982 0 0 0 582 47 0 0 20 0 1 0 268357090 57540608 12997 33554432000 4194304 10173063 140735457578512 140735457571960 8056013 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14048 12997 866 1460 0 12579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56192 [startup+12.7002 s] /proc/loadavg: 2.00 2.02 1.96 3/179 32607 /proc/meminfo: memFree=28440224/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=56192 CPUtime=12.69 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 16021 0 0 0 1217 52 0 0 20 0 1 0 268357090 57540608 13036 33554432000 4194304 10173063 140735457578512 140735457571960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14048 13036 870 1460 0 12579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56192 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 1.96 3/179 32607 /proc/meminfo: memFree=28440480/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=56192 CPUtime=25.49 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 16021 0 0 0 2488 61 0 0 20 0 1 0 268357090 57540608 13036 33554432000 4194304 10173063 140735457578512 140735457572056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14048 13036 870 1460 0 12579 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56192 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 1.96 3/179 32607 /proc/meminfo: memFree=28444080/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=56192 CPUtime=51.08 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 16021 0 0 0 5022 86 0 0 20 0 1 0 268357090 57540608 13036 33554432000 4194304 10173063 140735457578512 140735457571624 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14048 13036 870 1460 0 12579 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56192 [startup+102.306 s] /proc/loadavg: 2.00 2.01 1.96 3/179 32607 /proc/meminfo: memFree=28436008/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=56192 CPUtime=102.28 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 16024 0 0 0 10087 141 0 0 20 0 1 0 268357090 57540608 13039 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14048 13039 873 1460 0 12579 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 56192 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 32645 /proc/meminfo: memFree=28765424/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=57224 CPUtime=162.26 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 16258 0 0 0 16020 206 0 0 20 0 1 0 268357090 58597376 13268 33554432000 4194304 10173063 140735457578512 140735457571912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14306 13268 873 1460 0 12837 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 57224 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 32646 /proc/meminfo: memFree=28753180/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=57720 CPUtime=222.25 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 19282 0 0 0 21955 270 0 0 20 0 1 0 268357090 59105280 13675 33554432000 4194304 10173063 140735457578512 140735457571752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14430 13675 876 1460 0 12961 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 57720 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 32646 /proc/meminfo: memFree=28750756/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=58172 CPUtime=282.24 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 19335 0 0 0 27885 339 0 0 20 0 1 0 268357090 59568128 13728 33554432000 4194304 10173063 140735457578512 140735457574856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 14543 13728 876 1460 0 13074 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 58172 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 32646 /proc/meminfo: memFree=28763460/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=71556 CPUtime=342.23 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 22362 0 0 0 33812 411 0 0 20 0 1 0 268357090 73273344 16754 33554432000 4194304 10173063 140735457578512 140735457571768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 17889 16754 877 1460 0 16420 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 71556 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 32646 /proc/meminfo: memFree=28760048/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=71556 CPUtime=402.22 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 22362 0 0 0 39749 473 0 0 20 0 1 0 268357090 73273344 16754 33554432000 4194304 10173063 140735457578512 140735457571272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 17889 16754 877 1460 0 16420 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 71556 [startup+462.3 s] /proc/loadavg: 2.08 2.02 1.97 3/179 32646 /proc/meminfo: memFree=28759548/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=71556 CPUtime=462.21 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 22362 0 0 0 45677 544 0 0 20 0 1 0 268357090 73273344 16754 33554432000 4194304 10173063 140735457578512 140735457571768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 17889 16754 877 1460 0 16420 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 71556 [startup+522.3 s] /proc/loadavg: 2.20 2.06 1.98 3/180 32650 /proc/meminfo: memFree=28744956/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=71652 CPUtime=522.2 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 22828 0 0 0 51613 607 0 0 20 0 1 0 268357090 73371648 17121 33554432000 4194304 10173063 140735457578512 140735457571544 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 17913 17121 880 1460 0 16444 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 71652 [startup+582.3 s] /proc/loadavg: 2.07 2.05 1.98 3/180 32673 /proc/meminfo: memFree=28722056/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=71652 CPUtime=582.18 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 22828 0 0 0 57555 663 0 0 20 0 1 0 268357090 73371648 17121 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 17913 17121 880 1460 0 16444 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 71652 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28715216/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=77952 CPUtime=1122.11 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 31695 0 0 0 110931 1280 0 0 20 0 1 0 268357090 79822848 18672 33554432000 4194304 10173063 140735457578512 140735457571816 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 19488 18672 880 1460 0 18019 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 77952 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 32678 /proc/meminfo: memFree=28713360/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=79840 CPUtime=1182.09 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 32166 0 0 0 116859 1350 0 0 20 0 1 0 268357090 81756160 19142 33554432000 4194304 10173063 140735457578512 140735457570952 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 19960 19142 880 1460 0 18491 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 79840 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 32678 /proc/meminfo: memFree=28701828/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=81600 CPUtime=1242.09 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 32653 0 0 0 122791 1418 0 0 20 0 1 0 268357090 83558400 19629 33554432000 4194304 10173063 140735457578512 140735457570952 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 20400 19629 880 1460 0 18931 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 81600 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32678 /proc/meminfo: memFree=28700580/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=82776 CPUtime=1302.08 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 32965 0 0 0 128724 1484 0 0 20 0 1 0 268357090 84762624 19941 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 20694 19941 880 1460 0 19225 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 82776 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32678 /proc/meminfo: memFree=28699832/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=83216 CPUtime=1362.07 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 36513 0 0 0 134659 1548 0 0 20 0 1 0 268357090 85213184 20045 33554432000 4194304 10173063 140735457578512 140735457571448 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 20804 20045 880 1460 0 19335 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 83216 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32678 /proc/meminfo: memFree=28688984/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=85240 CPUtime=1422.06 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 36946 0 0 0 140591 1615 0 0 20 0 1 0 268357090 87285760 20478 33554432000 4194304 10173063 140735457578512 140735457571832 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 21310 20478 880 1460 0 19841 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 85240 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32679 /proc/meminfo: memFree=28687116/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=85840 CPUtime=1482.05 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 37160 0 0 0 146515 1690 0 0 20 0 1 0 268357090 87900160 20692 33554432000 4194304 10173063 140735457578512 140735457574552 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 21460 20692 880 1460 0 19991 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 85840 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 32679 /proc/meminfo: memFree=28685632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=88172 CPUtime=1542.04 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 37719 0 0 0 152443 1761 0 0 20 0 1 0 268357090 90288128 21249 33554432000 4194304 10173063 140735457578512 140735457571528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 22043 21249 880 1460 0 20574 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 88172 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 32679 /proc/meminfo: memFree=28693136/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=89172 CPUtime=1602.03 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 37995 0 0 0 158371 1832 0 0 20 0 1 0 268357090 91312128 21525 33554432000 4194304 10173063 140735457578512 140735457571032 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 22293 21525 880 1460 0 20824 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 89172 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 32679 /proc/meminfo: memFree=28689160/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=89728 CPUtime=1662.02 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38153 0 0 0 164300 1902 0 0 20 0 1 0 268357090 91881472 21683 33554432000 4194304 10173063 140735457578512 140735457570952 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 22432 21683 880 1460 0 20963 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 89728 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 32682 /proc/meminfo: memFree=28687040/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=91864 CPUtime=1722.02 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38658 0 0 0 170229 1973 0 0 20 0 1 0 268357090 94068736 22186 33554432000 4194304 10173063 140735457578512 140735457571864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 22966 22186 880 1460 0 21497 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 91864 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92396 CPUtime=1782 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38828 0 0 0 176157 2043 0 0 20 0 1 0 268357090 94613504 22356 33554432000 4194304 10173063 140735457578512 140735457571816 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23099 22356 880 1460 0 21630 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 92396 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667756/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92396 CPUtime=1785.2 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38828 0 0 0 176473 2047 0 0 20 0 1 0 268357090 94613504 22356 33554432000 4194304 10173063 140735457578512 140735457571864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23099 22356 880 1460 0 21630 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 92396 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667756/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92572 CPUtime=1791.6 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38834 0 0 0 177105 2055 0 0 20 0 1 0 268357090 94793728 22362 33554432000 4194304 10173063 140735457578512 140735457571464 8056221 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23143 22362 880 1460 0 21674 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 92572 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92572 CPUtime=1794.8 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38839 0 0 0 177421 2059 0 0 20 0 1 0 268357090 94793728 22367 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23143 22367 880 1460 0 21674 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 92572 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92572 CPUtime=1795.6 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38839 0 0 0 177500 2060 0 0 20 0 1 0 268357090 94793728 22367 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23143 22367 880 1460 0 21674 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (KiB) 92572 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92724 CPUtime=1796.4 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38889 0 0 0 177578 2062 0 0 20 0 1 0 268357090 94949376 22417 33554432000 4194304 10173063 140735457578512 140735457572152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23181 22417 880 1460 0 21712 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 92724 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92724 CPUtime=1796.6 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38889 0 0 0 177598 2062 0 0 20 0 1 0 268357090 94949376 22417 33554432000 4194304 10173063 140735457578512 140735457571896 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23181 22417 880 1460 0 21712 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 92724 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/179 32683 /proc/meminfo: memFree=28667632/32873844 swapFree=7124/7124 [pid=32606] ppid=32604 vsize=92724 CPUtime=1796.7 cores=0,2,4,6 /proc/32606/stat : 32606 (scip-2.1.1.4fix) R 32604 32606 32151 0 -1 4202496 38889 0 0 0 177608 2062 0 0 20 0 1 0 268357090 94949376 22417 33554432000 4194304 10173063 140735457578512 140735457571896 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32606/statm: 23181 22417 880 1460 0 21712 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 92724 Child status: 0 Real time (s): 1797.04 CPU time (s): 1796.75 CPU user time (s): 1776.12 CPU system time (s): 20.6259 CPU usage (%): 99.9837 Max. virtual memory (cumulated for all children) (KiB): 98132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.12 system time used= 20.6259 maximum resident set size= 93296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38895 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= 29 involuntary context switches= 1848 runsolver used 5.9161 second user time and 16.9334 second system time The end
Begin job on node134 at 2012-05-26 10:51:57 IDJOB=3691408 IDBENCH=48251 IDSOLVER=2270 FILE ID=node134/3691408-1338022317 RUNJOBID= node134-1338016920-32167 PBS_JOBID= 14624339 Free space on /tmp= 71644 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/bsg/normalized-bsg_100_10_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-3691408-1338022317/watcher-3691408-1338022317 -o /tmp/evaluation-result-3691408-1338022317/solver-3691408-1338022317 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691408-1338022317.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=1067668961 node134.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.278 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.55 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.278 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 : 5332.56 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.278 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 : 5332.55 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.278 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 : 5332.59 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.278 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 : 5332.55 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.278 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 : 5332.55 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.278 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 : 5332.57 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.278 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28484436 kB Buffers: 246332 kB Cached: 2790548 kB SwapCached: 0 kB Active: 1279284 kB Inactive: 2341132 kB Active(anon): 579460 kB Inactive(anon): 5996 kB Active(file): 699824 kB Inactive(file): 2335136 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13600 kB Writeback: 0 kB AnonPages: 589848 kB Mapped: 17860 kB Shmem: 212 kB Slab: 631468 kB SReclaimable: 73604 kB SUnreclaim: 557864 kB KernelStack: 1464 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 703896 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 493568 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= 71632 MiB End job on node134 at 2012-05-26 11:21:54