Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -24 | 1800.19 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb |
MD5SUM | 85583812489e95a26f37a10baffcd23f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 3130 |
Sum of products size | 6260 |
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.00/0.05 c ...done 0.00/0.05 c #vars=3330 #constraints=6661 hasObjective=yes 0.39/0.47 c res. mode=mod 0.39/0.47 c VSIDS like heuristics 0.39/0.47 c complete search running 0.39/0.48 c nbDecision=18 #constraints=6661 0.39/0.48 c linear search for optimum 0.39/0.48 o -18 0.49/0.51 c nbDecision=26 #constraints=6665 0.49/0.51 o -19 0.69/0.73 c nbDecision=77 #constraints=6700 0.69/0.74 o -21 1.49/1.58 c nbDecision=233 #constraints=6830 1.49/1.58 o -22 2.59/2.68 c restart after 401 decisions 3.09/3.11 c nbDecision=500 #constraints=7080 4.39/4.46 c restart after 801 decisions 5.40/5.46 c nbDecision=1000 #constraints=7519 8.19/8.23 c nbDecision=1500 #constraints=7948 8.79/8.83 c restart after 1601 decisions 12.29/12.40 c nbDecision=2000 #constraints=8398 17.79/17.83 c nbDecision=2500 #constraints=8886 23.79/23.88 c nbDecision=3000 #constraints=9366 26.59/26.64 c restart after 3201 decisions 30.98/31.03 c nbDecision=3500 #constraints=9785 39.48/39.52 c nbDecision=4000 #constraints=10234 51.08/51.15 c nbDecision=4500 #constraints=10705 63.57/63.61 c nbDecision=5000 #constraints=11185 77.27/77.38 c nbDecision=5500 #constraints=11667 92.57/92.64 c nbDecision=6000 #constraints=12152 104.97/105.05 c restart after 6401 decisions 108.36/108.42 c nbDecision=6500 #constraints=12609 124.66/124.70 c nbDecision=7000 #constraints=13086 141.15/141.23 c nbDecision=7500 #constraints=13550 159.75/159.89 c nbDecision=8000 #constraints=14010 178.74/178.86 c nbDecision=8500 #constraints=14468 201.64/201.75 c nbDecision=9000 #constraints=14956 224.84/224.91 c nbDecision=9500 #constraints=15438 249.54/249.64 c nbDecision=10000 #constraints=15915 274.62/274.73 c nbDecision=10500 #constraints=16396 300.82/300.99 c nbDecision=11000 #constraints=16892 327.91/328.00 c nbDecision=11500 #constraints=17369 354.11/354.24 c nbDecision=12000 #constraints=17818 383.90/384.08 c nbDecision=12500 #constraints=18284 400.79/400.91 c restart after 12801 decisions 412.40/412.57 c nbDecision=13000 #constraints=18673 438.29/438.47 c nbDecision=13500 #constraints=19032 463.88/464.00 c nbDecision=14000 #constraints=19357 495.06/495.22 c nbDecision=14500 #constraints=19713 528.87/529.08 c nbDecision=15000 #constraints=20090 559.16/559.39 c nbDecision=15445 #constraints=20418 559.16/559.39 o -23 562.85/563.00 c nbDecision=15500 #constraints=20468 600.05/600.24 c nbDecision=16000 #constraints=20885 611.94/612.11 c nbDecision=16168 #constraints=21010 611.94/612.11 o -24 637.24/637.40 c nbDecision=16500 #constraints=21280 684.32/684.59 c nbDecision=17000 #constraints=21736 731.31/731.57 c nbDecision=17500 #constraints=22212 783.00/783.25 c nbDecision=18000 #constraints=22696 832.19/832.44 c nbDecision=18500 #constraints=23165 879.88/880.20 c nbDecision=19000 #constraints=23595 935.27/935.56 c nbDecision=19500 #constraints=24088 986.76/987.04 c nbDecision=20000 #constraints=24523 1032.64/1032.95 c nbDecision=20500 #constraints=24912 1084.33/1084.62 c nbDecision=21000 #constraints=25340 1126.22/1126.57 c nbDecision=21500 #constraints=25682 1170.50/1170.82 c nbDecision=22000 #constraints=26064 1204.60/1204.91 c nbDecision=22500 #constraints=26385 1245.99/1246.39 c nbDecision=23000 #constraints=26736 1296.48/1296.83 c nbDecision=23500 #constraints=27138 1343.17/1343.52 c nbDecision=24000 #constraints=27508 1388.06/1388.41 c nbDecision=24500 #constraints=27857 1440.44/1440.84 c nbDecision=25000 #constraints=28254 1479.04/1479.41 c nbDecision=25500 #constraints=28560 1485.23/1485.60 c restart after 25601 decisions 1539.22/1539.67 c nbDecision=26000 #constraints=28991 1601.31/1601.74 c nbDecision=26500 #constraints=29478 1663.89/1664.34 c nbDecision=27000 #constraints=29973 1724.18/1724.68 c nbDecision=27500 #constraints=30438 1791.36/1791.87 c nbDecision=28000 #constraints=30935 1800.06/1800.50 Received signal 15 1800.06/1800.57 1800.06/1800.57 s SATISFIABLE 1800.06/1800.57 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 -x29 1800.06/1800.57 v -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 -x55 1800.06/1800.57 v -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 -x81 1800.06/1800.57 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 1800.06/1800.57 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.06/1800.57 v x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.06/1800.57 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.06/1800.57 v -x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 1800.06/1800.57 v -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.06/1800.57 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.06/1800.57 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.06/1800.57 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.06/1800.57 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.06/1800.57 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.06/1800.57 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.06/1800.57 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.06/1800.57 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.06/1800.57 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.06/1800.57 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.06/1800.57 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.06/1800.57 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.06/1800.57 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.06/1800.57 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.06/1800.57 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.06/1800.57 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.06/1800.57 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.06/1800.57 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.06/1800.57 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.06/1800.57 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.06/1800.57 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.06/1800.57 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.06/1800.57 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.06/1800.57 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.06/1800.57 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.06/1800.57 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.06/1800.57 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.06/1800.57 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.06/1800.57 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.06/1800.57 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.06/1800.57 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.06/1800.57 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.06/1800.57 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.06/1800.57 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.06/1800.57 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.06/1800.57 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.06/1800.57 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.06/1800.57 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.06/1800.57 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.06/1800.57 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.06/1800.57 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.06/1800.57 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.06/1800.57 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.06/1800.57 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.06/1800.57 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.06/1800.57 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.06/1800.57 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.06/1800.57 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.06/1800.57 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.06/1800.57 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.06/1800.57 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.06/1800.57 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.06/1800.57 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.06/1800.57 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.06/1800.57 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.06/1800.57 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.06/1800.57 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.06/1800.57 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.06/1800.57 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.06/1800.57 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.06/1800.57 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.06/1800.57 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.06/1800.57 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.06/1800.57 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.06/1800.57 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.06/1800.57 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.06/1800.57 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.06/1800.57 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.06/1800.57 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.06/1800.57 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.06/1800.57 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.06/1800.57 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.06/1800.57 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.06/1800.57 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.06/1800.57 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.06/1800.57 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.06/1800.57 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.06/1800.57 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.06/1800.57 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.06/1800.57 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.06/1800.57 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.06/1800.57 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.06/1800.57 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.06/1800.57 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.06/1800.57 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.06/1800.57 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.06/1800.57 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.06/1800.57 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.06/1800.57 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.06/1800.57 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.06/1800.57 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.06/1800.57 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.06/1800.57 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.06/1800.57 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.06/1800.57 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.06/1800.57 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.06/1800.57 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.06/1800.57 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.06/1800.57 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.06/1800.57 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.06/1800.57 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.06/1800.57 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.06/1800.57 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.06/1800.57 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.06/1800.57 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.06/1800.57 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.06/1800.57 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.06/1800.57 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.06/1800.57 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.06/1800.57 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.06/1800.57 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.06/1800.57 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.06/1800.57 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.06/1800.57 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.06/1800.57 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.06/1800.57 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.06/1800.57 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.06/1800.57 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.06/1800.57 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.06/1800.57 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.06/1800.57 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.06/1800.57 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.06/1800.57 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.06/1800.57 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.06/1800.57 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.06/1800.57 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.06/1800.57 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.06/1800.57 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.06/1800.57 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.06/1800.57 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.06/1800.57 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.06/1800.57 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.06/1800.57 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.06/1800.57 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.06/1800.57 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.06/1800.57 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.06/1800.57 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.06/1800.57 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.06/1800.57 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.06/1800.57 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.06/1800.57 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.06/1800.57 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.06/1800.57 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.06/1800.57 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.06/1800.57 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.06/1800.57 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1800.06/1800.57 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1800.06/1800.57 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.06/1800.57 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 1800.06/1800.57 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.06/1800.57 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.06/1800.57 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1800.06/1800.57 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.06/1800.57 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.06/1800.57 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.06/1800.57 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1800.06/1800.57 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1800.06/1800.57 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.06/1800.57 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1800.06/1800.57 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.06/1800.57 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.06/1800.57 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1800.06/1800.57 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.06/1800.57 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.06/1800.57 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.06/1800.57 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.06/1800.57 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.06/1800.57 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.06/1800.57 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1800.06/1800.57 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1800.06/1800.57 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1800.06/1800.57 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.06/1800.57 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.06/1800.57 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1800.06/1800.57 v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1800.06/1800.57 1800.06/1800.57 c user time= 1799.73 s 1800.06/1800.57 c system time= 0.408937 s 1800.06/1800.57 c wall clock time=1800.57
OK -24
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb mv /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb.tmp /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-454325-1178024525 -o ROOT/results/node50/solver-454325-1178024525 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454325-1178024525/instance-454325-1178024525.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.97 1.01 1.00 3/64 25371 /proc/meminfo: memFree=1805024/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=1468 CPUtime=0 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 157297687 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 367 169 131 317 0 46 0 [startup+0.0846931 s] /proc/loadavg: 0.97 1.01 1.00 3/64 25371 /proc/meminfo: memFree=1805024/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=4028 CPUtime=0.07 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 839 0 0 0 7 0 0 0 18 0 1 0 157297687 4124672 822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 1007 822 137 317 0 686 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4028 [startup+0.101695 s] /proc/loadavg: 0.97 1.01 1.00 3/64 25371 /proc/meminfo: memFree=1805024/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=4028 CPUtime=0.09 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 839 0 0 0 9 0 0 0 18 0 1 0 157297687 4124672 822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 1007 822 137 317 0 686 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4028 [startup+0.301712 s] /proc/loadavg: 0.97 1.01 1.00 3/64 25371 /proc/meminfo: memFree=1805024/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=4028 CPUtime=0.29 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 839 0 0 0 29 0 0 0 19 0 1 0 157297687 4124672 822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 1007 822 137 317 0 686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4028 [startup+0.701747 s] /proc/loadavg: 0.97 1.01 1.00 3/64 25371 /proc/meminfo: memFree=1805024/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=4872 CPUtime=0.69 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 1073 0 0 0 69 0 0 0 22 0 1 0 157297687 4988928 1010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 1218 1010 170 317 0 897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50182 s] /proc/loadavg: 0.97 1.01 1.00 2/65 25372 /proc/meminfo: memFree=1801176/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=6032 CPUtime=1.49 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 1364 0 0 0 149 0 0 0 25 0 1 0 157297687 6176768 1301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 1508 1301 170 317 0 1187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6032 [startup+3.10296 s] /proc/loadavg: 0.97 1.01 1.00 2/65 25372 /proc/meminfo: memFree=1799320/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=8500 CPUtime=3.09 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 1963 0 0 0 308 1 0 0 25 0 1 0 157297687 8704000 1900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 2125 1900 170 317 0 1804 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8500 [startup+6.30124 s] /proc/loadavg: 0.98 1.01 1.00 2/65 25372 /proc/meminfo: memFree=1793768/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=14912 CPUtime=6.29 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 3496 0 0 0 627 2 0 0 25 0 1 0 157297687 15269888 3433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 3728 3433 170 317 0 3407 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14912 [startup+12.7018 s] /proc/loadavg: 0.98 1.01 1.00 2/65 25372 /proc/meminfo: memFree=1785792/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=21200 CPUtime=12.69 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 5140 0 0 0 1266 3 0 0 25 0 1 0 157297687 21708800 5077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 5300 5077 170 317 0 4979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21200 [startup+25.5019 s] /proc/loadavg: 0.98 1.01 1.00 2/65 25372 /proc/meminfo: memFree=1775184/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=32040 CPUtime=25.49 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 7732 0 0 0 2544 5 0 0 25 0 1 0 157297687 32808960 7669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 8010 7669 170 317 0 7689 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32040 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1764816/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=41960 CPUtime=51.08 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 10317 0 0 0 5101 7 0 0 25 0 1 0 157297687 42967040 10254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 10490 10254 170 317 0 10169 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41960 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1747344/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=61040 CPUtime=102.27 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 14632 0 0 0 10217 10 0 0 25 0 1 0 157297687 62504960 14569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 15260 14569 170 317 0 14939 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 61040 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1733200/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=74496 CPUtime=162.25 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 18283 0 0 0 16212 13 0 0 25 0 1 0 157297687 76283904 18130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 18624 18130 170 317 0 18303 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74496 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1718160/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=94372 CPUtime=222.24 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 21997 0 0 0 22209 15 0 0 25 0 1 0 157297687 96636928 21844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 23593 21844 170 317 0 23272 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 94372 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1708112/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=104132 CPUtime=282.22 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 24494 0 0 0 28206 16 0 0 25 0 1 0 157297687 106631168 24341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 26033 24341 170 317 0 25712 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 104132 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1698512/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=113308 CPUtime=342.21 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 26866 0 0 0 34203 18 0 0 25 0 1 0 157297687 116027392 26713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 28327 26713 170 317 0 28006 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 113308 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1690384/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=120788 CPUtime=402.19 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 28925 0 0 0 40200 19 0 0 25 0 1 0 157297687 123686912 28772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 30197 28772 170 317 0 29876 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 120788 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25372 /proc/meminfo: memFree=1683664/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=127312 CPUtime=462.18 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 30617 0 0 0 46197 21 0 0 25 0 1 0 157297687 130367488 30464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 31828 30464 170 317 0 31507 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 127312 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1677584/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=132936 CPUtime=522.17 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 32146 0 0 0 52195 22 0 0 25 0 1 0 157297687 136126464 31993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 33234 31993 170 317 0 32913 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 132936 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1671696/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=138496 CPUtime=582.15 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 33603 0 0 0 58192 23 0 0 25 0 1 0 157297687 141819904 33450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 34624 33450 170 317 0 34303 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 138496 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1666000/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=143816 CPUtime=642.14 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 35013 0 0 0 64190 24 0 0 25 0 1 0 157297687 147267584 34860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 35954 34860 170 317 0 35633 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 143816 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1643536/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=176452 CPUtime=882.08 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 42753 0 0 0 88180 28 0 0 25 0 1 0 157297687 180686848 40455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 44113 40455 170 317 0 43792 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 176452 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1638736/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=181660 CPUtime=942.06 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 44173 0 0 0 94178 28 0 0 25 0 1 0 157297687 186019840 41644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 45415 41644 170 317 0 45094 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 181660 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1634192/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=186344 CPUtime=1002.05 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 45515 0 0 0 100176 29 0 0 25 0 1 0 157297687 190816256 42788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562660 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 46586 42788 170 317 0 46265 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 186344 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1629648/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=191140 CPUtime=1062.03 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 46821 0 0 0 106173 30 0 0 25 0 1 0 157297687 195727360 43929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 47785 43929 170 317 0 47464 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 191140 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1625168/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=195924 CPUtime=1122.02 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 48090 0 0 0 112171 31 0 0 25 0 1 0 157297687 200626176 45033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 48981 45033 170 317 0 48660 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 195924 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1620432/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=201056 CPUtime=1182 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 49547 0 0 0 118168 32 0 0 25 0 1 0 157297687 205881344 46213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 50264 46213 170 317 0 49943 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 201056 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1615568/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=205768 CPUtime=1241.99 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 50840 0 0 0 124165 34 0 0 25 0 1 0 157297687 210706432 47407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 51442 47407 170 317 0 51121 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 205768 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1611280/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=209968 CPUtime=1301.98 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 51975 0 0 0 130163 35 0 0 25 0 1 0 157297687 215007232 48476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 52492 48476 170 317 0 52171 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 209968 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1606928/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=214244 CPUtime=1361.97 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 53208 0 0 0 136161 36 0 0 25 0 1 0 157297687 219385856 49577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 53561 49577 170 317 0 53240 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 214244 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1603152/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=218140 CPUtime=1421.95 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 54243 0 0 0 142159 36 0 0 25 0 1 0 157297687 223375360 50513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 54535 50513 170 317 0 54214 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 218140 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1598928/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=222048 CPUtime=1481.93 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 55362 0 0 0 148156 37 0 0 25 0 1 0 157297687 227377152 51566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 55512 51566 170 317 0 55191 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 222048 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1594960/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=225952 CPUtime=1541.92 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 56443 0 0 0 154154 38 0 0 25 0 1 0 157297687 231374848 52548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 56488 52548 170 317 0 56167 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 225952 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1590608/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=230128 CPUtime=1601.91 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 57621 0 0 0 160152 39 0 0 25 0 1 0 157297687 235651072 53627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 57532 53627 170 317 0 57211 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 230128 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1586384/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=234036 CPUtime=1661.89 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 58752 0 0 0 166150 39 0 0 25 0 1 0 157297687 239652864 54692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 58509 54692 170 317 0 58188 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 234036 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1582160/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=237692 CPUtime=1721.88 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 59808 0 0 0 172148 40 0 0 25 0 1 0 157297687 243396608 55748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 59423 55748 170 317 0 59102 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 237692 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1578000/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=241724 CPUtime=1781.86 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 60959 0 0 0 178146 40 0 0 25 0 1 0 157297687 247525376 56767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 60431 56767 170 317 0 60110 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 241724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 1.00 2/65 25374 /proc/meminfo: memFree=1576976/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=242636 CPUtime=1800.06 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194304 61220 0 0 0 179966 40 0 0 25 0 1 0 157297687 248459264 57028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 60659 57028 170 317 0 60338 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 242636 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 1.00 1.00 2/66 25375 /proc/meminfo: memFree=1718280/2055920 swapFree=4183752/4192956 [pid=25371] ppid=25369 vsize=0 CPUtime=1800.17 /proc/25371/stat : 25371 (oree) R 25369 25371 24415 0 -1 4194308 61236 0 0 0 179974 43 0 0 25 0 1 0 157297687 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25371/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.19 CPU user time (s): 1799.74 CPU system time (s): 0.443932 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 242636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.443932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61236 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= 8 involuntary context switches= 4848 runsolver used 1.40379 second user time and 3.52646 second system time The end
Begin job on node50 on Tue May 1 13:02:05 UTC 2007 IDJOB= 454325 IDBENCH= 48189 IDSOLVER= 172 FILE ID= node50/454325-1178024525 PBS_JOBID= 4728349 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.opb COMMAND LINE= oree /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-454325-1178024525 -o ROOT/results/node50/conversion-454325-1178024525 -C 600 -M 1800 /tmp/evaluation/454325-1178024525/substituteSizeProductKeyword /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-454325-1178024525 -o ROOT/results/node50/solver-454325-1178024525 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454325-1178024525/instance-454325-1178024525.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED= 613974334 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1805240 kB Buffers: 76388 kB Cached: 100576 kB SwapCached: 3168 kB Active: 120420 kB Inactive: 71696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805240 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 1564 kB Writeback: 0 kB Mapped: 18784 kB Slab: 44352 kB Committed_AS: 4799548 kB PageTables: 1476 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= 66563 MiB End job on node50 on Tue May 1 13:32:08 UTC 2007