Trace number 1869623

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT27 45.4881 45.5089

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
MD5SUM45c2f7ac01d7ade9fbe465857931ee2b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark54.8697
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables5828
Total number of constraints17411
Number of constraints which are clauses17411
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2817
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2817
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2817
Number of bits of the biggest sum of numbers12
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.19/0.25	c SCIP version 1.1.0.7
0.19/0.25	c LP-Solver Clp 1.8.2
0.19/0.25	c user parameter file <scip.set> not found - using default parameters
0.19/0.25	c read problem <HOME/instance-1869623-1245181252.opb>
0.19/0.25	c original problem has 5828 variables (5828 bin, 0 int, 0 impl, 0 cont) and 17411 constraints
0.29/0.33	c start presolving problem
0.29/0.33	c presolving:
0.39/0.47	c (round 1) 3102 del vars, 6014 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.39/0.48	c (round 2) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.49/0.59	c (round 3) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10002 upgd conss, 32013 impls, 0 clqs
0.59/0.62	c (round 4) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10028 upgd conss, 32013 impls, 0 clqs
0.69/0.72	c    (0.4s) probing: 101/2724 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.72	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.69/0.72	c presolving (5 rounds):
0.69/0.72	c  3104 deleted vars, 7383 deleted constraints, 284 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.69/0.72	c  32013 implications, 0 cliques
0.69/0.72	c presolved problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 10028 constraints
0.69/0.72	c   10028 constraints of type <logicor>
0.69/0.72	c transformed objective value is always integral (scale: 1)
0.69/0.72	c Presolving Time: 0.37
0.69/0.73	c strange?!, PURESAT with obj
0.69/0.73	c -----------------------------------------------------------------------------------------------
0.69/0.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73	c limits/memory = c 1620
0.69/0.73	c # maximal time in seconds to run
0.69/0.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73	c limits/time = c 1791
0.69/0.73	c # frequency for displaying node information lines
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.73	c display/freq = c 10000
0.69/0.73	c -----------------------------------------------------------------------------------------------
0.69/0.73	c start solving problem
0.69/0.73	c 
0.79/0.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.87	c   0.5s|     1 |     0 |   429 |  26M|   0 | 110 |2724 |  10k|  10k|2724 |  10k|   0 |   0 |   0 | 2.466667e+01 |      --      |    Inf 
0.79/0.88	o 41
0.79/0.88	c R 0.6s|     1 |     0 |   429 |  26M|   0 | 110 |2724 |  10k|  10k|2724 |  10k|   0 |   0 |   0 | 2.466667e+01 | 4.100000e+01 |  66.22%
1.69/1.77	c   1.4s|     1 |     0 |   534 |  26M|   0 |  99 |2724 |  10k|  10k|2724 |  10k|   2 |   0 |   0 | 2.473973e+01 | 4.100000e+01 |  65.73%
1.69/1.78	o 38
1.69/1.78	c R 1.4s|     1 |     0 |   534 |  27M|   0 |  99 |2724 |  10k|  10k|2724 |  10k|   2 |   0 |   0 | 2.473973e+01 | 3.800000e+01 |  53.60%
2.79/2.81	c   2.4s|     1 |     0 |   608 |  27M|   0 | 107 |2724 |  10k|  10k|2724 |  10k|   5 |   0 |   0 | 2.483056e+01 | 3.800000e+01 |  53.04%
5.09/5.13	c   4.7s|     1 |     0 |   711 |  27M|   0 |  99 |2724 |  10k|  10k|2724 |  10k|   7 |   0 |   0 | 2.488055e+01 | 3.800000e+01 |  52.73%
7.29/7.39	c   7.0s|     1 |     0 |   831 |  27M|   0 |  97 |2724 |  10k|  10k|2724 |  10k|   8 |   0 |   0 | 2.490582e+01 | 3.800000e+01 |  52.57%
7.29/7.40	o 37
7.29/7.40	c R 7.0s|     1 |     0 |   831 |  27M|   0 |  97 |2724 |  10k|  10k|2724 |  10k|   8 |   0 |   0 | 2.490582e+01 | 3.700000e+01 |  48.56%
8.39/8.40	c   8.0s|     1 |     0 |  1028 |  27M|   0 | 169 |2724 |  10k|  10k|2724 |  10k|  12 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
11.09/11.19	c  10.7s|     1 |     0 |  1169 |  27M|   0 | 151 |2724 |  10k|  10k|2724 |  10k|  16 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
13.68/13.75	c  13.3s|     1 |     0 |  1326 |  27M|   0 | 152 |2724 |  10k|  10k|2724 |  10k|  20 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
15.19/15.23	c  14.8s|     1 |     0 |  1533 |  28M|   0 | 141 |2724 |  10k|  10k|2724 |  10k|  24 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
17.99/18.05	c  17.6s|     1 |     0 |  1634 |  28M|   0 | 142 |2724 |  10k|  10k|2724 |  10k|  26 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
19.99/20.06	c  19.6s|     1 |     0 |  1930 |  28M|   0 | 153 |2724 |  10k|  10k|2724 |  10k|  31 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
22.69/22.77	c  22.3s|     1 |     0 |  1971 |  28M|   0 | 135 |2724 |  10k|  10k|2724 |  10k|  34 |   0 |   0 | 2.500000e+01 | 3.700000e+01 |  48.00%
22.99/23.08	o 27
22.99/23.08	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.99/23.08	c E22.5s|     1 |     0 |  1971 |  28M|   0 | 135 |2724 |  10k|  10k|2724 |  10k|  34 |   0 |   0 | 2.500000e+01 | 2.700000e+01 |   8.00%
22.99/23.10	c  22.6s|     1 |     0 |  1971 |  28M|   0 | 135 |2724 |  10k|  10k|2724 |  10k|  34 |   0 |   0 | 2.500000e+01 | 2.700000e+01 |   8.00%
25.59/25.62	c  25.1s|     1 |     0 |  2113 |  28M|   0 | 136 |2724 |  10k|  10k|2724 |  10k|  36 |   0 |   0 | 2.500000e+01 | 2.700000e+01 |   8.00%
36.98/37.05	c  36.5s|     1 |     0 |  2219 |  28M|   0 | 130 |2724 |  10k|  10k|2724 |  10k|  36 |   0 |  48 | 2.500151e+01 | 2.700000e+01 |   7.99%
39.38/39.42	c  38.8s|     1 |     0 |  2326 |  26M|   0 | 153 |2724 |8015 |8015 |2724 |2371 |  38 |   0 |  48 | 2.507639e+01 | 2.700000e+01 |   7.67%
40.28/40.34	c  39.8s|     1 |     0 |  2326 |  26M|   0 |   - |2724 |8015 |8015 |2724 |2371 |  38 |   0 |  60 | 2.507639e+01 | 2.700000e+01 |   7.67%
40.28/40.34	c (run 1, node 1) restarting after 1895 global fixings of integer variables
40.28/40.35	c 
40.28/40.35	(restart) converted 37 cuts from the global cut pool into linear constraints
40.28/40.37	c 
40.28/40.37	presolving:
40.28/40.39	c (round 1) 1896 del vars, 5726 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32033 impls, 19 clqs
40.38/40.41	c (round 2) 1896 del vars, 5726 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.51	c (round 3) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 5 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.53	c (round 4) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 8 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.55	c (round 5) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 12 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.57	c (round 6) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 16 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.58	c (round 7) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 19 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.48/40.60	c (round 8) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 22 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.59/40.62	c (round 9) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 24 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.59/40.64	c (round 10) 1896 del vars, 5726 del conss, 0 chg bounds, 2 chg sides, 26 chg coeffs, 36 upgd conss, 32033 impls, 19 clqs
40.59/40.66	c presolving (11 rounds):
40.59/40.66	c  1896 deleted vars, 5726 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 27 changed coefficients
40.59/40.66	c  32033 implications, 19 cliques
40.59/40.66	c presolved problem has 828 variables (828 bin, 0 int, 0 impl, 0 cont) and 2326 constraints
40.59/40.66	c      17 constraints of type <knapsack>
40.59/40.66	c      19 constraints of type <setppc>
40.59/40.66	c    2290 constraints of type <logicor>
40.59/40.66	c transformed objective value is always integral (scale: 1)
40.59/40.66	c Presolving Time: 0.66
40.59/40.66	c 
40.78/40.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.78/40.84	c  40.2s|     1 |     0 |  2927 |  21M|   0 | 136 | 828 |2326 |2326 | 828 |2324 |   0 |   0 |  60 | 2.508001e+01 | 2.700000e+01 |   7.66%
41.38/41.50	c  40.9s|     1 |     0 |  2932 |  21M|   0 | 135 | 828 |2326 |2326 | 828 |2326 |   2 |   0 |  60 | 2.508001e+01 | 2.700000e+01 |   7.66%
42.78/42.87	c  42.2s|     1 |     2 |  2932 |  21M|   0 | 135 | 828 |2326 |2326 | 828 |2326 |   2 |   0 |  77 | 2.508001e+01 | 2.700000e+01 |   7.66%
45.37/45.42	c 
45.37/45.42	c SCIP Status        : problem is solved [optimal solution found]
45.37/45.42	c Solving Time (sec) : 44.80
45.37/45.42	c Solving Nodes      : 5 (total of 6 nodes in 2 runs)
45.37/45.42	c Primal Bound       : +2.70000000000000e+01 (4 solutions)
45.37/45.42	c Dual Bound         : +2.70000000000000e+01
45.37/45.42	c Gap                : 0.00 %
45.37/45.44	c NODE         5
45.37/45.44	c DUAL BOUND   27
45.37/45.44	c PRIMAL BOUND 27
45.37/45.44	c GAP          0
45.37/45.44	s OPTIMUM FOUND
45.37/45.44	v x202 x201 x5827 x200 x5825 x5823 x199 -x5821 x198 x5819 -x5817 -x5815 -x197 -x5813 -x5811 -x5809 -x196 -x5807 -x5805 -x5803 -x5801 
45.37/45.44	v -x5799 -x5797 -x195 -x5795 x194 x5793 -x5791 -x5789 -x193 -x5787 -x5785 -x192 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 
45.37/45.44	v -x191 -x5769 -x5767 -x5765 -x190 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x189 -x5749 -x5747 -x5745 -x5743 -x5741 
45.37/45.44	v -x5739 -x5737 -x188 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x187 -x5709 
45.37/45.44	v x186 x5707 -x5705 -x5703 x5701 -x5699 -x5697 -x185 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x184 -x5681 x5679 -x5677 
45.37/45.44	v -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x183 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x182 -x5647 -x5645 
45.37/45.44	v -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x181 -x5617 -x5615 -x5613 -x180 
45.37/45.44	v -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x179 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x178 -x5583 -x5581 
45.37/45.44	v -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x177 -x5553 x5551 -x5549 -x5547 
45.37/45.44	v -x5545 -x5543 -x5541 x176 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 
45.37/45.44	v -x175 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x174 -x5479 
45.37/45.44	v -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 
45.37/45.44	v -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x173 -x5423 -x172 -x5421 -x5419 -x5417 -x171 -x5415 -x5413 
45.37/45.44	v -x5411 -x170 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x169 -x5395 x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 
45.37/45.44	v -x5379 -x168 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x167 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 
45.37/45.44	v -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x166 -x5333 -x5331 -x5329 -x165 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 
45.37/45.44	v -x5315 -x164 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x163 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 
45.37/45.44	v -x5281 -x5279 -x5277 -x5275 -x5273 -x162 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x161 -x5257 -x5255 -x5253 -x5251 
45.37/45.44	v -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x160 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 
45.37/45.44	v -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x159 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 
45.37/45.44	v -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 
45.37/45.44	v -x5145 -x5143 -x5141 -x5139 -x158 -x5137 -x5135 -x5133 -x157 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x156 -x5117 
45.37/45.44	v -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x155 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 
45.37/45.44	v -x5081 -x5079 -x5077 -x5075 -x154 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x153 -x5059 -x5057 -x5055 -x5053 -x5051 
45.37/45.44	v -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x152 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 
45.37/45.44	v -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x151 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 
45.37/45.44	v -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 
45.37/45.44	v -x4944 -x4942 -x4940 -x150 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x149 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 
45.37/45.44	v -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x148 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 
45.37/45.44	v -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x147 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 
45.37/45.44	v -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 
45.37/45.44	v -x4808 -x4806 -x146 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 
45.37/45.44	v -x145 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 
45.37/45.44	v -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x144 -x4713 -x4711 -x4709 -x4707 
45.37/45.44	v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 
45.37/45.44	v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x143 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 
45.37/45.44	v -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 
45.37/45.44	v -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 
45.37/45.44	v -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 
45.37/45.44	v -x142 -x4529 -x4527 -x4525 -x141 -x4523 -x4521 -x4519 -x140 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 x4503 -x4501 -x4499 
45.37/45.44	v -x139 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x138 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x137 -x4469 
45.37/45.44	v -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x136 -x4439 -x4437 -x4435 
45.37/45.44	v -x135 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x134 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x133 -x4405 
45.37/45.44	v -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x132 -x4375 -x4373 -x4371 
45.37/45.44	v -x4369 -x4367 -x4365 -x4363 -x131 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 
45.37/45.44	v -x4335 -x4333 -x130 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 
45.37/45.44	v -x129 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 
45.37/45.44	v -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x128 -x4239 -x4237 -x4235 
45.37/45.44	v x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x127 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x126 -x4205 -x4203 -x4201 
45.37/45.44	v -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x125 -x4175 -x4173 -x4171 -x4169 -x4167 
45.37/45.44	v -x4165 -x4163 -x124 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 
45.37/45.44	v -x123 -x4131 -x4129 -x4127 -x122 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x121 -x4111 -x4109 -x4107 -x4105 -x4103 
45.37/45.44	v -x4101 -x4099 -x120 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 
45.37/45.44	v -x119 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x118 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 
45.37/45.44	v -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x117 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 
45.37/45.44	v -x4001 -x3999 -x3997 x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x116 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 
45.37/45.44	v -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x115 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 
45.37/45.44	v -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x114 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 
45.37/45.44	v -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 
45.37/45.44	v -x3863 -x3861 -x3859 -x113 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 
45.37/45.44	v -x3829 -x112 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x111 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 
45.37/45.44	v -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x110 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 
45.37/45.44	v -x3763 -x3761 -x3759 -x3757 -x3755 -x109 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 
45.37/45.44	v -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 
45.37/45.44	v -x3693 -x108 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x107 
45.37/45.44	v -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 
45.37/45.44	v -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x106 -x3600 -x105 -x3598 -x3596 -x3594 
45.37/45.44	v -x104 -x3592 -x3590 -x3588 -x103 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x102 -x3572 -x3570 -x3568 -x101 -x3566 -x3564 
45.37/45.44	v -x3562 -x3560 -x3558 -x3556 -x3554 -x100 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x99 -x3538 -x3536 -x3534 -x3532 
45.37/45.44	v -x3530 x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x98 -x3504 -x3502 -x3500 -x3498 
45.37/45.44	v -x3496 -x3494 -x3492 -x97 -x3490 x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 x3462 
45.37/45.44	v -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x96 -x3432 -x3430 -x3428 
45.37/45.44	v -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x95 -x3402 -x3400 -x3398 -x94 -x3396 
45.37/45.44	v -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x93 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x92 -x3368 -x3366 -x3364 -x3362 
45.37/45.44	v -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x91 -x3338 -x3336 -x3334 -x90 -x3332 -x3330 
45.37/45.44	v -x3328 -x3326 -x3324 -x3322 -x3320 -x89 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x88 -x3304 -x3302 -x3300 -x3298 -x3296 
45.37/45.44	v -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x87 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 
45.37/45.44	v -x86 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x85 -x3230 
45.37/45.44	v -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x84 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 
45.37/45.44	v -x3194 -x3192 -x3190 -x3188 -x83 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 
45.37/45.44	v -x82 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 
45.37/45.44	v -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x81 -x3098 -x3096 -x3094 -x3092 
45.37/45.44	v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x80 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 
45.37/45.44	v -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 
45.37/45.44	v -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x79 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 
45.37/45.44	v -x78 -x2986 -x2984 -x2982 x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 
45.37/45.44	v -x2952 -x2950 -x2948 -x2946 -x2944 -x77 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x76 -x2928 -x2926 -x2924 -x2922 -x2920 
45.37/45.44	v -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x75 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 
45.37/45.44	v -x74 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x73 -x2854 
45.37/45.44	v -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x72 -x2824 -x2822 -x2820 
45.37/45.44	v -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 
45.37/45.44	v -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x71 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 
45.37/45.44	v -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x70 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x69 -x2718 -x2716 
45.37/45.44	v -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x68 -x2688 -x2686 -x2684 -x2682 
45.37/45.44	v -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x67 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 
45.37/45.44	v -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 
45.37/45.44	v -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x66 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 
45.37/45.44	v -x2576 -x2574 -x2572 -x2570 -x65 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 
45.37/45.44	v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 
45.37/45.44	v -x64 -x2506 -x2504 x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 
45.37/45.44	v -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 
45.37/45.44	v -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x63 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 
45.37/45.44	v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 
45.37/45.44	v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x62 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 
45.37/45.44	v -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2305 -x2303 -x2301 -x2299 -x2297 
45.37/45.44	v -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 
45.37/45.44	v -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 
45.37/45.44	v -x2223 -x2221 -x2219 -x2217 x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 
45.37/45.44	v -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x61 -x2163 -x2161 -x2159 -x60 -x2157 
45.37/45.44	v -x2155 -x2153 -x59 -x2151 -x2149 -x2147 -x58 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x57 -x2131 -x2129 -x2127 -x2125 
45.37/45.44	v -x2123 -x2121 -x2119 -x56 -x2117 -x2115 -x2113 -x55 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x54 -x2097 -x2095 -x2093 
45.37/45.44	v -x2091 -x2089 -x2087 -x2085 -x53 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 
45.37/45.44	v -x2057 -x2055 -x52 -x2053 -x2051 -x2049 -x51 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x50 -x2033 -x2031 -x2029 -x2027 
45.37/45.44	v -x2025 -x2023 -x2021 -x49 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x48 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 
45.37/45.44	v -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x47 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 
45.37/45.44	v -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x46 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x45 -x1931 -x1929 -x1927 
45.37/45.44	v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x44 -x1901 -x1899 -x1897 -x1895 -x1893 
45.37/45.44	v -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x43 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 
45.37/45.44	v -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 
45.37/45.44	v -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x42 -x1809 -x1807 -x1805 -x41 -x1803 -x1801 -x1799 -x1797 x1795 -x1793 -x1791 
45.37/45.44	v -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x40 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 
45.37/45.44	v -x1753 -x1751 -x1749 -x39 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x38 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 
45.37/45.44	v -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x37 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 
45.37/45.44	v -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x36 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 
45.37/45.44	v -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 
45.37/45.44	v -x1617 -x1615 -x1613 -x35 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x34 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 
45.37/45.44	v -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x33 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 
45.37/45.44	v -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x32 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 
45.37/45.44	v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 
45.37/45.44	v -x1479 -x1477 -x31 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 
45.37/45.44	v -x30 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 
45.37/45.44	v -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x29 -x1383 -x1381 -x1379 
45.37/45.44	v -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 
45.37/45.44	v -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1324 -x28 -x1322 -x1320 -x1318 x1316 -x1314 -x1312 -x1310 -x1308 
45.37/45.44	v -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 
45.37/45.44	v -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 
45.37/45.44	v -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 
45.37/45.44	v -x1198 -x1196 -x1194 -x1192 -x27 -x1190 x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 
45.37/45.44	v -x1164 -x26 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x25 -x1132 
45.37/45.44	v -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x24 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 
45.37/45.44	v -x1096 -x1094 -x1092 -x1090 -x23 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 
45.37/45.44	v -x1062 -x1060 -x22 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1033 -x1031 -x1029 
45.37/45.44	v -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x21 -x997 -x995 -x993 
45.37/45.44	v -x20 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x19 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x18 -x963 -x961 -x959 -x957 
45.37/45.44	v -x955 -x953 -x951 -x17 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x16 -x919 
45.37/45.44	v -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879 
45.37/45.44	v -x877 -x14 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x13 -x845 -x843 -x841 
45.37/45.44	v -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x12 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 
45.37/45.44	v -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 
45.37/45.44	v x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x11 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 
45.37/45.44	v -x717 -x715 -x713 -x711 -x10 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x9 -x679 
45.37/45.44	v -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 
45.37/45.44	v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x8 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x7 -x603 -x601 -x599 
45.37/45.44	v -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x6 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 
45.37/45.44	v -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 
45.37/45.44	v -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x4 -x481 -x479 
45.37/45.44	v -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 
45.37/45.44	v -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 
45.37/45.44	v -x395 -x393 -x391 -x2 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 
45.37/45.44	v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x1 -x327 -x324 -x322 -x320 -x318 -x316 -x314 
45.37/45.44	v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 
45.37/45.44	v -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 
45.37/45.44	v -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 x5828 x5826 x5824 -x5822 x5820 -x5818 -x5816 
45.37/45.44	v -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 
45.37/45.44	v -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 
45.37/45.44	v -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 x5708 
45.37/45.44	v -x5706 -x5704 x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 x5680 -x5678 -x5676 -x5674 -x5672 
45.37/45.44	v -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 
45.37/45.44	v -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 
45.37/45.44	v -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 
45.37/45.44	v -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 
45.37/45.44	v -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 
45.37/45.44	v -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 
45.37/45.44	v -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 
45.37/45.44	v -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 x5394 -x5392 -x5390 -x5388 -x5386 
45.37/45.44	v -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 
45.37/45.44	v -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 
45.37/45.44	v -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 
45.37/45.44	v -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 
45.37/45.44	v -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 
45.37/45.44	v -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 
45.37/45.44	v -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 
45.37/45.44	v -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 
45.37/45.44	v -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 
45.37/45.44	v -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 
45.37/45.44	v -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 
45.37/45.44	v -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 
45.37/45.44	v -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 
45.37/45.44	v -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 
45.37/45.44	v -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 
45.37/45.44	v -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 
45.37/45.44	v -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 
45.37/45.44	v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 
45.37/45.44	v -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 
45.37/45.44	v -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 
45.37/45.44	v -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 
45.37/45.44	v -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 
45.37/45.44	v -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 
45.37/45.44	v -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 
45.37/45.44	v -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 x4504 -x4502 -x4500 -x4498 -x4496 -x4494 
45.37/45.44	v -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 
45.37/45.44	v -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 
45.37/45.44	v -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 
45.37/45.44	v -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 
45.37/45.44	v -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 
45.37/45.44	v -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 
45.37/45.44	v -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 
45.37/45.44	v -x4242 -x4240 -x4238 -x4236 x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 
45.37/45.44	v -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 
45.37/45.44	v -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 
45.37/45.44	v -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 
45.37/45.44	v -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 
45.37/45.44	v -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 
45.37/45.44	v -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 x3996 -x3994 
45.37/45.44	v -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 
45.37/45.44	v -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 
45.37/45.44	v -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 
45.37/45.44	v -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 
45.37/45.44	v -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 
45.37/45.44	v -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 
45.37/45.44	v -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 
45.37/45.44	v -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 
45.37/45.44	v -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 
45.37/45.44	v -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3637 
45.37/45.44	v -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 
45.37/45.44	v -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 
45.37/45.44	v -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 
45.37/45.44	v x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 
45.37/45.44	v -x3493 -x3491 x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 x3463 -x3461 -x3459 
45.37/45.44	v -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 
45.37/45.44	v -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 
45.37/45.44	v -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 
45.37/45.44	v -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 
45.37/45.44	v -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 
45.37/45.44	v -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 
45.37/45.44	v -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 
45.37/45.44	v -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 
45.37/45.44	v -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 
45.37/45.44	v -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 
45.37/45.44	v -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 
45.37/45.44	v -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 x3037 -x3035 -x3033 -x3031 -x3029 
45.37/45.44	v -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 
45.37/45.44	v -x2991 -x2989 -x2987 -x2985 -x2983 x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 
45.37/45.44	v -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 
45.37/45.44	v -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 
45.37/45.44	v -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 
45.37/45.44	v -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 
45.37/45.44	v -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 
45.37/45.44	v -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 
45.37/45.44	v -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 
45.37/45.44	v -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 
45.37/45.44	v -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 
45.37/45.44	v -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 
45.37/45.44	v -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 
45.37/45.44	v -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 
45.37/45.44	v -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 x2503 -x2501 -x2499 -x2497 -x2495 -x2493 
45.37/45.44	v -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 
45.37/45.44	v -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 
45.37/45.44	v -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 
45.37/45.44	v -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 
45.37/45.44	v -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 
45.37/45.44	v -x2313 -x2311 -x2309 x2307 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 
45.37/45.44	v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 
45.37/45.44	v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 x2216 -x2214 -x2212 -x2210 -x2208 
45.37/45.44	v -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 
45.37/45.44	v -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 
45.37/45.44	v -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 
45.37/45.44	v -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 
45.37/45.44	v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 
45.37/45.44	v -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 
45.37/45.44	v -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 
45.37/45.44	v -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 
45.37/45.44	v -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 
45.37/45.44	v -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 
45.37/45.44	v -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 
45.37/45.44	v -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 
45.37/45.44	v -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 
45.37/45.44	v -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 
45.37/45.44	v -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 
45.37/45.44	v -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 
45.37/45.44	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 
45.37/45.44	v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 
45.37/45.44	v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 
45.37/45.44	v -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 
45.37/45.44	v -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 
45.37/45.44	v -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 
45.37/45.44	v -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 
45.37/45.44	v -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 
45.37/45.44	v -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1325 -x1323 -x1321 -x1319 x1317 -x1315 
45.37/45.44	v -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 
45.37/45.44	v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 
45.37/45.44	v -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 
45.37/45.44	v -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 
45.37/45.44	v -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 
45.37/45.44	v -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 
45.37/45.44	v -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 
45.37/45.44	v -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1034 -x1032 -x1030 
45.37/45.44	v -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 
45.37/45.44	v -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 
45.37/45.44	v -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 
45.37/45.44	v -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 
45.37/45.44	v -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 
45.37/45.44	v -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 
45.37/45.44	v -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 
45.37/45.44	v -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 
45.37/45.44	v -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 
45.37/45.44	v -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 
45.37/45.44	v -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 
45.37/45.44	v -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 
45.37/45.44	v -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 
45.37/45.44	v -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 
45.37/45.44	v -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 
45.37/45.44	v -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 
45.37/45.44	v -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 
45.37/45.44	v -x326 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 x299 -x298 -x296 -x294 -x292 -x290 -x288 
45.37/45.44	v -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 
45.37/45.44	v -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 
45.37/45.44	c SCIP Status        : problem is solved [optimal solution found]
45.37/45.44	c Solving Time       :      44.80
45.37/45.44	c Original Problem   :
45.37/45.44	c   Problem name     : HOME/instance-1869623-1245181252.opb
45.37/45.44	c   Variables        : 5828 (5828 binary, 0 integer, 0 implicit integer, 0 continuous)
45.37/45.44	c   Constraints      : 17411 initial, 17411 maximal
45.37/45.44	c Presolved Problem  :
45.37/45.44	c   Problem name     : t_HOME/instance-1869623-1245181252.opb
45.37/45.44	c   Variables        : 828 (828 binary, 0 integer, 0 implicit integer, 0 continuous)
45.37/45.44	c   Constraints      : 2326 initial, 2326 maximal
45.37/45.44	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
45.37/45.44	c   trivial          :       0.01       1895          0          0          0          0          0          0          0
45.37/45.44	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
45.37/45.44	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
45.37/45.44	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
45.37/45.44	c   implics          :       0.00          0         10          0          0          0          0          0          0
45.37/45.44	c   probing          :       0.08          0          0          0          0          0          0          0          0
45.37/45.44	c   knapsack         :       0.10          0          0          0          0          0          0          1         27
45.37/45.44	c   setppc           :       0.00          0          0          0          0          0          0          0          0
45.37/45.44	c   linear           :       0.19        284       2811          0        284          0       7384          3          2
45.37/45.44	c   logicor          :       0.23          0          0          0          0          0       5725          0          0
45.37/45.44	c   root node        :          -       2353          -          -       2353          -          -          -          -
45.37/45.44	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
45.37/45.44	c   integral         :          0          0          0         10          0          3         21          0          0          4
45.37/45.44	c   knapsack         :         17          1         42          0          0          0          0          0          0          0
45.37/45.44	c   setppc           :         19          1         42          0          0          0          6          0          0          0
45.37/45.44	c   logicor          :       2290         14        239          0          0          0        716          0          0          0
45.37/45.44	c   countsols        :          0          0          0          0          0          0          0          0          0          0
45.37/45.44	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
45.37/45.44	c   integral         :      15.86       0.00       0.00      15.86       0.00
45.37/45.44	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
45.37/45.44	c   setppc           :       0.00       0.00       0.00       0.00       0.00
45.37/45.44	c   logicor          :       0.06       0.02       0.04       0.00       0.00
45.37/45.44	c   countsols        :       0.00       0.00       0.00       0.00       0.00
45.37/45.44	c Propagators        :       Time      Calls    Cutoffs    DomReds
45.37/45.44	c   rootredcost      :       0.00          0          0          0
45.37/45.44	c   pseudoobj        :       0.01         58          0          0
45.37/45.44	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
45.37/45.44	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
45.37/45.44	c   infeasible LP    :       0.00          2          0          0        0.0          0        0.0          0
45.37/45.44	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
45.37/45.44	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
45.37/45.44	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
45.37/45.44	c   applied globally :          -          -          -          0        0.0          -          -          -
45.37/45.44	c   applied locally  :          -          -          -          0        0.0          -          -          -
45.37/45.44	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
45.37/45.44	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 5)
45.37/45.44	c   redcost          :       0.03         25          0       2369          0          0
45.37/45.44	c   impliedbounds    :       0.00         14          0          0          0          0
45.37/45.44	c   intobj           :       0.00          0          0          0          0          0
45.37/45.44	c   gomory           :      12.28         14          0          0       2502          0
45.37/45.44	c   strongcg         :      10.34         14          0          0       4229          0
45.37/45.44	c   cmir             :       1.29         11          0          0          0          0
45.37/45.44	c   flowcover        :       1.55         11          0          0          0          0
45.37/45.44	c   clique           :       0.01         14          0          0         60          0
45.37/45.44	c   zerohalf         :       0.00          0          0          0          0          0
45.37/45.44	c   mcf              :       0.02          2          0          0          0          0
45.37/45.44	c Pricers            :       Time      Calls       Vars
45.37/45.44	c   problem variables:       0.00          0          0
45.37/45.44	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
45.37/45.44	c   relpscost        :      15.86         10          3         21          0          0          4
45.37/45.44	c   pscost           :       0.00          0          0          0          0          0          0
45.37/45.44	c   inference        :       0.00          0          0          0          0          0          0
45.37/45.44	c   mostinf          :       0.00          0          0          0          0          0          0
45.37/45.44	c   leastinf         :       0.00          0          0          0          0          0          0
45.37/45.44	c   fullstrong       :       0.00          0          0          0          0          0          0
45.37/45.44	c   allfullstrong    :       0.00          0          0          0          0          0          0
45.37/45.44	c   random           :       0.00          0          0          0          0          0          0
45.37/45.44	c Primal Heuristics  :       Time      Calls      Found
45.37/45.44	c   LP solutions     :       0.00          -          0
45.37/45.44	c   pseudo solutions :       0.00          -          0
45.37/45.44	c   pscostdiving     :       0.00          0          0
45.37/45.44	c   oneopt           :       0.00          1          0
45.37/45.44	c   simplerounding   :       0.01          0          0
45.37/45.44	c   rounding         :       0.04         24          3
45.37/45.44	c   shifting         :       0.05         17          0
45.37/45.44	c   intshifting      :       0.00          0          0
45.37/45.44	c   fixandinfer      :       0.00          0          0
45.37/45.44	c   feaspump         :       0.00          0          0
45.37/45.44	c   coefdiving       :       0.05          1          0
45.37/45.44	c   fracdiving       :       0.00          0          0
45.37/45.44	c   veclendiving     :       0.00          0          0
45.37/45.44	c   intdiving        :       0.00          0          0
45.37/45.44	c   actconsdiving    :       0.00          0          0
45.37/45.44	c   objpscostdiving  :       0.00          0          0
45.37/45.44	c   rootsoldiving    :       0.00          0          0
45.37/45.44	c   linesearchdiving :       0.00          0          0
45.37/45.44	c   guideddiving     :       0.00          0          0
45.37/45.44	c   octane           :       0.00          0          0
45.37/45.44	c   rens             :       0.28          1          1
45.37/45.44	c   rins             :       0.00          0          0
45.37/45.44	c   localbranching   :       0.00          0          0
45.37/45.44	c   mutation         :       0.00          0          0
45.37/45.44	c   crossover        :       0.00          0          0
45.37/45.44	c   dins             :       0.00          0          0
45.37/45.44	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
45.37/45.44	c   primal LP        :       0.16          0          0       0.00       0.00
45.37/45.44	c   dual LP          :       1.95         24       3668     152.83    1881.03
45.37/45.44	c   barrier LP       :       0.00          0          0       0.00          -
45.37/45.44	c   diving/probing LP:       0.05          6        138      23.00    2760.00
45.37/45.44	c   strong branching :      15.86        136      32089     235.95    2023.27
45.37/45.44	c     (at root node) :          -         77      23171     300.92          -
45.37/45.44	c   conflict analysis:       0.00          0          0       0.00          -
45.37/45.44	c B&B Tree           :
45.37/45.44	c   number of runs   :          2
45.37/45.44	c   nodes            :          5
45.37/45.44	c   nodes (total)    :          6
45.37/45.44	c   nodes left       :          0
45.37/45.44	c   max depth        :          2
45.37/45.44	c   max depth (total):          2
45.37/45.44	c   backtracks       :          1 (20.0%)
45.37/45.44	c   delayed cutoffs  :          0
45.37/45.44	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
45.37/45.44	c   avg switch length:       2.00
45.37/45.44	c   switching time   :       0.04
45.37/45.44	c Solution           :
45.37/45.44	c   Solutions found  :          4 (4 improvements)
45.37/45.44	c   Primal Bound     : +2.70000000000000e+01   (in run 1, after 1 nodes, 22.53 seconds, depth 0, found by <rens>)
45.37/45.44	c   Dual Bound       : +2.70000000000000e+01
45.37/45.44	c   Gap              :       0.00 %
45.37/45.44	c   Root Dual Bound  : +2.50800142501676e+01
45.48/45.50	c Time complete: 45.48.

