Trace number 3447281

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.2 1800.16

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	3564

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447281-1307898984/watcher-3447281-1307898984 -o /var/tmp/evaluation-result-3447281-1307898984/solver-3447281-1307898984 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447281-1307898984.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.84 1.97 1.90 2/175 17032
/proc/meminfo: memFree=3381024/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=10352 CPUtime=0 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 1573 0 0 0 0 0 0 0 25 0 1 0 901497142 10600448 1526 33554432000 4194304 9128323 140734166814096 18446744073709551615 7447682 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17032/statm: 2588 1526 399 1205 0 1379 0

[startup+0.040609 s]
/proc/loadavg: 1.84 1.97 1.90 2/175 17032
/proc/meminfo: memFree=3381024/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=16804 CPUtime=0.03 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 3185 0 0 0 3 0 0 0 25 0 1 0 901497142 17207296 3138 33554432000 4194304 9128323 140734166814096 18446744073709551615 8117360 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17032/statm: 4201 3138 399 1205 0 2992 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16804

[startup+0.100601 s]
/proc/loadavg: 1.84 1.97 1.90 2/175 17032
/proc/meminfo: memFree=3381024/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=25140 CPUtime=0.09 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 5297 0 0 0 9 0 0 0 25 0 1 0 901497142 25743360 5248 33554432000 4194304 9128323 140734166814096 18446744073709551615 6165520 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17032/statm: 6285 5248 399 1205 0 5076 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25140

[startup+0.300569 s]
/proc/loadavg: 1.84 1.97 1.90 2/175 17032
/proc/meminfo: memFree=3381024/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=84032 CPUtime=0.29 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 19911 0 0 0 27 2 0 0 25 0 1 0 901497142 86048768 19213 33554432000 4194304 9128323 140734166814096 18446744073709551615 5192568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 21008 19213 531 1205 0 19799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84032

[startup+0.700504 s]
/proc/loadavg: 1.84 1.97 1.90 2/175 17032
/proc/meminfo: memFree=3381024/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=88216 CPUtime=0.69 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 21019 0 0 0 67 2 0 0 25 0 1 0 901497142 90333184 20262 33554432000 4194304 9128323 140734166814096 18446744073709551615 5090081 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 22054 20262 609 1205 0 20845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88216

[startup+1.50038 s]
/proc/loadavg: 1.84 1.97 1.90 3/178 17071
/proc/meminfo: memFree=3168220/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=119832 CPUtime=1.49 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 28914 0 0 0 146 3 0 0 25 0 1 0 901497142 122707968 27731 33554432000 4194304 9128323 140734166814096 18446744073709551615 5090093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 29958 27731 659 1205 0 28749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119832

[startup+3.10107 s]
/proc/loadavg: 1.84 1.97 1.90 3/178 17071
/proc/meminfo: memFree=3131640/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=149660 CPUtime=3.09 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 37480 0 0 0 303 6 0 0 25 0 1 0 901497142 153251840 34956 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 37415 34956 722 1205 0 36206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149660

[startup+6.30051 s]
/proc/loadavg: 1.85 1.97 1.90 3/178 17071
/proc/meminfo: memFree=3114504/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=155984 CPUtime=6.29 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 39249 0 0 0 617 12 0 0 25 0 1 0 901497142 159727616 36725 33554432000 4194304 9128323 140734166814096 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 38996 36725 722 1205 0 37787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155984

[startup+12.7004 s]
/proc/loadavg: 1.86 1.97 1.90 3/178 17072
/proc/meminfo: memFree=3105624/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=162224 CPUtime=12.69 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 41395 0 0 0 1249 20 0 0 25 0 1 0 901497142 166117376 38569 33554432000 4194304 9128323 140734166814096 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 40556 38569 722 1205 0 39347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162224

[startup+25.5001 s]
/proc/loadavg: 1.89 1.97 1.91 3/178 17072
/proc/meminfo: memFree=2971352/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=232904 CPUtime=25.49 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 58278 0 0 0 2501 48 0 0 25 0 1 0 901497142 238493696 55446 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 58226 55446 755 1205 0 57017 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232904

[startup+51.1006 s]
/proc/loadavg: 1.93 1.97 1.91 3/178 17073
/proc/meminfo: memFree=2941440/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=232904 CPUtime=51.09 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 58285 0 0 0 5040 69 0 0 25 0 1 0 901497142 238493696 55449 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 58226 55449 754 1205 0 57017 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 232904

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.91 3/178 17074
/proc/meminfo: memFree=2936740/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=232904 CPUtime=102.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 58285 0 0 0 10120 110 0 0 25 0 1 0 901497142 238493696 55449 33554432000 4194304 9128323 140734166814096 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 58226 55449 754 1205 0 57017 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232904

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 17076
/proc/meminfo: memFree=2935080/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=162.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 63563 0 0 0 16075 155 0 0 25 0 1 0 901497142 237322240 55745 33554432000 4194304 9128323 140734166814096 18446744073709551615 5952929 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55745 762 1205 0 56731 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 231760

