Trace number 3744425

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 963.154 963.316

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_6.opb
MD5SUM5083e4e53b2d6b5d7b03dffa57422dcf
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5473551
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 54947189218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 54947189218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	4396639

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 /tmp/evaluation-result-3744425-1338806457/watcher-3744425-1338806457 -o /tmp/evaluation-result-3744425-1338806457/solver-3744425-1338806457 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744425-1338806457.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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: 2.00 1.97 1.86 2/171 11893
/proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 1247 0 0 0 0 0 0 0 20 0 1 0 346771166 8105984 1193 33554432000 4194304 8395647 140733575546432 140736539670936 7385022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 1979 1193 370 1026 0 949 0

[startup+0.0573161 s]
/proc/loadavg: 2.00 1.97 1.86 2/171 11893
/proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=16980 CPUtime=0.04 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 3531 0 0 0 4 0 0 0 20 0 1 0 346771166 17387520 3476 33554432000 4194304 8395647 140733575546432 140733575411640 5753608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 4245 3476 394 1026 0 3215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16980

[startup+0.100219 s]
/proc/loadavg: 2.00 1.97 1.86 2/171 11893
/proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=31976 CPUtime=0.09 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 7560 0 0 0 8 1 0 0 20 0 1 0 346771166 32743424 7151 33554432000 4194304 8395647 140733575546432 140733575411640 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 7994 7151 431 1026 0 6964 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31976

[startup+0.30022 s]
/proc/loadavg: 2.00 1.97 1.86 2/171 11893
/proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=45632 CPUtime=0.28 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 10842 0 0 0 27 1 0 0 20 0 1 0 346771166 46727168 10364 33554432000 4194304 8395647 140733575546432 140733575411640 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 11408 10364 579 1026 0 10378 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45632

[startup+0.700216 s]
/proc/loadavg: 2.00 1.97 1.86 2/171 11893
/proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=46944 CPUtime=0.69 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11217 0 0 0 67 2 0 0 20 0 1 0 346771166 48070656 10727 33554432000 4194304 8395647 140733575546432 140733575541896 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 11736 10727 583 1026 0 10706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46944

