Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 63 | 905.426 | 905.739 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 905.426 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 509 |
Number of constraints which are clauses | 509 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 166 |
Number of terms in the objective function | 4676 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.18 c Initial problem consists of 4676 variables and 509 constraints. 0.25 c Switching on LPR. 0.25 c preprocess terminated. Elapsed time: 0.2 0.25 c After prepocess the problem consists of 1212 variables and 509 constraints. 0.79 c Initial Lower Bound: 62 2.54 o 66 2.54 c NEW SOLUTION FOUND: 66 @ 2.478 2.61 o 65 2.61 c NEW SOLUTION FOUND: 65 @ 2.552 3.14 o 64 3.14 c NEW SOLUTION FOUND: 64 @ 3.078 15.53 c Restart #1 #Var: 1212 LB: 62 @ 15.468 17.45 o 63 17.45 c NEW SOLUTION FOUND: 63 @ 17.385 68.31 c Restart #2 #Var: 1159 LB: 62 @ 68.228 152.53 c Restart #3 #Var: 1152 LB: 62 @ 152.43 254.00 c Restart #4 #Var: 1152 LB: 62 @ 253.87 391.21 c Restart #5 #Var: 1151 LB: 62 @ 391.04 529.18 c Restart #6 #Var: 1151 LB: 62 @ 528.98 703.03 c Restart #7 #Var: 1151 LB: 62 @ 702.77 905.72 s OPTIMUM FOUND 905.72 c Cost: 63 905.73 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 905.73 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 905.73 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 905.73 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 905.73 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 905.73 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 905.73 v -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 905.73 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 905.73 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 905.73 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 905.73 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 905.73 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 905.73 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 905.73 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 905.73 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 905.73 v -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 905.73 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 905.73 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 905.73 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 905.73 v -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 905.73 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 905.73 v -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 905.73 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 905.73 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 905.73 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 905.73 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 905.73 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 905.73 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 905.73 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 905.73 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 905.73 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 905.73 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 905.73 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 905.73 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 905.73 v -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 905.73 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 905.73 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 905.73 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 905.73 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 905.73 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 905.73 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 905.73 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 905.73 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 905.73 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 905.73 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 905.73 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 905.73 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 905.73 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 905.73 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 905.73 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 905.73 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 905.73 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 905.73 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 905.73 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 905.73 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 905.73 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 905.73 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 905.73 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 905.73 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 905.73 v -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 905.73 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 905.73 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 905.73 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 905.73 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 905.73 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 905.73 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 905.73 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 905.73 v -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 905.73 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 905.73 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 905.73 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 905.73 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 905.73 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 905.73 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 905.73 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 905.73 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 905.73 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 905.73 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 905.73 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 905.73 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 905.73 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 905.73 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 905.73 v -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 905.73 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 905.73 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 905.73 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 905.73 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 905.73 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 905.73 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 905.73 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 905.73 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 905.73 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 905.73 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 905.73 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 905.73 v -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 905.73 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 905.73 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 905.73 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 905.73 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 905.73 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 905.73 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 905.73 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 905.73 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 905.73 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 905.73 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 905.73 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 905.73 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 905.73 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 905.73 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 905.73 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 905.73 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 905.73 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 905.73 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 905.73 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 905.73 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 905.73 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 905.73 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 905.73 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 905.73 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 905.73 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 905.73 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 905.73 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 905.73 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 905.73 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 905.73 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 905.73 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 905.73 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 905.73 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 905.73 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 905.73 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 905.73 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 905.73 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 905.73 v -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 905.73 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 905.73 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 905.73 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 905.73 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 905.73 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 905.73 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 905.73 v -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 905.73 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 905.73 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 905.73 v -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 905.73 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 905.73 v -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 905.73 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 905.73 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 905.73 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 905.73 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 905.73 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 905.73 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 905.73 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 905.73 v -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 905.73 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 905.73 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 905.73 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 905.73 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 905.73 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 905.73 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 905.73 v -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 905.73 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 905.73 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 905.73 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 905.73 v -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 905.73 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 905.73 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 905.73 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 905.73 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 905.73 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 905.73 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 905.73 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 905.73 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 905.73 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 905.73 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 905.73 v -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 905.73 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 905.73 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 905.73 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 905.73 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 905.73 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 905.73 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 905.73 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 905.73 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 905.73 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 905.73 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 905.73 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 905.73 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 905.73 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 905.73 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 905.73 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 905.73 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 905.73 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 905.73 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 905.73 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 905.73 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 905.73 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 905.73 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 905.73 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 905.73 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 905.73 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 905.73 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 905.73 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 905.73 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 905.73 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 905.73 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 905.73 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 905.73 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 905.73 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 905.73 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 905.73 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 905.73 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 905.73 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 905.73 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 905.73 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 905.73 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 905.73 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 905.73 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 905.73 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 905.73 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 905.73 v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 905.73 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 905.73 v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 905.73 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 905.73 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 905.73 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 905.73 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 905.73 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 905.73 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 905.73 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 905.73 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 905.73 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 905.73 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 905.73 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 905.73 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 905.73 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 905.73 v -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 905.73 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 905.73 v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 905.73 v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 905.73 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 905.73 v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 905.73 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 905.73 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 905.73 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 905.73 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 905.73 v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 905.73 v -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 905.73 v -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 905.73 v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 905.73 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 905.73 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 905.73 v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 905.73 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 905.73 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 905.73 v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 905.73 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 905.73 v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 905.73 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 905.73 v -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 905.73 v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 905.73 v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 905.73 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 905.73 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 905.73 c Exit Code: 30 905.73 c Total time: 905.42 s
OK 63
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-40292-1149405945 -o ROOT/results/node11/solver-40292-1149405945 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1864160/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=2900 CPUtime=0 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 206257077 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0 /proc/15404/statm: 725 27 19 55 0 38 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847136/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=9.93 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 22695 0 3 0 983 10 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4402 438 55 0 4043 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 20604 [startup+20.008 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847136/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=19.93 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 24942 0 3 0 1980 13 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8445565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4402 438 55 0 4043 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 20604 [startup+30.0142 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=29.93 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 27537 0 3 0 2979 14 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160018146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4395 438 55 0 4005 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 20452 [startup+40.0204 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=39.94 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 30134 0 3 0 3978 16 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4395 438 55 0 4005 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 20452 [startup+50.0266 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=49.94 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 32433 0 3 0 4977 17 0 0 25 0 1 0 206257077 20942848 4395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4395 438 55 0 4005 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 20452 [startup+60.0328 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=59.95 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 34192 0 3 0 5977 18 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4402 439 55 0 4043 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 20604 [startup+70.039 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=69.95 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 36411 0 3 0 6975 20 0 0 25 0 1 0 206257077 21098496 4409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159476058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4409 439 55 0 4043 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 20604 [startup+80.0452 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=79.96 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 38178 0 3 0 7975 21 0 0 25 0 1 0 206257077 21098496 4406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159264838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4406 439 55 0 4043 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 20604 [startup+90.0514 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=89.95 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 40043 0 3 0 8973 22 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4396 439 55 0 4005 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 20452 [startup+100.058 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=99.96 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 42548 0 3 0 9972 24 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4396 439 55 0 4005 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 20452 [startup+110.064 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=109.96 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 45330 0 3 0 10971 25 0 0 25 0 1 0 206257077 21098496 4407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4407 439 55 0 4043 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 20604 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=119.96 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 47020 0 3 0 11970 26 0 0 25 0 1 0 206257077 21098496 4402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8445565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4402 439 55 0 4043 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 20604 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=129.97 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 49022 0 3 0 12969 28 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4396 439 55 0 4005 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 20452 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20896 CPUtime=139.98 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 51331 0 3 0 13967 31 0 0 25 0 1 0 206257077 21397504 4434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159476533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5224 4434 439 55 0 4116 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 20896 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20760 CPUtime=149.98 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 53677 0 3 0 14965 33 0 0 25 0 1 0 206257077 21258240 4415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5190 4415 439 55 0 4082 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 20760 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=159.98 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 55401 0 3 0 15964 34 0 0 25 0 1 0 206257077 21098496 4406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160351376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4406 439 55 0 4043 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 20604 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847264/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20756 CPUtime=169.99 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 57212 0 3 0 16963 36 0 0 25 0 1 0 206257077 21254144 4414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5189 4414 439 55 0 4081 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 20756 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20604 CPUtime=179.98 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 59290 0 3 0 17960 38 0 0 25 0 1 0 206257077 21098496 4405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5151 4405 439 55 0 4043 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 20604 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1847200/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20452 CPUtime=189.99 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 61345 0 3 0 18960 39 0 0 25 0 1 0 206257077 20942848 4396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5113 4396 439 55 0 4005 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 20452 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1846880/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=20948 CPUtime=200 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 65519 0 3 0 19958 42 0 0 25 0 1 0 206257077 21450752 4490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 5237 4490 439 55 0 4129 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 20948 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15404 /proc/meminfo: memFree=1846944/2055920 swapFree=4181336/4192956 ################ # More data... # ################ /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 690.16 Current children cumulated vsize (Kb) 26164 [startup+700.425 s] /proc/loadavg: 1.06 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=700.17 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 192734 0 3 0 69894 123 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 700.17 Current children cumulated vsize (Kb) 26164 [startup+710.431 s] /proc/loadavg: 1.05 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=710.16 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 194338 0 3 0 70893 123 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 710.16 Current children cumulated vsize (Kb) 26164 [startup+720.438 s] /proc/loadavg: 1.04 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=720.17 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 195922 0 3 0 71893 124 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 720.17 Current children cumulated vsize (Kb) 26164 [startup+730.444 s] /proc/loadavg: 1.03 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=730.17 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 197569 0 3 0 72893 124 0 0 25 0 1 0 206257077 26947584 5835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159552483 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5835 439 55 0 5471 0 Current children cumulated CPU time (s) 730.17 Current children cumulated vsize (Kb) 26316 [startup+740.45 s] /proc/loadavg: 1.03 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=740.18 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 199230 0 3 0 73892 126 0 0 25 0 1 0 206257077 26947584 5832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5832 439 55 0 5471 0 Current children cumulated CPU time (s) 740.18 Current children cumulated vsize (Kb) 26316 [startup+750.456 s] /proc/loadavg: 1.02 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=750.19 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 200772 0 3 0 74891 128 0 0 25 0 1 0 206257077 26947584 5837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160426185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5837 439 55 0 5471 0 Current children cumulated CPU time (s) 750.19 Current children cumulated vsize (Kb) 26316 [startup+760.461 s] /proc/loadavg: 1.02 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=760.18 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 202340 0 3 0 75890 128 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5834 439 55 0 5471 0 Current children cumulated CPU time (s) 760.18 Current children cumulated vsize (Kb) 26316 [startup+770.467 s] /proc/loadavg: 1.02 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=770.19 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 203900 0 3 0 76889 130 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159946517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5834 439 55 0 5471 0 Current children cumulated CPU time (s) 770.19 Current children cumulated vsize (Kb) 26316 [startup+780.474 s] /proc/loadavg: 1.01 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=780.2 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 205454 0 3 0 77888 132 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 780.2 Current children cumulated vsize (Kb) 26164 [startup+790.48 s] /proc/loadavg: 1.01 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=790.19 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 206956 0 3 0 78887 132 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159253096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5833 439 55 0 5471 0 Current children cumulated CPU time (s) 790.19 Current children cumulated vsize (Kb) 26316 [startup+800.486 s] /proc/loadavg: 1.01 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=800.2 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 208478 0 3 0 79886 134 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158588473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 800.2 Current children cumulated vsize (Kb) 26164 [startup+810.493 s] /proc/loadavg: 1.01 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=810.2 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 210083 0 3 0 80885 135 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 810.2 Current children cumulated vsize (Kb) 26164 [startup+820.498 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=820.21 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 211703 0 3 0 81884 137 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 820.21 Current children cumulated vsize (Kb) 26164 [startup+830.505 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=830.21 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 213416 0 3 0 82883 138 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5833 439 55 0 5471 0 Current children cumulated CPU time (s) 830.21 Current children cumulated vsize (Kb) 26316 [startup+840.511 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841448/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=840.21 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 215120 0 3 0 83882 139 0 0 25 0 1 0 206257077 26947584 5833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5833 439 55 0 5471 0 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 26316 [startup+850.517 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=850.21 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 216769 0 3 0 84881 140 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255151 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5834 439 55 0 5471 0 Current children cumulated CPU time (s) 850.21 Current children cumulated vsize (Kb) 26316 [startup+860.523 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=860.22 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 218292 0 3 0 85881 141 0 0 25 0 1 0 206257077 26947584 5832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159779419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5832 439 55 0 5471 0 Current children cumulated CPU time (s) 860.22 Current children cumulated vsize (Kb) 26316 [startup+870.529 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841384/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=870.22 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 219804 0 3 0 86880 142 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 870.22 Current children cumulated vsize (Kb) 26164 [startup+880.536 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=880.23 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 222096 0 3 0 87878 145 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 880.23 Current children cumulated vsize (Kb) 26164 [startup+890.542 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26164 CPUtime=890.23 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 222634 0 3 0 88878 145 0 0 25 0 1 0 206257077 26791936 5824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6541 5824 439 55 0 5433 0 Current children cumulated CPU time (s) 890.23 Current children cumulated vsize (Kb) 26164 [startup+900.548 s] /proc/loadavg: 1.00 1.00 1.00 2/64 15406 /proc/meminfo: memFree=1841256/2055920 swapFree=4181336/4192956 [pid=15404] ppid=15402 vsize=26316 CPUtime=900.24 /proc/15404/stat : 15404 (bsolo) R 15402 15404 15358 0 -1 0 223260 0 3 0 89878 146 0 0 25 0 1 0 206257077 26947584 5834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15404/statm: 6579 5834 439 55 0 5471 0 Current children cumulated CPU time (s) 900.24 Current children cumulated vsize (Kb) 26316 Child status: 30 Real time (s): 905.739 CPU time (s): 905.426 CPU user time (s): 903.954 CPU system time (s): 1.47278 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (Kb): 26516
Begin job on node11 on Sun Jun 4 07:25:45 UTC 2006 FILE ID= 40292-1149405945 PBS_JOBID= 314408 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-40292-1149405945 -o ROOT/results/node11/solver-40292-1149405945 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40292-1149405945/instance-40292-1149405945.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED= 838233528 /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.222 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 : 5931.00 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.222 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: 1864368 kB Buffers: 13092 kB Cached: 107400 kB SwapCached: 3200 kB Active: 34112 kB Inactive: 94940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864368 kB SwapTotal: 4192956 kB SwapFree: 4181336 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14676 kB Slab: 48500 kB Committed_AS: 417348 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sun Jun 4 07:40:51 UTC 2006