Trace number 353930

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)5500543 1800.24 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3416057
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.05	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.05	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.05	c type "bsolo -h" for help
0.00/0.05	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.05	c Time Limit set to 1800
0.00/0.05	c Memory Limit set to 1800 MB
0.00/0.05	c Instance file /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb
0.00/0.05	c File size is 226427 bytes.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Coefficients are big enough for not using lower bounding.
0.00/0.08	c Highest Coefficient sum: 8.56864e+11
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.036 s
0.00/0.09	c Var: 4464 Constr: 192 0/0/192 Lit: 21744 Watch. Lit: 13152
0.00/0.09	c Obj. Vars: 4464 (100 % of total variables)
0.04/0.13	c Pre-processing Time: 0.085 s
0.14/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.14/0.23	c        0   2132      192    21744  113    13182   43488      0      0 0.09
0.14/0.23	c      100   2132      292    43077  147    14300   47837    100    787 0.13
0.14/0.23	o 8986103	0.18
10.74/10.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.74/10.80	c      196   2132      389    87447  224    16703   47752    197   1082 0.18
10.74/10.80	c      298   2132      491   127796  260    16937   52528    299   1312 0.23
10.74/10.80	c      548   2132      741   161764  218    17008   57781    549   1707 0.32
10.74/10.80	c     1023   2132     1216   235409  193    18180   63560   1024   1971 0.52
10.74/10.80	c     1836   2132     2029   468579  230    19905   69917   1837   2022 0.91
10.74/10.80	c     3157   2132     3350  1083703  323    22694   76909   3158   1192 2.65
10.74/10.80	c     5238   2132     5431  1907357  351    26405   84600   5239   1251 4.18
10.74/10.80	c     8461   2132     8654  3685654  425    33339   93061   8462   1005 8.42
10.74/10.80	c    13397   2132    13590  4728033  347    42734  102368  13398   1258 10.65
10.74/10.80	o 8765998	10.746
10.74/10.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.74/10.90	c    13647   2132    13841  4770833  344    45426   47752  13649   1269 10.75
10.74/10.90	c    13748   2132    13942  4782118  343    45305   52528  13750   1273 10.80
10.74/10.90	o 8745062	10.845
15.03/15.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.03/15.19	c    13785   2132    13980  4792350  342    47678   47752  13788   1270 10.85
15.03/15.19	c    13885   2132    14080  4806419  341    47067   52528  13888   1275 10.89
15.03/15.19	c    14138   2132    14333  4842904  337    47663   57781  14141   1291 10.95
15.03/15.19	c    14615   2132    14810  4911703  331    48616   63560  14618   1322 11.05
15.03/15.19	c    15428   2132    15623  5089903  325    50174   69917  15431   1331 11.59
15.03/15.19	c    16748   2132    16943  5969197  352    53487   76909  16751   1120 14.95
15.03/15.19	o 7633308	15.135
29.53/29.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.53/29.64	c    16894   2132    17090  6002574  351    54282   47752  16898   1116 15.14
29.53/29.64	c    16994   2132    17190  6025232  350    54273   52528  16998   1118 15.20
29.53/29.64	c    17244   2132    17440  6089124  349    54301   57781  17248   1119 15.41
29.53/29.64	c    17719   2132    17915  6348113  354    55493   63560  17723   1107 16.00
29.53/29.64	c    18532   2132    18728  6557220  350    56395   69917  18536   1133 16.35
29.53/29.64	c    19852   2132    20048  7209530  359    59538   76909  19856   1063 18.67
29.53/29.64	c    21935   2132    22131  7809134  352    62578   84600  21939   1098 19.96
29.53/29.64	c    25158   2132    25354  9802825  386    69450   93061  25162    887 28.35
29.53/29.64	o 5500543	29.577
1799.98/1800.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.73	c    26588   2132    26785 10065371  375    73052   47752  26593    898 29.58
1799.98/1800.73	c    26688   2132    26885 10130692  376    72979   52528  26693    895 29.80
1799.98/1800.73	c    26939   2132    27136 10202918  375    72835   57781  26944    897 30.01
1799.98/1800.73	c    27414   2132    27611 10282307  372    74001   63560  27419    906 30.23
1799.98/1800.73	c    28227   2132    28424 10840507  381    75833   69917  28232    888 31.77
1799.98/1800.73	c    29548   2132    29745 11113011  373    78092   76909  29553    906 32.59
1799.98/1800.73	c    31629   2132    31826 12122082  380    82043   84600  31634    832 37.99
1799.98/1800.73	c    34853   2132    35050 13078866  373    87852   93061  34858    850 40.96
1799.98/1800.73	c    39789   2132    39986 16185105  404    98238  102368  39794    759 52.39
1799.98/1800.73	c    47302   2132    47499 19706630  414   113074  112605  47307    707 66.82
1799.98/1800.73	c    58667   2132    58864 28683972  487   135437  123866  58672    495 118.30
1799.98/1800.73	c    75811   2132    76008 33522821  441   169580  136253  75816    481 157.39
1799.98/1800.73	c   101630   2132   101827 46975583  461   221356  149879 101635    320 316.73
1799.98/1800.73	c   140470   2132   140667 65242857  463   298902  164867 140475    296 473.65
1799.98/1800.73	c   198822   2132    43375 24202169  557   102714  181354  43183    223 889.05
1799.98/1800.73	c   286454   2132   131007 70724131  539   278170  199490 130815    217 1318.04
1799.98/1800.73	c Resources Exceeded
1799.98/1800.73	v x1 -x2 x3 x4 x5 -x6 -x7 x8 x9 x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1799.98/1800.73	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1799.98/1800.73	v -x57 -x58 -x59 -x60 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1799.98/1800.73	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012
1799.98/1800.73	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1799.98/1800.73	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1799.98/1800.73	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1799.98/1800.73	v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1799.98/1800.73	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1799.98/1800.73	v -x2699 -x2700 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015
1799.98/1800.73	v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3331 -x3332
1799.98/1800.73	v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349
1799.98/1800.73	v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1799.98/1800.73	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683
1799.98/1800.73	v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1799.98/1800.73	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1799.98/1800.73	v -x4018 -x4019 -x4020 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1799.98/1800.73	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404
1799.98/1800.73	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725
1799.98/1800.73	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746
1799.98/1800.73	v -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1799.98/1800.73	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381
1799.98/1800.73	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1799.98/1800.73	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535
1799.98/1800.73	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1799.98/1800.73	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1799.98/1800.73	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1799.98/1800.73	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1799.98/1800.73	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1799.98/1800.73	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1799.98/1800.73	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1799.98/1800.73	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1799.98/1800.73	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1799.98/1800.73	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1799.98/1800.73	v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752
1799.98/1800.73	v x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
1799.98/1800.73	v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1799.98/1800.73	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803
1799.98/1800.73	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1799.98/1800.73	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1799.98/1800.73	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
1799.98/1800.73	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871
1799.98/1800.73	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1799.98/1800.73	v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905
1799.98/1800.73	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1799.98/1800.73	v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1799.98/1800.73	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1799.98/1800.73	v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1799.98/1800.73	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1799.98/1800.73	v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1799.98/1800.73	v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054
1799.98/1800.73	v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1799.98/1800.73	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1799.98/1800.73	v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1799.98/1800.73	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1799.98/1800.73	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1799.98/1800.73	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1799.98/1800.73	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1799.98/1800.73	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1799.98/1800.73	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1799.98/1800.73	v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225
1799.98/1800.73	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
1799.98/1800.73	v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259
1799.98/1800.73	v -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1799.98/1800.73	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293
1799.98/1800.73	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1799.98/1800.73	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327
1799.98/1800.73	v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374
1799.98/1800.73	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1799.98/1800.73	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1799.98/1800.73	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1799.98/1800.73	v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442
1799.98/1800.73	v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1799.98/1800.73	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1799.98/1800.73	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493
1799.98/1800.73	v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1799.98/1800.73	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
1799.98/1800.73	v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1799.98/1800.73	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1799.98/1800.73	v x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1799.98/1800.73	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1799.98/1800.73	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1799.98/1800.73	v -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631
1799.98/1800.73	v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648
1799.98/1800.73	v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1799.98/1800.73	v -x2666 -x2667 -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
1799.98/1800.73	v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729
1799.98/1800.73	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1799.98/1800.73	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763
1799.98/1800.73	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
1799.98/1800.73	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797
1799.98/1800.73	v x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1799.98/1800.73	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1799.98/1800.73	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1799.98/1800.73	v -x2851 -x2852 -x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1799.98/1800.73	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1799.98/1800.73	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1799.98/1800.73	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920
1799.98/1800.73	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1799.98/1800.73	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1799.98/1800.73	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971
1799.98/1800.73	v -x2972 x2973 x2974 x2975 x2976 x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989
1799.98/1800.73	v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1799.98/1800.73	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1799.98/1800.73	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1799.98/1800.73	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1799.98/1800.73	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1799.98/1800.73	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1799.98/1800.73	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1799.98/1800.73	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1799.98/1800.73	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
1799.98/1800.73	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1799.98/1800.73	v -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1799.98/1800.73	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1799.98/1800.73	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1799.98/1800.73	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1799.98/1800.73	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274
1799.98/1800.73	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1799.98/1800.73	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1799.98/1800.73	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1799.98/1800.73	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372
1799.98/1800.73	v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389
1799.98/1800.73	v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407
1799.98/1800.73	v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424
1799.98/1800.73	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441
1799.98/1800.73	v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
1799.98/1800.73	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1799.98/1800.73	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1799.98/1800.73	v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509
1799.98/1800.73	v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526
1799.98/1800.73	v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543
1799.98/1800.73	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
1799.98/1800.73	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577
1799.98/1800.73	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594
1799.98/1800.73	v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611
1799.98/1800.73	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1799.98/1800.73	v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1799.98/1800.73	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3691 -x3692
1799.98/1800.73	v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1799.98/1800.73	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1799.98/1800.73	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
1799.98/1800.73	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1799.98/1800.73	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1799.98/1800.73	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1799.98/1800.73	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1799.98/1800.73	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1799.98/1800.73	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1799.98/1800.73	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863
1799.98/1800.73	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
1799.98/1800.73	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897
1799.98/1800.73	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1799.98/1800.73	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1799.98/1800.73	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948
1799.98/1800.73	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1799.98/1800.73	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1799.98/1800.73	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029
1799.98/1800.73	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1799.98/1800.73	v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1799.98/1800.73	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1799.98/1800.73	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1799.98/1800.73	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1799.98/1800.73	v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1799.98/1800.73	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1799.98/1800.73	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1799.98/1800.73	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
1799.98/1800.73	v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
1799.98/1800.73	v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1799.98/1800.73	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233
1799.98/1800.73	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
1799.98/1800.73	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
1799.98/1800.73	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284
1799.98/1800.73	v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301
1799.98/1800.73	v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
1799.98/1800.73	v -x4319 -x4320 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1799.98/1800.73	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131
1799.98/1800.73	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152
1799.98/1800.73	v x153 x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
1799.98/1800.73	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195
1799.98/1800.73	v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216
1799.98/1800.73	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
1799.98/1800.73	v -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258
1799.98/1800.73	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1799.98/1800.73	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1799.98/1800.73	v -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1799.98/1800.73	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
1799.98/1800.73	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364
1799.98/1800.73	v -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
1799.98/1800.73	v -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 x424 x425 x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1799.98/1800.73	v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1799.98/1800.73	v -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1799.98/1800.73	v -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1799.98/1800.73	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1799.98/1800.73	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544
1799.98/1800.73	v x545 x546 x547 x548 x549 x550 x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1799.98/1800.73	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1799.98/1800.73	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1799.98/1800.73	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1799.98/1800.73	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1799.98/1800.73	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1799.98/1800.73	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1799.98/1800.73	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1799.98/1800.73	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1799.98/1800.73	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785
1799.98/1800.73	v x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1799.98/1800.73	v -x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828
1799.98/1800.73	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1799.98/1800.73	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
1799.98/1800.73	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891
1799.98/1800.73	v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1799.98/1800.73	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1799.98/1800.73	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954
1799.98/1800.73	v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975
1799.98/1800.73	v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
1799.98/1800.73	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1799.98/1800.73	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031
1799.98/1800.73	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048
1799.98/1800.73	v -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095
1799.98/1800.73	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1799.98/1800.73	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1799.98/1800.73	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1799.98/1800.73	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1799.98/1800.73	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1799.98/1800.73	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1799.98/1800.73	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1799.98/1800.73	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1799.98/1800.73	v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248
1799.98/1800.73	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1799.98/1800.73	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1799.98/1800.73	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1799.98/1800.73	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1799.98/1800.73	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1799.98/1800.73	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1799.98/1800.73	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1799.98/1800.73	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414
1799.98/1800.73	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1799.98/1800.73	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1799.98/1800.73	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1799.98/1800.73	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1799.98/1800.73	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1799.98/1800.73	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1799.98/1800.73	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x4321 -x4322 -x4377 -x4388
1799.98/1800.73	v x4399 -x4410 -x4421 -x4432 -x4443 -x4454 -x4323 x4334 -x4345 -x4356 -x4367 -x4372 -x4373 -x4374 -x4375 -x4376 -x4378 x4379
1799.98/1800.73	v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 x4398
1799.98/1800.73	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 x4408 -x4409 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418
1799.98/1800.73	v -x4419 x4420 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4433 x4434 -x4435 -x4436 -x4437 -x4438
1799.98/1800.73	v -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4455 -x4456 -x4457 -x4458
1799.98/1800.73	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4324 x4325 x4326 x4327 -x4328 x4329 -x4330 x4331 -x4332 x4333 x4335 x4336 x4337
1799.98/1800.73	v -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4357
1799.98/1800.73	v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4368 -x4369 -x4370 -x4371
1799.98/1800.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.74	c   42   349774  44463   547295   194327 110190224 194135    194 1800.02
1799.98/1800.74	c Objective: 5500543
1799.98/1800.74	s SATISFIABLE
1799.98/1800.74	c Total time: 1800.02 s

