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