0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/373086-1177162654/instance-373086-1177162654.opb
0.00/0.00	c File size is 937948 bytes.
0.09/0.17	c Highest Coefficient sum: 820
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.169 s
0.09/0.18	c Var: 8901 Constr: 32298 32297/1/0 Lit: 81868 Watch. Lit: 65350
0.09/0.18	c Obj. Vars: 790 (8.87541 % of total variables)
0.59/0.67	c Pre-processing Time: 0.672 s
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c        0   8879    32242    81761    2    65243   11746      0      0 0.67
0.59/0.67	c Switching off LPR mode.
0.59/0.69	o 26	0.691
638.40/638.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
638.40/638.60	c        9   8879    32252    85366    2    66027   12746     10     12 0.70
638.40/638.60	c      109   8879    32352    93122    2    66227   14021    110    129 0.84
638.40/638.60	c      362   8879    32605   105049    3    66733   15424    363    230 1.57
638.40/638.60	c      837   8879    33080   173619    5    67683   16967    838    302 2.77
638.40/638.60	c     1651   8879    33894   332539    9    69311   18664   1652    416 3.96
638.40/638.60	c     2971   8879    35214   762239   21    71951   20531   2972    627 4.74
638.40/638.60	c     5052   8879    37295  1210077   32    76113   22585   5053    776 6.50
638.40/638.60	c     8275   8879    40518  2460346   60    82559   24844   8276    929 8.91
638.40/638.60	c    13213   8879    45456  3528768   77    92435   27329  13214    670 19.69
638.40/638.60	c    20719   8879    52962  6617752  124   107447   30062  20720    597 34.68
638.40/638.60	c    32080   8879    43637  6159962  141    88797   33069  11395    587 54.65
638.40/638.60	c    49224   8879    60781 11637284  191   123085   36376  28539    486 101.11
638.40/638.60	c    75043   8879    53937  7669037  142   109397   40014  21695    495 151.37
638.40/638.60	c   113875   8879    57261 25150557  439   116045   44016  25019    348 326.38
638.40/638.60	c   172235   8879    44692  7204211  161    90907   48418  12450    270 636.28
638.40/638.60	o 25	638.413
1799.97/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.63	c   173967   8879    46425  7875950  169    95138   12746  14183    272 638.42
1799.97/1800.63	c   174068   8879    38719  2724195   70    78962   14021   6477    272 639.24
1799.97/1800.63	c   174318   8879    38969  2842269   72    79462   15424   6727    272 639.44
1799.97/1800.63	c   174794   8879    39445  3022842   76    80414   16967   7203    273 639.91
1799.97/1800.63	c   175608   8879    40259  3434294   85    82042   18664   8017    274 640.64
1799.97/1800.63	c   176930   8879    41581  4239315  101    84686   20531   9339    275 642.65
1799.97/1800.63	c   179012   8879    43663  4780218  109    88850   22585  11421    277 645.57
1799.97/1800.63	c   182235   8879    46886  6766312  144    95296   24844  14644    279 652.05
1799.97/1800.63	c   187171   8879    51822  9302656  179   105168   27329  19580    282 663.14
1799.97/1800.63	c   194677   8879    59328 14550858  245   120180   30062  27086    286 678.71
1799.97/1800.63	c   206039   8879    45023  9684656  215    91570   33069  12781    285 721.96
1799.97/1800.63	c   223184   8879    62168 20098279  323   125860   36376  29926    289 771.45
1799.97/1800.63	c   249006   8879    55957 30914033  552   113438   40014  23715    259 959.78
1799.97/1800.63	c   287841   8879    59260 17150148  289   120044   44016  27018    262 1094.49
1799.97/1800.63	c   346195   8879    46048 13323437  289    93620   48418  13806    231 1494.20
1799.97/1800.63	c Resources Exceeded
1799.97/1800.63	v x1 x362 x699 x862 x1196 -x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 -x14 -x1698 -x17 -x1725 x20 -x1752
1799.97/1800.63	v -x23 -x1779 -x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 -x50 -x2049 -x53
1799.97/1800.63	v -x2076 x56 x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 -x70 -x2238 -x73 -x2265 -x76 -x2292 -x79 -x2319 -x82 -x2346 -x85
1799.97/1800.63	v -x2373 -x88 -x2400 -x2427 -x2429 -x2441 -x2443 x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 -x2525
1799.97/1800.63	v -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 -x2639
1799.97/1800.63	v -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 -x2763
1799.97/1800.63	v -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 -x2887
1799.97/1800.63	v -x2889 -x2901 -x2903 -x2915 -x2917 -x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 -x3001
1799.97/1800.63	v -x3013 -x3015 -x3027 -x3029 -x3041 -x3043 -x3055 x3057 -x3069 -x3071 -x3083 -x3085 -x3097 -x3099 -x3111 -x3113 -x3125
1799.97/1800.63	v -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 -x3181 -x3183 -x3195 -x3197 -x3209 -x3214 -x3219 -x3224 -x3229 -x3234
1799.97/1800.63	v -x3239 -x3244 -x3249 -x3254 x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 -x3319
1799.97/1800.63	v -x3324 -x3329 -x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 -x3404
1799.97/1800.63	v -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 -x3479 -x3484 -x3489
1799.97/1800.63	v -x3494 -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 -x3733
1799.97/1800.63	v -x3791 -x3849 x3907 -x3965 -x4023 -x4050 -x4077 -x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 -x4320
1799.97/1800.63	v -x4347 -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 -x416 -x4536 -x419 x4563 -x4590 -x424 -x4617 -x4644
1799.97/1800.63	v -x429 -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 -x4857 -x4869
1799.97/1800.63	v -x4871 -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 -x4951 -x4953 -x4965 -x4977 -x4979 -x4991 -x4993
1799.97/1800.63	v -x5005 -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 -x5113 -x5115 -x5127
1799.97/1800.63	v -x5129 -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 -x5249 -x5251
1799.97/1800.63	v -x5263 -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 -x5373 -x5375
1799.97/1800.63	v -x5387 -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 x5473 -x5485 -x5487 -x5499
1799.97/1800.63	v -x5501 -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 -x5576 -x5581 -x5586 -x5591 -x5596
1799.97/1800.63	v -x5601 -x5606 -x5611 -x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 -x5676 -x5681
1799.97/1800.63	v -x5686 -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 -x5761 -x5766
1799.97/1800.63	v -x5771 -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 -x5841 -x5846 -x5851
1799.97/1800.63	v -x5856 -x5861 -x5866 -x5871 -x5876 x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 -x712 -x6094 -x715 -x6106
1799.97/1800.63	v -x718 -x6118 -x721 -x6130 -x6142 x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 -x738 -x6214 x741 -x6226 -x744 -x6238 -x6250
1799.97/1800.63	v -x6262 -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 -x6348 -x6350 -x6355 -x6357
1799.97/1800.63	v -x6362 -x6364 -x6369 x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 -x6404 -x6406 -x6411 -x6413 -x6418
1799.97/1800.63	v -x6420 -x6425 -x6427 -x6432 -x6434 -x6439 -x6441 -x6446 -x6448 -x6453 -x6455 -x6460 -x6462 x6467 -x6469 -x6474 -x6476
1799.97/1800.63	v -x6481 -x6483 -x6488 -x6493 -x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 -x6537
1799.97/1800.63	v -x6542 -x6544 -x6549 -x6551 -x6556 -x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 -x6969 -x7027 -x7054 -x7081
1799.97/1800.63	v -x7108 -x7135 -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 -x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 -x7513
1799.97/1800.63	v -x7540 -x7567 x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 -x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 -x7811
1799.97/1800.63	v -x7823 -x7825 -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 -x7955
1799.97/1800.63	v x7967 x7969 -x7981 -x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 -x8079 -x8091
1799.97/1800.63	v -x8093 -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 -x8201 -x8203 -x8215
1799.97/1800.63	v -x8217 -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 -x8313 -x8315 -x8327 -x8329
1799.97/1800.63	v -x8341 -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 -x8453
1799.97/1800.63	v -x8465 -x8467 -x8479 -x8481 -x8493 -x8495 -x8507 -x8509 -x8521 -x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 -x8569
1799.97/1800.63	v -x8574 -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 -x8654
1799.97/1800.63	v -x8659 -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739
1799.97/1800.63	v -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8824
1799.97/1800.63	v -x8829 -x8834 x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 x8896 -x8898 -x8900 -x1202
1799.97/1800.63	v x1204 -x1205 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x33 -x34 -x35 -x36 -x38 -x39 -x41 -x42
1799.97/1800.63	v -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 x55 x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x68 -x69 -x71 -x72 -x74 -x75 -x77 -x78
1799.97/1800.63	v -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105
1799.97/1800.63	v -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126
1799.97/1800.63	v -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147
1799.97/1800.63	v -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168
1799.97/1800.63	v -x170 -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190
1799.97/1800.63	v -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211
1799.97/1800.63	v -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 x226 -x228 -x227 -x229 -x231 -x230 -x232
1799.97/1800.63	v -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253
1799.97/1800.63	v -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 x273 -x272 -x274
1799.97/1800.63	v -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295
1799.97/1800.63	v -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316
1799.97/1800.63	v -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337
1799.97/1800.63	v -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358
1799.97/1800.63	v -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385
1799.97/1800.63	v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 -x407 -x408
1799.97/1800.63	v -x409 -x411 -x412 -x414 -x415 -x417 -x418 x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x435 -x436
1799.97/1800.63	v -x438 -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 -x456 -x458
1799.97/1800.63	v -x459 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x476 -x477 -x479 -x478
1799.97/1800.63	v -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499
1799.97/1800.63	v -x501 -x502 -x503 -x504 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 -x521 -x520
1799.97/1800.63	v -x522 -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 -x540 -x542
1799.97/1800.63	v -x544 -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 -x562 -x564
1799.97/1800.63	v -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 x583 -x585
1799.97/1800.63	v -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 -x605 -x604
1799.97/1800.63	v -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x619 -x620 -x622 -x621 -x623 -x625 -x624 -x626
1799.97/1800.63	v -x628 -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647
1799.97/1800.63	v -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 -x666 -x668
1799.97/1800.63	v -x670 -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689
1799.97/1800.63	v -x691 -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x707 -x708 -x709 -x710
1799.97/1800.63	v -x711 -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1799.97/1800.63	v -x739 -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x761
1799.97/1800.63	v -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 x781 -x783 -x782
1799.97/1800.63	v -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803
1799.97/1800.63	v -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 x822 -x821 -x823 -x825 -x824
1799.97/1800.63	v -x826 -x828 -x827 -x829 -x830 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846
1799.97/1800.63	v -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x860 -x859 -x861 x700 -x701 -x702 -x703 -x704 -x705
1799.97/1800.63	v -x706 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891
1799.97/1800.63	v -x892 -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1799.97/1800.63	v -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 -x937 -x939
1799.97/1800.63	v -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 -x958 -x959
1799.97/1800.63	v -x960 -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 x970 x969 x971 -x972 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981
1799.97/1800.63	v -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 -x1000
1799.97/1800.63	v -x1001 -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 -x1017
1799.97/1800.63	v -x1019 -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033
1799.97/1800.63	v -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052
1799.97/1800.63	v -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069
1799.97/1800.63	v -x1068 -x1070 -x1072 -x1071 -x1073 -x1075 -x1074 -x1076 -x1078 -x1077 -x1079 -x1081 -x1080 -x1082 -x1084 -x1083 -x1085
1799.97/1800.63	v -x1087 -x1086 -x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101
1799.97/1800.63	v -x1103 -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120
1799.97/1800.63	v -x1119 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136
1799.97/1800.63	v -x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152
1799.97/1800.63	v -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 -x1170 -x1169
1799.97/1800.63	v -x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188
1799.97/1800.63	v -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1201 -x1203 -x1206
1799.97/1800.63	v -x1197 x1198 -x1199 -x1200 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1799.97/1800.63	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
1799.97/1800.63	v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1799.97/1800.63	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1799.97/1800.63	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1799.97/1800.63	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
1799.97/1800.63	v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1324
1799.97/1800.63	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1799.97/1800.63	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1799.97/1800.63	v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1799.97/1800.63	v -x1376 -x1377 -x1378 -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
1799.97/1800.63	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1799.97/1800.63	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
1799.97/1800.63	v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
1799.97/1800.63	v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462
1799.97/1800.63	v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479
1799.97/1800.63	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496
1799.97/1800.63	v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514
1799.97/1800.63	v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
1799.97/1800.63	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548
1799.97/1800.63	v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1799.97/1800.63	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1799.97/1800.63	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1799.97/1800.63	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1614 -x1615 -x1616 -x1617 -x1618
1799.97/1800.63	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1799.97/1800.63	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1799.97/1800.63	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1799.97/1800.63	v -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1799.97/1800.63	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1799.97/1800.63	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1799.97/1800.63	v -x1723 -x1724 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1799.97/1800.63	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1799.97/1800.63	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1799.97/1800.63	v -x1776 -x1777 -x1778 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1799.97/1800.63	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1807 -x1808 -x1809 -x1810 -x1811
1799.97/1800.63	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1799.97/1800.63	v -x1829 -x1830 -x1831 -x1832 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1799.97/1800.63	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1861 -x1862 -x1863 -x1864
1799.97/1800.63	v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881
1799.97/1800.63	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899
1799.97/1800.63	v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917
1799.97/1800.63	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934
1799.97/1800.63	v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952
1799.97/1800.63	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970
1799.97/1800.63	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
1799.97/1800.63	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005
1799.97/1800.63	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2023
1799.97/1800.63	v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1799.97/1800.63	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058
1799.97/1800.63	v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075
1799.97/1800.63	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1799.97/1800.63	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1799.97/1800.63	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1799.97/1800.63	v -x2129 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
1799.97/1800.63	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1799.97/1800.63	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
1799.97/1800.63	v -x2182 -x2183 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1799.97/1800.63	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1799.97/1800.63	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1799.97/1800.63	v -x2235 -x2236 -x2237 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252
1799.97/1800.63	v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270
1799.97/1800.63	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1799.97/1800.63	v -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1799.97/1800.63	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323
1799.97/1800.63	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1799.97/1800.63	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
1799.97/1800.63	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2374 -x2375 -x2376
1799.97/1800.63	v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
1799.97/1800.63	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1799.97/1800.63	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2430
1799.97/1800.63	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449
1799.97/1800.63	v -x2450 -x2451 -x2452 -x2453 -x2454 x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1799.97/1800.63	v -x2470 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 -x2486 -x2487 -x2488 -x2489
1799.97/1800.63	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1799.97/1800.63	v -x2509 -x2510 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2526 -x2528 -x2529
1799.97/1800.63	v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
1799.97/1800.63	v -x2549 -x2550 -x2551 -x2552 x2554 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2568
1799.97/1800.63	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2582 -x2584 -x2585 -x2586 -x2587 -x2588
1799.97/1800.63	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607
1799.97/1800.63	v -x2608 -x2610 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 -x2626 -x2627 -x2628
1799.97/1800.63	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1799.97/1800.63	v -x2648 -x2649 -x2650 x2652 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2666 -x2668 -x2669
1799.97/1800.63	v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2680 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1799.97/1800.63	v -x2689 -x2690 -x2691 -x2692 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2708
1799.97/1800.63	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2724 -x2725 -x2726 -x2727 -x2728
1799.97/1800.63	v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1799.97/1800.63	v -x2748 -x2750 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2764 -x2766 -x2767 -x2768
1799.97/1800.63	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2778 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
1799.97/1800.63	v -x2788 -x2789 -x2790 -x2792 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2806 -x2808
1799.97/1800.63	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1799.97/1800.63	v -x2827 -x2828 -x2829 -x2830 -x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846
1799.97/1800.63	v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866
1799.97/1800.63	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2874 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1799.97/1800.63	v -x2886 -x2888 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2904 -x2905 -x2906
1799.97/1800.63	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925
1799.97/1800.63	v -x2926 -x2927 -x2928 -x2930 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2946
1799.97/1800.63	v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2958 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1799.97/1800.63	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984
1799.97/1800.63	v -x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x3000 -x3002 -x3003 -x3004 -x3005
1799.97/1800.63	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024
1799.97/1800.63	v -x3025 -x3026 x3028 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 x3044 -x3045 -x3046
1799.97/1800.63	v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3056 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066
1799.97/1800.63	v -x3067 -x3068 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3084 -x3086 -x3087
1799.97/1800.63	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3098 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106
1799.97/1800.63	v -x3107 -x3108 -x3109 -x3110 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3126
1799.97/1800.63	v x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
1799.97/1800.63	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
1799.97/1800.63	v -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3182 -x3184 -x3185 -x3186 -x3187
1799.97/1800.63	v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3196 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1799.97/1800.63	v -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3215 -x3216 -x3217 -x3218 x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227
1799.97/1800.63	v -x3228 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3240 -x3241 -x3242 -x3243 -x3245 -x3246 -x3247 -x3248
1799.97/1800.63	v -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3258 x3260 -x3261 -x3262 -x3263 -x3265 -x3266 -x3267 -x3268 -x3270
1799.97/1800.63	v -x3271 -x3272 -x3273 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291
1799.97/1800.63	v -x3292 -x3293 -x3295 -x3296 -x3297 -x3298 x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 x3310 -x3311 -x3312 -x3313
1799.97/1800.63	v -x3315 -x3316 -x3317 -x3318 x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3335
1799.97/1800.63	v -x3336 -x3337 -x3338 -x3340 -x3341 -x3342 -x3343 -x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 -x3355 -x3356
1799.97/1800.63	v -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377
1799.97/1800.63	v -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3395 -x3396 -x3397 -x3398
1799.97/1800.63	v -x3400 -x3401 -x3402 -x3403 -x3405 -x3406 -x3407 -x3408 x3410 -x3411 x3412 -x3413 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421
1799.97/1800.63	v -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3435 -x3436 -x3437 -x3438 -x3440 -x3441 -x3442
1799.97/1800.63	v -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463
1799.97/1800.63	v -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 -x3480 -x3481 -x3482 -x3483 -x3485
1799.97/1800.63	v -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506
1799.97/1800.63	v -x3507 -x3508 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527
1799.97/1800.63	v -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 -x3537 -x3538 -x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548
1799.97/1800.63	v -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
1799.97/1800.63	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
1799.97/1800.63	v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1799.97/1800.63	v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3618 -x3619 -x3620
1799.97/1800.63	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637
1799.97/1800.63	v -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654
1799.97/1800.63	v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671
1799.97/1800.63	v -x3672 -x3673 -x3674 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689
1799.97/1800.63	v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706
1799.97/1800.63	v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723
1799.97/1800.63	v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741
1799.97/1800.63	v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758
1799.97/1800.63	v -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775
1799.97/1800.63	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793
1799.97/1800.63	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1799.97/1800.63	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1799.97/1800.63	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1799.97/1800.63	v -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862
1799.97/1800.63	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1799.97/1800.63	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896
1799.97/1800.63	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1799.97/1800.63	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1799.97/1800.63	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1799.97/1800.63	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966
1799.97/1800.63	v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983
1799.97/1800.63	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1799.97/1800.63	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1799.97/1800.63	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035
1799.97/1800.63	v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4051 -x4052 -x4053
1799.97/1800.63	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
1799.97/1800.63	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1799.97/1800.63	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4105 -x4106
1799.97/1800.63	v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
1799.97/1800.63	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141
1799.97/1800.63	v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159
1799.97/1800.63	v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176
1799.97/1800.63	v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194
1799.97/1800.63	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211
1799.97/1800.63	v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
1799.97/1800.63	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247
1799.97/1800.63	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264
1799.97/1800.63	v -x4265 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282
1799.97/1800.63	v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
1799.97/1800.63	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
1799.97/1800.63	v -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335
1799.97/1800.63	v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353
1799.97/1800.63	v -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
1799.97/1800.63	v -x4371 -x4372 -x4373 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1799.97/1800.63	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406
1799.97/1800.63	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423
1799.97/1800.63	v -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441
1799.97/1800.63	v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4456 -x4457 -x4458 -x4459
1799.97/1800.63	v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
1799.97/1800.63	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494
1799.97/1800.63	v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4510 -x4511 -x4512
1799.97/1800.63	v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529
1799.97/1800.63	v -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547
1799.97/1800.63	v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4564 -x4565
1799.97/1800.63	v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582
1799.97/1800.63	v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600
1799.97/1800.63	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4618
1799.97/1800.63	v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635
1799.97/1800.63	v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653
1799.97/1800.63	v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
1799.97/1800.63	v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
1799.97/1800.63	v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706
1799.97/1800.63	v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723
1799.97/1800.63	v -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741
1799.97/1800.63	v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759
1799.97/1800.63	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
1799.97/1800.63	v -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795
1799.97/1800.63	v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1799.97/1800.63	v -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4830 -x4832 -x4833 -x4834
1799.97/1800.63	v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852
1799.97/1800.63	v -x4853 -x4854 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 -x4872 -x4873
1799.97/1800.63	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891
1799.97/1800.63	v -x4892 -x4893 -x4894 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4912
1799.97/1800.63	v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931
1799.97/1800.63	v -x4932 -x4933 -x4934 -x4935 -x4936 x4938 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1799.97/1800.63	v -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970
1799.97/1800.63	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989
1799.97/1800.63	v -x4990 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5008 -x5009 -x5010
1799.97/1800.63	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5020 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029
1799.97/1800.63	v -x5030 -x5031 -x5032 x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5050
1799.97/1800.63	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1799.97/1800.63	v -x5070 -x5071 -x5072 -x5073 -x5074 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
1799.97/1800.63	v -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107
1799.97/1800.63	v -x5108 -x5109 -x5110 -x5111 -x5112 -x5114 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126
1799.97/1800.63	v -x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5142 -x5144 -x5145 -x5146 -x5147
1799.97/1800.63	v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166
1799.97/1800.63	v -x5167 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5182 -x5184 -x5185 -x5186
1799.97/1800.63	v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204
1799.97/1800.63	v -x5205 -x5206 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5222 -x5224 -x5225
1799.97/1800.63	v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244
1799.97/1800.63	v -x5245 -x5246 -x5247 -x5248 x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264
1799.97/1800.63	v -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284
1799.97/1800.63	v -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303
1799.97/1800.63	v -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324
1799.97/1800.63	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5334 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343
1799.97/1800.63	v -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363
1799.97/1800.63	v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382
1799.97/1800.63	v -x5383 -x5384 -x5385 -x5386 -x5388 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402
1799.97/1800.63	v -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 x5418 -x5419 -x5420 -x5421 -x5422
1799.97/1800.63	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5430 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441
1799.97/1800.63	v -x5442 -x5444 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462
1799.97/1800.63	v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5472 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1799.97/1800.63	v -x5482 -x5483 -x5484 -x5486 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5500 -x5502
1799.97/1800.63	v -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5514 x5516 -x5517 -x5518 -x5519 -x5520 -x5521
1799.97/1800.63	v -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
1799.97/1800.63	v -x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5562
1799.97/1800.63	v -x5563 -x5564 -x5565 -x5567 -x5568 -x5569 -x5570 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5582 -x5583
1799.97/1800.63	v -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 -x5595 x5597 -x5598 -x5599 -x5600 -x5602 -x5603 -x5604
1799.97/1800.63	v -x5605 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5617 -x5618 -x5619 -x5620 x5622 -x5623 -x5624 -x5625
1799.97/1800.63	v -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5642 -x5643 -x5644 -x5645 -x5647
1799.97/1800.63	v -x5648 -x5649 -x5650 x5652 -x5653 x5654 -x5655 -x5657 -x5658 -x5659 -x5660 x5662 -x5663 -x5664 -x5665 -x5667 -x5668 -x5669
1799.97/1800.63	v -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690
1799.97/1800.63	v -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5712
1799.97/1800.63	v -x5713 -x5714 -x5715 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733
1799.97/1800.63	v -x5734 -x5735 -x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5752 -x5753 -x5754
1799.97/1800.63	v -x5755 -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775
1799.97/1800.63	v -x5777 -x5778 -x5779 -x5780 -x5782 -x5783 -x5784 -x5785 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5797
1799.97/1800.63	v -x5798 -x5799 -x5800 -x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 -x5812 -x5813 -x5814 -x5815 -x5817 -x5818
1799.97/1800.63	v -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 -x5830 -x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839
1799.97/1800.63	v -x5840 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5858 -x5859 -x5860
1799.97/1800.63	v -x5862 -x5863 -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 x5882
1799.97/1800.63	v -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899
1799.97/1800.63	v -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917
1799.97/1800.63	v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934
1799.97/1800.63	v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
1799.97/1800.63	v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970
1799.97/1800.63	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987
1799.97/1800.63	v -x5988 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005
1799.97/1800.63	v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023
1799.97/1800.63	v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040
1799.97/1800.63	v -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058
1799.97/1800.63	v -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076
1799.97/1800.63	v -x6077 -x6078 -x6079 -x6080 -x6081 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095
1799.97/1800.63	v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 -x6114
1799.97/1800.63	v -x6115 -x6116 -x6117 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133
1799.97/1800.63	v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151
1799.97/1800.63	v -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170
1799.97/1800.63	v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188
1799.97/1800.63	v -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 -x6205 -x6206 -x6207
1799.97/1800.63	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225
1799.97/1800.63	v x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244
1799.97/1800.63	v -x6245 -x6246 -x6247 -x6248 -x6249 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263
1799.97/1800.63	v -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281
1799.97/1800.63	v -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6299 -x6300
1799.97/1800.63	v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318
1799.97/1800.63	v -x6319 -x6320 -x6321 -x6323 -x6324 -x6325 -x6326 x6328 -x6330 -x6331 -x6332 -x6333 -x6335 -x6337 -x6338 -x6339 -x6340
1799.97/1800.63	v -x6342 -x6344 -x6345 -x6346 -x6347 -x6349 -x6351 -x6352 -x6353 -x6354 -x6356 -x6358 -x6359 -x6360 -x6361 -x6363 x6365
1799.97/1800.63	v -x6366 -x6367 -x6368 x6370 x6372 -x6373 -x6374 -x6375 -x6377 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 -x6389
1799.97/1800.63	v -x6391 -x6393 -x6394 -x6395 -x6396 -x6398 -x6400 -x6401 -x6402 -x6403 -x6405 x6407 -x6408 -x6409 -x6410 -x6412 x6414 -x6415
1799.97/1800.63	v x6416 -x6417 -x6419 -x6421 -x6422 -x6423 -x6424 x6426 -x6428 -x6429 -x6430 -x6431 -x6433 -x6435 -x6436 -x6437 -x6438 x6440
1799.97/1800.63	v -x6442 -x6443 -x6444 -x6445 -x6447 -x6449 -x6450 -x6451 -x6452 x6454 -x6456 -x6457 -x6458 -x6459 x6461 -x6463 -x6464 -x6465
1799.97/1800.63	v -x6466 x6468 -x6470 -x6471 -x6472 -x6473 -x6475 -x6477 -x6478 -x6479 -x6480 -x6482 -x6484 -x6485 -x6486 -x6487 -x6489
1799.97/1800.63	v -x6490 -x6491 -x6492 -x6494 -x6496 -x6497 -x6498 -x6499 x6501 -x6503 -x6504 -x6505 -x6506 -x6508 -x6510 -x6511 -x6512
1799.97/1800.63	v -x6513 x6515 x6517 -x6518 -x6519 -x6520 -x6522 -x6524 -x6525 -x6526 -x6527 x6529 -x6531 -x6532 -x6533 -x6534 -x6536 -x6538
1799.97/1800.63	v -x6539 -x6540 -x6541 -x6543 -x6545 -x6546 -x6547 -x6548 -x6550 -x6552 -x6553 -x6554 -x6555 -x6557 -x6559 -x6560 -x6561
1799.97/1800.63	v -x6562 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 x6579 -x6580
1799.97/1800.63	v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597
1799.97/1800.63	v -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614
1799.97/1800.63	v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632
1799.97/1800.63	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649
1799.97/1800.63	v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666
1799.97/1800.63	v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6680 -x6681 -x6682 -x6683 -x6684
1799.97/1800.63	v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701
1799.97/1800.63	v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718
1799.97/1800.63	v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735
1799.97/1800.63	v -x6736 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753
1799.97/1800.63	v -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770
1799.97/1800.63	v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787
1799.97/1800.63	v -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805
1799.97/1800.63	v -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822
1799.97/1800.63	v -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839
1799.97/1800.63	v -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 x6854 -x6855 -x6856 -x6857
1799.97/1800.63	v -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874
1799.97/1800.63	v -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 x6887 -x6888 -x6889 -x6890 -x6891
1799.97/1800.63	v -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908
1799.97/1800.63	v -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926
1799.97/1800.63	v -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943
1799.97/1800.63	v -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960
1799.97/1800.63	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978
1799.97/1800.63	v -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995
1799.97/1800.63	v -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012
1799.97/1800.63	v -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7028 -x7029 -x7030
1799.97/1800.63	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047
1799.97/1800.63	v -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065
1799.97/1800.63	v -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 x7082 -x7083
1799.97/1800.63	v -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100
1799.97/1800.63	v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118
1799.97/1800.63	v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 x7136
1799.97/1800.63	v -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 x7148 -x7149 -x7150 -x7151 -x7152 -x7153
1799.97/1800.63	v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171
1799.97/1800.63	v -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188
1799.97/1800.63	v x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206
1799.97/1800.63	v -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224
1799.97/1800.63	v -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241
1799.97/1800.63	v -x7242 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259
1799.97/1800.63	v -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277
1799.97/1800.63	v -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294
1799.97/1800.63	v -x7295 -x7296 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312
1799.97/1800.63	v -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330
1799.97/1800.63	v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347
1799.97/1800.63	v -x7348 -x7349 -x7350 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365
1799.97/1800.63	v -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7379 -x7380 -x7381 -x7382 -x7383
1799.97/1800.63	v -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
1799.97/1800.63	v -x7401 -x7402 -x7403 -x7404 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418
1799.97/1800.63	v -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7433 -x7434 -x7435 -x7436
1799.97/1800.63	v -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453
1799.97/1800.63	v -x7454 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471
1799.97/1800.63	v -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7487 -x7488 -x7489
1799.97/1800.63	v -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506
1799.97/1800.63	v -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524
1799.97/1800.63	v -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 -x7542
1799.97/1800.63	v -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559
1799.97/1800.63	v -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577
1799.97/1800.63	v -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7595
1799.97/1800.63	v -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612
1799.97/1800.63	v -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630
1799.97/1800.63	v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647
1799.97/1800.63	v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665
1799.97/1800.63	v -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683
1799.97/1800.63	v -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700
1799.97/1800.63	v -x7701 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718
1799.97/1800.63	v -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736
1799.97/1800.63	v -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753
1799.97/1800.63	v -x7754 -x7755 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771
1799.97/1800.63	v -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789
1799.97/1800.63	v -x7790 -x7791 -x7792 -x7793 -x7794 -x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808
1799.97/1800.63	v x7810 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7824 -x7826 -x7827 -x7828 -x7829
1799.97/1800.63	v -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848
1799.97/1800.63	v -x7849 -x7850 -x7852 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7866 -x7867 -x7868
1799.97/1800.63	v -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887
1799.97/1800.63	v -x7888 -x7889 -x7890 -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907
1799.97/1800.63	v -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925
1799.97/1800.63	v -x7926 -x7927 -x7928 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 x7942 -x7943 -x7944
1799.97/1800.63	v -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963
1799.97/1800.63	v -x7964 -x7965 -x7966 x7968 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984
1799.97/1800.63	v -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 x7994 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003
1799.97/1800.63	v -x8004 -x8005 -x8006 -x8008 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8022 -x8024
1799.97/1800.63	v -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 x8038 -x8039 -x8040 -x8041 -x8042 -x8043
1799.97/1800.63	v -x8044 -x8045 -x8046 -x8047 -x8048 -x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062
1799.97/1800.63	v -x8064 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8078 -x8080 -x8081 -x8082 -x8083
1799.97/1800.63	v -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8092 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 -x8103
1799.97/1800.63	v -x8104 x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8120 -x8121 -x8122 -x8123
1799.97/1800.63	v -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142
1799.97/1800.63	v -x8143 -x8144 -x8146 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8160 -x8162 -x8163
1799.97/1800.63	v -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182
1799.97/1800.63	v -x8183 -x8184 -x8185 -x8186 x8188 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 x8196 -x8197 -x8198 -x8199 -x8200 x8202 -x8204
1799.97/1800.63	v -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 x8216 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223
1799.97/1800.63	v -x8224 -x8225 -x8226 -x8227 -x8228 -x8230 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242
1799.97/1800.63	v -x8244 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8258 -x8260 -x8261 -x8262 -x8263
1799.97/1800.63	v -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282
1799.97/1800.63	v -x8283 -x8284 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 x8300 -x8302 -x8303
1799.97/1800.63	v -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8314 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322
1799.97/1800.63	v -x8323 -x8324 -x8325 -x8326 -x8328 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 x8342
1799.97/1800.63	v -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8358 -x8359 -x8360 -x8361 -x8362
1799.97/1800.63	v -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 x8370 x8372 -x8373 -x8374 -x8375 -x8376 -x8377 x8378 -x8379 -x8380 -x8381 -x8382
1799.97/1800.63	v -x8384 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 x8398 -x8400 -x8401 -x8402 -x8403
1799.97/1800.63	v -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421
1799.97/1800.63	v -x8422 x8424 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 x8438 -x8440 -x8441 -x8442 -x8443
1799.97/1800.63	v -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462
1799.97/1800.63	v -x8463 -x8464 x8466 x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8480 -x8482 -x8483 -x8484
1799.97/1800.63	v -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503
1799.97/1800.63	v -x8504 -x8505 -x8506 -x8508 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 x8522 -x8524
1799.97/1800.63	v -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8536 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543
1799.97/1800.63	v -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563
1799.97/1800.63	v -x8565 -x8566 -x8567 -x8568 -x8570 -x8571 -x8572 -x8573 x8575 -x8576 -x8577 x8578 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586
1799.97/1800.63	v -x8587 -x8588 -x8590 -x8591 -x8592 -x8593 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607
1799.97/1800.63	v -x8608 -x8610 -x8611 -x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 -x8626 -x8627 -x8628
1799.97/1800.63	v x8630 -x8631 -x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 x8645 -x8646 x8647 -x8648 -x8650 -x8651
1799.97/1800.63	v -x8652 -x8653 -x8655 -x8656 -x8657 -x8658 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8670 -x8671 -x8672
1799.97/1800.63	v -x8673 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 -x8690 -x8691 -x8692 -x8693
1799.97/1800.63	v -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 -x8705 -x8706 -x8707 -x8708 -x8710 -x8711 -x8712 -x8713 -x8715
1799.97/1800.63	v -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8725 -x8726 -x8727 -x8728 x8730 -x8731 -x8732 -x8733 -x8735 -x8736
1799.97/1800.63	v -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8745 -x8746 -x8747 -x8748 -x8750 -x8751 -x8752 -x8753 -x8755 -x8756 -x8757
1799.97/1800.63	v -x8758 -x8760 -x8761 -x8762 -x8763 -x8765 -x8766 -x8767 -x8768 -x8770 -x8771 -x8772 -x8773 x8775 -x8776 x8777 -x8778 -x8780
1799.97/1800.63	v -x8781 -x8782 -x8783 -x8785 -x8786 -x8787 -x8788 -x8790 -x8791 -x8792 -x8793 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801
1799.97/1800.63	v -x8802 -x8803 -x8805 -x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822
1799.97/1800.63	v -x8823 -x8825 -x8826 -x8827 -x8828 -x8830 -x8831 -x8832 -x8833 x8835 -x8836 -x8837 -x8838 x8840 -x8841 x8842 -x8843 x8845
1799.97/1800.63	v -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 -x8853 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8865 -x8866
1799.97/1800.63	v -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887
1799.97/1800.63	v -x8888 -x8890 -x8891 -x8892 -x8893 -x8895 x8897 -x8899 x8901
1799.97/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.63	c   30   391676 176871  1326291    48300 12153637  16058    217 1800.00
1799.97/1800.63	c Objective: 25
1799.97/1800.63	s SATISFIABLE
1799.97/1800.63	c Total time: 1800 s

