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-2693543-1277909714.wbo>
0.00/0.03 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.04 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.03/0.08 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.11 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.15 c (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (5 rounds):
0.09/0.15 c 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.15 c 1151 implications, 14 cliques
0.09/0.15 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.15 c 888 constraints of type <indicator>
0.09/0.15 c 14 constraints of type <setppc>
0.09/0.15 c 888 constraints of type <linear>
0.09/0.15 c 1693 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 27 | - |8919k| 0 | 22 |2007 |3483 |2007 |1707 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.22 c 0.2s| 1 | 0 | 81 | - |9043k| 0 | 44 |2007 |3483 |2007 |1725 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 156 | - |9324k| 0 | 58 |2007 |3483 |2007 |1737 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 475 | - |9337k| 0 | 56 |2007 |3483 |2007 |1743 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 o 44536
0.39/0.47 c y 0.4s| 1 | 0 | 475 | - |9367k| 0 | 56 |2007 |3483 |2007 |1743 | 36 | 0 | 0 | 0.000000e+00 | 4.453600e+04 | Inf
0.49/0.58 c 0.5s| 1 | 0 | 488 | - |9373k| 0 | 58 |2007 |3483 |2007 |1754 | 47 | 0 | 0 | 0.000000e+00 | 4.453600e+04 | Inf
0.79/0.85 c 0.8s| 1 | 0 | 1431 | - |9539k| 0 | 104 |2007 |3483 |2007 |1756 | 49 | 0 | 0 | 0.000000e+00 | 4.453600e+04 | Inf
0.99/1.05 c 1.0s| 1 | 0 | 1779 | - |9624k| 0 | 110 |2007 |3483 |2007 |1785 | 78 | 0 | 0 | 0.000000e+00 | 4.453600e+04 | Inf
4.89/4.97 c 4.9s| 1 | 2 | 1779 | - |9658k| 0 | 110 |2007 |3483 |2007 |1785 | 78 | 0 | 33 | 0.000000e+00 | 4.453600e+04 | Inf
26.30/26.37 o 138
26.30/26.37 c *25.9s| 771 | 393 | 25109 | 30.3 | 12M| 57 | - |2007 |3502 |2007 |1794 | 653 | 19 | 308 | 0.000000e+00 | 1.380000e+02 | Inf
27.19/27.26 o 124
27.19/27.26 c *26.8s| 834 | 388 | 28411 | 32.0 | 13M| 57 | - |2007 |3540 |2007 |1790 | 712 | 57 | 318 | 0.000000e+00 | 1.240000e+02 | Inf
27.19/27.28 o 102
27.19/27.28 c *26.8s| 842 | 311 | 28442 | 31.7 | 13M| 57 | - |2007 |3540 |2007 |1792 | 714 | 57 | 318 | 0.000000e+00 | 1.020000e+02 | Inf
27.19/27.28 o 86
27.19/27.28 c *26.8s| 843 | 257 | 28447 | 31.7 | 13M| 57 | - |2007 |3540 |2007 |1792 | 714 | 57 | 318 | 0.000000e+00 | 8.600000e+01 | Inf
27.29/27.33 o 76
27.29/27.33 c *26.9s| 850 | 224 | 28762 | 31.8 | 13M| 57 | - |2007 |3426 |2007 |1783 | 726 | 64 | 318 | 0.000000e+00 | 7.600000e+01 | Inf
27.29/27.33 o 30
27.29/27.33 c *26.9s| 851 | 83 | 28797 | 31.8 | 12M| 57 | - |2007 |3426 |2007 |1783 | 738 | 64 | 318 | 0.000000e+00 | 3.000000e+01 | Inf
52.49/52.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.49/52.54 c 51.2s| 10000 | 414 |156443 | 15.5 | 17M| 57 | - |2007 |7929 | 0 | 0 |1907 | 11k| 687 | 0.000000e+00 | 3.000000e+01 | Inf
52.89/52.96 o 20
52.89/52.96 c *51.7s| 10160 | 400 |158285 | 15.4 | 17M| 57 | - |2007 |8022 |2007 |1771 |1912 | 12k| 702 | 0.000000e+00 | 2.000000e+01 | Inf
79.99/80.05 c 77.8s| 20000 | 361 |306811 | 15.3 | 18M| 57 | 13 |2007 |6297 |2007 |1782 |2897 | 24k|1099 | 0.000000e+00 | 2.000000e+01 | Inf
109.09/109.13 c 106s| 30000 | 598 |472739 | 15.7 | 20M| 57 | - |2007 |7748 | 0 | 0 |3686 | 37k|1405 | 0.000000e+00 | 2.000000e+01 | Inf
136.40/136.49 c 133s| 40000 | 807 |633131 | 15.8 | 24M| 61 | 17 |2007 |9249 |2007 |1771 |4504 | 49k|1409 | 0.000000e+00 | 2.000000e+01 | Inf
164.49/164.56 c 160s| 50000 | 827 |793655 | 15.8 | 26M| 61 | 9 |2007 | 11k|2007 |1771 |5520 | 62k|1521 | 0.000000e+00 | 2.000000e+01 | Inf
184.29/184.38 o 16
184.29/184.38 c * 179s| 57411 | 743 |896649 | 15.6 | 26M| 61 | - |2007 | 12k|2007 |1771 |6658 | 71k|1692 | 0.000000e+00 | 1.600000e+01 | Inf
191.30/191.34 c 186s| 60000 | 836 |932252 | 15.5 | 26M| 61 | - |2007 | 11k|2007 |1771 |6996 | 75k|1797 | 0.000000e+00 | 1.600000e+01 | Inf
194.90/194.94 o 14
194.90/194.94 c * 189s| 61592 | 675 |950809 | 15.4 | 24M| 61 | - |2007 | 11k|2007 |1771 |7238 | 77k|1801 | 0.000000e+00 | 1.400000e+01 | Inf
210.39/210.45 o 13
210.39/210.45 c * 204s| 67932 | 813 | 1031k| 15.2 | 26M| 61 | - |2007 | 14k|2007 |1777 |8011 | 86k|1899 | 0.000000e+00 | 1.300000e+01 | Inf
210.50/210.53 o 12
210.50/210.53 c * 204s| 67965 | 745 | 1031k| 15.2 | 25M| 61 | - |2007 | 13k|2007 |1777 |8017 | 86k|1899 | 0.000000e+00 | 1.200000e+01 | Inf
217.09/217.16 c 211s| 70000 | 786 | 1070k| 15.3 | 25M| 61 | 14 |2007 | 13k|2007 |1777 |8359 | 89k|1988 | 0.000000e+00 | 1.200000e+01 | Inf
243.10/243.19 c 236s| 80000 | 987 | 1206k| 15.1 | 26M| 61 | 12 |2007 | 13k|2007 |1773 |9875 | 103k|2121 | 0.000000e+00 | 1.200000e+01 | Inf
269.51/269.54 c 262s| 90000 | 1118 | 1352k| 15.0 | 29M| 61 | 24 |2007 | 15k|2007 |1771 | 11k| 117k|2257 | 0.000000e+00 | 1.200000e+01 | Inf
294.81/294.82 c 286s|100000 | 1290 | 1481k| 14.8 | 31M| 61 | 21 |2007 | 16k|2007 |1771 | 12k| 131k|2442 | 0.000000e+00 | 1.200000e+01 | Inf
321.00/321.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.00/321.07 c 311s|110000 | 1511 | 1614k| 14.7 | 33M| 61 | - |2007 | 18k|2007 |1771 | 14k| 145k|2586 | 0.000000e+00 | 1.200000e+01 | Inf
346.90/346.97 c 336s|120000 | 1662 | 1737k| 14.5 | 35M| 61 | 25 |2007 | 21k|2007 |1771 | 15k| 159k|2660 | 0.000000e+00 | 1.200000e+01 | Inf
374.01/374.05 c 363s|130000 | 1761 | 1865k| 14.3 | 37M| 61 | 24 |2007 | 22k|2007 |1771 | 16k| 173k|2803 | 0.000000e+00 | 1.200000e+01 | Inf
400.61/400.69 c 389s|140000 | 1734 | 1992k| 14.2 | 37M| 61 | 19 |2007 | 19k|2007 |1771 | 18k| 187k|2892 | 0.000000e+00 | 1.200000e+01 | Inf
429.20/429.24 c 416s|150000 | 1700 | 2141k| 14.3 | 37M| 61 | 19 |2007 | 19k|2007 |1771 | 19k| 200k|3035 | 0.000000e+00 | 1.200000e+01 | Inf
454.50/454.54 c 441s|160000 | 1755 | 2264k| 14.1 | 38M| 61 | 16 |2007 | 19k|2007 |1781 | 20k| 214k|3137 | 0.000000e+00 | 1.200000e+01 | Inf
477.50/477.58 o 8
477.50/477.58 c * 463s|168843 | 1523 | 2375k| 14.1 | 36M| 61 | - |2007 | 21k|2007 |1771 | 22k| 227k|3229 | 0.000000e+00 | 8.000000e+00 | Inf
480.61/480.66 c 466s|170000 | 1522 | 2391k| 14.1 | 35M| 61 | - |2007 | 19k|2007 |1781 | 22k| 228k|3237 | 0.000000e+00 | 8.000000e+00 | Inf
508.40/508.44 c 493s|180000 | 1411 | 2535k| 14.1 | 34M| 61 | - |2007 | 17k| 0 | 0 | 23k| 242k|3375 | 0.000000e+00 | 8.000000e+00 | Inf
536.82/536.86 c 521s|190000 | 1312 | 2691k| 14.2 | 34M| 61 | - |2007 | 18k|2007 |1781 | 25k| 255k|3494 | 0.000000e+00 | 8.000000e+00 | Inf
563.11/563.19 c 546s|200000 | 1254 | 2818k| 14.1 | 34M| 61 | - |2007 | 19k|2007 |1771 | 26k| 269k|3640 | 0.000000e+00 | 8.000000e+00 | Inf
591.81/591.85 c 574s|210000 | 1288 | 2966k| 14.1 | 36M| 61 | - |2007 | 22k| 0 | 0 | 27k| 283k|3760 | 0.000000e+00 | 8.000000e+00 | Inf
620.51/620.57 c 602s|220000 | 1165 | 3115k| 14.2 | 34M| 61 | - |2007 | 20k| 0 | 0 | 29k| 296k|3870 | 0.000000e+00 | 8.000000e+00 | Inf
650.20/650.27 c 630s|230000 | 860 | 3264k| 14.2 | 29M| 61 | - |2007 | 13k| 0 | 0 | 31k| 310k|4212 | 0.000000e+00 | 8.000000e+00 | Inf
677.81/677.87 c 657s|240000 | 1063 | 3415k| 14.2 | 30M| 61 | - |2007 | 13k| 0 | 0 | 32k| 322k|4304 | 0.000000e+00 | 8.000000e+00 | Inf
706.81/706.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.81/706.82 c 685s|250000 | 1000 | 3576k| 14.3 | 30M| 61 | - |2007 | 13k| 0 | 0 | 33k| 335k|4397 | 0.000000e+00 | 8.000000e+00 | Inf
732.62/732.64 c 710s|260000 | 1091 | 3712k| 14.3 | 32M| 61 | - |2007 | 17k| 0 | 0 | 34k| 348k|4522 | 0.000000e+00 | 8.000000e+00 | Inf
758.02/758.02 c 735s|270000 | 1152 | 3837k| 14.2 | 34M| 61 | - |2007 | 19k|2007 |1771 | 36k| 361k|4615 | 0.000000e+00 | 8.000000e+00 | Inf
783.42/783.45 c 759s|280000 | 1339 | 3958k| 14.1 | 35M| 61 | 19 |2007 | 20k|2007 |1771 | 37k| 375k|4706 | 0.000000e+00 | 8.000000e+00 | Inf
811.01/811.00 c 786s|290000 | 1486 | 4093k| 14.1 | 38M| 61 | - |2007 | 24k| 0 | 0 | 39k| 388k|4774 | 0.000000e+00 | 8.000000e+00 | Inf
839.11/839.17 c 813s|300000 | 1488 | 4226k| 14.1 | 38M| 61 | 20 |2007 | 24k|2007 |1777 | 40k| 401k|4875 | 0.000000e+00 | 8.000000e+00 | Inf
868.02/868.00 c 841s|310000 | 1521 | 4364k| 14.1 | 40M| 61 | - |2007 | 27k| 0 | 0 | 41k| 415k|4981 | 0.000000e+00 | 8.000000e+00 | Inf
896.82/896.87 c 869s|320000 | 1635 | 4493k| 14.0 | 41M| 61 | 1 |2007 | 27k|2007 |1771 | 43k| 428k|5074 | 0.000000e+00 | 8.000000e+00 | Inf
926.52/926.59 c 898s|330000 | 1689 | 4627k| 14.0 | 42M| 61 | 24 |2007 | 29k|2007 |1771 | 44k| 441k|5170 | 0.000000e+00 | 8.000000e+00 | Inf
954.02/954.04 c 925s|340000 | 1608 | 4745k| 14.0 | 43M| 61 | - |2007 | 30k| 0 | 0 | 46k| 454k|5234 | 0.000000e+00 | 8.000000e+00 | Inf
982.82/982.86 c 953s|350000 | 1584 | 4874k| 13.9 | 41M| 61 | - |2007 | 25k|2007 |1778 | 47k| 468k|5326 | 0.000000e+00 | 8.000000e+00 | Inf
1000.92/1000.91 o 6
1000.92/1000.91 c * 971s|355845 | 1386 | 4962k| 13.9 | 37M| 61 | - |2007 | 18k|2007 |1771 | 48k| 476k|5415 | 0.000000e+00 | 6.000000e+00 | Inf
1011.62/1011.68 c 981s|360000 | 1395 | 5019k| 13.9 | 37M| 61 | 22 |2007 | 17k|2007 |1779 | 48k| 481k|5417 | 0.000000e+00 | 6.000000e+00 | Inf
1040.62/1040.61 c 1009s|370000 | 1300 | 5178k| 14.0 | 36M| 61 | - |2007 | 14k| 0 | 0 | 50k| 494k|5528 | 0.000000e+00 | 6.000000e+00 | Inf
1066.23/1066.24 c 1034s|380000 | 1337 | 5314k| 14.0 | 37M| 61 | 1 |2007 | 16k|2007 |1771 | 51k| 508k|5606 | 0.000000e+00 | 6.000000e+00 | Inf
1091.02/1091.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.02/1091.04 c 1058s|390000 | 1300 | 5439k| 13.9 | 38M| 61 | 30 |2007 | 18k|2007 |1771 | 53k| 522k|5676 | 0.000000e+00 | 6.000000e+00 | Inf
1116.72/1116.77 c 1083s|400000 | 1360 | 5566k| 13.9 | 39M| 61 | - |2007 | 20k| 0 | 0 | 54k| 535k|5738 | 0.000000e+00 | 6.000000e+00 | Inf
1146.23/1146.24 c 1111s|410000 | 1004 | 5715k| 13.9 | 34M| 61 | - |2007 | 13k| 0 | 0 | 55k| 549k|5832 | 0.000000e+00 | 6.000000e+00 | Inf
1172.32/1172.38 c 1137s|420000 | 983 | 5854k| 13.9 | 35M| 61 | 9 |2007 | 17k|2007 |1771 | 56k| 562k|5904 | 0.000000e+00 | 6.000000e+00 | Inf
1199.12/1199.10 c 1163s|430000 | 832 | 5985k| 13.9 | 34M| 61 | 8 |2007 | 17k|2007 |1771 | 57k| 575k|5964 | 0.000000e+00 | 6.000000e+00 | Inf
1224.93/1224.92 c 1188s|440000 | 876 | 6097k| 13.9 | 36M| 61 | 1 |2007 | 21k|2007 |1783 | 58k| 588k|6022 | 0.000000e+00 | 6.000000e+00 | Inf
1252.73/1252.70 c 1215s|450000 | 744 | 6230k| 13.8 | 33M| 61 | 23 |2007 | 16k|2007 |1771 | 60k| 600k|6118 | 0.000000e+00 | 6.000000e+00 | Inf
1279.73/1279.72 c 1241s|460000 | 778 | 6359k| 13.8 | 35M| 61 | - |2007 | 22k| 0 | 0 | 61k| 614k|6199 | 0.000000e+00 | 6.000000e+00 | Inf
1306.13/1306.10 c 1266s|470000 | 188 | 6484k| 13.8 | 23M| 61 | - |2007 | 11k| 0 | 0 | 63k| 627k|6296 | 0.000000e+00 | 6.000000e+00 | Inf
1331.04/1331.00 c 1291s|480000 | 290 | 6614k| 13.8 | 24M| 61 | - |2007 | 15k| 0 | 0 | 64k| 640k|6391 | 0.000000e+00 | 6.000000e+00 | Inf
1354.93/1354.99 c 1314s|490000 | 303 | 6732k| 13.7 | 25M| 61 | - |2007 | 16k|2007 |1771 | 65k| 653k|6437 | 0.000000e+00 | 6.000000e+00 | Inf
1379.34/1379.38 c 1337s|500000 | 221 | 6852k| 13.7 | 25M| 61 | 13 |2007 | 18k|2007 |1771 | 67k| 666k|6480 | 0.000000e+00 | 6.000000e+00 | Inf
1403.83/1403.84 c 1361s|510000 | 359 | 6965k| 13.7 | 27M| 61 | - |2007 | 20k|2007 |1775 | 68k| 679k|6541 | 0.000000e+00 | 6.000000e+00 | Inf
1428.63/1428.61 c 1385s|520000 | 584 | 7079k| 13.6 | 29M| 61 | 14 |2007 | 22k|2007 |1771 | 70k| 692k|6599 | 0.000000e+00 | 6.000000e+00 | Inf
1453.83/1453.88 c 1410s|530000 | 745 | 7193k| 13.6 | 31M| 61 | 14 |2007 | 25k|2007 |1779 | 72k| 706k|6650 | 0.000000e+00 | 6.000000e+00 | Inf
1479.54/1479.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.54/1479.50 c 1434s|540000 | 819 | 7303k| 13.5 | 33M| 61 | 17 |2007 | 26k|2007 |1771 | 74k| 719k|6705 | 0.000000e+00 | 6.000000e+00 | Inf
1507.04/1507.03 c 1461s|550000 | 1012 | 7431k| 13.5 | 35M| 61 | 1 |2007 | 28k|2007 |1771 | 75k| 733k|6748 | 0.000000e+00 | 6.000000e+00 | Inf
1534.83/1534.81 c 1488s|560000 | 1151 | 7556k| 13.5 | 37M| 61 | - |2007 | 31k| 0 | 0 | 77k| 746k|6783 | 0.000000e+00 | 6.000000e+00 | Inf
1563.53/1563.53 c 1516s|570000 | 1263 | 7685k| 13.5 | 38M| 61 | 18 |2007 | 32k|2007 |1771 | 79k| 760k|6826 | 0.000000e+00 | 6.000000e+00 | Inf
1591.24/1591.23 c 1543s|580000 | 1225 | 7807k| 13.5 | 36M| 61 | - |2007 | 26k| 0 | 0 | 80k| 773k|6868 | 0.000000e+00 | 6.000000e+00 | Inf
1617.84/1617.81 c 1569s|590000 | 1232 | 7927k| 13.4 | 37M| 61 | 11 |2007 | 27k|2007 |1777 | 82k| 787k|6928 | 0.000000e+00 | 6.000000e+00 | Inf
1639.83/1639.83 o 1
1639.83/1639.83 c *1590s|598192 | 1069 | 8024k| 13.4 | 37M| 61 | - |2007 | 31k|2007 |1781 | 84k| 798k|6972 | 0.000000e+00 | 1.000000e-00 | Inf
1645.14/1645.13 c 1595s|600000 | 1155 | 8047k| 13.4 | 38M| 61 | - |2007 | 32k| 0 | 0 | 84k| 800k|6972 | 0.000000e+00 | 1.000000e-00 | Inf
1672.24/1672.25 c 1622s|610000 | 1041 | 8162k| 13.4 | 36M| 61 | 23 |2007 | 27k|2007 |1771 | 85k| 814k|7028 | 0.000000e+00 | 1.000000e-00 | Inf
1700.84/1700.83 c 1649s|620000 | 1131 | 8299k| 13.4 | 36M| 61 | - |2007 | 25k| 0 | 0 | 87k| 827k|7087 | 0.000000e+00 | 1.000000e-00 | Inf
1729.84/1729.83 c 1677s|630000 | 1317 | 8438k| 13.4 | 38M| 61 | - |2007 | 28k|2007 |1788 | 88k| 840k|7144 | 0.000000e+00 | 1.000000e-00 | Inf
1758.85/1758.86 c 1706s|640000 | 1386 | 8570k| 13.4 | 39M| 61 | - |2007 | 30k| 0 | 0 | 89k| 854k|7184 | 0.000000e+00 | 1.000000e-00 | Inf
1791.04/1791.05 c 1737s|650000 | 1573 | 8731k| 13.4 | 41M| 61 | - |2007 | 33k|2007 |1778 | 91k| 867k|7228 | 0.000000e+00 | 1.000000e-00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1745.71
1800.05/1800.00 c Solving Nodes : 652989
1800.05/1800.00 c Primal Bound : +1.00000000000000e-00 (84 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 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.01 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.01 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.01 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.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.01 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.01 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.01 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.01 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.01 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.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1745.71
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2693543-1277909714.wbo
1800.05/1800.01 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.05/1800.01 c Constraints : 3645 initial, 3645 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2693543-1277909714.wbo
1800.05/1800.01 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.05/1800.01 c Constraints : 3483 initial, 34584 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 49 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.07 0 0 0 937 0 113 49 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 888 - - 1776 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 370059 0 191 2049 0 0 702910
1800.05/1800.01 c indicator : 888 0 2660118 15304 0 165 515966 0 0 0
1800.05/1800.01 c setppc : 14 6 2899853 16420 0 51505 2148908 0 0 0
1800.05/1800.01 c linear : 888 6 2849018 16711 0 88207 9762537 91368 0 0
1800.05/1800.01 c logicor : 1693+ 6 1469992 555 0 109543 5150971 0 0 0
1800.05/1800.01 c countsols : 0 0 0 555 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 52.18 0.00 0.00 52.18 0.00
1800.05/1800.01 c indicator : 4.17 0.02 3.99 0.16 0.00
1800.05/1800.01 c setppc : 14.52 0.00 14.51 0.01 0.00
1800.05/1800.01 c linear : 63.34 0.00 62.94 0.40 0.00
1800.05/1800.01 c logicor : 190.45 0.00 190.44 0.01 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.96 2 0 0
1800.05/1800.01 c rootredcost : 0.85 15 0 888
1800.05/1800.01 c pseudoobj : 55.66 2901155 618 455874
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 12.07 249873 248914 1500158 25.8 7352 24.0 -
1800.05/1800.01 c infeasible LP : 20.26 95183 95183 748200 44.7 772 15.4 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 5 5 18 10.7 1 3.0 -
1800.05/1800.01 c applied globally : - - - 872171 26.8 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 5 - - 10 - (maximal pool size: 242)
1800.05/1800.01 c redcost : 11.20 371559 0 40397 0 0
1800.05/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.26 6 0 0 1407 0
1800.05/1800.01 c strongcg : 0.20 6 0 0 762 0
1800.05/1800.01 c cmir : 0.04 6 0 0 1 0
1800.05/1800.01 c flowcover : 0.07 6 0 0 1 0
1800.05/1800.01 c clique : 0.00 6 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 51.83 353341 191 2049 0 0 702910
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.01 541 0 0 0 0 1082
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.02 - 14
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 0.41 13 0
1800.05/1800.01 c feaspump : 0.02 1 0
1800.05/1800.01 c intshifting : 0.01 9 0
1800.05/1800.01 c crossover : 0.48 8 0
1800.05/1800.01 c rootsoldiving : 0.29 43 0
1800.05/1800.01 c linesearchdiving : 0.31 86 0
1800.05/1800.01 c guideddiving : 0.30 86 0
1800.05/1800.01 c coefdiving : 0.35 86 0
1800.05/1800.01 c pscostdiving : 0.25 86 0
1800.05/1800.01 c fracdiving : 0.28 86 0
1800.05/1800.01 c veclendiving : 0.27 86 0
1800.05/1800.01 c objpscostdiving : 0.27 44 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.69 353527 0
1800.05/1800.01 c zirounding : 0.24 1000 0
1800.05/1800.01 c rounding : 1.17 8390 0
1800.05/1800.01 c shifting : 0.83 2621 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.04 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.22 0 0
1800.05/1800.01 c trysol : 0.73 1941 70
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 1012.76 463251 8764407 18.92 8653.98
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 1.56 941 8966 9.53 5747.44
1800.05/1800.01 c strong branching : 47.82 7231 375067 51.87 7843.31
1800.05/1800.01 c (at root node) : - 33 23886 723.82 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 652989
1800.05/1800.01 c nodes (total) : 652989
1800.05/1800.01 c nodes left : 1654
1800.05/1800.01 c max depth : 61
1800.05/1800.01 c max depth (total): 61
1800.05/1800.01 c backtracks : 91027 (13.9%)
1800.05/1800.01 c delayed cutoffs : 47644
1800.05/1800.01 c repropagations : 1094474 (3429379 domain reductions, 43755 cutoffs)
1800.05/1800.01 c avg switch length: 4.99
1800.05/1800.01 c switching time : 164.60
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 84 (15 improvements)
1800.05/1800.01 c First Solution : +4.45360000000000e+04 (in run 1, after 1 nodes, 0.42 seconds, depth 0, found by <trysol>)
1800.05/1800.01 c Primal Bound : +1.00000000000000e-00 (in run 1, after 598192 nodes, 1590.08 seconds, depth 28, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 1779
1800.05/1800.08 c Time complete: 1800.13.
Begin job on node106 at 2010-06-30 16:55:14
IDJOB=2693543
IDBENCH=78970
IDSOLVER=1205
FILE ID=node106/2693543-1277909714
PBS_JOBID= 11197224
Free space on /tmp= 74208 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.1900575442--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-2693543-1277909714/watcher-2693543-1277909714 -o /tmp/evaluation-result-2693543-1277909714/solver-2693543-1277909714 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693543-1277909714.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0
RANDOM SEED=638484618
node106.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.825
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.65
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.825
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 : 5332.75
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.825
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.825
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.76
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.825
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.82
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.825
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.73
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.825
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.83
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.825
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31257036 kB
Buffers: 193220 kB
Cached: 1274604 kB
SwapCached: 0 kB
Active: 524816 kB
Inactive: 1027520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31257036 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6272 kB
Writeback: 0 kB
AnonPages: 84556 kB
Mapped: 15500 kB
Slab: 78552 kB
PageTables: 4584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 231728 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= 74204 MiB
End job on node106 at 2010-06-30 17:25:16