Trace number 2692402

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) 1800.83 1800.77

General information on the benchmark

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

Verifier Data 

OK	19162

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692402-1277914784/watcher-2692402-1277914784 -o /tmp/evaluation-result-2692402-1277914784/solver-2692402-1277914784 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692402-1277914784.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.09 2.02 2.01 4/182 13765
/proc/meminfo: memFree=31379188/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=9308 CPUtime=0
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1624 0 0 0 0 0 0 0 25 0 1 0 132773989 9531392 1543 4089446400 4194304 8223781 140734042889296 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13765/statm: 2327 1543 369 984 0 1340 0

[startup+0.0510811 s]
/proc/loadavg: 2.09 2.02 2.01 4/182 13765
/proc/meminfo: memFree=31379188/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=18628 CPUtime=0.04
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3951 0 0 0 4 0 0 0 25 0 1 0 132773989 19075072 3870 4089446400 4194304 8223781 140734042889296 18446744073709551615 6207129 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13765/statm: 4657 3870 369 984 0 3670 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18628

[startup+0.101073 s]
/proc/loadavg: 2.09 2.02 2.01 4/182 13765
/proc/meminfo: memFree=31379188/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=26572 CPUtime=0.09
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5965 0 0 0 9 0 0 0 25 0 1 0 132773989 27209728 5884 4089446400 4194304 8223781 140734042889296 18446744073709551615 7210416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13765/statm: 6643 5884 369 984 0 5656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26572

[startup+0.301037 s]
/proc/loadavg: 2.09 2.02 2.01 4/182 13765
/proc/meminfo: memFree=31379188/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=76448 CPUtime=0.29
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 18264 0 0 0 28 1 0 0 25 0 1 0 132773989 78282752 17791 4089446400 4194304 8223781 140734042889296 18446744073709551615 6208220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 19112 17791 457 984 0 18125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76448

[startup+0.700973 s]
/proc/loadavg: 2.09 2.02 2.01 4/182 13765
/proc/meminfo: memFree=31379188/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=87432 CPUtime=0.69
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 23765 0 0 0 64 5 0 0 25 0 1 0 132773989 89530368 20539 4089446400 4194304 8223781 140734042889296 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 21858 20539 510 984 0 20871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87432

