Trace number 2692961

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) 1801.82 1801.78

General information on the benchmark

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

Verifier Data 

OK	22203

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692961-1277912821/watcher-2692961-1277912821 -o /tmp/evaluation-result-2692961-1277912821/solver-2692961-1277912821 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692961-1277912821.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.86 1.96 1.98 4/196 16682
/proc/meminfo: memFree=30715824/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=10868 CPUtime=0
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 1652 0 0 0 0 0 0 0 25 0 1 0 132577977 11128832 1572 4089446400 4194304 9819077 140735030101968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16682/statm: 2717 1584 392 1374 0 1338 0

[startup+0.00961509 s]
/proc/loadavg: 1.86 1.96 1.98 4/196 16682
/proc/meminfo: memFree=30715824/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=12192 CPUtime=0
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 1983 0 0 0 0 0 0 0 25 0 1 0 132577977 12484608 1903 4089446400 4194304 9819077 140735030101968 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16682/statm: 3048 1903 392 1374 0 1669 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12192

[startup+0.100603 s]
/proc/loadavg: 1.86 1.96 1.98 4/196 16682
/proc/meminfo: memFree=30715824/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=33036 CPUtime=0.09
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 7184 0 0 0 9 0 0 0 25 0 1 0 132577977 33828864 7104 4089446400 4194304 9819077 140735030101968 18446744073709551615 5655317 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16682/statm: 8259 7104 392 1374 0 6880 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33036

[startup+0.300573 s]
/proc/loadavg: 1.86 1.96 1.98 4/196 16682
/proc/meminfo: memFree=30715824/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=92280 CPUtime=0.29
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 21773 0 0 0 27 2 0 0 25 0 1 0 132577977 94494720 21302 4089446400 4194304 9819077 140735030101968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 23070 21302 487 1374 0 21691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92280

[startup+0.70049 s]
/proc/loadavg: 1.86 1.96 1.98 4/196 16682
/proc/meminfo: memFree=30715824/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=99604 CPUtime=0.69
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 26249 0 0 0 64 5 0 0 25 0 1 0 132577977 101994496 23155 4089446400 4194304 9819077 140735030101968 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 24901 23155 549 1374 0 23522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99604

[startup+1.50034 s]
/proc/loadavg: 1.86 1.96 1.98 3/197 16683
/proc/meminfo: memFree=30605720/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=128060 CPUtime=1.49
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 41116 0 0 0 141 8 0 0 25 0 1 0 132577977 131133440 28825 4089446400 4194304 9819077 140735030101968 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 32015 28825 696 1374 0 30636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128060

[startup+3.10107 s]
/proc/loadavg: 1.86 1.96 1.98 3/197 16683
/proc/meminfo: memFree=30602248/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=130004 CPUtime=3.09
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 44358 0 0 0 300 9 0 0 25 0 1 0 132577977 133124096 29119 4089446400 4194304 9819077 140735030101968 18446744073709551615 5716558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 32501 29119 697 1374 0 31122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 130004

[startup+6.30048 s]
/proc/loadavg: 1.87 1.96 1.98 3/197 16683
/proc/meminfo: memFree=30598708/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=134272 CPUtime=6.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 51705 0 0 0 618 12 0 0 25 0 1 0 132577977 137494528 29758 4089446400 4194304 9819077 140735030101968 18446744073709551615 6043682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 33568 29758 697 1374 0 32189 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 134272

[startup+12.7003 s]
/proc/loadavg: 1.88 1.96 1.98 3/197 16683
/proc/meminfo: memFree=30593504/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=144496 CPUtime=12.69
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 180131 0 0 0 1239 30 0 0 25 0 1 0 132577977 147963904 31336 4089446400 4194304 9819077 140735030101968 18446744073709551615 7290896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 36124 31336 724 1374 0 34745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144496

[startup+25.501 s]
/proc/loadavg: 1.91 1.96 1.98 3/197 16684
/proc/meminfo: memFree=30592968/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=139160 CPUtime=25.49
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 466577 0 0 0 2480 69 0 0 25 0 1 0 132577977 142499840 31173 4089446400 4194304 9819077 140735030101968 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 34790 31173 727 1374 0 33411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139160

[startup+51.1003 s]
/proc/loadavg: 1.94 1.96 1.98 3/197 16684
/proc/meminfo: memFree=30590792/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=138644 CPUtime=51.09
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 950387 0 0 0 4976 133 0 0 25 0 1 0 132577977 141971456 30973 4089446400 4194304 9819077 140735030101968 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 34661 30973 727 1374 0 33282 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138644

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.98 3/197 16686
/proc/meminfo: memFree=30584772/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=150100 CPUtime=102.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 2115416 0 0 0 9946 284 0 0 25 0 1 0 132577977 153702400 32170 4089446400 4194304 9819077 140735030101968 18446744073709551615 7291707 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 37525 32170 727 1374 0 36146 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150100

