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-3691430-1338021686.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 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.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11908 impls, 100 clqs
0.09/0.12 c (0.1s) probing: 51/1576 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12 c presolving (2 rounds):
0.09/0.12 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 11908 implications, 100 cliques
0.09/0.12 c presolved problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1627 constraints
0.09/0.12 c 150 constraints of type <setppc>
0.09/0.12 c 1476 constraints of type <and>
0.09/0.12 c 1 constraints of type <linear>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.11
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 2.1.1.4
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1797
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 13950
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # belongs reading time to solving time?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c timing/reading = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c t 0.2s| 1 | 0 | 1166 | - |7211k| 0 | 640 |1576 |1627 |1576 |3103 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | Inf
0.19/0.24 o -2
0.19/0.24 c s 0.2s| 1 | 0 | 1166 | - |7272k| 0 | 640 |1576 |1627 |1576 |3103 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 |1150.00%
0.29/0.31 o -3
0.29/0.31 c U 0.3s| 1 | 0 | 1166 | - |7341k| 0 | 640 |1576 |1627 |1576 |3103 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
0.79/0.88 c 0.9s| 1 | 0 | 1426 | - |7828k| 0 | 756 |1576 |1628 |1576 |3120 | 17 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
0.99/1.07 c 1.1s| 1 | 0 | 1799 | - |8115k| 0 | 697 |1576 |1628 |1576 |3130 | 27 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
1.39/1.40 c 1.4s| 1 | 0 | 2560 | - |8384k| 0 | 670 |1576 |1628 |1576 |3136 | 33 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
1.59/1.63 c 1.6s| 1 | 0 | 2869 | - |8627k| 0 | 711 |1576 |1628 |1576 |3148 | 45 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
1.89/1.90 c 1.9s| 1 | 0 | 3430 | - |8926k| 0 | 673 |1576 |1628 |1576 |3152 | 49 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
2.10/2.16 c 2.2s| 1 | 0 | 3949 | - |9134k| 0 | 645 |1576 |1628 |1576 |3159 | 56 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 733.33%
6.49/6.54 o -5
6.49/6.54 c E 6.5s| 1 | 0 | 3949 | - |9174k| 0 | 645 |1576 |1628 |1576 |3159 | 56 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 400.00%
6.49/6.55 c 6.6s| 1 | 0 | 3949 | - |9174k| 0 | 645 |1576 |1628 |1576 |3159 | 56 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 400.00%
6.88/6.92 c 6.9s| 1 | 0 | 4813 | - |9227k| 0 | 706 |1576 |1628 |1576 |3165 | 62 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 400.00%
9.48/9.58 c 9.6s| 1 | 2 | 4813 | - |9248k| 0 | 706 |1576 |1628 |1576 |3165 | 62 | 0 | 11 |-2.500000e+01 |-5.000000e+00 | 400.00%
51.28/51.34 c 51.3s| 100 | 83 |175604 |1725.2 |9945k| 26 | 144 |1576 |1634 |1576 |1713 |3681 | 6 | 295 |-2.190375e+01 |-5.000000e+00 | 338.08%
58.38/58.46 o -6
58.38/58.46 c p58.5s| 134 | 75 |231536 |1704.7 | 10M| 31 | - |1576 |1643 |1576 |1738 |4397 | 15 | 304 |-1.809226e+01 |-6.000000e+00 | 201.54%
62.48/62.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.48/62.50 c 62.5s| 200 | 111 |261955 |1292.2 | 10M| 42 | - |1576 |1643 |1576 |1572 |4902 | 15 | 304 |-1.604123e+01 |-6.000000e+00 | 167.35%
67.78/67.83 c 67.8s| 300 | 165 |290586 | 955.8 | 10M| 47 | 351 |1576 |1654 |1576 |1711 |5361 | 26 | 347 |-1.555890e+01 |-6.000000e+00 | 159.31%
71.58/71.67 c 71.7s| 400 | 203 |317383 | 783.4 | 11M| 54 | 87 |1576 |1657 |1576 |1447 |5870 | 29 | 355 |-1.523022e+01 |-6.000000e+00 | 153.84%
74.48/74.50 c 74.5s| 500 | 249 |338506 | 668.7 | 11M| 54 | - |1576 |1666 |1576 |1720 |6323 | 38 | 355 |-1.458128e+01 |-6.000000e+00 | 143.02%
77.27/77.30 c 77.3s| 600 | 291 |358854 | 591.1 | 11M| 57 | 118 |1576 |1669 |1576 |1223 |6787 | 41 | 365 |-1.458128e+01 |-6.000000e+00 | 143.02%
80.48/80.56 c 80.6s| 700 | 325 |379027 | 535.4 | 12M| 59 | 339 |1576 |1677 |1576 |1552 |7093 | 49 | 387 |-1.458128e+01 |-6.000000e+00 | 143.02%
82.87/82.94 c 82.9s| 800 | 371 |396110 | 489.7 | 12M| 59 | 278 |1576 |1678 |1576 |1716 |7466 | 50 | 391 |-1.458128e+01 |-6.000000e+00 | 143.02%
84.97/85.04 c 85.0s| 900 | 423 |411756 | 452.7 | 12M| 61 | 155 |1576 |1696 |1576 |1726 |7727 | 68 | 392 |-1.458128e+01 |-6.000000e+00 | 143.02%
87.37/87.41 c 87.4s| 1000 | 469 |430804 | 426.4 | 13M| 61 | 117 |1576 |1702 |1576 |1742 |8160 | 74 | 392 |-1.452201e+01 |-6.000000e+00 | 142.03%
89.48/89.54 c 89.5s| 1100 | 507 |446128 | 401.6 | 13M| 61 | - |1576 |1702 |1576 |1723 |8569 | 74 | 399 |-1.413272e+01 |-6.000000e+00 | 135.55%
91.98/92.07 c 92.1s| 1200 | 547 |460128 | 379.7 | 13M| 61 | 81 |1576 |1702 |1576 |1727 |8803 | 74 | 421 |-1.395818e+01 |-6.000000e+00 | 132.64%
93.97/94.07 c 94.1s| 1300 | 581 |474452 | 361.5 | 13M| 62 | - |1576 |1704 |1576 |1731 |9099 | 76 | 425 |-1.392239e+01 |-6.000000e+00 | 132.04%
95.96/96.03 c 96.0s| 1400 | 629 |489080 | 346.2 | 14M| 62 | 103 |1576 |1710 |1576 |1729 |9425 | 82 | 425 |-1.389384e+01 |-6.000000e+00 | 131.56%
97.57/97.62 c 97.6s| 1500 | 655 |500885 | 330.9 | 14M| 62 | - |1576 |1711 |1576 |1713 |9644 | 83 | 425 |-1.388671e+01 |-6.000000e+00 | 131.45%
99.16/99.26 c 99.3s| 1600 | 683 |512587 | 317.6 | 14M| 62 | 153 |1576 |1715 |1576 |1716 |9906 | 87 | 425 |-1.383954e+01 |-6.000000e+00 | 130.66%
100.86/100.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.86/100.96 c 101s| 1700 | 723 |525222 | 306.3 | 14M| 62 | 80 |1576 |1715 |1576 |1706 | 10k| 87 | 425 |-1.383954e+01 |-6.000000e+00 | 130.66%
102.97/103.08 c 103s| 1800 | 759 |537949 | 296.4 | 15M| 62 | 180 |1576 |1720 |1576 |1559 | 10k| 92 | 439 |-1.377253e+01 |-6.000000e+00 | 129.54%
104.56/104.61 c 105s| 1900 | 799 |547399 | 285.7 | 15M| 62 | 69 |1576 |1724 |1576 |1412 | 10k| 96 | 450 |-1.372092e+01 |-6.000000e+00 | 128.68%
106.16/106.22 c 106s| 2000 | 823 |559451 | 277.5 | 15M| 64 | 161 |1576 |1724 |1576 |1716 | 10k| 96 | 452 |-1.372092e+01 |-6.000000e+00 | 128.68%
107.57/107.60 c 108s| 2100 | 871 |569594 | 269.1 | 16M| 64 | 164 |1576 |1727 |1576 |1722 | 11k| 100 | 453 |-1.369047e+01 |-6.000000e+00 | 128.17%
109.06/109.10 c 109s| 2200 | 905 |581217 | 262.1 | 16M| 64 | - |1576 |1728 |1576 |1416 | 11k| 101 | 453 |-1.359130e+01 |-6.000000e+00 | 126.52%
110.36/110.42 c 110s| 2300 | 943 |590813 | 254.9 | 16M| 64 | - |1576 |1736 |1576 |1504 | 11k| 109 | 453 |-1.359130e+01 |-6.000000e+00 | 126.52%
111.56/111.61 c 112s| 2400 | 975 |600553 | 248.3 | 17M| 64 | - |1576 |1738 |1576 |1407 | 11k| 112 | 453 |-1.341717e+01 |-6.000000e+00 | 123.62%
112.86/112.92 c 113s| 2500 | 1005 |610858 | 242.5 | 17M| 64 | - |1576 |1746 |1576 |1726 | 12k| 121 | 453 |-1.329178e+01 |-6.000000e+00 | 121.53%
114.56/114.67 c 115s| 2600 | 1039 |620847 | 237.0 | 17M| 64 | 110 |1576 |1747 |1576 |1712 | 12k| 122 | 474 |-1.322921e+01 |-6.000000e+00 | 120.49%
115.97/116.09 c 116s| 2700 | 1083 |629993 | 231.6 | 17M| 64 | 108 |1576 |1750 |1576 |1731 | 12k| 126 | 481 |-1.322921e+01 |-6.000000e+00 | 120.49%
117.36/117.48 c 117s| 2800 | 1119 |639853 | 226.9 | 18M| 64 | - |1576 |1753 |1576 |1722 | 12k| 131 | 487 |-1.322744e+01 |-6.000000e+00 | 120.46%
118.46/118.54 c 119s| 2900 | 1147 |647366 | 221.6 | 18M| 64 | 84 |1576 |1751 |1576 |1725 | 12k| 131 | 487 |-1.310772e+01 |-6.000000e+00 | 118.46%
119.76/119.87 c 120s| 3000 | 1181 |656938 | 217.4 | 18M| 64 | 79 |1576 |1751 |1576 |1191 | 12k| 133 | 488 |-1.284243e+01 |-6.000000e+00 | 114.04%
120.06/120.12 o -7
120.06/120.12 c * 120s| 3036 | 653 |658671 | 215.4 | 13M| 64 | - |1576 |1752 |1576 |1569 | 12k| 134 | 488 |-1.284243e+01 |-7.000000e+00 | 83.46%
120.46/120.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.46/120.55 c 121s| 3100 | 659 |661745 | 212.0 | 13M| 66 | 177 |1576 |1751 |1576 |1726 | 12k| 135 | 488 |-1.284243e+01 |-7.000000e+00 | 83.46%
121.26/121.36 c 121s| 3200 | 681 |667679 | 207.2 | 13M| 66 | 141 |1576 |1752 |1576 |1726 | 12k| 136 | 488 |-1.283755e+01 |-7.000000e+00 | 83.39%
121.96/122.04 c 122s| 3300 | 707 |672139 | 202.3 | 13M| 66 | - |1576 |1756 |1576 |1718 | 13k| 140 | 488 |-1.283755e+01 |-7.000000e+00 | 83.39%
122.56/122.69 c 123s| 3400 | 727 |676373 | 197.6 | 14M| 66 | - |1576 |1759 |1576 |1627 | 13k| 145 | 488 |-1.283755e+01 |-7.000000e+00 | 83.39%
123.17/123.28 c 123s| 3500 | 743 |679918 | 192.9 | 14M| 66 | 66 |1576 |1760 |1576 |1409 | 13k| 146 | 488 |-1.278841e+01 |-7.000000e+00 | 82.69%
124.17/124.21 c 124s| 3600 | 761 |686770 | 189.5 | 14M| 66 | 90 |1576 |1759 |1576 |1560 | 13k| 147 | 488 |-1.274772e+01 |-7.000000e+00 | 82.11%
124.76/124.83 c 125s| 3700 | 775 |690421 | 185.3 | 14M| 66 | 216 |1576 |1758 |1576 |1698 | 13k| 148 | 488 |-1.274772e+01 |-7.000000e+00 | 82.11%
125.46/125.55 c 126s| 3800 | 791 |695613 | 181.8 | 14M| 66 | - |1576 |1759 |1576 |1408 | 13k| 151 | 488 |-1.274772e+01 |-7.000000e+00 | 82.11%
126.16/126.25 c 126s| 3900 | 799 |700503 | 178.4 | 14M| 66 | - |1576 |1757 |1576 |1563 | 13k| 151 | 488 |-1.266620e+01 |-7.000000e+00 | 80.95%
127.06/127.10 c 127s| 4000 | 817 |706465 | 175.5 | 14M| 66 | - |1576 |1758 |1576 |1718 | 13k| 152 | 488 |-1.266620e+01 |-7.000000e+00 | 80.95%
127.66/127.77 c 128s| 4100 | 825 |711237 | 172.3 | 14M| 66 | - |1576 |1756 |1576 |1716 | 13k| 152 | 488 |-1.262184e+01 |-7.000000e+00 | 80.31%
128.26/128.31 c 128s| 4200 | 839 |714406 | 169.0 | 15M| 66 | 168 |1576 |1756 |1576 |1687 | 13k| 153 | 488 |-1.261803e+01 |-7.000000e+00 | 80.26%
129.06/129.18 c 129s| 4300 | 859 |720090 | 166.4 | 15M| 66 | 137 |1576 |1755 |1576 |1568 | 13k| 155 | 488 |-1.258735e+01 |-7.000000e+00 | 79.82%
129.56/129.64 c 130s| 4400 | 867 |723126 | 163.3 | 15M| 66 | 207 |1576 |1754 |1576 |1212 | 13k| 155 | 488 |-1.258735e+01 |-7.000000e+00 | 79.82%
130.16/130.27 c 130s| 4500 | 885 |727477 | 160.6 | 15M| 66 | 104 |1576 |1752 |1576 |1727 | 13k| 156 | 488 |-1.256818e+01 |-7.000000e+00 | 79.55%
130.66/130.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.66/130.79 c 131s| 4600 | 895 |730734 | 157.8 | 15M| 66 | 89 |1576 |1754 |1576 |1728 | 13k| 158 | 488 |-1.256818e+01 |-7.000000e+00 | 79.55%
131.26/131.35 c 131s| 4700 | 909 |734825 | 155.4 | 15M| 66 | 126 |1576 |1753 |1576 |1564 | 13k| 158 | 488 |-1.247725e+01 |-7.000000e+00 | 78.25%
131.76/131.82 c 132s| 4800 | 923 |737606 | 152.7 | 15M| 66 | 123 |1576 |1756 |1576 |1579 | 13k| 161 | 488 |-1.241102e+01 |-7.000000e+00 | 77.30%
132.06/132.15 c 132s| 4900 | 935 |739577 | 150.0 | 15M| 66 | - |1576 |1757 |1576 |1618 | 13k| 162 | 488 |-1.241102e+01 |-7.000000e+00 | 77.30%
132.66/132.72 c 133s| 5000 | 937 |743396 | 147.7 | 16M| 66 | - |1576 |1755 |1576 |1731 | 13k| 162 | 488 |-1.236967e+01 |-7.000000e+00 | 76.71%
133.16/133.26 c 133s| 5100 | 945 |746826 | 145.5 | 16M| 66 | 94 |1576 |1754 |1576 |1734 | 13k| 162 | 488 |-1.231683e+01 |-7.000000e+00 | 75.95%
133.66/133.70 c 134s| 5200 | 953 |749730 | 143.3 | 16M| 66 | 115 |1576 |1752 |1576 |1723 | 13k| 163 | 488 |-1.231683e+01 |-7.000000e+00 | 75.95%
133.96/134.07 c 134s| 5300 | 963 |752136 | 141.0 | 16M| 66 | - |1576 |1750 |1576 |1607 | 13k| 163 | 488 |-1.231683e+01 |-7.000000e+00 | 75.95%
134.46/134.53 c 135s| 5400 | 963 |755130 | 139.0 | 16M| 66 | - |1576 |1750 |1576 |1715 | 13k| 163 | 488 |-1.221025e+01 |-7.000000e+00 | 74.43%
135.16/135.25 c 135s| 5500 | 975 |760239 | 137.4 | 16M| 66 | 117 |1576 |1750 |1576 |1701 | 14k| 165 | 488 |-1.212032e+01 |-7.000000e+00 | 73.15%
135.46/135.57 c 136s| 5600 | 971 |762119 | 135.3 | 16M| 66 | - |1576 |1751 |1576 |1732 | 14k| 166 | 488 |-1.206424e+01 |-7.000000e+00 | 72.35%
135.76/135.89 c 136s| 5700 | 975 |764154 | 133.2 | 16M| 66 | - |1576 |1750 |1576 |1727 | 14k| 166 | 488 |-1.205806e+01 |-7.000000e+00 | 72.26%
136.26/136.39 c 136s| 5800 | 973 |767708 | 131.6 | 16M| 66 | - |1576 |1748 |1576 |1718 | 14k| 166 | 488 |-1.203317e+01 |-7.000000e+00 | 71.90%
136.86/136.97 c 137s| 5900 | 969 |772407 | 130.1 | 16M| 66 | - |1576 |1748 |1576 |1688 | 14k| 166 | 488 |-1.198285e+01 |-7.000000e+00 | 71.18%
137.26/137.31 c 137s| 6000 | 971 |774445 | 128.3 | 16M| 66 | 148 |1576 |1747 |1576 |1728 | 14k| 166 | 488 |-1.191814e+01 |-7.000000e+00 | 70.26%
137.66/137.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.66/137.77 c 138s| 6100 | 971 |777263 | 126.7 | 16M| 66 | 118 |1576 |1746 |1576 |1731 | 14k| 167 | 488 |-1.189665e+01 |-7.000000e+00 | 69.95%
138.15/138.24 c 138s| 6200 | 971 |779962 | 125.0 | 16M| 66 | - |1576 |1747 |1576 |1430 | 14k| 168 | 488 |-1.185198e+01 |-7.000000e+00 | 69.31%
138.57/138.63 c 139s| 6300 | 973 |782461 | 123.5 | 16M| 66 | - |1576 |1748 |1576 |1719 | 14k| 169 | 488 |-1.182309e+01 |-7.000000e+00 | 68.90%
139.16/139.23 c 139s| 6400 | 979 |786823 | 122.2 | 17M| 66 | - |1576 |1748 |1576 |1721 | 14k| 169 | 488 |-1.176245e+01 |-7.000000e+00 | 68.04%
139.46/139.59 c 140s| 6500 | 975 |788955 | 120.7 | 17M| 66 | 93 |1576 |1748 |1576 |1420 | 14k| 169 | 488 |-1.173084e+01 |-7.000000e+00 | 67.58%
139.85/139.95 c 140s| 6600 | 979 |791043 | 119.1 | 17M| 66 | 98 |1576 |1747 |1576 |1734 | 14k| 169 | 488 |-1.173084e+01 |-7.000000e+00 | 67.58%
140.16/140.29 c 140s| 6700 | 967 |793107 | 117.7 | 17M| 66 | 76 |1576 |1748 |1576 |1493 | 14k| 170 | 488 |-1.162252e+01 |-7.000000e+00 | 66.04%
140.46/140.55 c 141s| 6800 | 967 |794543 | 116.2 | 17M| 66 | - |1576 |1750 |1576 |1568 | 14k| 172 | 488 |-1.148970e+01 |-7.000000e+00 | 64.14%
140.86/140.95 c 141s| 6900 | 961 |797074 | 114.8 | 17M| 66 | - |1576 |1749 |1576 |1685 | 14k| 172 | 488 |-1.148341e+01 |-7.000000e+00 | 64.05%
141.16/141.21 c 141s| 7000 | 955 |798530 | 113.4 | 17M| 66 | 114 |1576 |1751 |1576 |1716 | 14k| 174 | 488 |-1.148341e+01 |-7.000000e+00 | 64.05%
141.56/141.60 c 142s| 7100 | 943 |801047 | 112.2 | 17M| 66 | - |1576 |1749 |1576 |1706 | 14k| 174 | 488 |-1.136758e+01 |-7.000000e+00 | 62.39%
141.96/142.06 c 142s| 7200 | 929 |804065 | 111.0 | 17M| 66 | 83 |1576 |1747 |1576 |1608 | 14k| 175 | 488 |-1.131409e+01 |-7.000000e+00 | 61.63%
142.36/142.43 c 142s| 7300 | 921 |806474 | 109.8 | 17M| 66 | 92 |1576 |1748 |1576 |1683 | 14k| 177 | 488 |-1.131207e+01 |-7.000000e+00 | 61.60%
142.75/142.80 c 143s| 7400 | 913 |808673 | 108.6 | 17M| 66 | 78 |1576 |1749 |1576 |1422 | 14k| 178 | 488 |-1.129701e+01 |-7.000000e+00 | 61.39%
143.05/143.12 c 143s| 7500 | 895 |810411 | 107.4 | 17M| 66 | - |1576 |1746 |1576 |1626 | 14k| 178 | 488 |-1.126456e+01 |-7.000000e+00 | 60.92%
143.56/143.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.56/143.60 c 144s| 7600 | 891 |813851 | 106.5 | 17M| 66 | - |1576 |1741 |1576 |1719 | 14k| 178 | 488 |-1.124612e+01 |-7.000000e+00 | 60.66%
143.97/144.02 c 144s| 7700 | 881 |816485 | 105.4 | 17M| 66 | 133 |1576 |1738 |1576 |1586 | 14k| 178 | 488 |-1.119216e+01 |-7.000000e+00 | 59.89%
144.55/144.62 c 145s| 7800 | 863 |820355 | 104.6 | 17M| 66 | 124 |1576 |1738 |1576 |1736 | 14k| 179 | 488 |-1.109444e+01 |-7.000000e+00 | 58.49%
144.95/145.10 c 145s| 7900 | 857 |823494 | 103.6 | 17M| 66 | - |1576 |1739 |1576 |1190 | 14k| 181 | 488 |-1.103943e+01 |-7.000000e+00 | 57.71%
145.75/145.88 c 146s| 8000 | 847 |829416 | 103.1 | 17M| 66 | - |1576 |1736 |1576 |1738 | 14k| 181 | 488 |-1.101743e+01 |-7.000000e+00 | 57.39%
146.56/146.60 c 147s| 8100 | 809 |834432 | 102.4 | 17M| 66 | - |1576 |1734 |1576 |1709 | 14k| 182 | 488 |-1.096730e+01 |-7.000000e+00 | 56.68%
147.26/147.40 c 147s| 8200 | 749 |840400 | 101.9 | 16M| 66 | - |1576 |1733 |1576 |1709 | 14k| 182 | 488 |-1.083612e+01 |-7.000000e+00 | 54.80%
147.96/148.02 c 148s| 8300 | 705 |844614 | 101.2 | 16M| 66 | - |1576 |1732 |1576 |1724 | 15k| 183 | 489 |-1.069855e+01 |-7.000000e+00 | 52.84%
148.46/148.55 c 149s| 8400 | 651 |848096 | 100.4 | 16M| 66 | - |1576 |1730 |1576 |1715 | 15k| 184 | 489 |-1.065250e+01 |-7.000000e+00 | 52.18%
148.95/149.06 c 149s| 8500 | 579 |851463 | 99.6 | 16M| 66 | - |1576 |1725 |1576 |1734 | 15k| 184 | 489 |-1.047113e+01 |-7.000000e+00 | 49.59%
149.57/149.60 c 150s| 8600 | 507 |855115 | 98.9 | 15M| 66 | - |1576 |1722 |1576 |1706 | 15k| 184 | 489 |-1.031412e+01 |-7.000000e+00 | 47.34%
149.96/150.07 c 150s| 8700 | 429 |858436 | 98.1 | 15M| 66 | - |1576 |1721 |1576 |1618 | 15k| 185 | 489 |-1.015308e+01 |-7.000000e+00 | 45.04%
150.46/150.54 c 151s| 8800 | 329 |861441 | 97.4 | 14M| 66 | - |1576 |1716 |1576 |1716 | 15k| 185 | 489 |-9.929952e+00 |-7.000000e+00 | 41.86%
150.86/150.97 c 151s| 8900 | 229 |864159 | 96.6 | 13M| 66 | - |1576 |1711 |1576 |1716 | 15k| 185 | 489 |-9.728589e+00 |-7.000000e+00 | 38.98%
151.26/151.32 c 151s| 9000 | 129 |866123 | 95.7 | 12M| 66 | - |1576 |1710 |1576 |1722 | 15k| 188 | 489 |-9.392886e+00 |-7.000000e+00 | 34.18%
151.55/151.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.55/151.63 c 152s| 9100 | 29 |867867 | 94.9 | 10M| 66 | - |1576 |1713 |1576 |1725 | 15k| 193 | 489 |-8.557425e+00 |-7.000000e+00 | 22.25%
151.66/151.78 c
151.66/151.78 c SCIP Status : problem is solved [optimal solution found]
151.66/151.78 c Solving Time (sec) : 151.78
151.66/151.78 c Solving Nodes : 9128
151.66/151.78 c Primal Bound : -7.00000000000000e+00 (11 solutions)
151.66/151.78 c Dual Bound : -7.00000000000000e+00
151.66/151.78 c Gap : 0.00 %
151.66/151.78 s OPTIMUM FOUND
151.66/151.78 v -x70 -x61 -x84 -x78 -x64 -x63 -x58 -x54 -x72 -x100 -x83 x82 -x95 -x79 -x62 -x51 -x85 -x81 -x80 -x71 -x68 -x67 -x60 -x57 -x56 -x87
151.66/151.78 v -x55 x99 -x88 x98 -x74 -x89 -x93 -x66 x96 x92 -x53 -x90 x94 -x75 -x59 -x65 -x52 -x77 x73 -x76 -x91 -x69 -x86 -x97 x50 -x49
151.66/151.78 v -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 -x24 -x23
151.66/151.78 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
151.66/151.78 c SCIP Status : problem is solved [optimal solution found]
151.66/151.78 c Total Time : 151.78
151.66/151.78 c solving : 151.78
151.66/151.78 c presolving : 0.11 (included in solving)
151.66/151.78 c reading : 0.00 (included in solving)
151.66/151.78 c copying : 0.06 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
151.66/151.78 c Original Problem :
151.66/151.78 c Problem name : HOME/instance-3691430-1338021686.opb
151.66/151.78 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
151.66/151.78 c Constraints : 151 initial, 151 maximal
151.66/151.78 c Objective sense : minimize
151.66/151.78 c Presolved Problem :
151.66/151.78 c Problem name : t_HOME/instance-3691430-1338021686.opb
151.66/151.78 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
151.66/151.78 c Constraints : 1627 initial, 1760 maximal
151.66/151.78 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
151.66/151.78 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c and : 0.09 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
151.66/151.78 c root node : - - 60 - - 60 - - - - -
151.66/151.78 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
151.66/151.78 c integral : 0 0 0 0 4889 0 36 0 0 101 0 0 9698
151.66/151.78 c setppc : 150 150 7 28945 1 0 31 2078 39 36920 0 0 0
151.66/151.78 c and : 1476 1476 7225 28906 1 0 30 2632 13 736942 16859 0 0
151.66/151.78 c linear : 1 1 7 28887 1 0 9 18 8 33 0 0 0
151.66/151.78 c logicor : 0+ 133 7 7021 0 0 0 1 2 408 0 0 0
151.66/151.78 c countsols : 0 0 0 0 1 0 13 0 0 0 0 0 0
151.66/151.78 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
151.66/151.78 c integral : 29.72 0.00 0.00 0.00 29.72 0.00 0.00 0.00
151.66/151.78 c setppc : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00
151.66/151.78 c and : 1.36 0.00 0.64 0.72 0.00 0.00 0.00 0.00
151.66/151.78 c linear : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
151.66/151.78 c logicor : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
151.66/151.78 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
151.66/151.78 c Propagators : #Propagate #ResProp Cutoffs DomReds
151.66/151.78 c rootredcost : 2 0 0 0
151.66/151.78 c pseudoobj : 33822 83 87 206
151.66/151.78 c vbounds : 0 0 0 0
151.66/151.78 c redcost : 8264 0 0 25496
151.66/151.78 c probing : 0 0 0 0
151.66/151.78 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
151.66/151.78 c rootredcost : 0.01 0.00 0.00 0.01 0.00
151.66/151.78 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
151.66/151.78 c vbounds : 0.01 0.00 0.00 0.01 0.00
151.66/151.78 c redcost : 0.27 0.00 0.00 0.27 0.00
151.66/151.78 c probing : 0.01 0.00 0.01 0.00 0.00
151.66/151.78 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
151.66/151.78 c propagation : 0.01 149 145 230 31.9 1 49.0 -
151.66/151.78 c infeasible LP : 0.00 2 2 7 38.0 0 0.0 0
151.66/151.78 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
151.66/151.78 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
151.66/151.78 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
151.66/151.78 c applied globally : - - - 196 30.4 - - -
151.66/151.78 c applied locally : - - - 0 0.0 - - -
151.66/151.78 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
151.66/151.78 c cut pool : 0.00 6 - - 6 - (maximal pool size: 359)
151.66/151.78 c closecuts : 0.00 0.00 0 0 0 0 0
151.66/151.78 c impliedbounds : 0.00 0.00 7 0 0 24 0
151.66/151.78 c intobj : 0.00 0.00 0 0 0 0 0
151.66/151.78 c gomory : 0.47 0.00 7 0 0 5 0
151.66/151.78 c cgmip : 0.00 0.00 0 0 0 0 0
151.66/151.78 c strongcg : 0.41 0.00 7 0 0 628 0
151.66/151.78 c cmir : 0.08 0.00 7 0 0 1 0
151.66/151.78 c flowcover : 0.09 0.00 7 0 0 2 0
151.66/151.78 c clique : 0.10 0.00 7 0 0 44 0
151.66/151.78 c zerohalf : 0.00 0.00 0 0 0 0 0
151.66/151.78 c mcf : 0.02 0.00 4 0 0 15 0
151.66/151.78 c oddcycle : 0.00 0.00 0 0 0 0 0
151.66/151.78 c rapidlearning : 0.40 0.00 1 0 0 0 0
151.66/151.78 c Pricers : ExecTime SetupTime Calls Vars
151.66/151.78 c problem variables: 0.00 - 0 0
151.66/151.78 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
151.66/151.78 c relpscost : 29.71 0.00 4888 0 101 0 0 9698
151.66/151.78 c pscost : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c inference : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c mostinf : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c leastinf : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c fullstrong : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c random : 0.00 0.00 0 0 0 0 0 0
151.66/151.78 c Primal Heuristics : ExecTime SetupTime Calls Found
151.66/151.78 c LP solutions : 0.00 - - 1
151.66/151.78 c pseudo solutions : 0.00 - - 0
151.66/151.78 c feaspump : 0.00 0.00 0 0
151.66/151.78 c oneopt : 0.01 0.00 4 0
151.66/151.78 c objpscostdiving : 2.87 0.00 4 0
151.66/151.78 c crossover : 0.14 0.00 5 0
151.66/151.78 c pscostdiving : 0.95 0.00 26 1
151.66/151.78 c fracdiving : 2.18 0.00 26 0
151.66/151.78 c veclendiving : 1.48 0.00 26 0
151.66/151.78 c linesearchdiving : 0.96 0.00 26 0
151.66/151.78 c guideddiving : 1.56 0.00 26 0
151.66/151.78 c coefdiving : 1.08 0.00 27 0
151.66/151.78 c rootsoldiving : 1.14 0.00 14 0
151.66/151.78 c smallcard : 0.00 0.00 0 0
151.66/151.78 c trivial : 0.00 0.00 2 1
151.66/151.78 c shiftandpropagate: 0.00 0.00 0 0
151.66/151.78 c simplerounding : 0.00 0.00 0 0
151.66/151.78 c zirounding : 0.28 0.00 0 0
151.66/151.78 c rounding : 0.27 0.00 1184 0
151.66/151.78 c shifting : 0.29 0.00 764 6
151.66/151.78 c intshifting : 0.00 0.00 0 0
151.66/151.78 c twoopt : 0.00 0.00 0 0
151.66/151.78 c indoneopt : 0.01 0.00 0 0
151.66/151.78 c indtwoopt : 0.00 0.00 0 0
151.66/151.78 c fixandinfer : 0.00 0.00 0 0
151.66/151.78 c clique : 0.00 0.00 0 0
151.66/151.78 c indcoefdiving : 0.00 0.00 0 0
151.66/151.78 c indrounding : 0.00 0.00 0 0
151.66/151.78 c nlpdiving : 0.00 0.00 0 0
151.66/151.78 c intdiving : 0.00 0.00 0 0
151.66/151.78 c actconsdiving : 0.00 0.00 0 0
151.66/151.78 c octane : 0.00 0.00 0 0
151.66/151.78 c rens : 4.39 0.00 1 1
151.66/151.78 c rins : 0.00 0.00 0 0
151.66/151.78 c localbranching : 0.00 0.00 0 0
151.66/151.78 c mutation : 0.00 0.00 0 0
151.66/151.78 c dins : 0.00 0.00 0 0
151.66/151.78 c vbounds : 0.00 0.00 0 0
151.66/151.78 c undercover : 0.08 0.00 1 1
151.66/151.78 c subnlp : 0.00 0.00 0 0
151.66/151.78 c trysol : 0.00 0.00 0 0
151.66/151.78 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
151.66/151.78 c primal LP : 0.60 845 5 5.00 8.31 0.60 844
151.66/151.78 c dual LP : 95.98 12485 784941 68.40 8177.83 0.42 1009
151.66/151.78 c lex dual LP : 0.00 0 0 0.00 -
151.66/151.78 c barrier LP : 0.00 0 0 0.00 - 0.00 0
151.66/151.78 c diving/probing LP: 10.68 5368 84058 15.66 7867.50
151.66/151.78 c strong branching : 29.64 489 212508 434.58 7170.64
151.66/151.78 c (at root node) : - 11 11000 1000.00 -
151.66/151.78 c conflict analysis: 0.00 0 0 0.00 -
151.66/151.78 c B&B Tree :
151.66/151.78 c number of runs : 1
151.66/151.78 c nodes : 9128
151.66/151.78 c nodes (total) : 9128
151.66/151.78 c nodes left : 0
151.66/151.78 c max depth : 66
151.66/151.78 c max depth (total): 66
151.66/151.78 c backtracks : 1896 (20.8%)
151.66/151.78 c delayed cutoffs : 1
151.66/151.78 c repropagations : 508 (5776 domain reductions, 0 cutoffs)
151.66/151.78 c avg switch length: 10.23
151.66/151.78 c switching time : 1.86
151.66/151.78 c Solution :
151.66/151.78 c Solutions found : 11 (6 improvements)
151.66/151.78 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
151.66/151.78 c Primal Bound : -7.00000000000000e+00 (in run 1, after 3036 nodes, 120.12 seconds, depth 51, found by <relaxation>)
151.66/151.78 c Dual Bound : -7.00000000000000e+00
151.66/151.78 c Gap : 0.00 %
151.66/151.78 c Root Dual Bound : -2.50000000000000e+01
151.66/151.78 c Root Iterations : 4813
151.66/151.79 c Time complete: 151.76.
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-3691430-1338021686/watcher-3691430-1338021686 -o /tmp/evaluation-result-3691430-1338021686/solver-3691430-1338021686 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691430-1338021686.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: 1.92 1.99 1.99 3/176 18139
/proc/meminfo: memFree=27961760/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=10116 CPUtime=0 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 1270 0 0 0 0 0 0 0 20 0 1 0 268293492 10358784 1225 33554432000 4194304 10173063 140737394243984 140733776437896 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 2529 1225 417 1460 0 1060 0
[startup+0.0821091 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18139
/proc/meminfo: memFree=27961760/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=22020 CPUtime=0.07 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 4324 0 0 0 4 3 0 0 20 0 1 0 268293492 22548480 4022 33554432000 4194304 10173063 140737394243984 140737394241240 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 5505 4022 577 1460 0 4036 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22020
[startup+0.10024 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18139
/proc/meminfo: memFree=27961760/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=22020 CPUtime=0.09 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 4324 0 0 0 5 4 0 0 20 0 1 0 268293492 22548480 4022 33554432000 4194304 10173063 140737394243984 140737394241240 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 5505 4022 577 1460 0 4036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22020
[startup+0.300204 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18139
/proc/meminfo: memFree=27961760/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=50792 CPUtime=0.29 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 12039 0 0 0 23 6 0 0 20 0 1 0 268293492 52011008 11554 33554432000 4194304 10173063 140737394243984 140737394237240 5760622 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 12698 11554 798 1460 0 11229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50792
[startup+0.700183 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18139
/proc/meminfo: memFree=27961760/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=52720 CPUtime=0.68 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 15494 0 0 0 60 8 0 0 20 0 1 0 268293492 53985280 12097 33554432000 4194304 10173063 140737394243984 140737394237240 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 13180 12097 865 1460 0 11711 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52720
[startup+1.50018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27922428/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=45608 CPUtime=1.49 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 16130 0 0 0 139 10 0 0 20 0 1 0 268293492 46702592 10385 33554432000 4194304 10173063 140737394243984 140737394238872 4223428 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 11402 10385 865 1460 0 9933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45608
[startup+3.10018 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27922288/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61692 CPUtime=3.09 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 19892 0 0 0 297 12 0 0 20 0 1 0 268293492 63172608 14085 33554432000 4194304 10173063 140737394243984 140737394232888 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15423 14085 879 1460 0 13954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61692
[startup+6.30018 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27907284/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61944 CPUtime=6.29 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20020 0 0 0 612 17 0 0 20 0 1 0 268293492 63430656 14213 33554432000 4194304 10173063 140737394243984 140737394234328 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15486 14213 879 1460 0 14017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61944
[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27906440/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61944 CPUtime=12.68 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20044 0 0 0 1247 21 0 0 20 0 1 0 268293492 63430656 14237 33554432000 4194304 10173063 140737394243984 140737394237288 7986089 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15486 14237 882 1460 0 14017 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61944
[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27906572/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61944 CPUtime=25.49 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20044 0 0 0 2517 32 0 0 20 0 1 0 268293492 63430656 14237 33554432000 4194304 10173063 140737394243984 140737394237336 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15486 14237 882 1460 0 14017 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61944
[startup+51.1002 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27903596/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61944 CPUtime=51.08 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20044 0 0 0 5056 52 0 0 20 0 1 0 268293492 63430656 14237 33554432000 4194304 10173063 140737394243984 140737394237432 7986126 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15486 14237 882 1460 0 14017 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61944
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 18140
/proc/meminfo: memFree=27896236/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61944 CPUtime=102.27 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20310 0 0 0 10128 99 0 0 20 0 1 0 268293492 63430656 14503 33554432000 4194304 10173063 140737394243984 140737394237288 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15486 14503 884 1460 0 14017 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61944
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27894672/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=127.86 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 20555 0 0 0 12662 124 0 0 20 0 1 0 268293492 62550016 14338 33554432000 4194304 10173063 140737394243984 140737394237336 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14338 885 1460 0 13802 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 61084
[startup+140.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27893556/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=140.66 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 13928 138 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394237704 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 61084
[startup+147.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27893184/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=147.05 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 14562 143 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394237240 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (KiB) 61084
[startup+150.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27891572/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=150.26 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 14881 145 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394237336 8033045 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 150.26
Current children cumulated vsize (KiB) 61084
[startup+151.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27891696/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=151.06 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 14960 146 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394240472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 151.06
Current children cumulated vsize (KiB) 61084
[startup+151.5 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27891696/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=151.45 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 14999 146 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394240472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 151.45
Current children cumulated vsize (KiB) 61084
[startup+151.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18141
/proc/meminfo: memFree=27891696/32873844 swapFree=6592/6592
[pid=18139] ppid=18137 vsize=61084 CPUtime=151.66 cores=0,2,4,6
/proc/18139/stat : 18139 (scip-2.1.1.4fix) R 18137 18139 17459 0 -1 4202496 21404 0 0 0 15020 146 0 0 20 0 1 0 268293492 62550016 14339 33554432000 4194304 10173063 140737394243984 140737394240472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18139/statm: 15271 14339 886 1460 0 13802 0
Current children cumulated CPU time (s) 151.66
Current children cumulated vsize (KiB) 61084
Child status: 0
Real time (s): 151.798
CPU time (s): 151.765
CPU user time (s): 150.294
CPU system time (s): 1.47078
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 62732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.294
system time used= 1.47078
maximum resident set size= 60748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21408
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= 14
involuntary context switches= 206
runsolver used 0.19697 second user time and 0.639902 second system time
The end
Begin job on node140 at 2012-05-26 10:41:26
IDJOB=3691430
IDBENCH=48231
IDSOLVER=2270
FILE ID=node140/3691430-1338021686
RUNJOBID= node140-1338016921-17475
PBS_JOBID= 14624335
Free space on /tmp= 71468 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_50_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-3691430-1338021686/watcher-3691430-1338021686 -o /tmp/evaluation-result-3691430-1338021686/solver-3691430-1338021686 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691430-1338021686.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2
RANDOM SEED=516602295
node140.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.094
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.18
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.094
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.094
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.094
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.094
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.094
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.88
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.094
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.90
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.094
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: 27962024 kB
Buffers: 255484 kB
Cached: 3733564 kB
SwapCached: 0 kB
Active: 783144 kB
Inactive: 3348960 kB
Active(anon): 144876 kB
Inactive(anon): 0 kB
Active(file): 638268 kB
Inactive(file): 3348960 kB
Unevictable: 6592 kB
Mlocked: 6592 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 13752 kB
Writeback: 0 kB
AnonPages: 148852 kB
Mapped: 17724 kB
Shmem: 200 kB
Slab: 642028 kB
SReclaimable: 84460 kB
SUnreclaim: 557568 kB
KernelStack: 1448 kB
PageTables: 4352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 256368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 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= 71456 MiB
End job on node140 at 2012-05-26 10:43:58