Trace number 2703739

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT-2451377 1074.05 1074.42

General information on the benchmark

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

Verifier Data 

OK	-2451377

Watcher Data 

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

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

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: 0.99 0.97 0.91 3/106 32443
/proc/meminfo: memFree=1677792/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=7904 CPUtime=0
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 1082 0 0 0 0 0 0 0 17 0 1 0 23331226 8093696 994 1992294400 4194304 8395647 140734221622080 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32443/statm: 1976 1002 365 1026 0 946 0

[startup+0.0554071 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 32443
/proc/meminfo: memFree=1677792/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=15440 CPUtime=0.04
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 3152 0 0 0 4 0 0 0 17 0 1 0 23331226 15810560 3063 1992294400 4194304 8395647 140734221622080 18446744073709551615 7382027 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32443/statm: 3860 3063 394 1026 0 2830 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15440

[startup+0.101414 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 32443
/proc/meminfo: memFree=1677792/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=20260 CPUtime=0.09
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 4641 0 0 0 8 1 0 0 17 0 1 0 23331226 20746240 4198 1992294400 4194304 8395647 140734221622080 18446744073709551615 6069209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 5065 4198 410 1026 0 4035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20260

[startup+0.30145 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 32443
/proc/meminfo: memFree=1677792/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=30932 CPUtime=0.29
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 7160 0 0 0 27 2 0 0 17 0 1 0 23331226 31674368 6717 1992294400 4194304 8395647 140734221622080 18446744073709551615 6074061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 7733 6717 487 1026 0 6703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30932

[startup+0.701523 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 32443
/proc/meminfo: memFree=1677792/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=35212 CPUtime=0.69
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 8261 0 0 0 67 2 0 0 17 0 1 0 23331226 36057088 7818 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 8803 7818 501 1026 0 7773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35212

[startup+1.50167 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1648396/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=35212 CPUtime=1.49
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 8261 0 0 0 147 2 0 0 18 0 1 0 23331226 36057088 7818 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 8803 7818 501 1026 0 7773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35212

[startup+3.10196 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1648148/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=42620 CPUtime=3.09
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 10172 0 0 0 306 3 0 0 21 0 1 0 23331226 43642880 9655 1992294400 4194304 8395647 140734221622080 18446744073709551615 6503136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 10655 9655 573 1026 0 9625 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42620

[startup+6.30154 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1640584/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=43868 CPUtime=6.29
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 10466 0 0 0 623 6 0 0 25 0 1 0 23331226 44920832 9948 1992294400 4194304 8395647 140734221622080 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 10967 9948 607 1026 0 9937 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43868

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1611940/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=73096 CPUtime=12.68
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 17398 0 0 0 1259 9 0 0 25 0 1 0 23331226 74850304 16874 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18274 16874 617 1026 0 17244 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73096

[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1610824/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=74320 CPUtime=25.49
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 17723 0 0 0 2539 10 0 0 25 0 1 0 23331226 76103680 17199 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18580 17199 620 1026 0 17550 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74320

[startup+51.1007 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32444
/proc/meminfo: memFree=1609584/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75512 CPUtime=51.06
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18003 0 0 0 5096 10 0 0 25 0 1 0 23331226 77324288 17479 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18878 17479 620 1026 0 17848 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 75512

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32446
/proc/meminfo: memFree=1609584/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75512 CPUtime=102.25
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18026 0 0 0 10215 10 0 0 25 0 1 0 23331226 77324288 17502 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18878 17502 620 1026 0 17848 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 75512

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32448
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=162.22
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18034 0 0 0 16212 10 0 0 25 0 1 0 23331226 77459456 17510 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17510 620 1026 0 17881 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 75644

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32450
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=222.2
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18034 0 0 0 22209 11 0 0 25 0 1 0 23331226 77459456 17510 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17510 620 1026 0 17881 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 75644

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32450
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=282.18
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18034 0 0 0 28206 12 0 0 25 0 1 0 23331226 77459456 17510 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17510 620 1026 0 17881 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 75644

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32452
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=342.16
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18034 0 0 0 34203 13 0 0 25 0 1 0 23331226 77459456 17510 1992294400 4194304 8395647 140734221622080 18446744073709551615 6019938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17510 620 1026 0 17881 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 75644

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32454
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=402.14
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18036 0 0 0 40201 13 0 0 25 0 1 0 23331226 77459456 17512 1992294400 4194304 8395647 140734221622080 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17512 620 1026 0 17881 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 75644

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32456
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=462.12
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18037 0 0 0 46199 13 0 0 25 0 1 0 23331226 77459456 17513 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17513 620 1026 0 17881 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 75644

[startup+522.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32458
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=522.09
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18038 0 0 0 52196 13 0 0 25 0 1 0 23331226 77459456 17514 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17514 620 1026 0 17881 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 75644

[startup+582.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32460
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=582.08
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18038 0 0 0 58194 14 0 0 25 0 1 0 23331226 77459456 17514 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17514 620 1026 0 17881 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 75644

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32460
/proc/meminfo: memFree=1609460/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=642.06
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18039 0 0 0 64192 14 0 0 25 0 1 0 23331226 77459456 17515 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17515 620 1026 0 17881 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 75644

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32462
/proc/meminfo: memFree=1609336/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75644 CPUtime=702.04
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18039 0 0 0 70189 15 0 0 25 0 1 0 23331226 77459456 17515 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18911 17515 620 1026 0 17881 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 75644

[startup+762.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32467
/proc/meminfo: memFree=1608468/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75828 CPUtime=762.02
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18079 0 0 0 76187 15 0 0 25 0 1 0 23331226 77647872 17555 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18957 17555 620 1026 0 17927 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 75828

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32469
/proc/meminfo: memFree=1608468/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75828 CPUtime=822
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18084 0 0 0 82184 16 0 0 25 0 1 0 23331226 77647872 17560 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18957 17560 620 1026 0 17927 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 75828

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32471
/proc/meminfo: memFree=1608468/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75828 CPUtime=881.97
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18084 0 0 0 88181 16 0 0 25 0 1 0 23331226 77647872 17560 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18957 17560 620 1026 0 17927 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 75828

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32471
/proc/meminfo: memFree=1608468/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75828 CPUtime=941.96
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18084 0 0 0 94179 17 0 0 25 0 1 0 23331226 77647872 17560 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18957 17560 620 1026 0 17927 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 75828

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32473
/proc/meminfo: memFree=1608468/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=75828 CPUtime=1001.94
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18086 0 0 0 100177 17 0 0 25 0 1 0 23331226 77647872 17562 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 18957 17562 620 1026 0 17927 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 75828

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1618140/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1061.92
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 18202 0 0 0 106174 18 0 0 25 0 1 0 23331226 66199552 15129 1992294400 4194304 8395647 140734221622080 18446744073709551615 4904181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15129 676 1026 0 15132 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 64648

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

[startup+1068.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1068.32
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19040 0 0 0 106808 24 0 0 25 0 1 0 23331226 66199552 15254 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15254 640 1026 0 15132 0
Current children cumulated CPU time (s) 1068.32
Current children cumulated vsize (KiB) 64648

[startup+1071.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1071.51
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19040 0 0 0 107126 25 0 0 25 0 1 0 23331226 66199552 15254 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15254 640 1026 0 15132 0
Current children cumulated CPU time (s) 1071.51
Current children cumulated vsize (KiB) 64648

[startup+1073.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1073.12
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19040 0 0 0 107286 26 0 0 25 0 1 0 23331226 66199552 15254 1992294400 4194304 8395647 140734221622080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15254 640 1026 0 15132 0
Current children cumulated CPU time (s) 1073.12
Current children cumulated vsize (KiB) 64648

[startup+1073.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1073.51
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19040 0 0 0 107324 27 0 0 25 0 1 0 23331226 66199552 15254 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15254 640 1026 0 15132 0
Current children cumulated CPU time (s) 1073.51
Current children cumulated vsize (KiB) 64648

[startup+1074.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1073.91
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19040 0 0 0 107364 27 0 0 25 0 1 0 23331226 66199552 15254 1992294400 4194304 8395647 140734221622080 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15254 640 1026 0 15132 0
Current children cumulated CPU time (s) 1073.91
Current children cumulated vsize (KiB) 64648

[startup+1074.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 32475
/proc/meminfo: memFree=1617272/2059040 swapFree=4164940/4192956
[pid=32443] ppid=32441 vsize=64648 CPUtime=1074.01
/proc/32443/stat : 32443 (pbscip.linux.x8) R 32441 32443 30782 0 -1 4202496 19043 0 0 0 107374 27 0 0 25 0 1 0 23331226 66199552 15257 1992294400 4194304 8395647 140734221622080 18446744073709551615 6345203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32443/statm: 16162 15257 643 1026 0 15132 0
Current children cumulated CPU time (s) 1074.01
Current children cumulated vsize (KiB) 64648

Child status: 0
Real time (s): 1074.42
CPU time (s): 1074.05
CPU user time (s): 1073.76
CPU system time (s): 0.282956
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 75828

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

runsolver used 1.83772 second user time and 5.01524 second system time

The end

Launcher Data 

Begin job on node045 at 2010-07-08 03:07:20
IDJOB=2703739
IDBENCH=1517
IDSOLVER=1213
FILE ID=node045/2703739-1278551240
PBS_JOBID= 11239495
Free space on /tmp= 62524 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.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-2703739-1278551240/watcher-2703739-1278551240 -o /tmp/evaluation-result-2703739-1278551240/solver-2703739-1278551240 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703739-1278551240.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9
RANDOM SEED=1350808149

node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.265
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1678320 kB
Buffers:         69696 kB
Cached:         201220 kB
SwapCached:       1476 kB
Active:         150596 kB
Inactive:       153816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1678320 kB
SwapTotal:     4192956 kB
SwapFree:      4164940 kB
Dirty:           10708 kB
Writeback:           0 kB
AnonPages:       32016 kB
Mapped:          13332 kB
Slab:            54452 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node045 at 2010-07-08 03:25:15