Trace number 2693042

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.77 1800.7

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

Verifier Data 

OK	15166

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16303
/proc/meminfo: memFree=30279428/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=11004 CPUtime=0
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132773755 11268096 1595 4089446400 4194304 9819077 140736013311984 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16303/statm: 2751 1595 392 1374 0 1372 0

[startup+0.0987861 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16303
/proc/meminfo: memFree=30279428/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=29496 CPUtime=0.09
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 6319 0 0 0 9 0 0 0 25 0 1 0 132773755 30203904 6239 4089446400 4194304 9819077 140736013311984 18446744073709551615 8081536 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16303/statm: 7374 6239 392 1374 0 5995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29496

[startup+0.100781 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16303
/proc/meminfo: memFree=30279428/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=29496 CPUtime=0.09
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 6320 0 0 0 9 0 0 0 25 0 1 0 132773755 30203904 6240 4089446400 4194304 9819077 140736013311984 18446744073709551615 8638112 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16303/statm: 7374 6240 392 1374 0 5995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29496

[startup+0.300752 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16303
/proc/meminfo: memFree=30279428/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=79024 CPUtime=0.29
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 18863 0 0 0 28 1 0 0 25 0 1 0 132773755 80920576 18143 4089446400 4194304 9819077 140736013311984 18446744073709551615 8491787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 19756 18143 504 1374 0 18377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79024

[startup+0.700669 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16303
/proc/meminfo: memFree=30279428/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=88664 CPUtime=0.69
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 23817 0 0 0 65 4 0 0 25 0 1 0 132773755 90791936 20614 4089446400 4194304 9819077 140736013311984 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 22166 20614 569 1374 0 20787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88664

[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16304
/proc/meminfo: memFree=30198076/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=89180 CPUtime=1.49
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 23945 0 0 0 145 4 0 0 25 0 1 0 132773755 91320320 20742 4089446400 4194304 9819077 140736013311984 18446744073709551615 5496946 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 22295 20742 569 1374 0 20916 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89180

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16304
/proc/meminfo: memFree=30196676/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=90208 CPUtime=3.09
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 24206 0 0 0 304 5 0 0 25 0 1 0 132773755 92372992 21003 4089446400 4194304 9819077 140736013311984 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 22552 21003 574 1374 0 21173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90208

[startup+6.30061 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16304
/proc/meminfo: memFree=30170172/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=126232 CPUtime=6.29
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 46397 0 0 0 618 11 0 0 25 0 1 0 132773755 129261568 27545 4089446400 4194304 9819077 140736013311984 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 31558 27545 707 1374 0 30179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126232

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16304
/proc/meminfo: memFree=30163080/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=132732 CPUtime=12.69
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 59115 0 0 0 1253 16 0 0 25 0 1 0 132773755 135917568 28603 4089446400 4194304 9819077 140736013311984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 33183 28603 707 1374 0 31804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132732

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16304
/proc/meminfo: memFree=30154272/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=149048 CPUtime=25.49
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 143613 0 0 0 2520 29 0 0 25 0 1 0 132773755 152625152 29435 4089446400 4194304 9819077 140736013311984 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 37262 29435 750 1374 0 35883 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 149048

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16306
/proc/meminfo: memFree=30136100/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=146900 CPUtime=51.09
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 366895 0 0 0 5055 54 0 0 25 0 1 0 132773755 150425600 29391 4089446400 4194304 9819077 140736013311984 18446744073709551615 7311787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16303/statm: 36725 29391 750 1374 0 35346 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 146900

[startup+102.305 s]
/proc/loadavg: 2.06 2.01 2.00 2/198 16400
/proc/meminfo: memFree=31120344/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=152072 CPUtime=102.3
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 1236166 0 0 0 10068 162 0 0 25 0 1 0 132773755 155721728 30640 4089446400 4194304 9819077 140736013311984 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 38018 30640 753 1374 0 36639 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152072

[startup+162.301 s]
/proc/loadavg: 1.86 1.94 1.98 4/200 16508
/proc/meminfo: memFree=31062592/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=136360 CPUtime=162.3
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 2299200 0 0 0 15938 292 0 0 25 0 1 0 132773755 139632640 30146 4089446400 4194304 9819077 140736013311984 18446744073709551615 8679026 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 34090 30146 753 1374 0 32711 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 136360

[startup+222.301 s]
/proc/loadavg: 1.87 1.92 1.97 3/197 16638
/proc/meminfo: memFree=31073492/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=140316 CPUtime=222.3
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 3355671 0 0 0 21798 432 0 0 25 0 1 0 132773755 143683584 30792 4089446400 4194304 9819077 140736013311984 18446744073709551615 6162103 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 35079 30792 753 1374 0 33700 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 140316

[startup+282.3 s]
/proc/loadavg: 1.95 1.93 1.97 3/179 16668
/proc/meminfo: memFree=30997536/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=143972 CPUtime=282.3
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 4815892 0 0 0 27616 614 0 0 25 0 1 0 132773755 147427328 31553 4089446400 4194304 9819077 140736013311984 18446744073709551615 7487731 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 35993 31553 753 1374 0 34614 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143972

[startup+342.301 s]
/proc/loadavg: 1.98 1.94 1.97 3/179 16669
/proc/meminfo: memFree=30978012/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=145988 CPUtime=342.31
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 5925900 0 0 0 33466 765 0 0 25 0 1 0 132773755 149491712 32167 4089446400 4194304 9819077 140736013311984 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 36497 32167 754 1374 0 35118 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 145988

[startup+402.301 s]
/proc/loadavg: 1.99 1.95 1.97 3/179 16670
/proc/meminfo: memFree=30863640/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=156660 CPUtime=402.31
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 7219604 0 0 0 39298 933 0 0 25 0 1 0 132773755 160419840 34994 4089446400 4194304 9819077 140736013311984 18446744073709551615 5434311 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 39165 34994 754 1374 0 37786 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 156660

[startup+462.3 s]
/proc/loadavg: 1.99 1.95 1.97 3/179 16672
/proc/meminfo: memFree=30826412/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=172932 CPUtime=462.3
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 9755902 0 0 0 44994 1236 0 0 25 0 1 0 132773755 177082368 39307 4089446400 4194304 9819077 140736013311984 18446744073709551615 6670004 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 43233 39307 755 1374 0 41854 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 172932

[startup+522.301 s]
/proc/loadavg: 1.99 1.96 1.97 3/179 16674
/proc/meminfo: memFree=30816344/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=195160 CPUtime=522.31
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 12423628 0 0 0 50671 1560 0 0 25 0 1 0 132773755 199843840 42686 4089446400 4194304 9819077 140736013311984 18446744073709551615 6567612 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 48790 42686 755 1374 0 47411 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 195160

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/179 16676
/proc/meminfo: memFree=30803568/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=197752 CPUtime=582.31
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 15377983 0 0 0 56319 1912 0 0 25 0 1 0 132773755 202498048 45373 4089446400 4194304 9819077 140736013311984 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 49438 45373 755 1374 0 48059 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 197752

[startup+642.3 s]
/proc/loadavg: 2.07 1.99 1.97 3/179 16677
/proc/meminfo: memFree=30784580/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=224360 CPUtime=642.32
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 18437430 0 0 0 61961 2271 0 0 25 0 1 0 132773755 229744640 50076 4089446400 4194304 9819077 140736013311984 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 56090 50077 755 1374 0 54711 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 224360

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 16688
/proc/meminfo: memFree=30704164/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=284500 CPUtime=942.32
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 30441525 0 0 0 90487 3745 0 0 25 0 1 0 132773755 291328000 67132 4089446400 4194304 9819077 140736013311984 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 71125 67154 755 1374 0 69746 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 284500

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16689
/proc/meminfo: memFree=30687524/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=298844 CPUtime=1002.33
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 32466679 0 0 0 96238 3995 0 0 25 0 1 0 132773755 306016256 70736 4089446400 4194304 9819077 140736013311984 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 74711 70736 755 1374 0 73332 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 298844

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16691
/proc/meminfo: memFree=30673860/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=328712 CPUtime=1062.33
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 34697079 0 0 0 101960 4273 0 0 25 0 1 0 132773755 336601088 76270 4089446400 4194304 9819077 140736013311984 18446744073709551615 7334530 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 82190 76285 755 1374 0 80811 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 328712

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16693
/proc/meminfo: memFree=30658584/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=331028 CPUtime=1122.34
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 37161249 0 0 0 107653 4581 0 0 25 0 1 0 132773755 338972672 78762 4089446400 4194304 9819077 140736013311984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 82757 78762 755 1374 0 81378 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 331028

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/179 16695
/proc/meminfo: memFree=30643812/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=348120 CPUtime=1182.33
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 40114751 0 0 0 113289 4944 0 0 25 0 1 0 132773755 356474880 82868 4089446400 4194304 9819077 140736013311984 18446744073709551615 6589128 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 87030 82816 755 1374 0 85651 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 348120

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 16696
/proc/meminfo: memFree=30630652/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=358724 CPUtime=1242.34
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 42380872 0 0 0 119009 5225 0 0 25 0 1 0 132773755 367333376 85665 4089446400 4194304 9819077 140736013311984 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 89681 85681 755 1374 0 88302 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 358724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16697
/proc/meminfo: memFree=30597276/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=381996 CPUtime=1302.34
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 45159255 0 0 0 124660 5574 0 0 25 0 1 0 132773755 391163904 91436 4089446400 4194304 9819077 140736013311984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 95499 91436 755 1374 0 94120 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 381996

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16699
/proc/meminfo: memFree=30591672/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=390992 CPUtime=1362.34
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 47472246 0 0 0 130375 5859 0 0 25 0 1 0 132773755 400375808 94399 4089446400 4194304 9819077 140736013311984 18446744073709551615 7226208 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 97748 94399 755 1374 0 96369 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 390992

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16701
/proc/meminfo: memFree=30570580/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=416180 CPUtime=1422.35
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 49858480 0 0 0 136083 6152 0 0 25 0 1 0 132773755 426168320 100103 4089446400 4194304 9819077 140736013311984 18446744073709551615 7301784 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 104045 100103 755 1374 0 102666 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 416180

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16703
/proc/meminfo: memFree=30549480/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=430928 CPUtime=1482.34
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 52146453 0 0 0 141799 6435 0 0 25 0 1 0 132773755 441270272 103887 4089446400 4194304 9819077 140736013311984 18446744073709551615 6568822 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 107732 103887 755 1374 0 106353 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 430928

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16704
/proc/meminfo: memFree=30529496/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=450024 CPUtime=1542.35
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 55179165 0 0 0 147430 6805 0 0 25 0 1 0 132773755 460824576 108653 4089446400 4194304 9819077 140736013311984 18446744073709551615 5893946 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 112506 108653 755 1374 0 111127 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 450024

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16705
/proc/meminfo: memFree=30508892/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=470400 CPUtime=1602.35
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 58198543 0 0 0 153066 7169 0 0 25 0 1 0 132773755 481689600 113606 4089446400 4194304 9819077 140736013311984 18446744073709551615 6519255 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 117600 113606 755 1374 0 116221 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 470400

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16707
/proc/meminfo: memFree=30486680/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=491532 CPUtime=1662.35
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 61319986 0 0 0 158684 7551 0 0 25 0 1 0 132773755 503328768 119059 4089446400 4194304 9819077 140736013311984 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 122883 119059 755 1374 0 121504 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 491532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16709
/proc/meminfo: memFree=30453800/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=514616 CPUtime=1722.35
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 64004413 0 0 0 164358 7877 0 0 25 0 1 0 132773755 526966784 124838 4089446400 4194304 9819077 140736013311984 18446744073709551615 6519461 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 128654 124838 755 1374 0 127275 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 514616

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16711
/proc/meminfo: memFree=30428488/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=537420 CPUtime=1782.36
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 66570503 0 0 0 170038 8198 0 0 25 0 1 0 132773755 550318080 130470 4089446400 4194304 9819077 140736013311984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 134355 130470 755 1374 0 132976 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 537420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 16711
/proc/meminfo: memFree=30429844/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=542672 CPUtime=1800.06
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 67458421 0 0 0 171696 8310 0 0 25 0 1 0 132773755 555696128 131872 4089446400 4194304 9819077 140736013311984 18446744073709551615 6004047 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16303/statm: 135668 131872 755 1374 0 134289 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 542672

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 1.98 3/179 16711
/proc/meminfo: memFree=30429844/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=542672 CPUtime=1800.25
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 67458421 0 0 0 171715 8310 0 0 25 0 1 0 132773755 555696128 131872 4089446400 4194304 9819077 140736013311984 18446744073709551615 8678556 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16303/statm: 135668 131872 755 1374 0 134289 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 542672

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 16712
/proc/meminfo: memFree=30669156/32951124 swapFree=67111528/67111528
[pid=16303] ppid=16301 vsize=269820 CPUtime=1800.66
/proc/16303/stat : 16303 (pbscip.linux.x8) R 16301 16303 16083 0 -1 4202496 67458440 0 0 0 171755 8311 0 0 18 0 1 0 132773755 276295680 63726 4089446400 4194304 9819077 140736013311984 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16303/statm: 67455 63726 756 1374 0 66076 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 269820

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.77
CPU user time (s): 1717.63
CPU system time (s): 83.1314
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 583660

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

runsolver used 3.12153 second user time and 6.554 second system time

The end

Launcher Data 

Begin job on node141 at 2010-06-30 18:19:45
IDJOB=2693042
IDBENCH=79040
IDSOLVER=1205
FILE ID=node141/2693042-1277914785
PBS_JOBID= 11197297
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693042-1277914785/watcher-2693042-1277914785 -o /tmp/evaluation-result-2693042-1277914785/solver-2693042-1277914785 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693042-1277914785.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4af9ce4b351e19a2f97fa9f748cdbf13
RANDOM SEED=1556925950

node141.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.788
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.57
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.788
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.68
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.788
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.83
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.788
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
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.80
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.788
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.75
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.788
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.788
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:      30279964 kB
Buffers:        198988 kB
Cached:        1147540 kB
SwapCached:          0 kB
Active:        1752988 kB
Inactive:       771244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30279964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6784 kB
Writeback:           0 kB
AnonPages:     1177536 kB
Mapped:          16436 kB
Slab:            79988 kB
PageTables:       7348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1331596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node141 at 2010-06-30 18:49:48