0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2693533-1277909156.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.02/0.07 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.02/0.09 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14 c 1118 implications, 12 cliques
0.09/0.14 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14 c 851 constraints of type <indicator>
0.09/0.14 c 12 constraints of type <setppc>
0.09/0.14 c 851 constraints of type <linear>
0.09/0.14 c 1730 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 0 | 41 | - |8736k| 0 | 35 |1933 |3444 |1933 |1742 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 80 | - |8835k| 0 | 44 |1933 |3444 |1933 |1759 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 168 | - |9173k| 0 | 48 |1933 |3444 |1933 |1775 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 325 | - |9231k| 0 | 38 |1933 |3444 |1933 |1787 | 45 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 425 | - |9328k| 0 | 21 |1933 |3444 |1933 |1794 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 c 0.7s| 1 | 0 | 1948 | - |9378k| 0 | 114 |1933 |3444 |1933 |1796 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 1.0s| 1 | 0 | 2508 | - |9878k| 0 | 139 |1933 |3444 |1933 |1834 | 92 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 c 1.2s| 1 | 0 | 2945 | - | 10M| 0 | 140 |1933 |3444 |1933 |1856 | 114 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.61 c 1.6s| 1 | 0 | 3780 | - | 10M| 0 | 160 |1933 |3444 |1933 |1864 | 122 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.86 c 1.8s| 1 | 0 | 4237 | - | 12M| 0 | 166 |1933 |3444 |1933 |1888 | 146 | 0 | 0 | 0.000000e+00 | -- | Inf
6.99/7.09 c 7.0s| 1 | 2 | 4237 | - | 12M| 0 | 166 |1933 |3444 |1933 |1888 | 146 | 0 | 33 | 0.000000e+00 | -- | Inf
6.99/7.09 o 41732
6.99/7.09 c y 7.0s| 2 | 1 | 4237 | 0.0 | 12M| 1 | - |1933 |3444 | 0 | 0 | 146 | 0 | 33 | 0.000000e+00 | 4.173200e+04 | Inf
29.19/29.23 o 731
29.19/29.23 c *28.7s| 4175 | 4102 | 20676 | 3.9 | 21M| 75 | - |1933 |3487 |1933 |1863 |1357 | 50 | 646 | 0.000000e+00 | 7.310000e+02 | Inf
32.39/32.43 o 723
32.39/32.43 c *31.8s| 6119 | 6005 | 29063 | 4.1 | 25M| 75 | - |1933 |3540 |1933 |1880 |2312 | 110 | 709 | 0.000000e+00 | 7.230000e+02 | Inf
36.19/36.23 o 721
36.19/36.23 c *35.5s| 7647 | 7495 | 43815 | 5.2 | 28M| 89 | - |1933 |3585 |1933 |1860 |3036 | 175 | 763 | 0.000000e+00 | 7.210000e+02 | Inf
38.09/38.19 o 714
38.09/38.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.09/38.19 c *37.4s| 8532 | 8340 | 51845 | 5.6 | 29M| 89 | - |1933 |3639 |1933 |1901 |3467 | 245 | 763 | 0.000000e+00 | 7.140000e+02 | Inf
38.09/38.20 o 680
38.09/38.20 c *37.4s| 8533 | 8293 | 51847 | 5.6 | 29M| 89 | - |1933 |3639 |1933 |1901 |3467 | 245 | 763 | 0.000000e+00 | 6.800000e+02 | Inf
39.60/39.69 o 6
39.60/39.69 c *38.8s| 9913 | 265 | 53928 | 5.0 | 16M| 390 | - |1933 |3639 |1933 |1880 |3557 | 255 | 763 | 0.000000e+00 | 6.000000e+00 | Inf
39.89/39.96 c 39.1s| 10000 | 253 | 55730 | 5.1 | 16M| 390 | 27 |1933 |2904 |1933 |1860 |3557 | 358 | 764 | 0.000000e+00 | 6.000000e+00 | Inf
64.69/64.78 c 62.9s| 20000 | 218 |216320 | 10.6 | 20M| 390 | - |1933 | 11k|1933 |1860 |4910 | 12k|1304 | 0.000000e+00 | 6.000000e+00 | Inf
89.29/89.33 c 86.5s| 30000 | 230 |368345 | 12.1 | 23M| 390 | 32 |1933 | 16k|1933 |1860 |5898 | 25k|1809 | 0.000000e+00 | 6.000000e+00 | Inf
111.89/111.95 c 108s| 40000 | 284 |505868 | 12.5 | 25M| 390 | 27 |1933 | 20k|1933 |1860 |6827 | 38k|1849 | 0.000000e+00 | 6.000000e+00 | Inf
134.99/135.00 c 131s| 50000 | 327 |636430 | 12.6 | 26M| 390 | 21 |1933 | 22k|1933 |1860 |7762 | 51k|1854 | 0.000000e+00 | 6.000000e+00 | Inf
161.09/161.18 c 156s| 60000 | 410 |776102 | 12.9 | 28M| 390 | 20 |1933 | 23k|1933 |1860 |9024 | 64k|2233 | 0.000000e+00 | 6.000000e+00 | Inf
186.70/186.78 c 180s| 70000 | 480 |910228 | 12.9 | 30M| 390 | 20 |1933 | 25k|1933 |1860 |9976 | 78k|2508 | 0.000000e+00 | 6.000000e+00 | Inf
214.09/214.16 c 207s| 80000 | 539 | 1055k| 13.1 | 31M| 390 | 10 |1933 | 25k|1933 |1860 | 10k| 92k|2918 | 0.000000e+00 | 6.000000e+00 | Inf
240.59/240.67 c 232s| 90000 | 583 | 1192k| 13.2 | 31M| 390 | 18 |1933 | 24k|1933 |1860 | 12k| 106k|3266 | 0.000000e+00 | 6.000000e+00 | Inf
264.10/264.11 c 255s|100000 | 806 | 1311k| 13.1 | 34M| 390 | - |1933 | 28k|1933 |1868 | 13k| 119k|3432 | 0.000000e+00 | 6.000000e+00 | Inf
288.79/288.88 c 279s|110000 | 920 | 1436k| 13.0 | 36M| 390 | - |1933 | 30k| 0 | 0 | 14k| 132k|3662 | 0.000000e+00 | 6.000000e+00 | Inf
313.20/313.23 c 302s|120000 | 960 | 1556k| 12.9 | 36M| 390 | 21 |1933 | 30k|1933 |1869 | 15k| 145k|3852 | 0.000000e+00 | 6.000000e+00 | Inf
339.10/339.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.10/339.13 c 328s|130000 | 1013 | 1686k| 12.9 | 38M| 390 | 17 |1933 | 32k|1933 |1860 | 16k| 159k|4046 | 0.000000e+00 | 6.000000e+00 | Inf
364.90/364.93 c 352s|140000 | 1202 | 1812k| 12.9 | 39M| 390 | - |1933 | 32k|1933 |1860 | 18k| 172k|4325 | 0.000000e+00 | 6.000000e+00 | Inf
391.10/391.13 c 378s|150000 | 1217 | 1942k| 12.9 | 39M| 390 | - |1933 | 30k| 0 | 0 | 19k| 185k|4543 | 0.000000e+00 | 6.000000e+00 | Inf
415.50/415.53 c 401s|160000 | 1386 | 2066k| 12.9 | 42M| 390 | 12 |1933 | 35k|1933 |1867 | 20k| 199k|4685 | 0.000000e+00 | 6.000000e+00 | Inf
441.60/441.61 c 427s|170000 | 1408 | 2194k| 12.9 | 43M| 390 | - |1933 | 35k|1933 |1867 | 20k| 213k|4840 | 0.000000e+00 | 6.000000e+00 | Inf
468.70/468.72 c 453s|180000 | 1472 | 2328k| 12.9 | 43M| 390 | - |1933 | 34k|1933 |1860 | 21k| 226k|5093 | 0.000000e+00 | 6.000000e+00 | Inf
496.20/496.27 c 480s|190000 | 1538 | 2461k| 12.9 | 46M| 390 | - |1933 | 38k|1933 |1872 | 23k| 239k|5336 | 0.000000e+00 | 6.000000e+00 | Inf
523.61/523.63 c 506s|200000 | 1543 | 2590k| 12.9 | 44M| 390 | - |1933 | 31k| 0 | 0 | 24k| 253k|5630 | 0.000000e+00 | 6.000000e+00 | Inf
550.10/550.10 c 532s|210000 | 1436 | 2716k| 12.9 | 43M| 390 | - |1933 | 29k|1933 |1860 | 25k| 266k|5734 | 0.000000e+00 | 6.000000e+00 | Inf
576.41/576.44 c 557s|220000 | 1316 | 2843k| 12.9 | 41M| 390 | 17 |1933 | 25k|1933 |1860 | 25k| 280k|5905 | 0.000000e+00 | 6.000000e+00 | Inf
602.20/602.23 c 582s|230000 | 906 | 2978k| 12.9 | 36M| 390 | 20 |1933 | 21k|1933 |1860 | 26k| 294k|6097 | 0.000000e+00 | 6.000000e+00 | Inf
626.91/626.98 c 606s|240000 | 1098 | 3110k| 12.9 | 39M| 390 | 25 |1933 | 28k|1933 |1860 | 27k| 307k|6284 | 0.000000e+00 | 6.000000e+00 | Inf
652.50/652.55 c 631s|250000 | 1261 | 3233k| 12.9 | 42M| 390 | 1 |1933 | 32k|1933 |1860 | 28k| 321k|6423 | 0.000000e+00 | 6.000000e+00 | Inf
681.41/681.41 c 659s|260000 | 1599 | 3378k| 13.0 | 46M| 390 | 24 |1933 | 37k|1933 |1860 | 29k| 335k|6622 | 0.000000e+00 | 6.000000e+00 | Inf
711.10/711.17 c 687s|270000 | 1710 | 3525k| 13.0 | 48M| 390 | - |1933 | 38k| 0 | 0 | 30k| 349k|6824 | 0.000000e+00 | 6.000000e+00 | Inf
739.12/739.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.12/739.17 c 714s|280000 | 1794 | 3659k| 13.1 | 50M| 390 | 31 |1933 | 42k|1933 |1860 | 31k| 363k|6978 | 0.000000e+00 | 6.000000e+00 | Inf
769.01/769.05 c 743s|290000 | 1849 | 3805k| 13.1 | 48M| 390 | 19 |1933 | 35k|1933 |1860 | 32k| 377k|7149 | 0.000000e+00 | 6.000000e+00 | Inf
797.41/797.50 c 771s|300000 | 1990 | 3951k| 13.2 | 51M| 390 | 23 |1933 | 38k|1933 |1860 | 34k| 391k|7294 | 0.000000e+00 | 6.000000e+00 | Inf
824.41/824.41 c 797s|310000 | 2053 | 4084k| 13.2 | 50M| 390 | - |1933 | 31k| 0 | 0 | 35k| 404k|7430 | 0.000000e+00 | 6.000000e+00 | Inf
851.42/851.42 c 823s|320000 | 1871 | 4215k| 13.2 | 47M| 390 | - |1933 | 26k|1933 |1860 | 36k| 419k|7568 | 0.000000e+00 | 6.000000e+00 | Inf
878.31/878.35 c 849s|330000 | 1271 | 4357k| 13.2 | 42M| 390 | - |1933 | 24k| 0 | 0 | 37k| 433k|7711 | 0.000000e+00 | 6.000000e+00 | Inf
903.22/903.26 c 873s|340000 | 1435 | 4484k| 13.2 | 45M| 390 | 18 |1933 | 29k|1933 |1860 | 38k| 446k|7866 | 0.000000e+00 | 6.000000e+00 | Inf
928.32/928.32 c 897s|350000 | 1748 | 4619k| 13.2 | 48M| 390 | - |1933 | 33k| 0 | 0 | 39k| 459k|7980 | 0.000000e+00 | 6.000000e+00 | Inf
954.51/954.51 c 922s|360000 | 2012 | 4753k| 13.2 | 49M| 390 | - |1933 | 31k|1933 |1870 | 40k| 473k|8084 | 0.000000e+00 | 6.000000e+00 | Inf
979.92/979.90 c 947s|370000 | 2145 | 4881k| 13.2 | 50M| 390 | - |1933 | 30k|1933 |1860 | 41k| 486k|8209 | 0.000000e+00 | 6.000000e+00 | Inf
1005.81/1005.82 c 972s|380000 | 2307 | 5017k| 13.2 | 52M| 390 | - |1933 | 32k| 0 | 0 | 43k| 500k|8325 | 0.000000e+00 | 6.000000e+00 | Inf
1032.02/1032.06 c 997s|390000 | 2382 | 5153k| 13.2 | 53M| 390 | 18 |1933 | 31k|1933 |1860 | 44k| 513k|8461 | 0.000000e+00 | 6.000000e+00 | Inf
1057.02/1057.06 c 1021s|400000 | 2522 | 5274k| 13.2 | 55M| 390 | 22 |1933 | 34k|1933 |1860 | 45k| 527k|8572 | 0.000000e+00 | 6.000000e+00 | Inf
1082.92/1082.92 c 1046s|410000 | 2666 | 5405k| 13.2 | 57M| 390 | - |1933 | 34k| 0 | 0 | 46k| 540k|8670 | 0.000000e+00 | 6.000000e+00 | Inf
1108.12/1108.19 c 1071s|420000 | 2712 | 5531k| 13.2 | 57M| 390 | 29 |1933 | 32k|1933 |1860 | 47k| 554k|8751 | 0.000000e+00 | 6.000000e+00 | Inf
1134.32/1134.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.32/1134.34 c 1096s|430000 | 2832 | 5660k| 13.2 | 57M| 390 | 8 |1933 | 31k|1933 |1860 | 48k| 567k|8904 | 0.000000e+00 | 6.000000e+00 | Inf
1160.62/1160.69 c 1121s|440000 | 2989 | 5793k| 13.2 | 60M| 390 | - |1933 | 33k|1933 |1860 | 50k| 580k|9008 | 0.000000e+00 | 6.000000e+00 | Inf
1186.92/1186.94 c 1147s|450000 | 2826 | 5928k| 13.2 | 59M| 390 | - |1933 | 31k| 0 | 0 | 51k| 594k|9156 | 0.000000e+00 | 6.000000e+00 | Inf
1213.92/1213.90 c 1173s|460000 | 2928 | 6070k| 13.2 | 61M| 390 | 19 |1933 | 34k|1933 |1860 | 52k| 607k|9354 | 0.000000e+00 | 6.000000e+00 | Inf
1241.93/1241.91 c 1200s|470000 | 3218 | 6220k| 13.2 | 64M| 390 | 13 |1933 | 39k|1933 |1860 | 54k| 621k|9456 | 0.000000e+00 | 6.000000e+00 | Inf
1270.22/1270.26 c 1227s|480000 | 3359 | 6364k| 13.3 | 68M| 390 | 8 |1933 | 45k|1933 |1860 | 55k| 634k|9568 | 0.000000e+00 | 6.000000e+00 | Inf
1299.52/1299.51 c 1256s|490000 | 3383 | 6509k| 13.3 | 68M| 390 | 10 |1933 | 44k|1933 |1860 | 55k| 648k|9719 | 0.000000e+00 | 6.000000e+00 | Inf
1329.02/1329.05 c 1284s|500000 | 3425 | 6655k| 13.3 | 69M| 390 | 22 |1933 | 45k|1933 |1860 | 56k| 661k|9813 | 0.000000e+00 | 6.000000e+00 | Inf
1358.32/1358.32 c 1312s|510000 | 3591 | 6795k| 13.3 | 71M| 390 | - |1933 | 48k|1933 |1860 | 57k| 675k|9902 | 0.000000e+00 | 6.000000e+00 | Inf
1388.93/1388.94 c 1342s|520000 | 3510 | 6937k| 13.3 | 69M| 390 | - |1933 | 41k|1933 |1860 | 59k| 689k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1417.32/1417.39 c 1370s|530000 | 3265 | 7066k| 13.3 | 67M| 390 | 12 |1933 | 40k|1933 |1860 | 60k| 702k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1445.53/1445.57 c 1397s|540000 | 3532 | 7196k| 13.3 | 70M| 390 | 22 |1933 | 44k|1933 |1860 | 62k| 715k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1473.33/1473.30 c 1424s|550000 | 3827 | 7322k| 13.3 | 73M| 390 | 17 |1933 | 46k|1933 |1860 | 63k| 728k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1502.03/1502.02 c 1452s|560000 | 3955 | 7446k| 13.3 | 74M| 390 | - |1933 | 48k|1933 |1860 | 64k| 741k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1532.24/1532.22 c 1481s|570000 | 4099 | 7577k| 13.3 | 76M| 390 | 10 |1933 | 49k|1933 |1860 | 66k| 755k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1562.63/1562.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.63/1562.69 c 1510s|580000 | 4136 | 7721k| 13.3 | 77M| 390 | - |1933 | 47k|1933 |1860 | 67k| 768k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1592.33/1592.37 c 1539s|590000 | 4199 | 7858k| 13.3 | 75M| 390 | 22 |1933 | 41k|1933 |1860 | 68k| 781k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1624.83/1624.80 c 1570s|600000 | 4347 | 8001k| 13.3 | 78M| 390 | 23 |1933 | 44k|1933 |1860 | 69k| 794k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1657.23/1657.22 c 1602s|610000 | 4454 | 8145k| 13.3 | 80M| 390 | - |1933 | 47k| 0 | 0 | 69k| 807k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
1689.44/1689.42 c 1633s|620000 | 4458 | 8288k| 13.4 | 80M| 390 | 25 |1933 | 45k|1933 |1860 | 69k| 821k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
1719.84/1719.87 c 1663s|630000 | 4613 | 8430k| 13.4 | 81M| 390 | 17 |1933 | 44k|1933 |1866 | 70k| 835k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
1748.04/1748.07 c 1690s|640000 | 4796 | 8566k| 13.4 | 83M| 390 | 19 |1933 | 47k|1933 |1860 | 71k| 848k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
1778.14/1778.17 c 1719s|650000 | 4948 | 8715k| 13.4 | 85M| 390 | 12 |1933 | 50k|1933 |1860 | 73k| 861k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1740.38
1800.05/1800.01 c Solving Nodes : 657555
1800.05/1800.01 c Primal Bound : +6.00000000000000e+00 (106 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.05/1800.02 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.02 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.05/1800.02 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.05/1800.02 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.02 v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.02 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.02 v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.02 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 -x3 -x2
1800.05/1800.02 v -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1740.38
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2693533-1277909156.wbo
1800.05/1800.02 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.02 c Constraints : 3614 initial, 3614 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2693533-1277909156.wbo
1800.05/1800.02 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.05/1800.02 c Constraints : 3444 initial, 53320 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.05 0 0 0 906 0 115 55 0
1800.05/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 799 - - 1598 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 370938 0 670 5279 0 0 690458
1800.05/1800.02 c indicator : 851 0 2801672 20495 0 9 106482 0 0 0
1800.05/1800.02 c setppc : 12 9 2802634 15363 0 53643 2070605 0 0 0
1800.05/1800.02 c linear : 851 9 2756170 20510 0 61705 9807378 74492 0 0
1800.05/1800.02 c logicor : 1730+ 9 1488724 8483 0 74720 5253188 0 0 0
1800.05/1800.02 c countsols : 0 0 0 8483 0 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 54.42 0.00 0.00 54.42 0.00
1800.05/1800.02 c indicator : 3.24 0.00 2.53 0.71 0.00
1800.05/1800.02 c setppc : 14.34 0.00 14.33 0.01 0.00
1800.05/1800.02 c linear : 61.30 0.00 60.97 0.33 0.00
1800.05/1800.02 c logicor : 265.57 0.00 265.46 0.11 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.90 2 0 0
1800.05/1800.02 c rootredcost : 0.61 7 0 799
1800.05/1800.02 c pseudoobj : 45.83 2809666 24 72466
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 8.13 190092 189438 1078465 26.8 4859 26.5 -
1800.05/1800.02 c infeasible LP : 26.14 146802 146802 1070258 42.7 1153 18.9 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.02 c applied globally : - - - 871026 30.1 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 8 - - 41 - (maximal pool size: 1150)
1800.05/1800.02 c redcost : 9.27 371279 0 16327 0 0
1800.05/1800.02 c impliedbounds : 0.00 9 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.45 9 0 0 1173 0
1800.05/1800.02 c strongcg : 0.31 9 0 0 2368 0
1800.05/1800.02 c cmir : 0.05 9 0 0 3 0
1800.05/1800.02 c flowcover : 0.08 9 0 0 3 0
1800.05/1800.02 c clique : 0.01 9 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 1 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 54.25 350410 670 5279 0 0 690458
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 0.63 8477 0 0 0 0 16954
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.01 - 6
1800.05/1800.02 c pseudo solutions : 0.00 - 0
1800.05/1800.02 c oneopt : 0.35 6 0
1800.05/1800.02 c feaspump : 0.05 1 0
1800.05/1800.02 c crossover : 0.50 12 0
1800.05/1800.02 c fracdiving : 0.72 424 0
1800.05/1800.02 c veclendiving : 0.47 424 0
1800.05/1800.02 c linesearchdiving : 0.56 424 0
1800.05/1800.02 c guideddiving : 0.72 425 0
1800.05/1800.02 c coefdiving : 0.45 425 0
1800.05/1800.02 c pscostdiving : 0.55 425 0
1800.05/1800.02 c rootsoldiving : 0.35 323 0
1800.05/1800.02 c objpscostdiving : 0.37 323 0
1800.05/1800.02 c trivial : 0.01 2 0
1800.05/1800.02 c simplerounding : 0.59 350419 0
1800.05/1800.02 c zirounding : 0.31 1000 0
1800.05/1800.02 c rounding : 1.01 8343 0
1800.05/1800.02 c shifting : 0.76 2602 0
1800.05/1800.02 c intshifting : 0.03 17 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.05 1 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.21 0 0
1800.05/1800.02 c trysol : 0.41 1162 100
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 895.89 507236 8799615 17.35 9822.20
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 2.09 1220 10327 8.46 4941.15
1800.05/1800.02 c strong branching : 51.09 11350 416652 36.71 8155.26
1800.05/1800.02 c (at root node) : - 33 28697 869.61 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 657555
1800.05/1800.02 c nodes (total) : 657555
1800.05/1800.02 c nodes left : 5320
1800.05/1800.02 c max depth : 390
1800.05/1800.02 c max depth (total): 390
1800.05/1800.02 c backtracks : 93999 (14.3%)
1800.05/1800.02 c delayed cutoffs : 35025
1800.05/1800.02 c repropagations : 974296 (3059901 domain reductions, 32370 cutoffs)
1800.05/1800.02 c avg switch length: 4.58
1800.05/1800.02 c switching time : 202.80
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 106 (7 improvements)
1800.05/1800.02 c First Solution : +4.17320000000000e+04 (in run 1, after 1 nodes, 1.85 seconds, depth 0, found by <trysol>)
1800.05/1800.02 c Primal Bound : +6.00000000000000e+00 (in run 1, after 9913 nodes, 38.81 seconds, depth 390, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 4237
1800.15/1800.14 c Time complete: 1800.18.
Begin job on node122 at 2010-06-30 16:45:56
IDJOB=2693533
IDBENCH=78965
IDSOLVER=1205
FILE ID=node122/2693533-1277909156
PBS_JOBID= 11197226
Free space on /tmp= 74204 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693533-1277909156/watcher-2693533-1277909156 -o /tmp/evaluation-result-2693533-1277909156/solver-2693533-1277909156 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693533-1277909156.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc51ff1d1c737b59f1aece9b373640d1
RANDOM SEED=96656512
node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.08
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.85
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31213736 kB
Buffers: 190960 kB
Cached: 1157956 kB
SwapCached: 0 kB
Active: 771488 kB
Inactive: 824428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31213736 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6224 kB
Writeback: 0 kB
AnonPages: 246820 kB
Mapped: 17848 kB
Slab: 78708 kB
PageTables: 5192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 401560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node122 at 2010-06-30 17:15:58