Trace number 3744353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 1667.65 1667.92

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	5114519

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.91 2/176 14802
/proc/meminfo: memFree=25860856/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 346636427 8105984 1191 33554432000 4194304 8395647 140734149208080 140734459243416 6765612 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 1979 1191 370 1026 0 949 0

[startup+0.0754921 s]
/proc/loadavg: 2.01 2.00 1.91 2/176 14802
/proc/meminfo: memFree=25860856/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=18552 CPUtime=0.06 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 3904 0 0 0 6 0 0 0 20 0 1 0 346636427 18997248 3849 33554432000 4194304 8395647 140734149208080 140734459243416 7370136 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 4638 3849 394 1026 0 3608 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18552

[startup+0.100315 s]
/proc/loadavg: 2.01 2.00 1.91 2/176 14802
/proc/meminfo: memFree=25860856/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=31972 CPUtime=0.09 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 7556 0 0 0 8 1 0 0 20 0 1 0 346636427 32739328 7147 33554432000 4194304 8395647 140734149208080 140734459243416 4604681 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 7993 7149 431 1026 0 6963 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31972

[startup+0.300304 s]
/proc/loadavg: 2.01 2.00 1.91 2/176 14802
/proc/meminfo: memFree=25860856/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=45444 CPUtime=0.29 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 10797 0 0 0 28 1 0 0 20 0 1 0 346636427 46534656 10314 33554432000 4194304 8395647 140734149208080 140734459243416 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 11361 10314 579 1026 0 10331 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45444

[startup+0.700183 s]
/proc/loadavg: 2.01 2.00 1.91 2/176 14802
/proc/meminfo: memFree=25860856/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=47052 CPUtime=0.69 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 11243 0 0 0 67 2 0 0 20 0 1 0 346636427 48181248 10731 33554432000 4194304 8395647 140734149208080 140734149202728 6708203 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 11763 10731 589 1026 0 10733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47052

