Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | -4362 | 1800.06 | 1801.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4362 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
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 0.00/0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:40 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/351783-1176613454/wildcat-rnp /tmp/evaluation/351783-1176613454/instance-351783-1176613454.opb 661656149 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 661656149 0.00/0.00 c Noise: 0.7 (70 : 100) 0.10/0.19 c Starting searching: 0.10/0.19 c Phase 1 ... 195.24/195.49 c trying 5363: xvc 195.24/195.49 o -4362 1004.06/1004.96 c trying -5081: xxxxxxxxxxc 1004.06/1004.96 c Phase 2 ... 1800.03/1801.51 c trying -4363: xc 1800.03/1801.51 c Phase 3 ... 1800.03/1801.51 c trying -4363 again: c 1800.03/1801.51 s SATISFIABLE 1800.03/1801.51 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.03/1801.51 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.03/1801.51 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.03/1801.51 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.03/1801.51 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1801.51 v -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 1800.03/1801.51 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1801.51 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1801.51 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1801.51 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1801.51 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 1800.03/1801.51 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1801.51 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1801.51 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1801.51 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1801.51 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1801.51 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1801.51 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1801.51 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 1800.03/1801.51 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1801.51 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1801.51 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1801.51 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1801.51 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1801.51 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1801.51 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1801.51 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1801.51 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1801.51 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1801.51 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 1800.03/1801.51 v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1801.51 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1801.51 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.03/1801.51 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1801.51 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1801.51 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1801.51 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1801.51 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.03/1801.51 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1801.51 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.03/1801.51 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.03/1801.51 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.03/1801.51 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.03/1801.51 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.03/1801.51 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.03/1801.51 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.03/1801.51 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1801.51 v -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.03/1801.51 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1801.51 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1801.51 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.03/1801.51 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1801.51 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1801.51 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1801.51 v -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1801.51 v -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1801.51 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1801.51 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1801.51 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1801.51 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1801.51 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.03/1801.51 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1801.51 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1801.51 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1801.51 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1801.51 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1801.51 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1801.51 v -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1801.51 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1801.51 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1801.51 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1801.51 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1801.51 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1801.51 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1801.51 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1801.51 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 1800.03/1801.51 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.03/1801.51 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1801.51 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1801.51 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1801.51 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.03/1801.51 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1801.51 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1801.51 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1801.51 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.03/1801.51 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.03/1801.51 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.03/1801.51 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.03/1801.51 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1801.51 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.03/1801.51 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 1800.03/1801.51 v x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1800.03/1801.51 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.03/1801.51 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.03/1801.51 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.03/1801.51 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.03/1801.51 v -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.03/1801.51 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.03/1801.51 v -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.03/1801.51 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.03/1801.51 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.03/1801.51 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.03/1801.51 v x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.03/1801.51 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.03/1801.51 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.03/1801.51 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.03/1801.51 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.03/1801.51 v -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 1800.03/1801.51 v -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 1800.03/1801.51 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.03/1801.51 v -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 x2097 x2098 -x2099 -x2100 1800.03/1801.51 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 1800.03/1801.51 v x2118 x2119 -x2120 -x2121 -x2122 x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 x2133 -x2134 -x2135 1800.03/1801.51 v -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 1800.03/1801.51 v x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.03/1801.51 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.03/1801.51 v -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 x2210 1800.03/1801.51 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.03/1801.51 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.03/1801.51 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1800.03/1801.51 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.03/1801.51 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.03/1801.51 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 1800.03/1801.51 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1800.03/1801.51 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.03/1801.51 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 1800.03/1801.51 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.03/1801.51 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.03/1801.51 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.03/1801.51 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.03/1801.51 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.03/1801.51 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.03/1801.51 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.03/1801.51 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.03/1801.51 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.03/1801.51 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.03/1801.51 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.03/1801.51 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.03/1801.51 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.03/1801.51 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.03/1801.51 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 1800.03/1801.51 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.03/1801.51 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.03/1801.51 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1800.03/1801.51 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.03/1801.51 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 1800.03/1801.51 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 1800.03/1801.51 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 1800.03/1801.51 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.03/1801.51 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1800.03/1801.51 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1800.03/1801.51 v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1800.03/1801.51 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 1800.03/1801.51 v -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.03/1801.51 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1800.03/1801.51 v -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 1800.03/1801.51 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1800.03/1801.51 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1800.03/1801.51 v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1800.03/1801.51 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 1800.03/1801.51 v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 1800.03/1801.51 v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1800.03/1801.51 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1800.03/1801.51 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 1800.03/1801.51 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 1800.03/1801.51 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 1800.03/1801.51 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1800.03/1801.51 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 1800.03/1801.51 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 1800.03/1801.51 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1800.03/1801.51 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 1800.03/1801.51 v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1800.03/1801.51 v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 1800.03/1801.51 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1800.03/1801.51 v -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1800.03/1801.51 v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 1800.03/1801.51 v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 1800.03/1801.51 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 1800.03/1801.51 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1800.03/1801.51 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 1800.03/1801.51 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.03/1801.51 v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 1800.03/1801.51 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.03/1801.51 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1800.03/1801.51 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.03/1801.51 v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 1800.03/1801.51 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.03/1801.51 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1800.03/1801.51 v -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.03/1801.51 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1800.03/1801.51 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.03/1801.51 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.03/1801.51 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1800.03/1801.51 v -x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.03/1801.51 v -x3521 -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1800.03/1801.51 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1800.03/1801.51 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1800.03/1801.51 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1800.03/1801.51 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 1800.03/1801.51 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 1800.03/1801.51 v -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.03/1801.51 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 1800.03/1801.51 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 1800.03/1801.51 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.03/1801.51 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.03/1801.51 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 1800.03/1801.51 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 1800.03/1801.51 v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.03/1801.51 v -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.03/1801.51 v -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 1800.03/1801.51 v -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 1800.03/1801.51 v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1800.03/1801.51 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1800.03/1801.51 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.03/1801.51 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 1800.03/1801.51 v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1800.03/1801.51 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 1800.03/1801.51 v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 1800.03/1801.51 v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.03/1801.51 v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 1800.03/1801.51 v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 1800.03/1801.51 v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 1800.03/1801.51 v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 1800.03/1801.51 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.03/1801.51 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 1800.03/1801.51 v -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 1800.03/1801.51 v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 1800.03/1801.51 v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.03/1801.51 v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 1800.03/1801.51 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 1800.03/1801.51 v -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 1800.03/1801.51 v -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 1800.03/1801.51 v -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 1800.03/1801.51 v -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 1800.03/1801.51 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 1800.03/1801.51 v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 1800.03/1801.51 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 1800.03/1801.51 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 x4267 -x4268 1800.03/1801.51 v -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 1800.03/1801.51 v -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 1800.03/1801.51 v -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 1800.03/1801.51 v -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 1800.03/1801.51 v -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 1800.03/1801.51 v -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 1800.03/1801.51 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 1800.03/1801.51 v -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 1800.03/1801.51 v -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 1800.03/1801.51 v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 1800.03/1801.51 v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1800.03/1801.51 v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 1800.03/1801.51 v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 1800.03/1801.51 v -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 1800.03/1801.51 v -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 1800.03/1801.51 v -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 1800.03/1801.51 v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 1800.03/1801.51 v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 1800.03/1801.51 v -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 1800.03/1801.51 v -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 1800.03/1801.51 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 -x4625 1800.03/1801.51 v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 1800.03/1801.51 v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 1800.03/1801.51 v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.03/1801.51 v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 1800.03/1801.51 v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1800.03/1801.51 v x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 1800.03/1801.51 v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 1800.03/1801.51 v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 1800.03/1801.51 v -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 1800.03/1801.51 v -x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 x4794 -x4795 x4796 -x4797 1800.03/1801.51 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 1800.03/1801.51 v -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 1800.03/1801.51 v -x4833 -x4834 x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 1800.03/1801.51 v -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 1800.03/1801.51 v -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 1800.03/1801.51 v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 1800.03/1801.51 v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 1800.03/1801.51 v -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 1800.03/1801.51 v -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 1800.03/1801.51 v -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 1800.03/1801.51 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 1800.03/1801.51 v -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 1800.03/1801.51 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 1800.03/1801.51 v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 1800.03/1801.51 v -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 1800.03/1801.51 v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 1800.03/1801.51 v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 1800.03/1801.51 v -x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 1800.03/1801.51 v -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 1800.03/1801.51 v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 1800.03/1801.51 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 1800.03/1801.51 v -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 1800.03/1801.51 v -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 1800.03/1801.51 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 1800.03/1801.51 v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 1800.03/1801.51 v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 1800.03/1801.51 v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 1800.03/1801.51 v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 1800.03/1801.51 v -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 1800.03/1801.51 v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 1800.03/1801.51 v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 1800.03/1801.51 v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 1800.03/1801.51 v -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 1800.03/1801.51 v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 1800.03/1801.51 v -x5379 -x5380 -x5381 -x5382 -x5383 1800.03/1801.52 c Total Number of Positive Atoms : 134 1800.03/1801.52 c 1800.03/1801.52 c During searching: 195.299 seconds elapsed. 1800.03/1801.52 c CPU time spent: 195.16 seconds. 1800.03/1801.52 c 1800.03/1801.52 c =================================== END ===================================== 1800.03/1801.52 c
OK -4362
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-351783-1176613454 -o ROOT/results/node10/solver-351783-1176613454 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351783-1176613454/wildcat-rnp /tmp/evaluation/351783-1176613454/instance-351783-1176613454.opb 661656149 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.92 0.98 0.99 3/77 4338 /proc/meminfo: memFree=1749440/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=5972 CPUtime=0 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 137382978 6115328 139 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 1493 139 105 226 0 1264 0 [startup+0.096524 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4338 /proc/meminfo: memFree=1749440/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=6768 CPUtime=0.09 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 342 0 0 0 9 0 0 0 18 0 1 0 137382978 6930432 326 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014993 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 1692 326 110 226 0 1463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6768 [startup+0.102523 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4338 /proc/meminfo: memFree=1749440/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=6768 CPUtime=0.1 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 342 0 0 0 10 0 0 0 18 0 1 0 137382978 6930432 326 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015052 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 1692 326 110 226 0 1463 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6768 [startup+0.301567 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4338 /proc/meminfo: memFree=1749440/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=0.29 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 29 0 0 0 20 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611571 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12780 [startup+0.701652 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4338 /proc/meminfo: memFree=1749440/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=0.69 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 69 0 0 0 23 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611640 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12780 [startup+1.50183 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742584/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1.49 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 149 0 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12780 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742456/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=3.09 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 309 0 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12780 [startup+6.30186 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742328/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=6.29 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 629 0 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12780 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742200/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=12.68 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 1268 0 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611622 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12780 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742200/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=25.48 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 2548 0 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607803 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12780 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742264/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=51.04 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 5103 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 12780 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742072/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=102.21 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 10220 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 12780 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742072/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=162.16 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 16215 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134597174 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 12780 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742080/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=222.12 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 22211 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 12780 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742080/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=282.06 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 28205 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 12780 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742144/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=342.02 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 34201 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 12780 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742208/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=401.96 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 40195 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 401.96 Current children cumulated vsize (KiB) 12780 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4339 /proc/meminfo: memFree=1742272/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=461.89 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 46188 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134868572 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 461.89 Current children cumulated vsize (KiB) 12780 [startup+522.301 s] /proc/loadavg: 1.05 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742272/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=521.85 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 52184 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 521.85 Current children cumulated vsize (KiB) 12780 [startup+582.301 s] /proc/loadavg: 1.02 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742272/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=581.8 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 58179 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 581.8 Current children cumulated vsize (KiB) 12780 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742272/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=641.75 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 64174 1 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 641.75 Current children cumulated vsize (KiB) 12780 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742144/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=881.56 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 88154 2 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598421 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 881.56 Current children cumulated vsize (KiB) 12780 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742144/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=941.52 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 94150 2 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605350 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 941.52 Current children cumulated vsize (KiB) 12780 [startup+1002.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 4339 /proc/meminfo: memFree=1742080/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1001.46 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 100144 2 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134868619 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1001.46 Current children cumulated vsize (KiB) 12780 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 4339 /proc/meminfo: memFree=1742016/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1061.43 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 106141 2 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1061.43 Current children cumulated vsize (KiB) 12780 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1742016/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1121.39 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 112137 2 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607281 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1121.39 Current children cumulated vsize (KiB) 12780 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741952/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1181.32 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 118129 3 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607690 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1181.32 Current children cumulated vsize (KiB) 12780 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741888/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1241.27 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 124124 3 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1241.27 Current children cumulated vsize (KiB) 12780 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741888/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1301.24 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 130121 3 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1301.24 Current children cumulated vsize (KiB) 12780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741824/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1361.19 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 136115 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607286 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1361.19 Current children cumulated vsize (KiB) 12780 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741824/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1421.15 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 142111 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607284 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1421.15 Current children cumulated vsize (KiB) 12780 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741824/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1481.1 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 148106 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607399 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1481.1 Current children cumulated vsize (KiB) 12780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741824/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1541.05 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 154101 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601321 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1541.05 Current children cumulated vsize (KiB) 12780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4339 /proc/meminfo: memFree=1741888/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1600.99 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 160095 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611645 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1600.99 Current children cumulated vsize (KiB) 12780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4341 /proc/meminfo: memFree=1741888/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1660.94 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 166090 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611622 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1660.94 Current children cumulated vsize (KiB) 12780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4341 /proc/meminfo: memFree=1741888/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1720.89 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 172085 4 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1720.89 Current children cumulated vsize (KiB) 12780 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 4341 /proc/meminfo: memFree=1741824/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1780.84 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 178079 5 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1780.84 Current children cumulated vsize (KiB) 12780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.5 s] /proc/loadavg: 1.03 1.01 1.00 2/78 4341 /proc/meminfo: memFree=1741760/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1800.03 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 179998 5 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 12780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.03 1.01 1.00 2/78 4341 /proc/meminfo: memFree=1741760/2055920 swapFree=4165840/4192956 [pid=4338] ppid=4336 vsize=12780 CPUtime=1800.03 /proc/4338/stat : 4338 (wildcat-rnp) R 4336 4338 3551 0 -1 4194304 1843 0 0 0 179998 5 0 0 25 0 1 0 137382978 13086720 1826 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 0 0 0 /proc/4338/statm: 3195 1826 117 226 0 2966 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 12780 Child status: 0 Real time (s): 1801.53 CPU time (s): 1800.06 CPU user time (s): 1800 CPU system time (s): 0.056991 CPU usage (%): 99.9185 Max. virtual memory (cumulated for all children) (KiB): 12780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.056991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1843 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 40755 runsolver used 1.77173 second user time and 4.79127 second system time The end
Begin job on node10 on Sun Apr 15 05:04:15 UTC 2007 IDJOB= 351783 IDBENCH= 1810 IDSOLVER= 161 FILE ID= node10/351783-1176613454 PBS_JOBID= 4556834 Free space on /tmp= 66558 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb COMMAND LINE= /tmp/evaluation/351783-1176613454/wildcat-rnp /tmp/evaluation/351783-1176613454/instance-351783-1176613454.opb 661656149 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-351783-1176613454 -o ROOT/results/node10/solver-351783-1176613454 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351783-1176613454/wildcat-rnp /tmp/evaluation/351783-1176613454/instance-351783-1176613454.opb 661656149 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 661656149 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1749976 kB Buffers: 43880 kB Cached: 175872 kB SwapCached: 2676 kB Active: 69552 kB Inactive: 181640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749976 kB SwapTotal: 4192956 kB SwapFree: 4165840 kB Dirty: 2520 kB Writeback: 0 kB Mapped: 39208 kB Slab: 40412 kB Committed_AS: 2938584 kB PageTables: 1712 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 node10 on Sun Apr 15 05:34:18 UTC 2007