0.00	c Running pbsmodels-v1.31
13.83	s SATISFIABLE
13.83	v x25 x33 x35 x62 x84 x87 x108 x113 x129 x162 x178 x184 x201 x211 x225 x231 x237 x241 x261 x282 x306 x325 x331 x357 x359 x369 x394
13.83	v x400 x402 x421 x439 x449 x465 x466 x469 x470 x488 x500 x520 x522 x546 x553 x560 x577 x586 x588 x591 x614 x626 x651 x660 x670 x681
13.83	v x698 x703 x710 x728 x738 x755 x771 x778 x801 x808 x822 x833 x839 x845 x864 x878 x886 x913 x919 x926 x935 x940 x959 x968 x972 x985
13.83	v x986 x990 x1011 x1020 x1037 x1040 x1056 x1077 x1079 x1080 x1118 x1132 x1141 x1144 x1158 x1169 x1179 x1188 x1191 x1207 x1223
13.83	v x1236 x1241 x1247 x1262 x1271 x1289 x1325 x1327 x1331 x1346 x1373 x1374 x1382 x1387 x1389 x1391 x1431 x1433 x1469 x1471 x1475
13.83	v x1482 x1487 x1528 x1531 x1553 x1572 x1581 x1585 x1592 x1611 x1634 x1638 x1642 x1652 x1660 x1676 x1690 x1699 x1712 x1720 x1731
13.83	v x1743 x1757 x1765 x1787 x1788 x1800 x1802 x1820 x1836 x1843 x1870 x1871 x1882 x1898 x1906 x1915 x1935 x1962 x1989 x2010 x2029
13.83	v x2033 x2062 x2069 x2094 x2112 x2118 x2135 x2155 x2163 x2197 x2207 x2227 x2238 x2243 x2245 x2251 x2258 x2263 x2269 x2276 x2284
13.83	v x2291 x2295 x2299 x2305 x2314 x2319 x2323 x2334 x2336 x2342 x2351 x2355 x2362 x2370 x2375 x2377 x2387 x2390 x2398 x2404 x2409
13.83	v x2413 x2420 x2425 x2435 x2442 x2444 x2452 x2457 x2462 x2471 x2476 x2484 x2487 x2491 x2499 x2503 x2514 x2515 x2522 x2527 x2538
13.83	v x2541 x2549 x2553 x2558 x2566 x2574 x2577 x2586 x2589 x2593 x2603 x2605 x2616 x2620 x2628 x2634 x2639 x2644 x2651 x2657 x2662
13.83	v x2667 x2674 x2682 x2687 x2693 x2699 x2701 x2712 x2718 x2720 x2730 x2735 x2737 x2743 x2754 x2759 x2762 x2771 x2776 x2782 x2786
13.83	v x2796 x2802 x2805 x2809 x2816 x2824 x2829 x2834 x2840 x2850 x2851 x2859 x2865 x2871 x2880 x2886 x2891 x2895 x2901 x2905 x2913
13.83	v x2922 x2923 x2929 x2939 x2943 x2950 x2957 x2962 x2966 x2973 x2979 x2983 x2991 x2997 x3006 x3008 x3015 x3024 x3026 x3031 x3039
13.83	v x3043 x3053 x3058 x3066 x3071 x3078 x3084 x3090 x3091 x3098 x3106 x3113 x3118 x3123 x3132 x3134 x3139 x3148 x3155 x3159 x3167
13.83	v x3172 x3176 x3181 x3192 x3195 x3204 x3206 x3213 x3222 x3224 x3232 x3239 x3245 x3247 x3256 x3262 x3270 x3276 x3281 x3283 x3292
13.83	v x3300 x3304 x3310 x3316 x3320 x3325 x3336 x3339 x3345 x3351 x3355 x3365 x3368 x3375 x3382 x3389 x3391 x3399 x3407 x3412 x3420
13.83	v x3421 x3427 x3437 x3441 x3445 x3456 x3460 x3468 x3474 x3480 x3484 x3490 x3494 x3499 x3509 x3511 x3517 x3524 x3529 x3538 x3543
13.83	v x3550 x3553 x3564 x3565 x3573 x3582 x3584 x3593 x3595 x3603 x3612 x3617 x3623 x3627 x3636 x3639 x3645 x3650 x3657 x3665 x3667
13.83	v x3677 x3684 x3685 x3693 x3699 x3705 x3710 x3715 x3723 x3730 x3736 x3740 x3747 x3753 x3759 x3768 x3773 x3778 x3781 x3792 x3798
13.83	v x3802 x3805 x3815 x3821 x3826 x3834 x3840 x3844 x3848 x3857 x3863 x3868 x3872 x3881 x3885 x3894 x3895 x3902 x3912 x3918 x3921
13.83	v x3929 x3934 x3938 x3944 x3952 x3957 x3963 x3972 x3976 x3982 x3990 x3995 x4000 x4004 x4011 x4018 x4021 x4028 x4038 x4040 x4049
13.83	v x4051 x4061 x4068 x4072 x4077 x4086 x4087 x4098 x4103 x4106 x4116 x4121 x4127 x4133 x4138 x4144 x4149 x4156 x4163 x4169 x4173
13.83	v x4181 x4187 x4192 x4197 x4203 x4209 x4218 x4219 x4230 x4233 x4239 x4247 x4253 x4260 x4263 x4272 x4277 x4280 x4286 x4293 x4301
13.83	v x4303 x4312 x4318 x4326 x4331 x4337 x4344 x4346 x4355 x4358 x4364 x4372 x4376 x4384 x4391 x4396 x4402 x4409 x4411 x4420 x4427
13.83	v x4431 x4440 x4441 x4452 x4453 x4462 x4466 x4475 x4482 x4483 x4492 x4499 x4501 x4509 x4518 x4519 x4528 x4535 x4542 x4546 x4552
13.83	v x4557 x4564 x4570 x4576 x4579 x4588 x4592 x4600 x4608 x4613 x4615 x4621 x4628 x4636 x4642 x4646 x4653 x4660 -x1 -x2 -x3 -x4
13.83	v -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32
13.83	v -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
13.83	v -x61 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x85 -x86 -x88 -x89
13.83	v -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 -x111 -x112 -x114
13.83	v -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x130 -x131 -x132 -x133 -x134 -x135 -x136
13.83	v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157
13.83	v -x158 -x159 -x160 -x161 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180
13.83	v -x181 -x182 -x183 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x202 -x203
13.83	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x226
13.83	v -x227 -x228 -x229 -x230 -x232 -x233 -x234 -x235 -x236 -x238 -x239 -x240 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
13.83	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
13.83	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
13.83	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
13.83	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
13.83	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x358 -x360 -x361 -x362
13.83	v -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
13.83	v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x395 -x396 -x397 -x398 -x399 -x401 -x403 -x404 -x405 -x406 -x407 -x408
13.83	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
13.83	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x450 -x451 -x452 -x453
13.83	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x467 -x468 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
13.83	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x501
13.83	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x521 -x523 -x524
13.83	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
13.83	v -x547 -x548 -x549 -x550 -x551 -x552 -x554 -x555 -x556 -x557 -x558 -x559 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
13.83	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x587 -x589 -x590 -x592 -x593 -x594
13.83	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x615 -x616
13.83	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
13.83	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x661
13.83	v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x682 -x683 -x684
13.83	v -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x699 -x700 -x701 -x702 -x704 -x705 -x706 -x707
13.83	v -x708 -x709 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x729 -x730
13.83	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
13.83	v -x753 -x754 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x772 -x773 -x774 -x775
13.83	v -x776 -x777 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
13.83	v -x798 -x799 -x800 -x802 -x803 -x804 -x805 -x806 -x807 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
13.83	v -x821 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x834 -x835 -x836 -x837 -x838 -x840 -x841 -x842 -x843 -x844
13.83	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x865 -x866 -x867
13.83	v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x887 -x888 -x889 -x890
13.83	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
13.83	v -x912 -x914 -x915 -x916 -x917 -x918 -x920 -x921 -x922 -x923 -x924 -x925 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936
13.83	v -x937 -x938 -x939 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958
13.83	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
13.83	v -x983 -x984 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
13.83	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024
13.83	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1038 -x1039 -x1041 -x1042 -x1043
13.83	v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1057 -x1058 -x1059 -x1060 -x1061
13.83	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1078 -x1081
13.83	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
13.83	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
13.83	v -x1116 -x1117 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134
13.83	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153
13.83	v -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172
13.83	v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1189 -x1190 -x1192
13.83	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210
13.83	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228
13.83	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248
13.83	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1263 -x1264 -x1265 -x1266
13.83	v -x1267 -x1268 -x1269 -x1270 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284
13.83	v -x1285 -x1286 -x1287 -x1288 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
13.83	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
13.83	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1326 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339
13.83	v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357
13.83	v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1375 -x1376
13.83	v -x1377 -x1378 -x1379 -x1380 -x1381 -x1383 -x1384 -x1385 -x1386 -x1388 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
13.83	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
13.83	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1432
13.83	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
13.83	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
13.83	v -x1468 -x1470 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1483 -x1484 -x1485 -x1486 -x1488 -x1489
13.83	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
13.83	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
13.83	v -x1524 -x1525 -x1526 -x1527 -x1529 -x1530 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
13.83	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
13.83	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
13.83	v -x1579 -x1580 -x1582 -x1583 -x1584 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
13.83	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1612 -x1613 -x1614 -x1615 -x1616
13.83	v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633
13.83	v -x1635 -x1636 -x1637 -x1639 -x1640 -x1641 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1653 -x1654
13.83	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
13.83	v -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691
13.83	v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
13.83	v -x1710 -x1711 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728
13.83	v -x1729 -x1730 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1744 -x1745 -x1746 -x1747
13.83	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1766
13.83	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783
13.83	v -x1784 -x1785 -x1786 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1801 -x1803 -x1804
13.83	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1821 -x1822
13.83	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1837 -x1838 -x1839 -x1840
13.83	v -x1841 -x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
13.83	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
13.83	v -x1878 -x1879 -x1880 -x1881 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
13.83	v -x1896 -x1897 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
13.83	v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932
13.83	v -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
13.83	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
13.83	v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
13.83	v -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003
13.83	v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
13.83	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
13.83	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057
13.83	v -x2058 -x2059 -x2060 -x2061 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
13.83	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
13.83	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
13.83	v -x2113 -x2114 -x2115 -x2116 -x2117 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
13.83	v -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
13.83	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2164 -x2165 -x2166 -x2167
13.83	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
13.83	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2198 -x2199 -x2200 -x2201 -x2202
13.83	v -x2203 -x2204 -x2205 -x2206 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
13.83	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2239
13.83	v -x2240 -x2241 -x2242 -x2244 -x2246 -x2247 -x2248 -x2249 -x2250 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260
13.83	v -x2261 -x2262 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2277 -x2278 -x2279 -x2280
13.83	v -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2296 -x2297 -x2298 -x2300 -x2301
13.83	v -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321
13.83	v -x2322 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341
13.83	v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2353 -x2354 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361
13.83	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2372 -x2373 -x2374 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382
13.83	v -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400 -x2401 -x2402
13.83	v -x2403 -x2405 -x2406 -x2407 -x2408 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2421 -x2422 -x2423
13.83	v -x2424 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2443
13.83	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2453 -x2454 -x2455 -x2456 -x2458 -x2459 -x2460 -x2461 -x2463 -x2464
13.83	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2472 -x2473 -x2474 -x2475 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483
13.83	v -x2485 -x2486 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2504 -x2505
13.83	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2523 -x2524 -x2525
13.83	v -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2542 -x2543 -x2544 -x2545
13.83	v -x2546 -x2547 -x2548 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
13.83	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2575 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585
13.83	v -x2587 -x2588 -x2590 -x2591 -x2592 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2606 -x2607
13.83	v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2617 -x2618 -x2619 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626
13.83	v -x2627 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2636 -x2637 -x2638 -x2640 -x2641 -x2642 -x2643 -x2645 -x2646 -x2647
13.83	v -x2648 -x2649 -x2650 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 -x2661 -x2663 -x2664 -x2665 -x2666 -x2668
13.83	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2683 -x2684 -x2685 -x2686 -x2688
13.83	v -x2689 -x2690 -x2691 -x2692 -x2694 -x2695 -x2696 -x2697 -x2698 -x2700 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
13.83	v -x2709 -x2710 -x2711 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728
13.83	v -x2729 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
13.83	v -x2750 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769
13.83	v -x2770 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2783 -x2784 -x2785 -x2787 -x2788 -x2789 -x2790
13.83	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2806 -x2807 -x2808 -x2810 -x2811
13.83	v -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2830 -x2831
13.83	v -x2832 -x2833 -x2835 -x2836 -x2837 -x2838 -x2839 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2852
13.83	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2872
13.83	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2881 -x2882 -x2883 -x2884 -x2885 -x2887 -x2888 -x2889 -x2890 -x2892
13.83	v -x2893 -x2894 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2903 -x2904 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
13.83	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2924 -x2925 -x2926 -x2927 -x2928 -x2930 -x2931 -x2932 -x2933
13.83	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2951 -x2952 -x2953
13.83	v -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2963 -x2964 -x2965 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2974
13.83	v -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2992 -x2993 -x2994
13.83	v -x2995 -x2996 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3007 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
13.83	v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3025 -x3027 -x3028 -x3029 -x3030 -x3032 -x3033 -x3034 -x3035
13.83	v -x3036 -x3037 -x3038 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055
13.83	v -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3067 -x3068 -x3069 -x3070 -x3072 -x3073 -x3074 -x3075
13.83	v -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3083 -x3085 -x3086 -x3087 -x3088 -x3089 -x3092 -x3093 -x3094 -x3095 -x3096
13.83	v -x3097 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116
13.83	v -x3117 -x3119 -x3120 -x3121 -x3122 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3133 -x3135 -x3136 -x3137
13.83	v -x3138 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3156 -x3157
13.83	v -x3158 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3177 -x3178
13.83	v -x3179 -x3180 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3193 -x3194 -x3196 -x3197 -x3198
13.83	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3205 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3214 -x3215 -x3216 -x3217 -x3218
13.83	v -x3219 -x3220 -x3221 -x3223 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
13.83	v -x3240 -x3241 -x3242 -x3243 -x3244 -x3246 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3257 -x3258 -x3259
13.83	v -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3271 -x3272 -x3273 -x3274 -x3275 -x3277 -x3278 -x3279
13.83	v -x3280 -x3282 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
13.83	v -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3321
13.83	v -x3322 -x3323 -x3324 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3337 -x3338 -x3340 -x3341
13.83	v -x3342 -x3343 -x3344 -x3346 -x3347 -x3348 -x3349 -x3350 -x3352 -x3353 -x3354 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
13.83	v -x3362 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
13.83	v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402
13.83	v -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3422 -x3423
13.83	v -x3424 -x3425 -x3426 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3442 -x3443
13.83	v -x3444 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3457 -x3458 -x3459 -x3461 -x3462 -x3463
13.83	v -x3464 -x3465 -x3466 -x3467 -x3469 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483
13.83	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3491 -x3492 -x3493 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3504
13.83	v -x3505 -x3506 -x3507 -x3508 -x3510 -x3512 -x3513 -x3514 -x3515 -x3516 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525
13.83	v -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3539 -x3540 -x3541 -x3542 -x3544 -x3545
13.83	v -x3546 -x3547 -x3548 -x3549 -x3551 -x3552 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3566
13.83	v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3583 -x3585 -x3586
13.83	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3604 -x3605 -x3606
13.83	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3613 -x3614 -x3615 -x3616 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626
13.83	v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3637 -x3638 -x3640 -x3641 -x3642 -x3643 -x3644 -x3646 -x3647
13.83	v -x3648 -x3649 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3668
13.83	v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3686 -x3687 -x3688
13.83	v -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 -x3703 -x3704 -x3706 -x3707 -x3708
13.83	v -x3709 -x3711 -x3712 -x3713 -x3714 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3724 -x3725 -x3726 -x3727 -x3728
13.83	v -x3729 -x3731 -x3732 -x3733 -x3734 -x3735 -x3737 -x3738 -x3739 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749
13.83	v -x3750 -x3751 -x3752 -x3754 -x3755 -x3756 -x3757 -x3758 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769
13.83	v -x3770 -x3771 -x3772 -x3774 -x3775 -x3776 -x3777 -x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789
13.83	v -x3790 -x3791 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3803 -x3804 -x3806 -x3807 -x3808 -x3809 -x3810
13.83	v -x3811 -x3812 -x3813 -x3814 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 -x3824 -x3825 -x3827 -x3828 -x3829 -x3830
13.83	v -x3831 -x3832 -x3833 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3845 -x3846 -x3847 -x3849 -x3850 -x3851
13.83	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871
13.83	v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3882 -x3883 -x3884 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891
13.83	v -x3892 -x3893 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911
13.83	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3919 -x3920 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3930 -x3931 -x3932
13.83	v -x3933 -x3935 -x3936 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3953
13.83	v -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973
13.83	v -x3974 -x3975 -x3977 -x3978 -x3979 -x3980 -x3981 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993
13.83	v -x3994 -x3996 -x3997 -x3998 -x3999 -x4001 -x4002 -x4003 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4012 -x4013 -x4014
13.83	v -x4015 -x4016 -x4017 -x4019 -x4020 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
13.83	v -x4035 -x4036 -x4037 -x4039 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4050 -x4052 -x4053 -x4054 -x4055
13.83	v -x4056 -x4057 -x4058 -x4059 -x4060 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4073 -x4074 -x4075
13.83	v -x4076 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095
13.83	v -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4104 -x4105 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115
13.83	v -x4117 -x4118 -x4119 -x4120 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 -x4132 -x4134 -x4135 -x4136
13.83	v -x4137 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4146 -x4147 -x4148 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4157
13.83	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4164 -x4165 -x4166 -x4167 -x4168 -x4170 -x4171 -x4172 -x4174 -x4175 -x4176 -x4177
13.83	v -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4193 -x4194 -x4195 -x4196 -x4198
13.83	v -x4199 -x4200 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217
13.83	v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4231 -x4232 -x4234 -x4235 -x4236 -x4237 -x4238
13.83	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4254 -x4255 -x4256 -x4257 -x4258
13.83	v -x4259 -x4261 -x4262 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 -x4278 -x4279
13.83	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299
13.83	v -x4300 -x4302 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320
13.83	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 -x4338 -x4339 -x4340
13.83	v -x4341 -x4342 -x4343 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4359 -x4360 -x4361
13.83	v -x4362 -x4363 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4381
13.83	v -x4382 -x4383 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4401
13.83	v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4410 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422
13.83	v -x4423 -x4424 -x4425 -x4426 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4442 -x4443
13.83	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4463
13.83	v -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4484
13.83	v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4502 -x4503 -x4504
13.83	v -x4505 -x4506 -x4507 -x4508 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4520 -x4521 -x4522 -x4523 -x4524
13.83	v -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4543 -x4544
13.83	v -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4553 -x4554 -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4565
13.83	v -x4566 -x4567 -x4568 -x4569 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585
13.83	v -x4586 -x4587 -x4589 -x4590 -x4591 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4601 -x4602 -x4603 -x4604 -x4605
13.83	v -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4616 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4626
13.83	v -x4627 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4641 -x4643 -x4644 -x4645 -x4647
13.83	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4661 -x4662

