Trace number 2692417

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1802.07 1802.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
MD5SUM3ccb93ae8827142e7c54ff7ef98be667
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.111982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5985
Total number of constraints15365
Number of soft constraints10251
Number of constraints which are clauses14013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1352
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 518757
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 518756
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	25395

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14959
/proc/meminfo: memFree=31176640/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=9612 CPUtime=0
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 1697 0 0 0 0 0 0 0 20 0 1 0 132793017 9842688 1616 4089446400 4194304 8223781 140736349696144 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14959/statm: 2403 1616 369 984 0 1416 0

[startup+0.10143 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14959
/proc/meminfo: memFree=31176640/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=32696 CPUtime=0.09
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 7512 0 0 0 9 0 0 0 20 0 1 0 132793017 33480704 7413 4089446400 4194304 8223781 140736349696144 18446744073709551615 5655437 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14959/statm: 8174 7413 369 984 0 7187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32696

[startup+0.200412 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14959
/proc/meminfo: memFree=31176640/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=71320 CPUtime=0.19
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 17397 0 0 0 17 2 0 0 20 0 1 0 132793017 73031680 16898 4089446400 4194304 8223781 140736349696144 18446744073709551615 5956512 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 17830 16904 387 984 0 16843 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71320

[startup+0.300395 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14959
/proc/meminfo: memFree=31176640/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=102844 CPUtime=0.29
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 24513 0 0 0 27 2 0 0 20 0 1 0 132793017 105312256 24014 4089446400 4194304 8223781 140736349696144 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 25711 24014 416 984 0 24724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102844

[startup+0.700323 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14959
/proc/meminfo: memFree=31176640/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=114280 CPUtime=0.69
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 30580 0 0 0 59 10 0 0 21 0 1 0 132793017 117022720 26938 4089446400 4194304 8223781 140736349696144 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 28570 26938 501 984 0 27583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114280

[startup+1.50119 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14960
/proc/meminfo: memFree=31049408/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=137500 CPUtime=1.49
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 41871 0 0 0 137 12 0 0 23 0 1 0 132793017 140800000 32195 4089446400 4194304 8223781 140736349696144 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 34375 32195 562 984 0 33388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137500

[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14960
/proc/meminfo: memFree=31045732/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=143532 CPUtime=3.09
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 45113 0 0 0 292 17 0 0 25 0 1 0 132793017 146976768 33275 4089446400 4194304 8223781 140736349696144 18446744073709551615 6093279 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 35883 33275 591 984 0 34896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143532

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14960
/proc/meminfo: memFree=31039036/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=148832 CPUtime=6.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 49937 0 0 0 607 23 0 0 25 0 1 0 132793017 152403968 34488 4089446400 4194304 8223781 140736349696144 18446744073709551615 5716580 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 37208 34488 590 984 0 36221 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 148832

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14960
/proc/meminfo: memFree=31033068/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=153392 CPUtime=12.69
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 60967 0 0 0 1241 28 0 0 25 0 1 0 132793017 157073408 35591 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 38348 35591 590 984 0 37361 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153392

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14961
/proc/meminfo: memFree=31027028/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=155604 CPUtime=25.5
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 186823 0 0 0 2497 53 0 0 25 0 1 0 132793017 159338496 36017 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 38901 36017 604 984 0 37914 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 155604

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14961
/proc/meminfo: memFree=31020532/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=155296 CPUtime=51.09
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 352672 0 0 0 5023 86 0 0 25 0 1 0 132793017 159023104 35883 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 38824 35886 604 984 0 37837 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 155296

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14963
/proc/meminfo: memFree=31001288/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=155184 CPUtime=102.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 533351 0 0 0 10088 142 0 0 25 0 1 0 132793017 158908416 35834 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 38796 35834 604 984 0 37809 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155184

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14964
/proc/meminfo: memFree=30978204/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=158632 CPUtime=162.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 754721 0 0 0 16015 215 0 0 25 0 1 0 132793017 162439168 37053 4089446400 4194304 8223781 140736349696144 18446744073709551615 6569326 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 39658 37053 607 984 0 38671 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 158632

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14966
/proc/meminfo: memFree=30960700/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=160396 CPUtime=222.31
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 993564 0 0 0 21941 290 0 0 25 0 1 0 132793017 164245504 37443 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 40099 37443 607 984 0 39112 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 160396

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14967
/proc/meminfo: memFree=30943916/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=162592 CPUtime=282.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 1352193 0 0 0 27844 386 0 0 25 0 1 0 132793017 166494208 37823 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 40648 37826 607 984 0 39661 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 162592

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14969
/proc/meminfo: memFree=30921204/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=169444 CPUtime=342.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 1628395 0 0 0 33757 473 0 0 25 0 1 0 132793017 173510656 39473 4089446400 4194304 8223781 140736349696144 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 42361 39473 607 984 0 41374 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 169444

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14971
/proc/meminfo: memFree=30900348/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=172640 CPUtime=402.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 1932894 0 0 0 39663 567 0 0 25 0 1 0 132793017 176783360 40362 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 43160 40362 608 984 0 42173 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 172640

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14972
/proc/meminfo: memFree=30882212/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=177068 CPUtime=462.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 2166397 0 0 0 45584 646 0 0 25 0 1 0 132793017 181317632 41469 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 44267 41469 608 984 0 43280 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 177068

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14974
/proc/meminfo: memFree=30862480/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=179072 CPUtime=522.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 2496260 0 0 0 51499 731 0 0 25 0 1 0 132793017 183369728 42030 4089446400 4194304 8223781 140736349696144 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 44768 42030 608 984 0 43781 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 179072

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14978
/proc/meminfo: memFree=30839276/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=184452 CPUtime=582.3
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 2767132 0 0 0 57418 812 0 0 25 0 1 0 132793017 188878848 43285 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14959/statm: 46113 43285 608 984 0 45126 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 184452

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14980
/proc/meminfo: memFree=30820776/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=187360 CPUtime=642.31
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 2994962 0 0 0 63342 889 0 0 25 0 1 0 132793017 191856640 43960 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 46840 43960 608 984 0 45853 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 187360

[startup+702.301 s]

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

/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 5498349 0 0 0 104640 1592 0 0 25 0 1 0 132793017 236818432 55246 4089446400 4194304 8223781 140736349696144 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 57817 55246 608 984 0 56830 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 231268

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14993
/proc/meminfo: memFree=30643692/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=240564 CPUtime=1122.32
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 5912306 0 0 0 110534 1698 0 0 25 0 1 0 132793017 246337536 57650 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 60141 57650 608 984 0 59154 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 240564

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14994
/proc/meminfo: memFree=30613524/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=252708 CPUtime=1182.32
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 6458980 0 0 0 116416 1816 0 0 25 0 1 0 132793017 258772992 60549 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 63177 60549 608 984 0 62190 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 252708

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14996
/proc/meminfo: memFree=30583612/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=264144 CPUtime=1242.32
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 6878857 0 0 0 122324 1908 0 0 25 0 1 0 132793017 270483456 63679 4089446400 4194304 8223781 140736349696144 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 66036 63679 608 984 0 65049 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 264144

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14998
/proc/meminfo: memFree=30535472/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=293316 CPUtime=1302.32
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 7497133 0 0 0 128219 2013 0 0 25 0 1 0 132793017 300355584 70954 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 73329 70954 608 984 0 72342 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 293316

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14999
/proc/meminfo: memFree=30494764/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=316764 CPUtime=1362.33
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 8087126 0 0 0 134103 2130 0 0 25 0 1 0 132793017 324366336 76870 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 79191 76870 608 984 0 78204 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 316764

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15001
/proc/meminfo: memFree=30451076/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=341164 CPUtime=1422.33
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 8638147 0 0 0 139990 2243 0 0 25 0 1 0 132793017 349351936 82815 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 85291 82815 608 984 0 84304 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 341164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15002
/proc/meminfo: memFree=30420676/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=356392 CPUtime=1482.33
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 9137125 0 0 0 145884 2349 0 0 25 0 1 0 132793017 364945408 86593 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 89098 86593 608 984 0 88111 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 356392

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15004
/proc/meminfo: memFree=30397704/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=361576 CPUtime=1542.34
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 9546147 0 0 0 151777 2457 0 0 25 0 1 0 132793017 370253824 88034 4089446400 4194304 8223781 140736349696144 18446744073709551615 6326752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 90394 88034 609 984 0 89407 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 361576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15034
/proc/meminfo: memFree=30793540/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=376532 CPUtime=1602.34
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 10121691 0 0 0 157653 2581 0 0 25 0 1 0 132793017 385568768 91749 4089446400 4194304 8223781 140736349696144 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 94133 91749 608 984 0 93146 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 376532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15035
/proc/meminfo: memFree=30775676/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=386492 CPUtime=1662.33
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 10581917 0 0 0 163530 2703 0 0 25 0 1 0 132793017 395767808 94212 4089446400 4194304 8223781 140736349696144 18446744073709551615 6446817 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 96623 94212 608 984 0 95636 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 386492

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15037
/proc/meminfo: memFree=30746136/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=408664 CPUtime=1722.34
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11082811 0 0 0 169409 2825 0 0 25 0 1 0 132793017 418471936 99719 4089446400 4194304 8223781 140736349696144 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 102166 99719 608 984 0 101179 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 408664

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15038
/proc/meminfo: memFree=30726260/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=420092 CPUtime=1782.34
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11519600 0 0 0 175293 2941 0 0 25 0 1 0 132793017 430174208 102701 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 105023 102701 608 984 0 104036 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 420092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15039
/proc/meminfo: memFree=30716952/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=425824 CPUtime=1800.04
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11659605 0 0 0 177025 2979 0 0 25 0 1 0 132793017 436043776 104053 4089446400 4194304 8223781 140736349696144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14959/statm: 106456 104053 608 984 0 105469 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 425824

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14959

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

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15040
/proc/meminfo: memFree=30716944/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=425824 CPUtime=1800.74
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11659799 0 0 0 177095 2979 0 0 25 0 1 0 132793017 436043776 104050 4089446400 4194304 8223781 140736349696144 18446744073709551615 7257399 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14959/statm: 106456 104050 608 984 0 105469 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 425824

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15040
/proc/meminfo: memFree=30716944/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=425824 CPUtime=1801.54
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11659799 0 0 0 177175 2979 0 0 25 0 1 0 132793017 436043776 104050 4089446400 4194304 8223781 140736349696144 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14959/statm: 106456 104050 608 984 0 105469 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 425824

[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15040
/proc/meminfo: memFree=30716820/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=425824 CPUtime=1801.95
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11659799 0 0 0 177216 2979 0 0 25 0 1 0 132793017 436043776 104050 4089446400 4194304 8223781 140736349696144 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14959/statm: 106456 104050 608 984 0 105469 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 425824

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15040
/proc/meminfo: memFree=30716820/32951124 swapFree=67111528/67111528
[pid=14959] ppid=14957 vsize=425264 CPUtime=1802.04
/proc/14959/stat : 14959 (pbscip.linux.x8) R 14957 14959 14613 0 -1 4202496 11659852 0 0 0 177225 2979 0 0 18 0 1 0 132793017 435470336 104026 4089446400 4194304 8223781 140736349696144 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14959/statm: 106316 104026 610 984 0 105329 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 425264

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.07
CPU user time (s): 1772.26
CPU system time (s): 29.8075
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 474332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.26
system time used= 29.8075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11659852
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= 13941

runsolver used 3.22151 second user time and 6.62399 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 18:22:58
IDJOB=2692417
IDBENCH=79045
IDSOLVER=1204
FILE ID=node145/2692417-1277914978
PBS_JOBID= 11197268
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-22s.smv--soft-33-100-0.wbo
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-2692417-1277914978/watcher-2692417-1277914978 -o /tmp/evaluation-result-2692417-1277914978/solver-2692417-1277914978 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692417-1277914978.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3ccb93ae8827142e7c54ff7ef98be667
RANDOM SEED=1047540234

node145.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31176920 kB
Buffers:        198980 kB
Cached:        1271320 kB
SwapCached:          0 kB
Active:         649752 kB
Inactive:       981072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31176920 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5096 kB
Writeback:           0 kB
AnonPages:      160932 kB
Mapped:          17656 kB
Slab:            80120 kB
PageTables:       5312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   310192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node145 at 2010-06-30 18:53:00