Trace number 2692988

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.74 1800.96

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

Verifier Data 

OK	18757

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692988-1277913448/watcher-2692988-1277913448 -o /tmp/evaluation-result-2692988-1277913448/solver-2692988-1277913448 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692988-1277913448.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: 1.85 2.22 2.28 4/194 13859
/proc/meminfo: memFree=31266900/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=11004 CPUtime=0
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 1661 0 0 0 0 0 0 0 25 0 1 0 132641082 11268096 1582 4089446400 4194304 9819077 140735297005648 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13859/statm: 2751 1593 392 1374 0 1372 0

[startup+0.036546 s]
/proc/loadavg: 1.85 2.22 2.28 4/194 13859
/proc/meminfo: memFree=31266900/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=17864 CPUtime=0.03
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 3385 0 0 0 3 0 0 0 25 0 1 0 132641082 18292736 3306 4089446400 4194304 9819077 140735297005648 18446744073709551615 5902320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13859/statm: 4466 3306 392 1374 0 3087 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17864

[startup+0.102528 s]
/proc/loadavg: 1.85 2.22 2.28 4/194 13859
/proc/meminfo: memFree=31266900/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=29684 CPUtime=0.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 6334 0 0 0 9 0 0 0 25 0 1 0 132641082 30396416 6255 4089446400 4194304 9819077 140735297005648 18446744073709551615 4680177 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13859/statm: 7421 6255 392 1374 0 6042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29684

[startup+0.300512 s]
/proc/loadavg: 1.85 2.22 2.28 4/194 13859
/proc/meminfo: memFree=31266900/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=70812 CPUtime=0.28
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 17626 0 0 0 26 2 0 0 25 0 1 0 132641082 72511488 16201 4089446400 4194304 9819077 140735297005648 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13859/statm: 17703 16201 515 1374 0 16324 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 70812

[startup+0.700444 s]
/proc/loadavg: 1.85 2.22 2.28 4/194 13859
/proc/meminfo: memFree=31266900/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=79192 CPUtime=0.69
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 20817 0 0 0 65 4 0 0 25 0 1 0 132641082 81092608 18301 4089446400 4194304 9819077 140735297005648 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13859/statm: 19798 18301 548 1374 0 18419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79192

[startup+1.50029 s]
/proc/loadavg: 1.85 2.22 2.28 4/195 13860
/proc/meminfo: memFree=31195840/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=80220 CPUtime=1.43
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 21078 0 0 0 138 5 0 0 25 0 1 0 132641082 82145280 18562 4089446400 4194304 9819077 140735297005648 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13859/statm: 20055 18562 553 1374 0 18676 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 80220

[startup+3.10102 s]
/proc/loadavg: 1.85 2.22 2.28 4/195 13860
/proc/meminfo: memFree=31194940/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=106328 CPUtime=2.92
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 34002 0 0 0 281 11 0 0 25 0 1 0 132641082 108879872 23486 4089446400 4194304 9819077 140735297005648 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13859/statm: 26582 23486 711 1374 0 25203 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 106328

[startup+6.30048 s]
/proc/loadavg: 1.86 2.21 2.27 4/195 13860
/proc/meminfo: memFree=31173324/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=112576 CPUtime=6.11
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 41969 0 0 0 596 15 0 0 25 0 1 0 132641082 115277824 24322 4089446400 4194304 9819077 140735297005648 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 28144 24322 711 1374 0 26765 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 112576

[startup+12.7004 s]
/proc/loadavg: 1.87 2.21 2.27 4/195 13860
/proc/meminfo: memFree=31170548/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=127380 CPUtime=12.51
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 91992 0 0 0 1221 30 0 0 25 0 1 0 132641082 130437120 25186 4089446400 4194304 9819077 140735297005648 18446744073709551615 7311733 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 31845 25186 754 1374 0 30466 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 127380