OK	0

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node31/watcher-45187-1149643015 -o ROOT/results/node31/solver-45187-1149643015 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45187-1149643015/instance-45187-1149643015.opb 376259555 ROOT/tmp/node31/45187-1149643015 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 1191
/proc/meminfo: memFree=1691904/2055920 swapFree=4181504/4192956
[pid=1191] ppid=1189 vsize=1964 CPUtime=0
/proc/1191/stat : 1191 (runpbsmodels) R 1189 1191 1145 0 -1 4194304 50 0 0 0 0 0 0 0 19 0 1 0 229965212 2011136 34 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225609577865 0 0 4096 0 0 0 0 17 1 0 0
/proc/1191/statm: 751 37 28 169 0 9 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 1196
/proc/meminfo: memFree=1683744/2055920 swapFree=4181504/4192956
[pid=1191] ppid=1189 vsize=5360 CPUtime=0
/proc/1191/stat : 1191 (runpbsmodels) S 1189 1191 1145 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229965212 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1191/statm: 1340 234 195 169 0 51 0
[pid=1192] ppid=1191 vsize=12268 CPUtime=0
/proc/1192/stat : 1192 (pbsmodels-v1.31) S 1191 1191 1145 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229965213 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1192/statm: 3067 383 293 3 0 167 0
[pid=1193] ppid=1192 vsize=5356 CPUtime=2.15
/proc/1193/stat : 1193 (sh) S 1192 1191 1145 0 -1 4194304 309 520 0 0 0 0 215 0 16 0 1 0 229965213 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1193/statm: 1339 227 188 169 0 50 0
[pid=1195] ppid=1193 vsize=9040 CPUtime=8.82
/proc/1195/stat : 1195 (smodels-2.31) R 1193 1191 1145 0 -1 4194304 1941 0 0 0 881 1 0 0 25 0 1 0 229965214 9256960 1905 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518508 0 0 4096 0 0 0 0 17 1 0 0
/proc/1195/statm: 2260 1905 211 21 0 1696 0
[pid=1196] ppid=1193 vsize=12268 CPUtime=0
/proc/1196/stat : 1196 (pbout.new.pl) S 1193 1191 1145 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229965214 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1196/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (Kb) 44292

Child status: 0
Real time (s): 13.8388
CPU time (s): 14.8387
CPU user time (s): 14.8057
CPU system time (s): 0.032994
CPU usage (%): 107.226
Max. virtual memory (cumulated for all children) (Kb): 44292
The end

Begin job on node31 on Wed Jun  7 01:16:55 UTC 2006


FILE ID= 45187-1149643015

PBS_JOBID= 323686

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45187-1149643015/instance-45187-1149643015.opb 376259555  ROOT/tmp/node31/45187-1149643015
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-45187-1149643015 -o ROOT/results/node31/solver-45187-1149643015 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45187-1149643015/instance-45187-1149643015.opb 376259555  ROOT/tmp/node31/45187-1149643015

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  6441cbb759000c1a64397279f4b3f0ed

RANDOM SEED= 376259555


/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.234
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.234
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:       1692112 kB
Buffers:         30528 kB
Cached:         264504 kB
SwapCached:       3352 kB
Active:          84388 kB
Inactive:       219620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692112 kB
SwapTotal:     4192956 kB
SwapFree:      4181504 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14976 kB
Slab:            45756 kB
Committed_AS:   452916 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Wed Jun  7 01:17:09 UTC 2006