Trace number 350590

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)4003 1800.26 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUMd5ffb80d8d2a9d2ae5f84f17eeb42612
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4003
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2754
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3334110
Number of bits of the biggest sum of numbers22
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.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/350590-1176523994/instance-350590-1176523994.opb
0.00/0.00	c File size is 309376 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	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 Highest Coefficient sum: 3.33411e+06
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.059 s
0.00/0.06	c Var: 7195 Constr: 958 29/29/900 Lit: 41461 Watch. Lit: 10758
0.00/0.06	c Obj. Vars: 421 (5.85129 % of total variables)
2.89/2.91	c Pre-processing Time: 2.914 s
201.63/201.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
201.63/201.76	c        0   7170      956    41361   43    17172   83002      0      0 2.91
201.63/201.76	c      101   7170     1057   115540  109    27097   91303    101     33 3.04
201.63/201.76	c      252   7170     1208   210632  174    27482  100434    252     78 3.23
201.63/201.76	c      478   7170     1434   316533  220    28352  110478    478    140 3.39
201.63/201.76	c      826   7170     1782   483411  271    29300  121526    826    226 3.64
201.63/201.76	c     1335   7170     2291   641385  279    30666  133679   1335    328 4.06
201.63/201.76	c     2098   7170     3054  1094668  358    32419  147047   2098    436 4.81
201.63/201.76	c     3244   7170     4200  1981465  471    35450  161752   3244    493 6.58
201.63/201.76	c     4965   7170     5921  2906105  490    38271  177928   4965    550 9.01
201.63/201.76	c     7550   7170     8506  4421357  519    41873  195721   7550    556 13.57
201.63/201.76	c    11430   7170    12386  8534003  689    49794  215294  11430    463 24.66
201.63/201.76	c    17253   7170    18209 11940278  655    61608  236824  17253    558 30.90
201.63/201.76	c    25997   7170    26953 15752970  584    78340  260507  25997    591 43.97
201.63/201.76	c    39126   7170    40082 20759304  517   105192  286558  39126    493 79.23
201.63/201.76	c    58800   7170    59756 36959269  618   144348  315214  58800    411 142.95
201.63/201.76	o 5218	201.705
371.98/372.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
371.98/372.13	c    71886   7170    72843 50536848  693   171044   83844  71887    356 201.71
371.98/372.13	c    71988   7170    72945 50635338  694   170738   92229  71989    353 203.50
371.98/372.13	c    72245   7170    73202 50726049  692   170894  101452  72246    354 203.88
371.98/372.13	c    72734   7170    73691 51132782  693   172532  111598  72735    350 207.31
371.98/372.13	c    73547   7170    74504 51695489  693   174323  122758  73548    347 211.52
371.98/372.13	c    74868   7170    75825 52443312  691   176941  135034  74869    348 215.09
371.98/372.13	c    76951   7170    77908 55494545  712   180814  148538  76952    334 230.02
371.98/372.13	c    80174   7170    81131 59900153  738   187355  163392  80175    323 248.15
371.98/372.13	c    85110   7170    86067 64433911  748   197721  179732  85111    323 263.31
371.98/372.13	c    92624   7170    93581 75937123  811   212421  197706  92625    263 351.51
371.98/372.13	o 4026	372.018
976.80/977.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
976.80/977.11	c    95161   7170    96119 78506095  816   217571   83844  95163    255 372.02
976.80/977.11	c    95261   7170    13523 16293294 1204    51712   92229  12567    253 375.51
976.80/977.11	c    95511   7170    13773 16502238 1198    52501  101452  12817    253 376.55
976.80/977.11	c    95987   7170    14249 16751749 1175    52993  111598  13293    254 377.19
976.80/977.11	c    96802   7170    15064 17306190 1148    55244  122758  14108    255 378.81
976.80/977.11	c    98123   7170    16385 18492092 1128    58023  135034  15429    255 383.49
976.80/977.11	c   100204   7170    18466 20447528 1107    62563  148538  17510    256 390.03
976.80/977.11	c   103428   7170    21690 22895632 1055    68809  163392  20734    260 397.66
976.80/977.11	c   108365   7170    26627 26657120 1001    78710  179732  25671    261 413.87
976.80/977.11	c   115872   7170    34134 34318478 1005    93252  197706  33178    243 476.13
976.80/977.11	c   127233   7170    45495 44838073  985   115577  217477  44539    235 539.37
976.80/977.11	c   144378   7170    62640 51800354  826   149814  239225  61684    257 561.25
976.80/977.11	c   170212   7170    88474 79257005  895   202268  263148  87518    207 821.76
976.80/977.11	o 4014	976.826
1125.57/1125.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1125.57/1125.92	c   183907   7170   102170 95761465  937   230103   83844 101214    188 976.83
1125.57/1125.92	c   184013   7170    13642 15066566 1104    51779   92229  12686    187 980.61
1125.57/1125.92	c   184265   7170    13894 15226407 1095    52709  101452  12938    187 981.22
1125.57/1125.92	c   184742   7170    14371 15427777 1073    53934  111598  13415    188 982.38
1125.57/1125.92	c   185555   7170    15184 15960249 1051    55290  122758  14228    188 985.03
1125.57/1125.92	c   186877   7170    16506 16619835 1006    58317  135034  15550    189 986.00
1125.57/1125.92	c   188958   7170    18587 17803925  957    62599  148538  17631    190 989.72
1125.57/1125.92	c   192228   7170    21857 20598899  942    69034  163392  20901    192 999.05
1125.57/1125.92	c   197167   7170    26796 22607463  843    79059  179732  25840    195 1006.69
1125.57/1125.92	c   204674   7170    34303 29830598  869    94182  197706  33347    199 1027.04
1125.57/1125.92	c   216037   7170    45666 36219829  793   116748  217477  44710    205 1051.07
1125.57/1125.92	c   233181   7170    62810 46412778  738   151094  239225  61854    213 1092.50
1125.57/1125.92	o 4003	1125.59
1799.94/1800.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.55	c   240280   7170    69910 51757614  740   166085   83844  68954    213 1125.59
1799.94/1800.55	c   240382   7170    70012 51812443  740   165420   92229  69056    213 1126.10
1799.94/1800.55	c   240635   7170    70265 51930471  739   165780  101452  69309    213 1126.25
1799.94/1800.55	c   241110   7170    70740 52403799  740   167540  111598  69784    213 1129.52
1799.94/1800.55	c   241923   7170    71553 53144733  742   168364  122758  70597    213 1131.48
1799.94/1800.55	c   243244   7170    72874 53666776  736   170175  135034  71918    214 1132.67
1799.94/1800.55	c   245325   7170    74955 54486545  726   175765  148538  73999    215 1140.11
1799.94/1800.55	c   248550   7170    78180 59284164  758   181804  163392  77224    212 1169.56
1799.94/1800.55	c   253487   7170    83117 64070769  770   191742  179732  82161    211 1199.46
1799.94/1800.55	c   260993   7170    90623 77555975  855   207124  197706  89667    200 1303.27
1799.94/1800.55	c   272354   7170   101984 89788129  880   230013  217477 101028    186 1463.53
1799.94/1800.55	c   289498   7170   119128 107453564  902   263952  239225 118172    179 1612.18
1799.94/1800.55	c   315317   7170   144947 120623293  832   315413  263148 143991    179 1752.77
1799.94/1800.55	c Resources Exceeded
1799.94/1800.55	v x1 -x112 x223 -x334 -x1632 -x3257 x4877 -x6486 -x7185 x2 -x13 -x24 -x35 -x46 -x57 -x68 x79 -x90 x101 -x113 -x124 -x135 -x146
1799.94/1800.55	v -x157 -x168 -x179 x190 -x201 -x212 -x224 -x235 -x246 x257 -x268 -x279 -x290 -x301 -x312 -x323 -x335 -x346 -x357 -x489 -x653
1799.94/1800.55	v -x817 -x981 x1140 x1304 -x1464 -x1633 -x1793 -x1957 -x2119 -x2284 -x2444 -x2606 -x2767 -x2928 -x3094 -x3258 -x3417 -x3580
1799.94/1800.55	v -x3746 -x3909 -x4071 -x4235 -x4393 -x4557 -x4717 -x4878 -x5037 -x5194 -x5353 x5515 -x5680 -x5840 -x6000 -x6166 -x6326
1799.94/1800.55	v x6487 -x6650 -x6816 -x6974 -x7131 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192
1799.94/1800.55	v -x7193 -x7194 -x7195 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x25 x26 -x27 -x28
1799.94/1800.55	v -x29 -x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1799.94/1800.55	v -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85
1799.94/1800.55	v -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1799.94/1800.55	v -x111 x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x136
1799.94/1800.55	v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159
1799.94/1800.55	v -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x180 -x181 -x182
1799.94/1800.55	v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x202 -x203 -x204 -x205
1799.94/1800.55	v -x206 -x207 -x208 -x209 -x210 -x211 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x225 -x226 -x227 -x228 -x229
1799.94/1800.55	v -x230 -x231 -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 x251 -x252
1799.94/1800.55	v -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.94/1800.55	v -x276 -x277 -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1799.94/1800.55	v -x299 -x300 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1799.94/1800.55	v -x322 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
1799.94/1800.55	v -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1799.94/1800.55	v -x369 x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1799.94/1800.55	v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
1799.94/1800.55	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431
1799.94/1800.55	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452
1799.94/1800.55	v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473
1799.94/1800.55	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 -x492 -x493 -x494 -x495
1799.94/1800.55	v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516
1799.94/1800.55	v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
1799.94/1800.55	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558
1799.94/1800.55	v -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 x567 x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1799.94/1800.55	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600
1799.94/1800.55	v x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621
1799.94/1800.55	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642
1799.94/1800.55	v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664
1799.94/1800.55	v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685
1799.94/1800.55	v -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706
1799.94/1800.55	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727
1799.94/1800.55	v -x728 -x729 -x730 x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748
1799.94/1800.55	v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769
1799.94/1800.55	v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
1799.94/1800.55	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811
1799.94/1800.55	v -x812 -x813 -x814 -x815 -x816 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833
1799.94/1800.55	v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854
1799.94/1800.55	v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875
1799.94/1800.55	v -x876 -x877 -x878 x879 x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896
1799.94/1800.55	v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917
1799.94/1800.55	v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938
1799.94/1800.55	v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959
1799.94/1800.55	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
1799.94/1800.55	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1799.94/1800.55	v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
1799.94/1800.55	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035
1799.94/1800.55	v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052
1799.94/1800.55	v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069
1799.94/1800.55	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
1799.94/1800.55	v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1799.94/1800.55	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1799.94/1800.55	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1799.94/1800.55	v -x1138 -x1139 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155
1799.94/1800.55	v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172
1799.94/1800.55	v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1799.94/1800.55	v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206
1799.94/1800.55	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223
1799.94/1800.55	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
1799.94/1800.55	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257
1799.94/1800.55	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274
1799.94/1800.55	v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1799.94/1800.55	v -x1292 -x1293 -x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
1799.94/1800.55	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327
1799.94/1800.55	v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
1799.94/1800.55	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361
1799.94/1800.55	v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378
1799.94/1800.55	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1799.94/1800.55	v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412
1799.94/1800.55	v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429
1799.94/1800.55	v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
1799.94/1800.55	v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463
1799.94/1800.55	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1799.94/1800.55	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1799.94/1800.55	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1799.94/1800.55	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1799.94/1800.55	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1799.94/1800.55	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1799.94/1800.55	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1799.94/1800.55	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1799.94/1800.55	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1799.94/1800.55	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1634 -x1635 -x1636 -x1637
1799.94/1800.55	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1799.94/1800.55	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1799.94/1800.55	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1799.94/1800.55	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1799.94/1800.55	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1799.94/1800.55	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1799.94/1800.55	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1799.94/1800.55	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1799.94/1800.55	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1799.94/1800.55	v -x1791 -x1792 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1799.94/1800.55	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1799.94/1800.55	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
1799.94/1800.55	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1799.94/1800.55	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1799.94/1800.55	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
1799.94/1800.55	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1799.94/1800.55	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1799.94/1800.55	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1799.94/1800.55	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962
1799.94/1800.55	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1799.94/1800.55	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1799.94/1800.55	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
1799.94/1800.55	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1799.94/1800.55	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1799.94/1800.55	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1799.94/1800.55	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1799.94/1800.55	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1799.94/1800.55	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1799.94/1800.55	v -x2116 -x2117 -x2118 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 -x2133 -x2134
1799.94/1800.55	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151
1799.94/1800.55	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 x2168 -x2169
1799.94/1800.55	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1799.94/1800.55	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1799.94/1800.55	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1799.94/1800.55	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1799.94/1800.55	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1799.94/1800.55	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1799.94/1800.55	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 -x2289
1799.94/1800.55	v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306
1799.94/1800.55	v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323
1799.94/1800.55	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1799.94/1800.55	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1799.94/1800.55	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1799.94/1800.55	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 x2392
1799.94/1800.55	v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409
1799.94/1800.55	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1799.94/1800.55	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1799.94/1800.55	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461
1799.94/1800.55	v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1799.94/1800.55	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495
1799.94/1800.55	v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
1799.94/1800.55	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529
1799.94/1800.55	v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546
1799.94/1800.55	v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563
1799.94/1800.55	v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
1799.94/1800.55	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597
1799.94/1800.55	v -x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1799.94/1800.55	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633
1799.94/1800.55	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
1799.94/1800.55	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667
1799.94/1800.55	v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684
1799.94/1800.55	v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701
1799.94/1800.55	v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718
1799.94/1800.55	v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
1799.94/1800.55	v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752
1799.94/1800.55	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2768 -x2769 -x2770
1799.94/1800.55	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
1799.94/1800.55	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804
1799.94/1800.55	v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821
1799.94/1800.55	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838
1799.94/1800.55	v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1799.94/1800.55	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872
1799.94/1800.55	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1799.94/1800.55	v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
1799.94/1800.55	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923
1799.94/1800.55	v -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
1799.94/1800.55	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1799.94/1800.55	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975
1799.94/1800.55	v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
1799.94/1800.55	v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
1799.94/1800.55	v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026
1799.94/1800.55	v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043
1799.94/1800.55	v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1799.94/1800.55	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
1799.94/1800.55	v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3095
1799.94/1800.55	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1799.94/1800.55	v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129
1799.94/1800.55	v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146
1799.94/1800.55	v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
1799.94/1800.55	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
1799.94/1800.55	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1799.94/1800.55	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1799.94/1800.55	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
1799.94/1800.55	v -x3233 -x3234 -x3235 x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1799.94/1800.55	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1799.94/1800.55	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1799.94/1800.55	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1799.94/1800.55	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1799.94/1800.55	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1799.94/1800.55	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1799.94/1800.55	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371
1799.94/1800.55	v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
1799.94/1800.55	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1799.94/1800.55	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423
1799.94/1800.55	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
1799.94/1800.55	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457
1799.94/1800.55	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474
1799.94/1800.55	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
1799.94/1800.55	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1799.94/1800.55	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1799.94/1800.55	v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542
1799.94/1800.55	v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559
1799.94/1800.55	v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576
1799.94/1800.55	v -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594
1799.94/1800.55	v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611
1799.94/1800.55	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1799.94/1800.55	v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1799.94/1800.55	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662
1799.94/1800.55	v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
1799.94/1800.55	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696
1799.94/1800.55	v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713
1799.94/1800.55	v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
1799.94/1800.55	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748
1799.94/1800.55	v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1799.94/1800.55	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782
1799.94/1800.55	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1799.94/1800.55	v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816
1799.94/1800.55	v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833
1799.94/1800.55	v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
1799.94/1800.55	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
1799.94/1800.55	v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884
1799.94/1800.55	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1799.94/1800.55	v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1799.94/1800.55	v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936
1799.94/1800.55	v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953
1799.94/1800.55	v x3954 x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
1799.94/1800.55	v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988
1799.94/1800.55	v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005
1799.94/1800.55	v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022
1799.94/1800.55	v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039
1799.94/1800.55	v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056
1799.94/1800.55	v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4072 -x4073 -x4074
1799.94/1800.55	v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091
1799.94/1800.55	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108
1799.94/1800.55	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125
1799.94/1800.55	v -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142
1799.94/1800.55	v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159
1799.94/1800.55	v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176
1799.94/1800.55	v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193
1799.94/1800.55	v -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
1799.94/1800.55	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227
1799.94/1800.55	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245
1799.94/1800.55	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
1799.94/1800.55	v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279
1799.94/1800.55	v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
1799.94/1800.55	v -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313
1799.94/1800.55	v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 x4329 -x4330 -x4331
1799.94/1800.55	v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
1799.94/1800.55	v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365
1799.94/1800.55	v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382
1799.94/1800.55	v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
1799.94/1800.55	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417
1799.94/1800.55	v -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434
1799.94/1800.55	v -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451
1799.94/1800.55	v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1799.94/1800.55	v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485
1799.94/1800.55	v -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502
1799.94/1800.55	v -x4503 x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520
1799.94/1800.55	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537
1799.94/1800.55	v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554
1799.94/1800.55	v -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572
1799.94/1800.55	v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589
1799.94/1800.55	v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606
1799.94/1800.55	v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623
1799.94/1800.55	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
1799.94/1800.55	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657
1799.94/1800.55	v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674
1799.94/1800.55	v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691
1799.94/1800.55	v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708
1799.94/1800.55	v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726
1799.94/1800.55	v -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743
1799.94/1800.55	v -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
1799.94/1800.55	v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777
1799.94/1800.55	v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794
1799.94/1800.55	v -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811
1799.94/1800.55	v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1799.94/1800.55	v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845
1799.94/1800.55	v -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862
1799.94/1800.55	v -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4879 -x4880 -x4881
1799.94/1800.55	v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
1799.94/1800.55	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1799.94/1800.55	v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932
1799.94/1800.55	v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
1799.94/1800.55	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1799.94/1800.55	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983
1799.94/1800.55	v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
1799.94/1800.55	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017
1799.94/1800.55	v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034
1799.94/1800.55	v -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052
1799.94/1800.55	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1799.94/1800.55	v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086
1799.94/1800.55	v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103
1799.94/1800.55	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
1799.94/1800.55	v -x5121 -x5122 -x5123 x5124 x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1799.94/1800.55	v -x5139 -x5140 -x5141 x5142 x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156
1799.94/1800.55	v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173
1799.94/1800.55	v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
1799.94/1800.55	v -x5191 -x5192 -x5193 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208
1799.94/1800.55	v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225
1799.94/1800.55	v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242
1799.94/1800.55	v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259
1799.94/1800.55	v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276
1799.94/1800.55	v -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293
1799.94/1800.55	v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310
1799.94/1800.55	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327
1799.94/1800.55	v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344
1799.94/1800.55	v -x5345 -x5346 -x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362
1799.94/1800.55	v -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379
1799.94/1800.55	v -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396
1799.94/1800.55	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413
1799.94/1800.55	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
1799.94/1800.55	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447
1799.94/1800.55	v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464
1799.94/1800.55	v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1799.94/1800.55	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498
1799.94/1800.55	v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5516
1799.94/1800.55	v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533
1799.94/1800.55	v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
1799.94/1800.55	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567
1799.94/1800.55	v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584
1799.94/1800.55	v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601
1799.94/1800.55	v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618
1799.94/1800.55	v -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635
1799.94/1800.55	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652
1799.94/1800.55	v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669
1799.94/1800.55	v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687
1799.94/1800.55	v -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704
1799.94/1800.55	v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721
1799.94/1800.55	v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738
1799.94/1800.55	v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755
1799.94/1800.55	v -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772
1799.94/1800.55	v -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789
1799.94/1800.55	v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806
1799.94/1800.55	v -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823
1799.94/1800.55	v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5841
1799.94/1800.55	v -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858
1799.94/1800.55	v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875
1799.94/1800.55	v -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893
1799.94/1800.55	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910
1799.94/1800.55	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927
1799.94/1800.55	v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944
1799.94/1800.55	v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961
1799.94/1800.55	v -x5962 -x5963 -x5964 x5965 -x5966 x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979
1799.94/1800.55	v -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996
1799.94/1800.55	v -x5997 -x5998 -x5999 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014
1799.94/1800.55	v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031
1799.94/1800.55	v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048
1799.94/1800.55	v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065
1799.94/1800.55	v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082
1799.94/1800.55	v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099
1799.94/1800.55	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116
1799.94/1800.55	v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133
1799.94/1800.55	v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
1799.94/1800.55	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168
1799.94/1800.55	v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185
1799.94/1800.55	v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202
1799.94/1800.55	v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219
1799.94/1800.55	v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236
1799.94/1800.55	v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253
1799.94/1800.55	v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270
1799.94/1800.55	v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287
1799.94/1800.55	v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304
1799.94/1800.55	v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1799.94/1800.55	v -x6322 -x6323 -x6324 -x6325 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339
1799.94/1800.55	v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356
1799.94/1800.55	v -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373
1799.94/1800.55	v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390
1799.94/1800.55	v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407
1799.94/1800.55	v -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424
1799.94/1800.55	v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441
1799.94/1800.55	v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458
1799.94/1800.55	v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475
1799.94/1800.55	v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494
1799.94/1800.55	v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511
1799.94/1800.55	v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528
1799.94/1800.55	v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545
1799.94/1800.55	v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562
1799.94/1800.55	v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579
1799.94/1800.55	v -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596
1799.94/1800.55	v -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613
1799.94/1800.55	v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630
1799.94/1800.55	v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647
1799.94/1800.55	v -x6648 -x6649 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665
1799.94/1800.55	v -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682
1799.94/1800.55	v -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699
1799.94/1800.55	v -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716
1799.94/1800.55	v -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734
1799.94/1800.55	v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751
1799.94/1800.55	v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768
1799.94/1800.55	v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785
1799.94/1800.55	v -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802
1799.94/1800.55	v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6817 -x6818 -x6819 -x6820
1799.94/1800.55	v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837
1799.94/1800.55	v -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854
1799.94/1800.55	v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871
1799.94/1800.55	v -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888
1799.94/1800.55	v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905
1799.94/1800.55	v -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922
1799.94/1800.55	v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939
1799.94/1800.55	v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956
1799.94/1800.55	v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973
1799.94/1800.55	v -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991
1799.94/1800.55	v -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008
1799.94/1800.55	v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025
1799.94/1800.55	v -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042
1799.94/1800.55	v -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059
1799.94/1800.55	v -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076
1799.94/1800.55	v -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093
1799.94/1800.55	v -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110
1799.94/1800.55	v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127
1799.94/1800.55	v -x7128 -x7129 -x7130 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145
1799.94/1800.55	v -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162
1799.94/1800.55	v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179
1799.94/1800.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.56	c   62   319457  31945  1757896   149087 125417677 148131    177 1800.00
1799.94/1800.56	c Objective: 4003
1799.94/1800.56	s SATISFIABLE
1799.94/1800.56	c Total time: 1800 s

