Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | OPT | 25 | 154.631 | 154.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 28.5777 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
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 | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
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 | 1906 |
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.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460680-1307107922.opb. 0.00/0.00 c Instance file HOME/instance-3460680-1307107922.opb 0.00/0.00 c File size is 328518 bytes. 0.00/0.02 c Highest Coefficient sum: 64 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 3973 | 0.00/0.02 c | Number Clauses: 11097 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 3758 11097 26767 | 5000 0 -nan | 0.000 % | 0.09/0.11 c core #1 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 45 Core Weight: 1 Total Weight: 2 0.09/0.11 c Current CPU time: 0.034994 s 0.09/0.11 c 0.09/0.11 c core #2 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 71 Core Weight: 1 Total Weight: 3 0.09/0.11 c Current CPU time: 0.038994 s 0.09/0.11 c 0.09/0.11 c core #3 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 50 Core Weight: 1 Total Weight: 4 0.09/0.11 c Current CPU time: 0.041993 s 0.09/0.11 c 0.09/0.11 c core #4 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 5 0.09/0.11 c Current CPU time: 0.045993 s 0.09/0.11 c 0.09/0.11 c core #5 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 6 0.09/0.11 c Current CPU time: 0.049992 s 0.09/0.11 c 0.09/0.11 c core #6 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 51 Core Weight: 1 Total Weight: 7 0.09/0.11 c Current CPU time: 0.053991 s 0.09/0.11 c 0.09/0.11 c core #7 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 8 0.09/0.11 c Current CPU time: 0.057991 s 0.09/0.11 c 0.09/0.11 c core #8 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 51 Core Weight: 1 Total Weight: 9 0.09/0.11 c Current CPU time: 0.06099 s 0.09/0.11 c 0.09/0.11 c core #9 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 10 0.09/0.11 c Current CPU time: 0.06499 s 0.09/0.11 c 0.09/0.11 c core #10 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 51 Core Weight: 1 Total Weight: 11 0.09/0.11 c Current CPU time: 0.068989 s 0.09/0.11 c 0.09/0.11 c core #11 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 12 0.09/0.11 c Current CPU time: 0.073988 s 0.09/0.11 c 0.09/0.11 c core #12 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 49 Core Weight: 1 Total Weight: 13 0.09/0.11 c Current CPU time: 0.077988 s 0.09/0.11 c 0.09/0.11 c core #13 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 30 Core Weight: 1 Total Weight: 14 0.09/0.11 c Current CPU time: 0.081987 s 0.09/0.11 c 0.09/0.11 c core #14 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 124 Core Weight: 1 Total Weight: 15 0.09/0.11 c Current CPU time: 0.085986 s 0.09/0.11 c 0.09/0.11 c core #15 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 16 0.09/0.11 c Current CPU time: 0.090986 s 0.09/0.11 c 0.09/0.11 c core #16 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 26 Core Weight: 1 Total Weight: 17 0.09/0.11 c Current CPU time: 0.094985 s 0.09/0.11 c 0.09/0.11 c core #17 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 14 Core Weight: 1 Total Weight: 18 0.09/0.11 c Current CPU time: 0.098984 s 0.09/0.11 c 0.09/0.11 c core #18 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 502 Core Weight: 1 Total Weight: 19 0.09/0.11 c Current CPU time: 0.103984 s 0.09/0.11 c 0.09/0.11 c core #19 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 6 Core Weight: 1 Total Weight: 20 0.09/0.11 c Current CPU time: 0.108983 s 0.09/0.11 c 0.09/0.11 c core #20 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 7 Core Weight: 1 Total Weight: 21 0.09/0.11 c Current CPU time: 0.112982 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1545 11768 15320 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #21 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 290 Core Weight: 1 Total Weight: 22 0.09/0.12 c Current CPU time: 0.117982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 2026 11769 16561 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #22 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 673 Core Weight: 1 Total Weight: 23 0.09/0.13 c Current CPU time: 0.12798 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 2746 11770 18291 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 100 | 2746 11770 18291 | 5500 100 50 | 45.168 % | 0.09/0.15 c | 250 | 2746 11770 18291 | 6050 250 61 | 45.168 % | 0.09/0.18 c | 477 | 2746 11770 18291 | 6655 477 60 | 45.168 % | 0.19/0.22 c | 816 | 2746 11770 18291 | 7320 816 66 | 45.168 % | 0.19/0.28 c | 1327 | 2026 11770 18291 | 8052 1327 71 | 59.547 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #23 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 927 Core Weight: 1 Total Weight: 24 0.29/0.30 c Current CPU time: 0.293955 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 3508 11772 20035 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 101 | 3508 11772 20035 | 5500 101 82 | 37.491 % | 0.29/0.32 c | 251 | 3508 11772 20035 | 6050 251 89 | 37.491 % | 0.29/0.36 c | 476 | 3508 11772 20035 | 6655 476 91 | 37.491 % | 0.39/0.41 c | 813 | 3508 11772 20035 | 7320 813 87 | 37.491 % | 0.39/0.49 c | 1319 | 3508 11772 20035 | 8052 1319 102 | 37.491 % | 0.59/0.60 c | 2080 | 3508 11772 20035 | 8857 2080 104 | 37.491 % | 0.69/0.78 c | 3219 | 3508 11772 20035 | 9743 3219 101 | 37.491 % | 0.99/1.08 c | 4927 | 3508 11772 20035 | 10717 4927 129 | 37.491 % | 1.59/1.62 c | 7490 | 3508 11772 20035 | 11789 7490 125 | 37.491 % | 2.49/2.52 c | 11336 | 3508 11772 20035 | 12968 11336 125 | 37.491 % | 3.89/3.94 c | 17102 | 3508 11772 20035 | 14265 9431 95 | 37.491 % | 6.50/6.52 c | 25754 | 3508 11772 20035 | 15692 9832 168 | 37.491 % | 10.49/10.59 c | 38731 | 3508 11772 20035 | 17261 13699 133 | 37.491 % | 16.09/16.12 c =============================================================================== 16.59/16.61 c core #24 16.59/16.61 c 16.59/16.61 c 16.59/16.61 c Core size: 743 Core Weight: 1 Total Weight: 25 16.59/16.61 c Current CPU time: 16.4945 s 16.59/16.61 c 16.59/16.61 c ============================[ Search Statistics ]============================== 16.59/16.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.59/16.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.59/16.61 c =============================================================================== 16.59/16.61 c | 0 | 4208 11776 21444 | 5000 0 -nan | 0.000 % | 16.59/16.62 c | 102 | 4208 11776 21444 | 5500 102 113 | 33.333 % | 16.59/16.65 c | 252 | 4208 11776 21444 | 6050 252 115 | 33.333 % | 16.59/16.68 c | 479 | 4208 11776 21444 | 6655 479 93 | 33.333 % | 16.69/16.75 c | 816 | 4208 11776 21444 | 7320 816 134 | 33.333 % | 16.79/16.83 c | 1323 | 4208 11776 21444 | 8052 1323 131 | 33.333 % | 16.99/17.00 c | 2083 | 4208 11776 21444 | 8857 2083 147 | 33.333 % | 17.19/17.20 c | 3224 | 4208 11776 21444 | 9743 3224 131 | 33.333 % | 17.50/17.53 c | 4934 | 4208 11776 21444 | 10717 4934 124 | 33.333 % | 17.99/18.04 c | 7498 | 4208 11776 21444 | 11789 7498 140 | 33.333 % | 18.79/18.89 c | 11342 | 4208 11776 21444 | 12968 11342 173 | 33.333 % | 20.29/20.32 c | 17109 | 4208 11776 21444 | 14265 9350 179 | 33.333 % | 22.59/22.69 c | 25760 | 4208 11776 21444 | 15692 9629 168 | 33.333 % | 25.89/25.95 c | 38736 | 4208 11776 21444 | 17261 13461 147 | 33.333 % | 30.99/31.09 c | 58200 | 4208 11776 21444 | 18987 12967 137 | 33.333 % | 40.60/40.67 c | 87395 | 4208 11776 21444 | 20886 20771 143 | 33.333 % | 53.69/53.70 c | 131184 | 4208 11776 21444 | 22974 17733 206 | 33.333 % | 76.29/76.34 c | 196868 | 4208 11776 21444 | 25272 17945 223 | 33.333 % | 110.01/110.07 c | 295394 | 4208 11776 21444 | 27799 15065 199 | 33.333 % | 154.59/154.62 c =============================================================================== 154.59/154.62 c #cores: 24 154.59/154.62 c Final Weight: 25 154.59/154.62 o 25 154.59/154.62 s OPTIMUM FOUND 154.59/154.62 v -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 x188 -x190 -x192 -x194 -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 -x572 -x574 -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 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -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 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -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 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -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 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 x1398 -x1400 -x1402 -x1404 -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 -x1574 -x1576 -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 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -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 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -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 -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 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -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 -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 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -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 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 x3734 -x3736 -x3738 -x3740 -x3742 x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 x3925 -x3927 -x3929 -x3931 -x3933 x3935 -x3937 x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 x3955 -x3957 x3959 -x3961 -x3963 -x3965 -x3967 x3969 -x3971 x3973 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x1 -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 -x2 -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 -x451 -x3 -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 -x4 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x6 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x7 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x8 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x9 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x760 -x762 -x764 -x766 -x768 -x770 -x10 -x772 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x11 -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 -x12 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x13 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x14 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x15 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x16 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x17 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x18 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x19 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x20 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x21 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x22 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x23 -x1127 -x1129 -x1131 -x24 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x25 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x26 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x27 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x28 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x29 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x30 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x31 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x32 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x33 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x34 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x35 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x36 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x37 -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 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x38 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x39 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x40 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x41 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x42 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x43 -x1671 -x1673 -x1675 -x44 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x45 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x46 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x47 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x48 -x1749 -x1751 -x1753 -x49 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x50 -x1769 -x1771 -x1773 -x51 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x52 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 x53 -x1819 -x1821 -x1823 -x1825 x1827 -x1829 -x1831 -x54 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x56 -x1853 -x1855 -x1857 -x57 -x1859 -x1861 -x1863 -x58 -x1865 -x59 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x60 -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 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 x2015 -x2017 -x2019 -x61 -x2021 -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 -x2077 -x2079 -x62 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x63 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x64 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x65 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x66 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x67 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x68 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x69 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x70 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x71 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x72 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x73 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x74 -x2377 -x2379 x2381 -x2383 -x2385 -x2387 -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 -x75 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x76 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x77 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x78 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x79 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x80 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x81 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x82 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x83 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x84 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x85 -x2661 -x2663 -x2665 -x86 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x87 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x88 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x89 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x90 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x91 -x2769 -x2771 -x2773 -x92 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x93 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x94 -x2803 -x2805 -x95 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x96 -x2821 -x2823 -x2825 -x97 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x98 -x2841 -x2843 -x2845 -x99 -x2847 -x2849 -x2851 -x100 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x101 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x102 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x103 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x104 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3040 -x3042 -x3044 -x3046 -x105 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x106 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x107 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x108 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x109 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x110 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x111 -x3164 -x3166 -x3168 -x112 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x113 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x114 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x115 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x116 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x117 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x118 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x119 -x3316 -x3318 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x120 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x121 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x122 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x123 -x3392 -x3394 -x3396 -x124 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x125 -x3412 -x3414 -x3416 -x126 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x127 -x3432 -x3434 -x3436 -x128 -x3438 -x3440 -x3442 -x129 -x3444 -x130 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x131 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x132 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x133 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x134 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x135 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x136 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x137 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x138 -x3620 -x3622 -x3624 -x139 -x3626 -x3629 -x3631 -x3633 -x3635 -x140 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x141 -x3651 -x3653 -x3655 -x142 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x143 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x144 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x145 -x3715 -x3717 -x146 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 x147 x3733 -x3735 -x3737 -x148 -x3739 -x3741 x3743 x149 -x3745 -x150 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x151 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x152 -x3775 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 x3790 -x3792 -x153 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x154 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x155 -x3822 -x3824 -x3826 -x156 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x157 -x3842 -x3844 -x3846 -x158 -x3848 -x3850 -x3852 -x159 x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x160 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x161 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x162 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 x3924 -x3926 -x3928 -x163 -x3930 -x3932 x3934 -x3936 x3938 -x3940 -x164 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 x3954 -x3956 x3958 x165 -x3960 -x3962 -x3964 -x166 -x3966 x167 x3968 -x3970 -x168 x3972 x169 x170 154.59/154.62 c Total CPU time: 154.117 s
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460680-1307107922/watcher-3460680-1307107922 -o /tmp/evaluation-result-3460680-1307107922/solver-3460680-1307107922 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460680-1307107922.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.93 2.02 1.99 2/455 17510 /proc/meminfo: memFree=23649796/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=3460 CPUtime=0 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 581 0 0 0 0 0 0 0 25 0 1 0 803208104 3543040 534 33554432000 4194304 5714214 140737352868672 18446744073709551615 4964960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 865 534 188 372 0 409 0 [startup+0.036464 s] /proc/loadavg: 1.93 2.02 1.99 2/455 17510 /proc/meminfo: memFree=23649796/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=7156 CPUtime=0.03 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 1644 0 0 0 3 0 0 0 25 0 1 0 803208104 7327744 1516 33554432000 4194304 5714214 140737352868672 18446744073709551615 4969593 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 1789 1516 175 372 0 1414 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7156 [startup+0.10047 s] /proc/loadavg: 1.93 2.02 1.99 2/455 17510 /proc/meminfo: memFree=23649796/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=7648 CPUtime=0.09 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 1998 0 0 0 9 0 0 0 25 0 1 0 803208104 7831552 1615 33554432000 4194304 5714214 140737352868672 18446744073709551615 4355903 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 1912 1615 175 372 0 1537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7648 [startup+0.300424 s] /proc/loadavg: 1.93 2.02 1.99 2/455 17510 /proc/meminfo: memFree=23649796/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=8484 CPUtime=0.29 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 2359 0 0 0 29 0 0 0 25 0 1 0 803208104 8687616 1854 33554432000 4194304 5714214 140737352868672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 2121 1857 180 372 0 1746 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8484 [startup+0.700357 s] /proc/loadavg: 1.93 2.02 1.99 2/455 17510 /proc/meminfo: memFree=23649796/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=8616 CPUtime=0.69 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 2413 0 0 0 69 0 0 0 25 0 1 0 803208104 8822784 1908 33554432000 4194304 5714214 140737352868672 18446744073709551615 4322856 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 2154 1908 180 372 0 1779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8616 [startup+1.50017 s] /proc/loadavg: 1.93 2.02 1.99 3/456 17511 /proc/meminfo: memFree=23640976/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=11524 CPUtime=1.49 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 3127 0 0 0 148 1 0 0 25 0 1 0 803208104 11800576 2622 33554432000 4194304 5714214 140737352868672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 2881 2622 180 372 0 2506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11524 [startup+3.1009 s] /proc/loadavg: 1.93 2.02 1.99 3/456 17511 /proc/meminfo: memFree=23634652/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=16472 CPUtime=3.09 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 4362 0 0 0 308 1 0 0 25 0 1 0 803208104 16867328 3857 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 4118 3857 180 372 0 3743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16472 [startup+6.30032 s] /proc/loadavg: 1.94 2.02 1.99 3/456 17511 /proc/meminfo: memFree=23625292/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=21236 CPUtime=6.29 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 5535 0 0 0 626 3 0 0 25 0 1 0 803208104 21745664 5030 33554432000 4194304 5714214 140737352868672 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 5309 5030 180 372 0 4934 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21236 [startup+12.7011 s] /proc/loadavg: 1.94 2.02 1.99 3/456 17512 /proc/meminfo: memFree=23614004/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=29064 CPUtime=12.69 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 7471 0 0 0 1262 7 0 0 25 0 1 0 803208104 29761536 6966 33554432000 4194304 5714214 140737352868672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 7266 6966 180 372 0 6891 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29064 [startup+25.5008 s] /proc/loadavg: 1.96 2.01 1.99 3/456 17512 /proc/meminfo: memFree=23599876/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=33680 CPUtime=25.49 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 8660 0 0 0 2537 12 0 0 25 0 1 0 803208104 34488320 8116 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 8420 8116 180 372 0 8045 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33680 [startup+51.1011 s] /proc/loadavg: 1.97 2.01 1.99 3/456 17513 /proc/meminfo: memFree=23576428/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=46372 CPUtime=51.09 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 11817 0 0 0 5090 19 0 0 25 0 1 0 803208104 47484928 11273 33554432000 4194304 5714214 140737352868672 18446744073709551615 4322755 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 11593 11273 180 372 0 11218 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46372 [startup+102.317 s] /proc/loadavg: 2.06 2.02 2.00 3/456 17514 /proc/meminfo: memFree=23516016/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=77728 CPUtime=102.31 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 19617 0 0 0 10197 34 0 0 25 0 1 0 803208104 79593472 19073 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 19432 19073 180 372 0 19057 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 77728 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.98 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24520452/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=100292 CPUtime=127.89 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 25230 0 0 0 12746 43 0 0 25 0 1 0 803208104 102699008 24686 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 25073 24686 180 372 0 24698 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 100292 [startup+140.701 s] /proc/loadavg: 1.98 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24513632/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=102140 CPUtime=140.7 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 25694 0 0 0 14024 46 0 0 25 0 1 0 803208104 104591360 25150 33554432000 4194304 5714214 140737352868672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 25535 25150 180 372 0 25160 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 102140 [startup+147.1 s] /proc/loadavg: 1.98 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24497512/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=105856 CPUtime=147.1 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 26615 0 0 0 14661 49 0 0 25 0 1 0 803208104 108396544 26071 33554432000 4194304 5714214 140737352868672 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 26464 26071 180 372 0 26089 0 Current children cumulated CPU time (s) 147.1 Current children cumulated vsize (KiB) 105856 [startup+150.301 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24491804/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=106040 CPUtime=150.29 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 26671 0 0 0 14980 49 0 0 25 0 1 0 803208104 108584960 26127 33554432000 4194304 5714214 140737352868672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 26510 26127 180 372 0 26135 0 Current children cumulated CPU time (s) 150.29 Current children cumulated vsize (KiB) 106040 [startup+151.9 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24487340/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=109740 CPUtime=151.9 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 27596 0 0 0 15140 50 0 0 25 0 1 0 803208104 112373760 27052 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 27435 27052 180 372 0 27060 0 Current children cumulated CPU time (s) 151.9 Current children cumulated vsize (KiB) 109740 [startup+153.5 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24487324/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=109740 CPUtime=153.49 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 27596 0 0 0 15299 50 0 0 25 0 1 0 803208104 112373760 27052 33554432000 4194304 5714214 140737352868672 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 27435 27052 180 372 0 27060 0 Current children cumulated CPU time (s) 153.49 Current children cumulated vsize (KiB) 109740 [startup+154.301 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24485836/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=109740 CPUtime=154.29 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 27596 0 0 0 15379 50 0 0 25 0 1 0 803208104 112373760 27052 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 27435 27052 180 372 0 27060 0 Current children cumulated CPU time (s) 154.29 Current children cumulated vsize (KiB) 109740 [startup+154.501 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24485836/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=109740 CPUtime=154.49 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 27596 0 0 0 15399 50 0 0 25 0 1 0 803208104 112373760 27052 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 27435 27052 180 372 0 27060 0 Current children cumulated CPU time (s) 154.49 Current children cumulated vsize (KiB) 109740 [startup+154.601 s] /proc/loadavg: 1.99 2.00 1.99 3/456 17570 /proc/meminfo: memFree=24485836/32951124 swapFree=60476376/67111528 [pid=17510] ppid=17508 vsize=109740 CPUtime=154.59 cores=0,2,4,6 /proc/17510/stat : 17510 (wbo1.6) R 17508 17510 16547 0 -1 4202496 27596 0 0 0 15409 50 0 0 25 0 1 0 803208104 112373760 27052 33554432000 4194304 5714214 140737352868672 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17510/statm: 27435 27052 180 372 0 27060 0 Current children cumulated CPU time (s) 154.59 Current children cumulated vsize (KiB) 109740 Child status: 0 Real time (s): 154.63 CPU time (s): 154.631 CPU user time (s): 154.117 CPU system time (s): 0.514921 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 109740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 154.117 system time used= 0.514921 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27599 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= 3 involuntary context switches= 582 runsolver used 0.754885 second user time and 1.50177 second system time The end
Begin job on node147 at 2011-06-03 15:32:02 IDJOB=3460680 IDBENCH=24990 IDSOLVER=1953 FILE ID=node147/3460680-1307107922 RUNJOBID= node147-1307094843-16565 PBS_JOBID= 13498009 Free space on /tmp= 73680 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460680-1307107922/watcher-3460680-1307107922 -o /tmp/evaluation-result-3460680-1307107922/solver-3460680-1307107922 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460680-1307107922.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1658513606 node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23650076 kB Buffers: 287540 kB Cached: 1430988 kB SwapCached: 11164 kB Active: 7710312 kB Inactive: 1330404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23650076 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 4672 kB Writeback: 0 kB AnonPages: 7319724 kB Mapped: 22992 kB Slab: 132080 kB PageTables: 60024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 121776304 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73676 MiB End job on node147 at 2011-06-03 15:34:37