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