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