[startup+162.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/197 16687
/proc/meminfo: memFree=30578172/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=145696 CPUtime=162.29
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 3318532 0 0 0 15774 455 0 0 25 0 1 0 132577977 149192704 32957 4089446400 4194304 9819077 140735030101968 18446744073709551615 6696119 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 36424 32957 742 1374 0 35045 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 145696

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/197 16689
/proc/meminfo: memFree=30568584/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=151292 CPUtime=222.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 5115008 0 0 0 21543 687 0 0 25 0 1 0 132577977 154923008 34354 4089446400 4194304 9819077 140735030101968 18446744073709551615 6367317 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 37823 34354 743 1374 0 36444 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 151292

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 16690
/proc/meminfo: memFree=30556900/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=167516 CPUtime=282.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 6566481 0 0 0 27343 887 0 0 25 0 1 0 132577977 171536384 36977 4089446400 4194304 9819077 140735030101968 18446744073709551615 7292047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16682/statm: 41879 36977 743 1374 0 40500 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 167516

[startup+342.301 s]
/proc/loadavg: 1.86 1.95 1.98 3/179 16743
/proc/meminfo: memFree=30767020/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=182660 CPUtime=342.29
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 7906290 0 0 0 33153 1076 0 0 25 0 1 0 132577977 187043840 42525 4089446400 4194304 9819077 140735030101968 18446744073709551615 7227408 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16682/statm: 45665 42525 743 1374 0 44286 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 182660

[startup+402.301 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 16745
/proc/meminfo: memFree=30759020/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=191640 CPUtime=402.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 8767826 0 0 0 39019 1211 0 0 25 0 1 0 132577977 196239360 44626 4089446400 4194304 9819077 140735030101968 18446744073709551615 8678916 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 47910 44626 743 1374 0 46531 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 191640

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16746
/proc/meminfo: memFree=30732464/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=211296 CPUtime=462.29
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 9368215 0 0 0 44900 1329 0 0 25 0 1 0 132577977 216367104 49605 4089446400 4194304 9819077 140735030101968 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 52824 49605 743 1374 0 51445 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 211296

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16748
/proc/meminfo: memFree=30708144/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=230616 CPUtime=522.3
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 9939714 0 0 0 50780 1450 0 0 25 0 1 0 132577977 236150784 54355 4089446400 4194304 9819077 140735030101968 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 57654 54355 743 1374 0 56275 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 230616

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16749
/proc/meminfo: memFree=30676368/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=257988 CPUtime=582.31
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 10356077 0 0 0 56679 1552 0 0 25 0 1 0 132577977 264179712 61296 4089446400 4194304 9819077 140735030101968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 64497 61296 743 1374 0 63118 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 257988

[startup+642.301 s]
/proc/loadavg: 2.05 1.99 1.99 3/179 16751
/proc/meminfo: memFree=30646476/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=282520 CPUtime=642.31
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 11057642 0 0 0 62550 1681 0 0 25 0 1 0 132577977 289300480 67424 4089446400 4194304 9819077 140735030101968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 70630 67424 744 1374 0 69251 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 282520

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16771
/proc/meminfo: memFree=30452804/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=440632 CPUtime=1062.32
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 15703154 0 0 0 103629 2603 0 0 25 0 1 0 132577977 451207168 107019 4089446400 4194304 9819077 140735030101968 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 110158 107019 745 1374 0 108779 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 440632

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16773
/proc/meminfo: memFree=30432192/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=457080 CPUtime=1122.31
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 16502706 0 0 0 109477 2754 0 0 25 0 1 0 132577977 468049920 111199 4089446400 4194304 9819077 140735030101968 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 114270 111199 745 1374 0 112891 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 457080

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 16774
/proc/meminfo: memFree=30404508/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=479340 CPUtime=1182.32
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 17036788 0 0 0 115352 2880 0 0 25 0 1 0 132577977 490844160 116744 4089446400 4194304 9819077 140735030101968 18446744073709551615 6567612 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 119835 116744 745 1374 0 118456 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 479340

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16776
/proc/meminfo: memFree=30378936/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=499712 CPUtime=1242.32
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 17668162 0 0 0 121217 3015 0 0 25 0 1 0 132577977 511705088 121879 4089446400 4194304 9819077 140735030101968 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 124928 121879 745 1374 0 123549 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 499712

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16778
/proc/meminfo: memFree=30356456/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=519460 CPUtime=1302.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 18424662 0 0 0 127069 3164 0 0 25 0 1 0 132577977 531927040 126824 4089446400 4194304 9819077 140735030101968 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 129865 126824 745 1374 0 128486 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 519460

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16779
/proc/meminfo: memFree=30330004/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=541888 CPUtime=1362.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 19010782 0 0 0 132934 3299 0 0 25 0 1 0 132577977 554893312 132296 4089446400 4194304 9819077 140735030101968 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 135472 132296 745 1374 0 134093 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 541888

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16781
/proc/meminfo: memFree=30305424/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=563152 CPUtime=1422.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 19578114 0 0 0 138810 3423 0 0 25 0 1 0 132577977 576667648 137664 4089446400 4194304 9819077 140735030101968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 140788 137664 745 1374 0 139409 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 563152

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16782
/proc/meminfo: memFree=30279100/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=586872 CPUtime=1482.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 20271116 0 0 0 144669 3564 0 0 25 0 1 0 132577977 600956928 143461 4089446400 4194304 9819077 140735030101968 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 146718 143461 745 1374 0 145339 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 586872

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16784
/proc/meminfo: memFree=30254404/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=602204 CPUtime=1542.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 20994635 0 0 0 150523 3710 0 0 25 0 1 0 132577977 616656896 147532 4089446400 4194304 9819077 140735030101968 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 150551 147532 745 1374 0 149172 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 602204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16786
/proc/meminfo: memFree=30228316/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=622272 CPUtime=1602.34
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 21824976 0 0 0 156377 3857 0 0 25 0 1 0 132577977 637206528 152842 4089446400 4194304 9819077 140735030101968 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 155568 152848 745 1374 0 154189 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 622272

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16787
/proc/meminfo: memFree=30203732/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=643520 CPUtime=1662.33
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 22380051 0 0 0 162255 3978 0 0 25 0 1 0 132577977 658964480 157891 4089446400 4194304 9819077 140735030101968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 160880 157891 745 1374 0 159501 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 643520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16789
/proc/meminfo: memFree=30175684/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=666680 CPUtime=1722.34
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 22914144 0 0 0 168139 4095 0 0 25 0 1 0 132577977 682680320 163243 4089446400 4194304 9819077 140735030101968 18446744073709551615 5893875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 166670 163243 745 1374 0 165291 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 666680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16790
/proc/meminfo: memFree=30155684/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=681664 CPUtime=1782.34
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23667107 0 0 0 174002 4232 0 0 25 0 1 0 132577977 698023936 166865 4089446400 4194304 9819077 140735030101968 18446744073709551615 6002989 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 170416 166865 745 1374 0 169037 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 681664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16791
/proc/meminfo: memFree=30148484/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=686080 CPUtime=1800.04
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23916589 0 0 0 175726 4278 0 0 25 0 1 0 132577977 702545920 167928 4089446400 4194304 9819077 140735030101968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16682/statm: 171520 167928 745 1374 0 170141 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 686080

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.00 3/180 16792
/proc/meminfo: memFree=30148596/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=686080 CPUtime=1800.64
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23916717 0 0 0 175786 4278 0 0 25 0 1 0 132577977 702545920 167928 4089446400 4194304 9819077 140735030101968 18446744073709551615 8678928 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16682/statm: 171520 167928 745 1374 0 170141 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 686080

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16792
/proc/meminfo: memFree=30148596/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=686080 CPUtime=1801.43
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23916717 0 0 0 175865 4278 0 0 25 0 1 0 132577977 702545920 167928 4089446400 4194304 9819077 140735030101968 18446744073709551615 8679176 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16682/statm: 171520 167928 745 1374 0 170141 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 686080

[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16792
/proc/meminfo: memFree=30148596/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=508936 CPUtime=1801.64
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23916740 0 0 0 175885 4279 0 0 18 0 1 0 132577977 521150464 123718 4089446400 4194304 9819077 140735030101968 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16682/statm: 127234 123718 746 1374 0 125855 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 508936

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16792
/proc/meminfo: memFree=30632444/32951124 swapFree=67111528/67111528
[pid=16682] ppid=16680 vsize=198512 CPUtime=1801.74
/proc/16682/stat : 16682 (pbscip.linux.x8) R 16680 16682 16494 0 -1 4202496 23916740 0 0 0 175894 4280 0 0 18 0 1 0 132577977 203276288 46120 4089446400 4194304 9819077 140735030101968 18446744073709551615 5953628 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16682/statm: 49628 46120 746 1374 0 48249 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 198512

Child status: 0
Real time (s): 1801.78
CPU time (s): 1801.82
CPU user time (s): 1759.01
CPU system time (s): 42.8125
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 693328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.01
system time used= 42.8125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23916744
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= 2
involuntary context switches= 12391

runsolver used 2.80157 second user time and 6.52901 second system time

The end

Launcher Data 

Begin job on node138 at 2010-06-30 17:47:01
IDJOB=2692961
IDBENCH=79001
IDSOLVER=1205
FILE ID=node138/2692961-1277912821
PBS_JOBID= 11197301
Free space on /tmp= 74140 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-33-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-2692961-1277912821/watcher-2692961-1277912821 -o /tmp/evaluation-result-2692961-1277912821/solver-2692961-1277912821 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692961-1277912821.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 24165b373ac62bb316922f56a500ddfe
RANDOM SEED=1688616823

node138.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.860
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.72
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.860
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.08
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.860
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.82
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.860
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.75
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.860
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.80
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.860
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.83
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.860
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30716228 kB
Buffers:        200556 kB
Cached:        1475252 kB
SwapCached:          0 kB
Active:        1063192 kB
Inactive:      1025300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30716228 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6996 kB
Writeback:           0 kB
AnonPages:      412468 kB
Mapped:          20476 kB
Slab:            83304 kB
PageTables:       5564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1650956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node138 at 2010-06-30 18:17:03