[startup+1.50022 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 11925
/proc/meminfo: memFree=26864104/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=47468 CPUtime=1.49 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11321 0 0 0 147 2 0 0 20 0 1 0 346771166 48607232 10831 33554432000 4194304 8395647 140733575546432 140733575540952 6378447 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 11867 10831 589 1026 0 10837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47468

[startup+3.10022 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 11925
/proc/meminfo: memFree=26832732/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=47468 CPUtime=3.09 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11362 0 0 0 307 2 0 0 20 0 1 0 346771166 48607232 10872 33554432000 4194304 8395647 140733575546432 140733575540952 6696279 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 11867 10872 589 1026 0 10837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47468

[startup+6.30022 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 11926
/proc/meminfo: memFree=26828640/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=76544 CPUtime=6.29 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 18337 0 0 0 624 5 0 0 20 0 1 0 346771166 78381056 17847 33554432000 4194304 8395647 140733575546432 140733575541560 6041886 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 19136 17847 631 1026 0 18106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76544

[startup+12.7002 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 11926
/proc/meminfo: memFree=26783476/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92288 CPUtime=12.69 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22455 0 0 0 1261 8 0 0 20 0 1 0 346771166 94502912 21965 33554432000 4194304 8395647 140733575546432 140733575541048 4904064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23072 21965 641 1026 0 22042 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92288

[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.86 3/175 11926
/proc/meminfo: memFree=26782972/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92288 CPUtime=25.48 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22779 0 0 0 2538 10 0 0 20 0 1 0 346771166 94502912 22214 33554432000 4194304 8395647 140733575546432 140733575541784 6652551 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23072 22214 644 1026 0 22042 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92288

[startup+51.1002 s]
/proc/loadavg: 2.00 1.97 1.87 3/175 11926
/proc/meminfo: memFree=26781004/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92288 CPUtime=51.07 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22791 0 0 0 5086 21 0 0 20 0 1 0 346771166 94502912 22508 33554432000 4194304 8395647 140733575546432 140733575541304 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23072 22508 644 1026 0 22042 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92288

[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.87 3/175 11926
/proc/meminfo: memFree=26780428/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92288 CPUtime=102.26 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22795 0 0 0 10186 40 0 0 20 0 1 0 346771166 94502912 22552 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23072 22552 644 1026 0 22042 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92288

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/175 11926
/proc/meminfo: memFree=26767420/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92288 CPUtime=162.25 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22800 0 0 0 16161 64 0 0 20 0 1 0 346771166 94502912 22557 33554432000 4194304 8395647 140733575546432 140733575541896 6693391 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23072 22557 645 1026 0 22042 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 92288

[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/175 11926
/proc/meminfo: memFree=26766180/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93488 CPUtime=222.24 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23071 0 0 0 22137 87 0 0 20 0 1 0 346771166 95731712 22828 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23372 22828 645 1026 0 22342 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 93488

[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/175 11926
/proc/meminfo: memFree=26766176/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93488 CPUtime=282.24 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23072 0 0 0 28112 112 0 0 20 0 1 0 346771166 95731712 22829 33554432000 4194304 8395647 140733575546432 140733575541928 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23372 22829 645 1026 0 22342 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 93488

[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/175 11927
/proc/meminfo: memFree=26764500/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93488 CPUtime=342.23 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23110 0 0 0 34085 138 0 0 20 0 1 0 346771166 95731712 22902 33554432000 4194304 8395647 140733575546432 140733575541992 6721270 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23372 22902 645 1026 0 22342 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 93488

[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/175 11927
/proc/meminfo: memFree=26762692/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93488 CPUtime=402.22 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23110 0 0 0 40061 161 0 0 20 0 1 0 346771166 95731712 22902 33554432000 4194304 8395647 140733575546432 140733575541560 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23372 22902 645 1026 0 22342 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 93488

[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 11927
/proc/meminfo: memFree=26762196/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94164 CPUtime=462.2 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23257 0 0 0 46033 187 0 0 20 0 1 0 346771166 96423936 23049 33554432000 4194304 8395647 140733575546432 140733575541688 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23541 23049 645 1026 0 22511 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 94164

[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 11927
/proc/meminfo: memFree=26759220/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92292 CPUtime=522.19 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 52007 212 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541896 6721235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23073 22613 645 1026 0 22043 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 92292

[startup+582.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/176 11930
/proc/meminfo: memFree=26758836/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92292 CPUtime=582.18 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 57983 235 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541560 6696979 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23073 22613 645 1026 0 22043 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 92292

[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 11931
/proc/meminfo: memFree=26754380/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92292 CPUtime=642.18 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 63957 261 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541688 6697376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23073 22613 645 1026 0 22043 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 92292

[startup+702.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 11931
/proc/meminfo: memFree=26755372/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=92292 CPUtime=702.17 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24506 0 0 0 69932 285 0 0 20 0 1 0 346771166 94507008 22614 33554432000 4194304 8395647 140733575546432 140733575542104 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23073 22614 646 1026 0 22043 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 92292

[startup+762.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 11931
/proc/meminfo: memFree=26753324/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93316 CPUtime=762.17 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24730 0 0 0 75912 305 0 0 20 0 1 0 346771166 95555584 22838 33554432000 4194304 8395647 140733575546432 140733575541944 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23329 22838 646 1026 0 22299 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 93316

[startup+822.3 s]
/proc/loadavg: 2.05 1.99 1.91 3/175 11931
/proc/meminfo: memFree=26753440/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=93316 CPUtime=822.15 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24730 0 0 0 81886 329 0 0 20 0 1 0 346771166 95555584 22838 33554432000 4194304 8395647 140733575546432 140733575541560 6700076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23329 22838 646 1026 0 22299 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 93316

[startup+882.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/175 11931
/proc/meminfo: memFree=26751828/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=882.14 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 87858 356 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541992 6652558 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 94380

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752760/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=942.13 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 93834 379 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541560 6586935 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 94380

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

[startup+947.106 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=946.93 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 94312 381 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541304 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 946.93
Current children cumulated vsize (KiB) 94380

[startup+953.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=953.33 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 94950 383 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 953.33
Current children cumulated vsize (KiB) 94380

[startup+959.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=959.73 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95587 386 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541640 6721084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 959.73
Current children cumulated vsize (KiB) 94380

[startup+961.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=961.33 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95747 386 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541560 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 961.33
Current children cumulated vsize (KiB) 94380

[startup+962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=962.13 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95826 387 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541736 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 962.13
Current children cumulated vsize (KiB) 94380

[startup+963.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=962.93 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95906 387 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575542040 6693364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23134 646 1026 0 22565 0
Current children cumulated CPU time (s) 962.93
Current children cumulated vsize (KiB) 94380

[startup+963.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 11932
/proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624
[pid=11893] ppid=11891 vsize=94380 CPUtime=963.13 cores=0,2,4,6
/proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26049 0 0 0 95926 387 0 0 20 0 1 0 346771166 96645120 23136 33554432000 4194304 8395647 140733575546432 140733575542040 6345887 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11893/statm: 23595 23136 648 1026 0 22565 0
Current children cumulated CPU time (s) 963.13
Current children cumulated vsize (KiB) 94380

Child status: 0
Real time (s): 963.316
CPU time (s): 963.154
CPU user time (s): 959.275
CPU system time (s): 3.87841
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 94380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 959.275
system time used= 3.87841
maximum resident set size= 96620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26052
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= 18
involuntary context switches= 1447

runsolver used 4.22636 second user time and 9.8795 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-04 12:40:57
IDJOB=3744425
IDBENCH=92750
IDSOLVER=2326
FILE ID=node131/3744425-1338806457
RUNJOBID= node131-1338804666-11805
PBS_JOBID= 14636826
Free space on /tmp= 71392 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744425-1338806457/watcher-3744425-1338806457 -o /tmp/evaluation-result-3744425-1338806457/solver-3744425-1338806457 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744425-1338806457.opb -t 1800 -m 15500

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

MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf
RANDOM SEED=708571324

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        26992276 kB
Buffers:         1767328 kB
Cached:          3210664 kB
SwapCached:         2348 kB
Active:          2694096 kB
Inactive:        2295312 kB
Active(anon):       2832 kB
Inactive(anon):     3860 kB
Active(file):    2691264 kB
Inactive(file):  2291452 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             10976 kB
Writeback:             0 kB
AnonPages:         68448 kB
Mapped:            14680 kB
Shmem:                 0 kB
Slab:             752836 kB
SReclaimable:     194880 kB
SUnreclaim:       557956 kB
KernelStack:        1456 kB
PageTables:         4212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     104528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2012-06-04 12:57:01