OK	25

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-373086-1177162654 -o ROOT/results/node74/solver-373086-1177162654 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373086-1177162654/instance-373086-1177162654.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: 1.00 1.00 1.00 3/66 15433
/proc/meminfo: memFree=1655896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=12652 CPUtime=0
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 164180132 12955648 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 3163 336 281 324 0 2003 0

[startup+0.0707811 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 15433
/proc/meminfo: memFree=1655896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=6496 CPUtime=0.06
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 858 0 0 0 6 0 0 0 18 0 1 0 164180132 6651904 826 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 1624 827 373 324 0 464 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6496

[startup+0.102784 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 15433
/proc/meminfo: memFree=1655896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=7184 CPUtime=0.09
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 1080 0 0 0 9 0 0 0 18 0 1 0 164180132 7356416 1048 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 1796 1048 416 324 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7184

[startup+0.302808 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 15433
/proc/meminfo: memFree=1655896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=10236 CPUtime=0.29
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 2154 0 0 0 28 1 0 0 19 0 1 0 164180132 10481664 1893 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 2559 1893 306 324 0 1628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10236

[startup+0.702853 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 15433
/proc/meminfo: memFree=1655896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=11432 CPUtime=0.69
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 2549 0 0 0 65 4 0 0 22 0 1 0 164180132 11706368 2218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 2858 2218 313 324 0 1927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11432

[startup+1.50195 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1648144/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=11432 CPUtime=1.49
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 2551 0 0 0 144 5 0 0 25 0 1 0 164180132 11706368 2220 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 2858 2220 313 324 0 1927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11432

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1648016/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=12204 CPUtime=3.09
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 2731 0 0 0 304 5 0 0 25 0 1 0 164180132 12496896 2400 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 3051 2400 313 324 0 2120 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12204

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1637584/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=24752 CPUtime=6.29
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 5865 0 0 0 622 7 0 0 25 0 1 0 164180132 25346048 5534 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 6188 5534 313 324 0 5257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24752

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1612752/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=47604 CPUtime=12.68
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 11596 0 0 0 1257 11 0 0 25 0 1 0 164180132 48746496 11265 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 11901 11265 313 324 0 10970 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47604

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1591120/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=68796 CPUtime=25.48
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 16904 0 0 0 2531 17 0 0 25 0 1 0 164180132 70447104 16573 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 17199 16573 313 324 0 16268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68796

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1495952/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=165024 CPUtime=51.07
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 40942 0 0 0 5077 30 0 0 25 0 1 0 164180132 168984576 40611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10186904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 41256 40611 313 324 0 40325 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 165024

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15434
/proc/meminfo: memFree=1483536/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=175540 CPUtime=102.26
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 43590 0 0 0 10181 45 0 0 25 0 1 0 164180132 179752960 43259 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 43885 43259 313 324 0 42954 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175540

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1436624/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=222204 CPUtime=162.24
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 55288 0 0 0 16165 59 0 0 25 0 1 0 164180132 227536896 54913 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 55551 54913 313 324 0 54620 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 222204

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1314896/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=344140 CPUtime=222.22
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 85759 0 0 0 22147 75 0 0 25 0 1 0 164180132 352399360 85384 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 86035 85384 313 324 0 85104 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 344140

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1239696/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=418744 CPUtime=282.2
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 104476 0 0 0 28134 86 0 0 25 0 1 0 164180132 428793856 104053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 104686 104053 313 324 0 103755 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 418744

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1239696/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=418744 CPUtime=342.18
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 104476 0 0 0 34128 90 0 0 25 0 1 0 164180132 428793856 104053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 104686 104053 313 324 0 103755 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 418744

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1154704/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=505472 CPUtime=402.17
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 126165 0 0 0 40114 103 0 0 25 0 1 0 164180132 517603328 125742 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 126368 125742 313 324 0 125437 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 505472

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1046480/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=612648 CPUtime=462.15
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 152958 0 0 0 46096 119 0 0 25 0 1 0 164180132 627351552 152535 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 153162 152535 313 324 0 152231 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 612648

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1045200/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=612768 CPUtime=522.14
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 52092 122 0 0 25 0 1 0 164180132 627474432 152563 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 153192 152563 313 324 0 152261 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 612768

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1045200/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=612768 CPUtime=582.12
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 58087 125 0 0 25 0 1 0 164180132 627474432 152563 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 153192 152563 313 324 0 152261 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 612768

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1045456/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=612452 CPUtime=642.11
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 64081 130 0 0 25 0 1 0 164180132 627150848 152489 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 153113 152489 313 324 0 152182 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 612452


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1048976/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608944 CPUtime=882.02
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 88051 151 0 0 25 0 1 0 164180132 623558656 151612 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152236 151612 313 324 0 151305 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 608944

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1048976/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608944 CPUtime=942
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 94048 152 0 0 25 0 1 0 164180132 623558656 151612 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10198806 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152236 151612 313 324 0 151305 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 608944

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1048976/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608944 CPUtime=1001.99
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 100039 160 0 0 25 0 1 0 164180132 623558656 151612 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152236 151612 313 324 0 151305 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 608944

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049040/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1061.97
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 106033 164 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 608940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049040/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1121.95
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 112026 169 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 608940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049040/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1181.94
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 118021 173 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 608940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049104/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1241.92
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 124017 175 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 608940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049104/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1301.91
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 130014 177 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 608940

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15436
/proc/meminfo: memFree=1049168/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1361.88
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 136009 179 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 608940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 15532
/proc/meminfo: memFree=1047968/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1421.83
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 142002 181 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 608940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1048784/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1481.75
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 147992 183 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 608940

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1048784/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608940 CPUtime=1541.74
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 153984 190 0 0 25 0 1 0 164180132 623554560 151611 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10190680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152235 151611 313 324 0 151304 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 608940

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1048784/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608936 CPUtime=1601.72
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 159979 193 0 0 25 0 1 0 164180132 623550464 151610 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152234 151610 313 324 0 151303 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 608936

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1048848/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608936 CPUtime=1661.71
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 165975 196 0 0 25 0 1 0 164180132 623550464 151610 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152234 151610 313 324 0 151303 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 608936

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1048976/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608936 CPUtime=1721.69
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153037 0 0 0 171971 198 0 0 25 0 1 0 164180132 623550464 151610 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152234 151610 313 324 0 151303 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 608936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15634
/proc/meminfo: memFree=1049040/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=608952 CPUtime=1781.67
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194304 153041 0 0 0 177968 199 0 0 25 0 1 0 164180132 623566848 151614 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15433/statm: 152238 151614 313 324 0 151307 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 608952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 15634
/proc/meminfo: memFree=1517648/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=0 CPUtime=1800.07
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194308 153042 0 0 0 179800 207 0 0 17 0 1 0 164180132 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15433/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 15634
/proc/meminfo: memFree=1517648/2055920 swapFree=4183056/4192956
[pid=15433] ppid=15431 vsize=0 CPUtime=1800.07
/proc/15433/stat : 15433 (bsolo3.0.16) R 15431 15433 14647 0 -1 4194308 153042 0 0 0 179800 207 0 0 17 0 1 0 164180132 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15433/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.1
CPU user time (s): 1798.01
CPU system time (s): 2.09168
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 612972

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

runsolver used 1.52677 second user time and 3.98839 second system time

The end

Begin job on node74 on Sat Apr 21 13:37:34 UTC 2007

IDJOB= 373086
IDBENCH= 25018
IDSOLVER= 163
FILE ID= node74/373086-1177162654

PBS_JOBID= 4648918

Free space on /tmp= 103200 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373086-1177162654/instance-373086-1177162654.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-373086-1177162654 -o ROOT/results/node74/solver-373086-1177162654 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373086-1177162654/instance-373086-1177162654.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  af0ded53094abde95c37378ccd6c7afa

RANDOM SEED= 301433225

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1656304 kB
Buffers:         60068 kB
Cached:         264668 kB
SwapCached:       3024 kB
Active:         178008 kB
Inactive:       158264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1656304 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            5296 kB
Writeback:           0 kB
Mapped:          16300 kB
Slab:            49128 kB
Committed_AS:  3925664 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103200 MiB

End job on node74 on Sat Apr 21 14:07:37 UTC 2007