Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPTIMUM | 1.86272 | 1.86418 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 32809f4710e615fcaa140bf3e08c6c73 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 1.86272 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 220 |
| Number of soft constraints | 220 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 60 |
| Top cost | 11307 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 11306 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 61 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3717701-1338198833.wbo>
0.00/0.01 c original problem has 6220 variables (6220 bin, 0 int, 0 impl, 0 cont) and 221 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 11306
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.130600e+04
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 0 add conss, 220 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (0.1s) probing: 51/6220 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 220 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 220 implications, 0 cliques
0.00/0.05 c presolved problem has 6440 variables (6220 bin, 0 int, 220 impl, 0 cont) and 440 constraints
0.00/0.05 c 220 constraints of type <linear>
0.00/0.05 c 220 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.1.1.4
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # force restart if we have a max FS instance and gap is 1?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/forcerestart = TRUE
0.00/0.05 c
0.00/0.05 c # priority of branching rule <inference>
0.00/0.05 c # [type: int, range: [-536870912,536870911], default: 1000]
0.00/0.05 c branching/inference/priority = 1000000
0.00/0.05 c
0.00/0.05 c # frequency offset for calling primal heuristic <coefdiving>
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1]
0.00/0.05 c heuristics/coefdiving/freqofs = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/shiftandpropagate/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/undercover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c heuristics/indrounding/freq = 1
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.06 c
0.00/0.06 o 6188
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c 6 0.1s| 1 | 0 | 0 | - | 12M| 0 | - |6440 | 440 | 0 | 0 | 0 | 0 | 0 | -- | 6.188000e+03 | Inf
0.19/0.21 o 3
0.19/0.21 c 6 0.2s| 1 | 0 | 0 | - | 12M| 0 | - |6440 | 440 | 0 | 0 | 0 | 0 | 0 | -- | 3.000000e+00 | Inf
0.19/0.21 c Forcing restart, since 199 binary variables among 220 have been fixed.
0.19/0.28 c 0.3s| 1 | 0 | 2676 | - | 15M| 0 | 2 |6440 | 226 |6440 | 226 | 0 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
0.99/1.01 c 1.0s| 1 | 0 | 3349 | - | 20M| 0 | 14 |6440 | 277 |6440 | 228 | 2 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
0.99/1.07 c 1.1s| 1 | 0 | 3850 | - | 20M| 0 | 18 |6440 | 277 |6440 | 230 | 4 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.09/1.14 c 1.1s| 1 | 0 | 4613 | - | 20M| 0 | 32 |6440 | 277 |6440 | 232 | 6 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.19/1.21 c 1.2s| 1 | 0 | 4880 | - | 20M| 0 | 49 |6440 | 277 |6440 | 234 | 8 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.19/1.28 c 1.3s| 1 | 0 | 5030 | - | 20M| 0 | 49 |6440 | 277 |6440 | 237 | 11 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.29/1.35 c 1.4s| 1 | 0 | 5148 | - | 21M| 0 | 59 |6440 | 277 |6440 | 240 | 14 | 0 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.59/1.62 c 1.6s| 1 | 2 | 5424 | - | 21M| 0 | 59 |6440 | 289 |6440 | 240 | 14 | 12 | 0 | 5.084746e-01 | 3.000000e+00 | 490.00%
1.59/1.62 c (run 1, node 1) performing user restart
1.59/1.62 c
1.59/1.62 c (restart) converted 18 cuts from the global cut pool into linear constraints
1.59/1.62 c
1.59/1.63 c presolving:
1.59/1.64 c (round 1) 429 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 124 upgd conss, 240 impls, 96 clqs
1.59/1.65 c (round 2) 430 del vars, 4 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 124 upgd conss, 240 impls, 103 clqs
1.59/1.65 c (round 3) 430 del vars, 10 del conss, 0 add conss, 1 chg bounds, 6 chg sides, 0 chg coeffs, 124 upgd conss, 240 impls, 103 clqs
1.59/1.66 c (round 4) 430 del vars, 10 del conss, 0 add conss, 1 chg bounds, 6 chg sides, 0 chg coeffs, 232 upgd conss, 240 impls, 103 clqs
1.59/1.68 c (round 5) 430 del vars, 10 del conss, 0 add conss, 1 chg bounds, 6 chg sides, 0 chg coeffs, 278 upgd conss, 240 impls, 103 clqs
1.69/1.70 c presolving (6 rounds):
1.69/1.70 c 430 deleted vars, 10 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 6 changed sides, 0 changed coefficients
1.69/1.70 c 240 implications, 103 cliques
1.69/1.70 c presolved problem has 6010 variables (6005 bin, 0 int, 5 impl, 0 cont) and 297 constraints
1.69/1.70 c 5 constraints of type <varbound>
1.69/1.70 c 6 constraints of type <knapsack>
1.69/1.70 c 101 constraints of type <setppc>
1.69/1.70 c 5 constraints of type <linear>
1.69/1.70 c 5 constraints of type <indicator>
1.69/1.70 c 164 constraints of type <logicor>
1.69/1.70 c 11 constraints of type <bounddisjunction>
1.69/1.70 c transformed objective value is always integral (scale: 1)
1.69/1.70 c Presolving Time: 0.11
1.69/1.71 c
1.78/1.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.78/1.83 c 1.8s| 1 | 0 | 7063 | - | 21M| 0 | - |6010 | 297 |6010 | 236 | 0 | 12 | 0 | 3.000000e+00 | 3.000000e+00 | 0.00%
1.78/1.83 c 1.8s| 1 | 0 | 7063 | - | 21M| 0 | - |6010 | 297 |6010 | 236 | 0 | 12 | 0 | 3.000000e+00 | 3.000000e+00 | 0.00%
1.78/1.83 c
1.78/1.83 c SCIP Status : problem is solved [optimal solution found]
1.78/1.83 c Solving Time (sec) : 1.84
1.78/1.83 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
1.78/1.83 c Primal Bound : +3.00000000000000e+00 (5 solutions)
1.78/1.83 c Dual Bound : +3.00000000000000e+00
1.78/1.83 c Gap : 0.00 %
1.78/1.84 s OPTIMUM FOUND
1.78/1.84 v -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982
1.78/1.84 v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965
1.78/1.84 v -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947
1.78/1.84 v -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929
1.78/1.84 v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911
1.78/1.84 v -x5910 -x5909 -x5908 x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 x5897 -x5896 -x5895 -x5894 -x5893
1.78/1.84 v -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875
1.78/1.84 v -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857
1.78/1.84 v -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839
1.78/1.84 v -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821
1.78/1.84 v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 x5807 -x5806 -x5805 -x5804 -x5803
1.78/1.84 v -x5802 -x5801 -x5800 -x5799 -x5798 x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785
1.78/1.84 v -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767
1.78/1.84 v -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750
1.78/1.84 v -x5749 -x5748 x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732
1.78/1.84 v -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714
1.78/1.84 v -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696
1.78/1.84 v -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678
1.78/1.84 v -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660
1.78/1.84 v -x5659 -x5658 x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 x5647 -x5646 -x5645 -x5644 -x5643 -x5642
1.78/1.84 v -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624
1.78/1.84 v -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606
1.78/1.84 v -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
1.78/1.84 v -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571
1.78/1.84 v -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 x5557 -x5556 -x5555 -x5554 -x5553
1.78/1.84 v -x5552 -x5551 -x5550 -x5549 -x5548 x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535
1.78/1.84 v -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517
1.78/1.84 v -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499
1.78/1.84 v -x5498 x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481
1.78/1.84 v -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463
1.78/1.84 v -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 x5447 -x5446 -x5445
1.78/1.84 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
1.78/1.84 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409
1.78/1.84 v -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391
1.78/1.84 v -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374
1.78/1.84 v -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 x5357 -x5356
1.78/1.84 v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338
1.78/1.84 v -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320
1.78/1.84 v -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 x5307 -x5306 -x5305 -x5304 -x5303 -x5302
1.78/1.84 v -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284
1.78/1.84 v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
1.78/1.84 v -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248
1.78/1.84 v x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230
1.78/1.84 v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212
1.78/1.84 v -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194
1.78/1.84 v -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177
1.78/1.84 v -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159
1.78/1.84 v -x5158 x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141
1.78/1.84 v -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123
1.78/1.84 v -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105
1.78/1.84 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087
1.78/1.84 v -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069
1.78/1.84 v -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051
1.78/1.84 v -x5050 -x5049 -x5048 x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033
1.78/1.84 v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015
1.78/1.84 v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 x4997
1.78/1.84 v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979
1.78/1.84 v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962
1.78/1.84 v -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944
1.78/1.84 v -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926
1.78/1.84 v -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908
1.78/1.84 v x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890
1.78/1.84 v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872
1.78/1.84 v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 x4857 -x4856 -x4855 -x4854
1.78/1.84 v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836
1.78/1.84 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
1.78/1.84 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
1.78/1.84 v -x4799 -x4798 x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782
1.78/1.84 v -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765
1.78/1.84 v -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 x4747
1.78/1.84 v -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729
1.78/1.84 v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711
1.78/1.84 v -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 x4697 -x4696 -x4695 -x4694 -x4693
1.78/1.84 v -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675
1.78/1.84 v -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657
1.78/1.84 v -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639
1.78/1.84 v -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621
1.78/1.84 v -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 x4607 -x4606 -x4605 -x4604 -x4603
1.78/1.84 v -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586
1.78/1.84 v -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568
1.78/1.84 v -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550
1.78/1.84 v -x4549 -x4548 x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532
1.78/1.84 v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514
1.78/1.84 v -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 x4497 -x4496
1.78/1.84 v -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478
1.78/1.84 v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460
1.78/1.84 v -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442
1.78/1.84 v -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424
1.78/1.84 v -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 x4407 -x4406
1.78/1.84 v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389
1.78/1.84 v -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371
1.78/1.84 v -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 x4357 -x4356 -x4355 -x4354 -x4353
1.78/1.84 v -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335
1.78/1.84 v -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317
1.78/1.84 v -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299
1.78/1.84 v -x4298 x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281
1.78/1.84 v -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263
1.78/1.84 v -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245
1.78/1.84 v -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227
1.78/1.84 v -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210
1.78/1.84 v -x4209 -x4208 x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191
1.78/1.84 v -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174
1.78/1.84 v -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156
1.78/1.84 v -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138
1.78/1.84 v -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120
1.78/1.84 v -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 x4107 -x4106 -x4105 -x4104 -x4103 -x4102
1.78/1.84 v -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084
1.78/1.84 v -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066
1.78/1.84 v -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048
1.78/1.84 v -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030
1.78/1.84 v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013
1.78/1.84 v -x4012 -x4011 -x4010 -x4009 -x4008 x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 x3997 -x3996 -x3995 -x3994
1.78/1.84 v -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977
1.78/1.84 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1.78/1.84 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1.78/1.84 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1.78/1.84 v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905
1.78/1.84 v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887
1.78/1.84 v -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869
1.78/1.84 v -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851
1.78/1.84 v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833
1.78/1.84 v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1.78/1.84 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798
1.78/1.84 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780
1.78/1.84 v -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1.78/1.84 v -x3761 -x3760 -x3759 -x3758 x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1.78/1.84 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1.78/1.84 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1.78/1.84 v x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690
1.78/1.84 v -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672
1.78/1.84 v -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 x3657 -x3656 -x3655 -x3654
1.78/1.84 v -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636
1.78/1.84 v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619
1.78/1.84 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601
1.78/1.84 v -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583
1.78/1.84 v -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565
1.78/1.84 v -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547
1.78/1.84 v -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529
1.78/1.84 v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511
1.78/1.84 v -x3510 -x3509 -x3508 x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493
1.78/1.84 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
1.78/1.84 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 x3457
1.78/1.84 v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439
1.78/1.84 v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421
1.78/1.84 v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404
1.78/1.84 v -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386
1.78/1.84 v -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
1.78/1.84 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350
1.78/1.84 v -x3349 -x3348 x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332
1.78/1.84 v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314
1.78/1.84 v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296
1.78/1.84 v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
1.78/1.84 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
1.78/1.84 v -x3259 -x3258 x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242
1.78/1.84 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
1.78/1.84 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 x3207
1.78/1.84 v -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189
1.78/1.84 v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171
1.78/1.84 v -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 x3157 -x3156 -x3155 -x3154 -x3153
1.78/1.84 v -x3152 -x3151 -x3150 -x3149 -x3148 x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135
1.78/1.84 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117
1.78/1.84 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
1.78/1.84 v -x3098 x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081
1.78/1.84 v -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063
1.78/1.84 v -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 x3047 -x3046 -x3045
1.78/1.84 v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027
1.78/1.84 v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
1.78/1.84 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 x2997 -x2996 -x2995 -x2994 -x2993 -x2992
1.78/1.84 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
1.78/1.84 v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956
1.78/1.84 v -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938
1.78/1.84 v -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920
1.78/1.84 v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902
1.78/1.84 v -x2901 -x2900 -x2899 -x2898 x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884
1.78/1.84 v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866
1.78/1.84 v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848
1.78/1.84 v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831
1.78/1.84 v -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813
1.78/1.84 v -x2812 -x2811 -x2810 -x2809 -x2808 x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
1.78/1.84 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
1.78/1.84 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759
1.78/1.84 v -x2758 x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741
1.78/1.84 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
1.78/1.84 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
1.78/1.84 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
1.78/1.84 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
1.78/1.84 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
1.78/1.84 v -x2650 -x2649 -x2648 x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
1.78/1.84 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
1.78/1.84 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
1.78/1.84 v x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
1.78/1.84 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
1.78/1.84 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 x2547 -x2546 -x2545 -x2544
1.78/1.84 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
1.78/1.84 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1.78/1.84 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
1.78/1.84 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
1.78/1.84 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 x2457 -x2456 -x2455 -x2454
1.78/1.84 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
1.78/1.84 v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419
1.78/1.84 v -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401
1.78/1.84 v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383
1.78/1.84 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365
1.78/1.84 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347
1.78/1.84 v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329
1.78/1.84 v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311
1.78/1.84 v -x2310 -x2309 -x2308 x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293
1.78/1.84 v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275
1.78/1.84 v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
1.78/1.84 v x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1.78/1.84 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
1.78/1.84 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 x2207 -x2206 -x2205 -x2204
1.78/1.84 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
1.78/1.84 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
1.78/1.84 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150
1.78/1.84 v -x2149 -x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1.78/1.84 v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114
1.78/1.84 v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096
1.78/1.84 v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078
1.78/1.84 v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060
1.78/1.84 v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045 -x2044 -x2043 -x2042
1.78/1.84 v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1.78/1.84 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1.78/1.84 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989
1.78/1.84 v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971
1.78/1.84 v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953
1.78/1.84 v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
1.78/1.84 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917
1.78/1.84 v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899
1.78/1.84 v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881
1.78/1.84 v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
1.78/1.84 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 x1847 -x1846 -x1845
1.78/1.84 v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828
1.78/1.84 v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
1.78/1.84 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 x1797 -x1796 -x1795 -x1794 -x1793 -x1792
1.78/1.84 v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774
1.78/1.84 v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756
1.78/1.84 v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
1.78/1.84 v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720
1.78/1.84 v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 x1707 -x1706 -x1705 -x1704 -x1703 -x1702
1.78/1.84 v -x1701 -x1700 -x1699 -x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1.78/1.84 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666
1.78/1.84 v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
1.78/1.84 v -x1648 x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631
1.78/1.84 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613
1.78/1.84 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595
1.78/1.84 v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577
1.78/1.84 v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559
1.78/1.84 v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541
1.78/1.84 v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523
1.78/1.84 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505
1.78/1.84 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487
1.78/1.84 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469
1.78/1.84 v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452
1.78/1.84 v -x1451 -x1450 -x1449 -x1448 x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434
1.78/1.84 v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416
1.78/1.84 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398
1.78/1.84 v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380
1.78/1.84 v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
1.78/1.84 v -x1361 -x1360 -x1359 -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
1.78/1.84 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
1.78/1.84 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
1.78/1.84 v x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
1.78/1.84 v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
1.78/1.84 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 x1257 -x1256 -x1255
1.78/1.84 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237
1.78/1.84 v -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219
1.78/1.84 v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201
1.78/1.84 v -x1200 -x1199 -x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
1.78/1.84 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
1.78/1.84 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 x1147
1.78/1.84 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1.78/1.84 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1.78/1.84 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1.78/1.84 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
1.78/1.84 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
1.78/1.84 v x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
1.78/1.84 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022
1.78/1.84 v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004
1.78/1.84 v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984
1.78/1.84 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963
1.78/1.84 v -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942
1.78/1.84 v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921
1.78/1.84 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
1.78/1.84 v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1.78/1.84 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
1.78/1.84 v x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837
1.78/1.84 v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
1.78/1.84 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796
1.78/1.84 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775
1.78/1.84 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754
1.78/1.84 v -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733
1.78/1.84 v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712
1.78/1.84 v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691
1.78/1.84 v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670
1.78/1.84 v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649
1.78/1.84 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628
1.78/1.84 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
1.78/1.84 v x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1.78/1.84 v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566
1.78/1.84 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1.78/1.84 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
1.78/1.84 v -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503
1.78/1.84 v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
1.78/1.84 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
1.78/1.84 v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
1.78/1.84 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
1.78/1.84 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398
1.78/1.84 v x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1.78/1.84 v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357
1.78/1.84 v -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
1.78/1.84 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315
1.78/1.84 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294
1.78/1.84 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273
1.78/1.84 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252
1.78/1.84 v -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231
1.78/1.84 v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1.78/1.84 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1.78/1.84 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1.78/1.84 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1.78/1.84 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1.78/1.84 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1.78/1.84 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1.78/1.84 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1.78/1.84 v -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
1.78/1.84 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6
1.78/1.84 v -x5 -x4 -x3 -x2 -x1
1.78/1.84 c SCIP Status : problem is solved [optimal solution found]
1.78/1.84 c Total Time : 1.84
1.78/1.84 c solving : 1.84
1.78/1.84 c presolving : 0.11 (included in solving)
1.78/1.84 c reading : 0.01 (included in solving)
1.78/1.84 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1.78/1.84 c Original Problem :
1.78/1.84 c Problem name : HOME/instance-3717701-1338198833.wbo
1.78/1.84 c Variables : 6220 (6220 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.84 c Constraints : 221 initial, 221 maximal
1.78/1.84 c Objective sense : minimize
1.78/1.84 c Presolved Problem :
1.78/1.84 c Problem name : t_HOME/instance-3717701-1338198833.wbo
1.78/1.84 c Variables : 6010 (6005 binary, 0 integer, 5 implicit integer, 0 continuous)
1.78/1.84 c Constraints : 297 initial, 297 maximal
1.78/1.84 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.78/1.84 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c trivial : 0.00 0.00 428 0 0 0 0 0 0 0 0
1.78/1.84 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c varbound : 0.00 0.00 0 0 0 1 0 1 0 0 0
1.78/1.84 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c setppc : 0.00 0.00 0 0 0 0 0 1 0 0 0
1.78/1.84 c linear : 0.03 0.00 1 0 0 220 0 7 0 6 0
1.78/1.84 c indicator : 0.00 0.00 0 0 0 0 0 1 0 0 0
1.78/1.84 c logicor : 0.05 0.00 1 0 0 0 0 1 0 0 0
1.78/1.84 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.78/1.84 c root node : - - 428 - - 428 - - - - -
1.78/1.84 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1.78/1.84 c integral : 0 0 0 0 1 0 232 0 0 0 0 0 2
1.78/1.84 c varbound : 5 5 0 1 0 0 0 0 0 0 0 0 0
1.78/1.84 c knapsack : 6 6 0 1 0 0 0 0 0 0 0 0 0
1.78/1.84 c setppc : 101 101 0 1 0 0 101 0 0 0 0 0 0
1.78/1.84 c linear : 5 5 7 302 0 0 228 67 1 0 113 0 0
1.78/1.84 c indicator : 5 5 0 300 0 0 225 1 0 214 0 0 0
1.78/1.84 c logicor : 164 164 0 2 0 0 101 1 0 0 0 0 0
1.78/1.84 c bounddisjunction : 11 11 0 2 0 0 0 0 0 0 0 0 0
1.78/1.84 c countsols : 0 0 0 0 0 0 127 0 0 0 0 0 0
1.78/1.84 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1.78/1.84 c integral : 0.03 0.00 0.00 0.00 0.00 0.00 0.03 0.00
1.78/1.84 c varbound : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1.78/1.84 c linear : 0.15 0.00 0.10 0.01 0.00 0.00 0.04 0.00
1.78/1.84 c indicator : 0.04 0.00 0.00 0.00 0.00 0.00 0.04 0.00
1.78/1.84 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.78/1.84 c rootredcost : 0 0 0 0
1.78/1.84 c pseudoobj : 203 3 0 214
1.78/1.84 c vbounds : 5 2 0 0
1.78/1.84 c redcost : 7 0 0 0
1.78/1.84 c probing : 0 0 0 0
1.78/1.84 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1.78/1.84 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c vbounds : 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c redcost : 0.00 0.00 0.00 0.00 0.00
1.78/1.84 c probing : 0.02 0.00 0.02 0.00 0.00
1.78/1.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1.78/1.84 c propagation : 0.00 1 1 28 84.5 0 0.0 -
1.78/1.84 c infeasible LP : 0.00 1 1 2 2.0 0 0.0 0
1.78/1.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1.78/1.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1.78/1.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1.78/1.84 c applied globally : - - - 12 63.2 - - -
1.78/1.84 c applied locally : - - - 0 0.0 - - -
1.78/1.84 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1.78/1.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 5)
1.78/1.84 c closecuts : 0.00 0.00 0 0 0 0 0
1.78/1.84 c impliedbounds : 0.00 0.00 6 0 0 0 0
1.78/1.84 c intobj : 0.00 0.00 0 0 0 0 0
1.78/1.84 c gomory : 0.01 0.00 6 0 0 4 0
1.78/1.84 c cgmip : 0.00 0.00 0 0 0 0 0
1.78/1.84 c strongcg : 0.06 0.00 6 0 0 168 0
1.78/1.84 c cmir : 0.03 0.00 6 0 0 47 0
1.78/1.84 c flowcover : 0.06 0.00 6 0 0 54 0
1.78/1.84 c clique : 0.00 0.00 1 0 0 0 0
1.78/1.84 c zerohalf : 0.00 0.00 0 0 0 0 0
1.78/1.84 c mcf : 0.00 0.00 1 0 0 0 0
1.78/1.84 c oddcycle : 0.00 0.00 0 0 0 0 0
1.78/1.84 c rapidlearning : 0.66 0.00 1 0 0 0 51
1.78/1.84 c Pricers : ExecTime SetupTime Calls Vars
1.78/1.84 c problem variables: 0.00 - 0 0
1.78/1.84 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1.78/1.84 c inference : 0.00 0.00 1 0 0 0 0 2
1.78/1.84 c relpscost : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c pscost : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c mostinf : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c leastinf : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c random : 0.00 0.00 0 0 0 0 0 0
1.78/1.84 c Primal Heuristics : ExecTime SetupTime Calls Found
1.78/1.84 c LP solutions : 0.00 - - 0
1.78/1.84 c pseudo solutions : 0.00 - - 0
1.78/1.84 c oneopt : 0.00 0.00 1 0
1.78/1.84 c smallcard : 0.00 0.00 0 0
1.78/1.84 c trivial : 0.01 0.00 2 1
1.78/1.84 c shiftandpropagate: 0.00 0.00 0 0
1.78/1.84 c simplerounding : 0.00 0.00 7 1
1.78/1.84 c zirounding : 0.00 0.00 1 0
1.78/1.84 c rounding : 0.00 0.00 7 0
1.78/1.84 c shifting : 0.00 0.00 7 0
1.78/1.84 c intshifting : 0.00 0.00 0 0
1.78/1.84 c twoopt : 0.00 0.00 0 0
1.78/1.84 c indoneopt : 0.21 0.00 3 2
1.78/1.84 c indtwoopt : 0.00 0.00 0 0
1.78/1.84 c fixandinfer : 0.00 0.00 0 0
1.78/1.84 c feaspump : 0.00 0.00 0 0
1.78/1.84 c clique : 0.00 0.00 0 0
1.78/1.84 c coefdiving : 0.23 0.00 1 0
1.78/1.84 c indrounding : 0.00 0.00 1 1
1.78/1.84 c indcoefdiving : 0.00 0.00 0 0
1.78/1.84 c pscostdiving : 0.00 0.00 0 0
1.78/1.84 c fracdiving : 0.00 0.00 0 0
1.78/1.84 c nlpdiving : 0.00 0.00 0 0
1.78/1.84 c veclendiving : 0.00 0.00 0 0
1.78/1.84 c intdiving : 0.00 0.00 0 0
1.78/1.84 c actconsdiving : 0.00 0.00 0 0
1.78/1.84 c objpscostdiving : 0.00 0.00 0 0
1.78/1.84 c rootsoldiving : 0.00 0.00 0 0
1.78/1.84 c linesearchdiving : 0.00 0.00 0 0
1.78/1.84 c guideddiving : 0.00 0.00 0 0
1.78/1.84 c octane : 0.00 0.00 0 0
1.78/1.84 c rens : 0.04 0.00 1 0
1.78/1.84 c rins : 0.00 0.00 0 0
1.78/1.84 c localbranching : 0.00 0.00 0 0
1.78/1.84 c mutation : 0.00 0.00 0 0
1.78/1.84 c crossover : 0.00 0.00 0 0
1.78/1.84 c dins : 0.00 0.00 0 0
1.78/1.84 c vbounds : 0.00 0.00 0 0
1.78/1.84 c undercover : 0.00 0.00 0 0
1.78/1.84 c subnlp : 0.00 0.00 0 0
1.78/1.84 c trysol : 0.00 0.00 0 0
1.78/1.84 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1.78/1.84 c primal LP : 0.00 1 0 0.00 - 0.00 1
1.78/1.84 c dual LP : 0.27 8 6787 848.38 25161.45 0.00 0
1.78/1.84 c lex dual LP : 0.00 0 0 0.00 -
1.78/1.84 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.78/1.84 c diving/probing LP: 0.14 158 276 1.75 1991.46
1.78/1.84 c strong branching : 0.00 0 0 0.00 -
1.78/1.84 c (at root node) : - 0 0 0.00 -
1.78/1.84 c conflict analysis: 0.00 0 0 0.00 -
1.78/1.84 c B&B Tree :
1.78/1.84 c number of runs : 2
1.78/1.84 c nodes : 1
1.78/1.84 c nodes (total) : 2
1.78/1.84 c nodes left : 0
1.78/1.84 c max depth : 0
1.78/1.84 c max depth (total): 0
1.78/1.84 c backtracks : 0 (0.0%)
1.78/1.84 c delayed cutoffs : 0
1.78/1.84 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.78/1.84 c avg switch length: 2.00
1.78/1.84 c switching time : 0.00
1.78/1.84 c Solution :
1.78/1.84 c Solutions found : 5 (3 improvements)
1.78/1.84 c First Solution : +1.13060000000000e+04 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1.78/1.84 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <indoneopt>)
1.78/1.84 c Dual Bound : +3.00000000000000e+00
1.78/1.84 c Gap : 0.00 %
1.78/1.84 c Root Dual Bound : +3.00000000000000e+00
1.78/1.84 c Root Iterations : 6787
1.78/1.86 c Time complete: 1.85.
OK 3
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717701-1338198833/watcher-3717701-1338198833 -o /tmp/evaluation-result-3717701-1338198833/solver-3717701-1338198833 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717701-1338198833.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.03 2.01 3/176 1409 /proc/meminfo: memFree=27622656/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=9164 CPUtime=0 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 1066 0 0 0 0 0 0 0 20 0 1 0 286008790 9383936 1021 33554432000 4194304 10173063 140734244386032 140733236182680 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 2291 1031 391 1460 0 822 0 [startup+0.00847205 s] /proc/loadavg: 2.14 2.03 2.01 3/176 1409 /proc/meminfo: memFree=27622656/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=12644 CPUtime=0 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 1921 0 0 0 0 0 0 0 20 0 1 0 286008790 12947456 1875 33554432000 4194304 10173063 140734244386032 140734244249560 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 3161 1875 416 1460 0 1692 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12644 [startup+0.100148 s] /proc/loadavg: 2.14 2.03 2.01 3/176 1409 /proc/meminfo: memFree=27622656/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=33036 CPUtime=0.09 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 7089 0 0 0 8 1 0 0 20 0 1 0 286008790 33828864 6786 33554432000 4194304 10173063 140734244386032 140734244249560 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 8259 6786 629 1460 0 6790 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33036 [startup+0.30013 s] /proc/loadavg: 2.14 2.03 2.01 3/176 1409 /proc/meminfo: memFree=27622656/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=42844 CPUtime=0.29 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 9833 0 0 0 28 1 0 0 20 0 1 0 286008790 43872256 9449 33554432000 4194304 10173063 140734244386032 140734244249560 5355389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 10711 9449 759 1460 0 9242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42844 [startup+0.700113 s] /proc/loadavg: 2.14 2.03 2.01 3/176 1409 /proc/meminfo: memFree=27622656/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=76996 CPUtime=0.69 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 17979 0 0 0 65 4 0 0 20 0 1 0 286008790 78843904 17586 33554432000 4194304 10173063 140734244386032 140734244249560 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 19249 17586 832 1460 0 17780 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76996 [startup+1.50018 s] /proc/loadavg: 2.14 2.03 2.01 3/177 1410 /proc/meminfo: memFree=27554208/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=78488 CPUtime=1.49 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 18426 0 0 0 142 7 0 0 20 0 1 0 286008790 80371712 18033 33554432000 4194304 10173063 140734244386032 140734244379064 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 19622 18033 855 1460 0 18153 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 78488 Solver just ended. Dumping a history of the last processes samples [startup+1.70018 s] /proc/loadavg: 2.14 2.03 2.01 3/177 1410 /proc/meminfo: memFree=27554208/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=78488 CPUtime=1.69 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 18938 0 0 0 162 7 0 0 20 0 1 0 286008790 80371712 18527 33554432000 4194304 10173063 140734244386032 140734244379064 5552349 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 19622 18527 871 1460 0 18153 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 78488 [startup+1.80016 s] /proc/loadavg: 2.14 2.03 2.01 3/177 1410 /proc/meminfo: memFree=27554208/32873648 swapFree=7104/7104 [pid=1409] ppid=1407 vsize=78488 CPUtime=1.78 cores=1,3,5,7 /proc/1409/stat : 1409 (scip-2.1.1.4fix) R 1407 1409 32675 0 -1 4202496 18956 0 0 0 171 7 0 0 20 0 1 0 286008790 80371712 18542 33554432000 4194304 10173063 140734244386032 140734244379384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1409/statm: 19622 18542 871 1460 0 18153 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 78488 Child status: 0 Real time (s): 1.86418 CPU time (s): 1.86272 CPU user time (s): 1.77973 CPU system time (s): 0.082987 CPU usage (%): 99.9212 Max. virtual memory (cumulated for all children) (KiB): 78488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.77973 system time used= 0.082987 maximum resident set size= 74176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18960 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4 runsolver used 0.001999 second user time and 0.010998 second system time The end
Begin job on node127 at 2012-05-28 11:53:53 IDJOB=3717701 IDBENCH=79153 IDSOLVER=2300 FILE ID=node127/3717701-1338198833 RUNJOBID= node127-1338192865-32692 PBS_JOBID= 14624582 Free space on /tmp= 71156 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717701-1338198833/watcher-3717701-1338198833 -o /tmp/evaluation-result-3717701-1338198833/solver-3717701-1338198833 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717701-1338198833.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73 RANDOM SEED=1756041698 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27622912 kB Buffers: 485604 kB Cached: 3579600 kB SwapCached: 0 kB Active: 1554944 kB Inactive: 2806712 kB Active(anon): 298576 kB Inactive(anon): 0 kB Active(file): 1256368 kB Inactive(file): 2806712 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28716 kB Writeback: 0 kB AnonPages: 304560 kB Mapped: 17732 kB Shmem: 200 kB Slab: 745976 kB SReclaimable: 189284 kB SUnreclaim: 556692 kB KernelStack: 1472 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 424464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71144 MiB End job on node127 at 2012-05-28 11:53:55