[startup+1.50083 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 13766
/proc/meminfo: memFree=31298616/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=87948 CPUtime=1.49
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 23896 0 0 0 143 6 0 0 25 0 1 0 132773989 90058752 20667 4089446400 4194304 8223781 140734042889296 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 21987 20667 507 984 0 21000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87948

[startup+3.10052 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 13766
/proc/meminfo: memFree=31297376/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=88976 CPUtime=3.09
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 24157 0 0 0 302 7 0 0 25 0 1 0 132773989 91111424 20928 4089446400 4194304 8223781 140734042889296 18446744073709551615 5500801 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 22244 20928 512 984 0 21257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88976

[startup+6.30094 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 13767
/proc/meminfo: memFree=31273816/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=117312 CPUtime=6.29
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 36216 0 0 0 617 12 0 0 22 0 1 0 132773989 120127488 27310 4089446400 4194304 8223781 140734042889296 18446744073709551615 5721503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 29328 27310 630 984 0 28341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117312

[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13767
/proc/meminfo: memFree=31258928/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=125216 CPUtime=12.69
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 44282 0 0 0 1253 16 0 0 25 0 1 0 132773989 128221184 28844 4089446400 4194304 8223781 140734042889296 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 31304 28844 616 984 0 30317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125216

[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 13767
/proc/meminfo: memFree=31244748/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=137576 CPUtime=25.5
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 96017 0 0 0 2523 27 0 0 25 0 1 0 132773989 140877824 31449 4089446400 4194304 8223781 140734042889296 18446744073709551615 6569975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 34394 31449 616 984 0 33407 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 137576

[startup+51.1008 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 13767
/proc/meminfo: memFree=31233624/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=136940 CPUtime=51.1
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 204905 0 0 0 5063 47 0 0 25 0 1 0 132773989 140226560 31450 4089446400 4194304 8223781 140734042889296 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 34235 31450 616 984 0 33248 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 136940

[startup+102.306 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13769
/proc/meminfo: memFree=31208804/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=136584 CPUtime=102.3
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 350970 0 0 0 10157 73 0 0 25 0 1 0 132773989 139862016 31444 4089446400 4194304 8223781 140734042889296 18446744073709551615 6567839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 34146 31444 616 984 0 33159 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 136584

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13771
/proc/meminfo: memFree=31175804/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=136972 CPUtime=162.29
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 498348 0 0 0 16125 104 0 0 25 0 1 0 132773989 140259328 31787 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 34243 31787 616 984 0 33256 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 136972

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13772
/proc/meminfo: memFree=31139076/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=144624 CPUtime=222.3
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 673221 0 0 0 22087 143 0 0 25 0 1 0 132773989 148094976 33529 4089446400 4194304 8223781 140734042889296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 36156 33529 619 984 0 35169 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 144624

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13774
/proc/meminfo: memFree=31106568/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=147440 CPUtime=282.3
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 882775 0 0 0 28048 182 0 0 25 0 1 0 132773989 150978560 34332 4089446400 4194304 8223781 140734042889296 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 36860 34332 620 984 0 35873 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 147440

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13775
/proc/meminfo: memFree=31070456/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=151092 CPUtime=342.31
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1057174 0 0 0 34013 218 0 0 25 0 1 0 132773989 154718208 35145 4089446400 4194304 8223781 140734042889296 18446744073709551615 5990860 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 37773 35145 620 984 0 36786 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 151092

[startup+402.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13777
/proc/meminfo: memFree=31032480/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=153704 CPUtime=402.31
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1224149 0 0 0 39979 252 0 0 25 0 1 0 132773989 157392896 35780 4089446400 4194304 8223781 140734042889296 18446744073709551615 6524183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 38426 35780 620 984 0 37439 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 153704

[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13779
/proc/meminfo: memFree=30993772/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=155940 CPUtime=462.31
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1381310 0 0 0 45947 284 0 0 25 0 1 0 132773989 159682560 36269 4089446400 4194304 8223781 140734042889296 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 38985 36269 620 984 0 37998 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 155940

[startup+522.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 13780
/proc/meminfo: memFree=30957916/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=157948 CPUtime=522.31
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1573581 0 0 0 51907 324 0 0 25 0 1 0 132773989 161738752 36767 4089446400 4194304 8223781 140734042889296 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 39487 36767 620 984 0 38500 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 157948

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 13782
/proc/meminfo: memFree=30920696/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=160704 CPUtime=582.31
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1744997 0 0 0 57872 359 0 0 25 0 1 0 132773989 164560896 37699 4089446400 4194304 8223781 140734042889296 18446744073709551615 6482580 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 40176 37699 620 984 0 39189 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 160704

[startup+642.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 13783
/proc/meminfo: memFree=30883352/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=165540 CPUtime=642.32
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 1910017 0 0 0 63838 394 0 0 25 0 1 0 132773989 169512960 38745 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 41385 38745 620 984 0 40398 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 165540

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 13796
/proc/meminfo: memFree=30681276/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=169560 CPUtime=1002.32
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 2862864 0 0 0 99639 593 0 0 25 0 1 0 132773989 173629440 39705 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 42390 39705 620 984 0 41403 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 169560

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 13798
/proc/meminfo: memFree=30649128/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=169600 CPUtime=1062.32
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3027444 0 0 0 105607 625 0 0 25 0 1 0 132773989 173670400 39725 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 42400 39725 620 984 0 41413 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 169600

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 13799
/proc/meminfo: memFree=30616620/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=171176 CPUtime=1122.32
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3221379 0 0 0 111569 663 0 0 25 0 1 0 132773989 175284224 40089 4089446400 4194304 8223781 140734042889296 18446744073709551615 6358893 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 42794 40089 620 984 0 41807 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 171176

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13801
/proc/meminfo: memFree=30579144/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=171516 CPUtime=1182.33
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3386476 0 0 0 117531 702 0 0 25 0 1 0 132773989 175632384 40171 4089446400 4194304 8223781 140734042889296 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 42879 40171 620 984 0 41892 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 171516

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13802
/proc/meminfo: memFree=30545892/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=170888 CPUtime=1242.33
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3553852 0 0 0 123500 733 0 0 25 0 1 0 132773989 174989312 40049 4089446400 4194304 8223781 140734042889296 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 42722 40049 620 984 0 41735 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 170888

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13804
/proc/meminfo: memFree=30510904/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=172684 CPUtime=1302.33
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3724480 0 0 0 129464 769 0 0 25 0 1 0 132773989 176828416 40532 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 43171 40532 620 984 0 42184 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 172684

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13806
/proc/meminfo: memFree=30477020/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=173364 CPUtime=1362.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 3933560 0 0 0 135425 809 0 0 25 0 1 0 132773989 177524736 40674 4089446400 4194304 8223781 140734042889296 18446744073709551615 6567836 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 43341 40674 620 984 0 42354 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 173364

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13807
/proc/meminfo: memFree=30440920/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=172908 CPUtime=1422.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 4106803 0 0 0 141390 844 0 0 25 0 1 0 132773989 177057792 40490 4089446400 4194304 8223781 140734042889296 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 43227 40490 620 984 0 42240 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 172908

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13809
/proc/meminfo: memFree=30404932/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=172572 CPUtime=1482.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 4287310 0 0 0 147352 882 0 0 25 0 1 0 132773989 176713728 40485 4089446400 4194304 8223781 140734042889296 18446744073709551615 6439899 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13765/statm: 43143 40485 620 984 0 42156 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 172572

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 6/204 13859
/proc/meminfo: memFree=31249260/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=175272 CPUtime=1542.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 4475341 0 0 0 153313 921 0 0 25 0 1 0 132773989 179478528 41214 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 43818 41214 620 984 0 42831 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 175272

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13970
/proc/meminfo: memFree=31282312/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=177116 CPUtime=1602.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 4675188 0 0 0 159275 959 0 0 25 0 1 0 132773989 181366784 41624 4089446400 4194304 8223781 140734042889296 18446744073709551615 6598986 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 44279 41624 620 984 0 43292 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 177116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13972
/proc/meminfo: memFree=31277512/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=177956 CPUtime=1662.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 4887160 0 0 0 165234 1000 0 0 25 0 1 0 132773989 182226944 41800 4089446400 4194304 8223781 140734042889296 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 44489 41800 620 984 0 43502 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 177956

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13973
/proc/meminfo: memFree=31250008/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=178592 CPUtime=1722.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5132499 0 0 0 171191 1043 0 0 25 0 1 0 132773989 182878208 42038 4089446400 4194304 8223781 140734042889296 18446744073709551615 6436746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 44648 42038 620 984 0 43661 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 178592

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13975
/proc/meminfo: memFree=31202876/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=180808 CPUtime=1782.34
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5334808 0 0 0 177149 1085 0 0 25 0 1 0 132773989 185147392 42587 4089446400 4194304 8223781 140734042889296 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 45202 42587 620 984 0 44215 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 180808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13975
/proc/meminfo: memFree=31189972/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=180832 CPUtime=1800.05
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5428035 0 0 0 178906 1099 0 0 25 0 1 0 132773989 185171968 42565 4089446400 4194304 8223781 140734042889296 18446744073709551615 6569519 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13765/statm: 45208 42565 620 984 0 44221 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180832

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13975
/proc/meminfo: memFree=31189972/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=180924 CPUtime=1800.24
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5428498 0 0 0 178925 1099 0 0 25 0 1 0 132773989 185266176 42551 4089446400 4194304 8223781 140734042889296 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13765/statm: 45231 42551 620 984 0 44244 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 180924

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13976
/proc/meminfo: memFree=31189964/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=180924 CPUtime=1800.65
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5428498 0 0 0 178966 1099 0 0 25 0 1 0 132773989 185266176 42551 4089446400 4194304 8223781 140734042889296 18446744073709551615 7257383 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13765/statm: 45231 42551 620 984 0 44244 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 180924

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13976
/proc/meminfo: memFree=31189964/32951124 swapFree=67111528/67111528
[pid=13765] ppid=13763 vsize=164952 CPUtime=1800.75
/proc/13765/stat : 13765 (pbscip.linux.x8) R 13763 13765 13694 0 -1 4202496 5428514 0 0 0 178976 1099 0 0 25 0 1 0 132773989 168910848 38631 4089446400 4194304 8223781 140734042889296 18446744073709551615 4208136 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13765/statm: 41238 38631 622 984 0 40251 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 164952

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.83
CPU user time (s): 1789.82
CPU system time (s): 11.0043
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 234652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.82
system time used= 11.0043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5428518
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= 2
involuntary context switches= 18162

runsolver used 2.72659 second user time and 7.08292 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 18:19:44
IDJOB=2692402
IDBENCH=79040
IDSOLVER=1204
FILE ID=node133/2692402-1277914784
PBS_JOBID= 11197337
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-66-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-2692402-1277914784/watcher-2692402-1277914784 -o /tmp/evaluation-result-2692402-1277914784/solver-2692402-1277914784 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692402-1277914784.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4af9ce4b351e19a2f97fa9f748cdbf13
RANDOM SEED=231475839

node133.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.821
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.64
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.821
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.821
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.821
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	: 7296.74
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.821
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.74
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.821
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.74
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.821
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.74
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.821
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31379592 kB
Buffers:        195836 kB
Cached:         985576 kB
SwapCached:          0 kB
Active:         778184 kB
Inactive:       648376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31379592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5488 kB
Writeback:           0 kB
AnonPages:      244936 kB
Mapped:          17816 kB
Slab:            79484 kB
PageTables:       5304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   393292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node133 at 2010-06-30 18:49:46