Trace number 2705054

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.67 1790.61

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	9678

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705054-1278574754/watcher-2705054-1278574754 -o /tmp/evaluation-result-2705054-1278574754/solver-2705054-1278574754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705054-1278574754.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.69 1.93 1.66 2/173 25788
/proc/meminfo: memFree=28615972/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=12188 CPUtime=0
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 1897 0 0 0 0 0 0 0 21 0 1 0 25687948 12480512 1816 4089446400 4194304 10345943 140736440820352 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 3047 1816 429 1502 0 1540 0

[startup+0.057152 s]
/proc/loadavg: 1.69 1.93 1.66 2/173 25788
/proc/meminfo: memFree=28615972/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=23140 CPUtime=0.05
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 4637 0 0 0 5 0 0 0 21 0 1 0 25687948 23695360 4556 4089446400 4194304 10345943 140736440820352 18446744073709551615 9047430 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 5785 4556 430 1502 0 4278 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23140

[startup+0.101148 s]
/proc/loadavg: 1.69 1.93 1.66 2/173 25788
/proc/meminfo: memFree=28615972/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=31260 CPUtime=0.09
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 6674 0 0 0 9 0 0 0 21 0 1 0 25687948 32010240 6593 4089446400 4194304 10345943 140736440820352 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 7815 6593 430 1502 0 6308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31260

[startup+0.301108 s]
/proc/loadavg: 1.69 1.93 1.66 2/173 25788
/proc/meminfo: memFree=28615972/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=81008 CPUtime=0.29
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 19169 0 0 0 27 2 0 0 21 0 1 0 25687948 82952192 18705 4089446400 4194304 10345943 140736440820352 18446744073709551615 4482970 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 20252 18705 592 1502 0 18745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81008

[startup+0.701036 s]
/proc/loadavg: 1.69 1.93 1.66 2/173 25788
/proc/meminfo: memFree=28615972/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=81884 CPUtime=0.69
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 19500 0 0 0 67 2 0 0 22 0 1 0 25687948 83849216 18990 4089446400 4194304 10345943 140736440820352 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 20471 18990 597 1502 0 18964 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81884

[startup+1.50083 s]
/proc/loadavg: 1.69 1.93 1.66 2/174 25789
/proc/meminfo: memFree=28542832/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=82908 CPUtime=1.49
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 19761 0 0 0 147 2 0 0 25 0 1 0 25687948 84897792 19251 4089446400 4194304 10345943 140736440820352 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 20727 19251 602 1502 0 19220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82908

[startup+3.1006 s]
/proc/loadavg: 1.69 1.93 1.66 3/179 25799
/proc/meminfo: memFree=28412964/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=107940 CPUtime=3.09
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 24996 0 0 0 306 3 0 0 18 0 1 0 25687948 110530560 24467 4089446400 4194304 10345943 140736440820352 18446744073709551615 6689805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 26985 24467 762 1502 0 25478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107940

[startup+6.30102 s]
/proc/loadavg: 1.72 1.93 1.66 3/179 25799
/proc/meminfo: memFree=28357592/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=117192 CPUtime=6.3
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 26884 0 0 0 626 4 0 0 25 0 1 0 25687948 120004608 26294 4089446400 4194304 10345943 140736440820352 18446744073709551615 6129650 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 29298 26294 764 1502 0 27791 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 117192

[startup+12.7009 s]
/proc/loadavg: 1.74 1.94 1.66 3/179 25799
/proc/meminfo: memFree=28334776/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=131080 CPUtime=12.69
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 44029 0 0 0 1257 12 0 0 25 0 1 0 25687948 134225920 28446 4089446400 4194304 10345943 140736440820352 18446744073709551615 7569478 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 32770 28446 807 1502 0 31263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131080

[startup+25.5005 s]
/proc/loadavg: 1.80 1.94 1.67 3/179 25800
/proc/meminfo: memFree=28341864/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=129012 CPUtime=25.49
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 47551 0 0 0 2534 15 0 0 25 0 1 0 25687948 132108288 27713 4089446400 4194304 10345943 140736440820352 18446744073709551615 7569561 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 32253 27713 807 1502 0 30746 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129012

[startup+51.1008 s]
/proc/loadavg: 1.87 1.94 1.67 3/179 25801
/proc/meminfo: memFree=28329236/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=133872 CPUtime=51.1
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 51816 0 0 0 5090 20 0 0 25 0 1 0 25687948 137084928 28859 4089446400 4194304 10345943 140736440820352 18446744073709551615 7591016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 33468 28859 810 1502 0 31961 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 133872

[startup+102.306 s]
/proc/loadavg: 1.94 1.95 1.69 3/179 25802
/proc/meminfo: memFree=28326732/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=123856 CPUtime=102.3
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 75347 0 0 0 10200 30 0 0 25 0 1 0 25687948 126828544 29054 4089446400 4194304 10345943 140736440820352 18446744073709551615 8160429 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 30964 29054 810 1502 0 29457 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123856