Verifier Data (download as text)

OK	4003

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-350590-1176523994 -o ROOT/results/node5/solver-350590-1176523994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.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 2/77 19380
/proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=19852 CPUtime=0
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 128437046 20328448 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 4963 332 280 324 0 3956 0

[startup+0.0887959 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19380
/proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=6044 CPUtime=0.08
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 963 0 0 0 8 0 0 0 18 0 1 0 128437046 6189056 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1511 855 306 324 0 580 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6044

[startup+0.102797 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19380
/proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=6044 CPUtime=0.09
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 963 0 0 0 9 0 0 0 18 0 1 0 128437046 6189056 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1511 855 306 324 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6044

[startup+0.302819 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19380
/proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=6044 CPUtime=0.29
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 965 0 0 0 29 0 0 0 20 0 1 0 128437046 6189056 857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1511 857 306 324 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6044

[startup+0.701865 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19380
/proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=6608 CPUtime=0.68
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1248 0 0 0 68 0 0 0 23 0 1 0 128437046 6766592 1016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1652 1016 308 324 0 721 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6608

[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1293248/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=6608 CPUtime=1.49
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1248 0 0 0 148 1 0 0 25 0 1 0 128437046 6766592 1016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1652 1016 308 324 0 721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6608

[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1293120/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=7484 CPUtime=3.09
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1478 0 0 0 307 2 0 0 25 0 1 0 128437046 7663616 1246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 1871 1246 312 324 0 940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7484

[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1276288/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=29720 CPUtime=6.29
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 7036 0 0 0 622 7 0 0 25 0 1 0 128437046 30433280 6804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 7430 6804 312 324 0 6499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29720

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1243776/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=58768 CPUtime=12.68
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 14294 0 0 0 1254 14 0 0 25 0 1 0 128437046 60178432 14062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 14692 14062 312 324 0 13761 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58768

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1177536/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=125492 CPUtime=25.48
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 30965 0 0 0 2527 21 0 0 25 0 1 0 128437046 128503808 30733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 31373 30733 312 324 0 30442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125492

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19381
/proc/meminfo: memFree=1070144/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=230628 CPUtime=51.07
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 57255 0 0 0 5069 38 0 0 25 0 1 0 128437046 236163072 57023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 57657 57023 312 324 0 56726 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 230628

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19381
/proc/meminfo: memFree=930176/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=369612 CPUtime=102.26
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 91997 0 0 0 10164 62 0 0 25 0 1 0 128437046 378482688 91765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 92403 91765 312 324 0 91472 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 369612

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=759552/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=541580 CPUtime=162.24
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 135005 0 0 0 16131 93 0 0 25 0 1 0 128437046 554577920 134773 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 135395 134773 312 324 0 134464 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 541580

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=597632/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=701392 CPUtime=222.23
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 174941 0 0 0 22105 118 0 0 25 0 1 0 128437046 718225408 174709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 175348 174709 313 324 0 174417 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 701392

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=437312/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=862284 CPUtime=282.21
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 215176 0 0 0 28081 140 0 0 25 0 1 0 128437046 882978816 214944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 215571 214944 313 324 0 214640 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 862284

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=335680/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=962864 CPUtime=342.19
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 240326 0 0 0 34067 152 0 0 25 0 1 0 128437046 985972736 240094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 240716 240094 313 324 0 239785 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 962864

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=284352/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1013380 CPUtime=402.17
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 40047 170 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 253345 252725 313 324 0 252414 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1013380

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=284352/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1013380 CPUtime=462.16
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 46043 173 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 253345 252725 313 324 0 252414 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1013380

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=284416/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1013380 CPUtime=522.14
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 52034 180 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 253345 252725 313 324 0 252414 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1013380

[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=284480/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1013380 CPUtime=582.12
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 58026 186 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 253345 252725 313 324 0 252414 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1013380

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=284480/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1013380 CPUtime=642.11
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253051 0 0 0 64020 191 0 0 25 0 1 0 128437046 1037701120 252726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 253345 252726 313 324 0 252414 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1013380


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=172096/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1125892 CPUtime=882.03
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 281185 0 0 0 87995 208 0 0 25 0 1 0 128437046 1152913408 280860 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 281507 280865 313 324 0 280576 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1125892

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=102272/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1196676 CPUtime=942.02
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 298860 0 0 0 93985 217 0 0 25 0 1 0 128437046 1225396224 298535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 299169 298535 313 324 0 298238 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1196676

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19381
/proc/meminfo: memFree=64000/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1002
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 99972 228 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1233184

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64064/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1061.98
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 105959 239 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1233184

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64128/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1121.96
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 111950 246 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1233184

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64128/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1181.94
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 117940 254 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8323141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1233184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1241.92
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 123935 257 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1233184

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1301.91
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 129933 258 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1233184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1361.89
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 135929 260 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1233184

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233184 CPUtime=1421.88
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 141924 264 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308296 307686 313 324 0 307365 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1233184

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1233192 CPUtime=1481.86
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308112 0 0 0 147920 266 0 0 25 0 1 0 128437046 1262788608 307688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 308298 307688 313 324 0 307367 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1233192

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=41664/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1256012 CPUtime=1541.84
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 313809 0 0 0 153912 272 0 0 25 0 1 0 128437046 1286156288 313385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 314003 313385 313 324 0 313072 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1256012

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=14912/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1364436 CPUtime=1601.79
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 340912 0 0 0 159893 286 0 0 25 0 1 0 128437046 1397182464 340488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 341109 340488 313 324 0 340178 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1364436

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=16064/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1474056 CPUtime=1661.78
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 368316 0 0 0 165873 305 0 0 25 0 1 0 128437046 1509433344 367892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 368514 367892 313 324 0 367583 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1474056

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=15424/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1533160 CPUtime=1721.76
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 383080 0 0 0 171860 316 0 0 25 0 1 0 128437046 1569955840 382656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 383290 382656 313 324 0 382359 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1533160

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=14912/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=1595968 CPUtime=1781.74
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 398784 0 0 0 177847 327 0 0 25 0 1 0 128437046 1634271232 398360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 398992 398360 313 324 0 398061 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1595968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=301248/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=0 CPUtime=1800.05
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194308 403590 0 0 0 179670 335 0 0 17 0 1 0 128437046 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19383
/proc/meminfo: memFree=301248/2055920 swapFree=4192956/4192956
[pid=19380] ppid=19378 vsize=0 CPUtime=1800.24
/proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194308 403590 0 0 0 179670 354 0 0 18 0 1 0 128437046 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19380/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.26
CPU user time (s): 1796.7
CPU system time (s): 3.55946
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1615024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.55946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403590
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= 15
involuntary context switches= 36461

runsolver used 2.11568 second user time and 4.24535 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Apr 14 04:13:14 UTC 2007

IDJOB= 350590
IDBENCH= 1525
IDSOLVER= 163
FILE ID= node5/350590-1176523994

PBS_JOBID= 4556710

Free space on /tmp= 66553 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-350590-1176523994 -o ROOT/results/node5/solver-350590-1176523994 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d5ffb80d8d2a9d2ae5f84f17eeb42612

RANDOM SEED= 136219585

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1296800 kB
Buffers:         71256 kB
Cached:         555364 kB
SwapCached:          0 kB
Active:         226392 kB
Inactive:       456456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1296800 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4708 kB
Writeback:           0 kB
Mapped:          74540 kB
Slab:            61876 kB
Committed_AS:  4700412 kB
PageTables:       1724 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= 66553 MiB

End job on node5 on Sat Apr 14 04:43:17 UTC 2007