Trace number 3717400

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedMSAT 1796.98 1797.27

General information on the benchmark

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

Verifier Data 

OK	616

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-3717400-1338202479/watcher-3717400-1338202479 -o /tmp/evaluation-result-3717400-1338202479/solver-3717400-1338202479 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717400-1338202479.wbo -t 1800 -m 15500 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15940
/proc/meminfo: memFree=31010288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=9836 CPUtime=0 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 1199 0 0 0 0 0 0 0 20 0 1 0 286372751 10072064 1153 33554432000 4194304 10173063 140736983925568 140734882799080 8800002 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 2459 1161 416 1460 0 990 0

[startup+0.0424891 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15940
/proc/meminfo: memFree=31010288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=23948 CPUtime=0.03 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 4756 0 0 0 3 0 0 0 20 0 1 0 286372751 24522752 4710 33554432000 4194304 10173063 140736983925568 140734882799080 5474314 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 5987 4710 416 1460 0 4518 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23948

[startup+0.100373 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15940
/proc/meminfo: memFree=31010288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=55044 CPUtime=0.09 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 12490 0 0 0 8 1 0 0 20 0 1 0 286372751 56365056 12408 33554432000 4194304 10173063 140736983925568 140734882799080 8886856 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 13761 12409 471 1460 0 12292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55044

[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15940
/proc/meminfo: memFree=31010288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=113136 CPUtime=0.29 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 26672 0 0 0 26 3 0 0 20 0 1 0 286372751 115851264 26570 33554432000 4194304 10173063 140736983925568 140736983920040 8846813 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 28284 26608 524 1460 0 26815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113136

[startup+0.700327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15940
/proc/meminfo: memFree=31010288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=131912 CPUtime=0.69 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 31119 0 0 0 56 13 0 0 20 0 1 0 286372751 135077888 30228 33554432000 4194304 10173063 140736983925568 140736983920040 5911688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 33154 30239 595 1460 0 31685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 131912

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30876588/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=218500 CPUtime=1.49 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 50569 0 0 0 133 16 0 0 20 0 1 0 286372751 223744000 50701 33554432000 4194304 10173063 140736983925568 140736983921864 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 54625 50701 741 1460 0 53156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 218500

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30804976/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=227244 CPUtime=3.08 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 52657 0 0 0 290 18 0 0 20 0 1 0 286372751 232697856 52507 33554432000 4194304 10173063 140736983925568 140736983918872 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 56811 52507 742 1460 0 55342 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 227244

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30799340/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=230988 CPUtime=6.29 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 53439 0 0 0 609 20 0 0 20 0 1 0 286372751 236531712 53280 33554432000 4194304 10173063 140736983925568 140736983918744 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 57747 53280 747 1460 0 56278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 230988

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30795992/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=231120 CPUtime=12.69 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 54297 0 0 0 1243 26 0 0 20 0 1 0 286372751 236666880 54003 33554432000 4194304 10173063 140736983925568 140736983920440 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 57780 54003 767 1460 0 56311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 231120

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30792404/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=233508 CPUtime=25.49 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 55505 0 0 0 2514 35 0 0 20 0 1 0 286372751 239112192 55079 33554432000 4194304 10173063 140736983925568 140736983918824 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 58377 55079 789 1460 0 56908 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 233508

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30792088/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=233508 CPUtime=51.08 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 55555 0 0 0 5066 42 0 0 20 0 1 0 286372751 239112192 55129 33554432000 4194304 10173063 140736983925568 140736983920456 5108015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 58377 55129 789 1460 0 56908 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233508

[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 15941
/proc/meminfo: memFree=30784564/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=238648 CPUtime=102.28 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 56726 0 0 0 10175 53 0 0 20 0 1 0 286372751 244375552 56955 33554432000 4194304 10173063 140736983925568 140736983918744 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 59662 56955 789 1460 0 58193 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 238648

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15941
/proc/meminfo: memFree=30781996/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=238648 CPUtime=162.25 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 56853 0 0 0 16151 74 0 0 20 0 1 0 286372751 244375552 57592 33554432000 4194304 10173063 140736983925568 140736983920456 5023571 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 59662 57592 789 1460 0 58193 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 238648

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15941
/proc/meminfo: memFree=30779884/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=238648 CPUtime=222.24 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 56909 0 0 0 22135 89 0 0 20 0 1 0 286372751 244375552 58070 33554432000 4194304 10173063 140736983925568 140736983920440 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 59662 58070 789 1460 0 58193 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 238648

[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 15942
/proc/meminfo: memFree=30777528/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=239132 CPUtime=282.23 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 57393 0 0 0 28112 111 0 0 20 0 1 0 286372751 244871168 58554 33554432000 4194304 10173063 140736983925568 140736983918280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 59783 58554 793 1460 0 58314 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 239132

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15945
/proc/meminfo: memFree=30770636/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=246048 CPUtime=342.22 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 58876 0 0 0 34100 122 0 0 20 0 1 0 286372751 251953152 60037 33554432000 4194304 10173063 140736983925568 140736983918376 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 61512 60037 793 1460 0 60043 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 246048

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15968
/proc/meminfo: memFree=30770512/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=246048 CPUtime=402.21 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 58876 0 0 0 40087 134 0 0 20 0 1 0 286372751 251953152 60037 33554432000 4194304 10173063 140736983925568 140736983918280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 61512 60037 793 1460 0 60043 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 246048

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15968
/proc/meminfo: memFree=30768404/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=246048 CPUtime=462.2 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 58877 0 0 0 46075 145 0 0 20 0 1 0 286372751 251953152 60282 33554432000 4194304 10173063 140736983925568 140736983918280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 61512 60282 793 1460 0 60043 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 246048

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15968
/proc/meminfo: memFree=30767288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=247100 CPUtime=522.2 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 58892 0 0 0 52061 159 0 0 20 0 1 0 286372751 253030400 60297 33554432000 4194304 10173063 140736983925568 140736983918664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 61775 60297 793 1460 0 60306 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 247100

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15969
/proc/meminfo: memFree=30765796/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=248152 CPUtime=582.18 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 59021 0 0 0 58045 173 0 0 20 0 1 0 286372751 254107648 60426 33554432000 4194304 10173063 140736983925568 140736983918248 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 62038 60426 793 1460 0 60569 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 248152

[startup+642.3 s]

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

/proc/meminfo: memFree=30721176/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=270052 CPUtime=1122.1 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 102938 0 0 0 111884 326 0 0 20 0 1 0 286372751 276533248 65826 33554432000 4194304 10173063 140736983925568 140736983918328 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 67513 65826 864 1460 0 66044 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 270052

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15974
/proc/meminfo: memFree=30708404/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=282268 CPUtime=1182.1 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 105880 0 0 0 117869 341 0 0 20 0 1 0 286372751 289042432 68768 33554432000 4194304 10173063 140736983925568 140736983919240 8018140 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 70567 68768 864 1460 0 69098 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 282268

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15974
/proc/meminfo: memFree=30707288/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=282268 CPUtime=1242.08 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 105881 0 0 0 123856 352 0 0 20 0 1 0 286372751 289042432 68769 33554432000 4194304 10173063 140736983925568 140736983918744 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 70567 68769 864 1460 0 69098 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 282268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15974
/proc/meminfo: memFree=30702872/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=282596 CPUtime=1302.08 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 106274 0 0 0 129843 365 0 0 20 0 1 0 286372751 289378304 69490 33554432000 4194304 10173063 140736983925568 140736983918744 8012178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 70649 69490 864 1460 0 69180 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 282596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15974
/proc/meminfo: memFree=30699212/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=287112 CPUtime=1362.07 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 106512 0 0 0 135830 377 0 0 20 0 1 0 286372751 294002688 70239 33554432000 4194304 10173063 140736983925568 140736983918280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 71778 70239 864 1460 0 70309 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 287112

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15974
/proc/meminfo: memFree=30695856/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=287112 CPUtime=1422.06 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 106513 0 0 0 141817 389 0 0 20 0 1 0 286372751 294002688 70240 33554432000 4194304 10173063 140736983925568 140736983918376 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 71778 70240 864 1460 0 70309 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 287112

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15974
/proc/meminfo: memFree=30690780/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=287112 CPUtime=1482.05 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 106513 0 0 0 147802 403 0 0 20 0 1 0 286372751 294002688 70240 33554432000 4194304 10173063 140736983925568 140736983918376 8046708 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 71778 70240 864 1460 0 70309 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 287112

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16016
/proc/meminfo: memFree=30879576/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=287112 CPUtime=1542.04 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 106513 0 0 0 153788 416 0 0 20 0 1 0 286372751 294002688 70240 33554432000 4194304 10173063 140736983925568 140736983918376 8012272 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 71778 70240 864 1460 0 70309 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 287112

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16016
/proc/meminfo: memFree=30872016/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=290580 CPUtime=1602.03 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 107765 0 0 0 159772 431 0 0 20 0 1 0 286372751 297553920 71492 33554432000 4194304 10173063 140736983925568 140736983918824 8016719 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 72645 71492 864 1460 0 71176 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 290580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16016
/proc/meminfo: memFree=30868156/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=293748 CPUtime=1662.02 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 108031 0 0 0 165759 443 0 0 20 0 1 0 286372751 300797952 71758 33554432000 4194304 10173063 140736983925568 140736983918376 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 73437 71758 864 1460 0 71968 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 293748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16016
/proc/meminfo: memFree=30858164/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=301756 CPUtime=1722.01 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 110292 0 0 0 171744 457 0 0 20 0 1 0 286372751 308998144 74019 33554432000 4194304 10173063 140736983925568 140736983918328 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 75439 74019 864 1460 0 73970 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 301756

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16016
/proc/meminfo: memFree=30857348/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=303512 CPUtime=1782 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 110464 0 0 0 177727 473 0 0 20 0 1 0 286372751 310796288 74192 33554432000 4194304 10173063 140736983925568 140736983918920 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 75878 74192 864 1460 0 74409 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 303512

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16016
/proc/meminfo: memFree=30852148/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=308392 CPUtime=1785.2 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111780 0 0 0 178046 474 0 0 20 0 1 0 286372751 315793408 75508 33554432000 4194304 10173063 140736983925568 140736983918552 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 77098 75508 864 1460 0 75629 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 308392

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=308392 CPUtime=1791.6 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111783 0 0 0 178684 476 0 0 20 0 1 0 286372751 315793408 75511 33554432000 4194304 10173063 140736983925568 140736983918280 7986014 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 77098 75511 864 1460 0 75629 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 308392

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=308392 CPUtime=1794.8 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111783 0 0 0 179003 477 0 0 20 0 1 0 286372751 315793408 75511 33554432000 4194304 10173063 140736983925568 140736983918376 7887598 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 77098 75511 864 1460 0 75629 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 308392

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=308392 CPUtime=1795.6 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111783 0 0 0 179082 478 0 0 20 0 1 0 286372751 315793408 75511 33554432000 4194304 10173063 140736983925568 140736983918328 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 77098 75511 864 1460 0 75629 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 308392

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=308392 CPUtime=1796.4 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111783 0 0 0 179162 478 0 0 20 0 1 0 286372751 315793408 75511 33554432000 4194304 10173063 140736983925568 140736983918664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 77098 75511 864 1460 0 75629 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 308392

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=302360 CPUtime=1796.8 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111786 0 0 0 179202 478 0 0 20 0 1 0 286372751 309616640 74006 33554432000 4194304 10173063 140736983925568 140736983918664 5900447 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 75590 74006 867 1460 0 74121 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 302360

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16017
/proc/meminfo: memFree=30851892/32873844 swapFree=7112/7112
[pid=15940] ppid=15938 vsize=292948 CPUtime=1796.89 cores=1,3,5,7
/proc/15940/stat : 15940 (scip-2.1.1.4fix) R 15938 15940 10153 0 -1 4202496 111786 0 0 0 179211 478 0 0 20 0 1 0 286372751 299978752 71662 33554432000 4194304 10173063 140736983925568 140736983924888 4952359 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15940/statm: 73237 71662 867 1460 0 71768 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 292948

Child status: 0
Real time (s): 1797.27
CPU time (s): 1796.98
CPU user time (s): 1792.17
CPU system time (s): 4.80327
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 416812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.17
system time used= 4.80327
maximum resident set size= 409060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111788
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= 27
involuntary context switches= 1873

runsolver used 3.9224 second user time and 8.5337 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-28 12:54:39
IDJOB=3717400
IDBENCH=79343
IDSOLVER=2300
FILE ID=node142/3717400-1338202479
RUNJOBID= node142-1338186086-10170
PBS_JOBID= 14624568
Free space on /tmp= 71680 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717400-1338202479/watcher-3717400-1338202479 -o /tmp/evaluation-result-3717400-1338202479/solver-3717400-1338202479 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717400-1338202479.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 52e7cbeb256e4943cc81a3e27d9870a4
RANDOM SEED=215194166

node142.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.776
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.55
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.776
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.776
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	: 5391.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.776
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.92
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.776
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.90
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.776
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.776
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.91
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.776
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31010552 kB
Buffers:          355164 kB
Cached:           430548 kB
SwapCached:            0 kB
Active:           773080 kB
Inactive:         263384 kB
Active(anon):     241712 kB
Inactive(anon):    11212 kB
Active(file):     531368 kB
Inactive(file):   252172 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14004 kB
Writeback:             0 kB
AnonPages:        263072 kB
Mapped:            14832 kB
Shmem:               200 kB
Slab:             684192 kB
SReclaimable:     126352 kB
SUnreclaim:       557840 kB
KernelStack:        1472 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     368152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71668 MiB
End job on node142 at 2012-05-28 13:24:36