Verifier Data (download as text)

OK	5500543

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-353930-1176688705 -o ROOT/results/node24/solver-353930-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28277
/proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=2332 CPUtime=0
/proc/28277/stat : 28277 (bsolo3.0.16) D 28275 28277 27169 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 116788564 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 2610183 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/28277/statm: 583 26 20 324 0 3 0

[startup+0.0429071 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28277
/proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=2332 CPUtime=0
/proc/28277/stat : 28277 (bsolo3.0.16) D 28275 28277 27169 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 116788564 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 2610183 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/28277/statm: 583 26 20 324 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2332

[startup+0.102919 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28277
/proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=5232 CPUtime=0.04
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 762 0 3 0 4 0 0 0 18 0 1 0 116788564 5357568 677 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047169 0 0 4096 16384 0 0 0 17 0 0 0
/proc/28277/statm: 1308 677 305 324 0 377 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5232

[startup+0.302946 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28277
/proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=6860 CPUtime=0.25
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 1184 0 3 0 24 1 0 0 19 0 1 0 116788564 7024640 1075 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 0 0 0
/proc/28277/statm: 1715 1075 313 324 0 784 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6860

[startup+0.701984 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28277
/proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=8928 CPUtime=0.64
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 1725 0 3 0 63 1 0 0 23 0 1 0 116788564 9142272 1616 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 0 0 0
/proc/28277/statm: 2232 1616 313 324 0 1301 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 8928

[startup+1.50106 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1871864/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=14168 CPUtime=1.44
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 3023 0 3 0 142 2 0 0 25 0 1 0 116788564 14508032 2914 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 3542 2914 313 324 0 2611 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 14168

[startup+3.10124 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1866296/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=21948 CPUtime=3.03
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 4968 0 3 0 300 3 0 0 25 0 1 0 116788564 22474752 4859 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 5487 4859 313 324 0 4556 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 21948

[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1846392/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=41908 CPUtime=6.24
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 9946 0 3 0 617 7 0 0 25 0 1 0 116788564 42913792 9837 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 10477 9837 313 324 0 9546 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 41908

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1809912/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=76332 CPUtime=12.64
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 18559 0 3 0 1251 13 0 0 25 0 1 0 116788564 78163968 18450 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 19083 18450 313 324 0 18152 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 76332

[startup+25.5027 s]
/proc/loadavg: 0.95 0.98 0.99 3/78 28278
/proc/meminfo: memFree=1758712/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=125160 CPUtime=25.43
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 30775 0 3 0 2523 20 0 0 25 0 1 0 116788564 128163840 30666 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 31290 30666 313 324 0 30359 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 125160

[startup+51.1024 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1672952/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=211724 CPUtime=51.01
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 52407 0 3 0 5069 32 0 0 25 0 1 0 116788564 216805376 52298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 52931 52298 313 324 0 52000 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 211724

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 28278
/proc/meminfo: memFree=1540920/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=341896 CPUtime=102.2
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 84969 0 3 0 10168 52 0 0 25 0 1 0 116788564 350101504 84860 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 85474 84860 313 324 0 84543 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 341896

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 28350
/proc/meminfo: memFree=1431496/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=450152 CPUtime=162.17
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 112008 0 3 0 16141 76 0 0 25 0 1 0 116788564 460955648 111899 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 112538 111899 313 324 0 111607 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 450152

[startup+222.303 s]
/proc/loadavg: 1.07 1.00 1.00 3/84 28845
/proc/meminfo: memFree=1338352/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=525384 CPUtime=222
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 130844 0 3 0 22105 95 0 0 25 0 1 0 116788564 537993216 130735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/28277/statm: 131346 130735 313 324 0 130415 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 525384

[startup+282.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 28886
/proc/meminfo: memFree=1269168/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=581648 CPUtime=281.97
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 144911 0 3 0 28089 108 0 0 25 0 1 0 116788564 595607552 144802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 145412 144802 313 324 0 144481 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 581648

[startup+342.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 28886
/proc/meminfo: memFree=1197744/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=652296 CPUtime=341.96
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 162542 0 3 0 34071 125 0 0 25 0 1 0 116788564 667951104 162433 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 163074 162433 313 324 0 162143 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 652296

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=1102064/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=749428 CPUtime=401.94
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 186840 0 3 0 40050 144 0 0 25 0 1 0 116788564 767414272 186731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 187357 186731 313 324 0 186426 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 749428

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=1012208/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=837568 CPUtime=461.93
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 208886 0 3 0 46031 162 0 0 25 0 1 0 116788564 857669632 208777 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 209392 208777 313 324 0 208461 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 837568

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=903352/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=947392 CPUtime=521.91
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 236345 0 3 0 52010 181 0 0 25 0 1 0 116788564 970129408 236236 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3038964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 236848 236236 313 324 0 235917 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 947392

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=809208/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1040228 CPUtime=581.89
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 259535 0 3 0 57992 197 0 0 25 0 1 0 116788564 1065193472 259426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 260057 259426 313 324 0 259126 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 1040228

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=788024/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=641.87
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 63986 201 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 1060624


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787896/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=881.81
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 87973 208 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 1060624

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787896/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=941.79
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 93966 213 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 1060624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787768/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1001.78
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 99961 217 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 1060624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787704/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1061.77
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 105957 220 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 1060624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787640/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1121.75
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 111953 222 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1060624

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787576/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1181.74
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 117948 226 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1060624

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787448/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1241.72
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 123945 227 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1060624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787320/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1301.71
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 129942 229 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1060624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=787256/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1060624 CPUtime=1361.69
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 135937 232 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3038868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 265156 264531 313 324 0 264225 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1060624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=730808/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1117220 CPUtime=1421.68
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 278954 0 3 0 141925 243 0 0 25 0 1 0 116788564 1144033280 278680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 279305 278680 313 324 0 278374 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1117220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=653496/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1194920 CPUtime=1481.65
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 298381 0 3 0 147910 255 0 0 25 0 1 0 116788564 1223598080 298107 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 298730 298107 313 324 0 297799 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1194920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=589624/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1257768 CPUtime=1541.64
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 314088 0 3 0 153898 266 0 0 25 0 1 0 116788564 1287954432 313814 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 314442 313814 313 324 0 313511 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 1257768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=551160/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1296528 CPUtime=1601.62
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 323786 0 3 0 159888 274 0 0 25 0 1 0 116788564 1327644672 323512 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 324132 323512 313 324 0 323201 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1296528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=512504/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1334616 CPUtime=1661.61
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 333295 0 3 0 165879 282 0 0 25 0 1 0 116788564 1366646784 333021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 333654 333021 313 324 0 332723 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1334616

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=473528/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1373876 CPUtime=1721.59
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 343119 0 3 0 171870 289 0 0 25 0 1 0 116788564 1406849024 342845 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 343469 342845 313 324 0 342538 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1373876

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=430712/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=1416028 CPUtime=1781.58
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 353663 0 3 0 177861 297 0 0 25 0 1 0 116788564 1450012672 353389 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3039319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 354007 353389 313 324 0 353076 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1416028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=806840/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=0 CPUtime=1800.07
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194308 356329 0 3 0 179702 305 0 0 17 0 1 0 116788564 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28886
/proc/meminfo: memFree=806840/2055920 swapFree=4159472/4192956
[pid=28277] ppid=28275 vsize=0 CPUtime=1800.17
/proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194308 356329 0 3 0 179702 315 0 0 18 0 1 0 116788564 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28277/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.24
CPU user time (s): 1797.03
CPU system time (s): 3.21351
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 1426664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.21351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356329
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3776

runsolver used 2.10968 second user time and 4.42933 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Apr 16 01:58:25 UTC 2007

IDJOB= 353930
IDBENCH= 2294
IDSOLVER= 163
FILE ID= node24/353930-1176688705

PBS_JOBID= 4559980

Free space on /tmp= 66519 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-353930-1176688705 -o ROOT/results/node24/solver-353930-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  56c71282ea86eaaf05df174b87b01c4e

RANDOM SEED= 993348422

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1880792 kB
Buffers:          3568 kB
Cached:          51824 kB
SwapCached:       2272 kB
Active:          82144 kB
Inactive:        34704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880792 kB
SwapTotal:     4192956 kB
SwapFree:      4159472 kB
Dirty:            4692 kB
Writeback:           0 kB
Mapped:          76624 kB
Slab:            43724 kB
Committed_AS:  1817544 kB
PageTables:       1880 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66519 MiB

End job on node24 on Mon Apr 16 02:28:28 UTC 2007