Trace number 3691132

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPT35 79.229 79.254

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
MD5SUM267e112b52309c055e255eac2f43ef33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.691894
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables5060
Total number of constraints20188
Number of constraints which are clauses20188
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint250
Number of terms in the objective function 537
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 537
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 537
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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-3691132-1338020685.opb>
0.00/0.06	c original problem has 5060 variables (5060 bin, 0 int, 0 impl, 0 cont) and 20188 constraints
0.00/0.06	c problem read in 0.06
0.09/0.13	o 537
0.09/0.13	c feasible solution found by trivial heuristic, objective value  5.370000e+02
0.09/0.13	c presolving:
0.29/0.32	c (round 1) 398 del vars, 767 del conss, 0 add conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 297166 impls, 0 clqs
0.38/0.42	c (round 2) 406 del vars, 767 del conss, 0 add conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19397 upgd conss, 297166 impls, 0 clqs
0.38/0.49	c (round 3) 406 del vars, 769 del conss, 0 add conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 297166 impls, 0 clqs
0.49/0.53	c (round 4) 408 del vars, 777 del conss, 0 add conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 297166 impls, 0 clqs
0.59/0.63	c    (0.6s) probing: 51/4652 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.63	c    (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.63	c (round 5) 408 del vars, 12177 del conss, 3800 add conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 297166 impls, 0 clqs
0.79/0.84	c presolving (6 rounds):
0.79/0.84	c  408 deleted vars, 12177 deleted constraints, 3800 added constraints, 29 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.84	c  297166 implications, 0 cliques
0.79/0.84	c presolved problem has 4652 variables (4652 bin, 0 int, 0 impl, 0 cont) and 11811 constraints
0.79/0.84	c    7643 constraints of type <setppc>
0.79/0.84	c    3800 constraints of type <and>
0.79/0.84	c     368 constraints of type <logicor>
0.79/0.84	c transformed objective value is always integral (scale: 1)
0.79/0.84	c Presolving Time: 0.76
0.79/0.84	c - non default parameters ----------------------------------------------------------------------
0.79/0.84	c # SCIP version 2.1.1.4
0.79/0.84	c 
0.79/0.84	c # maximal time in seconds to run
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/time = 1797
0.79/0.84	c 
0.79/0.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/memory = 13950
0.79/0.84	c 
0.79/0.84	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.84	c # [type: int, range: [1,2], default: 1]
0.79/0.84	c timing/clocktype = 2
0.79/0.84	c 
0.79/0.84	c # belongs reading time to solving time?
0.79/0.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.84	c timing/reading = TRUE
0.79/0.84	c 
0.79/0.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.84	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.84	c separating/rapidlearning/freq = 0
0.79/0.84	c 
0.79/0.84	c -----------------------------------------------------------------------------------------------
0.79/0.84	c start solving
0.79/0.85	c 
0.79/0.85	o 529
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 t 0.8s|     1 |     0 |     0 |     - |  30M|   0 |   - |4652 |  11k|   0 |   0 |   0 |   0 |   0 |      --      | 5.290000e+02 |    Inf 
0.89/0.90	o 480
0.89/0.90	c b 0.9s|     1 |     0 |     0 |     - |  43M|   0 |   - |4652 |  11k|4652 |  15k|   0 |   0 |   0 |      --      | 4.800000e+02 |    Inf 
0.89/0.96	c   1.0s|     1 |     0 |   434 |     - |  43M|   0 | 210 |4652 |  11k|4652 |  15k|   0 |   0 |   0 | 3.128571e+01 | 4.800000e+02 |1434.25%
1.19/1.26	o 38
1.19/1.26	c U 1.3s|     1 |     0 |   434 |     - |  44M|   0 | 210 |4652 |  11k|4652 |  15k|   0 |   0 |   0 | 3.128571e+01 | 3.800000e+01 |  21.46%
2.29/2.39	c   2.4s|     1 |     0 |   776 |     - |  44M|   0 | 215 |4652 |  11k|4652 |  15k| 238 |   0 |   0 | 3.166667e+01 | 3.800000e+01 |  20.00%
2.89/2.94	c   2.9s|     1 |     0 |  1059 |     - |  44M|   0 | 192 |4652 |  11k|4652 |  16k| 477 |   0 |   0 | 3.200000e+01 | 3.800000e+01 |  18.75%
3.49/3.54	c   3.5s|     1 |     0 |  1755 |     - |  44M|   0 | 363 |4652 |  11k|4652 |  16k| 649 |   0 |   0 | 3.232143e+01 | 3.800000e+01 |  17.57%
4.19/4.21	c   4.2s|     1 |     0 |  2402 |     - |  44M|   0 | 441 |4652 |  11k|4652 |  16k|1153 |   0 |   0 | 3.285354e+01 | 3.800000e+01 |  15.66%
4.88/4.95	c   4.9s|     1 |     0 |  3160 |     - |  45M|   0 | 409 |4652 |  11k|4652 |  17k|1548 |   0 |   0 | 3.330903e+01 | 3.800000e+01 |  14.08%
5.59/5.61	c   5.6s|     1 |     0 |  3666 |     - |  46M|   0 | 409 |4652 |  11k|4652 |  17k|2072 |   0 |   0 | 3.344980e+01 | 3.800000e+01 |  13.60%
6.69/6.70	c   6.7s|     1 |     0 |  4449 |     - |  46M|   0 | 399 |4652 |  11k|4652 |  18k|2406 |   0 |   0 | 3.362151e+01 | 3.800000e+01 |  13.02%
7.59/7.69	c   7.7s|     1 |     0 |  5277 |     - |  48M|   0 | 420 |4652 |  11k|4652 |  18k|2617 |   0 |   0 | 3.382230e+01 | 3.800000e+01 |  12.35%
8.59/8.68	c   8.7s|     1 |     0 |  5909 |     - |  50M|   0 | 393 |4652 |  11k|4652 |  18k|2970 |   0 |   0 | 3.401883e+01 | 3.800000e+01 |  11.70%
9.69/9.73	c   9.7s|     1 |     0 |  6692 |     - |  51M|   0 | 463 |4652 |  11k|4652 |  18k|3153 |   0 |   0 | 3.413952e+01 | 3.800000e+01 |  11.31%
10.18/10.26	c  10.3s|     1 |     0 |  7261 |     - |  53M|   0 | 435 |4652 |  11k|4652 |  18k|3409 |   0 |   0 | 3.417054e+01 | 3.800000e+01 |  11.21%
10.68/10.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.68/10.74	c  10.7s|     1 |     0 |  7690 |     - |  54M|   0 | 389 |4652 |  11k|4652 |  19k|3611 |   0 |   0 | 3.420530e+01 | 3.800000e+01 |  11.09%
11.19/11.25	c  11.2s|     1 |     0 |  8101 |     - |  56M|   0 | 375 |4652 |  11k|4652 |  19k|3730 |   0 |   0 | 3.425195e+01 | 3.800000e+01 |  10.94%
11.79/11.84	c  11.8s|     1 |     0 |  8757 |     - |  57M|   0 | 490 |4652 |  11k|4652 |  19k|3842 |   0 |   0 | 3.427469e+01 | 3.800000e+01 |  10.87%
13.28/13.33	c  13.3s|     1 |     0 |  9407 |     - |  57M|   0 | 443 |4652 |  11k|4652 |  19k|4014 |   0 |   0 | 3.429063e+01 | 3.800000e+01 |  10.82%
18.70/18.70	c  18.7s|     1 |     0 |  9654 |     - |  58M|   0 | 411 |4652 |  11k|4652 |  19k|4110 |   0 |   0 | 3.429151e+01 | 3.800000e+01 |  10.81%
24.29/24.36	c  24.4s|     1 |     0 | 10605 |     - |  58M|   0 | 424 |4652 |  11k|4652 |  17k|4145 |   0 |   0 | 3.431551e+01 | 3.800000e+01 |  10.74%
28.49/28.59	c  28.6s|     1 |     0 | 11003 |     - |  58M|   0 | 422 |4652 |  11k|4652 |  17k|4252 |   0 |   0 | 3.432250e+01 | 3.800000e+01 |  10.71%
33.38/33.46	c  33.5s|     1 |     0 | 12035 |     - |  58M|   0 | 482 |4652 |  11k|4652 |  17k|4354 |   0 |   0 | 3.437016e+01 | 3.800000e+01 |  10.56%
34.28/34.38	c  34.4s|     1 |     0 | 13362 |     - |  60M|   0 | 430 |4652 |  11k|4652 |  18k|4599 |   0 |   0 | 3.440909e+01 | 3.800000e+01 |  10.44%
34.48/34.54	c  34.5s|     1 |     0 | 13741 |     - |  60M|   0 | 446 |4652 |  11k|4652 |  18k|4709 |   0 |   0 | 3.440909e+01 | 3.800000e+01 |  10.44%
34.69/34.80	c  34.8s|     1 |     0 | 14627 |     - |  60M|   0 | 512 |4652 |  11k|4652 |  18k|4738 |   0 |   0 | 3.441233e+01 | 3.800000e+01 |  10.43%
34.78/34.86	c  34.9s|     1 |     0 | 14716 |     - |  60M|   0 | 454 |4652 |  11k|4652 |  17k|4914 |   0 |   0 | 3.441233e+01 | 3.800000e+01 |  10.43%
34.78/34.89	c  34.9s|     1 |     0 | 14739 |     - |  60M|   0 | 452 |4652 |  11k|4652 |  17k|4922 |   0 |   0 | 3.441236e+01 | 3.800000e+01 |  10.43%
35.19/35.22	o 36
35.19/35.22	c E35.2s|     1 |     0 | 14739 |     - |  60M|   0 | 452 |4652 |  11k|4652 |  17k|4922 |   0 |   0 | 3.441236e+01 | 3.600000e+01 |   4.61%
35.19/35.23	c  35.2s|     1 |     0 | 14739 |     - |  60M|   0 | 452 |4652 |  11k|4652 |  17k|4922 |   0 |   0 | 3.441236e+01 | 3.600000e+01 |   4.61%
35.19/35.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.19/35.25	c  35.3s|     1 |     0 | 14739 |     - |  60M|   0 | 452 |4652 |  11k|4652 |  16k|4922 |   0 |   0 | 3.441236e+01 | 3.600000e+01 |   4.61%
39.78/39.86	c  39.9s|     1 |     2 | 14739 |     - |  60M|   0 | 452 |4652 |  11k|4652 |  16k|4922 |   0 |  22 | 3.441236e+01 | 3.600000e+01 |   4.61%
79.07/79.17	o 35
79.07/79.17	c *79.2s|    11 |     0 | 20440 | 570.1 |  60M|   8 |   - |4652 |  11k|4652 |  15k|5174 |   0 | 190 | 3.500000e+01 | 3.500000e+01 |   0.00%
79.07/79.17	c 
79.07/79.17	c SCIP Status        : problem is solved [optimal solution found]
79.07/79.17	c Solving Time (sec) : 79.17
79.07/79.17	c Solving Nodes      : 11
79.07/79.17	c Primal Bound       : +3.50000000000000e+01 (6 solutions)
79.07/79.17	c Dual Bound         : +3.50000000000000e+01
79.07/79.17	c Gap                : 0.00 %
79.07/79.18	s OPTIMUM FOUND
79.07/79.18	v -x5060 -x5057 -x5056 -x5053 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5035 -x5034 -x5033 
79.07/79.18	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5054 
79.07/79.18	v x5014 -x5011 -x5008 -x5006 -x5005 -x5002 -x5058 -x5051 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 
79.07/79.18	v -x5003 -x4991 -x5009 -x4988 -x4986 -x4985 -x4982 -x4979 -x4978 -x4977 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 
79.07/79.18	v -x4964 -x4961 x4960 -x4956 -x4980 -x4952 -x4951 -x4950 -x4948 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 
79.07/79.18	v -x4937 -x4936 -x4935 -x4934 -x4958 x4933 x4930 -x4927 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
79.07/79.18	v -x4975 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4983 -x4902 -x4901 -x4899 -x4898 -x4896 -x4928 -x4895 -x4894 
79.07/79.18	v -x4892 -x4954 -x4891 -x4889 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 
79.07/79.18	v -x4873 -x4872 -x4871 -x4868 -x4864 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 
79.07/79.18	v -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 
79.07/79.18	v -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4812 -x4809 -x4808 
79.07/79.18	v -x4807 -x4804 -x4801 -x4869 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 
79.07/79.18	v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 
79.07/79.18	v -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 x4760 -x4757 -x4756 -x4755 -x4754 -x4751 -x4750 -x4749 -x4748 
79.07/79.18	v -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4729 -x4728 
79.07/79.18	v x4727 x4726 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 x4714 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
79.07/79.18	v -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4694 -x4693 -x4692 -x4691 x4688 -x4685 -x4684 -x4683 -x4679 -x4678 
79.07/79.18	v -x4677 -x4676 -x4675 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4662 -x4661 -x4660 -x4659 -x4655 -x4654 x4653 -x4650 
79.07/79.18	v -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
79.07/79.18	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
79.07/79.18	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4606 -x4605 -x4600 x4599 -x4598 x4597 x4594 -x4590 -x4589 -x4588 -x4587 -x4583 -x4582 
79.07/79.18	v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4562 
79.07/79.18	v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4541 
79.07/79.18	v -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 
79.07/79.18	v -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4564 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 
79.07/79.18	v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
79.07/79.18	v -x4485 -x4484 -x4730 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
79.07/79.18	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
79.07/79.18	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4442 -x4440 -x4438 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 
79.07/79.18	v -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 
79.07/79.18	v -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 
79.07/79.18	v -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4376 -x4373 -x4370 -x4369 -x4366 -x4364 
79.07/79.18	v -x4362 x4361 -x4359 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 
79.07/79.18	v -x4341 -x4340 -x4339 -x4337 -x4336 -x4805 -x4335 -x4334 -x4333 -x4752 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 
79.07/79.18	v -x4324 -x4323 -x4322 -x4320 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4305 -x4304 -x4300 
79.07/79.18	v -x4299 -x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4657 -x4287 -x4681 -x4286 -x4285 -x4284 -x4283 -x4282 
79.07/79.18	v -x4281 -x4280 -x4279 -x4278 -x4277 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 x4265 -x4262 -x4261 -x4663 
79.07/79.18	v -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4651 -x4248 -x4247 -x4246 -x4245 
79.07/79.18	v -x4244 -x4243 -x4242 -x4241 -x4237 -x4236 -x4235 -x4862 -x4234 -x4233 -x4231 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4673 
79.07/79.18	v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 -x4204 -x4203 -x4202 -x4201 
79.07/79.18	v -x4200 -x4367 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4205 -x4192 -x4191 -x4190 -x4188 -x4185 -x4184 -x4181 -x4179 
79.07/79.18	v -x4177 -x4176 -x4173 -x4170 -x4168 -x4167 -x4166 -x4163 x4160 -x4161 -x4157 -x4156 -x4155 -x4154 -x4152 -x4151 -x4150 -x4149 
79.07/79.18	v -x4148 -x4147 -x4145 -x4142 -x4141 -x4158 -x4138 -x4137 -x4810 -x4136 -x4135 -x4134 -x4686 -x4133 x4132 -x4130 -x4585 -x4129 
79.07/79.18	v -x4128 -x4306 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 
79.07/79.18	v -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4695 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4275 -x4098 -x4374 -x4097 
79.07/79.18	v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 x4088 -x4086 -x4436 -x4085 -x4084 -x4082 -x4081 -x4080 -x4371 -x4079 -x4078 -x4076 
79.07/79.18	v -x4075 -x4074 -x4171 -x4073 -x4072 -x4070 -x4068 -x4164 -x4065 -x4064 -x4063 -x4592 -x4174 -x4062 -x4061 -x4060 -x4058 -x4724 
79.07/79.18	v -x4057 -x4263 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4712 -x4043 
79.07/79.18	v -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 
79.07/79.18	v -x4024 -x4021 -x4802 -x4020 -x4019 -x4018 -x4017 -x4015 -x4014 -x4012 -x4011 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 
79.07/79.18	v -x4002 x4001 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 
79.07/79.18	v -x3980 -x3979 -x3978 -x3977 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 x3965 -x3962 -x3961 -x3960 -x3959 -x3958 
79.07/79.18	v -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3941 -x3937 x3936 -x3932 
79.07/79.18	v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 
79.07/79.18	v -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3894 
79.07/79.18	v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 
79.07/79.18	v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 x3860 -x3858 -x3856 
79.07/79.18	v -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3840 -x3839 -x3838 -x3837 -x3836 
79.07/79.18	v -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 
79.07/79.18	v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 x3804 -x3802 -x3795 -x3794 -x3793 
79.07/79.18	v -x3790 -x3786 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3771 -x3768 -x3767 x3766 -x3763 -x3760 -x3757 
79.07/79.18	v -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3999 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
79.07/79.18	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 x3728 -x3725 -x3724 -x3723 -x3722 -x3721 
79.07/79.18	v -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 x3711 -x3708 -x3707 -x3706 -x3705 -x3702 -x3701 -x3700 -x3699 x3698 -x3695 -x3694 
79.07/79.18	v -x3693 x3690 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3678 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 
79.07/79.18	v -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3650 -x3647 -x3646 -x3645 -x3642 -x3638 
79.07/79.18	v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 x3624 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 
79.07/79.18	v -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 x3607 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3595 -x3594 
79.07/79.18	v -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 x3575 -x3572 
79.07/79.18	v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3556 -x3555 -x3554 -x3551 -x3550 -x3549 -x3548 
79.07/79.18	v -x3547 -x3542 x3541 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 x3528 -x3525 -x3524 -x3523 -x3522 
79.07/79.18	v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3511 -x3510 -x3509 -x3508 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 
79.07/79.18	v -x3499 -x3498 -x3497 -x3496 -x3493 -x3492 -x3491 -x3490 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
79.07/79.18	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
79.07/79.18	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 
79.07/79.18	v -x3440 -x3439 -x3438 x3435 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3417 -x3416 -x3415 
79.07/79.18	v -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 
79.07/79.18	v -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 
79.07/79.18	v -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 
79.07/79.18	v -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 
79.07/79.18	v -x3343 -x3942 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3895 -x3328 
79.07/79.18	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3314 -x3311 -x3310 -x3309 -x3308 -x3307 -x3304 
79.07/79.18	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3292 -x3291 -x3290 -x3289 -x3284 -x3281 -x3280 -x3279 -x3278 
79.07/79.18	v -x3277 -x3276 -x3275 -x3274 x3273 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 
79.07/79.18	v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3841 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 
79.07/79.18	v -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3230 -x3228 x3227 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 
79.07/79.18	v -x3218 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3199 -x3196 -x3193 
79.07/79.18	v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3175 -x3174 -x3171 -x3170 
79.07/79.18	v -x3169 -x3168 -x3167 -x3166 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 x3150 
79.07/79.18	v -x3146 -x3145 -x3144 -x3143 -x3140 -x3139 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 
79.07/79.18	v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 
79.07/79.18	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
79.07/79.18	v -x3089 -x3088 -x3087 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 
79.07/79.18	v -x3068 -x3067 -x3066 -x3065 -x3064 x3063 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
79.07/79.18	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
79.07/79.18	v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3653 -x3020 -x3019 -x3018 -x3017 -x3015 -x3012 -x3011 
79.07/79.18	v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 
79.07/79.18	v -x2992 -x2991 -x2990 -x2989 -x2988 -x3557 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 
79.07/79.18	v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 
79.07/79.18	v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
79.07/79.18	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2968 -x2926 -x2925 -x2924 -x2923 -x2922 
79.07/79.18	v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x3085 -x2909 -x2908 -x2907 -x2906 -x2905 
79.07/79.18	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
79.07/79.18	v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
79.07/79.18	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 x2861 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 
79.07/79.18	v -x2848 -x2847 -x2846 -x2845 -x2842 -x2841 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 
79.07/79.18	v -x2825 x2824 -x2821 -x2820 x2819 -x2816 x2813 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 
79.07/79.18	v -x2798 -x2797 -x2796 -x2795 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 
79.07/79.18	v -x2778 -x2777 -x2776 x2775 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 
79.07/79.18	v -x2758 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x3636 -x2744 x2743 -x2740 -x2737 -x2736 
79.07/79.18	v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 
79.07/79.18	v -x2717 -x2716 -x3141 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x3963 -x2703 
79.07/79.18	v -x2702 -x2701 -x2700 -x2699 -x2698 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x3726 -x2684 
79.07/79.18	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 
79.07/79.18	v x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 
79.07/79.18	v -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2696 -x2633 -x2632 -x2631 
79.07/79.18	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
79.07/79.18	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
79.07/79.18	v -x2594 -x2593 -x2592 x2591 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x3622 -x2580 -x2579 -x2578 -x2577 -x2576 
79.07/79.18	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2557 
79.07/79.18	v -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
79.07/79.18	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 x2527 -x2525 -x2523 -x2522 -x2521 -x2520 
79.07/79.18	v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x2507 -x2504 -x2503 -x2502 -x2501 -x2500 
79.07/79.18	v -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 
79.07/79.18	v -x2479 -x2478 -x2477 -x2476 -x2475 x2474 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 
79.07/79.18	v -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2445 -x2444 -x2443 -x3433 -x2442 -x2441 -x2437 
79.07/79.18	v -x2434 -x2433 -x2432 x2429 -x2426 -x2425 -x2424 -x2423 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 
79.07/79.18	v -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2400 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 
79.07/79.18	v -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
79.07/79.18	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 x2359 -x2357 -x2356 x2355 x2354 
79.07/79.18	v -x2351 -x2350 -x2349 -x2348 -x2345 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
79.07/79.18	v -x2325 -x2324 -x2323 -x2322 -x2321 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x3293 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
79.07/79.18	v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2822 
79.07/79.18	v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2269 
79.07/79.18	v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x3643 
79.07/79.18	v -x3703 -x2248 -x2247 -x3137 -x2246 -x2245 -x2244 -x2243 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 
79.07/79.18	v -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 
79.07/79.18	v -x2206 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 
79.07/79.18	v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2843 -x2170 -x2169 
79.07/79.18	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 x2153 -x2150 -x2149 
79.07/79.18	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x3287 -x2142 -x2430 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
79.07/79.18	v -x2132 -x2131 -x2130 -x2128 -x2126 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
79.07/79.18	v -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 
79.07/79.18	v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 -x2074 
79.07/79.18	v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2055 
79.07/79.18	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 
79.07/79.18	v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2773 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
79.07/79.18	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2472 -x2011 -x2010 -x2009 -x2008 x2007 -x2005 -x2004 -x2003 -x2002 
79.07/79.18	v -x2001 -x2000 -x1999 -x1998 -x1995 -x1992 -x1991 -x1990 -x1989 -x1988 x1987 x1984 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 
79.07/79.18	v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 
79.07/79.18	v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1941 -x1939 -x1938 
79.07/79.18	v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 x1922 -x1919 -x1918 
79.07/79.18	v -x1917 -x1916 -x1915 -x1914 -x1913 -x1911 x1910 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
79.07/79.18	v -x1895 -x1894 -x1893 -x1892 -x1891 x1890 -x1887 -x1883 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x2439 
79.07/79.18	v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1862 -x3225 -x1859 -x1858 x1857 -x1856 -x1855 x1854 -x1852 -x1851 -x1850 -x1849 
79.07/79.18	v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 -x1833 -x1832 -x1828 -x1827 
79.07/79.18	v -x1826 -x1825 -x1824 -x1823 -x1820 -x1819 -x1816 -x1812 -x1811 -x2505 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 
79.07/79.18	v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 
79.07/79.18	v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x3061 -x1769 -x1768 
79.07/79.18	v -x1767 -x1766 -x1765 -x1764 x1763 -x1761 -x1760 -x1759 -x1908 -x1758 x1757 -x1754 -x1753 -x1752 -x2817 -x1751 -x1750 -x1749 
79.07/79.18	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1736 -x1734 -x1733 -x1817 -x1732 -x1731 -x1730 
79.07/79.18	v -x1726 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
79.07/79.18	v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x2352 -x1689 
79.07/79.18	v -x2334 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1676 -x1675 -x1674 -x1673 -x1672 -x1670 
79.07/79.18	v -x1669 -x1666 -x1665 -x1664 -x1663 -x1662 -x1659 -x1658 -x1657 -x1656 x1655 -x1651 -x1650 -x1649 -x1648 -x3758 x1647 -x1645 
79.07/79.18	v -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x3975 -x1631 -x1630 -x1864 -x1629 
79.07/79.18	v -x1628 -x1627 -x3712 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
79.07/79.18	v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1595 x1592 
79.07/79.18	v x1588 -x1585 -x3784 -x1584 -x1580 -x1579 -x1578 -x1577 -x2793 -x3526 -x1576 -x1575 -x1574 -x3148 -x1573 -x1572 -x1571 -x1570 
79.07/79.18	v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 
79.07/79.18	v -x1551 -x1550 -x1549 -x1548 -x1547 -x2056 -x1653 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 
79.07/79.18	v -x1535 -x1534 -x1533 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 
79.07/79.18	v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x2326 -x1500 -x3545 -x1499 
79.07/79.18	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x3216 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1483 -x1481 -x1480 
79.07/79.18	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x3494 -x1465 -x1464 -x1463 
79.07/79.18	v -x1462 -x1461 -x1460 -x1459 -x3271 -x1458 -x1457 -x3605 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 
79.07/79.18	v -x1447 -x3305 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 -x1436 -x3570 -x1434 -x1433 -x1885 -x1432 -x1431 
79.07/79.18	v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x3791 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
79.07/79.18	v -x1412 -x1411 -x1410 -x1409 -x1407 -x1405 -x1404 -x1403 -x1401 -x1399 -x1398 -x1397 -x1396 -x3939 -x1395 -x1394 -x1393 -x1392 
79.07/79.18	v -x1389 -x1388 -x3709 -x1387 -x1386 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 
79.07/79.18	v -x1371 -x1370 -x1369 -x3436 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x2741 -x1357 -x1356 
79.07/79.18	v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x3688 -x1342 -x1341 -x1340 -x1339 
79.07/79.18	v x1338 -x1336 x1335 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1323 -x1322 -x3194 -x1321 -x1320 -x1316 -x3282 
79.07/79.18	v -x1315 -x1313 -x1312 -x3788 -x1311 -x1310 x1309 -x1307 x1306 -x1303 -x1724 -x1302 -x1301 -x1299 -x1298 -x1297 -x2814 -x1296 
79.07/79.18	v -x1667 -x3676 -x1295 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x2343 -x1280 -x1279 -x3312 -x1278 -x1277 
79.07/79.18	v x1276 -x1590 x1273 -x1271 -x1270 -x1269 -x3164 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x3769 
79.07/79.18	v -x1258 -x1257 -x1256 -x1255 -x3552 -x1254 -x1253 -x1252 x1251 -x3488 -x1248 -x1293 -x1247 -x1246 -x1245 -x1244 -x2346 -x1243 
79.07/79.18	v -x1242 -x1241 -x1240 -x1996 -x1239 -x1238 -x1237 -x1236 -x1235 -x1318 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1227 -x2427 
79.07/79.18	v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1217 -x1216 -x2839 -x1215 -x1860 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 
79.07/79.18	v -x1208 -x1205 x1201 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x3197 -x1187 -x1186 -x1185 -x1184 
79.07/79.18	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x2258 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 
79.07/79.18	v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x2490 -x2204 -x1156 -x1155 -x1154 x1153 -x1151 -x1150 
79.07/79.18	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1830 -x1140 -x1139 -x1138 -x1137 -x2756 -x1136 -x1135 -x1134 
79.07/79.18	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x2421 -x1123 -x1122 -x1121 -x1120 -x1119 -x1881 
79.07/79.18	v -x1118 -x1117 -x1116 -x1115 -x1114 -x3512 -x1113 x1112 -x1110 -x1107 -x1106 -x1105 -x1821 -x1104 -x1103 -x1102 -x1101 -x1100 
79.07/79.18	v -x1099 -x1098 -x1097 -x1096 -x3592 -x1095 -x1094 -x1093 -x1092 -x3691 -x1091 -x1218 -x3648 -x1755 -x1090 -x1089 -x1088 -x1087 
79.07/79.18	v -x1086 -x1085 -x1084 -x1083 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
79.07/79.18	v -x1067 -x1066 -x1324 -x1065 -x1064 -x1063 x1062 -x1814 -x1059 -x1586 -x1203 -x2738 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
79.07/79.18	v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1888 -x1044 -x1043 -x1042 -x1041 -x3772 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
79.07/79.18	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1728 -x2241 
79.07/79.18	v -x1018 -x1982 -x1017 -x1016 -x3418 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1004 -x1003 -x1002 
79.07/79.18	v -x1001 -x1000 -x999 -x1985 -x998 -x997 -x3506 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x983 
79.07/79.18	v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x1199 
79.07/79.18	v -x960 -x959 -x958 -x957 -x956 -x1060 -x955 -x954 -x953 -x952 -x951 -x950 -x3764 -x949 -x948 -x2221 -x947 -x1920 -x946 -x3177 
79.07/79.18	v -x945 -x944 -x943 -x942 -x941 -x940 -x3200 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 -x925 -x924 -x3934 -x923 
79.07/79.18	v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x3696 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x902 
79.07/79.18	v -x901 -x900 -x899 x898 -x3761 -x1274 -x897 -x3539 -x896 -x895 -x894 -x1206 -x893 -x892 -x891 -x890 -x889 -x1304 -x888 -x887 
79.07/79.18	v -x886 -x885 -x884 -x883 -x882 -x881 -x1051 -x1281 -x880 -x2435 x879 -x877 -x3640 -x875 -x872 -x869 -x868 -x865 -x864 -x863 -x866 
79.07/79.18	v -x862 -x861 -x860 -x857 x856 -x851 -x850 -x849 -x848 -x870 -x847 -x854 -x846 -x840 -x838 x836 x833 x830 -x827 -x826 -x825 
79.07/79.18	v -x824 -x823 x822 -x819 -x818 -x817 -x816 x815 x812 x809 -x810 -x806 -x805 -x804 -x801 -x800 -x799 -x828 -x798 -x797 -x796 -x795 
79.07/79.18	v x794 -x831 -x791 x790 -x787 -x786 -x785 -x784 x783 -x778 x777 -x772 x769 x768 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 
79.07/79.18	v -x757 -x756 x753 -x750 -x749 -x748 -x744 -x743 -x742 -x739 -x738 -x737 -x736 -x735 -x770 -x734 -x733 x732 -x729 -x728 -x727 
79.07/79.18	v -x726 x725 -x724 -x723 -x722 -x721 -x751 x720 -x717 x716 -x714 -x713 -x711 -x709 -x707 x706 -x704 -x703 -x702 -x740 -x701 
79.07/79.18	v -x700 -x699 -x698 -x697 -x696 x693 -x691 x689 -x687 -x685 x681 -x678 -x676 -x673 x670 x667 x664 x661 -x657 -x668 -x659 x656 
79.07/79.18	v -x652 x651 -x649 -x647 x646 -x643 -x642 -x636 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x640 -x622 -x621 -x620 
79.07/79.18	v -x619 -x618 -x617 -x616 -x615 x614 x610 -x605 x602 -x600 x599 x595 x590 x587 -x583 -x582 x578 -x574 -x573 -x571 -x570 -x569 
79.07/79.18	v -x568 x565 -x563 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x644 -x566 -x553 -x548 -x547 -x546 -x545 -x543 -x585 -x588 
79.07/79.18	v -x542 x541 x536 x533 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
79.07/79.18	v -x507 -x506 -x4542 -x505 -x5036 -x504 -x503 -x502 -x1249 -x501 -x500 -x499 -x1993 -x498 -x5021 -x497 -x496 -x5012 -x495 -x494 
79.07/79.18	v -x493 -x492 -x491 -x490 -x489 -x4603 -x488 -x487 -x486 -x485 -x484 -x4989 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x474 
79.07/79.18	v -x473 -x472 -x471 -x470 -x469 -x4066 -x468 -x467 -x4595 -x466 -x465 -x4962 -x464 -x463 -x462 -x608 -x461 -x2124 -x460 -x459 -x458 
79.07/79.18	v -x457 -x456 -x455 -x4931 -x454 -x453 -x4906 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 
79.07/79.18	v -x439 -x438 -x437 -x873 -x436 -x433 -x432 -x431 -x4866 -x430 -x429 -x428 -x4813 -x427 -x426 -x425 -x424 -x423 -x422 -x4758 
79.07/79.18	v -x421 -x420 -x419 -x418 -x417 -x416 -x4689 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x4607 -x405 -x404 -x403 
79.07/79.18	v -x1507 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x4492 -x4443 -x392 -x391 -x390 -x4377 -x389 -x388 -x387 
79.07/79.18	v -x386 -x385 -x384 -x383 -x382 -x1660 -x2811 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x4302 -x372 -x371 -x370 
79.07/79.18	v -x369 -x368 -x367 -x366 -x4239 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x4182 -x353 -x352 -x351 
79.07/79.18	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x4139 -x341 -x340 -x4089 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
79.07/79.18	v -x4022 -x332 -x331 -x329 -x328 -x3988 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x766 -x314 
79.07/79.18	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x3680 -x298 -x297 -x296 -x295 -x294 
79.07/79.18	v -x293 -x292 -x291 -x290 -x289 -x288 -x3596 -x287 -x3573 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 
79.07/79.18	v -x275 -x274 -x273 -x272 -x3315 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x3172 
79.07/79.18	v -x256 -x255 -x788 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x2859 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
79.07/79.18	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x2589 -x231 -x230 -x229 -x228 -x227 -x2447 -x226 -x225 -x224 -x223 -x222 -x221 -x220 
79.07/79.18	v -x219 -x218 -x217 -x216 -x215 -x2319 -x2271 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x2151 
79.07/79.18	v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 
79.07/79.18	v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 
79.07/79.18	v -x1582 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x1390 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
79.07/79.18	v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 
79.07/79.18	v -x121 -x120 -x929 -x119 -x118 -x117 -x116 -x115 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x858 -x106 -x105 -x104 -x844 -x103 
79.07/79.18	v -x102 -x101 -x100 -x99 -x576 -x95 -x94 -x834 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x820 -x84 -x813 -x83 -x82 -x807 -x81 -x775 
79.07/79.18	v -x802 -x80 -x792 -x79 -x597 -x781 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x69 -x68 -x67 -x66 -x65 -x754 -x64 -x746 -x63 -x62 
79.07/79.18	v -x61 -x60 -x59 -x730 -x718 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x694 -x50 -x49 -x48 -x683 -x46 -x580 -x45 -x44 -x679 -x43 
79.07/79.18	v -x42 -x41 -x665 -x671 -x38 -x37 -x36 -x662 -x35 -x593 -x34 -x654 -x33 -x32 -x30 -x29 -x28 -x27 -x623 -x612 -x26 -x603 -x25 
79.07/79.18	v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x551 -x15 -x14 -x539 -x8 x534 -x7 -x531 -x5059 -x5055 -x5052 -x5050 -x5037 -x5022 
79.07/79.18	v -x5013 -x5010 -x5007 -x5004 -x4990 -x4987 -x4984 -x4981 -x4976 -x4974 -x4973 -x4963 -x4959 -x4957 -x4955 -x4953 -x4949 -x4947 
79.07/79.18	v -x4932 -x4929 -x4926 -x4907 -x4905 -x4904 -x4903 -x4900 -x4897 -x4893 -x4890 -x4888 -x4870 -x4867 -x4865 -x4863 -x4861 -x4814 
79.07/79.18	v -x4811 -x4806 -x4803 -x4759 -x4753 -x4731 -x4725 -x4713 -x4696 -x4690 -x4687 -x4682 -x4680 -x4674 -x4672 -x4664 -x4658 
79.07/79.18	v -x4656 -x4652 -x4608 -x4604 -x4602 -x4601 -x4596 -x4593 -x4591 -x4586 -x4584 -x4565 -x4563 -x4561 -x4543 -x4493 -x4444 -x4441 
79.07/79.18	v -x4439 -x4437 -x4420 -x4378 -x4375 -x4372 -x4368 -x4365 -x4363 -x4360 -x4358 -x4357 -x4338 -x4321 -x4319 -x4307 -x4303 -x4301 
79.07/79.18	v -x4298 -x4296 -x4276 -x4264 -x4240 -x4238 -x4232 -x4230 -x4229 -x4213 -x4211 -x4206 -x4189 -x4187 -x4186 -x4183 -x4180 -x4178 
79.07/79.18	v -x4175 -x4172 -x4169 -x4165 -x4162 -x4159 -x4153 -x4146 -x4144 -x4143 -x4140 -x4131 -x4090 -x4087 -x4083 -x4077 -x4071 -x4069 
79.07/79.18	v -x4067 -x4059 -x4023 -x4016 -x4013 -x4010 -x4000 -x3989 -x3976 -x3974 -x3964 -x3943 -x3940 -x3938 -x3935 -x3933 -x3896 -x3859 
79.07/79.18	v -x3857 -x3842 -x3803 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3792 -x3789 -x3787 -x3785 -x3783 -x3773 -x3770 -x3765 -x3762 
79.07/79.18	v -x3759 -x3727 -x3713 -x3710 -x3704 -x3697 -x3692 -x3689 -x3681 -x3679 -x3677 -x3675 -x3654 -x3652 -x3651 -x3649 -x3644 
79.07/79.18	v -x3641 -x3639 -x3637 -x3623 -x3606 -x3597 -x3593 -x3574 -x3571 -x3558 -x3553 -x3546 -x3544 -x3543 -x3540 -x3527 -x3513 -x3507 
79.07/79.18	v -x3495 -x3489 -x3454 -x3437 -x3434 -x3432 -x3431 -x3419 -x3316 -x3313 -x3306 -x3294 -x3288 -x3286 -x3285 -x3283 -x3272 -x3231 
79.07/79.18	v -x3229 -x3226 -x3217 -x3201 -x3198 -x3195 -x3178 -x3176 -x3173 -x3165 -x3149 -x3147 -x3142 -x3138 -x3086 -x3084 -x3062 -x3016 
79.07/79.18	v -x3014 -x3013 -x2969 -x2860 -x2844 -x2840 -x2838 -x2823 -x2818 -x2815 -x2812 -x2810 -x2794 -x2774 -x2757 -x2742 -x2739 -x2697 
79.07/79.18	v -x2590 -x2558 -x2526 -x2524 -x2506 -x2491 -x2473 -x2448 -x2446 -x2440 -x2438 -x2436 -x2431 -x2428 -x2422 -x2401 -x2399 -x2358 
79.07/79.18	v -x2353 -x2347 -x2344 -x2335 -x2327 -x2320 -x2272 -x2270 -x2259 -x2257 -x2242 -x2240 -x2239 -x2222 -x2220 -x2219 -x2218 -x2205 
79.07/79.18	v -x2203 -x2152 -x2129 -x2127 -x2125 -x2075 -x2057 -x2006 -x1997 -x1994 -x1986 -x1983 -x1942 -x1940 -x1921 -x1912 -x1909 
79.07/79.18	v -x1907 -x1889 -x1886 -x1884 -x1882 -x1865 -x1863 -x1861 -x1853 -x1834 -x1831 -x1829 -x1822 -x1818 -x1815 -x1813 -x1762 -x1756 
79.07/79.18	v -x1737 -x1735 -x1729 -x1727 -x1725 -x1700 -x1677 -x1671 -x1668 -x1661 -x1654 -x1652 -x1646 -x1596 -x1594 -x1593 -x1591 -x1589 
79.07/79.18	v -x1587 -x1583 x1581 -x1532 -x1508 -x1484 -x1482 -x1437 -x1435 -x1430 -x1408 -x1406 -x1402 -x1400 -x1391 -x1385 -x1337 -x1334 
79.07/79.18	v -x1325 -x1319 -x1317 -x1314 -x1308 -x1305 -x1300 -x1294 -x1292 -x1282 -x1275 -x1272 -x1250 -x1228 -x1219 -x1207 -x1204 -x1202 
79.07/79.18	v -x1200 -x1198 -x1152 -x1111 -x1109 -x1108 -x1082 -x1061 -x1052 -x1005 -x984 -x982 -x981 -x930 -x928 -x927 -x926 -x903 -x878 
79.07/79.18	v -x876 -x874 -x871 -x867 -x859 -x855 -x853 -x852 -x845 -x843 -x842 -x841 -x839 -x837 -x835 -x832 -x829 -x821 -x814 -x811 -x808 
79.07/79.18	v -x803 -x793 -x789 -x782 -x780 -x779 -x776 -x774 -x773 -x771 -x767 -x755 -x752 -x747 -x745 -x741 -x731 -x719 -x715 -x712 -x710 
79.07/79.18	v -x708 -x705 -x695 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x677 -x675 -x674 -x672 -x669 -x666 -x663 -x660 x658 -x655 -x653 
79.07/79.18	v -x650 x648 -x645 -x641 -x639 -x638 -x637 -x635 -x624 -x613 -x611 -x609 -x607 -x606 -x604 -x601 -x598 -x596 -x594 x592 -x591 
79.07/79.18	v -x589 -x586 -x584 -x581 -x579 -x577 -x575 -x572 -x567 -x564 -x562 -x552 -x550 -x549 -x544 -x540 -x538 -x537 x535 -x532 -x530 
79.07/79.18	v -x529 x528 -x527 x526 x525 x476 x475 x435 x434 x330 x114 x98 x97 x96 x93 x92 x70 x47 x40 x39 x31 x13 x12 x11 x10 x9 x6 x5 
79.07/79.18	v x4 x3 x2 x1 
79.07/79.18	c SCIP Status        : problem is solved [optimal solution found]
79.07/79.18	c Total Time         :      79.17
79.07/79.18	c   solving          :      79.17
79.07/79.18	c   presolving       :       0.76 (included in solving)
79.07/79.18	c   reading          :       0.06 (included in solving)
79.07/79.18	c   copying          :       0.05 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
79.07/79.18	c Original Problem   :
79.07/79.18	c   Problem name     : HOME/instance-3691132-1338020685.opb
79.07/79.18	c   Variables        : 5060 (5060 binary, 0 integer, 0 implicit integer, 0 continuous)
79.07/79.18	c   Constraints      : 20188 initial, 20188 maximal
79.07/79.18	c   Objective sense  : minimize
79.07/79.18	c Presolved Problem  :
79.07/79.18	c   Problem name     : t_HOME/instance-3691132-1338020685.opb
79.07/79.18	c   Variables        : 4652 (4652 binary, 0 integer, 0 implicit integer, 0 continuous)
79.07/79.18	c   Constraints      : 11811 initial, 11812 maximal
79.07/79.18	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
79.07/79.18	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   dualfix          :       0.00       0.00          2          0          0          0          0          0          0          0          0
79.07/79.18	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   gateextraction   :       0.04       0.00          0          0          0          0          0      11400       3800          0          0
79.07/79.18	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   pseudoobj        :       0.00       0.01          0          0          0          0          0          0          0          0          0
79.07/79.18	c   probing          :       0.04       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   setppc           :       0.08       0.00          0          0          0          0          0          8          0          0          0
79.07/79.18	c   and              :       0.18       0.00          0          0          0          0          0          0          0          0          0
79.07/79.18	c   linear           :       0.27       0.00         29        369          0         29          0        767          0          0          0
79.07/79.18	c   logicor          :       0.08       0.00          8          0          0          0          0          2          0          0          0
79.07/79.18	c   root node        :          -          -        106          -          -        106          -          -          -          -          -
79.07/79.18	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
79.07/79.18	c   integral         :          0          0          0          0         12          0         10          0          0         10          0          0         16
79.07/79.18	c   setppc           :       7643       7643         26        404          1          0          6          0          0        154          0          0          0
79.07/79.18	c   and              :       3800       3800         51        404          1          0          6          0          0       3602       1322          0          0
79.07/79.18	c   logicor          :        368+       369         26        179          1          0          5          0          0          9          0          0          0
79.07/79.18	c   countsols        :          0          0          0          0          1          0          7          0          0          0          0          0          0
79.07/79.18	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
79.07/79.18	c   integral         :      41.73       0.00       0.00       0.00      41.73       0.00       0.00       0.00
79.07/79.18	c   setppc           :       0.06       0.00       0.01       0.04       0.00       0.00       0.00       0.00
79.07/79.18	c   and              :       0.09       0.00       0.06       0.03       0.00       0.00       0.00       0.00
79.07/79.18	c   logicor          :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00
79.07/79.18	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
79.07/79.18	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
79.07/79.18	c   rootredcost      :          0          0          0          0
79.07/79.18	c   pseudoobj        :        317          0          0          0
79.07/79.18	c   vbounds          :          0          0          0          0
79.07/79.18	c   redcost          :         66          0          0        426
79.07/79.18	c   probing          :          0          0          0          0
79.07/79.18	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
79.07/79.18	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
79.07/79.18	c   pseudoobj        :       0.01       0.01       0.00       0.00       0.00
79.07/79.18	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
79.07/79.18	c   redcost          :       0.01       0.00       0.00       0.01       0.00
79.07/79.18	c   probing          :       0.04       0.00       0.04       0.00       0.00
79.07/79.18	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
79.07/79.18	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
79.07/79.18	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
79.07/79.18	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
79.07/79.18	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
79.07/79.18	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
79.07/79.18	c   applied globally :          -          -          -          0        0.0          -          -          -
79.07/79.18	c   applied locally  :          -          -          -          0        0.0          -          -          -
79.07/79.18	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
79.07/79.18	c   cut pool         :       0.04                    25          -          -        124          -    (maximal pool size: 5797)
79.07/79.18	c   closecuts        :       0.00       0.00          0          0          0          0          0
79.07/79.18	c   impliedbounds    :       0.08       0.00         26          0          0       6992          0
79.07/79.18	c   intobj           :       0.00       0.00          0          0          0          0          0
79.07/79.18	c   gomory           :       0.43       0.00         10          0          0        500          0
79.07/79.18	c   cgmip            :       0.00       0.00          0          0          0          0          0
79.07/79.18	c   strongcg         :      23.09       0.00         20          0          0       8215          0
79.07/79.18	c   cmir             :       1.42       0.00         10          0          0        159          0
79.07/79.18	c   flowcover        :       2.66       0.00         10          0          0       1143          0
79.07/79.18	c   clique           :       0.48       0.00          1          0          0          0          0
79.07/79.18	c   zerohalf         :       0.00       0.00          0          0          0          0          0
79.07/79.18	c   mcf              :       0.01       0.00          1          0          0          0          0
79.07/79.18	c   oddcycle         :       0.00       0.00          0          0          0          0          0
79.07/79.18	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
79.07/79.18	c Pricers            :   ExecTime  SetupTime      Calls       Vars
79.07/79.18	c   problem variables:       0.00          -          0          0
79.07/79.18	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
79.07/79.18	c   relpscost        :      41.73       0.00         11          0         10          0          0         16
79.07/79.18	c   pscost           :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   inference        :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c   random           :       0.00       0.00          0          0          0          0          0          0
79.07/79.18	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
79.07/79.18	c   LP solutions     :       0.00          -          -          1
79.07/79.18	c   pseudo solutions :       0.00          -          -          0
79.07/79.18	c   crossover        :       0.00       0.00          0          0
79.07/79.18	c   coefdiving       :       0.00       0.00          0          0
79.07/79.18	c   pscostdiving     :       0.00       0.00          0          0
79.07/79.18	c   fracdiving       :       0.00       0.00          0          0
79.07/79.18	c   veclendiving     :       0.00       0.00          0          0
79.07/79.18	c   objpscostdiving  :       0.00       0.00          0          0
79.07/79.18	c   rootsoldiving    :       0.00       0.00          0          0
79.07/79.18	c   linesearchdiving :       0.00       0.00          0          0
79.07/79.18	c   guideddiving     :       0.00       0.00          0          0
79.07/79.18	c   oneopt           :       0.06       0.00          4          1
79.07/79.18	c   smallcard        :       0.00       0.00          0          0
79.07/79.18	c   trivial          :       0.01       0.00          2          2
79.07/79.18	c   shiftandpropagate:       0.00       0.00          0          0
79.07/79.18	c   simplerounding   :       0.00       0.00          0          0
79.07/79.18	c   zirounding       :       0.01       0.00          8          0
79.07/79.18	c   rounding         :       0.06       0.00         53          0
79.07/79.18	c   shifting         :       0.09       0.00         25          0
79.07/79.18	c   intshifting      :       0.00       0.00          0          0
79.07/79.18	c   twoopt           :       0.00       0.00          0          0
79.07/79.18	c   indtwoopt        :       0.00       0.00          0          0
79.07/79.18	c   indoneopt        :       0.00       0.00          0          0
79.07/79.18	c   fixandinfer      :       0.00       0.00          0          0
79.07/79.18	c   feaspump         :       0.00       0.00          0          0
79.07/79.18	c   clique           :       0.00       0.00          0          0
79.07/79.18	c   indcoefdiving    :       0.00       0.00          0          0
79.07/79.18	c   indrounding      :       0.00       0.00          0          0
79.07/79.18	c   nlpdiving        :       0.00       0.00          0          0
79.07/79.18	c   intdiving        :       0.00       0.00          0          0
79.07/79.18	c   actconsdiving    :       0.00       0.00          0          0
79.07/79.18	c   octane           :       0.00       0.00          0          0
79.07/79.18	c   rens             :       0.33       0.00          1          1
79.07/79.18	c   rins             :       0.00       0.00          0          0
79.07/79.18	c   localbranching   :       0.00       0.00          0          0
79.07/79.18	c   mutation         :       0.00       0.00          0          0
79.07/79.18	c   dins             :       0.00       0.00          0          0
79.07/79.18	c   vbounds          :       0.00       0.00          0          0
79.07/79.18	c   undercover       :       0.31       0.00          1          1
79.07/79.18	c   subnlp           :       0.00       0.00          0          0
79.07/79.18	c   trysol           :       0.00       0.00          0          0
79.07/79.18	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
79.07/79.18	c   primal LP        :       0.02          4          0       0.00       0.00       0.02          4
79.07/79.18	c   dual LP          :       6.79         67      20440     365.00    3010.69       0.04         11
79.07/79.18	c   lex dual LP      :       0.00          0          0       0.00          -
79.07/79.18	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
79.07/79.18	c   diving/probing LP:       0.00          0          0       0.00          -
79.07/79.18	c   strong branching :      41.72        190     125954     662.92    3018.93
79.07/79.18	c     (at root node) :          -         22      15465     702.95          -
79.07/79.18	c   conflict analysis:       0.00          0          0       0.00          -
79.07/79.18	c B&B Tree           :
79.07/79.18	c   number of runs   :          1
79.07/79.18	c   nodes            :         11
79.07/79.18	c   nodes (total)    :         11
79.07/79.18	c   nodes left       :          0
79.07/79.18	c   max depth        :          8
79.07/79.18	c   max depth (total):          8
79.07/79.18	c   backtracks       :          0 (0.0%)
79.07/79.18	c   delayed cutoffs  :          0
79.07/79.18	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
79.07/79.18	c   avg switch length:       2.00
79.07/79.18	c   switching time   :       0.01
79.07/79.18	c Solution           :
79.07/79.18	c   Solutions found  :          6 (6 improvements)
79.07/79.18	c   First Solution   : +5.37000000000000e+02   (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
79.07/79.18	c   Primal Bound     : +3.50000000000000e+01   (in run 1, after 11 nodes, 79.17 seconds, depth 8, found by <relaxation>)
79.07/79.18	c   Dual Bound       : +3.50000000000000e+01
79.07/79.18	c   Gap              :       0.00 %
79.07/79.18	c   Root Dual Bound  : +3.44123564176795e+01
79.07/79.18	c   Root Iterations  :      14739
79.17/79.25	c Time complete: 79.22.

Verifier Data

OK	35

Watcher Data

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-3691132-1338020685/watcher-3691132-1338020685 -o /tmp/evaluation-result-3691132-1338020685/solver-3691132-1338020685 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691132-1338020685.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 6404
/proc/meminfo: memFree=29999580/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=10720 CPUtime=0 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 1424 0 0 0 0 0 0 0 20 0 1 0 268192952 10977280 1378 33554432000 4194304 10173063 140733262994416 140736972451608 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 2680 1378 416 1460 0 1211 0

[startup+0.0993079 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 6404
/proc/meminfo: memFree=29999580/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=41980 CPUtime=0.09 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 9010 0 0 0 8 1 0 0 20 0 1 0 268192952 42987520 8951 33554432000 4194304 10173063 140733262994416 140733262990232 8886163 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 10495 8951 515 1460 0 9026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41980

[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 6404
/proc/meminfo: memFree=29999580/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=42172 CPUtime=0.09 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 9074 0 0 0 8 1 0 0 20 0 1 0 268192952 43184128 9015 33554432000 4194304 10173063 140733262994416 140733262990232 4499285 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 10543 9015 515 1460 0 9074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42172

[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 6404
/proc/meminfo: memFree=29999580/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=64180 CPUtime=0.29 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 14487 0 0 0 23 6 0 0 20 0 1 0 268192952 65720320 14428 33554432000 4194304 10173063 140733262994416 140733262991416 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 16045 14428 569 1460 0 14576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64180

[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 6404
/proc/meminfo: memFree=29999580/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=75436 CPUtime=0.69 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 18688 0 0 0 47 22 0 0 20 0 1 0 268192952 77246464 17281 33554432000 4194304 10173063 140733262994416 140733262991656 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 18859 17281 615 1460 0 17390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75436

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 6405
/proc/meminfo: memFree=29889808/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=133452 CPUtime=1.49 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 41982 0 0 0 110 39 0 0 20 0 1 0 268192952 136654848 31879 33554432000 4194304 10173063 140733262994416 140733262989800 5099032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 33363 31879 824 1460 0 31894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133452

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29874224/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=133452 CPUtime=3.08 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 42234 0 0 0 236 72 0 0 20 0 1 0 268192952 136654848 32054 33554432000 4194304 10173063 140733262994416 140733262989800 5099105 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 33363 32054 840 1460 0 31894 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133452

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29872960/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=133452 CPUtime=6.28 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 42367 0 0 0 553 75 0 0 20 0 1 0 268192952 136654848 32186 33554432000 4194304 10173063 140733262994416 140733262989800 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 33363 32186 840 1460 0 31894 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 133452

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29850152/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=157204 CPUtime=12.69 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 48000 0 0 0 1189 80 0 0 20 0 1 0 268192952 160976896 37592 33554432000 4194304 10173063 140733262994416 140733262989304 5023643 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39301 37592 840 1460 0 37832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 157204

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29847896/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159492 CPUtime=25.49 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 48677 0 0 0 2464 85 0 0 20 0 1 0 268192952 163319808 38269 33554432000 4194304 10173063 140733262994416 140733262989304 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39873 38269 840 1460 0 38404 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159492

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29845464/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=51.08 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56313 0 0 0 5005 103 0 0 20 0 1 0 268192952 162979840 38510 33554432000 4194304 10173063 140733262994416 140733262987912 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6404/statm: 39790 38510 869 1460 0 38321 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 159160

Solver just ended. Dumping a history of the last processes samples

[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29845324/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=63.87 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56315 0 0 0 6278 109 0 0 20 0 1 0 268192952 162979840 38550 33554432000 4194304 10173063 140733262994416 140733262987864 7910616 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38550 869 1460 0 38321 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 159160

[startup+70.3002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29843200/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=70.28 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56322 0 0 0 6916 112 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262988248 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 159160

[startup+73.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29843200/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=73.47 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56322 0 0 0 7234 113 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262987960 7706073 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 159160

[startup+76.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29842068/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=76.67 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56329 0 0 0 7553 114 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262987960 8012405 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 159160

[startup+78.3002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29842068/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=78.26 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56329 0 0 0 7712 114 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262987864 7971268 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 78.26
Current children cumulated vsize (KiB) 159160

[startup+78.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29842068/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=78.66 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56329 0 0 0 7752 114 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262987672 7911721 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 78.66
Current children cumulated vsize (KiB) 159160

[startup+79.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29841944/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=79.07 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56329 0 0 0 7793 114 0 0 20 0 1 0 268192952 162979840 38557 33554432000 4194304 10173063 140733262994416 140733262987768 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38557 869 1460 0 38321 0
Current children cumulated CPU time (s) 79.07
Current children cumulated vsize (KiB) 159160

[startup+79.2064 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6406
/proc/meminfo: memFree=29841944/32873844 swapFree=7388/7388
[pid=6404] ppid=6402 vsize=159160 CPUtime=79.17 cores=0,2,4,6
/proc/6404/stat : 6404 (scip-2.1.1.4fix) R 6402 6404 6041 0 -1 4202496 56332 0 0 0 7803 114 0 0 20 0 1 0 268192952 162979840 38560 33554432000 4194304 10173063 140733262994416 140733262991768 8831461 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6404/statm: 39790 38560 872 1460 0 38321 0
Current children cumulated CPU time (s) 79.17
Current children cumulated vsize (KiB) 159160

Child status: 0
Real time (s): 79.254
CPU time (s): 79.229
CPU user time (s): 78.0721
CPU system time (s): 1.15682
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 189272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.0721
system time used= 1.15682
maximum resident set size= 182536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56334
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= 19
involuntary context switches= 279

runsolver used 0.25896 second user time and 0.493924 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-26 10:24:46
IDJOB=3691132
IDBENCH=25030
IDSOLVER=2270
FILE ID=node147/3691132-1338020685
RUNJOBID= node147-1338016919-6057
PBS_JOBID= 14624328
Free space on /tmp= 71672 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691132-1338020685/watcher-3691132-1338020685 -o /tmp/evaluation-result-3691132-1338020685/solver-3691132-1338020685 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691132-1338020685.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=650943815

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29999960 kB
Buffers:          253440 kB
Cached:          1780588 kB
SwapCached:         6180 kB
Active:           493540 kB
Inactive:        1607840 kB
Active(anon):      62824 kB
Inactive(anon):     6780 kB
Active(file):     430716 kB
Inactive(file):  1601060 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67097572 kB
Dirty:             14084 kB
Writeback:             0 kB
AnonPages:         69284 kB
Mapped:            13152 kB
Shmem:                 0 kB
Slab:             633060 kB
SReclaimable:      74420 kB
SUnreclaim:       558640 kB
KernelStack:        1440 kB
PageTables:         3704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     185304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node147 at 2012-05-26 10:26:05