Trace number 2703404

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT35 862.196 862.423

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

Verifier Data 

OK	35

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703404-1278564140/watcher-2703404-1278564140 -o /tmp/evaluation-result-2703404-1278564140/solver-2703404-1278564140 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703404-1278564140.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29744
/proc/meminfo: memFree=1688196/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=7904 CPUtime=0
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 1059 0 0 0 0 0 0 0 22 0 1 0 24627666 8093696 972 1992294400 4194304 8395647 140736106445760 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 1976 980 365 1026 0 946 0

[startup+0.0591749 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29744
/proc/meminfo: memFree=1688196/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=14500 CPUtime=0.05
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 2909 0 0 0 5 0 0 0 22 0 1 0 24627666 14848000 2821 1992294400 4194304 8395647 140736106445760 18446744073709551615 7370068 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 3625 2821 393 1026 0 2595 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14500

[startup+0.101179 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29744
/proc/meminfo: memFree=1688196/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=17300 CPUtime=0.09
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 3601 0 0 0 9 0 0 0 22 0 1 0 24627666 17715200 3513 1992294400 4194304 8395647 140736106445760 18446744073709551615 7382027 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 4325 3513 393 1026 0 3295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17300

[startup+0.301201 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29744
/proc/meminfo: memFree=1688196/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=23036 CPUtime=0.29
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 5062 0 0 0 28 1 0 0 22 0 1 0 24627666 23588864 4974 1992294400 4194304 8395647 140736106445760 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 5759 4974 393 1026 0 4729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23036

[startup+0.701245 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29744
/proc/meminfo: memFree=1688196/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=55384 CPUtime=0.69
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 13154 0 0 0 65 4 0 0 23 0 1 0 24627666 56713216 12712 1992294400 4194304 8395647 140736106445760 18446744073709551615 6345756 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 13846 12712 482 1026 0 12816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55384

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29745
/proc/meminfo: memFree=1627924/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=66632 CPUtime=1.49
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 16751 0 0 0 144 5 0 0 25 0 1 0 24627666 68231168 15555 1992294400 4194304 8395647 140736106445760 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 16658 15555 504 1026 0 15628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66632

[startup+3.10051 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29745
/proc/meminfo: memFree=1626560/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=67016 CPUtime=3.09
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 16852 0 0 0 304 5 0 0 25 0 1 0 24627666 68624384 15656 1992294400 4194304 8395647 140736106445760 18446744073709551615 5210645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 16754 15656 504 1026 0 15724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67016

[startup+6.30087 s]
/proc/loadavg: 1.08 1.02 1.01 3/107 29745
/proc/meminfo: memFree=1598412/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=106880 CPUtime=6.29
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 26684 0 0 0 618 11 0 0 25 0 1 0 24627666 109445120 25333 1992294400 4194304 8395647 140736106445760 18446744073709551615 6125122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 26720 25333 597 1026 0 25690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106880

[startup+12.7006 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 29745
/proc/meminfo: memFree=1570264/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=126976 CPUtime=12.69
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 31438 0 0 0 1255 14 0 0 25 0 1 0 24627666 130023424 30029 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 31744 30029 655 1026 0 30714 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126976

[startup+25.501 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 29745
/proc/meminfo: memFree=1556996/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=137976 CPUtime=25.49
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 34942 0 0 0 2531 18 0 0 25 0 1 0 24627666 141287424 33240 1992294400 4194304 8395647 140736106445760 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 34494 33240 671 1026 0 33464 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 137976

[startup+51.1009 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29745
/proc/meminfo: memFree=1547200/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=148548 CPUtime=51.08
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 38834 0 0 0 5083 25 0 0 25 0 1 0 24627666 152113152 35671 1992294400 4194304 8395647 140736106445760 18446744073709551615 6440648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 37137 35671 661 1026 0 36107 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 148548

[startup+102.309 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29747
/proc/meminfo: memFree=1537900/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=156960 CPUtime=102.28
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 41175 0 0 0 10188 40 0 0 25 0 1 0 24627666 160727040 38012 1992294400 4194304 8395647 140736106445760 18446744073709551615 6758163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 39240 38012 665 1026 0 38210 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 156960

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29749
/proc/meminfo: memFree=1539760/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=154072 CPUtime=162.25
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 48861 0 0 0 16167 58 0 0 25 0 1 0 24627666 157769728 37366 1992294400 4194304 8395647 140736106445760 18446744073709551615 6124428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 38518 37366 624 1026 0 37488 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 154072

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29751
/proc/meminfo: memFree=1538892/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=156012 CPUtime=222.24
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 49241 0 0 0 22150 74 0 0 25 0 1 0 24627666 159756288 37746 1992294400 4194304 8395647 140736106445760 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 39003 37746 625 1026 0 37973 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 156012

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29751
/proc/meminfo: memFree=1535916/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=282.22
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50076 0 0 0 28129 93 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6636331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 756 1026 0 39141 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 160684

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29753
/proc/meminfo: memFree=1535916/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=342.2
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 34105 115 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6723046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 160684

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29755
/proc/meminfo: memFree=1535916/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=402.18
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 40084 134 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 160684

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29757
/proc/meminfo: memFree=1534560/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=462.17
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 46064 153 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 160684

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29759
/proc/meminfo: memFree=1534436/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=522.16
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 52045 171 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 160684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29759
/proc/meminfo: memFree=1534436/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=582.13
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 58023 190 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 160684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29761
/proc/meminfo: memFree=1534312/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=642.13
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 64004 209 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697007 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 160684

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29763
/proc/meminfo: memFree=1534188/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=702.11
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 69984 227 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6415415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 160684

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29765
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=762.1
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 75967 243 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6698282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 160684

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=822.08
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 81948 260 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 160684

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

[startup+844.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=844.48
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 84180 268 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 844.48
Current children cumulated vsize (KiB) 160684

[startup+851.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=850.87
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 84818 269 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 850.87
Current children cumulated vsize (KiB) 160684

[startup+857.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=857.27
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 85456 271 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 857.27
Current children cumulated vsize (KiB) 160684

[startup+860.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=860.46
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 85775 271 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 860.46
Current children cumulated vsize (KiB) 160684

[startup+861.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=861.26
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 85855 271 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 861.26
Current children cumulated vsize (KiB) 160684

[startup+861.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=861.67
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50079 0 0 0 85895 272 0 0 25 0 1 0 24627666 164540416 38581 1992294400 4194304 8395647 140736106445760 18446744073709551615 6751183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38581 753 1026 0 39141 0
Current children cumulated CPU time (s) 861.67
Current children cumulated vsize (KiB) 160684

[startup+862.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=160684 CPUtime=862.08
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50081 0 0 0 85936 272 0 0 25 0 1 0 24627666 164540416 38583 1992294400 4194304 8395647 140736106445760 18446744073709551615 6673558 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 40171 38583 755 1026 0 39141 0
Current children cumulated CPU time (s) 862.08
Current children cumulated vsize (KiB) 160684

[startup+862.409 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29767
/proc/meminfo: memFree=1534064/2059040 swapFree=4139412/4192956
[pid=29744] ppid=29742 vsize=123092 CPUtime=862.17
/proc/29744/stat : 29744 (pbscip.linux.x8) R 29742 29744 29411 0 -1 4202496 50081 0 0 0 85945 272 0 0 25 0 1 0 24627666 126046208 28167 1992294400 4194304 8395647 140736106445760 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29744/statm: 28951 28167 643 1026 0 27921 0
Current children cumulated CPU time (s) 862.17
Current children cumulated vsize (KiB) 123092

Child status: 0
Real time (s): 862.423
CPU time (s): 862.196
CPU user time (s): 859.458
CPU system time (s): 2.73758
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 188812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.458
system time used= 2.73758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2296

runsolver used 1.42178 second user time and 4.08538 second system time

The end

Launcher Data 

Begin job on node005 at 2010-07-08 06:42:21
IDJOB=2703404
IDBENCH=25030
IDSOLVER=1213
FILE ID=node005/2703404-1278564140
PBS_JOBID= 11239577
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703404-1278564140/watcher-2703404-1278564140 -o /tmp/evaluation-result-2703404-1278564140/solver-2703404-1278564140 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703404-1278564140.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=132633295

node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1688608 kB
Buffers:         73304 kB
Cached:         206648 kB
SwapCached:       6980 kB
Active:         154408 kB
Inactive:       141316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1688608 kB
SwapTotal:     4192956 kB
SwapFree:      4139412 kB
Dirty:           10916 kB
Writeback:           0 kB
AnonPages:       13452 kB
Mapped:          11984 kB
Slab:            52736 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node005 at 2010-07-08 06:56:43