Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | 22 | 1796.81 | 1797.11 |
| 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-3693472-1338035131.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.06
0.09/0.12 c presolving:
0.19/0.23 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.23 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.32 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.43 c (0.4s) probing: 51/5429 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.38/0.43 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.38/0.43 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.38/0.50 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.48/0.56 c (0.6s) probing: 56/5429 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.48/0.56 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.48/0.56 c presolving (6 rounds):
0.48/0.56 c 733 deleted vars, 13939 deleted constraints, 4201 added constraints, 5 tightened bounds, 0 added holes, 9 changed sides, 10 changed coefficients
0.48/0.56 c 167762 implications, 0 cliques
0.48/0.56 c presolved problem has 5294 variables (5294 bin, 0 int, 0 impl, 0 cont) and 11540 constraints
0.48/0.56 c 1 constraints of type <knapsack>
0.48/0.56 c 6885 constraints of type <setppc>
0.48/0.56 c 4066 constraints of type <and>
0.48/0.56 c 588 constraints of type <logicor>
0.48/0.56 c transformed objective value is always integral (scale: 1)
0.48/0.56 c Presolving Time: 0.48
0.48/0.56 c - non default parameters ----------------------------------------------------------------------
0.48/0.56 c # SCIP version 2.1.1.4
0.48/0.56 c
0.48/0.56 c # maximal time in seconds to run
0.48/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.56 c limits/time = 1797
0.48/0.56 c
0.48/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.48/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.56 c limits/memory = 13950
0.48/0.56 c
0.48/0.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.48/0.56 c # [type: int, range: [1,2], default: 1]
0.48/0.56 c timing/clocktype = 2
0.48/0.56 c
0.48/0.56 c # belongs reading time to solving time?
0.48/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.56 c timing/reading = TRUE
0.48/0.56 c
0.48/0.56 c -----------------------------------------------------------------------------------------------
0.48/0.56 c start solving
0.48/0.57 c
0.79/0.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.85 c 0.9s| 1 | 0 | 453 | - | 42M| 0 | 104 |5294 | 11k|5294 | 15k| 0 | 12 | 0 | 7.555556e+00 | -- | Inf
7.38/7.42 o 23
7.38/7.42 c U 7.4s| 1 | 0 | 11691 | - | 43M| 0 | 104 |5294 | 11k|5294 | 15k| 0 | 23 | 0 | 7.555556e+00 | 2.300000e+01 | 204.41%
8.19/8.28 c 8.3s| 1 | 0 | 11872 | - | 44M| 0 | 111 |5294 | 11k|5294 | 15k| 91 | 23 | 0 | 8.000000e+00 | 2.300000e+01 | 187.50%
8.99/9.09 c 9.1s| 1 | 0 | 12453 | - | 44M| 0 | 26 |5294 | 11k|5294 | 15k| 190 | 23 | 0 | 9.500000e+00 | 2.300000e+01 | 142.11%
9.58/9.69 c 9.7s| 1 | 0 | 12707 | - | 45M| 0 | 200 |5294 | 11k|5294 | 15k| 272 | 23 | 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
10.59/10.62 c 10.6s| 1 | 0 | 14127 | - | 46M| 0 | 313 |5294 | 11k|5294 | 16k| 595 | 23 | 0 | 1.003509e+01 | 2.300000e+01 | 129.20%
11.68/11.71 c 11.7s| 1 | 0 | 15540 | - | 49M| 0 | 383 |5294 | 11k|5294 | 16k|1218 | 23 | 0 | 1.038822e+01 | 2.300000e+01 | 121.40%
12.48/12.58 c 12.6s| 1 | 0 | 16281 | - | 51M| 0 | 547 |5294 | 11k|5294 | 17k|2059 | 23 | 0 | 1.083288e+01 | 2.300000e+01 | 112.32%
15.78/15.85 c 15.8s| 1 | 0 | 18253 | - | 53M| 0 | 754 |5294 | 11k|5294 | 18k|3258 | 23 | 0 | 1.124973e+01 | 2.300000e+01 | 104.45%
17.68/17.70 c 17.7s| 1 | 0 | 19879 | - | 58M| 0 | 682 |5294 | 11k|5294 | 19k|4198 | 23 | 0 | 1.136136e+01 | 2.300000e+01 | 102.44%
21.68/21.74 c 21.7s| 1 | 0 | 21554 | - | 62M| 0 | 799 |5294 | 11k|5294 | 20k|4838 | 23 | 0 | 1.142245e+01 | 2.300000e+01 | 101.36%
28.99/29.01 c 29.0s| 1 | 0 | 23860 | - | 62M| 0 | 599 |5294 | 11k|5294 | 21k|5800 | 23 | 0 | 1.150922e+01 | 2.300000e+01 | 99.84%
30.58/30.65 c 30.6s| 1 | 0 | 25000 | - | 63M| 0 | 561 |5294 | 11k|5294 | 21k|6335 | 23 | 0 | 1.152102e+01 | 2.300000e+01 | 99.64%
34.18/34.25 c 34.2s| 1 | 0 | 26600 | - | 64M| 0 | 539 |5294 | 11k|5294 | 22k|6732 | 23 | 0 | 1.156659e+01 | 2.300000e+01 | 98.85%
37.68/37.76 c 37.8s| 1 | 0 | 27950 | - | 64M| 0 | 562 |5294 | 11k|5294 | 22k|7295 | 23 | 0 | 1.157280e+01 | 2.300000e+01 | 98.74%
41.69/41.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.69/41.79 c 41.8s| 1 | 0 | 30162 | - | 65M| 0 | 842 |5294 | 11k|5294 | 22k|7646 | 23 | 0 | 1.158283e+01 | 2.300000e+01 | 98.57%
46.78/46.88 c 46.9s| 1 | 0 | 32534 | - | 65M| 0 | 894 |5294 | 11k|5294 | 23k|8068 | 23 | 0 | 1.159187e+01 | 2.300000e+01 | 98.41%
52.18/52.20 c 52.2s| 1 | 0 | 33936 | - | 65M| 0 | 777 |5294 | 11k|5294 | 23k|8614 | 23 | 0 | 1.159635e+01 | 2.300000e+01 | 98.34%
57.19/57.26 c 57.3s| 1 | 0 | 35436 | - | 65M| 0 | 826 |5294 | 11k|5294 | 24k|9023 | 23 | 0 | 1.160758e+01 | 2.300000e+01 | 98.15%
60.28/60.35 c 60.3s| 1 | 0 | 36571 | - | 66M| 0 | 732 |5294 | 11k|5294 | 24k|9494 | 23 | 0 | 1.161291e+01 | 2.300000e+01 | 98.06%
62.97/63.06 c 63.1s| 1 | 0 | 37365 | - | 66M| 0 | 766 |5294 | 11k|5294 | 24k|9849 | 23 | 0 | 1.161540e+01 | 2.300000e+01 | 98.01%
65.68/65.74 c 65.7s| 1 | 0 | 37622 | - | 66M| 0 | 773 |5294 | 11k|5294 | 20k|9952 | 23 | 0 | 1.161627e+01 | 2.300000e+01 | 98.00%
65.89/65.98 c 66.0s| 1 | 0 | 37957 | - | 66M| 0 | 743 |5294 | 11k|5294 | 20k| 10k| 23 | 0 | 1.161713e+01 | 2.300000e+01 | 97.98%
66.18/66.20 c 66.2s| 1 | 0 | 38310 | - | 66M| 0 | 664 |5294 | 11k|5294 | 20k| 10k| 23 | 0 | 1.161809e+01 | 2.300000e+01 | 97.97%
66.18/66.25 c 66.2s| 1 | 0 | 38343 | - | 66M| 0 | 655 |5294 | 11k|5294 | 21k| 10k| 23 | 0 | 1.161809e+01 | 2.300000e+01 | 97.97%
66.18/66.28 c 66.3s| 1 | 0 | 38350 | - | 66M| 0 | 654 |5294 | 11k|5294 | 21k| 10k| 23 | 0 | 1.161809e+01 | 2.300000e+01 | 97.97%
66.38/66.41 c 66.4s| 1 | 0 | 38512 | - | 66M| 0 | 732 |5294 | 11k|5294 | 21k| 10k| 23 | 0 | 1.161834e+01 | 2.300000e+01 | 97.96%
66.48/66.54 c 66.5s| 1 | 0 | 38664 | - | 66M| 0 | 658 |5294 | 11k|5294 | 18k| 10k| 23 | 0 | 1.161853e+01 | 2.300000e+01 | 97.96%
66.58/66.61 c 66.6s| 1 | 0 | 38751 | - | 66M| 0 | 584 |5294 | 11k|5294 | 18k| 10k| 23 | 0 | 1.161860e+01 | 2.300000e+01 | 97.96%
89.47/89.56 c 89.6s| 1 | 2 | 38751 | - | 66M| 0 | 584 |5294 | 11k|5294 | 18k| 10k| 23 | 42 | 1.161860e+01 | 2.300000e+01 | 97.96%
859.16/859.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.16/859.36 c 859s| 100 | 99 |890661 |8605.2 | 68M| 21 | 677 |5294 | 11k|5294 | 19k| 24k| 273 | 368 | 1.193430e+01 | 2.300000e+01 | 92.72%
1565.53/1565.87 c 1566s| 200 | 199 | 1671k|8206.8 | 69M| 24 |2170 |5294 | 11k|5294 | 20k| 34k| 350 | 628 | 1.198807e+01 | 2.300000e+01 | 91.86%
1585.13/1585.41 o 22
1585.13/1585.41 c C1585s| 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.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 240
1796.69/1797.00 c Primal Bound : +2.20000000000000e+01 (5 solutions)
1796.69/1797.00 c Dual Bound : +1.20199863698228e+01
1796.69/1797.00 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.01 v -x3076 -x3075 -x3074 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058
1796.69/1797.01 v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040
1796.69/1797.01 v -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022
1796.69/1797.01 v -x3021 x3020 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1796.69/1797.01 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984
1796.69/1797.01 v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966
1796.69/1797.01 v -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947
1796.69/1797.01 v -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928
1796.69/1797.01 v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2910 -x2909
1796.69/1797.01 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892
1796.69/1797.01 v -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873
1796.69/1797.01 v -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2856 -x2855 -x2854
1796.69/1797.01 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
1796.69/1797.01 v -x2835 -x2834 -x2833 -x2832 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
1796.69/1797.01 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799
1796.69/1797.01 v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
1796.69/1797.01 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 x2773 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762
1796.69/1797.01 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
1796.69/1797.01 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
1796.69/1797.01 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708
1796.69/1797.01 v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690
1796.69/1797.01 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
1796.69/1797.01 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2655 -x2654 -x2653
1796.69/1797.01 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
1796.69/1797.01 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618
1796.69/1797.01 v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
1796.69/1797.01 v -x2599 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
1796.69/1797.01 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
1796.69/1797.01 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545
1796.69/1797.01 v -x2544 -x2543 -x2542 -x2541 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
1796.69/1797.01 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1796.69/1797.01 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491
1796.69/1797.01 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
1796.69/1797.01 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454
1796.69/1797.01 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436
1796.69/1797.01 v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
1796.69/1797.01 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399
1796.69/1797.01 v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
1796.69/1797.01 v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2365 -x2364 -x2363 -x2362
1796.69/1797.01 v x2360 -x2358 -x2357 -x2356 -x2355 x2353 -x2351 -x2350 -x2349 -x2348 -x2346 -x2344 -x2343 -x2342 -x2341 -x2339 -x2337 -x2336
1796.69/1797.01 v -x2335 -x2334 x2332 -x2330 -x2329 -x2328 -x2327 -x2325 -x2323 -x2322 -x2321 -x2320 -x2318 -x2316 -x2315 -x2314 -x2313 -x2311
1796.69/1797.01 v -x2309 -x2308 -x2307 -x2306 -x2304 -x2302 -x2301 -x2300 -x2299 -x2297 -x2295 -x2294 -x2293 -x2292 x2290 -x2288 -x2287 -x2286
1796.69/1797.01 v -x2285 -x2283 -x2281 -x2280 -x2279 -x2278 -x2276 -x2274 -x2273 -x2272 -x2271 x2269 -x2267 -x2266 -x2265 -x2264 x2262 -x2260
1796.69/1797.01 v -x2259 -x2258 -x2257 x2255 -x2253 -x2252 -x2251 -x2250 -x2248 -x2246 -x2245 -x2244 -x2243 -x2241 -x2239 -x2238 -x2237 -x2236
1796.69/1797.01 v -x2234 -x2232 -x2231 -x2230 x2229 x2227 -x2225 -x2224 -x2223 -x2222 x2220 -x2218 -x2217 -x2216 -x2215 -x2213 -x2211 -x2210
1796.69/1797.01 v -x2209 -x2208 -x2206 -x2204 -x2203 -x2202 -x2201 -x2199 -x2197 -x2196 -x2195 -x2194 -x2192 -x2190 -x2189 -x2188 -x2187 -x2185
1796.69/1797.01 v -x2183 -x2182 -x2181 -x2180 -x2178 -x2176 -x2175 -x2174 -x2173 -x2171 -x2169 -x2168 x2167 x2166 -x2164 -x2162 -x2161 -x2160
1796.69/1797.01 v x2159 -x2157 -x2155 -x2154 -x2153 -x2152 -x2150 -x2148 -x2147 -x2146 -x2145 -x2143 -x2141 -x2140 -x2139 -x2138 -x2136 -x2134
1796.69/1797.01 v -x2133 -x2132 x2131 x2129 -x2127 -x2126 -x2125 x2124 -x2122 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112
1796.69/1797.01 v -x2111 -x2110 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092
1796.69/1797.01 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2072
1796.69/1797.01 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
1796.69/1797.01 v -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2036 -x2035 -x2034 -x2033
1796.69/1797.01 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
1796.69/1797.01 v -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
1796.69/1797.01 v -x1993 -x1992 -x1991 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1975
1796.69/1797.01 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956
1796.69/1797.01 v -x1955 -x1954 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936
1796.69/1797.01 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1916
1796.69/1797.01 v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897
1796.69/1797.01 v -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 x1883 x1882 -x1880 -x1879 -x1878 -x1877
1796.69/1797.01 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858
1796.69/1797.01 v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839
1796.69/1797.01 v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821
1796.69/1797.01 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
1796.69/1797.01 v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1787 -x1786 -x1785 -x1784
1796.69/1797.01 v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766
1796.69/1797.01 v -x1765 -x1764 -x1763 -x1762 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747
1796.69/1797.01 v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728
1796.69/1797.01 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710
1796.69/1797.01 v -x1709 -x1708 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691
1796.69/1797.01 v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1679 -x1678 -x1677 -x1676 -x1674 -x1672 -x1671 -x1670
1796.69/1797.01 v -x1669 -x1667 -x1665 -x1664 -x1663 -x1662 -x1660 -x1658 -x1657 -x1656 -x1655 -x1653 -x1651 -x1650 -x1649 -x1648 -x1646 -x1644
1796.69/1797.01 v -x1643 -x1642 -x1641 -x1639 -x1637 -x1636 -x1635 -x1634 -x1632 -x1630 -x1629 -x1628 x1627 x1625 -x1623 -x1622 -x1621 -x1620
1796.69/1797.01 v x1618 -x1616 -x1615 -x1614 -x1613 x1611 -x1609 -x1608 -x1607 -x1606 -x1604 -x1602 -x1601 -x1600 -x1599 x1597 -x1595 -x1594
1796.69/1797.01 v -x1593 -x1592 x1590 -x1588 -x1587 -x1586 -x1585 -x1583 -x1581 -x1580 -x1579 -x1578 -x1576 -x1574 -x1573 -x1572 -x1571 x1569
1796.69/1797.01 v -x1567 -x1566 -x1565 -x1564 -x1562 -x1560 -x1559 -x1558 -x1557 -x1555 -x1553 -x1552 -x1551 -x1550 x1548 -x1546 -x1545 -x1544
1796.69/1797.01 v -x1543 x1541 x1539 -x1538 -x1537 x1536 -x1534 -x1532 -x1531 -x1530 -x1529 -x1527 -x1525 -x1524 -x1523 -x1522 -x1520 -x1518
1796.69/1797.01 v -x1517 -x1516 x1515 -x1513 -x1511 -x1510 -x1509 -x1508 -x1506 -x1504 -x1503 -x1502 -x1501 -x1499 -x1497 -x1496 -x1495 x1494 -x1492
1796.69/1797.01 v -x1490 -x1489 -x1488 -x1487 -x1485 -x1483 -x1482 -x1481 -x1480 -x1478 -x1476 -x1475 -x1474 x1473 x1471 -x1469 -x1468 -x1467
1796.69/1797.01 v -x1466 -x1464 -x1462 -x1461 -x1460 -x1459 -x1457 -x1455 -x1454 -x1453 -x1452 x1450 -x1448 -x1447 -x1446 -x1445 -x1443 -x1441
1796.69/1797.01 v -x1440 -x1439 -x1438 -x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1422 -x1421 -x1420
1796.69/1797.01 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
1796.69/1797.01 v -x1401 -x1400 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1386 -x1385 -x1384 -x1383 -x1382
1796.69/1797.01 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1362
1796.69/1797.01 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343
1796.69/1797.01 v -x1342 -x1341 -x1340 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1326 -x1325 -x1324 -x1323
1796.69/1797.01 v -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
1796.69/1797.01 v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
1796.69/1797.01 v -x1283 -x1282 -x1281 -x1280 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1266 -x1265
1796.69/1797.01 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246
1796.69/1797.01 v -x1245 x1244 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226
1796.69/1797.01 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1206
1796.69/1797.01 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187
1796.69/1797.01 v -x1186 -x1185 -x1184 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
1796.69/1797.01 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
1796.69/1797.01 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
1796.69/1797.01 v -x1130 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112
1796.69/1797.01 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1796.69/1797.01 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
1796.69/1797.01 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1796.69/1797.01 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
1796.69/1797.01 v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1020 -x1019
1796.69/1797.01 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
1796.69/1797.01 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.01 v -x986 -x984 -x983 -x982 -x980 -x981 -x979 -x977 -x978 -x975 -x976 -x974 -x972 -x973 -x971 -x969 -x970 -x968 -x966 -x967
1796.69/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x754 -x755 -x753 -x751 -x752 -x750 -x749
1796.69/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566 -x564 -x562 -x563 -x561 -x559
1796.69/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412 -x411 -x409 -x408
1796.69/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x219 -x218 -x217 -x216 -x214 -x213 -x212 -x211 -x209 -x208 -x206 -x205 -x204 -x203 -x201 -x200 -x198 -x197 -x195 -x194
1796.69/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x6023 -x6021 -x6016 -x6014 -x6009 -x6007 -x6002 -x5997 -x5995 -x5990 -x5988 -x5986 -x5981 -x5979 -x5974 -x5972 -x5967 -x5965
1796.69/1797.01 v -x5960 -x5958 -x5953 -x5951 -x5946 -x5944 -x5939 -x5934 -x5929 -x5927 -x5922 -x5920 -x5915 -x5913 -x5908 -x5906 -x5901 -x5899
1796.69/1797.01 v -x5894 -x5892 -x5887 -x5885 -x5880 -x5878 -x5873 -x5868 -x5866 -x5861 -x5859 x5854 -x5849 -x5847 -x5842 -x5840 -x5835 -x5833
1796.69/1797.01 v -x5828 -x5823 -x5821 -x5816 -x5814 -x5809 -x5804 -x5802 -x5790 -x5778 -x893 -x5766 -x5754 -x5742 -x5730 -x5718 -x5706 -x880
1796.69/1797.01 v -x5694 -x5682 -x875 -x5670 -x5658 -x5646 -x868 -x5634 -x5622 -x863 -x5610 -x5598 -x858 -x5586 -x855 -x5574 x5562 -x5550 -x5523
1796.69/1797.01 v -x5496 -x5469 -x5442 -x5415 -x5388 -x5361 -x5356 -x5351 -x5346 -x5344 -x5339 -x5337 -x5332 -x5327 -x5322 -x5317 -x5312 -x5310
1796.69/1797.01 v -x5305 -x5303 -x5298 -x5293 -x5291 -x5289 -x5284 -x5279 -x5274 -x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241
1796.69/1797.01 v -x5239 -x5234 -x5232 -x5227 -x5225 -x5220 -x5215 -x5213 -x5208 -x5206 -x5201 -x5196 -x5194 -x5192 -x5187 -x5182 -x5180
1796.69/1797.01 v -x5175 -x5173 -x5168 -x5166 -x5164 -x5159 -x5157 -x5145 -x5133 -x5121 -x5109 -x5097 -x5085 -x5073 -x5061 -x5049 -x5037 -x5025
1796.69/1797.01 v -x5013 -x5001 -x725 -x4989 -x4977 -x4965 -x4953 -x4941 -x4929 -x4917 x4905 -x4878 -x4851 -x4824 -x4797 -x4770 x4743 -x4716 -x4711
1796.69/1797.01 v -x4706 -x4701 -x4696 -x4691 -x4686 -x4681 -x4676 -x4671 -x4666 -x4661 -x4656 -x4651 -x4646 -x4641 -x4636 -x4631 -x4626
1796.69/1797.01 v -x4621 -x4616 -x4611 -x4606 -x4601 -x4596 -x4591 -x4586 -x4581 -x4576 -x4571 -x4566 -x4561 -x4556 -x4551 -x4546 -x4541 -x4536
1796.69/1797.01 v -x4531 -x4526 -x4521 -x4516 -x4511 -x4506 -x4501 -x4496 -x4491 -x4486 -x4481 -x4476 -x4471 -x4466 -x4461 -x4456 -x4451 -x4446
1796.69/1797.01 v -x4441 -x4436 -x4431 -x4426 -x4421 -x4416 x4411 -x4406 -x4401 -x4396 -x4391 -x4386 -x4381 -x4376 -x4371 -x4366 -x4354 -x4352
1796.69/1797.01 v -x4340 -x4338 -x4326 -x4324 -x4312 -x4310 -x4298 -x4296 -x4284 -x4282 -x4270 -x4268 -x4256 -x4254 -x4242 -x4240 -x4228 -x4226
1796.69/1797.01 v -x4214 -x4212 -x4200 -x4198 -x4186 -x4184 -x4172 -x4170 -x4158 -x4156 -x4144 -x4142 -x4130 -x4128 -x4116 -x4104 -x4102 -x4090
1796.69/1797.01 v -x4088 -x4076 -x4074 -x4062 -x4060 -x4048 -x4046 -x4034 -x4032 -x4020 -x4018 -x4006 -x4004 -x3992 -x3990 -x3978 -x3976 -x3964
1796.69/1797.01 v -x3962 -x3950 x3938 -x3936 -x3924 -x3922 -x3910 -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838
1796.69/1797.01 v -x3826 -x3824 -x3812 -x3810 -x3798 -x3796 -x3784 -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712
1796.69/1797.01 v -x3700 -x3698 -x3686 -x3684 -x3672 -x3670 -x3658 -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588
1796.69/1797.01 v -x3586 -x3559 -x427 -x3532 -x424 -x3505 -x3478 -x419 -x3451 -x416 -x3424 -x413 -x3397 -x410 -x3370 -x3343 -x405 -x3316 -x3289
1796.69/1797.01 v -x400 -x3262 -x3235 -x395 -x3208 -x392 -x3181 x3154 -x3127 -x385 -x3100 -x3073 -x3046 -x3019 -x376 -x2992 -x373 -x2965 -x370
1796.69/1797.01 v -x2938 -x2911 -x365 -x2884 -x362 -x2857 -x359 -x2830 -x356 x2772 -x2714 -x2656 -x2598 -x2540 -x2482 -x2424 -x2366 -x2361 x2359
1796.69/1797.01 v -x2354 -x2352 -x2347 -x2345 -x2340 -x2338 -x2333 -x2331 -x2326 -x2324 -x2319 -x2317 -x2312 -x2310 -x2305 -x2303 -x2298 -x2296
1796.69/1797.01 v -x2291 -x2289 -x2284 -x2282 -x2277 -x2275 -x2270 -x2268 -x2263 -x2261 -x2256 -x2254 -x2249 -x2247 -x2242 -x2240 -x2235 -x2233
1796.69/1797.01 v -x2228 -x2226 -x2221 -x2219 -x2214 -x2212 -x2207 -x2205 -x2200 -x2198 -x2193 -x2191 -x2186 -x2184 -x2179 -x2177 -x2172 -x2170
1796.69/1797.01 v -x2165 -x2163 -x2158 -x2156 -x2151 -x2149 -x2144 -x2142 -x2137 -x2135 -x2130 -x2128 -x2123 -x2121 -x2109 x239 -x2097 -x236
1796.69/1797.01 v -x2085 -x233 -x2073 -x230 -x2061 -x2049 -x225 -x2037 -x2025 -x220 -x2013 -x2001 -x215 -x1989 -x1977 -x210 -x1965 -x207 -x1953
1796.69/1797.01 v -x1941 -x202 -x1929 -x199 -x1917 -x196 -x1905 -x193 -x1893 -x190 x1881 -x1869 -x185 -x1842 -x1815 -x1788 -x1761 x1734 -x1707
1796.69/1797.01 v -x1680 -x1675 -x1673 -x1668 -x1666 -x1661 -x1659 -x1654 -x1652 -x1647 -x1645 -x1640 -x1638 -x1633 -x1631 -x1626 -x1624 -x1619
1796.69/1797.01 v -x1617 -x1612 -x1610 -x1605 -x1603 -x1598 -x1596 -x1591 x1589 -x1584 -x1582 -x1577 -x1575 -x1570 -x1568 -x1563 -x1561 -x1556
1796.69/1797.01 v -x1554 -x1549 -x1547 -x1542 -x1540 -x1535 -x1533 -x1528 -x1526 -x1521 -x1519 -x1514 -x1512 -x1507 -x1505 -x1500 -x1498
1796.69/1797.01 v -x1493 -x1491 -x1486 -x1484 -x1479 -x1477 -x1472 -x1470 -x1465 -x1463 -x1458 -x1456 -x1451 -x1449 -x1444 -x1442 -x1437 -x1435
1796.69/1797.01 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.01 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.01 v -x1129 -x1102 -x1075 -x1048 -x1021 x994 x840 x700 x346 x176 x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.48 (included in solving)
1796.69/1797.01 c reading : 0.06 (included in solving)
1796.69/1797.01 c copying : 0.07 (3 #copies) (minimal 0.02, maximal 0.03, average 0.02)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693472-1338035131.opb
1796.69/1797.01 c Variables : 6027 (6027 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 21278 initial, 21278 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693472-1338035131.opb
1796.69/1797.01 c Variables : 5294 (5294 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 11540 initial, 11669 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.04 0.00 0 0 0 0 0 12603 4201 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 9 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c and : 0.10 0.00 0 135 0 0 0 135 0 0 0
1796.69/1797.01 c linear : 0.17 0.00 5 584 0 5 0 1201 0 9 10
1796.69/1797.01 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 240 0 13 0 0 4 0 0 478
1796.69/1797.01 c knapsack : 1 1 0 13241 0 0 10 0 0 0 0 0 0
1796.69/1797.01 c setppc : 6885 6885 27 13241 0 0 7 4286 5 1363 0 0 0
1796.69/1797.01 c and : 4066 4066 953 13061 0 0 7 19682 2 16551 46598 0 0
1796.69/1797.01 c logicor : 588+ 717 27 6376 0 0 6 2310 38 325 11 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 0 7 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 450.38 0.00 0.00 0.00 450.38 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.69/1797.01 c setppc : 1.28 0.00 0.01 1.26 0.00 0.00 0.01 0.00
1796.69/1797.01 c and : 1.66 0.00 0.98 0.67 0.00 0.00 0.00 0.01
1796.69/1797.01 c logicor : 0.25 0.00 0.00 0.24 0.00 0.00 0.00 0.01
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 2 0 0 0
1796.69/1797.01 c pseudoobj : 13371 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 1024 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.69/1797.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.01 c vbounds : 0.01 0.00 0.00 0.00 0.00
1796.69/1797.01 c redcost : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.01 c probing : 0.04 0.00 0.04 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.20 45 45 1116 394.5 3 18.3 -
1796.69/1797.01 c infeasible LP : 0.04 34 34 34 3.3 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 378 175.9 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.07 26 - - 138 - (maximal pool size: 10746)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.05 0.00 27 0 0 10765 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 7.54 0.00 10 0 0 350 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 34.39 0.00 20 0 0 4879 0
1796.69/1797.01 c cmir : 1.82 0.00 10 0 0 355 0
1796.69/1797.01 c flowcover : 2.55 0.00 10 0 0 794 0
1796.69/1797.01 c clique : 0.07 0.00 1 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 450.38 0.00 240 0 4 0 0 478
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.01 0.00 2 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.22 0.00 1 0
1796.69/1797.01 c simplerounding : 0.00 0.00 0 0
1796.69/1797.01 c zirounding : 0.43 0.00 239 0
1796.69/1797.01 c rounding : 0.63 0.00 409 0
1796.69/1797.01 c shifting : 0.88 0.00 124 2
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 6.18 0.00 1 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 116.64 0.00 4 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 95.03 0.00 7 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 85.91 0.00 8 0
1796.69/1797.01 c veclendiving : 110.40 0.00 3 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 57.43 0.00 2 0
1796.69/1797.01 c rootsoldiving : 42.09 0.00 3 0
1796.69/1797.01 c linesearchdiving : 63.04 0.00 10 0
1796.69/1797.01 c guideddiving : 77.86 0.00 8 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.43 0.00 1 1
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.16 0.00 1 1
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.40 0.00 1 1
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.03 4 0 0.00 0.00 0.03 4
1796.69/1797.01 c dual LP : 636.44 1030 995016 971.70 1563.40 0.05 6
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 638.34 4888 924014 189.04 1447.52
1796.69/1797.01 c strong branching : 450.25 726 649935 895.23 1443.50
1796.69/1797.01 c (at root node) : - 42 41513 988.40 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 240
1796.69/1797.01 c nodes (total) : 240
1796.69/1797.01 c nodes left : 239
1796.69/1797.01 c max depth : 24
1796.69/1797.01 c max depth (total): 24
1796.69/1797.01 c backtracks : 68 (28.3%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 4 (12 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 3.56
1796.69/1797.01 c switching time : 0.15
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 5 (2 improvements)
1796.69/1797.01 c First Solution : +2.30000000000000e+01 (in run 1, after 1 nodes, 7.41 seconds, depth 0, found by <undercover>)
1796.69/1797.01 c Primal Bound : +2.20000000000000e+01 (in run 1, after 201 nodes, 1585.41 seconds, depth 3, found by <crossover>)
1796.69/1797.01 c Dual Bound : +1.20199863698228e+01
1796.69/1797.01 c Gap : 83.03 %
1796.69/1797.01 c Root Dual Bound : +1.16186033384762e+01
1796.69/1797.01 c Root Iterations : 38751
1796.80/1797.10 c Time complete: 1796.8.
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-3693472-1338035131/watcher-3693472-1338035131 -o /tmp/evaluation-result-3693472-1338035131/solver-3693472-1338035131 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693472-1338035131.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: 1.92 1.98 1.99 3/176 4802 /proc/meminfo: memFree=28328460/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=10456 CPUtime=0 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 1 0 269638880 10706944 1321 33554432000 4194304 10169799 140733643833360 140735477844440 8982256 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 2614 1321 412 1459 0 1146 0 [startup+0.0599341 s] /proc/loadavg: 1.92 1.98 1.99 3/176 4802 /proc/meminfo: memFree=28328460/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=21996 CPUtime=0.05 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 4273 0 0 0 5 0 0 0 20 0 1 0 269638880 22523904 4227 33554432000 4194304 10169799 140733643833360 140735477844440 4334729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 5499 4227 419 1459 0 4031 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21996 [startup+0.100218 s] /proc/loadavg: 1.92 1.98 1.99 3/176 4802 /proc/meminfo: memFree=28328460/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=47008 CPUtime=0.09 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 10273 0 0 0 8 1 0 0 20 0 1 0 269638880 48136192 10210 33554432000 4194304 10169799 140733643833360 140735477844440 4899493 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 11752 10210 500 1459 0 10284 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 47008 [startup+0.300192 s] /proc/loadavg: 1.92 1.98 1.99 3/176 4802 /proc/meminfo: memFree=28328460/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=68296 CPUtime=0.29 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 16543 0 0 0 26 3 0 0 20 0 1 0 269638880 69935104 15469 33554432000 4194304 10169799 140733643833360 140735477844440 4900938 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 17074 15469 574 1459 0 15606 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 68296 [startup+0.700169 s] /proc/loadavg: 1.92 1.98 1.99 3/176 4802 /proc/meminfo: memFree=28328460/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=91636 CPUtime=0.69 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 23103 0 0 0 59 10 0 0 20 0 1 0 269638880 93835264 21157 33554432000 4194304 10169799 140733643833360 140735477844440 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 22909 21157 704 1459 0 21441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 91636 [startup+1.50014 s] /proc/loadavg: 1.93 1.98 1.99 3/177 4803 /proc/meminfo: memFree=28241372/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=102624 CPUtime=1.49 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 26373 0 0 0 138 11 0 0 20 0 1 0 269638880 105086976 24157 33554432000 4194304 10169799 140733643833360 140733643825672 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 25656 24157 798 1459 0 24188 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 102624 [startup+3.10013 s] /proc/loadavg: 1.93 1.98 1.99 3/177 4803 /proc/meminfo: memFree=28178256/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=102624 CPUtime=3.09 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 26388 0 0 0 297 12 0 0 20 0 1 0 269638880 105086976 24172 33554432000 4194304 10169799 140733643833360 140733643825672 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 25656 24172 798 1459 0 24188 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102624 [startup+6.30016 s] /proc/loadavg: 1.93 1.98 1.99 3/177 4803 /proc/meminfo: memFree=28069256/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=103904 CPUtime=6.28 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 26853 0 0 0 616 12 0 0 20 0 1 0 269638880 106397696 24627 33554432000 4194304 10169799 140733643833360 140733643825672 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 25976 24627 798 1459 0 24508 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 103904 [startup+12.7002 s] /proc/loadavg: 1.94 1.98 1.99 3/177 4803 /proc/meminfo: memFree=27882208/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=159736 CPUtime=12.68 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 41004 0 0 0 1247 21 0 0 20 0 1 0 269638880 163569664 38634 33554432000 4194304 10169799 140733643833360 140733643829352 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 39934 38634 864 1459 0 38466 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 159736 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/177 4803 /proc/meminfo: memFree=27673104/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=170968 CPUtime=25.48 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 43307 0 0 0 2521 27 0 0 20 0 1 0 269638880 175071232 41255 33554432000 4194304 10169799 140733643833360 140733643829352 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 42742 41255 866 1459 0 41274 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 170968 [startup+51.1001 s] /proc/loadavg: 1.97 1.98 1.99 3/177 4803 /proc/meminfo: memFree=27644564/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=186112 CPUtime=51.08 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 51200 0 0 0 5069 39 0 0 20 0 1 0 269638880 190578688 45248 33554432000 4194304 10169799 140733643833360 140733643829400 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 46528 45248 866 1459 0 45060 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 186112 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/178 4804 /proc/meminfo: memFree=27453336/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=186464 CPUtime=102.28 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 59710 0 0 0 10171 57 0 0 20 0 1 0 269638880 190939136 44874 33554432000 4194304 10169799 140733643833360 140733643828008 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 46616 44874 874 1459 0 45148 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 186464 [startup+162.3 s] /proc/loadavg: 2.03 2.00 2.00 3/177 4804 /proc/meminfo: memFree=27452472/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=183688 CPUtime=162.26 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 60317 0 0 0 16154 72 0 0 20 0 1 0 269638880 188096512 44134 33554432000 4194304 10169799 140733643833360 140733643827960 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 45922 44134 874 1459 0 44454 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 183688 [startup+222.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 4805 /proc/meminfo: memFree=26976176/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=184448 CPUtime=222.26 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 60379 0 0 0 22139 87 0 0 20 0 1 0 269638880 188874752 44196 33554432000 4194304 10169799 140733643833360 140733643827272 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 46112 44196 874 1459 0 44644 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 184448 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4808 /proc/meminfo: memFree=26973952/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=186672 CPUtime=282.24 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 70192 0 0 0 28122 102 0 0 20 0 1 0 269638880 191152128 44748 33554432000 4194304 10169799 140733643833360 140733643828152 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 46668 44748 874 1459 0 45200 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 186672 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4808 /proc/meminfo: memFree=26969340/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=187500 CPUtime=342.23 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 97908 0 0 0 34102 121 0 0 20 0 1 0 269638880 192000000 45260 33554432000 4194304 10169799 140733643833360 140733643827432 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 46875 45260 874 1459 0 45407 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 187500 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4808 /proc/meminfo: memFree=26967128/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=189352 CPUtime=402.23 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 100213 0 0 0 40089 134 0 0 20 0 1 0 269638880 193896448 45708 33554432000 4194304 10169799 140733643833360 140733643827688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 47338 45708 874 1459 0 45870 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 189352 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4808 /proc/meminfo: memFree=26965984/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=188768 CPUtime=462.22 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 108818 0 0 0 46076 146 0 0 20 0 1 0 269638880 193298432 45579 33554432000 4194304 10169799 140733643833360 140733643827768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 47192 45579 878 1459 0 45724 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 188768 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4809 /proc/meminfo: memFree=26929968/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=197556 CPUtime=522.21 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 139223 0 0 0 52056 165 0 0 20 0 1 0 269638880 202297344 47371 33554432000 4194304 10169799 140733643833360 140733643827608 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 49389 47371 878 1459 0 47921 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 197556 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4809 /proc/meminfo: memFree=26880628/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=193992 CPUtime=582.2 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 145468 0 0 0 58040 180 0 0 20 0 1 0 269638880 198647808 46665 33554432000 4194304 10169799 140733643833360 140733643827768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 48498 46665 878 1459 0 47030 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 193992 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26102424/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=211476 CPUtime=1062.13 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 307301 0 0 0 105900 313 0 0 20 0 1 0 269638880 216551424 51136 33554432000 4194304 10169799 140733643833360 140733643827624 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 52869 51136 878 1459 0 51401 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 211476 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4814 /proc/meminfo: memFree=26101832/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=210348 CPUtime=1122.12 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 352948 0 0 0 111880 332 0 0 20 0 1 0 269638880 215396352 51020 33554432000 4194304 10169799 140733643833360 140733643826488 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 52587 51020 878 1459 0 51119 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 210348 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4814 /proc/meminfo: memFree=26106092/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=209732 CPUtime=1182.11 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 415797 0 0 0 117855 356 0 0 20 0 1 0 269638880 214765568 49949 33554432000 4194304 10169799 140733643833360 140733643827768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 52433 49949 878 1459 0 50965 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 209732 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4814 /proc/meminfo: memFree=26105500/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=209724 CPUtime=1242.1 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 483453 0 0 0 123834 376 0 0 20 0 1 0 269638880 214757376 50044 33554432000 4194304 10169799 140733643833360 140733643827384 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 52431 50044 878 1459 0 50963 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 209724 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4814 /proc/meminfo: memFree=26091748/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=212772 CPUtime=1302.09 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 492992 0 0 0 129818 391 0 0 20 0 1 0 269638880 217878528 51288 33554432000 4194304 10169799 140733643833360 140733643827960 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53193 51288 878 1459 0 51725 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 212772 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4814 /proc/meminfo: memFree=26087888/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=215584 CPUtime=1362.08 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 524664 0 0 0 135797 411 0 0 20 0 1 0 269638880 220758016 51876 33554432000 4194304 10169799 140733643833360 140733643827768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53896 51876 878 1459 0 52428 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 215584 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4815 /proc/meminfo: memFree=26087404/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=214688 CPUtime=1422.08 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 537869 0 0 0 141779 429 0 0 20 0 1 0 269638880 219840512 51971 33554432000 4194304 10169799 140733643833360 140733643827816 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53672 51971 878 1459 0 52204 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 214688 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 4818 /proc/meminfo: memFree=26084712/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=215468 CPUtime=1482.06 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 572065 0 0 0 147755 451 0 0 20 0 1 0 269638880 220639232 52366 33554432000 4194304 10169799 140733643833360 140733643827832 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53867 52366 878 1459 0 52399 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 215468 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4818 /proc/meminfo: memFree=26085812/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=215788 CPUtime=1542.04 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 600420 0 0 0 153735 469 0 0 20 0 1 0 269638880 220966912 52292 33554432000 4194304 10169799 140733643833360 140733643827960 8044590 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53947 52292 878 1459 0 52479 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 215788 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4818 /proc/meminfo: memFree=26084476/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=215964 CPUtime=1602.03 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 703548 0 0 0 159701 502 0 0 20 0 1 0 269638880 221147136 52766 33554432000 4194304 10169799 140733643833360 140733643828344 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 53991 52766 878 1459 0 52523 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 215964 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4818 /proc/meminfo: memFree=26082412/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=218808 CPUtime=1662.02 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 736626 0 0 0 165680 522 0 0 20 0 1 0 269638880 224059392 53359 33554432000 4194304 10169799 140733643833360 140733643827432 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 54702 53359 878 1459 0 53234 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 218808 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 4819 /proc/meminfo: memFree=26080180/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=220536 CPUtime=1722 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 745593 0 0 0 171660 540 0 0 20 0 1 0 269638880 225828864 53939 33554432000 4194304 10169799 140733643833360 140733643827864 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55134 53939 878 1459 0 53666 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 220536 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26078940/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=221576 CPUtime=1781.99 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 768796 0 0 0 177637 562 0 0 20 0 1 0 269638880 226893824 54152 33554432000 4194304 10169799 140733643833360 140733643827224 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55394 54152 878 1459 0 53926 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 221576 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 4819 /proc/meminfo: memFree=26077204/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=222608 CPUtime=1785.2 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 769280 0 0 0 177957 563 0 0 20 0 1 0 269638880 227950592 54636 33554432000 4194304 10169799 140733643833360 140733643827688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55652 54636 878 1459 0 54184 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 222608 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26079932/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=221508 CPUtime=1791.6 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 770605 0 0 0 178595 565 0 0 20 0 1 0 269638880 226824192 54005 33554432000 4194304 10169799 140733643833360 140733643827864 8009913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55377 54005 878 1459 0 53909 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 221508 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26079808/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=221508 CPUtime=1794.8 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 770606 0 0 0 178914 566 0 0 20 0 1 0 269638880 226824192 54006 33554432000 4194304 10169799 140733643833360 140733643827768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55377 54006 878 1459 0 53909 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 221508 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26079808/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=221508 CPUtime=1795.59 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 770607 0 0 0 178993 566 0 0 20 0 1 0 269638880 226824192 54007 33554432000 4194304 10169799 140733643833360 140733643827432 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55377 54007 878 1459 0 53909 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 221508 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26079808/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=221508 CPUtime=1796.39 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 770607 0 0 0 179073 566 0 0 20 0 1 0 269638880 226824192 54007 33554432000 4194304 10169799 140733643833360 140733643827432 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 55377 54007 878 1459 0 53909 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 221508 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4819 /proc/meminfo: memFree=26079808/32873660 swapFree=7108/7108 [pid=4802] ppid=4800 vsize=179860 CPUtime=1796.8 cores=1,3,5,7 /proc/4802/stat : 4802 (scip-2.1.1.4sfi) R 4800 4802 3226 0 -1 4202496 770634 0 0 0 179113 567 0 0 20 0 1 0 269638880 184176640 44306 33554432000 4194304 10169799 140733643833360 140733643827528 8989847 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4802/statm: 44965 44306 880 1459 0 43497 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 179860 Child status: 0 Real time (s): 1797.11 CPU time (s): 1796.81 CPU user time (s): 1791.14 CPU system time (s): 5.67314 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 242300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.14 system time used= 5.67314 maximum resident set size= 236712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 770636 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= 37 involuntary context switches= 1918 runsolver used 2.99954 second user time and 8.97963 second system time The end
Begin job on node117 at 2012-05-26 14:25:31 IDJOB=3693472 IDBENCH=25015 IDSOLVER=2272 FILE ID=node117/3693472-1338035131 RUNJOBID= node117-1338029730-4453 PBS_JOBID= 14624354 Free space on /tmp= 71488 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693472-1338035131/watcher-3693472-1338035131 -o /tmp/evaluation-result-3693472-1338035131/solver-3693472-1338035131 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693472-1338035131.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=183605821 node117.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.148 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.29 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.148 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.148 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.91 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.148 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.95 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.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 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.148 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: 32873660 kB MemFree: 28335736 kB Buffers: 265420 kB Cached: 2850564 kB SwapCached: 0 kB Active: 1221704 kB Inactive: 2529696 kB Active(anon): 638080 kB Inactive(anon): 0 kB Active(file): 583624 kB Inactive(file): 2529696 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 39656 kB Writeback: 4 kB AnonPages: 642784 kB Mapped: 16304 kB Shmem: 200 kB Slab: 645284 kB SReclaimable: 88748 kB SUnreclaim: 556536 kB KernelStack: 1448 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 754616 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71472 MiB End job on node117 at 2012-05-26 14:55:29