Verifier Data 

OK	27

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869623-1245181252/watcher-1869623-1245181252 -o /tmp/evaluation-result-1869623-1245181252/solver-1869623-1245181252 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869623-1245181252.opb 

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 10984
/proc/meminfo: memFree=1836720/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=7616 CPUtime=0
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 569 0 0 0 0 0 0 0 20 0 1 0 185723166 7798784 553 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10984/statm: 1904 563 354 1256 0 643 0

[startup+0.0764819 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 10984
/proc/meminfo: memFree=1836720/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=16412 CPUtime=0.07
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 3101 0 0 0 6 1 0 0 20 0 1 0 185723166 16805888 3085 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10984/statm: 4103 3085 378 1256 0 2842 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16412

[startup+0.102484 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 10984
/proc/meminfo: memFree=1836720/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=17984 CPUtime=0.09
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 3481 0 0 0 8 1 0 0 20 0 1 0 185723166 18415616 3465 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10984/statm: 4496 3465 378 1256 0 3235 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17984

[startup+0.302506 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 10984
/proc/meminfo: memFree=1836720/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=37876 CPUtime=0.29
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 8834 0 0 0 26 3 0 0 22 0 1 0 185723166 38785024 8464 1992294400 4194304 9342243 548682068736 18446744073709551615 4240299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 9469 8464 416 1256 0 8208 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37876

[startup+0.702559 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 10984
/proc/meminfo: memFree=1836720/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=47952 CPUtime=0.69
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 11185 0 0 0 61 8 0 0 25 0 1 0 185723166 49102848 10815 1992294400 4194304 9342243 548682068736 18446744073709551615 5422857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 11988 10815 489 1256 0 10727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47952

[startup+1.50164 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1781032/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=72676 CPUtime=1.49
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 16817 0 0 0 138 11 0 0 25 0 1 0 185723166 74420224 16370 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 18169 16370 639 1256 0 16908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72676

[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1767144/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=80328 CPUtime=3.09
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 19075 0 0 0 294 15 0 0 25 0 1 0 185723166 82255872 18628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 20082 18628 658 1256 0 18821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80328

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1763120/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=82072 CPUtime=6.29
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 19357 0 0 0 612 17 0 0 25 0 1 0 185723166 84041728 18910 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 20518 18910 658 1256 0 19257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82072

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1759664/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=86168 CPUtime=12.69
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 20590 0 0 0 1247 22 0 0 25 0 1 0 185723166 88236032 19798 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 21542 19798 658 1256 0 20281 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86168

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1745712/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=102984 CPUtime=25.48
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 29955 0 0 0 2517 31 0 0 25 0 1 0 185723166 105455616 23328 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25746 23328 695 1256 0 24485 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102984

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

[startup+38.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1745392/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=102984 CPUtime=38.28
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30287 0 0 0 3795 33 0 0 25 0 1 0 185723166 105455616 23410 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25746 23410 699 1256 0 24485 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 102984

[startup+41.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1745840/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=101044 CPUtime=41.48
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30930 0 0 0 4112 36 0 0 25 0 1 0 185723166 103469056 23919 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25261 23919 701 1256 0 24000 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 101044

[startup+43.1023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1743472/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=101044 CPUtime=43.07
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30930 0 0 0 4271 36 0 0 25 0 1 0 185723166 103469056 23919 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25261 23919 701 1256 0 24000 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 101044

[startup+44.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1743472/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=101044 CPUtime=44.67
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30933 0 0 0 4430 37 0 0 25 0 1 0 185723166 103469056 23922 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25261 23922 704 1256 0 24000 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 101044

[startup+45.1055 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1743472/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=101044 CPUtime=45.08
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30933 0 0 0 4471 37 0 0 25 0 1 0 185723166 103469056 23922 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10984/statm: 25261 23922 704 1256 0 24000 0
Current children cumulated CPU time (s) 45.08
Current children cumulated vsize (KiB) 101044

[startup+45.5021 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10985
/proc/meminfo: memFree=1743472/2055920 swapFree=4180892/4192956
[pid=10984] ppid=10982 vsize=69052 CPUtime=45.48
/proc/10984/stat : 10984 (pbscip.linux.x8) R 10982 10984 10406 0 -1 4194304 30934 0 0 0 4509 39 0 0 25 0 1 0 185723166 70709248 9236 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/10984/statm: 17263 9236 705 1256 0 16002 0
Current children cumulated CPU time (s) 45.48
Current children cumulated vsize (KiB) 69052

Child status: 0
Real time (s): 45.5089
CPU time (s): 45.4881
CPU user time (s): 45.0901
CPU system time (s): 0.397939
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 123200

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

runsolver used 0.052991 second user time and 0.12798 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 21:40:52
IDJOB=1869623
IDBENCH=24974
IDSOLVER=684
FILE ID=node87/1869623-1245181252
PBS_JOBID= 9363913
Free space on /tmp= 66540 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869623-1245181252/watcher-1869623-1245181252 -o /tmp/evaluation-result-1869623-1245181252/solver-1869623-1245181252 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869623-1245181252.opb

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=356860671

node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1837136 kB
Buffers:         46740 kB
Cached:         105728 kB
SwapCached:       6176 kB
Active:          68940 kB
Inactive:        92220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837136 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:           12236 kB
Writeback:           0 kB
Mapped:          14440 kB
Slab:            43456 kB
Committed_AS:    84228 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66528 MiB
End job on node87 at 2009-06-16 21:41:37