0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2699648-1278533804.wbo>
0.04/0.05 c original problem has 9654 variables (6220 bin, 0 int, 0 impl, 3434 cont) and 8262 constraints
0.04/0.05 c problem read
0.04/0.05 c presolving settings loaded
0.04/0.08 c presolving:
0.09/0.11 c (round 1) 1393 del vars, 1394 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.11 c (round 2) 1409 del vars, 1428 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.11 c (round 3) 1444 del vars, 1467 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.12 c (round 4) 1484 del vars, 1477 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.12 c (round 5) 1495 del vars, 1486 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.13 c (round 6) 1504 del vars, 1490 del conss, 3386 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6220 impls, 0 clqs
0.09/0.14 c (round 7) 1508 del vars, 1490 del conss, 3386 chg bounds, 0 chg sides, 0 chg coeffs, 4 upgd conss, 6220 impls, 0 clqs
0.19/0.24 c (0.1s) probing: 205/4760 (4.3%) - 0 fixings, 0 aggregations, 2 implications, 0 bound changes
0.19/0.24 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (8 rounds):
0.19/0.24 c 1508 deleted vars, 1490 deleted constraints, 3386 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.24 c 6228 implications, 0 cliques
0.19/0.24 c presolved problem has 8146 variables (4760 bin, 0 int, 0 impl, 3386 cont) and 6772 constraints
0.19/0.24 c 3386 constraints of type <indicator>
0.19/0.24 c 4 constraints of type <varbound>
0.19/0.24 c 3382 constraints of type <linear>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.13
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.96
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 3420
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.19/0.25 o 3386
0.19/0.25 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.25 c t 0.2s| 1 | 0 | 0 | - | 26M| 0 | - |8146 |6772 | 0 | 0 | 0 | 0 | 0 | -- | 3.386000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 0 | - | 28M| 0 | 0 |8146 |6772 |8146 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.386000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 97 | - | 28M| 0 | 0 |8146 |6772 |8146 | 202 | 202 | 0 | 0 | 0.000000e+00 | 3.386000e+03 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 327 | - | 28M| 0 | 0 |8146 |6772 |8146 | 402 | 402 | 0 | 0 | 0.000000e+00 | 3.386000e+03 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 491 | - | 28M| 0 | 0 |8146 |6772 |8146 | 602 | 602 | 0 | 0 | 0.000000e+00 | 3.386000e+03 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 656 | - | 28M| 0 | 18 |8146 |6772 |8146 | 802 | 802 | 0 | 0 | 0.000000e+00 | 3.386000e+03 | Inf
0.29/0.31 o 3382
0.29/0.31 c y 0.2s| 1 | 0 | 656 | - | 29M| 0 | 18 |8146 |6772 |8146 | 802 | 802 | 0 | 0 | 0.000000e+00 | 3.382000e+03 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 806 | - | 29M| 0 | 16 |8146 |6772 |8146 | 984 | 984 | 0 | 0 | 0.000000e+00 | 3.382000e+03 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 1198 | - | 29M| 0 | 6 |8146 |6772 |8146 |1119 |1119 | 0 | 0 | 0.000000e+00 | 3.382000e+03 | Inf
0.49/0.53 c 0.4s| 1 | 0 | 1268 | - | 29M| 0 | 95 |8146 |6772 |8146 |1170 |1170 | 0 | 0 | 0.000000e+00 | 3.382000e+03 | Inf
0.59/0.61 c 0.5s| 1 | 0 | 1319 | - | 29M| 0 | 100 |8146 |6772 |8146 |1221 |1221 | 0 | 0 | 0.000000e+00 | 3.382000e+03 | Inf
0.69/0.77 c 0.7s| 1 | 2 | 1438 | - | 29M| 0 | 100 |8146 |6772 |8146 |1221 |1221 | 0 | 33 | 0.000000e+00 | 3.382000e+03 | Inf
51.09/51.11 c 50.1s| 10000 | 10001 | 14459 | 1.3 | 71M|1087 | 0 |8146 |6772 |8146 |1427 |9045 | 0 |3143 | 0.000000e+00 | 3.382000e+03 | Inf
92.79/92.80 c 91.3s| 20000 | 20001 | 17828 | 0.8 | 99M|1087 | 0 |8146 |6772 |8146 |1424 | 10k| 0 |3342 | 0.000000e+00 | 3.382000e+03 | Inf
132.89/132.94 c 131s| 30000 | 30001 | 22372 | 0.7 | 128M|1087 | 0 |8146 |6772 |8146 |1414 | 13k| 0 |3432 | 0.000000e+00 | 3.382000e+03 | Inf
172.71/172.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.71/172.78 c 170s| 40000 | 40001 | 26670 | 0.6 | 156M|1087 | 0 |8146 |6772 |8146 |1419 | 15k| 0 |3439 | 0.000000e+00 | 3.382000e+03 | Inf
212.60/212.60 c 210s| 50000 | 50001 | 30328 | 0.6 | 185M|1087 | 0 |8146 |6772 |8146 |1367 | 17k| 0 |3445 | 0.000000e+00 | 3.382000e+03 | Inf
252.60/252.66 c 249s| 60000 | 60001 | 33323 | 0.5 | 213M|1087 | 0 |8146 |6772 |8146 |1425 | 19k| 0 |3446 | 0.000000e+00 | 3.382000e+03 | Inf
292.61/292.60 c 289s| 70000 | 70001 | 35241 | 0.5 | 241M|1087 | 0 |8146 |6772 |8146 |1379 | 20k| 0 |3446 | 0.000000e+00 | 3.382000e+03 | Inf
332.30/332.30 c 328s| 80000 | 80001 | 37574 | 0.5 | 270M|1087 | 0 |8146 |6772 |8146 |1439 | 21k| 0 |3450 | 0.000000e+00 | 3.382000e+03 | Inf
372.21/372.23 c 368s| 90000 | 90001 | 40123 | 0.4 | 298M|1087 | 0 |8146 |6772 |8146 |1362 | 22k| 0 |3474 | 0.000000e+00 | 3.382000e+03 | Inf
412.61/412.60 c 407s|100000 |100001 | 41877 | 0.4 | 326M|1087 | 0 |8146 |6772 |8146 |1417 | 23k| 0 |3474 | 0.000000e+00 | 3.382000e+03 | Inf
452.91/452.95 c 447s|110000 |110001 | 43865 | 0.4 | 355M|1087 | 0 |8146 |6772 |8146 |1427 | 24k| 0 |3633 | 0.000000e+00 | 3.382000e+03 | Inf
493.21/493.24 c 487s|120000 |120001 | 46454 | 0.4 | 383M|1087 | 0 |8146 |6772 |8146 |1409 | 25k| 0 |3772 | 0.000000e+00 | 3.382000e+03 | Inf
533.71/533.74 c 527s|130000 |130001 | 49923 | 0.4 | 411M|1087 | 0 |8146 |6772 |8146 |1436 | 27k| 0 |3872 | 0.000000e+00 | 3.382000e+03 | Inf
574.92/574.95 c 568s|140000 |140001 | 52869 | 0.4 | 440M|1087 | 0 |8146 |6772 |8146 |1381 | 29k| 0 |4103 | 0.000000e+00 | 3.382000e+03 | Inf
615.31/615.33 c 608s|150000 |150001 | 55228 | 0.4 | 468M|1087 | 0 |8146 |6772 |8146 |1421 | 30k| 0 |4186 | 0.000000e+00 | 3.382000e+03 | Inf
655.82/655.80 c 648s|160000 |160001 | 59378 | 0.4 | 497M|1087 | 0 |8146 |6772 |8146 |1443 | 33k| 0 |4352 | 0.000000e+00 | 3.382000e+03 | Inf
696.52/696.51 c 688s|170000 |170001 | 62908 | 0.4 | 525M|1087 | 0 |8146 |6772 |8146 |1426 | 35k| 0 |4516 | 0.000000e+00 | 3.382000e+03 | Inf
737.03/737.06 c 728s|180000 |180001 | 66789 | 0.4 | 553M|1087 | 0 |8146 |6772 |8146 |1452 | 37k| 0 |4617 | 0.000000e+00 | 3.382000e+03 | Inf
777.83/777.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.83/777.82 c 768s|190000 |190001 | 70554 | 0.4 | 582M|1087 | 0 |8146 |6772 |8146 |1405 | 39k| 0 |4797 | 0.000000e+00 | 3.382000e+03 | Inf
818.13/818.17 c 808s|200000 |200001 | 73603 | 0.4 | 610M|1087 | 0 |8146 |6772 |8146 |1435 | 41k| 0 |4864 | 0.000000e+00 | 3.382000e+03 | Inf
858.83/858.84 c 848s|210000 |210001 | 76434 | 0.4 | 639M|1087 | 0 |8146 |6772 |8146 |1415 | 42k| 0 |4993 | 0.000000e+00 | 3.382000e+03 | Inf
899.53/899.57 c 888s|220000 |220001 | 79353 | 0.4 | 667M|1087 | 0 |8146 |6772 |8146 |1398 | 43k| 0 |5115 | 0.000000e+00 | 3.382000e+03 | Inf
940.64/940.66 c 929s|230000 |230001 | 83320 | 0.4 | 696M|1087 | 0 |8146 |6772 |8146 |1433 | 45k| 0 |5369 | 0.000000e+00 | 3.382000e+03 | Inf
981.54/981.55 c 969s|240000 |240001 | 87229 | 0.4 | 724M|1087 | 0 |8146 |6772 |8146 |1427 | 48k| 0 |5533 | 0.000000e+00 | 3.382000e+03 | Inf
1023.04/1023.01 c 1010s|250000 |250001 | 91447 | 0.4 | 752M|1087 | 0 |8146 |6772 |8146 |1417 | 50k| 0 |5747 | 0.000000e+00 | 3.382000e+03 | Inf
1064.13/1064.19 c 1051s|260000 |260001 | 95396 | 0.4 | 781M|1087 | 0 |8146 |6772 |8146 |1440 | 52k| 0 |5906 | 0.000000e+00 | 3.382000e+03 | Inf
1105.14/1105.12 c 1091s|270000 |270001 | 98875 | 0.4 | 809M|1087 | 0 |8146 |6772 |8146 |1409 | 54k| 0 |5971 | 0.000000e+00 | 3.382000e+03 | Inf
1146.25/1146.22 c 1132s|280000 |280001 |102395 | 0.4 | 838M|1087 | 0 |8146 |6772 |8146 |1455 | 56k| 0 |6131 | 0.000000e+00 | 3.382000e+03 | Inf
1187.34/1187.32 c 1172s|290000 |290001 |106058 | 0.4 | 866M|1087 | 0 |8146 |6772 |8146 |1436 | 58k| 0 |6316 | 0.000000e+00 | 3.382000e+03 | Inf
1228.35/1228.37 c 1213s|300000 |300001 |109744 | 0.4 | 895M|1087 | 0 |8146 |6772 |8146 |1445 | 60k| 0 |6479 | 0.000000e+00 | 3.382000e+03 | Inf
1269.15/1269.10 c 1253s|310000 |310001 |113262 | 0.4 | 923M|1087 | 0 |8146 |6772 |8146 |1413 | 62k| 0 |6498 | 0.000000e+00 | 3.382000e+03 | Inf
1310.46/1310.44 c 1294s|320000 |320001 |117266 | 0.4 | 951M|1087 | 0 |8146 |6772 |8146 |1412 | 64k| 0 |6712 | 0.000000e+00 | 3.382000e+03 | Inf
1351.06/1351.05 c 1334s|330000 |330001 |119299 | 0.4 | 980M|1087 | 0 |8146 |6772 |8146 |1435 | 65k| 0 |6778 | 0.000000e+00 | 3.382000e+03 | Inf
1391.96/1391.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.96/1391.91 c 1374s|340000 |340001 |121481 | 0.4 |1008M|1087 | 0 |8146 |6772 |8146 |1415 | 66k| 0 |6819 | 0.000000e+00 | 3.382000e+03 | Inf
1432.86/1432.81 c 1414s|350000 |350001 |124216 | 0.4 |1036M|1087 | 0 |8146 |6772 |8146 |1457 | 68k| 0 |6927 | 0.000000e+00 | 3.382000e+03 | Inf
1473.56/1473.59 c 1455s|360000 |360001 |126557 | 0.3 |1065M|1087 | 0 |8146 |6772 |8146 |1449 | 69k| 0 |6979 | 0.000000e+00 | 3.382000e+03 | Inf
1514.46/1514.46 c 1495s|370000 |370001 |130029 | 0.3 |1093M|1087 | 0 |8146 |6772 |8146 |1409 | 71k| 0 |7093 | 0.000000e+00 | 3.382000e+03 | Inf
1555.66/1555.61 c 1536s|380000 |380001 |133684 | 0.3 |1122M|1087 | 0 |8146 |6772 |8146 |1472 | 73k| 0 |7298 | 0.000000e+00 | 3.382000e+03 | Inf
1596.17/1596.14 c 1576s|390000 |390001 |136789 | 0.3 |1150M|1087 | 0 |8146 |6772 |8146 |1413 | 75k| 0 |7339 | 0.000000e+00 | 3.382000e+03 | Inf
1636.87/1636.82 c 1616s|400000 |400001 |139985 | 0.3 |1179M|1087 | 0 |8146 |6772 |8146 |1403 | 77k| 0 |7392 | 0.000000e+00 | 3.382000e+03 | Inf
1677.77/1677.71 c 1656s|410000 |410001 |143089 | 0.3 |1207M|1087 | 0 |8146 |6772 |8146 |1431 | 78k| 0 |7491 | 0.000000e+00 | 3.382000e+03 | Inf
1718.97/1718.90 c 1697s|420000 |420001 |145766 | 0.3 |1235M|1087 | 0 |8146 |6772 |8146 |1434 | 80k| 0 |7640 | 0.000000e+00 | 3.382000e+03 | Inf
1759.67/1759.69 c 1737s|430000 |430001 |148761 | 0.3 |1264M|1087 | 0 |8146 |6772 |8146 |1426 | 81k| 0 |7759 | 0.000000e+00 | 3.382000e+03 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1776.63
1800.08/1800.00 c Solving Nodes : 439843
1800.08/1800.00 c Primal Bound : +3.38200000000000e+03 (101 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.27/1800.20 s SATISFIABLE
1800.27/1800.20 v x2786 -x2785 -x2784 x2783 -x2782 x2781 -x2780 x2779 -x2778 x2777 -x2776 x2775 -x2774 x2773 -x2772 x2771 -x2770 x2769 -x2768 x2767
1800.27/1800.20 v -x2766 x2765 x2764 -x2763 x2762 -x2761 -x2760 x2759 -x2758 x2757 -x2756 x2755 -x2754 x2753 -x2752 x2751 -x2750 x2749 -x2748
1800.27/1800.20 v x2747 -x2746 x2745 -x2744 x2743 -x2742 x2741 -x2740 x2739 -x2738 x2737 -x2736 x2735 -x2734 x2733 -x2732 x2731 -x2730 x2729
1800.27/1800.20 v -x2728 x2727 -x2726 x2725 -x2724 x2723 -x2722 x2721 -x2720 x2719 -x2718 x2717 -x2716 x2715 -x2714 x2713 -x2712 x2711 -x2710 x2709
1800.27/1800.20 v -x2708 x2707 -x2706 x2705 -x2704 x2703 -x2702 x2701 -x2700 x2699 -x2698 x2697 -x2696 x2695 -x2694 x2693 x2692 -x2691 -x2690
1800.27/1800.20 v x2689 -x2688 x2687 -x2686 x2685 -x2684 x2683 -x2682 x2681 x2680 -x2679 -x2678 x2677 -x2676 x2675 -x2674 x2673 -x2672 x2671
1800.27/1800.20 v -x2670 x2669 -x2668 x2667 -x2666 x2665 -x2664 x2663 -x2662 x2661 -x2660 x2659 -x2658 x2657 -x2656 x2655 -x2654 x2653 -x2652
1800.27/1800.20 v x2651 x2650 -x2649 x2648 -x2647 -x2646 x2645 -x2644 x2643 x2642 -x2641 x2640 -x2639 x2638 -x2637 -x2636 x2635 -x2634 x2633 -x2632
1800.27/1800.20 v x2631 -x2630 x2629 -x2628 x2627 -x2626 x2625 -x2624 x2623 -x2622 x2621 -x2620 x2619 -x2618 x2617 -x2616 x2615 -x2614 x2613
1800.27/1800.20 v -x2612 x2611 x2610 -x2609 x2608 -x2607 -x2606 x2605 -x2604 x2603 -x2602 x2601 -x2600 x2599 -x2598 x2597 -x2596 x2595 -x2594
1800.27/1800.20 v x2593 -x2592 x2591 -x2590 x2589 -x2588 x2587 -x2586 x2585 -x2584 x2583 -x2582 x2581 -x2580 x2579 -x2578 x2577 x2576 -x2575
1800.27/1800.20 v -x2574 x2573 -x2572 x2571 -x2570 x2569 -x2568 x2567 -x2566 x2565 -x2564 x2563 -x2562 x2561 -x2560 x2559 -x2558 x2557 -x2556
1800.27/1800.20 v x2555 -x2554 x2553 -x2552 x2551 -x2550 x2549 -x2548 x2547 x2546 -x2545 x2544 -x2543 -x2542 x2541 -x2540 x2539 -x2538 x2537 -x2536
1800.27/1800.20 v x2535 x2534 -x2533 x2532 -x2531 x2530 -x2529 -x2528 x2527 -x2526 x2525 -x2524 x2523 -x2522 x2521 -x2520 x2519 -x2518 x2517
1800.27/1800.20 v -x2516 x2515 -x2514 x2513 -x2512 x2511 -x2510 x2509 -x2508 x2507 x2506 -x2505 -x2504 x2503 -x2502 x2501 -x2500 x2499 -x2498
1800.27/1800.20 v x2497 -x2496 x2495 -x2494 x2493 x2492 -x2491 -x2490 x2489 x2488 -x2487 -x2486 x2485 -x2484 x2483 x2482 -x2481 -x2480 x2479
1800.27/1800.20 v -x2478 x2477 -x2476 x2475 x2474 -x2473 -x2472 x2471 -x2470 x2469 -x2468 x2467 -x2466 x2465 -x2464 x2463 x2462 -x2461 -x2460 x2459
1800.27/1800.20 v -x2458 x2457 x2456 -x2455 -x2454 x2453 -x2452 x2451 x2450 -x2449 x2448 -x2447 -x2446 x2445 x2444 -x2443 -x2442 x2441 -x2440
1800.27/1800.20 v x2439 x2438 -x2437 -x2436 x2435 x2434 -x2433 -x2432 x2431 x2430 -x2429 -x2428 x2427 -x2426 x2425 -x2424 x2423 x2422 -x2421
1800.27/1800.20 v -x2420 x2419 -x2418 x2417 -x2416 x2415 -x2414 x2413 -x2412 x2411 -x2410 x2409 -x2408 x2407 -x2406 x2405 -x2404 x2403 -x2402
1800.27/1800.20 v x2401 -x2400 x2399 x2398 -x2397 -x2396 x2395 -x2394 x2393 -x2392 x2391 -x2390 x2389 -x2388 x2387 -x2386 x2385 -x2384 x2383 -x2382
1800.27/1800.20 v x2381 -x2380 x2379 -x2378 x2377 -x2376 x2375 -x2374 x2373 x2372 -x2371 -x2370 x2369 -x2368 x2367 x2366 -x2365 -x2364 x2363
1800.27/1800.20 v -x2362 x2361 x2360 -x2359 -x2358 x2357 -x2356 x2355 -x2354 x2353 x2352 -x2351 x2350 -x2349 -x2348 x2347 x2346 -x2345 x2344
1800.27/1800.20 v -x2343 x2342 -x2341 x2340 -x2339 -x2338 x2337 -x2336 x2335 x2334 -x2333 -x2332 x2331 -x2330 x2329 -x2328 x2327 -x2326 x2325
1800.27/1800.20 v -x2324 x2323 x2322 -x2321 x2320 -x2319 x2318 -x2317 -x2316 x2315 x2314 -x2313 x2312 -x2311 -x2310 x2309 -x2308 x2307 x2306 -x2305
1800.27/1800.20 v -x2304 x2303 x2302 -x2301 -x2300 x2299 -x2298 x2297 -x2296 x2295 x2294 -x2293 -x2292 x2291 -x2290 x2289 x2288 -x2287 -x2286
1800.27/1800.20 v x2285 x2284 -x2283 x2282 -x2281 x2280 -x2279 x2278 -x2277 x2276 -x2275 -x2274 x2273 x2272 -x2271 x2270 -x2269 x2268 -x2267
1800.27/1800.20 v x2266 -x2265 x2264 -x2263 x2262 -x2261 x2260 -x2259 -x2258 x2257 -x2256 x2255 -x2254 x2253 -x2252 x2251 -x2250 x2249 -x2248
1800.27/1800.20 v x2247 -x2246 x2245 -x2244 x2243 x2242 -x2241 -x2240 x2239 x2238 -x2237 -x2236 x2235 -x2234 x2233 x2232 -x2231 x2230 -x2229
1800.27/1800.20 v -x2228 x2227 x2226 -x2225 x2224 -x2223 -x2222 x2221 -x2220 x2219 -x2218 x2217 -x2216 x2215 -x2214 x2213 x2212 -x2211 -x2210 x2209
1800.27/1800.20 v -x2208 x2207 -x2206 x2205 -x2204 x2203 x2202 -x2201 -x2200 x2199 -x2198 x2197 -x2196 x2195 -x2194 x2193 x2192 -x2191 -x2190
1800.27/1800.20 v x2189 -x2188 x2187 -x2186 x2185 -x2184 x2183 -x2182 x2181 -x2180 x2179 -x2178 x2177 -x2176 x2175 -x2174 x2173 -x2172 x2171
1800.27/1800.20 v -x2170 x2169 -x2168 x2167 -x2166 x2165 -x2164 x2163 x2162 -x2161 x2160 -x2159 -x2158 x2157 -x2156 x2155 x2154 -x2153 -x2152
1800.27/1800.20 v x2151 -x2150 x2149 -x2148 x2147 -x2146 x2145 -x2144 x2143 -x2142 x2141 -x2140 x2139 -x2138 x2137 -x2136 x2135 x2134 -x2133 -x2132
1800.27/1800.20 v x2131 -x2130 x2129 -x2128 x2127 -x2126 x2125 -x2124 x2123 -x2122 x2121 x2120 -x2119 -x2118 x2117 -x2116 x2115 -x2114 x2113
1800.27/1800.20 v -x2112 x2111 -x2110 x2109 x2108 -x2107 -x2106 x2105 -x2104 x2103 -x2102 x2101 -x2100 x2099 -x2098 x2097 -x2096 x2095 -x2094
1800.27/1800.20 v x2093 -x2092 x2091 -x2090 x2089 -x2088 x2087 -x2086 x2085 x2084 -x2083 x2082 -x2081 -x2080 x2079 x2078 -x2077 x2076 -x2075
1800.27/1800.20 v x2074 -x2073 -x2072 x2071 x2070 -x2069 x2068 -x2067 -x2066 x2065 -x2064 x2063 -x2062 x2061 -x2060 x2059 -x2058 x2057 x2056 -x2055
1800.27/1800.20 v x2054 -x2053 x2052 -x2051 x2050 -x2049 -x2048 x2047 x2046 -x2045 -x2044 x2043 x2042 -x2041 x2040 -x2039 -x2038 x2037 -x2036
1800.27/1800.20 v x2035 -x2034 x2033 x2032 -x2031 x2030 -x2029 x2028 -x2027 x2026 -x2025 -x2024 x2023 -x2022 x2021 -x2020 x2019 -x2018 x2017
1800.27/1800.20 v -x2016 x2015 -x2014 x2013 -x2012 x2011 -x2010 x2009 x2008 -x2007 -x2006 x2005 -x2004 x2003 -x2002 x2001 -x2000 x1999 -x1998
1800.27/1800.20 v x1997 -x1996 x1995 -x1994 x1993 -x1992 x1991 x1990 -x1989 -x1988 x1987 -x1986 x1985 -x1984 x1983 -x1982 x1981 x1980 -x1979
1800.27/1800.20 v -x1978 x1977 -x1976 x1975 -x1974 x1973 -x1972 x1971 -x1970 x1969 -x1968 x1967 -x1966 x1965 -x1964 x1963 -x1962 x1961 -x1960 x1959
1800.27/1800.20 v -x1958 x1957 x1956 -x1955 x1954 -x1953 x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945 -x1944 x1943 -x1942 x1941 -x1940
1800.27/1800.20 v x1939 -x1938 x1937 -x1936 x1935 -x1934 x1933 -x1932 x1931 -x1930 x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 x1922 -x1921
1800.27/1800.20 v x1920 -x1919 -x1918 x1917 -x1916 x1915 -x1914 x1913 -x1912 x1911 -x1910 x1909 -x1908 x1907 -x1906 x1905 x1904 -x1903 -x1902
1800.27/1800.20 v x1901 x1900 -x1899 x1898 -x1897 -x1896 x1895 -x1894 x1893 -x1892 x1891 -x1890 x1889 -x1888 x1887 -x1886 x1885 -x1884 x1883 -x1882
1800.27/1800.20 v x1881 -x1880 x1879 -x1878 x1877 -x1876 x1875 -x1874 x1873 -x1872 x1871 -x1870 x1869 -x1868 x1867 -x1866 x1865 x1864 -x1863
1800.27/1800.20 v -x1862 x1861 x1860 -x1859 -x1858 x1857 -x1856 x1855 -x1854 x1853 -x1852 x1851 -x1850 x1849 -x1848 x1847 -x1846 x1845 -x1844
1800.27/1800.20 v x1843 -x1842 x1841 -x1840 x1839 -x1838 x1837 -x1836 x1835 -x1834 x1833 x1832 -x1831 -x1830 x1829 -x1828 x1827 -x1826 x1825
1800.27/1800.20 v -x1824 x1823 x1822 -x1821 -x1820 x1819 -x1818 x1817 x1816 -x1815 -x1814 x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 x1806 -x1805
1800.27/1800.20 v -x1804 x1803 x1802 -x1801 -x1800 x1799 -x1798 x1797 -x1796 x1795 -x1794 x1793 -x1792 x1791 x1790 -x1789 x1788 -x1787 -x1786
1800.27/1800.20 v x1785 -x1784 x1783 x1782 -x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 -x1774 x1773 -x1772 x1771 -x1770 x1769 -x1768 x1767
1800.27/1800.20 v -x1766 x1765 -x1764 x1763 -x1762 x1761 x1760 -x1759 -x1758 x1757 -x1756 x1755 -x1754 x1753 -x1752 x1751 x1750 -x1749 x1748
1800.27/1800.20 v -x1747 x1746 -x1745 -x1744 x1743 x1742 -x1741 x1740 -x1739 x1738 -x1737 x1736 -x1735 -x1734 x1733 -x1732 x1731 x1730 -x1729
1800.27/1800.20 v -x1728 x1727 -x1726 x1725 -x1724 x1723 -x1722 x1721 -x1720 x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709
1800.27/1800.20 v -x1708 x1707 -x1706 x1705 -x1704 x1703 x1702 -x1701 -x1700 x1699 x1698 -x1697 -x1696 x1695 x1694 -x1693 -x1692 x1691 -x1690
1800.27/1800.20 v x1689 x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 -x1680 x1679 x1678 -x1677 x1676 -x1675 -x1674 x1673 -x1672 x1671
1800.27/1800.20 v x1670 -x1669 x1668 -x1667 -x1666 x1665 -x1664 x1663 x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652
1800.27/1800.20 v x1651 -x1650 x1649 -x1648 x1647 x1646 -x1645 -x1644 x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 -x1636 x1635 -x1634 x1633 -x1632
1800.27/1800.20 v x1631 -x1630 x1629 -x1628 x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 -x1620 x1619 x1618 -x1617 -x1616 x1615 -x1614 x1613
1800.27/1800.20 v -x1612 x1611 x1610 -x1609 -x1608 x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 -x1600 x1599 -x1598 x1597 -x1596 x1595 -x1594
1800.27/1800.20 v x1593 x1592 -x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 x1579 -x1578 x1577 x1576 -x1575
1800.27/1800.20 v -x1574 x1573 x1572 -x1571 x1570 -x1569 x1568 -x1567 -x1566 x1565 -x1564 x1563 x1562 -x1561 x1560 -x1559 -x1558 x1557 -x1556
1800.27/1800.20 v x1555 -x1554 x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 -x1546 x1545 x1544 -x1543 -x1542 x1541 x1540 -x1539 -x1538 x1537 x1536
1800.27/1800.20 v -x1535 -x1534 x1533 -x1532 x1531 x1530 -x1529 -x1528 x1527 -x1526 x1525 -x1524 x1523 x1522 -x1521 -x1520 x1519 x1518 -x1517
1800.27/1800.20 v x1516 -x1515 -x1514 x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505 -x1504 x1503 -x1502 x1501 -x1500 x1499 -x1498
1800.27/1800.20 v x1497 -x1496 x1495 -x1494 x1493 -x1492 x1491 -x1490 x1489 -x1488 x1487 -x1486 x1485 -x1484 x1483 x1482 -x1481 -x1480 x1479
1800.27/1800.20 v x1478 -x1477 -x1476 x1475 -x1474 x1473 x1472 -x1471 -x1470 x1469 -x1468 x1467 -x1466 x1465 -x1464 x1463 -x1462 x1461 -x1460 x1459
1800.27/1800.20 v -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 x1451 -x1450 x1449 -x1448 x1447 -x1446 x1445 x1444 -x1443 -x1442 x1441 -x1440
1800.27/1800.20 v x1439 x1438 -x1437 -x1436 x1435 -x1434 x1433 -x1432 x1431 x1430 -x1429 x1428 -x1427 -x1426 x1425 -x1424 x1423 -x1422 x1421
1800.27/1800.20 v -x1420 x1419 x1418 -x1417 -x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404 x1403 -x1402
1800.27/1800.20 v x1401 -x1400 x1399 -x1398 x1397 -x1396 x1395 x1394 -x1393 x1392 -x1391 x1390 -x1389 -x1388 x1387 x1386 -x1385 -x1384 x1383 -x1382
1800.27/1800.20 v x1381 -x1380 x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 -x1372 x1371 x1370 -x1369 -x1368 x1367 -x1366 x1365 x1364 -x1363
1800.27/1800.20 v -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 -x1352 x1351 x1350 -x1349 -x1348 x1347 -x1346 x1345 -x1344
1800.27/1800.20 v x1343 -x1342 x1341 -x1340 x1339 -x1338 x1337 x1336 -x1335 -x1334 x1333 -x1332 x1331 -x1330 x1329 -x1328 x1327 -x1326 x1325
1800.27/1800.20 v -x1324 x1323 -x1322 x1321 -x1320 x1319 -x1318 x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 -x1310 x1309 x1308 -x1307 -x1306
1800.27/1800.20 v x1305 -x1304 x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 x1296 -x1295 -x1294 x1293 -x1292 x1291 x1290 -x1289 -x1288 x1287 -x1286
1800.27/1800.20 v x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 -x1274 x1273 -x1272 x1271 x1270 -x1269 x1268 -x1267
1800.27/1800.20 v -x1266 x1265 x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 x1257 -x1256 x1255 -x1254 x1253 -x1252 x1251 -x1250 x1249 -x1248
1800.27/1800.20 v x1247 x1246 -x1245 x1244 -x1243 -x1242 x1241 -x1240 x1239 -x1238 x1237 x1236 -x1235 -x1234 x1233 -x1232 x1231 -x1230 x1229
1800.27/1800.20 v x1228 -x1227 -x1226 x1225 -x1224 x1223 x1222 -x1221 x1220 -x1219 -x1218 x1217 -x1216 x1215 x1214 -x1213 -x1212 x1211 -x1210 x1209
1800.27/1800.20 v -x1208 x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196 x1195 x1194 -x1193 x1192 -x1191 x1190
1800.27/1800.20 v -x1189 -x1188 x1187 -x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 -x1179 -x1178 x1177 x1176 -x1175 -x1174 x1173 x1172 -x1171
1800.27/1800.20 v -x1170 x1169 -x1168 x1167 -x1166 x1165 -x1164 x1163 -x1162 x1161 -x1160 x1159 -x1158 x1157 x1156 -x1155 -x1154 x1153 -x1152
1800.27/1800.20 v x1151 x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 x1143 x1142 -x1141 -x1140 x1139 -x1138 x1137 -x1136 x1135 -x1134 x1133 -x1132
1800.27/1800.20 v x1131 -x1130 x1129 x1128 -x1127 x1126 -x1125 -x1124 x1123 -x1122 x1121 -x1120 x1119 -x1118 x1117 x1116 -x1115 -x1114 x1113
1800.27/1800.20 v -x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 -x1103 x1102 -x1101 x1100 -x1099 -x1098 x1097 x1096 -x1095 -x1094
1800.27/1800.20 v x1093 x1092 -x1091 -x1090 x1089 x1088 -x1087 -x1086 x1085 -x1084 x1083 -x1082 x1081 -x1080 x1079 x1078 -x1077 -x1076 x1075
1800.27/1800.20 v -x1074 x1073 -x1072 x1071 x1070 -x1069 -x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056
1800.27/1800.20 v x1055 x1054 -x1053 -x1052 x1051 -x1050 x1049 x1048 -x1047 -x1046 x1045 -x1044 x1043 x1042 -x1041 x1040 -x1039 -x1038 x1037 -x1036
1800.27/1800.20 v x1035 -x1034 x1033 -x1032 x1031 -x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 x1020 -x1019 x1018 -x1017
1800.27/1800.20 v -x1016 x1015 -x1014 x1013 x1012 -x1011 -x1010 x1009 -x1008 x1007 -x1006 x1005 x1004 -x1003 -x1002 x1001 -x1000 x999 x998 -x997
1800.27/1800.20 v -x996 x995 x994 -x993 -x992 x991 -x990 x989 x988 -x987 -x986 x985 x984 -x983 x982 -x981 -x980 x979 x978 -x977 -x976 x975
1800.27/1800.20 v x974 -x973 -x972 x971 -x970 x969 x968 -x967 -x966 x965 -x964 x963 -x962 x961 -x960 x959 -x958 x957 x956 -x955 -x954 x953 -x952
1800.27/1800.20 v x951 -x950 x949 -x948 x947 -x946 x945 x944 -x943 x942 -x941 x940 -x939 -x938 x937 x936 -x935 -x934 x933 -x932 x931 x930 -x929
1800.27/1800.20 v x928 -x927 -x926 x925 -x924 x923 -x922 x921 x920 -x919 -x918 x917 -x916 x915 -x914 x913 -x912 x911 x910 -x909 -x908 x907
1800.27/1800.20 v x906 -x905 -x904 x903 -x902 x901 -x900 x899 -x898 x897 x896 -x895 -x894 x893 -x892 x891 x890 -x889 -x888 x887 -x886 x885 -x884
1800.27/1800.20 v x883 -x882 x881 -x880 x879 x878 -x877 -x876 x875 -x874 x873 -x872 x871 x870 -x869 -x868 x867 x866 -x865 -x864 x863 -x862 x861
1800.27/1800.20 v -x860 x859 -x858 x857 -x856 x855 x854 -x853 -x852 x851 -x850 x849 x848 -x847 x846 -x845 -x844 x843 -x842 x841 -x840 x839 -x838
1800.27/1800.20 v x837 -x836 x835 -x834 x833 x832 -x831 -x830 x829 -x828 x827 -x826 x825 -x824 x823 -x822 x821 -x820 x819 -x818 x817 x816
1800.27/1800.20 v -x815 -x814 x813 -x812 x811 -x810 x809 -x808 x807 x806 -x805 -x804 x803 -x802 x801 x800 -x799 -x798 x797 -x796 x795 -x794 x793
1800.27/1800.20 v -x792 x791 x790 -x789 x788 -x787 x786 -x785 -x784 x783 -x782 x781 -x780 x779 x778 -x777 -x776 x775 -x774 x773 x772 -x771 -x770
1800.27/1800.20 v x769 -x768 x767 x766 -x765 -x764 x763 -x762 x761 -x760 x759 -x758 x757 -x756 x755 x754 -x753 -x752 x751 -x750 x749 x748 -x747
1800.27/1800.20 v x746 -x745 -x744 x743 x742 -x741 -x740 x739 x738 -x737 -x736 x735 x734 -x733 -x732 x731 x730 -x729 -x728 x727 -x726 x725
1800.27/1800.20 v x724 -x723 -x722 x721 x720 -x719 -x718 x717 x716 -x715 x714 -x713 -x712 x711 x710 -x709 -x708 x707 -x706 x705 -x704 x703 x702
1800.27/1800.20 v -x701 x700 -x699 -x698 x697 -x696 x695 -x694 x693 -x692 x691 -x690 x689 x688 -x687 -x686 x685 -x684 x683 x682 -x681 x680 -x679
1800.27/1800.20 v -x678 x677 -x676 x675 -x674 x673 x672 -x671 -x670 x669 -x668 x667 -x666 x665 -x664 x663 -x662 x661 -x660 x659 -x658 x657
1800.27/1800.20 v -x656 x655 -x654 x653 -x652 x651 -x650 x649 -x648 x647 -x646 x645 -x644 x643 -x642 x641 -x640 x639 -x638 x637 x636 -x635 -x634
1800.27/1800.20 v x633 x632 -x631 -x630 x629 -x628 x627 -x626 x625 -x624 x623 -x622 x621 -x620 x619 -x618 x617 -x616 x615 -x614 x613 -x612 x611
1800.27/1800.20 v -x610 x609 -x608 x607 x606 -x605 x604 -x603 -x602 x601 -x600 x599 x598 -x597 -x596 x595 -x594 x593 -x592 x591 x590 -x589 x588
1800.27/1800.20 v -x587 x586 -x585 -x584 x583 -x582 x581 -x580 x579 -x578 x577 -x576 x575 -x574 x573 -x572 x571 x570 -x569 x568 -x567 -x566
1800.27/1800.20 v x565 -x564 x563 -x562 x561 x560 -x559 -x558 x557 -x556 x555 x554 -x553 -x552 x551 -x550 x549 -x548 x547 -x546 x545 x544 -x543
1800.27/1800.20 v -x542 x541 -x540 x539 -x538 x537 -x536 x535 x534 -x533 -x532 x531 -x530 x529 -x528 x527 -x526 x525 -x524 x523 x522 -x521 -x520
1800.27/1800.20 v x519 -x518 x517 -x516 x515 -x514 x513 x512 -x511 -x510 x509 -x508 x507 -x506 x505 -x504 x503 -x502 x501 x500 -x499 -x498
1800.27/1800.20 v x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 x486 -x485 x484 -x483 x482 -x481 -x480 x479 -x478 x477 -x476 x475
1800.27/1800.20 v x474 -x473 x472 -x471 -x470 x469 -x468 x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 x458 -x457 -x456 x455 x454 -x453 x452
1800.27/1800.20 v -x451 -x450 x449 -x448 x447 -x446 x445 x444 -x443 x442 -x441 -x440 x439 -x438 x437 -x436 x435 x434 -x433 -x432 x431 -x430 x429
1800.27/1800.20 v x428 -x427 -x426 x425 x424 -x423 -x422 x421 -x420 x419 -x418 x417 -x416 x415 -x414 x413 x412 -x411 x410 -x409 x408 -x407
1800.27/1800.20 v x406 -x405 -x404 x403 x402 -x401 -x400 x399 -x398 x397 x396 -x395 -x394 x393 -x392 x391 -x390 x389 x388 -x387 -x386 x385 -x384
1800.27/1800.20 v x383 -x382 x381 -x380 x379 x378 -x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361
1800.27/1800.20 v -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 x342 -x341 -x340 x339 x338
1800.27/1800.20 v -x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 x322 -x321 -x320 x319 x318 -x317 x316
1800.27/1800.20 v -x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 x298 -x297 -x296 x295 -x294 x293
1800.27/1800.20 v -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 x280 -x279 -x278 x277 -x276 x275 x274 -x273 -x272 x271 x270
1800.27/1800.20 v -x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 x258 -x257 -x256 x255 -x254 x253 x252 -x251 x250 -x249 x248 -x247
1800.27/1800.20 v -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225
1800.27/1800.20 v -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202
1800.27/1800.20 v x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179
1800.27/1800.20 v -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157
1800.27/1800.20 v -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134
1800.27/1800.20 v x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111
1800.27/1800.20 v -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 -x86
1800.27/1800.20 v x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58
1800.27/1800.20 v x57 -x56 x55 -x54 x53 -x52 x51 x50 -x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 -x30
1800.27/1800.20 v x29 -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 x1
1800.27/1800.20 c SCIP Status : solving was interrupted [user interrupt]
1800.27/1800.20 c Solving Time : 1776.63
1800.27/1800.20 c Original Problem :
1800.27/1800.20 c Problem name : HOME/instance-2699648-1278533804.wbo
1800.27/1800.20 c Variables : 9654 (6220 binary, 0 integer, 0 implicit integer, 3434 continuous)
1800.27/1800.20 c Constraints : 8262 initial, 8262 maximal
1800.27/1800.20 c Presolved Problem :
1800.27/1800.20 c Problem name : t_HOME/instance-2699648-1278533804.wbo
1800.27/1800.20 c Variables : 8146 (4760 binary, 0 integer, 0 implicit integer, 3386 continuous)
1800.27/1800.20 c Constraints : 6772 initial, 6772 maximal
1800.27/1800.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.27/1800.20 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.27/1800.20 c dualfix : 0.00 115 0 0 0 0 0 0 0
1800.27/1800.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.27/1800.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.27/1800.20 c implics : 0.00 0 0 0 0 0 0 0 0
1800.27/1800.20 c probing : 0.08 0 0 0 0 0 0 0 0
1800.27/1800.20 c indicator : 0.00 0 0 0 0 0 48 0 0
1800.27/1800.20 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.27/1800.20 c linear : 0.04 0 1393 0 3386 0 1442 0 0
1800.27/1800.20 c root node : - 0 - - 0 - - - -
1800.27/1800.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.27/1800.20 c integral : 0 0 0 453923 0 0 0 0 0 10372
1800.27/1800.20 c indicator : 3386 0 656702 448737 0 0 418824 0 0 0
1800.27/1800.20 c varbound : 4 8 656702 448737 0 0 1658 4 0 0
1800.27/1800.20 c linear : 3382 8 656702 448735 0 0 108003 82593 0 0
1800.27/1800.20 c countsols : 0 0 0 434657 0 0 0 0 0 0
1800.27/1800.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.27/1800.20 c integral : 22.28 0.00 0.00 22.28 0.00
1800.27/1800.20 c indicator : 191.54 0.00 30.94 160.60 0.00
1800.27/1800.20 c varbound : 0.30 0.00 0.07 0.23 0.00
1800.27/1800.20 c linear : 272.77 0.00 25.96 246.81 0.00
1800.27/1800.20 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.27/1800.20 c Propagators : Time Calls Cutoffs DomReds
1800.27/1800.20 c vbounds : 0.02 2492 0 1
1800.27/1800.20 c rootredcost : 0.04 1 0 0
1800.27/1800.20 c pseudoobj : 42.57 656294 0 0
1800.27/1800.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.27/1800.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.27/1800.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.27/1800.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.27/1800.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.27/1800.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.27/1800.20 c applied globally : - - - 0 0.0 - - -
1800.27/1800.20 c applied locally : - - - 0 0.0 - - -
1800.27/1800.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.27/1800.20 c cut pool : 0.00 3 - - 4 - (maximal pool size: 100)
1800.27/1800.20 c redcost : 64.13 453459 0 0 0 0
1800.27/1800.20 c impliedbounds : 0.00 4 0 0 0 0
1800.27/1800.20 c intobj : 0.00 0 0 0 0 0
1800.27/1800.20 c cgmip : 0.00 0 0 0 0 0
1800.27/1800.20 c gomory : 0.00 4 0 0 135 0
1800.27/1800.20 c strongcg : 0.00 4 0 0 0 0
1800.27/1800.20 c cmir : 0.03 4 0 0 0 0
1800.27/1800.20 c flowcover : 0.16 4 0 0 0 0
1800.27/1800.20 c clique : 0.00 1 0 0 0 0
1800.27/1800.20 c zerohalf : 0.00 0 0 0 0 0
1800.27/1800.20 c mcf : 0.00 1 0 0 0 0
1800.27/1800.20 c rapidlearning : 0.00 0 0 0 0 0
1800.27/1800.20 c Pricers : Time Calls Vars
1800.27/1800.20 c problem variables: 0.00 0 0
1800.27/1800.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.27/1800.20 c relpscost : 22.15 5186 0 0 0 0 10372
1800.27/1800.20 c pscost : 0.00 0 0 0 0 0 0
1800.27/1800.20 c inference : 283.01 434657 0 0 0 0 869314
1800.27/1800.20 c mostinf : 0.00 0 0 0 0 0 0
1800.27/1800.20 c leastinf : 0.00 0 0 0 0 0 0
1800.27/1800.20 c fullstrong : 0.00 0 0 0 0 0 0
1800.27/1800.20 c allfullstrong : 0.00 0 0 0 0 0 0
1800.27/1800.20 c random : 0.00 0 0 0 0 0 0
1800.27/1800.20 c Primal Heuristics : Time Calls Found
1800.27/1800.20 c LP solutions : 0.00 - 0
1800.27/1800.20 c pseudo solutions : 0.00 - 0
1800.27/1800.20 c feaspump : 0.00 0 0
1800.27/1800.20 c oneopt : 0.29 2 0
1800.27/1800.20 c intshifting : 0.04 3 0
1800.27/1800.20 c crossover : 0.52 11 0
1800.27/1800.20 c guideddiving : 2.28 854 0
1800.27/1800.20 c linesearchdiving : 1.89 854 0
1800.27/1800.20 c coefdiving : 2.12 855 0
1800.27/1800.20 c pscostdiving : 2.29 855 0
1800.27/1800.20 c fracdiving : 2.37 855 0
1800.27/1800.20 c veclendiving : 2.07 855 0
1800.27/1800.20 c objpscostdiving : 2.60 854 0
1800.27/1800.20 c rootsoldiving : 2.59 854 0
1800.27/1800.20 c trivial : 0.01 2 1
1800.27/1800.20 c simplerounding : 0.02 5190 0
1800.27/1800.20 c zirounding : 0.08 1000 0
1800.27/1800.20 c rounding : 0.21 984 0
1800.27/1800.20 c shifting : 0.86 332 0
1800.27/1800.20 c twoopt : 0.00 0 0
1800.27/1800.20 c fixandinfer : 0.00 0 0
1800.27/1800.20 c intdiving : 0.00 0 0
1800.27/1800.20 c actconsdiving : 0.00 0 0
1800.27/1800.20 c octane : 0.00 0 0
1800.27/1800.20 c rens : 0.05 1 0
1800.27/1800.20 c rins : 0.00 0 0
1800.27/1800.20 c localbranching : 0.00 0 0
1800.27/1800.20 c mutation : 0.00 0 0
1800.27/1800.20 c dins : 0.00 0 0
1800.27/1800.20 c undercover : 0.00 0 0
1800.27/1800.20 c nlp : 0.00 0 0
1800.27/1800.20 c trysol : 0.38 1292 100
1800.27/1800.20 c LP : Time Calls Iterations Iter/call Iter/sec
1800.27/1800.20 c primal LP : 0.00 0 0 0.00 -
1800.27/1800.20 c dual LP : 507.30 32771 149928 4.58 295.54
1800.27/1800.20 c lex dual LP : 0.00 0 0 0.00 -
1800.27/1800.20 c barrier LP : 0.00 0 0 0.00 -
1800.27/1800.20 c diving/probing LP: 0.09 34 604 17.76 6711.11
1800.27/1800.20 c strong branching : 22.05 7761 22477 2.90 1019.37
1800.27/1800.20 c (at root node) : - 33 74 2.24 -
1800.27/1800.20 c conflict analysis: 0.00 0 0 0.00 -
1800.27/1800.20 c B&B Tree :
1800.27/1800.20 c number of runs : 1
1800.27/1800.20 c nodes : 439843
1800.27/1800.20 c nodes (total) : 439843
1800.27/1800.20 c nodes left : 439844
1800.27/1800.20 c max depth : 1087
1800.27/1800.20 c max depth (total): 1087
1800.27/1800.20 c backtracks : 858 (0.2%)
1800.27/1800.20 c delayed cutoffs : 0
1800.27/1800.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.27/1800.20 c avg switch length: 2.03
1800.27/1800.20 c switching time : 53.58
1800.27/1800.20 c Solution :
1800.27/1800.20 c Solutions found : 101 (2 improvements)
1800.27/1800.20 c First Solution : +3.38600000000000e+03 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.27/1800.20 c Primal Bound : +3.38200000000000e+03 (in run 1, after 1 nodes, 0.22 seconds, depth 0, found by <trysol>)
1800.27/1800.20 c Dual Bound : +0.00000000000000e+00
1800.27/1800.20 c Gap : infinite
1800.27/1800.20 c Root Dual Bound : +0.00000000000000e+00
1800.27/1800.20 c Root Iterations : 1319
1800.78/1800.78 c Time complete: 1800.86.