[startup+222.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/178 17077
/proc/meminfo: memFree=2916560/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=222.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 63585 0 0 0 22028 202 0 0 25 0 1 0 901497142 237322240 55767 33554432000 4194304 9128323 140734166814096 18446744073709551615 7343292 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55767 762 1205 0 56731 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 231760

[startup+282.301 s]
/proc/loadavg: 2.06 2.00 1.92 3/178 17079
/proc/meminfo: memFree=2910072/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=282.29 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 73241 0 0 0 27989 240 0 0 25 0 1 0 901497142 237322240 55767 33554432000 4194304 9128323 140734166814096 18446744073709551615 7315719 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55767 762 1205 0 56731 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 231760

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 17081
/proc/meminfo: memFree=2904820/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=342.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 73241 0 0 0 33945 285 0 0 25 0 1 0 901497142 237322240 55767 33554432000 4194304 9128323 140734166814096 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55767 762 1205 0 56731 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 231760

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 17082
/proc/meminfo: memFree=2886048/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=402.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 73244 0 0 0 39908 322 0 0 25 0 1 0 901497142 237322240 55770 33554432000 4194304 9128323 140734166814096 18446744073709551615 6712758 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55770 762 1205 0 56731 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 231760

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17084
/proc/meminfo: memFree=2873972/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=231760 CPUtime=462.31 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 73244 0 0 0 45867 364 0 0 25 0 1 0 901497142 237322240 55770 33554432000 4194304 9128323 140734166814096 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 57940 55770 762 1205 0 56731 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 231760

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17085
/proc/meminfo: memFree=2848244/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=235368 CPUtime=522.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 88597 0 0 0 51821 409 0 0 25 0 1 0 901497142 241016832 56636 33554432000 4194304 9128323 140734166814096 18446744073709551615 7312873 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 58842 56636 763 1205 0 57633 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 235368

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 17087
/proc/meminfo: memFree=2838784/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=236576 CPUtime=582.3 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 88913 0 0 0 57786 444 0 0 25 0 1 0 901497142 242253824 56952 33554432000 4194304 9128323 140734166814096 18446744073709551615 7050081 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 59144 56952 763 1205 0 57935 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 236576

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/178 17095
/proc/meminfo: memFree=2735628/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=242360 CPUtime=882.31 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 91652 0 0 0 87566 665 0 0 25 0 1 0 901497142 248176640 58185 33554432000 4194304 9128323 140734166814096 18446744073709551615 7342763 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 60590 58185 762 1205 0 59381 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 242360

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 17097
/proc/meminfo: memFree=2724304/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=242360 CPUtime=942.31 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 91730 0 0 0 93525 706 0 0 25 0 1 0 901497142 248176640 58263 33554432000 4194304 9128323 140734166814096 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 60590 58263 762 1205 0 59381 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 242360

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 17098
/proc/meminfo: memFree=2710000/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=244984 CPUtime=1002.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 107439 0 0 0 99482 750 0 0 25 0 1 0 901497142 250863616 59040 33554432000 4194304 9128323 140734166814096 18446744073709551615 7192161 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 61246 59040 762 1205 0 60037 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 244984

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17100
/proc/meminfo: memFree=2692228/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=248968 CPUtime=1062.31 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 108602 0 0 0 105444 787 0 0 25 0 1 0 901497142 254943232 60049 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 62242 60049 763 1205 0 61033 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 248968

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17101
/proc/meminfo: memFree=2680268/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=249284 CPUtime=1122.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 108684 0 0 0 111391 841 0 0 25 0 1 0 901497142 255266816 60130 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 62321 60130 762 1205 0 61112 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 249284

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17103
/proc/meminfo: memFree=2665952/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=252496 CPUtime=1182.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 109631 0 0 0 117351 881 0 0 25 0 1 0 901497142 258555904 60932 33554432000 4194304 9128323 140734166814096 18446744073709551615 7052154 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 63124 60932 765 1205 0 61915 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 252496

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17105
/proc/meminfo: memFree=2652888/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=257140 CPUtime=1242.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 110834 0 0 0 123306 926 0 0 25 0 1 0 901497142 263311360 61898 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 64285 61898 835 1205 0 63076 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 257140

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17106
/proc/meminfo: memFree=2635104/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=261408 CPUtime=1302.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 112192 0 0 0 129264 969 0 0 25 0 1 0 901497142 267681792 63165 33554432000 4194304 9128323 140734166814096 18446744073709551615 7342479 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 65352 63165 762 1205 0 64143 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 261408

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17108
/proc/meminfo: memFree=2621676/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=266456 CPUtime=1362.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 113642 0 0 0 135227 1005 0 0 25 0 1 0 901497142 272850944 64422 33554432000 4194304 9128323 140734166814096 18446744073709551615 7184206 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 66614 64422 762 1205 0 65405 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 266456

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 17109
/proc/meminfo: memFree=2606240/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=268532 CPUtime=1422.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 114168 0 0 0 141193 1040 0 0 25 0 1 0 901497142 274976768 64948 33554432000 4194304 9128323 140734166814096 18446744073709551615 4518462 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 67133 64948 762 1205 0 65924 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 268532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17111
/proc/meminfo: memFree=2595160/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=273520 CPUtime=1482.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 115424 0 0 0 147154 1078 0 0 25 0 1 0 901497142 280084480 66191 33554432000 4194304 9128323 140734166814096 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 68380 66191 762 1205 0 67171 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 273520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17113
/proc/meminfo: memFree=2582720/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=280784 CPUtime=1542.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 131961 0 0 0 153117 1116 0 0 25 0 1 0 901497142 287522816 68013 33554432000 4194304 9128323 140734166814096 18446744073709551615 7192196 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 70196 68013 965 1205 0 68987 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 280784

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17114
/proc/meminfo: memFree=2562336/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=285596 CPUtime=1602.32 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 133409 0 0 0 159083 1149 0 0 25 0 1 0 901497142 292450304 69251 33554432000 4194304 9128323 140734166814096 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 71399 69251 896 1205 0 70190 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 285596

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17116
/proc/meminfo: memFree=2547660/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=290008 CPUtime=1662.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 134617 0 0 0 165040 1193 0 0 25 0 1 0 901497142 296968192 70325 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 72502 70325 762 1205 0 71293 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 290008

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17117
/proc/meminfo: memFree=2536696/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=291720 CPUtime=1722.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 135055 0 0 0 171004 1229 0 0 25 0 1 0 901497142 298721280 70763 33554432000 4194304 9128323 140734166814096 18446744073709551615 6713487 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 72930 70763 762 1205 0 71721 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 291720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17119
/proc/meminfo: memFree=2521512/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=297852 CPUtime=1782.33 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 136605 0 0 0 176969 1264 0 0 25 0 1 0 901497142 305000448 72290 33554432000 4194304 9128323 140734166814096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 74463 72290 908 1205 0 73254 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 297852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17119
/proc/meminfo: memFree=2517896/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=298132 CPUtime=1800.04 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 136717 0 0 0 178729 1275 0 0 25 0 1 0 901497142 305287168 72374 33554432000 4194304 9128323 140734166814096 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17032/statm: 74533 72374 880 1205 0 73324 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 298132

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 17119
/proc/meminfo: memFree=2517896/32950928 swapFree=67052124/67111528
[pid=17032] ppid=17030 vsize=287504 CPUtime=1800.14 cores=1,3,5,7
/proc/17032/stat : 17032 (scip-2.0.1.4.li) R 17030 17032 14010 0 -1 4202496 136720 0 0 0 178739 1275 0 0 25 0 1 0 901497142 294404096 69740 33554432000 4194304 9128323 140734166814096 18446744073709551615 6885335 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17032/statm: 71876 69740 765 1205 0 70667 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 287504

Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.2
CPU user time (s): 1787.43
CPU system time (s): 12.7691
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 333300

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

runsolver used 2.55561 second user time and 6.543 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-12 19:16:24
IDJOB=3447281
IDBENCH=79001
IDSOLVER=1944
FILE ID=node120/3447281-1307898984
RUNJOBID= node120-1307897144-14737
PBS_JOBID= 13559586
Free space on /var/tmp= 2880 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447281-1307898984/watcher-3447281-1307898984 -o /var/tmp/evaluation-result-3447281-1307898984/solver-3447281-1307898984 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447281-1307898984.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 24165b373ac62bb316922f56a500ddfe
RANDOM SEED=1812071269

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.78
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       3381452 kB
Buffers:         52212 kB
Cached:       28595188 kB
SwapCached:      11612 kB
Active:       13796300 kB
Inactive:     14870468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3381452 kB
SwapTotal:    67111528 kB
SwapFree:     67052124 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:       16808 kB
Mapped:           9236 kB
Slab:           839444 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   221464 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 /var/tmp at the end= 2868 MiB
End job on node120 at 2011-06-12 19:46:26