[startup+25.5002 s]
/proc/loadavg: 2.11 2.25 2.28 4/195 13860
/proc/meminfo: memFree=31171976/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=121768 CPUtime=25.31
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 283498 0 0 0 2477 54 0 0 25 0 1 0 132641082 124690432 24772 4089446400 4194304 9819077 140735297005648 18446744073709551615 7330362 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 30442 24792 754 1374 0 29063 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 121768

[startup+51.1007 s]
/proc/loadavg: 2.07 2.23 2.27 3/195 13860
/proc/meminfo: memFree=31165620/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=127808 CPUtime=50.9
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 824495 0 0 0 4962 128 0 0 25 0 1 0 132641082 130875392 25874 4089446400 4194304 9819077 140735297005648 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 31952 25874 757 1374 0 30573 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 127808

[startup+102.306 s]
/proc/loadavg: 2.03 2.19 2.26 3/195 13862
/proc/meminfo: memFree=31151416/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=119440 CPUtime=102.12
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 1936507 0 0 0 9943 269 0 0 25 0 1 0 132641082 122306560 26099 4089446400 4194304 9819077 140735297005648 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 29860 26099 757 1374 0 28481 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 119440

[startup+162.3 s]
/proc/loadavg: 2.01 2.15 2.24 3/195 13864
/proc/meminfo: memFree=31143824/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=121796 CPUtime=162.11
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 3074725 0 0 0 15779 432 0 0 25 0 1 0 132641082 124719104 26944 4089446400 4194304 9819077 140735297005648 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 30449 26944 757 1374 0 29070 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 121796

[startup+222.301 s]
/proc/loadavg: 2.00 2.12 2.22 3/195 13875
/proc/meminfo: memFree=31129496/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=126952 CPUtime=222.11
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 4122639 0 0 0 21629 582 0 0 25 0 1 0 132641082 129998848 28335 4089446400 4194304 9819077 140735297005648 18446744073709551615 6567017 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13859/statm: 31738 28335 758 1374 0 30359 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 126952

[startup+282.301 s]
/proc/loadavg: 2.00 2.10 2.20 3/195 13877
/proc/meminfo: memFree=31119228/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=134388 CPUtime=282.1
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 5079682 0 0 0 27490 720 0 0 25 0 1 0 132641082 137613312 30008 4089446400 4194304 9819077 140735297005648 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13859/statm: 33597 30008 758 1374 0 32218 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 134388

[startup+342.3 s]
/proc/loadavg: 2.00 2.08 2.19 3/195 13923
/proc/meminfo: memFree=31191516/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=151368 CPUtime=342.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 6729316 0 0 0 33250 959 0 0 25 0 1 0 132641082 155000832 32780 4089446400 4194304 9819077 140735297005648 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13859/statm: 37842 32784 758 1374 0 36463 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 151368

[startup+402.301 s]
/proc/loadavg: 2.00 2.06 2.17 3/195 13925
/proc/meminfo: memFree=31176840/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=154088 CPUtime=402.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 8514211 0 0 0 39004 1205 0 0 25 0 1 0 132641082 157786112 35175 4089446400 4194304 9819077 140735297005648 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13859/statm: 38522 35175 758 1374 0 37143 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 154088

[startup+462.301 s]
/proc/loadavg: 2.00 2.05 2.16 3/195 13927
/proc/meminfo: memFree=31164260/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=166640 CPUtime=462.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 10449779 0 0 0 44734 1475 0 0 25 0 1 0 132641082 170639360 38201 4089446400 4194304 9819077 140735297005648 18446744073709551615 6364915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13859/statm: 41660 38201 758 1374 0 40281 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 166640

