Trace number 2692348

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.66 1800.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-66-100-0.wbo
MD5SUMa96e8ec93fa53032ae0ea101ae8e779b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.082986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5072
Total number of constraints12829
Number of soft constraints4377
Number of constraints which are clauses11721
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1108
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 225332
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 225331
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
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

Solver Data 

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

Verifier Data 

OK	18585

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 14201
/proc/meminfo: memFree=31110712/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=9156 CPUtime=0
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 1585 0 0 0 0 0 0 0 18 0 1 0 132641040 9375744 1505 4089446400 4194304 8223781 140733505061904 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14201/statm: 2289 1505 369 984 0 1302 0

[startup+0.0199911 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 14201
/proc/meminfo: memFree=31110712/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=12840 CPUtime=0.01
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 2509 0 0 0 1 0 0 0 18 0 1 0 132641040 13148160 2429 4089446400 4194304 8223781 140733505061904 18446744073709551615 7256351 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14201/statm: 3210 2429 369 984 0 2223 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12840

[startup+0.101041 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 14201
/proc/meminfo: memFree=31110712/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=26956 CPUtime=0.09
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 5994 0 0 0 9 0 0 0 18 0 1 0 132641040 27602944 5915 4089446400 4194304 8223781 140733505061904 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14201/statm: 6739 5943 369 984 0 5752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26956

[startup+0.301008 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 14201
/proc/meminfo: memFree=31110712/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=69444 CPUtime=0.29
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 17190 0 0 0 26 3 0 0 18 0 1 0 132641040 71110656 16107 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 17361 16107 461 984 0 16374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69444

[startup+0.700941 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 14201
/proc/meminfo: memFree=31110712/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=77384 CPUtime=0.69
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 20668 0 0 0 65 4 0 0 18 0 1 0 132641040 79241216 18140 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 19346 18140 499 984 0 18359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77384

[startup+1.50068 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14202
/proc/meminfo: memFree=31039156/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=78928 CPUtime=1.49
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 21057 0 0 0 144 5 0 0 20 0 1 0 132641040 80822272 18529 4089446400 4194304 8223781 140733505061904 18446744073709551615 4701993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 19732 18529 504 984 0 18745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78928

[startup+3.10053 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14202
/proc/meminfo: memFree=31037788/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=99112 CPUtime=3.09
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 29934 0 0 0 301 8 0 0 25 0 1 0 132641040 101490688 23218 4089446400 4194304 8223781 140733505061904 18446744073709551615 5716611 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 24778 23218 582 984 0 23791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99112

[startup+6.30095 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14202
/proc/meminfo: memFree=31012868/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=109472 CPUtime=6.29
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 35712 0 0 0 618 11 0 0 25 0 1 0 132641040 112099328 25326 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 27368 25326 603 984 0 26381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109472

[startup+12.7008 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14202
/proc/meminfo: memFree=31008188/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=116280 CPUtime=12.69
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 44885 0 0 0 1254 15 0 0 25 0 1 0 132641040 119070720 26787 4089446400 4194304 8223781 140733505061904 18446744073709551615 6568138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 29070 26787 601 984 0 28083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116280

[startup+25.5005 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14203
/proc/meminfo: memFree=30996816/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=124884 CPUtime=25.49
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 71770 0 0 0 2528 21 0 0 25 0 1 0 132641040 127881216 29219 4089446400 4194304 8223781 140733505061904 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31221 29219 614 984 0 30234 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124884

[startup+51.101 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14204
/proc/meminfo: memFree=30993240/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=124852 CPUtime=51.09
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 71770 0 0 0 5084 25 0 0 25 0 1 0 132641040 127848448 29211 4089446400 4194304 8223781 140733505061904 18446744073709551615 6592957 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31213 29211 614 984 0 30226 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124852

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14205
/proc/meminfo: memFree=30985032/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=124852 CPUtime=102.29
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 71770 0 0 0 10197 32 0 0 25 0 1 0 132641040 127848448 29211 4089446400 4194304 8223781 140733505061904 18446744073709551615 6562447 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31213 29211 614 984 0 30226 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 124852

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14206
/proc/meminfo: memFree=30978908/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=124852 CPUtime=162.29
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 71815 0 0 0 16185 44 0 0 25 0 1 0 132641040 127848448 29256 4089446400 4194304 8223781 140733505061904 18446744073709551615 6538479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31213 29256 617 984 0 30226 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 124852

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14217
/proc/meminfo: memFree=30968556/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=125664 CPUtime=222.29
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 73986 0 0 0 22170 59 0 0 25 0 1 0 132641040 128679936 29696 4089446400 4194304 8223781 140733505061904 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31416 29696 617 984 0 30429 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 125664

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14219
/proc/meminfo: memFree=30960616/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=125800 CPUtime=282.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 106400 0 0 0 28154 76 0 0 25 0 1 0 132641040 128819200 29619 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 31450 29619 617 984 0 30463 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 125800

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14220
/proc/meminfo: memFree=30947936/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=128064 CPUtime=342.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 140341 0 0 0 34136 94 0 0 25 0 1 0 132641040 131137536 29974 4089446400 4194304 8223781 140733505061904 18446744073709551615 6596652 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 32016 29974 618 984 0 31029 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 128064

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14222
/proc/meminfo: memFree=30938480/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=130548 CPUtime=402.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 151289 0 0 0 40120 110 0 0 25 0 1 0 132641040 133681152 30777 4089446400 4194304 8223781 140733505061904 18446744073709551615 6568247 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 32637 30777 618 984 0 31650 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 130548

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14223
/proc/meminfo: memFree=30927668/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=133272 CPUtime=462.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 199898 0 0 0 46099 131 0 0 25 0 1 0 132641040 136470528 31284 4089446400 4194304 8223781 140733505061904 18446744073709551615 6568209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 33318 31284 618 984 0 32331 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 133272

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14225
/proc/meminfo: memFree=30899968/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=155480 CPUtime=522.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 487892 0 0 0 52045 185 0 0 25 0 1 0 132641040 159211520 36782 4089446400 4194304 8223781 140733505061904 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14201/statm: 38870 36782 619 984 0 37883 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 155480

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14227
/proc/meminfo: memFree=30871784/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=176012 CPUtime=582.3
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 917385 0 0 0 57972 258 0 0 25 0 1 0 132641040 180236288 42092 4089446400 4194304 8223781 140733505061904 18446744073709551615 6329557 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 44003 42092 619 984 0 43016 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 176012

[startup+642.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14228
/proc/meminfo: memFree=30853144/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=185948 CPUtime=642.31
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 1299857 0 0 0 63908 323 0 0 25 0 1 0 132641040 190410752 44451 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 46487 44451 619 984 0 45500 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 185948

[startup+702.301 s]

################
# More data... #
################

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14236
/proc/meminfo: memFree=30763760/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=240756 CPUtime=942.31
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 2946464 0 0 0 93602 629 0 0 25 0 1 0 132641040 246534144 58082 4089446400 4194304 8223781 140733505061904 18446744073709551615 6571285 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 60189 58082 619 984 0 59202 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 240756

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14238
/proc/meminfo: memFree=30737060/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=258280 CPUtime=1002.31
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 3372159 0 0 0 99531 700 0 0 25 0 1 0 132641040 264478720 62550 4089446400 4194304 8223781 140733505061904 18446744073709551615 6456407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 64570 62550 621 984 0 63583 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 258280

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14239
/proc/meminfo: memFree=30706272/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=282848 CPUtime=1062.31
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 3671562 0 0 0 105474 757 0 0 25 0 1 0 132641040 289636352 68602 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 70712 68602 619 984 0 69725 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 282848

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14241
/proc/meminfo: memFree=30676716/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=302516 CPUtime=1122.32
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 4032598 0 0 0 111408 824 0 0 25 0 1 0 132641040 309776384 73444 4089446400 4194304 8223781 140733505061904 18446744073709551615 6568204 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 75629 73445 619 984 0 74642 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 302516

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14243
/proc/meminfo: memFree=30649144/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=322344 CPUtime=1182.32
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 4335252 0 0 0 117353 879 0 0 25 0 1 0 132641040 330080256 78595 4089446400 4194304 8223781 140733505061904 18446744073709551615 6436949 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 80586 78595 619 984 0 79599 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 322344

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14244
/proc/meminfo: memFree=30621084/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=345072 CPUtime=1242.32
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 4591519 0 0 0 123297 935 0 0 25 0 1 0 132641040 353353728 84314 4089446400 4194304 8223781 140733505061904 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 86268 84314 619 984 0 85281 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 345072

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14246
/proc/meminfo: memFree=30574060/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=383268 CPUtime=1302.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 4845613 0 0 0 129240 993 0 0 25 0 1 0 132641040 392466432 93918 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 95817 93918 619 984 0 94830 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 383268

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14247
/proc/meminfo: memFree=30530116/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=421964 CPUtime=1362.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 5048833 0 0 0 135186 1047 0 0 25 0 1 0 132641040 432091136 103617 4089446400 4194304 8223781 140733505061904 18446744073709551615 5813924 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 105491 103617 619 984 0 104504 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 421964

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14249
/proc/meminfo: memFree=30491500/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=451852 CPUtime=1422.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 5348122 0 0 0 141125 1108 0 0 25 0 1 0 132641040 462696448 111110 4089446400 4194304 8223781 140733505061904 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 112963 111110 619 984 0 111976 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 451852

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14251
/proc/meminfo: memFree=30447560/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=489676 CPUtime=1482.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 5586320 0 0 0 147073 1160 0 0 25 0 1 0 132641040 501428224 120581 4089446400 4194304 8223781 140733505061904 18446744073709551615 6592488 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 122419 120581 619 984 0 121432 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 489676

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14252
/proc/meminfo: memFree=30418508/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=512824 CPUtime=1542.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 5868497 0 0 0 153016 1217 0 0 25 0 1 0 132641040 525131776 126265 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14201/statm: 128206 126265 619 984 0 127219 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 512824

[startup+1602.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 14303
/proc/meminfo: memFree=30651232/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=537932 CPUtime=1602.32
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6085215 0 0 0 158957 1275 0 0 25 0 1 0 132641040 550842368 132633 4089446400 4194304 8223781 140733505061904 18446744073709551615 6329525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14201/statm: 134483 132633 619 984 0 133496 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 537932

[startup+1662.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 14304
/proc/meminfo: memFree=30601464/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=570180 CPUtime=1662.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6150952 0 0 0 164896 1337 0 0 25 0 1 0 132641040 583864320 140217 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14201/statm: 142545 140217 619 984 0 141558 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 570180

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14306
/proc/meminfo: memFree=30570032/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=597692 CPUtime=1722.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6311966 0 0 0 170817 1416 0 0 25 0 1 0 132641040 612036608 147114 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14201/statm: 149423 147114 619 984 0 148436 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 597692

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14308
/proc/meminfo: memFree=30436168/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=613648 CPUtime=1782.33
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6545112 0 0 0 176737 1496 0 0 25 0 1 0 132641040 628375552 151106 4089446400 4194304 8223781 140733505061904 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14201/statm: 153412 151106 619 984 0 152425 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 613648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14308
/proc/meminfo: memFree=30425120/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=622140 CPUtime=1800.04
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6580094 0 0 0 178489 1515 0 0 25 0 1 0 132641040 637071360 153242 4089446400 4194304 8223781 140733505061904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14201/statm: 155535 153242 619 984 0 154548 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 622140

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14308
/proc/meminfo: memFree=30425120/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=622140 CPUtime=1800.23
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6580094 0 0 0 178508 1515 0 0 25 0 1 0 132641040 637071360 153242 4089446400 4194304 8223781 140733505061904 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14201/statm: 155535 153242 619 984 0 154548 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 622140

[startup+1800.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 14309
/proc/meminfo: memFree=30895692/32950928 swapFree=4192956/4192956
[pid=14201] ppid=14199 vsize=66684 CPUtime=1800.63
/proc/14201/stat : 14201 (pbscip.linux.x8) R 14199 14201 14030 0 -1 4202496 6580109 0 0 0 178546 1517 0 0 18 0 1 0 132641040 68284416 15816 4089446400 4194304 8223781 140733505061904 18446744073709551615 4684972 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14201/statm: 16671 15816 621 984 0 15684 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 66684

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.66
CPU user time (s): 1785.48
CPU system time (s): 15.1817
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 622356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.48
system time used= 15.1817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6580113
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= 6
involuntary context switches= 3300

runsolver used 2.69959 second user time and 5.52616 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 17:57:27
IDJOB=2692348
IDBENCH=79016
IDSOLVER=1204
FILE ID=node124/2692348-1277913447
PBS_JOBID= 11197317
Free space on /tmp= 130616 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--soft-66-100-0.wbo
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-2692348-1277913447/watcher-2692348-1277913447 -o /tmp/evaluation-result-2692348-1277913447/solver-2692348-1277913447 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692348-1277913447.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a96e8ec93fa53032ae0ea101ae8e779b
RANDOM SEED=293718489

node124.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31111240 kB
Buffers:        201344 kB
Cached:        1124584 kB
SwapCached:          0 kB
Active:         891044 kB
Inactive:       831956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31111240 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5424 kB
Writeback:           0 kB
AnonPages:      397088 kB
Mapped:          16348 kB
Slab:            80768 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   554116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130612 MiB
End job on node124 at 2010-06-30 18:27:29