Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 26 | 1800.05 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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/373002-1177154921/instance-373002-1177154921.opb 0.00/0.00 c File size is 619623 bytes. 0.09/0.11 c Highest Coefficient sum: 697 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.115 s 0.09/0.12 c Var: 6076 Constr: 21401 21400/1/0 Lit: 54392 Watch. Lit: 43431 0.09/0.13 c Obj. Vars: 666 (10.9612 % of total variables) 0.29/0.38 c Pre-processing Time: 0.376 s 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 6067 21380 54355 2 43394 8126 0 0 0.38 0.29/0.38 c Switching off LPR mode. 0.29/0.39 o 28 0.39 36.96/37.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.96/37.08 c 11 6067 21392 57180 2 44056 9126 12 27 0.39 36.96/37.08 c 111 6067 21492 62634 2 44256 10039 112 199 0.56 36.96/37.08 c 361 6067 21742 72920 3 44756 11043 362 410 0.88 36.96/37.08 c 837 6067 22218 98261 4 45708 12148 838 554 1.51 36.96/37.08 c 1650 6067 23031 170510 7 47334 13363 1651 746 2.21 36.96/37.08 c 2971 6067 24352 521502 21 49976 14700 2972 1074 2.76 36.96/37.08 c 5054 6067 26435 927333 35 54142 16171 5055 1334 3.79 36.96/37.08 c 8277 6067 29658 1638624 55 60588 17789 8278 1331 6.21 36.96/37.08 c 13213 6067 34594 4735301 136 70460 19568 13214 753 17.54 36.96/37.08 c 20721 6067 31166 3092836 99 63604 21525 9786 902 22.96 36.96/37.08 c 32082 6067 42527 6518922 153 86326 23678 21147 881 36.41 36.96/37.08 o 27 37.057 1271.90/1272.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1271.90/1272.33 c 33119 6067 43565 6695449 153 89041 9126 22185 893 37.06 1271.90/1272.33 c 33219 6067 26044 1135842 43 53361 10039 4664 886 37.49 1271.90/1272.33 c 33470 6067 26295 1173717 44 53863 11043 4915 888 37.69 1271.90/1272.33 c 33945 6067 26770 1250057 46 54813 12148 5390 895 37.92 1271.90/1272.33 c 34760 6067 27585 1375804 49 56443 13363 6205 903 38.47 1271.90/1272.33 c 36082 6067 28907 2163271 74 59087 14700 7527 906 39.81 1271.90/1272.33 c 38165 6067 30990 2419740 78 63253 16171 9610 934 40.85 1271.90/1272.33 c 41388 6067 34213 2854617 83 69699 17789 12833 976 42.38 1271.90/1272.33 c 46324 6067 39149 3820849 97 79571 19568 17769 968 47.82 1271.90/1272.33 c 53830 6067 31953 5019438 157 65179 21525 10573 811 66.34 1271.90/1272.33 c 65191 6067 32148 2813163 87 65569 23678 10768 843 77.27 1271.90/1272.33 c 82335 6067 32685 2331182 71 66643 26046 11305 917 89.73 1271.90/1272.33 c 108156 6067 38694 6944355 179 78661 28651 17314 675 160.02 1271.90/1272.33 c 146988 6067 34564 4316258 124 70401 31517 13184 425 345.32 1271.90/1272.33 c 205340 6067 44459 4969801 111 90191 34669 23079 396 517.93 1271.90/1272.33 c 292973 6067 48874 18388699 376 99021 38136 27494 281 1041.20 1271.90/1272.33 o 26 1271.94 1799.94/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.54 c 355352 6067 49140 11709573 238 100193 9126 27760 279 1271.95 1799.94/1800.54 c 355452 6067 26053 1906904 73 53380 10039 4673 278 1274.27 1799.94/1800.54 c 355702 6067 26303 1938767 73 53880 11043 4923 279 1274.82 1799.94/1800.54 c 356177 6067 26778 2014660 75 54830 12148 5398 279 1275.39 1799.94/1800.54 c 356991 6067 27592 2142375 77 56458 13363 6212 279 1276.38 1799.94/1800.54 c 358313 6067 28914 2461381 85 59102 14700 7534 280 1277.06 1799.94/1800.54 c 360394 6067 30995 2942132 94 63264 16171 9615 281 1278.54 1799.94/1800.54 c 363617 6067 34218 3560361 104 69710 17789 12838 283 1281.12 1799.94/1800.54 c 368554 6067 39155 5755233 146 79584 19568 17775 286 1287.15 1799.94/1800.54 c 376062 6067 31861 3908306 122 64996 21525 10481 289 1297.64 1799.94/1800.54 c 387429 6067 32151 2567024 79 65576 23678 10771 293 1318.77 1799.94/1800.54 c 404573 6067 32983 2199727 66 67240 26046 11603 299 1348.60 1799.94/1800.55 c 430394 6067 39461 12931415 327 80196 28651 18081 296 1451.60 1799.94/1800.55 c 469230 6067 35508 4631931 130 72290 31517 14128 301 1557.22 1799.94/1800.55 c 527582 6067 44219 9406363 212 89712 34669 22839 293 1794.99 1799.94/1800.55 c Resources Exceeded 1799.94/1800.55 v x1 x363 x532 x696 x859 -x1010 -x1068 x1126 -x1184 -x1242 -x1300 -x1358 -x1416 -x11 -x1474 -x14 -x1501 -x17 -x1528 -x20 -x1555 1799.94/1800.55 v x23 -x1582 x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 x39 -x1744 -x42 -x1771 -x45 -x1798 x1825 -x50 -x1852 -x53 -x1879 1799.94/1800.55 v -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 x77 -x2095 -x80 -x2122 -x83 -x2149 -x86 1799.94/1800.55 v -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 -x2328 1799.94/1800.55 v -x2330 -x2342 -x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442 1799.94/1800.55 v -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566 1799.94/1800.55 v -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 -x2620 -x2622 -x2634 -x2636 -x2648 -x2650 x2662 -x2664 -x2676 -x2678 -x2690 1799.94/1800.55 v -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 -x2774 x2776 -x2788 -x2790 -x2802 -x2804 1799.94/1800.55 v -x2816 -x2818 -x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 -x2900 -x2902 -x2914 -x2916 -x2928 1799.94/1800.55 v -x2930 -x2942 -x2944 -x2956 -x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 -x3017 -x3022 -x3027 -x3032 -x3037 1799.94/1800.55 v -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122 1799.94/1800.55 v -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207 1799.94/1800.55 v -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 -x3282 -x3287 -x3292 1799.94/1800.55 v -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 x3416 -x3443 1799.94/1800.55 v -x3470 -x3497 -x3524 -x3551 -x3563 -x376 -x3575 x379 -x3587 -x382 -x3599 -x3611 -x3623 -x389 -x3635 -x392 -x3647 -x395 1799.94/1800.55 v -x3659 -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 x3707 -x3719 -x412 -x3731 -x415 -x3743 -x418 -x3755 -x421 -x3767 -x424 1799.94/1800.55 v -x3779 -x3791 -x3803 -x3805 -x3810 -x3812 x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852 1799.94/1800.55 v -x3854 -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913 1799.94/1800.55 v -x3915 -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 -x3955 -x3957 -x3962 -x3964 -x3969 -x3971 1799.94/1800.55 v -x3976 -x3978 -x3983 -x3985 x3990 -x3992 -x3997 -x3999 -x4004 -x4006 -x4011 x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034 1799.94/1800.55 v -x4039 -x4041 -x4046 -x4073 -x4100 -x4127 x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 -x549 -x4271 -x4283 -x4295 1799.94/1800.55 v -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 -x582 -x4427 1799.94/1800.55 v -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 x4508 -x4510 -x4515 -x4517 -x4522 -x4524 -x4529 1799.94/1800.55 v -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 -x4569 -x4571 -x4576 -x4578 -x4583 -x4585 -x4590 1799.94/1800.55 v -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 -x4632 -x4634 -x4639 -x4641 -x4646 -x4648 1799.94/1800.55 v -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 -x4679 -x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 -x4709 1799.94/1800.55 v -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 -x716 1799.94/1800.55 v -x4977 -x719 -x4989 -x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 -x742 -x5097 -x5109 1799.94/1800.55 v -x747 -x5121 -x5133 -x5145 -x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 -x5209 1799.94/1800.55 v -x5211 -x5216 x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 -x5270 1799.94/1800.55 v -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5321 x5326 -x5328 1799.94/1800.55 v -x5333 -x5335 -x5340 -x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 -x5389 1799.94/1800.55 v -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 x5491 -x5518 -x5545 -x5572 -x5599 -x5611 -x5623 -x5635 -x5647 1799.94/1800.55 v -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 x5791 -x5803 -x5815 1799.94/1800.55 v -x5827 -x5839 -x5851 -x5856 -x5858 -x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 -x5903 1799.94/1800.55 v -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 -x5960 -x5962 -x5967 1799.94/1800.55 v -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 -x6025 1799.94/1800.55 v -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 -x6061 -x6063 -x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 -x18 1799.94/1800.55 v -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 x48 -x49 -x51 -x52 -x54 1799.94/1800.55 v -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 -x91 1799.94/1800.55 v -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 -x114 1799.94/1800.55 v -x116 -x115 -x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 -x135 1799.94/1800.55 v -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 -x157 1799.94/1800.55 v -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x178 1799.94/1800.55 v -x177 -x179 -x181 -x180 -x182 x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 1799.94/1800.55 v -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220 1799.94/1800.55 v -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 -x241 1799.94/1800.55 v -x240 -x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262 1799.94/1800.55 v -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283 1799.94/1800.55 v -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 1799.94/1800.55 v -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325 1799.94/1800.55 v -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 -x346 1799.94/1800.55 v -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 x4 -x5 -x6 -x7 1799.94/1800.55 v -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 -x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 -x394 1799.94/1800.55 v -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 -x420 -x422 -x423 -x425 1799.94/1800.55 v -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 1799.94/1800.55 v -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 -x466 1799.94/1800.55 v -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 1799.94/1800.55 v -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 -x508 1799.94/1800.55 v -x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529 1799.94/1800.55 v -x531 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 1799.94/1800.55 v -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583 1799.94/1800.55 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 x603 -x602 -x604 -x606 1799.94/1800.55 v -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 1799.94/1800.55 v -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 1799.94/1800.55 v -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 1799.94/1800.55 v -x669 -x671 -x670 -x672 -x673 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 1799.94/1800.55 v -x691 -x690 -x692 -x694 -x693 -x695 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 -x712 1799.94/1800.55 v -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 -x739 1799.94/1800.55 v -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 1799.94/1800.55 v -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 x778 -x780 -x779 -x781 -x783 -x782 -x784 1799.94/1800.55 v -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 1799.94/1800.55 v -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 -x818 -x817 -x819 -x821 -x820 -x822 x824 -x823 -x825 -x827 1799.94/1800.55 v -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 1799.94/1800.55 v -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x867 -x868 -x869 1799.94/1800.55 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 -x893 1799.94/1800.55 v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 1799.94/1800.55 v -x915 -x917 -x918 -x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 -x936 1799.94/1800.55 v -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 -x957 1799.94/1800.55 v -x958 -x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 1799.94/1800.55 v -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 -x1000 1799.94/1800.55 v -x999 -x1001 -x1003 -x1002 -x1004 -x1006 -x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x1011 -x1012 1799.94/1800.55 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1799.94/1800.55 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1799.94/1800.55 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1799.94/1800.55 v -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1799.94/1800.55 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1799.94/1800.55 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1799.94/1800.55 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1799.94/1800.55 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1799.94/1800.55 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1799.94/1800.55 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1185 1799.94/1800.55 v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1799.94/1800.55 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1799.94/1800.55 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1799.94/1800.55 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1799.94/1800.55 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1799.94/1800.55 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1799.94/1800.55 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1799.94/1800.55 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1799.94/1800.55 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1799.94/1800.55 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1799.94/1800.55 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1799.94/1800.55 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1799.94/1800.55 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1799.94/1800.55 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1799.94/1800.55 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1799.94/1800.55 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1799.94/1800.55 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1475 -x1476 -x1477 -x1478 -x1479 1799.94/1800.55 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1799.94/1800.55 v -x1497 -x1498 -x1499 -x1500 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1799.94/1800.55 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1529 -x1530 -x1531 -x1532 1799.94/1800.55 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1799.94/1800.55 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1799.94/1800.55 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1583 -x1584 -x1585 1799.94/1800.55 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1799.94/1800.55 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1799.94/1800.55 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638 1799.94/1800.55 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1799.94/1800.55 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1799.94/1800.55 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 1799.94/1800.55 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1799.94/1800.55 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1799.94/1800.55 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1799.94/1800.55 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1799.94/1800.55 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1799.94/1800.55 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1799.94/1800.55 v -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1799.94/1800.55 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1799.94/1800.55 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1799.94/1800.55 v -x1850 -x1851 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1799.94/1800.55 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1799.94/1800.55 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1799.94/1800.55 v -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1799.94/1800.55 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1934 -x1935 -x1936 -x1937 -x1938 1799.94/1800.55 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1799.94/1800.55 v -x1956 -x1957 -x1958 -x1959 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1799.94/1800.55 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 1799.94/1800.55 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1799.94/1800.55 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1799.94/1800.55 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2042 -x2043 -x2044 1799.94/1800.55 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1799.94/1800.55 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1799.94/1800.55 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2096 -x2097 1799.94/1800.55 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1799.94/1800.55 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1799.94/1800.55 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2150 1799.94/1800.55 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1799.94/1800.55 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1799.94/1800.55 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1799.94/1800.55 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1799.94/1800.55 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2231 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1799.94/1800.55 v -x2240 -x2241 -x2242 -x2243 -x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 1799.94/1800.55 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2273 -x2275 -x2276 -x2277 -x2278 -x2279 1799.94/1800.55 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1799.94/1800.55 v -x2299 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2317 -x2318 -x2319 1799.94/1800.55 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1799.94/1800.55 v -x2339 -x2340 -x2341 x2343 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2357 -x2359 -x2360 1799.94/1800.55 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1799.94/1800.55 v -x2380 -x2381 -x2382 -x2383 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2399 1799.94/1800.55 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2413 -x2415 -x2416 -x2417 -x2418 -x2419 1799.94/1800.55 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1799.94/1800.55 v -x2439 x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2455 -x2457 -x2458 -x2459 -x2460 1799.94/1800.55 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1799.94/1800.55 v -x2480 -x2481 x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2497 -x2499 -x2500 -x2501 1799.94/1800.55 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1799.94/1800.55 v -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2539 -x2540 1799.94/1800.55 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2551 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1799.94/1800.55 v -x2560 -x2561 -x2562 -x2563 -x2565 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2579 1799.94/1800.55 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2595 -x2596 -x2597 -x2598 -x2599 1799.94/1800.55 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1799.94/1800.55 v -x2619 -x2621 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2637 -x2638 -x2639 1799.94/1800.55 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1799.94/1800.55 v -x2659 -x2660 -x2661 x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2679 1799.94/1800.55 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2691 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1799.94/1800.55 v -x2699 -x2700 -x2701 -x2702 -x2703 x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1799.94/1800.55 v -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2733 -x2735 -x2736 -x2737 -x2738 1799.94/1800.55 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1799.94/1800.55 v -x2758 -x2759 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2775 x2777 -x2778 1799.94/1800.55 v -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1799.94/1800.55 v -x2798 -x2799 -x2800 -x2801 x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 1799.94/1800.55 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 1799.94/1800.55 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1799.94/1800.55 v -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 -x2877 1799.94/1800.55 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1799.94/1800.55 v -x2897 -x2898 -x2899 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 -x2917 1799.94/1800.55 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1799.94/1800.55 v -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1799.94/1800.55 v x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2971 -x2973 -x2974 -x2975 -x2976 1799.94/1800.55 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1799.94/1800.55 v -x2996 -x2997 -x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3013 -x3014 -x3015 1799.94/1800.55 v -x3016 -x3018 -x3019 -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 1799.94/1800.55 v -x3038 -x3039 -x3040 -x3041 -x3043 -x3044 -x3045 -x3046 -x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 -x3058 1799.94/1800.55 v -x3059 -x3060 -x3061 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 1799.94/1800.55 v -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 -x3098 -x3099 -x3100 1799.94/1800.55 v -x3101 -x3103 -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 1799.94/1800.55 v -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 x3133 -x3134 -x3135 x3136 -x3138 -x3139 -x3140 -x3141 -x3143 -x3144 1799.94/1800.55 v -x3145 -x3146 -x3148 -x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 1799.94/1800.55 v -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3176 x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 1799.94/1800.55 v -x3188 -x3189 -x3190 -x3191 -x3193 -x3194 -x3195 -x3196 x3198 -x3199 x3200 -x3201 -x3203 -x3204 -x3205 -x3206 -x3208 -x3209 1799.94/1800.55 v -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3228 -x3229 -x3230 1799.94/1800.55 v -x3231 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 x3248 -x3249 -x3250 -x3251 1799.94/1800.55 v -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273 1799.94/1800.55 v -x3274 -x3275 -x3276 -x3278 -x3279 -x3280 -x3281 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 1799.94/1800.55 v -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 1799.94/1800.55 v -x3316 -x3318 -x3319 -x3320 -x3321 x3323 -x3324 x3325 -x3326 -x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 -x3338 1799.94/1800.55 v -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 1799.94/1800.55 v -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 1799.94/1800.55 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 1799.94/1800.55 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1799.94/1800.55 v -x3413 -x3414 -x3415 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1799.94/1800.55 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 1799.94/1800.55 v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 1799.94/1800.55 v -x3466 -x3467 -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 1799.94/1800.55 v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3498 -x3499 -x3500 -x3501 1799.94/1800.55 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 1799.94/1800.55 v -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1799.94/1800.55 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3552 -x3553 -x3554 -x3555 1799.94/1800.55 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1799.94/1800.55 v -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592 1799.94/1800.55 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1799.94/1800.55 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1799.94/1800.55 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 1799.94/1800.55 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 1799.94/1800.55 v -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3684 -x3685 -x3686 1799.94/1800.55 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 1799.94/1800.55 v -x3705 -x3706 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3720 -x3721 -x3722 -x3723 -x3724 1799.94/1800.55 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1799.94/1800.55 v x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1799.94/1800.55 v -x3763 -x3764 -x3765 -x3766 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 1799.94/1800.55 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1799.94/1800.55 v -x3800 -x3801 -x3802 -x3804 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 x3818 x3820 -x3821 -x3822 -x3823 1799.94/1800.55 v -x3825 x3827 -x3828 -x3829 -x3830 x3832 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 x3846 -x3848 -x3849 1799.94/1800.55 v -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3860 -x3861 -x3862 -x3863 x3865 -x3867 -x3868 -x3869 -x3870 -x3872 1799.94/1800.55 v -x3874 -x3875 -x3876 -x3877 x3879 -x3881 -x3882 -x3883 -x3884 x3886 x3888 -x3889 -x3890 -x3891 x3893 -x3895 -x3896 -x3897 1799.94/1800.55 v -x3898 x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 -x3914 -x3916 -x3917 -x3918 -x3919 -x3921 1799.94/1800.55 v -x3923 -x3924 -x3925 -x3926 x3928 -x3930 -x3931 -x3932 -x3933 -x3935 -x3937 -x3938 -x3939 -x3940 -x3942 x3944 -x3945 x3946 1799.94/1800.55 v -x3947 -x3949 -x3951 -x3952 -x3953 -x3954 -x3956 x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3970 1799.94/1800.55 v -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3984 x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 1799.94/1800.55 v -x3996 -x3998 -x4000 -x4001 -x4002 -x4003 x4005 -x4007 -x4008 -x4009 -x4010 x4012 x4014 -x4015 -x4016 -x4017 -x4019 -x4021 1799.94/1800.55 v -x4022 -x4023 -x4024 -x4026 -x4028 -x4029 -x4030 -x4031 -x4033 x4035 -x4036 -x4037 -x4038 -x4040 -x4042 -x4043 -x4044 1799.94/1800.55 v -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 1799.94/1800.55 v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1799.94/1800.55 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1799.94/1800.55 v -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 1799.94/1800.55 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1799.94/1800.55 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1799.94/1800.55 v -x4151 -x4152 -x4153 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1799.94/1800.55 v -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186 1799.94/1800.55 v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1799.94/1800.55 v -x4204 -x4205 -x4206 -x4207 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1799.94/1800.55 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 1799.94/1800.55 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1799.94/1800.55 v -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4272 -x4273 -x4274 -x4275 -x4276 1799.94/1800.55 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1799.94/1800.55 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 1799.94/1800.55 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4332 1799.94/1800.55 v -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1799.94/1800.55 v -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 -x4369 1799.94/1800.55 v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 1799.94/1800.55 v -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 1799.94/1800.55 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 1799.94/1800.55 v x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 -x4443 1799.94/1800.55 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1799.94/1800.55 v -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 1799.94/1800.55 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4488 -x4490 -x4491 -x4492 -x4493 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 1799.94/1800.55 v x4504 -x4505 -x4506 -x4507 x4509 x4511 -x4512 -x4513 -x4514 -x4516 -x4518 -x4519 -x4520 -x4521 x4523 -x4525 -x4526 -x4527 1799.94/1800.55 v -x4528 x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4551 -x4552 1799.94/1800.55 v -x4553 -x4554 x4556 -x4558 -x4559 -x4560 -x4561 -x4563 -x4565 -x4566 -x4567 -x4568 x4570 x4572 -x4573 -x4574 -x4575 -x4577 1799.94/1800.55 v -x4579 -x4580 -x4581 -x4582 x4584 -x4586 -x4587 -x4588 -x4589 -x4591 -x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601 1799.94/1800.55 v -x4602 -x4603 -x4605 -x4607 -x4608 -x4609 -x4610 x4612 -x4614 -x4615 -x4616 -x4617 -x4619 x4621 -x4622 x4623 -x4624 -x4626 1799.94/1800.55 v -x4628 -x4629 -x4630 -x4631 -x4633 -x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4649 -x4650 1799.94/1800.55 v -x4651 -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 x4663 -x4664 -x4665 -x4666 -x4668 -x4670 -x4671 -x4672 -x4673 1799.94/1800.55 v x4675 -x4676 -x4677 -x4678 -x4680 -x4682 -x4683 -x4684 -x4685 x4687 x4689 -x4690 -x4691 -x4692 x4694 -x4696 -x4697 -x4698 1799.94/1800.55 v -x4699 -x4701 -x4703 -x4704 -x4705 -x4706 -x4708 x4710 -x4711 -x4712 -x4713 -x4715 -x4717 -x4718 -x4719 -x4720 -x4722 1799.94/1800.55 v -x4724 -x4725 -x4726 -x4727 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 1799.94/1800.55 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 1799.94/1800.55 v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 1799.94/1800.55 v -x4777 -x4778 -x4779 -x4780 -x4781 x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1799.94/1800.55 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4810 -x4811 -x4812 -x4813 1799.94/1800.55 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1799.94/1800.55 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1799.94/1800.55 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4864 -x4865 x4866 -x4867 1799.94/1800.55 v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 1799.94/1800.55 v -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 1799.94/1800.55 v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 1799.94/1800.55 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1799.94/1800.55 v -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 1799.94/1800.55 v -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 1799.94/1800.55 v -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 1799.94/1800.55 v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 1799.94/1800.55 v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1799.94/1800.55 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5050 1799.94/1800.55 v -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1799.94/1800.55 v -x5069 -x5070 -x5071 -x5072 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 1799.94/1800.55 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 1799.94/1800.55 v -x5106 -x5107 -x5108 x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 1799.94/1800.55 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 1799.94/1800.55 v -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 1799.94/1800.55 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5170 -x5172 -x5173 -x5174 -x5175 -x5177 -x5179 -x5180 -x5181 -x5182 x5184 -x5186 1799.94/1800.55 v -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5196 -x5198 -x5199 -x5200 -x5201 x5203 x5205 -x5206 -x5207 -x5208 x5210 1799.94/1800.55 v -x5212 -x5213 -x5214 -x5215 x5217 x5219 -x5220 -x5221 -x5222 x5224 -x5226 -x5227 -x5228 -x5229 -x5231 -x5233 -x5234 -x5235 1799.94/1800.55 v -x5236 x5238 x5240 -x5241 -x5242 -x5243 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5257 -x5259 -x5260 1799.94/1800.55 v -x5261 -x5262 x5264 -x5266 -x5267 -x5268 -x5269 -x5271 -x5273 -x5274 -x5275 -x5276 x5278 -x5280 -x5281 -x5282 -x5283 -x5285 1799.94/1800.55 v -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 1799.94/1800.55 v -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 x5320 -x5322 -x5323 -x5324 -x5325 x5327 -x5329 -x5330 -x5331 -x5332 -x5334 1799.94/1800.55 v -x5336 -x5337 -x5338 -x5339 -x5341 -x5343 -x5344 -x5345 -x5346 -x5348 x5350 -x5351 -x5352 -x5353 -x5355 x5357 -x5358 -x5359 1799.94/1800.55 v x5360 -x5362 -x5364 -x5365 -x5366 -x5367 -x5369 -x5371 -x5372 -x5373 -x5374 -x5376 -x5378 -x5379 -x5380 -x5381 -x5383 1799.94/1800.55 v -x5385 -x5386 -x5387 -x5388 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 x5399 -x5400 x5401 -x5402 -x5404 -x5406 -x5407 -x5408 1799.94/1800.55 v -x5409 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 1799.94/1800.55 v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1799.94/1800.55 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1799.94/1800.55 v -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1799.94/1800.55 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 1799.94/1800.55 v -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 1799.94/1800.55 v -x5515 -x5516 -x5517 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 1799.94/1800.55 v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5546 -x5547 -x5548 -x5549 -x5550 1799.94/1800.55 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 1799.94/1800.55 v -x5568 -x5569 -x5570 -x5571 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 1799.94/1800.55 v -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603 1799.94/1800.55 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 1799.94/1800.55 v -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 1799.94/1800.55 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 1799.94/1800.55 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 1799.94/1800.55 v -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5696 1799.94/1800.55 v -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1799.94/1800.55 v -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 1799.94/1800.55 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 1799.94/1800.55 v -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 -x5769 -x5770 1799.94/1800.55 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 1799.94/1800.55 v -x5789 -x5790 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5804 -x5805 -x5806 -x5807 -x5808 1799.94/1800.55 v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 1799.94/1800.55 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 1799.94/1800.55 v -x5846 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5859 -x5860 -x5861 -x5862 -x5864 -x5865 -x5866 1799.94/1800.55 v -x5867 -x5869 -x5871 -x5872 -x5873 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 x5883 -x5885 -x5886 -x5887 -x5888 -x5890 1799.94/1800.55 v -x5891 -x5892 -x5893 x5895 -x5897 -x5898 -x5899 -x5900 x5902 -x5904 -x5905 -x5906 -x5907 -x5909 -x5911 -x5912 -x5913 -x5914 1799.94/1800.55 v -x5916 -x5918 -x5919 -x5920 -x5921 -x5923 -x5925 -x5926 -x5927 -x5928 -x5930 -x5932 -x5933 -x5934 -x5935 -x5937 -x5938 1799.94/1800.55 v -x5939 -x5940 -x5942 -x5944 -x5945 -x5946 -x5947 -x5949 -x5951 -x5952 -x5953 -x5954 -x5956 -x5957 -x5958 -x5959 -x5961 1799.94/1800.55 v -x5963 -x5964 -x5965 -x5966 x5968 -x5970 -x5971 -x5972 -x5973 -x5975 -x5977 -x5978 -x5979 -x5980 -x5982 x5984 -x5985 -x5986 1799.94/1800.55 v -x5987 -x5989 x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6005 -x6006 -x6007 -x6008 -x6010 1799.94/1800.55 v x6012 -x6013 -x6014 -x6015 -x6017 -x6019 -x6020 -x6021 -x6022 -x6024 -x6026 -x6027 -x6028 -x6029 -x6031 -x6032 -x6033 1799.94/1800.55 v -x6034 -x6036 -x6037 -x6038 -x6039 x6041 -x6043 -x6044 -x6045 -x6046 x6048 -x6050 -x6051 -x6052 -x6053 -x6055 -x6057 -x6058 1799.94/1800.55 v -x6059 -x6060 -x6062 -x6064 -x6065 -x6066 -x6067 -x6069 -x6071 -x6073 -x6074 -x6075 -x6076 1799.94/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.55 c 42 533728 216268 1324033 50365 10578704 28985 296 1800.00 1799.94/1800.55 c Objective: 26 1799.94/1800.55 s SATISFIABLE 1799.94/1800.55 c Total time: 1800 s
OK 26
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-373002-1177154921 -o ROOT/results/node11/solver-373002-1177154921 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373002-1177154921/instance-373002-1177154921.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/77 29544 /proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=12344 CPUtime=0 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 156541037 12640256 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 3086 336 281 324 0 2003 0 [startup+0.065147 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29544 /proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=6044 CPUtime=0.06 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 806 0 0 0 6 0 0 0 18 0 1 0 156541037 6189056 774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 1511 774 364 324 0 428 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6044 [startup+0.101151 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29544 /proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=6736 CPUtime=0.09 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1050 0 0 0 9 0 0 0 18 0 1 0 156541037 6897664 1018 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 1684 1019 411 324 0 601 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6736 [startup+0.301175 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29544 /proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=8092 CPUtime=0.29 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1562 0 0 0 29 0 0 0 19 0 1 0 156541037 8286208 1378 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 2023 1378 306 324 0 1092 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8092 [startup+0.701222 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29544 /proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=8968 CPUtime=0.69 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1990 0 0 0 67 2 0 0 22 0 1 0 156541037 9183232 1600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 2242 1600 313 324 0 1311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8968 [startup+1.50132 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1823864/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=8968 CPUtime=1.49 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1990 0 0 0 146 3 0 0 25 0 1 0 156541037 9183232 1600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 2242 1600 313 324 0 1311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8968 [startup+3.10151 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1822840/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=16636 CPUtime=3.09 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 3918 0 0 0 305 4 0 0 25 0 1 0 156541037 17035264 3528 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 4159 3528 313 324 0 3228 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16636 [startup+6.30188 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1805752/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=29792 CPUtime=6.28 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 7196 0 0 0 622 6 0 0 25 0 1 0 156541037 30507008 6806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 7448 6806 313 324 0 6517 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29792 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1780024/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=55564 CPUtime=12.67 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 13644 0 0 0 1257 10 0 0 25 0 1 0 156541037 56897536 13254 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 13891 13254 313 324 0 12960 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 55564 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1739512/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=93024 CPUtime=25.47 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 23020 0 0 0 2529 18 0 0 25 0 1 0 156541037 95256576 22630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 23256 22630 313 324 0 22325 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 93024 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1737336/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=95216 CPUtime=51.06 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 23568 0 0 0 5079 27 0 0 25 0 1 0 156541037 97501184 23178 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8409157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 23804 23178 313 324 0 22873 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 95216 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1722104/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=110392 CPUtime=102.25 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 27365 0 0 0 10186 39 0 0 25 0 1 0 156541037 113041408 26975 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 27598 26975 313 324 0 26667 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 110392 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1714680/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=117772 CPUtime=162.23 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 29214 0 0 0 16179 44 0 0 25 0 1 0 156541037 120598528 28824 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 29443 28824 313 324 0 28512 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 117772 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163184 CPUtime=222.21 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 22164 57 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40796 40176 313 324 0 39865 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 163184 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163184 CPUtime=282.19 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 28160 59 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8410965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40796 40176 313 324 0 39865 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 163184 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163184 CPUtime=342.18 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 34156 62 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40796 40176 313 324 0 39865 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 163184 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163196 CPUtime=402.16 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 40147 69 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40799 40179 313 324 0 39868 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 163196 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163196 CPUtime=462.14 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 46140 74 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40799 40179 313 324 0 39868 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 163196 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=163196 CPUtime=522.13 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 52134 79 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 40799 40179 313 324 0 39868 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 163196 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1652280/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=179716 CPUtime=582.1 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 44771 0 0 0 58125 85 0 0 25 0 1 0 156541037 184029184 44308 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8421026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 44929 44308 313 324 0 43998 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 179716 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29545 /proc/meminfo: memFree=1652344/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=179716 CPUtime=642.09 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 44771 0 0 0 64121 88 0 0 25 0 1 0 156541037 184029184 44308 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 44929 44308 313 324 0 43998 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 179716 ################ # More data... # ################ /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79950 0 0 0 106070 126 0 0 25 0 1 0 156541037 327847936 79407 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 80041 79407 313 324 0 79110 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 320164 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 29547 /proc/meminfo: memFree=1511672/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=320128 CPUtime=1121.95 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 112065 130 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 80032 79410 313 324 0 79101 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 320128 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 29547 /proc/meminfo: memFree=1511736/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=320128 CPUtime=1181.92 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 118060 132 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 80032 79410 313 324 0 79101 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 320128 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 29547 /proc/meminfo: memFree=1511736/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=320128 CPUtime=1241.9 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 124055 135 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 80032 79410 313 324 0 79101 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 320128 [startup+1302.3 s] /proc/loadavg: 1.11 1.04 1.01 2/78 29547 /proc/meminfo: memFree=1511800/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1301.9 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 130046 144 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 319920 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 1.00 2/78 29547 /proc/meminfo: memFree=1511800/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1361.88 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 136037 151 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 319920 [startup+1422.31 s] /proc/loadavg: 1.07 1.04 1.00 3/78 29547 /proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1421.86 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 142032 154 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8421093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 319920 [startup+1482.3 s] /proc/loadavg: 1.08 1.04 1.00 2/78 29547 /proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1481.83 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 148024 159 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 319920 [startup+1542.3 s] /proc/loadavg: 1.08 1.05 1.00 2/78 29547 /proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1541.82 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 154018 164 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 319920 [startup+1602.3 s] /proc/loadavg: 1.07 1.05 1.00 2/78 29547 /proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1601.8 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 160011 169 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8412820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 319920 [startup+1662.3 s] /proc/loadavg: 1.07 1.05 1.00 2/78 29547 /proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1661.79 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 166005 174 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 319920 [startup+1722.3 s] /proc/loadavg: 1.11 1.07 1.01 2/78 29547 /proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1721.76 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 171999 177 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 319920 [startup+1782.3 s] /proc/loadavg: 1.13 1.09 1.01 2/78 29547 /proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=319920 CPUtime=1781.75 /proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 177994 181 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8409157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29544/statm: 79980 79363 313 324 0 79049 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 319920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.17 1.10 1.02 2/78 29547 /proc/meminfo: memFree=1820664/2055920 swapFree=4150632/4192956 [pid=29544] ppid=29542 vsize=0 CPUtime=1800.05 /proc/29544/stat : 29544 (bsolo3.0.16) D 29542 29544 28641 0 -1 4194308 79954 0 0 0 179817 188 0 0 15 0 1 0 156541037 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/29544/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.05 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800.05 s) to the 'lost time'. [startup+1800.6 s] /proc/loadavg: 1.17 1.10 1.02 2/77 29547 /proc/meminfo: memFree=1828480/2055920 swapFree=4150632/4192956 [pid=29544] ppid=-1 vsize=0 CPUtime=0 /proc/29544/stat : ÿÿÿÿÿÿÿÿ/proc/29544/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 [startup+1800.6 s] /proc/loadavg: 1.17 1.10 1.02 2/77 29547 /proc/meminfo: memFree=1828480/2055920 swapFree=4150632/4192956 [pid=29544] ppid=-1 vsize=0 CPUtime=0 /proc/29544/stat : ÿÿÿÿÿÿÿÿ/proc/29544/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29544 and gives # childrusage.ru_utime.tv_sec=1798 # childrusage.ru_utime.tv_usec=171636 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=885713 # CPU time returned by wait4() is 1800.06 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.05 # lost CPU user time (s): 1798.17 # lost CPU system time (s): 1.88 Real time (s): 1800.61 CPU time (s): 1800.05 CPU user time (s): 1798.17 CPU system time (s): 1.88 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 320176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.17 system time used= 1.88571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79954 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= 13 involuntary context switches= 3610 runsolver used 2.19367 second user time and 4.31934 second system time The end
Begin job on node11 on Sat Apr 21 11:28:41 UTC 2007 IDJOB= 373002 IDBENCH= 25012 IDSOLVER= 163 FILE ID= node11/373002-1177154921 PBS_JOBID= 4648873 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373002-1177154921/instance-373002-1177154921.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-373002-1177154921 -o ROOT/results/node11/solver-373002-1177154921 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373002-1177154921/instance-373002-1177154921.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED= 665299035 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1829400 kB Buffers: 32720 kB Cached: 104800 kB SwapCached: 10856 kB Active: 55396 kB Inactive: 109104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829400 kB SwapTotal: 4192956 kB SwapFree: 4150632 kB Dirty: 5104 kB Writeback: 0 kB Mapped: 34028 kB Slab: 47428 kB Committed_AS: 6258416 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66344 MiB End job on node11 on Sat Apr 21 11:58:42 UTC 2007