Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 14 | 231.029 | 231.087 |
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 | 1.91671 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680445-1277459936.opb. 0.00/0.00 c Instance file HOME/instance-2680445-1277459936.opb 0.00/0.00 c File size is 284407 bytes. 0.00/0.04 c Highest Coefficient sum: 128 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.05 s | 0.00/0.04 c | Number Variables: 3659 | 0.00/0.04 c | Number Clauses: 9385 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 3243 9599 21776 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 19 0.19/0.21 o 19 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 2 | 3243 9600 23563 | 5000 2 6 | 0.000 % | 0.19/0.24 c | 103 | 3243 9600 23563 | 5500 103 88 | 11.369 % | 0.29/0.31 c | 254 | 3243 9600 23563 | 6050 254 50 | 11.369 % | 0.39/0.40 c | 479 | 3243 9600 23563 | 6655 479 43 | 11.369 % | 0.49/0.54 c | 816 | 3243 9600 23563 | 7320 816 39 | 11.369 % | 0.69/0.73 c | 1323 | 3243 9600 23563 | 8052 1323 48 | 11.369 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 17 0.69/0.74 o 17 0.69/0.74 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 1337 | 3243 9601 25350 | 5000 1337 48 | 11.369 % | 0.69/0.78 c | 1437 | 3243 9601 25350 | 5500 1437 47 | 11.369 % | 0.79/0.84 c | 1588 | 3243 9601 25350 | 6050 1588 46 | 11.369 % | 0.89/0.93 c | 1813 | 3243 9601 25350 | 6655 1813 48 | 11.369 % | 1.00/1.08 c | 2153 | 3243 9601 25350 | 7320 2153 46 | 11.369 % | 1.29/1.31 c | 2660 | 3243 9601 25350 | 8052 2660 45 | 11.369 % | 1.59/1.62 c | 3419 | 3243 9601 25350 | 8857 3419 42 | 11.369 % | 1.99/2.07 c | 4560 | 3243 9601 25350 | 9743 4560 40 | 11.369 % | 2.59/2.65 c | 6269 | 3243 9601 25350 | 10717 6269 43 | 11.369 % | 3.70/3.75 c | 8836 | 3243 9601 25350 | 11789 8836 41 | 11.369 % | 5.19/5.21 c | 12681 | 3243 9601 25350 | 12968 6409 60 | 11.369 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 16 6.29/6.34 o 16 6.29/6.34 c Elapsed CPU time: 6.28005 s Remaining CPU time: 173.72 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 15000 | 3243 9602 27137 | 5000 8728 52 | 11.369 % | 6.39/6.40 c | 15100 | 3243 9602 27137 | 5500 4464 53 | 11.369 % | 6.39/6.46 c | 15251 | 3243 9602 27137 | 6050 4615 53 | 11.369 % | 6.49/6.57 c | 15477 | 3243 9602 27137 | 6655 4841 51 | 11.369 % | 6.70/6.74 c | 15815 | 3243 9602 27137 | 7320 5179 52 | 11.369 % | 6.89/6.91 c | 16323 | 3243 9602 27137 | 8052 5687 53 | 11.369 % | 7.19/7.22 c | 17083 | 3243 9602 27137 | 8857 6447 56 | 11.369 % | 7.59/7.70 c | 18222 | 3243 9602 27137 | 9743 7586 52 | 11.369 % | 8.29/8.36 c | 19931 | 3243 9602 27137 | 10717 9295 48 | 11.369 % | 9.39/9.41 c | 22493 | 3243 9602 27137 | 11789 6159 53 | 11.369 % | 11.10/11.13 c | 26338 | 3243 9602 27137 | 12968 10004 45 | 11.369 % | 13.59/13.69 c | 32104 | 3243 9602 27137 | 14265 8951 59 | 11.369 % | 17.79/17.81 c | 40753 | 3243 9602 27137 | 15692 10168 39 | 11.369 % | 24.29/24.33 c | 53728 | 3243 9602 27137 | 17261 14967 71 | 11.369 % | 32.99/33.01 c | 73189 | 3243 9602 27137 | 18987 16520 44 | 11.369 % | 46.78/46.84 c | 102381 | 3243 9602 27137 | 20886 16283 31 | 11.369 % | 68.87/68.99 c | 146172 | 3243 9602 27137 | 22974 16882 69 | 11.369 % | 98.27/98.30 c | 211857 | 3243 9602 27137 | 25272 22818 83 | 11.369 % | 150.85/150.99 c | 310383 | 3243 9602 27137 | 27799 18718 33 | 11.369 % | 181.55/181.66 c There are 416 assigned variables. 99 in cost function. 182.14/182.20 c core #1 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: 2 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #2 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 4 Core Weight: 1 Total Weight: 3 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #3 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 8 Core Weight: 1 Total Weight: 4 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #4 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 4 Core Weight: 1 Total Weight: 5 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #5 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 77 Core Weight: 1 Total Weight: 6 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #6 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 26 Core Weight: 1 Total Weight: 7 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #7 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 17 Core Weight: 1 Total Weight: 8 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #8 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 44 Core Weight: 1 Total Weight: 9 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #9 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 18 Core Weight: 1 Total Weight: 10 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c ============================[ Search Statistics ]============================== 182.14/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.20 c =============================================================================== 182.14/182.20 c | 0 | 425 9963 17119 | 5000 0 nan | 0.000 % | 182.14/182.21 c =============================================================================== 182.14/182.23 c core #10 182.14/182.23 c 182.14/182.23 c 182.14/182.23 c Core size: 198 Core Weight: 1 Total Weight: 11 182.14/182.23 c 182.14/182.23 c 182.14/182.23 c ============================[ Search Statistics ]============================== 182.14/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.23 c =============================================================================== 182.14/182.23 c | 0 | 676 9964 18360 | 5000 0 nan | 0.000 % | 182.14/182.24 c | 100 | 676 9964 18360 | 5500 100 45 | 82.671 % | 182.14/182.25 c =============================================================================== 182.14/182.27 c core #11 182.14/182.27 c 182.14/182.27 c 182.14/182.27 c Core size: 227 Core Weight: 1 Total Weight: 12 182.14/182.27 c 182.14/182.27 c 182.14/182.27 c ============================[ Search Statistics ]============================== 182.14/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.27 c =============================================================================== 182.14/182.27 c | 0 | 882 9965 19027 | 5000 0 nan | 0.000 % | 182.14/182.28 c | 101 | 882 9965 19027 | 5500 101 36 | 78.222 % | 182.25/182.30 c | 251 | 882 9965 19027 | 6050 251 33 | 78.222 % | 182.25/182.33 c | 479 | 882 9965 19027 | 6655 479 29 | 78.222 % | 182.25/182.38 c | 819 | 882 9965 19027 | 7320 819 32 | 78.222 % | 182.34/182.46 c | 1325 | 882 9965 19027 | 8052 1325 38 | 78.222 % | 182.44/182.51 c =============================================================================== 182.44/182.54 c core #12 182.44/182.54 c 182.44/182.54 c 182.44/182.54 c Core size: 261 Core Weight: 1 Total Weight: 13 182.44/182.54 c 182.44/182.54 c 182.44/182.54 c ============================[ Search Statistics ]============================== 182.44/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.54 c =============================================================================== 182.44/182.54 c | 0 | 1127 9966 19587 | 5000 0 nan | 0.000 % | 182.44/182.56 c | 102 | 1127 9966 19587 | 5500 102 62 | 73.563 % | 182.44/182.58 c | 253 | 1127 9966 19587 | 6050 253 79 | 73.563 % | 182.55/182.61 c | 485 | 1127 9966 19587 | 6655 485 74 | 73.563 % | 182.55/182.67 c | 822 | 1127 9966 19587 | 7320 822 69 | 73.563 % | 182.65/182.77 c | 1329 | 1127 9966 19587 | 8052 1329 76 | 73.563 % | 182.84/182.92 c | 2090 | 1127 9966 19587 | 8857 2090 72 | 73.563 % | 183.14/183.21 c | 3238 | 1127 9966 19587 | 9743 3238 72 | 73.563 % | 183.54/183.67 c | 4947 | 1127 9966 19587 | 10717 4947 70 | 73.563 % | 184.24/184.38 c | 7509 | 1127 9966 19587 | 11789 7509 72 | 73.563 % | 185.74/185.89 c | 11353 | 1127 9966 19587 | 12968 11353 71 | 73.563 % | 188.54/188.64 c | 17119 | 1127 9966 19587 | 14265 8949 80 | 73.563 % | 193.04/193.18 c | 25768 | 1127 9966 19587 | 15692 8819 88 | 73.563 % | 198.24/198.34 c | 38743 | 1127 9966 19587 | 17261 12360 66 | 73.563 % | 206.34/206.43 c | 58204 | 1127 9966 19587 | 18987 11277 83 | 73.563 % | 218.74/218.89 c | 87396 | 1127 9966 19587 | 20886 18185 68 | 73.563 % | 228.44/228.58 c =============================================================================== 230.84/230.98 c core #13 230.84/230.98 c 230.84/230.98 c 230.84/230.98 c Core size: 275 Core Weight: 1 Total Weight: 14 230.84/230.98 c 230.84/230.98 c 230.84/230.98 c ============================[ Search Statistics ]============================== 230.84/230.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.84/230.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.84/230.98 c =============================================================================== 230.84/230.98 c | 0 | 1407 9968 20241 | 5000 0 nan | 0.000 % | 230.94/231.03 c | 100 | 1407 9968 20241 | 5500 100 62 | 68.796 % | 230.94/231.06 c | 251 | 1407 9968 20241 | 6050 251 59 | 68.796 % | 230.94/231.06 c =============================================================================== 230.94/231.06 c #cores: 13 230.94/231.06 c Final Weight: 14 230.94/231.06 o 14 230.94/231.06 s OPTIMUM FOUND 230.94/231.06 v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2360 -x2362 x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 -x2486 -x2488 -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 x2511 -x2513 -x2515 x2516 -x2518 -x2520 x2521 -x2523 -x2525 x2526 -x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 x3361 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3565 -x3566 -x3568 -x3570 -x3571 -x3572 x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 x3646 -x3647 -x3649 -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x5 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x20 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 -x1726 -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 -x1748 -x23 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 -x27 -x1853 -x1855 -x1857 -x1860 -x28 -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x29 -x1885 -x1887 -x1890 -x1892 -x1894 -x30 -x1896 -x1898 -x1900 -x1903 x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 x33 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202 -x2204 -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 x38 x2238 -x2240 -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 -x42 -x2331 -x2334 -x2337 -x43 -x2339 -x2341 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x44 -x2356 -x2358 -x2361 x45 -x2364 -x2366 -x2368 -x2370 -x2372 -x46 -x47 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x49 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x50 -x2452 -x2454 -x2456 -x51 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x52 -x2476 -x2478 -x2480 -x2482 -x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x56 -x2507 -x2509 x57 -x2512 -x2514 x58 -x2517 -x2519 x59 -x2522 -x2524 x60 -x2527 x61 x62 -x2530 -x63 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 -x70 -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015 -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081 -x3083 -x3085 -x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 -x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181 -x3183 -x3185 -x84 -x85 -x3187 -x3189 -x3191 -x3193 -x3196 -x86 -x3198 -x3200 -x3202 -x87 -x3204 x88 -x89 -x3206 x90 -x3208 -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x94 -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 -x96 -x3294 -x97 -x3296 -x98 -x99 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341 -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 x103 -x3362 -x3365 -x104 -x3368 -x105 x106 -x107 -x3371 -x3373 -x3376 -x3378 -x3380 -x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x109 x110 x111 x112 -x113 -x3395 -x3397 x114 -x3400 x115 -x116 x117 x118 -x3402 -x3404 -x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 -x120 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x121 -x3477 -x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 -x125 -x126 -x3526 -x127 x128 x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 -x130 -x131 -x3541 -x132 -x3543 -x133 -x3545 -x3548 -x3550 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 x134 -x3569 x135 -x3574 x136 -x137 -x3578 -x3580 -x3582 -x138 -x139 x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 x142 -x3597 -x143 -x144 x145 x146 x147 x148 -x149 x150 x151 -x152 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 -x154 -x3621 -x3623 -x155 -x156 -x3625 -x3627 -x157 -x3629 x158 -x159 -x3633 -x3635 -x160 -x3637 -x161 -x3639 -x162 x163 -x164 -x165 -x3643 x166 -x167 x168 -x169 x170 -x171 -x172 x173 -x174 x175 x3645 x176 -x177 x178 -x3648 -x3650 x179 x180 x181 -x3653 -x3656 x182 x183 x184 x185 -x186 -x187 x188 x189 x190 x191 x192 x193 x194 230.94/231.06 c Total CPU time: 228.907 s
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680445-1277459936/watcher-2680445-1277459936 -o /tmp/evaluation-result-2680445-1277459936/solver-2680445-1277459936 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680445-1277459936.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.02 1.00 3/106 25899 /proc/meminfo: memFree=1833996/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=3216 CPUtime=0 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 87288677 3293184 286 1992294400 134512640 135752675 4288380192 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 804 286 139 303 0 429 0 [startup+0.100244 s] /proc/loadavg: 1.05 1.02 1.00 3/106 25899 /proc/meminfo: memFree=1833996/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=4704 CPUtime=0.09 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 864 0 0 0 9 0 0 0 20 0 1 0 87288677 4816896 713 1992294400 134512640 135752675 4288380192 18446744073709551615 134580122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1176 713 141 303 0 871 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4704 [startup+0.201251 s] /proc/loadavg: 1.05 1.02 1.00 3/106 25899 /proc/meminfo: memFree=1833996/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=4704 CPUtime=0.19 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 890 0 0 0 19 0 0 0 20 0 1 0 87288677 4816896 739 1992294400 134512640 135752675 4288380192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1176 739 141 303 0 871 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4704 [startup+0.301258 s] /proc/loadavg: 1.05 1.02 1.00 3/106 25899 /proc/meminfo: memFree=1833996/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=4704 CPUtime=0.29 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 894 0 0 0 28 1 0 0 20 0 1 0 87288677 4816896 743 1992294400 134512640 135752675 4288380192 18446744073709551615 134616010 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1176 743 145 303 0 871 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4704 [startup+0.701285 s] /proc/loadavg: 1.05 1.02 1.00 3/106 25899 /proc/meminfo: memFree=1833996/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=4704 CPUtime=0.69 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 894 0 0 0 68 1 0 0 20 0 1 0 87288677 4816896 743 1992294400 134512640 135752675 4288380192 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1176 743 145 303 0 871 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4704 [startup+1.50134 s] /proc/loadavg: 1.05 1.02 1.00 2/107 25900 /proc/meminfo: memFree=1831508/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=4836 CPUtime=1.49 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 903 0 0 0 147 2 0 0 22 0 1 0 87288677 4952064 752 1992294400 134512640 135752675 4288380192 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1209 752 145 303 0 904 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4836 [startup+3.10145 s] /proc/loadavg: 1.04 1.02 1.00 2/107 25900 /proc/meminfo: memFree=1830640/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=6016 CPUtime=3.09 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 1216 0 0 0 306 3 0 0 25 0 1 0 87288677 6160384 1065 1992294400 134512640 135752675 4288380192 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 1504 1065 145 303 0 1199 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6016 [startup+6.30068 s] /proc/loadavg: 1.04 1.02 1.00 2/107 25900 /proc/meminfo: memFree=1827540/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=8708 CPUtime=6.29 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 1886 0 0 0 623 6 0 0 25 0 1 0 87288677 8916992 1735 1992294400 134512640 135752675 4288380192 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 2177 1735 145 303 0 1872 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8708 [startup+12.7011 s] /proc/loadavg: 1.04 1.02 1.00 2/107 25902 /proc/meminfo: memFree=1822704/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=13688 CPUtime=12.69 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 3117 0 0 0 1258 11 0 0 25 0 1 0 87288677 14016512 2966 1992294400 134512640 135752675 4288380192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 3422 2966 145 303 0 3117 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13688 [startup+25.501 s] /proc/loadavg: 1.03 1.02 1.00 2/107 25902 /proc/meminfo: memFree=1812660/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=23316 CPUtime=25.48 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 5531 0 0 0 2528 20 0 0 25 0 1 0 87288677 23875584 5380 1992294400 134512640 135752675 4288380192 18446744073709551615 134605197 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 5829 5380 145 303 0 5524 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23316 [startup+51.1008 s] /proc/loadavg: 1.02 1.02 1.00 2/107 25902 /proc/meminfo: memFree=1797408/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=39016 CPUtime=51.08 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 9434 0 0 0 5068 40 0 0 25 0 1 0 87288677 39952384 9283 1992294400 134512640 135752675 4288380192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 9754 9283 145 303 0 9449 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39016 [startup+102.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 25904 /proc/meminfo: memFree=1750908/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=84732 CPUtime=102.28 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 20876 0 0 0 10132 96 0 0 25 0 1 0 87288677 86765568 20725 1992294400 134512640 135752675 4288380192 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 21183 20725 145 303 0 20878 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 84732 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25915 /proc/meminfo: memFree=1719784/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=115720 CPUtime=162.25 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 28601 0 0 0 16083 142 0 0 25 0 1 0 87288677 118497280 28450 1992294400 134512640 135752675 4288380192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 28930 28450 145 303 0 28625 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 115720 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1685188/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=149616 CPUtime=222.24 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 37147 0 0 0 22024 200 0 0 25 0 1 0 87288677 153206784 36968 1992294400 134512640 135752675 4288380192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 37404 36968 146 303 0 37099 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 149616 Solver just ended. Dumping a history of the last processes samples [startup+224.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1684072/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=151464 CPUtime=223.93 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 37596 0 0 0 22191 202 0 0 25 0 1 0 87288677 155099136 37417 1992294400 134512640 135752675 4288380192 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 37866 37417 146 303 0 37561 0 Current children cumulated CPU time (s) 223.93 Current children cumulated vsize (KiB) 151464 [startup+227.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1680476/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=154768 CPUtime=227.13 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 38435 0 0 0 22505 208 0 0 25 0 1 0 87288677 158482432 38256 1992294400 134512640 135752675 4288380192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 38692 38256 146 303 0 38387 0 Current children cumulated CPU time (s) 227.13 Current children cumulated vsize (KiB) 154768 [startup+228.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1679112/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=155700 CPUtime=228.74 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 38658 0 0 0 22664 210 0 0 25 0 1 0 87288677 159436800 38479 1992294400 134512640 135752675 4288380192 18446744073709551615 134521522 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 38925 38479 146 303 0 38620 0 Current children cumulated CPU time (s) 228.74 Current children cumulated vsize (KiB) 155700 [startup+230.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1679112/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=155700 CPUtime=230.34 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 38658 0 0 0 22824 210 0 0 25 0 1 0 87288677 159436800 38479 1992294400 134512640 135752675 4288380192 18446744073709551615 134615253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 38925 38479 146 303 0 38620 0 Current children cumulated CPU time (s) 230.34 Current children cumulated vsize (KiB) 155700 [startup+230.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1679112/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=155700 CPUtime=230.74 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 38658 0 0 0 22864 210 0 0 25 0 1 0 87288677 159436800 38479 1992294400 134512640 135752675 4288380192 18446744073709551615 134615253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 38925 38479 146 303 0 38620 0 Current children cumulated CPU time (s) 230.74 Current children cumulated vsize (KiB) 155700 [startup+231.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25915 /proc/meminfo: memFree=1678368/2059040 swapFree=4140168/4192956 [pid=25899] ppid=25897 vsize=156528 CPUtime=230.94 /proc/25899/stat : 25899 (wbo1.4b) R 25897 25899 25465 0 -1 4202496 38831 0 0 0 22884 210 0 0 25 0 1 0 87288677 160284672 38652 1992294400 134512640 135752675 4288380192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25899/statm: 39132 38652 146 303 0 38827 0 Current children cumulated CPU time (s) 230.94 Current children cumulated vsize (KiB) 156528 Child status: 0 Real time (s): 231.087 CPU time (s): 231.029 CPU user time (s): 228.907 CPU system time (s): 2.12168 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 156528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 228.907 system time used= 2.12168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38832 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= 8 involuntary context switches= 400 runsolver used 0.373943 second user time and 1.11283 second system time The end
Begin job on node034 at 2010-06-25 11:58:56 IDJOB=2680445 IDBENCH=25007 IDSOLVER=1190 FILE ID=node034/2680445-1277459936 PBS_JOBID= 11188132 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680445-1277459936/watcher-2680445-1277459936 -o /tmp/evaluation-result-2680445-1277459936/solver-2680445-1277459936 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680445-1277459936.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=773083848 node034.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834400 kB Buffers: 37724 kB Cached: 84412 kB SwapCached: 5348 kB Active: 59764 kB Inactive: 75596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834400 kB SwapTotal: 4192956 kB SwapFree: 4140168 kB Dirty: 2868 kB Writeback: 0 kB AnonPages: 11848 kB Mapped: 12036 kB Slab: 67292 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182608 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62432 MiB End job on node034 at 2010-06-25 12:02:47