[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.15 3/195 13929
/proc/meminfo: memFree=31152064/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=177848 CPUtime=522.08
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 11873000 0 0 0 50516 1692 0 0 25 0 1 0 132641082 182116352 41152 4089446400 4194304 9819077 140735297005648 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13859/statm: 44462 41152 758 1374 0 43083 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 177848

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.14 3/195 13931
/proc/meminfo: memFree=31137016/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=192068 CPUtime=582.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 13454858 0 0 0 56285 1924 0 0 25 0 1 0 132641082 196677632 44415 4089446400 4194304 9819077 140735297005648 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13859/statm: 48017 44415 758 1374 0 46638 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 192068

[startup+642.3 s]
/proc/loadavg: 2.05 2.03 2.13 3/195 13931
/proc/meminfo: memFree=31129016/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=200472 CPUtime=642.09
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 15178947 0 0 0 62041 2168 0 0 25 0 1 0 132641082 205283328 46812 4089446400 4194304 9819077 140735297005648 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13859/statm: 50118 46812 758 1374 0 48739 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 200472

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/177 14429
/proc/meminfo: memFree=31161464/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=313400 CPUtime=1002.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 25189818 0 0 0 96540 3666 0 0 25 0 1 0 132641082 320921600 75076 4089446400 4194304 9819077 140735297005648 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 78350 75076 759 1374 0 76971 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 313400

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/177 14431
/proc/meminfo: memFree=31099240/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=335052 CPUtime=1062.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 27265168 0 0 0 102246 3960 0 0 25 0 1 0 132641082 343093248 80497 4089446400 4194304 9819077 140735297005648 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 83763 80497 759 1374 0 82384 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 335052

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 14433
/proc/meminfo: memFree=31026548/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=363348 CPUtime=1122.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 29090566 0 0 0 107971 4235 0 0 25 0 1 0 132641082 372068352 87624 4089446400 4194304 9819077 140735297005648 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 90837 87624 759 1374 0 89458 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 363348

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.07 3/177 14435
/proc/meminfo: memFree=30960060/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=390044 CPUtime=1182.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 30858911 0 0 0 113697 4509 0 0 25 0 1 0 132641082 399405056 94268 4089446400 4194304 9819077 140735297005648 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 97436 94193 759 1374 0 96057 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 390044

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/177 14435
/proc/meminfo: memFree=30883660/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=419240 CPUtime=1242.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 32655121 0 0 0 119413 4793 0 0 25 0 1 0 132641082 429301760 101670 4089446400 4194304 9819077 140735297005648 18446744073709551615 6367353 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 104810 101670 759 1374 0 103431 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 419240

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.06 3/177 14437
/proc/meminfo: memFree=30805624/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=455300 CPUtime=1302.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 34335158 0 0 0 125151 5056 0 0 25 0 1 0 132641082 466227200 110588 4089446400 4194304 9819077 140735297005648 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 113825 110588 759 1374 0 112446 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 455300

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/177 14439
/proc/meminfo: memFree=30737032/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=487348 CPUtime=1362.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 36027023 0 0 0 130894 5312 0 0 25 0 1 0 132641082 499044352 117070 4089446400 4194304 9819077 140735297005648 18446744073709551615 7263173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 121837 117070 759 1374 0 120458 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 487348

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.05 3/177 14441
/proc/meminfo: memFree=30667932/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=513652 CPUtime=1422.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 37704185 0 0 0 136637 5570 0 0 25 0 1 0 132641082 525979648 123659 4089446400 4194304 9819077 140735297005648 18446744073709551615 6568787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 128413 123659 759 1374 0 127034 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 513652

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 14443
/proc/meminfo: memFree=30593132/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=544164 CPUtime=1482.06
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 39515743 0 0 0 142367 5839 0 0 25 0 1 0 132641082 557223936 131071 4089446400 4194304 9819077 140735297005648 18446744073709551615 6512977 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 136041 131071 759 1374 0 134662 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 544164

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 14443
/proc/meminfo: memFree=30525264/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=566176 CPUtime=1542.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 41184795 0 0 0 148109 6098 0 0 25 0 1 0 132641082 579764224 137931 4089446400 4194304 9819077 140735297005648 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 141544 137931 759 1374 0 140165 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 566176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 14445
/proc/meminfo: memFree=30461508/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=588620 CPUtime=1602.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 42703146 0 0 0 153890 6317 0 0 25 0 1 0 132641082 602746880 143579 4089446400 4194304 9819077 140735297005648 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 147155 143579 759 1374 0 145776 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 588620

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 14447
/proc/meminfo: memFree=30390912/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=625664 CPUtime=1662.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 44404381 0 0 0 159636 6571 0 0 25 0 1 0 132641082 640679936 150499 4089446400 4194304 9819077 140735297005648 18446744073709551615 6568812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 156416 150499 759 1374 0 155037 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 625664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 14449
/proc/meminfo: memFree=30318584/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=645932 CPUtime=1722.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 45854250 0 0 0 165415 6792 0 0 25 0 1 0 132641082 661434368 157934 4089446400 4194304 9819077 140735297005648 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 161483 157934 759 1374 0 160104 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 645932

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 14451
/proc/meminfo: memFree=30235456/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=681652 CPUtime=1782.07
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 46824126 0 0 0 171250 6957 0 0 25 0 1 0 132641082 698011648 166947 4089446400 4194304 9819077 140735297005648 18446744073709551615 6385995 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 170413 166947 759 1374 0 169034 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 681652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 14451
/proc/meminfo: memFree=30209780/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=691888 CPUtime=1800.08
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 47170655 0 0 0 172994 7014 0 0 25 0 1 0 132641082 708493312 169407 4089446400 4194304 9819077 140735297005648 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13859/statm: 172972 169407 759 1374 0 171593 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 691888

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 14452
/proc/meminfo: memFree=30209772/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=691888 CPUtime=1800.37
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 47170661 0 0 0 173023 7014 0 0 25 0 1 0 132641082 708493312 169407 4089446400 4194304 9819077 140735297005648 18446744073709551615 4241136 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13859/statm: 172972 169407 759 1374 0 171593 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 691888

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 14452
/proc/meminfo: memFree=30209772/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=585504 CPUtime=1800.57
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 47170662 0 0 0 173042 7015 0 0 25 0 1 0 132641082 599556096 142847 4089446400 4194304 9819077 140735297005648 18446744073709551615 4617165 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13859/statm: 146376 142847 760 1374 0 144997 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 585504

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 14452
/proc/meminfo: memFree=30209772/32951132 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=225868 CPUtime=1800.67
/proc/13859/stat : 13859 (pbscip.linux.x8) R 13857 13859 13489 0 -1 4202496 47170662 0 0 0 173050 7017 0 0 25 0 1 0 132641082 231288832 52938 4089446400 4194304 9819077 140735297005648 18446744073709551615 4913800 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13859/statm: 56467 52938 760 1374 0 55088 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 225868

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.74
CPU user time (s): 1730.55
CPU system time (s): 70.1883
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 699496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.55
system time used= 70.1883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47170666
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= 1
involuntary context switches= 2600

runsolver used 2.99754 second user time and 5.78612 second system time

The end

Launcher Data 

Begin job on node128 at 2010-06-30 17:57:28
IDJOB=2692988
IDBENCH=79016
IDSOLVER=1205
FILE ID=node128/2692988-1277913448
PBS_JOBID= 11197276
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692988-1277913448/watcher-2692988-1277913448 -o /tmp/evaluation-result-2692988-1277913448/solver-2692988-1277913448 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692988-1277913448.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a96e8ec93fa53032ae0ea101ae8e779b
RANDOM SEED=2107670938

node128.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.853
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.70
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.853
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	: 5332.75
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.853
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.83
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.853
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.74
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.853
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.82
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.853
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.75
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.853
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.82
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.853
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31267428 kB
Buffers:        199588 kB
Cached:        1014564 kB
SwapCached:          0 kB
Active:         744800 kB
Inactive:       795344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31267428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6964 kB
Writeback:           0 kB
AnonPages:      326052 kB
Mapped:          20596 kB
Slab:            78268 kB
PageTables:       6024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1651600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node128 at 2010-06-30 18:27:30