[startup+162.301 s]
/proc/loadavg: 1.98 1.95 1.71 3/179 25803
/proc/meminfo: memFree=28326444/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=123624 CPUtime=162.29
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 91413 0 0 0 16187 42 0 0 25 0 1 0 25687948 126590976 28894 4089446400 4194304 10345943 140736440820352 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 30906 28894 810 1502 0 29399 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123624

[startup+222.301 s]
/proc/loadavg: 2.03 1.97 1.73 3/179 25805
/proc/meminfo: memFree=28304792/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=125280 CPUtime=222.29
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 139210 0 0 0 22166 63 0 0 25 0 1 0 25687948 128286720 29636 4089446400 4194304 10345943 140736440820352 18446744073709551615 6518670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 31320 29636 811 1502 0 29813 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 125280

[startup+282.301 s]
/proc/loadavg: 2.01 1.97 1.74 3/179 25807
/proc/meminfo: memFree=28270520/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=136172 CPUtime=282.3
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 193917 0 0 0 28148 82 0 0 25 0 1 0 25687948 139440128 32383 4089446400 4194304 10345943 140736440820352 18446744073709551615 6036183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 34043 32383 811 1502 0 32536 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 136172

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.75 3/179 25809
/proc/meminfo: memFree=28247416/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=143484 CPUtime=342.3
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 266673 0 0 0 34124 106 0 0 25 0 1 0 25687948 146927616 33836 4089446400 4194304 10345943 140736440820352 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 35871 33836 811 1502 0 34364 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 143484

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.76 3/179 25810
/proc/meminfo: memFree=28225780/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=154544 CPUtime=402.3
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 336884 0 0 0 40104 126 0 0 25 0 1 0 25687948 158253056 36514 4089446400 4194304 10345943 140736440820352 18446744073709551615 7507980 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 38636 36514 811 1502 0 37129 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154544

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.78 3/179 25811
/proc/meminfo: memFree=28178840/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=188872 CPUtime=462.31
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 423463 0 0 0 46080 151 0 0 25 0 1 0 25687948 193404928 45143 4089446400 4194304 10345943 140736440820352 18446744073709551615 6715885 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 47218 45143 813 1502 0 45711 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 188872

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.79 3/179 25813
/proc/meminfo: memFree=28132404/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=227128 CPUtime=522.31
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 464617 0 0 0 52066 165 0 0 25 0 1 0 25687948 232579072 53279 4089446400 4194304 10345943 140736440820352 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 56782 53279 813 1502 0 55275 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 227128

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.80 3/179 25815
/proc/meminfo: memFree=28084480/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=258732 CPUtime=582.31
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 494938 0 0 0 58054 177 0 0 25 0 1 0 25687948 264941568 62137 4089446400 4194304 10345943 140736440820352 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 64683 62137 813 1502 0 63176 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 258732