[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25819912/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=47052 CPUtime=1.49 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 11270 0 0 0 147 2 0 0 20 0 1 0 346636427 48181248 10758 33554432000 4194304 8395647 140734149208080 140734149202600 6708019 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 11763 10758 589 1026 0 10733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47052

[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25819696/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=47052 CPUtime=3.09 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 11300 0 0 0 307 2 0 0 20 0 1 0 346636427 48181248 10788 33554432000 4194304 8395647 140734149208080 140734149202648 4904064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 11763 10788 598 1026 0 10733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47052

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25786588/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=6.28 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 22959 0 0 0 621 7 0 0 20 0 1 0 346636427 96927744 22447 33554432000 4194304 8395647 140734149208080 140734149203208 6013877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 23664 22447 643 1026 0 22634 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 94656

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25774436/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=12.69 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23157 0 0 0 1261 8 0 0 20 0 1 0 346636427 96927744 22537 33554432000 4194304 8395647 140734149208080 140734149202696 6013893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14802/statm: 23664 22537 643 1026 0 22634 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94656

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25776088/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=25.48 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23372 0 0 0 2535 13 0 0 20 0 1 0 346636427 96927744 22752 33554432000 4194304 8395647 140734149208080 140734149203384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 22752 646 1026 0 22634 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94656

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25716004/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=51.07 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23382 0 0 0 5084 23 0 0 20 0 1 0 346636427 96927744 22762 33554432000 4194304 8395647 140734149208080 140734149202952 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 22762 646 1026 0 22634 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94656

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14803
/proc/meminfo: memFree=25701044/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=102.27 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23397 0 0 0 10185 42 0 0 20 0 1 0 346636427 96927744 22777 33554432000 4194304 8395647 140734149208080 140734149203640 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 22777 646 1026 0 22634 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 94656

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14807
/proc/meminfo: memFree=25698600/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=162.25 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23423 0 0 0 16162 63 0 0 20 0 1 0 346636427 96927744 23191 33554432000 4194304 8395647 140734149208080 140734149203320 6696995 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 23191 647 1026 0 22634 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 94656

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14807
/proc/meminfo: memFree=25698964/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=222.24 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23423 0 0 0 22140 84 0 0 20 0 1 0 346636427 96927744 23201 33554432000 4194304 8395647 140734149208080 140734149203208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 23201 647 1026 0 22634 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 94656

[startup+282.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/177 14807
/proc/meminfo: memFree=25699088/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=282.23 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23423 0 0 0 28114 109 0 0 20 0 1 0 346636427 96927744 23201 33554432000 4194304 8395647 140734149208080 140734149202952 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 23201 647 1026 0 22634 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 94656

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 14807
/proc/meminfo: memFree=25699212/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=342.22 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23423 0 0 0 34091 131 0 0 20 0 1 0 346636427 96927744 23201 33554432000 4194304 8395647 140734149208080 140734149203320 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 23201 647 1026 0 22634 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 94656

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14807
/proc/meminfo: memFree=25699088/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94656 CPUtime=402.21 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23423 0 0 0 40067 154 0 0 20 0 1 0 346636427 96927744 23201 33554432000 4194304 8395647 140734149208080 140734149203336 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23664 23201 647 1026 0 22634 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 94656

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14808
/proc/meminfo: memFree=25698468/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=95716 CPUtime=462.2 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23663 0 0 0 46040 180 0 0 20 0 1 0 346636427 98013184 23441 33554432000 4194304 8395647 140734149208080 140734149202952 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23929 23441 647 1026 0 22899 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 95716

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14808
/proc/meminfo: memFree=25696916/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=97032 CPUtime=522.19 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23977 0 0 0 52013 206 0 0 20 0 1 0 346636427 99360768 23762 33554432000 4194304 8395647 140734149208080 140734149203208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 24258 23762 647 1026 0 23228 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 97032

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14808
/proc/meminfo: memFree=25697164/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=97032 CPUtime=582.18 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 23977 0 0 0 57990 228 0 0 20 0 1 0 346636427 99360768 23762 33554432000 4194304 8395647 140734149208080 140734149203208 5541231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 24258 23762 647 1026 0 23228 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 97032

[startup+642.3 s]

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

/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=882.14 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 24827 0 0 0 87871 343 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203544 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 94692

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14812
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=942.13 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 24827 0 0 0 93845 368 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203592 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 94692

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 14812
/proc/meminfo: memFree=25700148/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1002.11 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 24827 0 0 0 99821 390 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203544 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 94692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 14815
/proc/meminfo: memFree=25699388/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1062.11 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 24827 0 0 0 105799 412 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149202936 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 94692

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14815
/proc/meminfo: memFree=25699520/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1122.1 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 24827 0 0 0 111776 434 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203688 6741190 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 94692

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 14815
/proc/meminfo: memFree=25699272/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1182.09 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 117750 459 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203800 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 94692

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 14815
/proc/meminfo: memFree=25698900/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1242.08 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 123723 485 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 94692

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 14815
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1302.08 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 129699 509 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149202936 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 94692

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 14819
/proc/meminfo: memFree=25698644/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1362.06 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 135675 531 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203592 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 94692

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14819
/proc/meminfo: memFree=25698652/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1422.07 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 141654 553 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 94692

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14819
/proc/meminfo: memFree=25698652/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1482.04 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 147629 575 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203512 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 94692

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14819
/proc/meminfo: memFree=25698652/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1542.04 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 153604 600 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 94692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14819
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1602.03 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 159579 624 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 94692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1662.02 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 165556 646 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203480 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 94692

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

[startup+1663.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1663.62 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 165715 647 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203640 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 94692

[startup+1665.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1665.22 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 165874 648 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1665.22
Current children cumulated vsize (KiB) 94692

[startup+1667.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1666.81 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 166033 648 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203688 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1666.81
Current children cumulated vsize (KiB) 94692

[startup+1667.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1667.23 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 166074 649 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203288 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1667.23
Current children cumulated vsize (KiB) 94692

[startup+1667.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14820
/proc/meminfo: memFree=25698776/32873844 swapFree=7628/7628
[pid=14802] ppid=14800 vsize=94692 CPUtime=1667.62 cores=0,2,4,6
/proc/14802/stat : 14802 (pbscip.linux.x8) R 14800 14802 13522 0 -1 4202496 27093 0 0 0 166113 649 0 0 20 0 1 0 346636427 96964608 23224 33554432000 4194304 8395647 140734149208080 140734149203944 7506570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14802/statm: 23673 23224 647 1026 0 22643 0
Current children cumulated CPU time (s) 1667.62
Current children cumulated vsize (KiB) 94692

Child status: 0
Real time (s): 1667.92
CPU time (s): 1667.65
CPU user time (s): 1661.15
CPU system time (s): 6.49301
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 97220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1661.15
system time used= 6.49301
maximum resident set size= 101960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27098
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= 15
involuntary context switches= 2021

runsolver used 5.85911 second user time and 15.4337 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-04 12:17:59
IDJOB=3744353
IDBENCH=92735
IDSOLVER=2326
FILE ID=node107/3744353-1338805079
RUNJOBID= node107-1338803276-14659
PBS_JOBID= 14636851
Free space on /tmp= 70596 MiB

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

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

MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22
RANDOM SEED=1406414814

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.760
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.86
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.760
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:        25861120 kB
Buffers:         1025120 kB
Cached:          4983200 kB
SwapCached:           76 kB
Active:          2925560 kB
Inactive:        3191508 kB
Active(anon):      98592 kB
Inactive(anon):    11184 kB
Active(file):    2826968 kB
Inactive(file):  3180324 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             22224 kB
Writeback:             0 kB
AnonPages:        141160 kB
Mapped:            16848 kB
Shmem:               184 kB
Slab:             752040 kB
SReclaimable:     193724 kB
SUnreclaim:       558316 kB
KernelStack:        1480 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     224056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 70584 MiB
End job on node107 at 2012-06-04 12:45:47