Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0.6-R5325 (opt) | SAT (TO) | 14 | 1800.03 | 1800.31 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.591909 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 3659 |
Total number of constraints | 9385 |
Number of constraints which are clauses | 9385 |
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 | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1787 |
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 | 1787 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1787 |
Number of bits of the biggest sum of numbers | 11 |
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 Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...172852/instance-3709277-1338172852.opb 0.00/0.03 c Solving... 0.00/0.03 o 17 217.95/218.04 o 16 219.75/219.86 o 15 223.55/223.60 o 14 1800.01/1800.30 1800.01/1800.30 *** INTERRUPTED! *** 1800.01/1800.30 c Answer: 4 1800.01/1800.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.01/1800.30 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1800.01/1800.30 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 1800.01/1800.30 v -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 x59 x60 -x61 x62 1800.01/1800.30 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1800.01/1800.30 v -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 1800.01/1800.30 v -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x101 x102 x103 x104 x105 x106 -x107 1800.01/1800.30 v -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 -x119 -x120 1800.01/1800.30 v -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 x131 x132 -x133 1800.01/1800.30 v x134 x135 -x136 -x137 -x138 x139 -x140 -x141 x142 x143 -x144 -x145 -x146 1800.01/1800.30 v x147 -x148 x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 1800.01/1800.30 v x160 -x161 -x162 x163 x164 -x165 -x166 x167 x168 x169 x170 -x171 x172 x173 1800.01/1800.30 v -x174 -x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 x186 1800.01/1800.30 v -x187 -x188 x189 x190 x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 1800.01/1800.30 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.01/1800.30 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1800.01/1800.30 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.01/1800.30 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1800.01/1800.30 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 1800.01/1800.30 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 1800.01/1800.30 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1800.01/1800.30 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.01/1800.30 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1800.01/1800.30 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.01/1800.30 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1800.01/1800.30 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.01/1800.30 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 1800.01/1800.30 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1800.01/1800.30 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.01/1800.30 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 1800.01/1800.30 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.01/1800.30 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1800.01/1800.30 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.01/1800.30 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.01/1800.30 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 x448 -x449 -x450 -x451 -x452 1800.01/1800.30 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.01/1800.30 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 1800.01/1800.30 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.01/1800.30 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.01/1800.30 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.01/1800.30 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.01/1800.30 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 1800.01/1800.30 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.01/1800.30 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1800.01/1800.30 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.01/1800.30 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 1800.01/1800.30 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.01/1800.30 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.01/1800.30 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 1800.01/1800.30 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.01/1800.30 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1800.01/1800.30 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.01/1800.30 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1800.01/1800.30 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.01/1800.30 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.01/1800.30 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 1800.01/1800.30 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.01/1800.30 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1800.01/1800.30 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.01/1800.30 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1800.01/1800.30 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.01/1800.30 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.01/1800.30 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1800.01/1800.30 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1800.01/1800.30 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 1800.01/1800.30 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.01/1800.30 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1800.01/1800.30 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.01/1800.30 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.01/1800.30 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 1800.01/1800.30 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1800.01/1800.30 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1800.01/1800.30 v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.01/1800.30 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1800.01/1800.30 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.01/1800.30 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.01/1800.30 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1800.01/1800.30 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.01/1800.30 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1800.01/1800.30 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.01/1800.30 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 1800.01/1800.30 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.01/1800.30 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.01/1800.30 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.01/1800.30 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.01/1800.30 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.01/1800.30 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.01/1800.30 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.01/1800.30 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.01/1800.30 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.01/1800.30 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.01/1800.30 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.01/1800.30 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 1800.01/1800.30 v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.01/1800.30 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.01/1800.30 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1800.01/1800.30 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.01/1800.30 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1800.01/1800.30 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1800.01/1800.30 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.01/1800.30 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.01/1800.30 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.01/1800.30 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.01/1800.30 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.01/1800.30 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.01/1800.30 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.01/1800.30 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.01/1800.30 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.01/1800.30 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.01/1800.30 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1800.01/1800.30 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.01/1800.30 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.01/1800.30 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.01/1800.30 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.01/1800.30 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1800.01/1800.30 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.01/1800.30 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.01/1800.30 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.01/1800.30 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.01/1800.30 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.01/1800.30 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1800.01/1800.30 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.01/1800.30 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.01/1800.30 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.01/1800.30 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.01/1800.30 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.01/1800.30 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1800.01/1800.30 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.01/1800.30 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.01/1800.30 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.01/1800.30 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.01/1800.30 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.01/1800.30 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.01/1800.30 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.01/1800.30 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.01/1800.30 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.01/1800.30 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.01/1800.30 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.01/1800.30 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.01/1800.30 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.01/1800.30 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.01/1800.30 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.01/1800.30 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.01/1800.30 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.01/1800.30 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.01/1800.30 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.01/1800.30 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.01/1800.30 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.01/1800.30 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.01/1800.30 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1800.01/1800.30 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.01/1800.30 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.01/1800.30 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.01/1800.30 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.01/1800.30 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.01/1800.30 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.01/1800.30 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.01/1800.30 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1800.01/1800.30 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.01/1800.30 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.01/1800.30 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.01/1800.30 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.01/1800.30 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.01/1800.30 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.01/1800.30 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1800.01/1800.30 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.01/1800.30 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1800.01/1800.30 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.01/1800.30 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.01/1800.30 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.01/1800.30 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.01/1800.30 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1800.01/1800.30 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.01/1800.30 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.01/1800.30 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.01/1800.30 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.01/1800.30 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.01/1800.30 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.01/1800.30 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.01/1800.30 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.01/1800.30 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1800.01/1800.30 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.01/1800.30 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.01/1800.30 v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.01/1800.30 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 1800.01/1800.30 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.01/1800.30 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1800.01/1800.30 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.01/1800.30 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.01/1800.30 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.01/1800.30 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.01/1800.30 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.01/1800.30 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.01/1800.30 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.01/1800.30 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1800.01/1800.30 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.01/1800.30 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.01/1800.30 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1800.01/1800.30 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.01/1800.30 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.01/1800.30 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1800.01/1800.30 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.01/1800.30 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.01/1800.30 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.01/1800.30 v -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.01/1800.30 v -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.01/1800.30 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.01/1800.30 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.01/1800.30 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1800.01/1800.30 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.01/1800.30 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.01/1800.30 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.01/1800.30 v -x2446 -x2447 -x2448 -x2449 x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.01/1800.30 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.01/1800.30 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.01/1800.30 v -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.01/1800.30 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.01/1800.30 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.01/1800.30 v -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 1800.01/1800.30 v -x2523 -x2524 -x2525 -x2526 x2527 x2528 x2529 -x2530 -x2531 -x2532 -x2533 1800.01/1800.30 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.01/1800.30 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.01/1800.30 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1800.01/1800.30 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.01/1800.30 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.01/1800.30 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.01/1800.30 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.01/1800.30 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.01/1800.30 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1800.01/1800.30 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.01/1800.30 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.01/1800.30 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.01/1800.30 v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.01/1800.30 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.01/1800.30 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1800.01/1800.30 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.01/1800.30 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.01/1800.30 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.01/1800.30 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1800.01/1800.30 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.01/1800.30 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.01/1800.30 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.01/1800.30 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 1800.01/1800.30 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.01/1800.30 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.01/1800.30 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.01/1800.30 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.01/1800.30 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.01/1800.30 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 1800.01/1800.30 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.01/1800.30 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 1800.01/1800.30 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1800.01/1800.30 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.01/1800.30 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.01/1800.30 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.01/1800.30 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.01/1800.30 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.01/1800.30 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.01/1800.30 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.01/1800.30 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 1800.01/1800.30 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1800.01/1800.30 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.01/1800.30 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 1800.01/1800.30 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.01/1800.30 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.01/1800.30 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.01/1800.30 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1800.01/1800.30 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1800.01/1800.30 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 1800.01/1800.30 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 1800.01/1800.30 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1800.01/1800.30 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 1800.01/1800.30 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.01/1800.30 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.01/1800.30 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.01/1800.30 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.01/1800.30 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1800.01/1800.30 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.01/1800.30 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1800.01/1800.30 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1800.01/1800.30 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.01/1800.30 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1800.01/1800.30 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1800.01/1800.30 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 1800.01/1800.30 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 1800.01/1800.30 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 1800.01/1800.30 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1800.01/1800.30 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 1800.01/1800.30 v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 1800.01/1800.30 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.01/1800.30 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 1800.01/1800.30 v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.01/1800.30 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 1800.01/1800.30 v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1800.01/1800.30 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.01/1800.30 v -x3359 -x3360 x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1800.01/1800.30 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 1800.01/1800.30 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1800.01/1800.30 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1800.01/1800.30 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 1800.01/1800.30 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1800.01/1800.30 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.01/1800.30 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 1800.01/1800.30 v x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 1800.01/1800.30 v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 1800.01/1800.30 v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 1800.01/1800.30 v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.01/1800.30 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 1800.01/1800.30 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.01/1800.30 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 1800.01/1800.30 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 1800.01/1800.30 v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1800.01/1800.30 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.01/1800.30 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1800.01/1800.30 v -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 1800.01/1800.30 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1800.01/1800.30 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.01/1800.30 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.01/1800.30 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 1800.01/1800.30 v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 1800.01/1800.30 v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 1800.01/1800.30 v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 1800.01/1800.30 v -x3656 -x3657 -x3658 -x3659 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 1800.01/1800.30 c INTERRUPTED : 1 1800.01/1800.30 c Models : 1+ 1800.01/1800.30 c Enumerated : 4 1800.01/1800.30 c Optimum : unknown 1800.01/1800.30 c Optimization : 14 1800.01/1800.30 c Time : 1800.303s (Solving: 1800.27s 1st Model: 0.00s Unsat: 0.00s) 1800.01/1800.30 c CPU Time : 1800.010s
OK 14
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3709277-1338172852/watcher-3709277-1338172852 -o /tmp/evaluation-result-3709277-1338172852/solver-3709277-1338172852 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709277-1338172852.opb 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: 1.92 1.98 1.99 2/178 405 /proc/meminfo: memFree=31407620/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [startup+0.0764269 s] /proc/loadavg: 1.92 1.98 1.99 2/178 405 /proc/meminfo: memFree=31407620/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100211 s] /proc/loadavg: 1.92 1.98 1.99 2/178 405 /proc/meminfo: memFree=31407620/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300171 s] /proc/loadavg: 1.92 1.98 1.99 2/178 405 /proc/meminfo: memFree=31407620/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700174 s] /proc/loadavg: 1.92 1.98 1.99 2/178 405 /proc/meminfo: memFree=31407620/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50021 s] /proc/loadavg: 1.92 1.98 1.99 3/180 407 /proc/meminfo: memFree=31405140/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=4508 CPUtime=1.49 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 915 0 0 0 149 0 0 0 20 0 1 0 283410840 4616192 813 33554432000 4194304 6212839 140735785328928 140735785327080 4674384 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1127 813 238 493 0 632 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13660 [startup+3.10021 s] /proc/loadavg: 1.92 1.98 1.99 3/180 407 /proc/meminfo: memFree=31404396/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=4640 CPUtime=3.09 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 965 0 0 0 309 0 0 0 20 0 1 0 283410840 4751360 863 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1160 863 238 493 0 665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13792 [startup+6.30021 s] /proc/loadavg: 1.93 1.98 1.99 3/180 407 /proc/meminfo: memFree=31403156/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=5060 CPUtime=6.29 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1041 0 0 0 629 0 0 0 20 0 1 0 283410840 5181440 939 33554432000 4194304 6212839 140735785328928 140735785327080 4705179 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1265 939 238 493 0 770 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14212 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.99 3/179 407 /proc/meminfo: memFree=31401624/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=5472 CPUtime=12.69 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1148 0 0 0 1269 0 0 0 20 0 1 0 283410840 5603328 1046 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1368 1046 238 493 0 873 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14624 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/179 408 /proc/meminfo: memFree=31400392/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=6004 CPUtime=25.49 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1277 0 0 0 2549 0 0 0 20 0 1 0 283410840 6148096 1175 33554432000 4194304 6212839 140735785328928 140735785327080 4685724 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1501 1175 238 493 0 1006 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15156 [startup+51.1002 s] /proc/loadavg: 1.96 1.98 1.99 3/179 408 /proc/meminfo: memFree=31398776/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=6704 CPUtime=51.08 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1476 0 0 0 5108 0 0 0 20 0 1 0 283410840 6864896 1376 33554432000 4194304 6212839 140735785328928 140735785327080 4685699 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/406/statm: 1676 1376 238 493 0 1181 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15856 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/179 408 /proc/meminfo: memFree=31395612/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=7812 CPUtime=102.28 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1727 0 0 0 10228 0 0 0 20 0 1 0 283410840 7999488 1627 33554432000 4194304 6212839 140735785328928 140735785327080 4685814 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 1953 1627 238 493 0 1458 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 16964 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 408 /proc/meminfo: memFree=31392632/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=8936 CPUtime=162.26 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 1982 0 0 0 16226 0 0 0 20 0 1 0 283410840 9150464 1886 33554432000 4194304 6212839 140735785328928 140735785327080 4685699 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 2234 1886 238 493 0 1739 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 18088 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 408 /proc/meminfo: memFree=31391392/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=9708 CPUtime=222.25 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 2195 0 0 0 22225 0 0 0 20 0 1 0 283410840 9940992 2099 33554432000 4194304 6212839 140735785328928 140735785327080 4333860 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 2427 2099 238 493 0 1932 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 18860 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 408 /proc/meminfo: memFree=31389404/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=10772 CPUtime=282.24 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 2419 0 0 0 28224 0 0 0 20 0 1 0 283410840 11030528 2351 33554432000 4194304 6212839 140735785328928 140735785327080 4683384 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 2693 2351 238 493 0 2198 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 19924 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 409 /proc/meminfo: memFree=31388412/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=11184 CPUtime=342.23 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 2497 0 0 0 34223 0 0 0 20 0 1 0 283410840 11452416 2429 33554432000 4194304 6212839 140735785328928 140735785327080 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 2796 2429 238 493 0 2301 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 20336 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 409 /proc/meminfo: memFree=31387792/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=14372 CPUtime=1122.11 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3215 0 0 0 112211 0 0 0 20 0 1 0 283410840 14716928 3262 33554432000 4194304 6212839 140735785328928 140735785327080 4685428 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3593 3262 238 493 0 3098 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 23524 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 417 /proc/meminfo: memFree=31381204/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15016 CPUtime=1182.1 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3340 0 0 0 118210 0 0 0 20 0 1 0 283410840 15376384 3387 33554432000 4194304 6212839 140735785328928 140735785327080 4685749 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3754 3387 238 493 0 3259 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 24168 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 443 /proc/meminfo: memFree=31380212/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15168 CPUtime=1242.09 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3386 0 0 0 124209 0 0 0 20 0 1 0 283410840 15532032 3433 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3792 3433 238 493 0 3297 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 24320 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 443 /proc/meminfo: memFree=31380220/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15316 CPUtime=1302.09 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3408 0 0 0 130209 0 0 0 20 0 1 0 283410840 15683584 3455 33554432000 4194304 6212839 140735785328928 140735785327080 4372048 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3829 3455 238 493 0 3334 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 24468 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 443 /proc/meminfo: memFree=31380220/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15316 CPUtime=1362.07 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3420 0 0 0 136207 0 0 0 20 0 1 0 283410840 15683584 3467 33554432000 4194304 6212839 140735785328928 140735785327080 4634928 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3829 3467 238 493 0 3334 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 24468 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 443 /proc/meminfo: memFree=31380096/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15484 CPUtime=1422.07 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3434 0 0 0 142207 0 0 0 20 0 1 0 283410840 15855616 3481 33554432000 4194304 6212839 140735785328928 140735785327080 4634990 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3871 3481 238 493 0 3376 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 24636 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 443 /proc/meminfo: memFree=31379536/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15656 CPUtime=1482.05 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3482 0 0 0 148205 0 0 0 20 0 1 0 283410840 16031744 3594 33554432000 4194304 6212839 140735785328928 140735785327080 4333840 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3914 3594 238 493 0 3419 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 24808 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 443 /proc/meminfo: memFree=31379544/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15656 CPUtime=1542.04 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3492 0 0 0 154204 0 0 0 20 0 1 0 283410840 16031744 3604 33554432000 4194304 6212839 140735785328928 140735785327080 4422301 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3914 3604 238 493 0 3419 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 24808 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 444 /proc/meminfo: memFree=31379412/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15824 CPUtime=1602.04 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3517 0 0 0 160204 0 0 0 20 0 1 0 283410840 16203776 3629 33554432000 4194304 6212839 140735785328928 140735785327080 4372067 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3956 3629 238 493 0 3461 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 24976 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 444 /proc/meminfo: memFree=31378916/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=15992 CPUtime=1662.03 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3540 0 0 0 166203 0 0 0 20 0 1 0 283410840 16375808 3652 33554432000 4194304 6212839 140735785328928 140735785327080 4683194 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 3998 3652 238 493 0 3503 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 25144 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 444 /proc/meminfo: memFree=31378668/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=16160 CPUtime=1722.02 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3589 0 0 0 172202 0 0 0 20 0 1 0 283410840 16547840 3701 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 4040 3701 238 493 0 3545 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 25312 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 447 /proc/meminfo: memFree=31378660/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=16160 CPUtime=1782.01 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3600 0 0 0 178201 0 0 0 20 0 1 0 283410840 16547840 3712 33554432000 4194304 6212839 140735785328928 140735785327080 4333860 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 4040 3712 238 493 0 3545 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 25312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 487 /proc/meminfo: memFree=31392420/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=16160 CPUtime=1800.01 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3600 0 0 0 180001 0 0 0 20 0 1 0 283410840 16547840 3712 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 4040 3712 238 493 0 3545 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 25312 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 487 /proc/meminfo: memFree=31392420/32873844 swapFree=7112/7112 [pid=405] ppid=403 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (clasp-opt.sh) S 403 405 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283410840 9371648 275 33554432000 4194304 5064252 140734779115232 140734779114144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2288 275 232 213 0 73 0 [pid=406] ppid=405 vsize=16160 CPUtime=1800.01 cores=0,2,4,6 /proc/406/stat : 406 (clasp-R5325) R 405 405 30483 0 -1 4202496 3600 0 0 0 180001 0 0 0 20 0 1 0 283410840 16547840 3712 33554432000 4194304 6212839 140735785328928 140735785327080 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/406/statm: 4040 3712 238 493 0 3545 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 25312 Child status: 10 Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1800.02 CPU system time (s): 0.010998 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 25312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.010998 maximum resident set size= 14880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3973 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= 11 involuntary context switches= 1891 runsolver used 2.69159 second user time and 7.13492 second system time The end
Begin job on node119 at 2012-05-28 04:40:52 IDJOB=3709277 IDBENCH=25007 IDSOLVER=2288 FILE ID=node119/3709277-1338172852 RUNJOBID= node119-1338147404-30499 PBS_JOBID= 14624518 Free space on /tmp= 71608 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709277-1338172852/watcher-3709277-1338172852 -o /tmp/evaluation-result-3709277-1338172852/solver-3709277-1338172852 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709277-1338172852.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=567565931 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31408172 kB Buffers: 314292 kB Cached: 343544 kB SwapCached: 1844 kB Active: 516924 kB Inactive: 149828 kB Active(anon): 9188 kB Inactive(anon): 2068 kB Active(file): 507736 kB Inactive(file): 147760 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100196 kB Dirty: 5396 kB Writeback: 0 kB AnonPages: 55220 kB Mapped: 12844 kB Shmem: 8 kB Slab: 658768 kB SReclaimable: 100432 kB SUnreclaim: 558336 kB KernelStack: 1496 kB PageTables: 3848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 128360 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71608 MiB End job on node119 at 2012-05-28 05:10:52