Trace number 432536

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.17SAT (TO)4003 1800.27 1800.87

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

Verifier Data (download as text)

OK	4003

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-432536-1177944631 -o ROOT/results/node35/solver-432536-1177944631 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432536-1177944631/instance-432536-1177944631.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.91 0.95 0.81 3/77 26887
/proc/meminfo: memFree=1763208/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=19852 CPUtime=0
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 242378546 20328448 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 4963 330 278 324 0 3957 0

[startup+0.022771 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 26887
/proc/meminfo: memFree=1763208/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=4800 CPUtime=0.01
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 524 0 0 0 1 0 0 0 18 0 1 0 242378546 4915200 494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1200 494 304 324 0 194 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4800

[startup+0.10178 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 26887
/proc/meminfo: memFree=1763208/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=6044 CPUtime=0.09
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 959 0 0 0 9 0 0 0 18 0 1 0 242378546 6189056 853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1511 853 304 324 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6044

[startup+0.301802 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 26887
/proc/meminfo: memFree=1763208/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=6044 CPUtime=0.29
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 961 0 0 0 29 0 0 0 19 0 1 0 242378546 6189056 855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1511 855 304 324 0 581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6044

[startup+0.701848 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 26887
/proc/meminfo: memFree=1763208/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=6720 CPUtime=0.69
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 1148 0 0 0 69 0 0 0 23 0 1 0 242378546 6881280 1042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134557484 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1680 1042 306 324 0 750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6720

[startup+1.50194 s]
/proc/loadavg: 0.91 0.95 0.81 2/78 26888
/proc/meminfo: memFree=1760256/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=6608 CPUtime=1.49
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 1244 0 0 0 149 0 0 0 25 0 1 0 242378546 6766592 1014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1652 1014 306 324 0 722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6608

[startup+3.10112 s]
/proc/loadavg: 0.91 0.95 0.81 2/78 26888
/proc/meminfo: memFree=1760128/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=7224 CPUtime=3.09
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 1401 0 0 0 308 1 0 0 25 0 1 0 242378546 7397376 1171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 1806 1171 310 324 0 876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7224

[startup+6.30149 s]
/proc/loadavg: 0.92 0.95 0.82 2/78 26888
/proc/meminfo: memFree=1743104/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=29592 CPUtime=6.29
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 6996 0 0 0 626 3 0 0 25 0 1 0 242378546 30302208 6766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 7398 6766 310 324 0 6468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29592

[startup+12.7022 s]
/proc/loadavg: 0.93 0.95 0.82 2/78 26888
/proc/meminfo: memFree=1710400/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=59276 CPUtime=12.69
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 14429 0 0 0 1262 7 0 0 25 0 1 0 242378546 60698624 14199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 14819 14199 310 324 0 13889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59276

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.82 2/78 26888
/proc/meminfo: memFree=1643264/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=126264 CPUtime=25.49
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 31154 0 0 0 2536 13 0 0 25 0 1 0 242378546 129294336 30924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 31566 30924 310 324 0 30636 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 126264

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.82 2/78 26888
/proc/meminfo: memFree=1536192/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=231264 CPUtime=51.07
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 57422 0 0 0 5080 27 0 0 25 0 1 0 242378546 236814336 57192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 57816 57192 310 324 0 56886 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 231264

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.83 2/78 26888
/proc/meminfo: memFree=1394560/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=371580 CPUtime=102.26
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 92508 0 0 0 10180 46 0 0 25 0 1 0 242378546 380497920 92278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 92895 92278 310 324 0 91965 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 371580

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 26888
/proc/meminfo: memFree=1221824/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=545928 CPUtime=162.24
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 136082 0 0 0 16158 66 0 0 25 0 1 0 242378546 559030272 135852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 136482 135852 310 324 0 135552 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 545928

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 26888
/proc/meminfo: memFree=1061632/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=703648 CPUtime=222.23
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 175528 0 0 0 22141 82 0 0 25 0 1 0 242378546 720535552 175298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 175912 175298 311 324 0 174982 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 703648

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 26888
/proc/meminfo: memFree=901248/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=864452 CPUtime=282.2
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 215701 0 0 0 28123 97 0 0 25 0 1 0 242378546 885198848 215471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 216113 215471 311 324 0 215183 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 864452

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 26888
/proc/meminfo: memFree=798848/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=966464 CPUtime=342.19
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 241213 0 0 0 34111 108 0 0 25 0 1 0 242378546 989659136 240983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 241616 240983 311 324 0 240686 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 966464

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 26888
/proc/meminfo: memFree=751040/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1013380 CPUtime=402.18
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 253046 0 0 0 40103 115 0 0 25 0 1 0 242378546 1037701120 252723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 253345 252723 311 324 0 252415 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1013380

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 26888
/proc/meminfo: memFree=751168/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1013380 CPUtime=462.16
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 253046 0 0 0 46101 115 0 0 25 0 1 0 242378546 1037701120 252723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 253345 252723 311 324 0 252415 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1013380

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 26888
/proc/meminfo: memFree=751232/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1013380 CPUtime=522.14
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 253046 0 0 0 52099 115 0 0 25 0 1 0 242378546 1037701120 252723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 253345 252723 311 324 0 252415 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1013380

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 26888
/proc/meminfo: memFree=751296/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1013380 CPUtime=582.13
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 253046 0 0 0 58097 116 0 0 25 0 1 0 242378546 1037701120 252723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 253345 252723 311 324 0 252415 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1013380

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.88 2/84 26962
/proc/meminfo: memFree=750024/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1013380 CPUtime=642.07
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 253047 0 0 0 64091 116 0 0 25 0 1 0 242378546 1037701120 252724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 253345 252724 311 324 0 252415 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1013380


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/78 27086
/proc/meminfo: memFree=634048/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1130392 CPUtime=881.94
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 282296 0 0 0 88062 132 0 0 25 0 1 0 242378546 1157521408 281973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 282598 281973 311 324 0 281668 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1130392

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=564928/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1199680 CPUtime=941.92
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 299604 0 0 0 94053 139 0 0 25 0 1 0 242378546 1228472320 299281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 299920 299281 311 324 0 298990 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1199680

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530816/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1001.91
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 100047 144 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1233184

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530880/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1061.89
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 106045 144 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1233184

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530880/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1121.88
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 112043 145 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1233184

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530944/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1181.86
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 118041 145 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1233184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530880/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1241.85
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 124039 146 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1233184

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530944/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1301.83
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 130037 146 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1896084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1233184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530880/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1361.81
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 136035 146 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1233184

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530816/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233184 CPUtime=1421.8
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308106 0 0 0 142033 147 0 0 25 0 1 0 242378546 1262780416 307684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308296 307684 311 324 0 307366 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1233184

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=530816/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1233192 CPUtime=1481.77
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 308108 0 0 0 148030 147 0 0 25 0 1 0 242378546 1262788608 307686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 308298 307686 311 324 0 307368 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1233192

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=501760/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1262564 CPUtime=1541.76
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 315439 0 0 0 154026 150 0 0 25 0 1 0 242378546 1292865536 315017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 315641 315017 311 324 0 314711 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1262564

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=389504/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1375988 CPUtime=1601.74
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 343805 0 0 0 160009 165 0 0 25 0 1 0 242378546 1409011712 343383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 343997 343383 311 324 0 343067 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1375988

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=281728/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1482320 CPUtime=1661.73
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 370369 0 0 0 165992 181 0 0 25 0 1 0 242378546 1517895680 369947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 370580 369947 311 324 0 369650 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1482320

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=224832/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1539216 CPUtime=1721.72
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 384598 0 0 0 171983 189 0 0 25 0 1 0 242378546 1576157184 384176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 384804 384176 311 324 0 383874 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1539216

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=159872/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1603812 CPUtime=1781.69
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 400755 0 0 0 177972 197 0 0 25 0 1 0 242378546 1642303488 400333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 400953 400333 311 324 0 400023 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1603812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 27086
/proc/meminfo: memFree=132096/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=1631392 CPUtime=1800.01
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194304 407637 0 0 0 179800 201 0 0 25 0 1 0 242378546 1670545408 407215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 407848 407215 311 324 0 406918 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1631392

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.97 0.91 2/78 27086
/proc/meminfo: memFree=132096/2055920 swapFree=4151088/4192956
[pid=26887] ppid=26885 vsize=0 CPUtime=1800.19
/proc/26887/stat : 26887 (bsolo3.0.17) R 26885 26887 26773 0 -1 4194308 407641 0 0 0 179800 219 0 0 25 0 1 0 242378546 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/26887/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.87
CPU time (s): 1800.27
CPU user time (s): 1798.01
CPU system time (s): 2.26566
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1631392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 2.26565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407641
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= 14
involuntary context switches= 16928

runsolver used 1.47477 second user time and 3.72343 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Mon Apr 30 14:50:31 UTC 2007

IDJOB= 432536
IDBENCH= 1525
IDSOLVER= 199
FILE ID= node35/432536-1177944631

PBS_JOBID= 4727669

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/432536-1177944631/instance-432536-1177944631.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-432536-1177944631 -o ROOT/results/node35/solver-432536-1177944631 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432536-1177944631/instance-432536-1177944631.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d5ffb80d8d2a9d2ae5f84f17eeb42612

RANDOM SEED= 200666483

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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:       1763616 kB
Buffers:         40700 kB
Cached:         156732 kB
SwapCached:       9356 kB
Active:         108456 kB
Inactive:       112936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763616 kB
SwapTotal:     4192956 kB
SwapFree:      4151088 kB
Dirty:            6900 kB
Writeback:           0 kB
Mapped:          30736 kB
Slab:            56224 kB
Committed_AS:  2718248 kB
PageTables:       1996 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= 66558 MiB

End job on node35 on Mon Apr 30 15:20:34 UTC 2007