[startup+642.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/179 25817
/proc/meminfo: memFree=28032736/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=295668 CPUtime=642.32
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 537134 0 0 0 64041 191 0 0 25 0 1 0 25687948 302764032 71056 4089446400 4194304 10345943 140736440820352 18446744073709551615 4696438 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 73917 71056 813 1502 0 72410 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 295668

[startup+702.301 s]

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

/proc/meminfo: memFree=27682172/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=541356 CPUtime=1062.32
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 752547 0 0 0 105975 257 0 0 25 0 1 0 25687948 554348544 133582 4089446400 4194304 10345943 140736440820352 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 135339 133582 813 1502 0 133832 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 541356

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 25829
/proc/meminfo: memFree=27629020/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=580336 CPUtime=1122.33
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 773092 0 0 0 111969 264 0 0 25 0 1 0 25687948 594264064 142444 4089446400 4194304 10345943 140736440820352 18446744073709551615 6551108 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 145084 142444 813 1502 0 143577 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 580336

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 25831
/proc/meminfo: memFree=27577512/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=618620 CPUtime=1182.33
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 782625 0 0 0 117966 267 0 0 25 0 1 0 25687948 633466880 151755 4089446400 4194304 10345943 140736440820352 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 154655 151755 813 1502 0 153148 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 618620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 25833
/proc/meminfo: memFree=27521920/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=670088 CPUtime=1242.33
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 796709 0 0 0 123961 272 0 0 25 0 1 0 25687948 686170112 162180 4089446400 4194304 10345943 140736440820352 18446744073709551615 7537489 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 167522 162180 813 1502 0 166015 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 670088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 25834
/proc/meminfo: memFree=27471000/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=693628 CPUtime=1302.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 819647 0 0 0 129954 280 0 0 25 0 1 0 25687948 710275072 170566 4089446400 4194304 10345943 140736440820352 18446744073709551615 6307255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 173407 170566 813 1502 0 171900 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 693628

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 25844
/proc/meminfo: memFree=27410888/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=733980 CPUtime=1362.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 829634 0 0 0 135951 283 0 0 25 0 1 0 25687948 751595520 179908 4089446400 4194304 10345943 140736440820352 18446744073709551615 6519071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 183495 179908 813 1502 0 181988 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 733980

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 25846
/proc/meminfo: memFree=27355036/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=773264 CPUtime=1422.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 839329 0 0 0 141947 287 0 0 25 0 1 0 25687948 791822336 189603 4089446400 4194304 10345943 140736440820352 18446744073709551615 4227724 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 193316 189603 813 1502 0 191809 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 773264

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/179 25848
/proc/meminfo: memFree=27303272/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=809960 CPUtime=1482.33
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 848736 0 0 0 147943 290 0 0 25 0 1 0 25687948 829399040 199010 4089446400 4194304 10345943 140736440820352 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 202490 199010 813 1502 0 200983 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 809960

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 25850
/proc/meminfo: memFree=27247928/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=845696 CPUtime=1542.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 861556 0 0 0 153939 295 0 0 25 0 1 0 25687948 865992704 208686 4089446400 4194304 10345943 140736440820352 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 211424 208686 813 1502 0 209917 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 845696

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 25851
/proc/meminfo: memFree=27194416/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=887092 CPUtime=1602.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 881323 0 0 0 159933 301 0 0 25 0 1 0 25687948 908382208 218998 4089446400 4194304 10345943 140736440820352 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 221773 218998 813 1502 0 220266 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 887092

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25852
/proc/meminfo: memFree=27138300/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=928620 CPUtime=1662.35
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 890971 0 0 0 165929 306 0 0 25 0 1 0 25687948 950906880 228646 4089446400 4194304 10345943 140736440820352 18446744073709551615 6715787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 232155 228646 813 1502 0 230648 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 928620

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25854
/proc/meminfo: memFree=27079472/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=964656 CPUtime=1722.35
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 901044 0 0 0 171925 310 0 0 25 0 1 0 25687948 987807744 238719 4089446400 4194304 10345943 140736440820352 18446744073709551615 6519201 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 241164 238719 813 1502 0 239657 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 964656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27018780/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1007236 CPUtime=1782.34
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 910928 0 0 0 177921 313 0 0 25 0 1 0 25687948 1031409664 248023 4089446400 4194304 10345943 140736440820352 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 251809 248023 813 1502 0 250302 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1007236

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27016300/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1007236 CPUtime=1785.54
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 911177 0 0 0 178241 313 0 0 25 0 1 0 25687948 1031409664 248272 4089446400 4194304 10345943 140736440820352 18446744073709551615 6865929 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 251809 248272 813 1502 0 250302 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1007236

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27010592/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1014660 CPUtime=1788.75
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 915304 0 0 0 178561 314 0 0 25 0 1 0 25687948 1039011840 249058 4089446400 4194304 10345943 140736440820352 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 253665 249058 813 1502 0 252158 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1014660

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27010592/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1021636 CPUtime=1789.55
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 918386 0 0 0 178640 315 0 0 25 0 1 0 25687948 1046155264 249185 4089446400 4194304 10345943 140736440820352 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25788/statm: 255409 249185 813 1502 0 253902 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 1021636

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27009848/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1014340 CPUtime=1790.35
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 920560 0 0 0 178720 315 0 0 25 0 1 0 25687948 1038684160 249084 4089446400 4194304 10345943 140736440820352 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 253585 249084 813 1502 0 252078 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1014340

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27009848/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=1014340 CPUtime=1790.55
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 920561 0 0 0 178740 315 0 0 18 0 1 0 25687948 1038684160 249085 4089446400 4194304 10345943 140736440820352 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 253585 249085 814 1502 0 252078 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (KiB) 1014340

[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25856
/proc/meminfo: memFree=27009848/32951124 swapFree=67111528/67111528
[pid=25788] ppid=25786 vsize=138656 CPUtime=1790.65
/proc/25788/stat : 25788 (pbscip.linux.x8) R 25786 25788 25504 0 -1 4202496 920561 0 0 0 178747 318 0 0 18 0 1 0 25687948 141983744 33477 4089446400 4194304 10345943 140736440820352 18446744073709551615 6325557 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25788/statm: 34664 33477 814 1502 0 33157 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (KiB) 138656

Child status: 0
Real time (s): 1790.61
CPU time (s): 1790.67
CPU user time (s): 1787.48
CPU system time (s): 3.18851
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1023940

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

runsolver used 2.89556 second user time and 5.51716 second system time

The end

Launcher Data 

Begin job on node139 at 2010-07-08 09:39:14
IDJOB=2705054
IDBENCH=79016
IDSOLVER=1214
FILE ID=node139/2705054-1278574754
PBS_JOBID= 11240176
Free space on /tmp= 73688 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705054-1278574754/watcher-2705054-1278574754 -o /tmp/evaluation-result-2705054-1278574754/solver-2705054-1278574754 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705054-1278574754.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a96e8ec93fa53032ae0ea101ae8e779b
RANDOM SEED=982638039

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28616376 kB
Buffers:        162200 kB
Cached:        3947936 kB
SwapCached:          0 kB
Active:        1186264 kB
Inactive:      2986528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28616376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13380 kB
Writeback:           0 kB
AnonPages:       62108 kB
Mapped:          14428 kB
Slab:            98368 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186296 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= 73660 MiB
End job on node139 at 2010-07-08 10:09:05