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