Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0-R4191 | SAT (TO) | 154 | 1800.07 | 1800.02 |
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 | 23.1855 |
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.00/0.00 c clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...089047/instance-3468251-1307089047.opb 0.00/0.00 c Solving... 0.00/0.01 o 156 0.00/0.01 o 155 0.00/0.01 o 154 1800.05/1800.01 1800.05/1800.01 *** INTERRUPTED! *** 1800.05/1800.01 c Answer: 3 1800.05/1800.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.05/1800.01 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1800.05/1800.01 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.05/1800.01 v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.05/1800.01 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.05/1800.01 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.05/1800.01 v -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 1800.05/1800.01 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.05/1800.01 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.05/1800.01 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.05/1800.01 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.05/1800.01 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.05/1800.01 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.05/1800.01 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.05/1800.01 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 1800.05/1800.01 v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 1800.05/1800.01 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 1800.05/1800.01 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.05/1800.01 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 1800.05/1800.01 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1800.05/1800.01 v -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 1800.05/1800.01 v x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 1800.05/1800.01 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.05/1800.01 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1800.05/1800.01 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.05/1800.01 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.05/1800.01 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1800.05/1800.01 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.05/1800.01 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1800.05/1800.01 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.05/1800.01 v -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 1800.05/1800.01 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.05/1800.01 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.05/1800.01 v -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 1800.05/1800.01 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.05/1800.01 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 1800.05/1800.01 v -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.05/1800.01 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.05/1800.01 v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.05/1800.01 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.05/1800.01 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.05/1800.01 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.05/1800.01 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1800.05/1800.01 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.05/1800.01 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 1800.05/1800.01 v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.05/1800.01 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 1800.05/1800.01 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.05/1800.01 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.05/1800.01 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1800.05/1800.01 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.05/1800.01 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 1800.05/1800.01 v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.05/1800.01 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1800.05/1800.01 v -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1800.05/1800.01 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.05/1800.01 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 1800.05/1800.01 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.05/1800.01 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1800.05/1800.01 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.05/1800.01 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1800.05/1800.01 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1800.05/1800.01 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.05/1800.01 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.05/1800.01 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.05/1800.01 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1800.05/1800.01 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.05/1800.01 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 1800.05/1800.01 v -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1800.05/1800.01 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.05/1800.01 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1800.05/1800.01 v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.05/1800.01 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 1800.05/1800.01 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 1800.05/1800.01 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.05/1800.01 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 x933 -x934 1800.05/1800.01 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.05/1800.01 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1800.05/1800.01 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1800.05/1800.01 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 1800.05/1800.01 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.05/1800.01 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.05/1800.01 v -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 1800.05/1800.01 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.05/1800.01 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1800.05/1800.01 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.05/1800.01 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.05/1800.01 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.05/1800.01 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.05/1800.01 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 1800.05/1800.01 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 1800.05/1800.01 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.05/1800.01 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.05/1800.01 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 1800.05/1800.01 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.05/1800.01 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.05/1800.01 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1800.05/1800.01 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.05/1800.01 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.05/1800.01 v -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1800.05/1800.01 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.05/1800.01 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 1800.05/1800.01 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.05/1800.01 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.05/1800.01 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.05/1800.01 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 1800.05/1800.01 v x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.05/1800.01 v -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1800.05/1800.01 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.05/1800.01 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 1800.05/1800.01 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.05/1800.01 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.05/1800.01 v -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.05/1800.01 v -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.05/1800.01 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.05/1800.01 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.05/1800.01 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 -x1389 -x1390 1800.05/1800.01 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.05/1800.01 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1800.05/1800.01 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.05/1800.01 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1800.05/1800.01 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1800.05/1800.01 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.05/1800.01 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.05/1800.01 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.05/1800.01 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.05/1800.01 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.05/1800.01 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1800.05/1800.01 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.05/1800.01 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.05/1800.01 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1800.05/1800.01 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.05/1800.01 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.05/1800.01 v -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.05/1800.01 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.05/1800.01 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.05/1800.01 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.05/1800.01 v -x1611 x1612 x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 1800.05/1800.01 v -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.05/1800.01 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 x1643 1800.05/1800.01 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.05/1800.01 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.05/1800.01 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.05/1800.01 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.05/1800.01 v -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.05/1800.01 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.05/1800.01 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.05/1800.01 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1800.05/1800.01 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 1800.05/1800.01 v -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.05/1800.01 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1800.05/1800.01 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.05/1800.01 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.05/1800.01 v -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1800.05/1800.01 v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.05/1800.01 v x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.05/1800.01 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1800.05/1800.01 v -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.05/1800.01 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1800.05/1800.01 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.05/1800.01 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.05/1800.01 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 1800.05/1800.01 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 1800.05/1800.01 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.05/1800.01 v x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.05/1800.01 v -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.05/1800.01 v -x1930 x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.05/1800.01 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.05/1800.01 v -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.05/1800.01 v -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.05/1800.01 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1800.05/1800.01 v -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.05/1800.01 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.05/1800.01 v -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.05/1800.01 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.05/1800.01 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1800.05/1800.01 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.05/1800.01 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.05/1800.01 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1800.05/1800.01 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.05/1800.01 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1800.05/1800.01 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.05/1800.01 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.05/1800.01 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.05/1800.01 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1800.05/1800.01 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.05/1800.01 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.05/1800.01 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.05/1800.01 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 1800.05/1800.01 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.05/1800.01 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1800.05/1800.01 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1800.05/1800.01 v -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.05/1800.01 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.05/1800.01 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 1800.05/1800.01 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.05/1800.01 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 1800.05/1800.01 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.05/1800.01 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1800.05/1800.01 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 1800.05/1800.01 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1800.05/1800.01 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.05/1800.01 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 1800.05/1800.01 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1800.05/1800.01 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 1800.05/1800.01 v -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.05/1800.01 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.05/1800.01 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.05/1800.01 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.05/1800.01 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1800.05/1800.01 v -x2414 x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.05/1800.01 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.05/1800.01 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1800.05/1800.01 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.05/1800.01 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.05/1800.01 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.05/1800.01 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 1800.05/1800.01 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1800.05/1800.01 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1800.05/1800.01 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1800.05/1800.01 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.05/1800.01 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 1800.05/1800.01 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.05/1800.01 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 1800.05/1800.01 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1800.05/1800.01 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.05/1800.01 v -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.05/1800.01 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.05/1800.01 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 1800.05/1800.01 v -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1800.05/1800.01 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.05/1800.01 v -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.05/1800.01 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1800.05/1800.01 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 1800.05/1800.01 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 1800.05/1800.01 v -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.05/1800.01 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.05/1800.01 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 1800.05/1800.01 v -x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 1800.05/1800.01 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.05/1800.01 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.05/1800.01 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.05/1800.01 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1800.05/1800.01 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.05/1800.01 v -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.05/1800.01 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.05/1800.01 v -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1800.05/1800.01 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.05/1800.01 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.05/1800.01 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 1800.05/1800.01 v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.05/1800.01 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.05/1800.01 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.05/1800.01 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.05/1800.01 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 1800.05/1800.01 v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 1800.05/1800.01 v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 1800.05/1800.01 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.05/1800.01 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 1800.05/1800.01 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.05/1800.01 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.05/1800.01 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 1800.05/1800.01 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 1800.05/1800.01 v -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.05/1800.01 v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.05/1800.01 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.05/1800.01 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 1800.05/1800.01 v -x3041 -x3042 x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.05/1800.01 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.05/1800.01 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 1800.05/1800.01 v -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.05/1800.01 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1800.05/1800.01 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 1800.05/1800.01 v -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 1800.05/1800.01 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 1800.05/1800.01 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.05/1800.01 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.05/1800.01 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1800.05/1800.01 v -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.05/1800.01 v -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.05/1800.01 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.05/1800.01 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.05/1800.01 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.05/1800.01 v -x3217 x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 1800.05/1800.01 v -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 1800.05/1800.01 v -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.05/1800.01 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 1800.05/1800.01 v -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 1800.05/1800.01 v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 1800.05/1800.01 v x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.05/1800.01 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1800.05/1800.01 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.05/1800.01 v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1800.05/1800.01 v x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.05/1800.01 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 1800.05/1800.01 v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.05/1800.01 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.05/1800.01 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1800.05/1800.01 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1800.05/1800.01 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1800.05/1800.01 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.05/1800.01 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.05/1800.01 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.05/1800.01 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1800.05/1800.01 v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.05/1800.01 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 1800.05/1800.01 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.05/1800.01 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1800.05/1800.01 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1800.05/1800.01 v -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 1800.05/1800.01 v -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 1800.05/1800.01 v -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1800.05/1800.01 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.05/1800.01 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.05/1800.01 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 1800.05/1800.01 v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 1800.05/1800.01 v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.05/1800.01 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1800.05/1800.01 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1800.05/1800.01 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1800.05/1800.01 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.05/1800.01 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645 1800.05/1800.01 v -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.05/1800.01 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.05/1800.01 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1800.05/1800.01 v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.05/1800.01 v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1800.05/1800.01 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1800.05/1800.01 v -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 1800.05/1800.01 v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1800.05/1800.01 v -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.05/1800.01 v -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 -x3755 1800.05/1800.01 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1800.05/1800.01 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.05/1800.01 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 1800.05/1800.01 v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 1800.05/1800.01 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.05/1800.01 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 1800.05/1800.01 v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.05/1800.01 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1800.05/1800.01 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1800.05/1800.01 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 1800.05/1800.01 v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 1800.05/1800.01 v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.05/1800.01 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.05/1800.01 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 1800.05/1800.01 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1800.05/1800.01 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.05/1800.01 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 1800.05/1800.01 v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1800.05/1800.01 v x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.05/1800.01 v -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1800.05/1800.01 v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.05/1800.01 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.05/1800.01 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 1800.05/1800.01 v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 1800.05/1800.01 v -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.05/1800.01 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 1800.05/1800.01 v -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1800.05/1800.01 v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 1800.05/1800.01 v -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 1800.05/1800.01 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.05/1800.01 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.05/1800.01 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1800.05/1800.01 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.05/1800.01 v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1800.05/1800.01 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1800.05/1800.01 v -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1800.05/1800.01 v x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.05/1800.01 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.05/1800.01 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.05/1800.01 v -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 1800.05/1800.01 v -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.05/1800.01 v x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 1800.05/1800.01 v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 1800.05/1800.01 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.05/1800.01 v -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.05/1800.01 v -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 1800.05/1800.01 v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 1800.05/1800.01 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1800.05/1800.01 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.05/1800.01 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 1800.05/1800.01 v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1800.05/1800.01 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.05/1800.01 v -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 x4335 x4336 x4337 -x4338 1800.05/1800.01 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 1800.05/1800.01 v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1800.05/1800.01 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1800.05/1800.01 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 1800.05/1800.01 v -x4383 x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 1800.05/1800.01 v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 1800.05/1800.01 v -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 1800.05/1800.01 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426 1800.05/1800.01 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 1800.05/1800.01 v -x4438 -x4439 -x4440 x4441 x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 1800.05/1800.01 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 1800.05/1800.01 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1800.05/1800.01 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 1800.05/1800.01 v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 1800.05/1800.01 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 1800.05/1800.01 v -x4504 -x4505 x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.05/1800.01 v -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.05/1800.01 v -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 1800.05/1800.01 v -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.05/1800.01 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 1800.05/1800.01 v -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 1800.05/1800.01 v x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 1800.05/1800.01 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 1800.05/1800.01 v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 1800.05/1800.01 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.05/1800.01 v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1800.05/1800.01 v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.05/1800.01 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 1800.05/1800.01 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1800.05/1800.01 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.05/1800.01 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 1800.05/1800.01 c INTERRUPTED : 1 1800.05/1800.01 c Models : 1+ 1800.05/1800.01 c Enumerated : 3 1800.05/1800.01 c Optimum : unknown 1800.05/1800.01 c Optimization : 154 1800.05/1800.01 c Time : 1800.010s (Solving: 1800.00s 1st Model: 0.01s Unsat: 0.00s) 1800.05/1800.01 c CPU Time : 1800.050s
OK 154
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468251-1307089047/watcher-3468251-1307089047 -o /tmp/evaluation-result-3468251-1307089047/solver-3468251-1307089047 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468251-1307089047.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/327 18687 /proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=14196 CPUtime=0 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1062 0 0 0 0 0 0 0 25 0 1 0 899135273 14536704 875 33554432000 4194304 4933572 140733744980816 18446744073709551615 4621662 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 3549 875 369 181 0 558 0 [startup+0.0710029 s] /proc/loadavg: 2.00 2.02 2.00 2/327 18687 /proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=14856 CPUtime=0.06 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1270 0 0 0 6 0 0 0 25 0 1 0 899135273 15212544 1083 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 3714 1083 384 181 0 723 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14856 [startup+0.100996 s] /proc/loadavg: 2.00 2.02 2.00 2/327 18687 /proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=15120 CPUtime=0.09 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1330 0 0 0 9 0 0 0 25 0 1 0 899135273 15482880 1143 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 3780 1143 385 181 0 789 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15120 [startup+0.300959 s] /proc/loadavg: 2.00 2.02 2.00 2/327 18687 /proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=15648 CPUtime=0.29 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1466 0 0 0 29 0 0 0 25 0 1 0 899135273 16023552 1279 33554432000 4194304 4933572 140733744980816 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 3912 1279 385 181 0 921 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15648 [startup+0.700881 s] /proc/loadavg: 2.00 2.02 2.00 2/327 18687 /proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=16044 CPUtime=0.69 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1563 0 0 0 69 0 0 0 25 0 1 0 899135273 16429056 1376 33554432000 4194304 4933572 140733744980816 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 4011 1379 385 181 0 1020 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16044 [startup+1.50077 s] /proc/loadavg: 2.00 2.02 2.00 3/328 18689 /proc/meminfo: memFree=24165768/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=16728 CPUtime=1.49 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1742 0 0 0 149 0 0 0 25 0 1 0 899135273 17129472 1555 33554432000 4194304 4933572 140733744980816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 4182 1555 385 181 0 1191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16728 [startup+3.10048 s] /proc/loadavg: 2.00 2.02 2.00 3/328 18689 /proc/meminfo: memFree=24164404/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=18180 CPUtime=3.09 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2105 0 0 0 309 0 0 0 25 0 1 0 899135273 18616320 1918 33554432000 4194304 4933572 140733744980816 18446744073709551615 4360887 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 4545 1918 385 181 0 1554 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18180 [startup+6.30089 s] /proc/loadavg: 2.00 2.02 2.00 3/328 18689 /proc/meminfo: memFree=24162540/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=18840 CPUtime=6.29 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2250 0 0 0 629 0 0 0 25 0 1 0 899135273 19292160 2063 33554432000 4194304 4933572 140733744980816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 4710 2063 385 181 0 1719 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18840 [startup+12.7007 s] /proc/loadavg: 2.00 2.02 2.00 3/328 18689 /proc/meminfo: memFree=24160684/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=20196 CPUtime=12.69 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2603 0 0 0 1269 0 0 0 25 0 1 0 899135273 20680704 2416 33554432000 4194304 4933572 140733744980816 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 5049 2416 385 181 0 2058 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20196 [startup+25.5004 s] /proc/loadavg: 2.00 2.02 2.00 3/328 18689 /proc/meminfo: memFree=24158808/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=21652 CPUtime=25.49 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2975 0 0 0 2549 0 0 0 25 0 1 0 899135273 22171648 2788 33554432000 4194304 4933572 140733744980816 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 5413 2788 385 181 0 2422 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21652 [startup+51.1007 s] /proc/loadavg: 2.00 2.01 2.00 3/328 18690 /proc/meminfo: memFree=24155792/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=23632 CPUtime=51.09 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 3464 0 0 0 5109 0 0 0 25 0 1 0 899135273 24199168 3277 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 5908 3277 385 181 0 2917 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 23632 [startup+102.312 s] /proc/loadavg: 2.00 2.01 2.00 3/328 18691 /proc/meminfo: memFree=24150936/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=26536 CPUtime=102.3 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 4185 0 0 0 10230 0 0 0 25 0 1 0 899135273 27172864 3998 33554432000 4194304 4933572 140733744980816 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 6634 3998 385 181 0 3643 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 26536 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18694 /proc/meminfo: memFree=24147528/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=28136 CPUtime=162.29 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 4582 0 0 0 16229 0 0 0 25 0 1 0 899135273 28811264 4395 33554432000 4194304 4933572 140733744980816 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 7034 4395 385 181 0 4043 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 28136 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18695 /proc/meminfo: memFree=24144748/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=30176 CPUtime=222.29 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 5091 0 0 0 22229 0 0 0 25 0 1 0 899135273 30900224 4904 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 7544 4904 385 181 0 4553 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 30176 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18698 /proc/meminfo: memFree=24143704/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=31104 CPUtime=282.3 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 5317 0 0 0 28230 0 0 0 25 0 1 0 899135273 31850496 5130 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428607 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 7776 5130 385 181 0 4785 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 31104 [startup+342.3 s] /proc/loadavg: 2.05 2.01 2.00 3/328 18701 /proc/meminfo: memFree=24140296/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=33728 CPUtime=342.3 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6029 0 0 0 34229 1 0 0 25 0 1 0 899135273 34537472 5791 33554432000 4194304 4933572 140733744980816 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 8432 5791 385 181 0 5441 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 33728 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/328 18702 /proc/meminfo: memFree=24139768/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=34540 CPUtime=402.31 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6248 0 0 0 40230 1 0 0 25 0 1 0 899135273 35368960 5973 33554432000 4194304 4933572 140733744980816 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 8635 5973 385 181 0 5644 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 34540 [startup+462.3 s] /proc/loadavg: 2.16 2.05 2.01 3/328 18704 /proc/meminfo: memFree=24137864/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=36992 CPUtime=462.3 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6982 0 0 0 46229 1 0 0 25 0 1 0 899135273 37879808 6588 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428583 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9248 6588 385 181 0 6257 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 36992 [startup+522.3 s] /proc/loadavg: 2.10 2.05 2.01 3/328 18705 /proc/meminfo: memFree=24137680/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=36992 CPUtime=522.3 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6982 0 0 0 52229 1 0 0 25 0 1 0 899135273 37879808 6588 33554432000 4194304 4933572 140733744980816 18446744073709551615 4632813 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9248 6588 385 181 0 6257 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 36992 [startup+582.3 s] /proc/loadavg: 2.04 2.04 2.01 3/328 18708 /proc/meminfo: memFree=24137140/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=37188 CPUtime=582.31 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7162 0 0 0 58230 1 0 0 25 0 1 0 899135273 38080512 6652 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9297 6652 385 181 0 6306 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 37188 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 2.00 3/328 18715 /proc/meminfo: memFree=24135364/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=39344 CPUtime=822.31 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7649 0 0 0 82230 1 0 0 25 0 1 0 899135273 40288256 7139 33554432000 4194304 4933572 140733744980816 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9836 7139 385 181 0 6845 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 39344 [startup+882.3 s] /proc/loadavg: 2.07 2.02 2.00 3/328 18718 /proc/meminfo: memFree=24135080/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=39504 CPUtime=882.31 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7695 0 0 0 88230 1 0 0 25 0 1 0 899135273 40452096 7185 33554432000 4194304 4933572 140733744980816 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9876 7185 385 181 0 6885 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 39504 [startup+942.3 s] /proc/loadavg: 2.02 2.02 2.00 3/328 18720 /proc/meminfo: memFree=24134792/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=39816 CPUtime=942.31 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7756 0 0 0 94230 1 0 0 25 0 1 0 899135273 40771584 7246 33554432000 4194304 4933572 140733744980816 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 9954 7246 385 181 0 6963 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 39816 [startup+1002.3 s] /proc/loadavg: 2.06 2.03 2.00 3/328 18721 /proc/meminfo: memFree=24134136/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=40800 CPUtime=1002.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7978 0 0 0 100231 2 0 0 25 0 1 0 899135273 41779200 7468 33554432000 4194304 4933572 140733744980816 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10200 7468 385 181 0 7209 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 40800 [startup+1062.3 s] /proc/loadavg: 2.02 2.02 2.00 3/328 18723 /proc/meminfo: memFree=24133364/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=40956 CPUtime=1062.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8037 0 0 0 106231 2 0 0 25 0 1 0 899135273 41938944 7527 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10239 7527 385 181 0 7248 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 40956 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/328 18724 /proc/meminfo: memFree=24132836/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=41412 CPUtime=1122.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8134 0 0 0 112231 2 0 0 25 0 1 0 899135273 42405888 7624 33554432000 4194304 4933572 140733744980816 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10353 7624 385 181 0 7362 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 41412 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/328 18726 /proc/meminfo: memFree=24131816/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=41684 CPUtime=1182.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8201 0 0 0 118231 2 0 0 25 0 1 0 899135273 42684416 7691 33554432000 4194304 4933572 140733744980816 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10421 7691 385 181 0 7430 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 41684 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18729 /proc/meminfo: memFree=24131764/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=42236 CPUtime=1242.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8340 0 0 0 124231 2 0 0 25 0 1 0 899135273 43249664 7830 33554432000 4194304 4933572 140733744980816 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10559 7830 385 181 0 7568 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 42236 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18733 /proc/meminfo: memFree=24130100/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=42536 CPUtime=1302.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8391 0 0 0 130232 2 0 0 25 0 1 0 899135273 43556864 7881 33554432000 4194304 4933572 140733744980816 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10634 7881 385 181 0 7643 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 42536 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18735 /proc/meminfo: memFree=24130832/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=42828 CPUtime=1362.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8462 0 0 0 136231 2 0 0 25 0 1 0 899135273 43855872 7952 33554432000 4194304 4933572 140733744980816 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10707 7952 385 181 0 7716 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 42828 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/328 18736 /proc/meminfo: memFree=24130184/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=43416 CPUtime=1422.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8587 0 0 0 142232 2 0 0 25 0 1 0 899135273 44457984 8077 33554432000 4194304 4933572 140733744980816 18446744073709551615 4621730 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10854 8077 385 181 0 7863 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 43416 [startup+1482.3 s] /proc/loadavg: 2.25 2.06 2.02 3/328 18739 /proc/meminfo: memFree=24129536/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=43952 CPUtime=1482.33 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8734 0 0 0 148231 2 0 0 25 0 1 0 899135273 45006848 8224 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369178 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 10988 8224 385 181 0 7997 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 43952 [startup+1542.3 s] /proc/loadavg: 2.16 2.06 2.02 3/328 18741 /proc/meminfo: memFree=24128868/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=44684 CPUtime=1542.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8901 0 0 0 154232 2 0 0 25 0 1 0 899135273 45756416 8391 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11171 8391 385 181 0 8180 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 44684 [startup+1602.3 s] /proc/loadavg: 2.06 2.05 2.01 3/328 18742 /proc/meminfo: memFree=24128684/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=44988 CPUtime=1602.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8976 0 0 0 160232 2 0 0 25 0 1 0 899135273 46067712 8466 33554432000 4194304 4933572 140733744980816 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11247 8466 385 181 0 8256 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 44988 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 2.00 3/328 18745 /proc/meminfo: memFree=24128168/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=45256 CPUtime=1662.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9030 0 0 0 166232 2 0 0 25 0 1 0 899135273 46342144 8520 33554432000 4194304 4933572 140733744980816 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11314 8520 385 181 0 8323 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 45256 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/328 18747 /proc/meminfo: memFree=24128132/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=45388 CPUtime=1722.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9068 0 0 0 172232 2 0 0 25 0 1 0 899135273 46477312 8558 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369134 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11347 8558 385 181 0 8356 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 45388 [startup+1782.3 s] /proc/loadavg: 1.93 2.01 1.99 3/328 18863 /proc/meminfo: memFree=24138996/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=45548 CPUtime=1782.34 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9100 0 0 0 178232 2 0 0 25 0 1 0 899135273 46641152 8590 33554432000 4194304 4933572 140733744980816 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11387 8590 385 181 0 8396 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 45548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.95 2.00 1.99 3/328 18864 /proc/meminfo: memFree=24134800/32951124 swapFree=67056304/67111528 [pid=18687] ppid=18685 vsize=45684 CPUtime=1800.05 cores=0,2,4,6 /proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9114 0 0 0 180003 2 0 0 25 0 1 0 899135273 46780416 8604 33554432000 4194304 4933572 140733744980816 18446744073709551615 4371360 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/18687/statm: 11421 8604 385 181 0 8430 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 45684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.031995 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 45684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.031995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9123 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= 5 involuntary context switches= 4222 runsolver used 5.88011 second user time and 12.1382 second system time The end
Begin job on node110 at 2011-06-03 10:17:27 IDJOB=3468251 IDBENCH=2044 IDSOLVER=1958 FILE ID=node110/3468251-1307089047 RUNJOBID= node110-1307082531-18157 PBS_JOBID= 13497878 Free space on /tmp= 74012 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468251-1307089047/watcher-3468251-1307089047 -o /tmp/evaluation-result-3468251-1307089047/solver-3468251-1307089047 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468251-1307089047.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=1650751968 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24170388 kB Buffers: 279488 kB Cached: 4555180 kB SwapCached: 8652 kB Active: 3964652 kB Inactive: 4495772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24170388 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 2152 kB Writeback: 0 kB AnonPages: 3623372 kB Mapped: 27848 kB Slab: 229164 kB PageTables: 27196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 75624080 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74012 MiB End job on node110 at 2011-06-03 10:47:29