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