Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 8 | 1800.06 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-israel.opb |
MD5SUM | 916719a95a95b5989e5d4b5f3d786df3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 4260 |
Total number of constraints | 174 |
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 | 174 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 2670 |
Biggest coefficient in the objective function | 42742 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527037 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb 0.00/0.00 c File size is 614991 bytes. 0.09/0.11 c Highest Coefficient sum: 527037 0.09/0.11 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.108 s 0.09/0.13 c Var: 4260 Constr: 174 0/0/174 Lit: 66150 Watch. Lit: 31317 0.09/0.13 c Obj. Vars: 2670 (62.6761 % of total variables) 1.28/1.39 c Pre-processing Time: 1.376 s 1.28/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.39 c 0 3105 174 66150 380 58842 132300 0 0 1.38 1.28/1.39 c Switching off LPR mode. 204.82/204.99 c 100 3105 274 67768 247 63522 145531 100 55 1.80 204.82/204.99 c 250 3105 424 71012 167 63417 160085 250 108 2.30 204.82/204.99 c 475 3105 649 76433 117 63754 176094 475 156 3.04 204.82/204.99 c 814 3105 988 84866 85 64710 193704 814 196 4.14 204.82/204.99 c 1322 3105 1496 100811 67 65720 213075 1322 221 5.96 204.82/204.99 c 2086 3105 2260 127796 56 66953 234383 2086 237 8.77 204.82/204.99 c 3232 3105 3406 166815 48 69475 257822 3232 249 12.94 204.82/204.99 c 4953 3105 5127 236846 46 72510 283605 4953 260 19.04 204.82/204.99 c 7537 3105 7711 326403 42 77660 311966 7537 270 27.89 204.82/204.99 c 11416 3105 11590 462218 39 85696 343163 11416 283 40.23 204.82/204.99 c 17238 3105 17412 648511 37 97570 377480 17238 277 62.02 204.82/204.99 c 25975 3105 26149 943270 36 115162 415229 25975 273 94.82 204.82/204.99 c 39085 3105 39259 1428530 36 141358 456752 39085 315 123.78 204.82/204.99 c 58755 3105 58929 2170143 36 180560 502428 58755 326 180.06 204.82/204.99 o 8 204.916 1799.92/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.48 c 65986 3105 66161 2417869 36 197251 136422 65987 322 204.92 1799.92/1800.48 c 66086 3105 66261 2434513 36 197344 150065 66087 314 210.10 1799.92/1800.48 c 66336 3105 66511 2472572 37 197872 165072 66337 313 211.51 1799.92/1800.48 c 66812 3105 66987 2549389 38 198808 181580 66813 312 213.52 1799.92/1800.48 c 67625 3105 67800 2618963 38 200408 199739 67626 296 228.02 1799.92/1800.48 c 68945 3105 69120 2706524 39 202986 219713 68946 249 276.60 1799.92/1800.48 c 71026 3105 71201 2840205 39 207149 241685 71027 207 341.70 1799.92/1800.48 c 74249 3105 74424 3345078 44 213610 265854 74250 171 432.84 1799.92/1800.48 c 79185 3105 79360 3492317 44 223529 292440 79186 173 455.56 1799.92/1800.48 c 86691 3105 86866 3682787 42 238680 321685 86692 169 512.27 1799.92/1800.48 c 98052 3105 98227 5744133 58 261356 353854 98053 129 756.04 1799.92/1800.48 c 115196 3105 115371 8342885 72 295674 389240 115197 117 978.34 1799.92/1800.49 c 141015 3105 141190 10115580 71 347281 428165 141016 118 1191.17 1799.92/1800.49 c Resources Exceeded 1799.92/1800.49 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 1799.92/1800.49 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 1799.92/1800.49 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 1799.92/1800.49 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 1799.92/1800.49 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1799.92/1800.49 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1799.92/1800.49 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1799.92/1800.49 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1799.92/1800.49 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1799.92/1800.49 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1799.92/1800.49 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1799.92/1800.49 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1799.92/1800.49 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1799.92/1800.49 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1799.92/1800.49 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1799.92/1800.49 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1799.92/1800.49 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1799.92/1800.49 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.92/1800.49 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1799.92/1800.49 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.92/1800.49 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.92/1800.49 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.92/1800.49 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.92/1800.49 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.92/1800.49 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.92/1800.49 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.92/1800.49 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.92/1800.49 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.92/1800.49 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.92/1800.49 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1799.92/1800.49 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.92/1800.49 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.92/1800.49 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1799.92/1800.49 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1799.92/1800.49 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1799.92/1800.49 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1799.92/1800.49 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1799.92/1800.49 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1799.92/1800.49 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1799.92/1800.49 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1799.92/1800.49 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1799.92/1800.49 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1799.92/1800.49 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1799.92/1800.49 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1799.92/1800.49 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1799.92/1800.49 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.92/1800.49 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1799.92/1800.49 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1799.92/1800.49 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1799.92/1800.49 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1799.92/1800.49 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1799.92/1800.49 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1799.92/1800.49 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1799.92/1800.49 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1799.92/1800.49 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1799.92/1800.49 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1799.92/1800.49 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1799.92/1800.49 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1799.92/1800.49 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1799.92/1800.49 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1799.92/1800.49 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1799.92/1800.49 v x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1799.92/1800.49 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1799.92/1800.49 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1799.92/1800.49 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1799.92/1800.49 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1799.92/1800.49 v -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1799.92/1800.49 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 1799.92/1800.49 v -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1799.92/1800.49 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1799.92/1800.49 v -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 x1412 x1413 -x1414 x1415 -x1416 x1417 x1418 x1419 x1420 1799.92/1800.49 v x1421 x1422 x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1799.92/1800.49 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1799.92/1800.49 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1799.92/1800.49 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1799.92/1800.49 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 1799.92/1800.49 v x1508 x1509 x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1799.92/1800.49 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1799.92/1800.49 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1799.92/1800.49 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1799.92/1800.49 v x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 1799.92/1800.49 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1799.92/1800.49 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1799.92/1800.49 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 1799.92/1800.49 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 1799.92/1800.49 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1799.92/1800.49 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1799.92/1800.49 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1799.92/1800.49 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1799.92/1800.49 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1799.92/1800.49 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1799.92/1800.49 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1799.92/1800.49 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1799.92/1800.49 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1799.92/1800.49 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1799.92/1800.49 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1799.92/1800.49 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1799.92/1800.49 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1799.92/1800.49 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1799.92/1800.49 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1799.92/1800.49 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1799.92/1800.49 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1799.92/1800.49 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1799.92/1800.49 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1799.92/1800.49 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1799.92/1800.49 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1799.92/1800.49 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1799.92/1800.49 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1799.92/1800.49 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1799.92/1800.49 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1799.92/1800.49 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1799.92/1800.49 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1799.92/1800.49 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1799.92/1800.49 v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 1799.92/1800.49 v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 1799.92/1800.49 v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1799.92/1800.49 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1799.92/1800.49 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1799.92/1800.49 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1799.92/1800.49 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1799.92/1800.49 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1799.92/1800.49 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1799.92/1800.49 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1799.92/1800.49 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1799.92/1800.49 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1799.92/1800.49 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1799.92/1800.49 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1799.92/1800.49 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1799.92/1800.49 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1799.92/1800.49 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1799.92/1800.49 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1799.92/1800.49 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1799.92/1800.49 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1799.92/1800.49 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1799.92/1800.49 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1799.92/1800.49 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1799.92/1800.49 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1799.92/1800.49 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1799.92/1800.49 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1799.92/1800.49 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 1799.92/1800.49 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1799.92/1800.49 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1799.92/1800.49 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1799.92/1800.49 v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1799.92/1800.49 v -x4107 -x4108 -x4109 -x4110 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 1799.92/1800.49 v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1799.92/1800.49 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1799.92/1800.49 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 1799.92/1800.49 v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 1799.92/1800.49 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 1799.92/1800.49 v -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1799.92/1800.49 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 1799.92/1800.49 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 1799.92/1800.49 v -x3570 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1799.92/1800.49 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1799.92/1800.49 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1799.92/1800.49 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1799.92/1800.49 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 1799.92/1800.49 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 1799.92/1800.49 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1799.92/1800.49 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1799.92/1800.49 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 1799.92/1800.49 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1799.92/1800.49 v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1799.92/1800.49 v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 1799.92/1800.49 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1799.92/1800.49 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1799.92/1800.49 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1799.92/1800.49 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1799.92/1800.49 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1799.92/1800.49 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 1799.92/1800.49 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1799.92/1800.49 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1799.92/1800.49 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1799.92/1800.49 v -x3237 -x3238 -x3239 -x3240 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1799.92/1800.49 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1799.92/1800.49 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1799.92/1800.49 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3601 -x3602 -x3603 -x3604 1799.92/1800.49 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1799.92/1800.49 v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1799.92/1800.49 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1799.92/1800.49 v -x2576 -x2577 -x2578 -x2579 -x2580 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 1799.92/1800.49 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1799.92/1800.49 v -x3300 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 1799.92/1800.49 v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x2581 -x2582 -x2583 1799.92/1800.49 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1799.92/1800.49 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1799.92/1800.49 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1799.92/1800.49 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 1799.92/1800.49 v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 1799.92/1800.49 v -x3689 -x3690 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1799.92/1800.49 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x3331 -x3332 1799.92/1800.49 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1799.92/1800.49 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1799.92/1800.49 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1799.92/1800.49 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1799.92/1800.49 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1799.92/1800.49 v -x2668 -x2669 -x2670 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1799.92/1800.49 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3721 1799.92/1800.49 v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1799.92/1800.49 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x2671 -x2672 -x2673 -x2674 -x2675 1799.92/1800.49 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1799.92/1800.49 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 1799.92/1800.49 v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 1799.92/1800.49 v -x3417 -x3418 -x3419 -x3420 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 1799.92/1800.49 v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 1799.92/1800.49 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1799.92/1800.49 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3781 -x3782 -x3783 -x3784 1799.92/1800.49 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1799.92/1800.49 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1799.92/1800.49 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1799.92/1800.49 v -x2756 -x2757 -x2758 -x2759 -x2760 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 1799.92/1800.49 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 1799.92/1800.49 v -x3840 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1799.92/1800.49 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x3841 -x3842 -x3843 1799.92/1800.49 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1799.92/1800.49 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1799.92/1800.49 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1799.92/1800.49 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1799.92/1800.49 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1799.92/1800.49 v -x3899 -x3900 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1799.92/1800.49 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x3901 -x3902 1799.92/1800.49 v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1799.92/1800.49 v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1799.92/1800.49 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1799.92/1800.49 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1799.92/1800.49 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1799.92/1800.49 v -x3598 -x3599 -x3600 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 1799.92/1800.49 v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x4111 1799.92/1800.49 v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1799.92/1800.49 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1799.92/1800.49 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1799.92/1800.49 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1799.92/1800.49 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1799.92/1800.49 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 1799.92/1800.49 v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1799.92/1800.49 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1799.92/1800.49 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1799.92/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.49 c 27 173476 25878 689631 173651 15966607 173477 96 1800.02 1799.92/1800.49 c Objective: 8 1799.92/1800.49 s SATISFIABLE 1799.92/1800.49 c Total time: 1800.02 s
OK 8
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-351057-1176577422 -o ROOT/results/node48/solver-351057-1176577422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.01 1.00 3/64 31691 /proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=12340 CPUtime=0 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 12587518 12636160 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 3085 335 281 324 0 2003 0 [startup+0.071681 s] /proc/loadavg: 0.99 1.01 1.00 3/64 31691 /proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=5364 CPUtime=0.06 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 12587518 5492736 635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 1341 635 375 324 0 259 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5364 [startup+0.101683 s] /proc/loadavg: 0.99 1.01 1.00 3/64 31691 /proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=5620 CPUtime=0.09 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 12587518 5754880 732 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 1405 732 417 324 0 323 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5620 [startup+0.301704 s] /proc/loadavg: 0.99 1.01 1.00 3/64 31691 /proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=6636 CPUtime=0.27 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1201 0 1 0 27 0 0 0 18 0 1 0 12587518 6795264 1019 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31691/statm: 1659 1019 306 324 0 728 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 6636 [startup+0.701743 s] /proc/loadavg: 0.99 1.01 1.00 3/64 31691 /proc/meminfo: memFree=1847864/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=7616 CPUtime=0.67 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1608 0 1 0 67 0 0 0 22 0 1 0 12587518 7798784 1265 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31691/statm: 1904 1265 308 324 0 973 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 7616 [startup+1.50182 s] /proc/loadavg: 0.99 1.01 1.00 2/65 31692 /proc/meminfo: memFree=1843696/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=7616 CPUtime=1.48 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1616 0 1 0 147 1 0 0 25 0 1 0 12587518 7798784 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31691/statm: 1904 1273 312 324 0 973 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7616 [startup+3.10196 s] /proc/loadavg: 0.99 1.01 1.00 2/65 31692 /proc/meminfo: memFree=1843632/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=7616 CPUtime=3.06 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1616 0 1 0 305 1 0 0 25 0 1 0 12587518 7798784 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 1904 1273 312 324 0 973 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 7616 [startup+6.30126 s] /proc/loadavg: 0.99 1.01 1.00 2/65 31692 /proc/meminfo: memFree=1843632/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=7620 CPUtime=6.26 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1619 0 1 0 624 2 0 0 25 0 1 0 12587518 7802880 1276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 1905 1276 312 324 0 974 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 7620 [startup+12.7019 s] /proc/loadavg: 0.99 1.01 1.00 2/65 31692 /proc/meminfo: memFree=1842872/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=8668 CPUtime=12.66 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 1869 0 1 0 1264 2 0 0 25 0 1 0 12587518 8876032 1526 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 2167 1526 312 324 0 1236 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 8668 [startup+25.501 s] /proc/loadavg: 0.99 1.01 1.00 2/65 31692 /proc/meminfo: memFree=1840824/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=10636 CPUtime=25.46 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 2384 0 1 0 2543 3 0 0 25 0 1 0 12587518 10891264 2041 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 2659 2041 312 324 0 1728 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 10636 [startup+51.1014 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31692 /proc/meminfo: memFree=1836728/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=14836 CPUtime=51.05 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 3418 0 1 0 5100 5 0 0 25 0 1 0 12587518 15192064 3075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 3709 3075 312 324 0 2778 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 14836 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31692 /proc/meminfo: memFree=1827896/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=23644 CPUtime=102.24 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 5629 0 1 0 10209 15 0 0 25 0 1 0 12587518 24211456 5286 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 5911 5286 312 324 0 4980 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 23644 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31692 /proc/meminfo: memFree=1814328/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=37248 CPUtime=162.23 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 9023 0 1 0 16198 25 0 0 25 0 1 0 12587518 38141952 8680 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 9312 8680 312 324 0 8381 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37248 [startup+222.301 s] /proc/loadavg: 1.05 1.01 1.00 2/65 31694 /proc/meminfo: memFree=1803712/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=47364 CPUtime=222.21 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 11547 0 1 0 22186 35 0 0 25 0 1 0 12587518 48500736 11204 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 11841 11204 313 324 0 10910 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 47364 [startup+282.302 s] /proc/loadavg: 1.07 1.03 1.00 2/65 31694 /proc/meminfo: memFree=1802176/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=48856 CPUtime=282.2 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 11932 0 1 0 28180 40 0 0 25 0 1 0 12587518 50028544 11589 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 12214 11589 313 324 0 11283 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 48856 [startup+342.301 s] /proc/loadavg: 1.12 1.05 1.01 2/65 31694 /proc/meminfo: memFree=1800320/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=50648 CPUtime=342.18 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 12393 0 1 0 34173 45 0 0 25 0 1 0 12587518 51863552 12050 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 12662 12050 313 324 0 11731 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 50648 [startup+402.302 s] /proc/loadavg: 1.09 1.05 1.01 2/65 31694 /proc/meminfo: memFree=1798144/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=52944 CPUtime=402.17 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 12951 0 1 0 40170 47 0 0 25 0 1 0 12587518 54214656 12608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 13236 12608 313 324 0 12305 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 52944 [startup+462.302 s] /proc/loadavg: 1.03 1.04 1.00 2/65 31694 /proc/meminfo: memFree=1790848/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=60156 CPUtime=462.15 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 14770 0 1 0 46166 49 0 0 25 0 1 0 12587518 61599744 14427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 15039 14427 313 324 0 14108 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 60156 [startup+522.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 31694 /proc/meminfo: memFree=1787648/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=63420 CPUtime=522.14 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 15573 0 1 0 52163 51 0 0 25 0 1 0 12587518 64942080 15230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 15855 15230 313 324 0 14924 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 63420 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 31694 /proc/meminfo: memFree=1781376/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=69852 CPUtime=582.13 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 17177 0 1 0 58159 54 0 0 25 0 1 0 12587518 71528448 16834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 17463 16834 313 324 0 16532 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 69852 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 31694 /proc/meminfo: memFree=1774080/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=76912 CPUtime=642.11 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 18938 0 1 0 64156 55 0 0 25 0 1 0 12587518 78757888 18595 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 19228 18595 313 324 0 18297 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 76912 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1742720/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=108104 CPUtime=882.05 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 26747 0 1 0 88139 66 0 0 25 0 1 0 12587518 110698496 26404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 27026 26404 313 324 0 26095 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 108104 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1736000/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=115000 CPUtime=942.03 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 28462 0 1 0 94135 68 0 0 25 0 1 0 12587518 117760000 28119 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 28750 28119 313 324 0 27819 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 115000 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1723072/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=127760 CPUtime=1002.02 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 31650 0 1 0 100131 71 0 0 25 0 1 0 12587518 130826240 31307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 31940 31307 313 324 0 31009 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 127760 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1716928/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=134104 CPUtime=1062.01 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 33254 0 1 0 106127 74 0 0 25 0 1 0 12587518 137322496 32911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 33526 32911 313 324 0 32595 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 134104 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1710464/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=140288 CPUtime=1121.99 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 34797 0 1 0 112122 77 0 0 25 0 1 0 12587518 143654912 34454 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 35072 34454 313 324 0 34141 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 140288 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1700672/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=150156 CPUtime=1181.98 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 37267 0 1 0 118116 82 0 0 25 0 1 0 12587518 153759744 36924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 37539 36924 313 324 0 36608 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 150156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1692480/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=158164 CPUtime=1241.96 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 39249 0 1 0 124111 85 0 0 25 0 1 0 12587518 161959936 38906 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 39541 38906 313 324 0 38610 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 158164 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1687232/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=163308 CPUtime=1301.95 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 40552 0 1 0 130109 86 0 0 25 0 1 0 12587518 167227392 40209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 40827 40209 313 324 0 39896 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 163308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1679808/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=170768 CPUtime=1361.93 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 42412 0 1 0 136105 88 0 0 25 0 1 0 12587518 174866432 42069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 42692 42069 313 324 0 41761 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 170768 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1671040/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=179396 CPUtime=1421.92 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 44575 0 1 0 142102 90 0 0 25 0 1 0 12587518 183701504 44232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 44849 44232 313 324 0 43918 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 179396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1663936/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=186728 CPUtime=1481.9 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 46395 0 1 0 148097 93 0 0 25 0 1 0 12587518 191209472 46052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 46682 46052 313 324 0 45751 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 186728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1655744/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=194680 CPUtime=1541.88 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 48385 0 1 0 154093 95 0 0 25 0 1 0 12587518 199352320 48042 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 48670 48042 313 324 0 47739 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 194680 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1647808/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=202668 CPUtime=1601.87 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 50393 0 1 0 160089 98 0 0 25 0 1 0 12587518 207532032 50050 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 50667 50050 313 324 0 49736 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 202668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1639360/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=211016 CPUtime=1661.86 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 52464 0 1 0 166085 101 0 0 25 0 1 0 12587518 216080384 52121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 52754 52121 313 324 0 51823 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 211016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1631168/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=219192 CPUtime=1721.84 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 54524 0 1 0 172080 104 0 0 25 0 1 0 12587518 224452608 54181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 54798 54181 313 324 0 53867 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 219192 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1624000/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=226412 CPUtime=1781.83 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194304 56315 0 1 0 178077 106 0 0 25 0 1 0 12587518 231845888 55972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 56603 55972 313 324 0 55672 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 226412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1692544/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=0 CPUtime=1800.03 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194308 57056 0 1 0 179894 109 0 0 17 0 1 0 12587518 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31694 /proc/meminfo: memFree=1692544/2055920 swapFree=4192036/4192956 [pid=31691] ppid=31689 vsize=0 CPUtime=1800.03 /proc/31691/stat : 31691 (bsolo3.0.16) R 31689 31691 30426 0 -1 4194308 57056 0 1 0 179894 109 0 0 17 0 1 0 12587518 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.06 CPU user time (s): 1798.94 CPU system time (s): 1.11683 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 229372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.11683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57056 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 1232 runsolver used 1.2788 second user time and 3.64844 second system time The end
Begin job on node48 on Sat Apr 14 19:03:42 UTC 2007 IDJOB= 351057 IDBENCH= 1655 IDSOLVER= 163 FILE ID= node48/351057-1176577422 PBS_JOBID= 4556892 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-351057-1176577422 -o ROOT/results/node48/solver-351057-1176577422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351057-1176577422/instance-351057-1176577422.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3 RANDOM SEED= 887524508 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1848336 kB Buffers: 2952 kB Cached: 107380 kB SwapCached: 32 kB Active: 30076 kB Inactive: 97012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848336 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 4980 kB Writeback: 0 kB Mapped: 26600 kB Slab: 66536 kB Committed_AS: 64764 kB PageTables: 1396 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= 66560 MiB End job on node48 on Sat Apr 14 19:33:45 UTC 2007