Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 25 | 185.968 | 186.022 |
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 | 185.968 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875468-1245182201.opb. 0.00/0.00 c Instance file HOME/instance-1875468-1245182201.opb 0.00/0.00 c File size is 328518 bytes. 0.01/0.04 c Highest Coefficient sum: 64 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.05 s | 0.01/0.04 c | Number Variables: 3973 | 0.01/0.04 c | Number Clauses: 13003 | 0.01/0.04 c | Number Cardinality: 0 | 0.01/0.04 c | Number PB Constraints: 0 | 0.01/0.04 c core #1 0.01/0.04 c Core size: 63 Core Weight: 1 Total Weight: 1 0.01/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #2 0.01/0.05 c Core size: 127 Core Weight: 1 Total Weight: 2 0.01/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #3 0.01/0.06 c Core size: 62 Core Weight: 1 Total Weight: 3 0.01/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #4 0.01/0.07 c Core size: 31 Core Weight: 1 Total Weight: 4 0.01/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.01/0.08 c core #5 0.01/0.08 c Core size: 31 Core Weight: 1 Total Weight: 5 0.01/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #6 0.01/0.09 c Core size: 63 Core Weight: 1 Total Weight: 6 0.01/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #7 0.09/0.10 c Core size: 31 Core Weight: 1 Total Weight: 7 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #8 0.09/0.11 c Core size: 63 Core Weight: 1 Total Weight: 8 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #9 0.09/0.12 c Core size: 31 Core Weight: 1 Total Weight: 9 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #10 0.09/0.13 c Core size: 63 Core Weight: 1 Total Weight: 10 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #11 0.09/0.14 c Core size: 31 Core Weight: 1 Total Weight: 11 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #12 0.09/0.15 c Core size: 61 Core Weight: 1 Total Weight: 12 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #13 0.09/0.16 c Core size: 30 Core Weight: 1 Total Weight: 13 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #14 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 14 0.09/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #15 0.09/0.18 c Core size: 27 Core Weight: 1 Total Weight: 15 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.19/0.21 c core #16 0.19/0.21 c Core size: 1533 Core Weight: 1 Total Weight: 16 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #17 0.19/0.22 c Core size: 15 Core Weight: 1 Total Weight: 17 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #18 0.19/0.23 c Core size: 7 Core Weight: 1 Total Weight: 18 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #19 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 19 0.19/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #20 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 20 0.19/0.25 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #21 0.19/0.27 c Core size: 13 Core Weight: 1 Total Weight: 21 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 2456 13024 23237 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #22 0.19/0.28 c Core size: 837 Core Weight: 1 Total Weight: 22 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.30 c Learning 1 hard constraints 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 3927 13026 27259 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 100 | 3917 13026 27259 | 5500 91 57 | 27.423 % | 0.39/0.41 c | 250 | 3903 13026 27259 | 6050 225 70 | 27.682 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #23 0.39/0.46 c Core size: 1901 Core Weight: 1 Total Weight: 23 0.39/0.46 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.47 c Learning 34 hard constraints 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 5122 13061 30874 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 101 | 5122 13061 30874 | 5500 101 62 | 13.800 % | 0.49/0.58 c | 252 | 5122 13061 30874 | 6050 252 54 | 13.800 % | 0.59/0.69 c | 479 | 5122 13061 30874 | 6655 479 76 | 13.800 % | 0.79/0.85 c | 818 | 5121 13061 30874 | 7320 816 76 | 13.817 % | 1.10/1.12 c | 1325 | 5120 13061 30874 | 8052 1320 82 | 13.834 % | 1.59/1.60 c | 2088 | 5119 13061 30874 | 8857 2082 98 | 13.851 % | 2.29/2.40 c | 3227 | 5118 13061 30874 | 9743 3220 96 | 13.867 % | 2.49/2.59 c =============================================================================== 2.59/2.62 c core #24 2.59/2.62 c Core size: 2904 Core Weight: 1 Total Weight: 24 2.59/2.62 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.59/2.64 c Learning 147 hard constraints 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 6249 13209 36333 | 5000 0 nan | 0.000 % | 2.59/2.69 c | 102 | 6249 13209 36333 | 5500 102 103 | 6.410 % | 2.69/2.76 c | 254 | 6249 13209 36333 | 6050 254 111 | 6.410 % | 2.79/2.85 c | 481 | 6249 13209 36333 | 6655 481 99 | 6.410 % | 2.98/3.07 c | 819 | 6249 13209 36333 | 7320 819 130 | 6.410 % | 3.30/3.35 c | 1326 | 6249 13209 36333 | 8052 1326 151 | 6.410 % | 3.79/3.87 c | 2085 | 6249 13209 36333 | 8857 2085 151 | 6.410 % | 4.69/4.76 c | 3225 | 6249 13209 36333 | 9743 3225 157 | 6.410 % | 5.89/5.94 c | 4937 | 6249 13209 36333 | 10717 4937 152 | 6.410 % | 8.39/8.40 c | 7500 | 6249 13209 36333 | 11789 7500 156 | 6.410 % | 12.79/12.87 c | 11345 | 6249 13209 36333 | 12968 11345 153 | 6.410 % | 20.48/20.51 c | 17118 | 6249 13209 36333 | 14265 10250 149 | 6.410 % | 29.88/29.99 c | 25767 | 6249 13209 36333 | 15692 11358 177 | 6.410 % | 47.78/47.83 c | 38742 | 6249 13209 36333 | 17261 16223 176 | 6.410 % | 75.37/75.40 c | 58204 | 6249 13209 36333 | 18987 17721 180 | 6.410 % | 111.26/111.38 c =============================================================================== 113.55/113.64 c core #25 113.55/113.64 c Core size: 3319 Core Weight: 1 Total Weight: 25 113.55/113.64 c Elapsed CPU time: 113.185 s Remaining CPU time: 1686.82 s 113.65/113.75 c Learning 161 hard constraints 113.65/113.75 c ============================[ Search Statistics ]============================== 113.65/113.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.65/113.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.65/113.75 c =============================================================================== 113.65/113.75 c | 0 | 6933 13371 40584 | 5000 0 nan | 0.000 % | 113.75/113.80 c | 100 | 6933 13371 40584 | 5500 100 108 | 5.814 % | 113.75/113.88 c | 250 | 6933 13371 40584 | 6050 250 94 | 5.814 % | 113.85/113.99 c | 476 | 6933 13371 40584 | 6655 476 97 | 5.815 % | 114.06/114.15 c | 813 | 6933 13371 40584 | 7320 813 102 | 5.815 % | 114.36/114.41 c | 1320 | 6933 13371 40584 | 8052 1320 117 | 5.815 % | 114.66/114.78 c | 2084 | 6933 13371 40584 | 8857 2084 128 | 5.815 % | 115.56/115.63 c | 3223 | 6933 13371 40584 | 9743 3223 154 | 5.814 % | 116.65/116.79 c | 4933 | 6933 13371 40584 | 10717 4933 150 | 5.815 % | 119.05/119.10 c | 7500 | 6933 13371 40584 | 11789 7500 153 | 5.814 % | 122.66/122.74 c | 11346 | 6933 13371 40584 | 12968 11346 176 | 5.815 % | 128.55/128.60 c | 17117 | 6933 13371 40584 | 14265 10225 209 | 5.814 % | 137.85/137.94 c | 25769 | 6933 13371 40584 | 15692 10831 246 | 5.814 % | 153.95/154.06 c | 38744 | 6933 13371 40584 | 17261 15462 236 | 5.815 % | 177.34/177.49 c | 58206 | 6933 13371 40584 | 18987 15917 210 | 5.815 % | 185.84/185.99 c =============================================================================== 185.84/185.99 c Verified 13371 original clauses. 185.84/185.99 c #cores: 25 185.84/185.99 c Final Weight: 25 185.84/185.99 o 25 185.84/185.99 s OPTIMUM FOUND 185.84/185.99 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
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875468-1245182201/watcher-1875468-1245182201 -o /tmp/evaluation-result-1875468-1245182201/solver-1875468-1245182201 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875468-1245182201.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.00 1.00 1.00 3/64 12882 /proc/meminfo: memFree=1677648/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=3176 CPUtime=0 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 70928856 3252224 249 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 794 249 125 292 0 418 0 [startup+0.0119051 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12882 /proc/meminfo: memFree=1677648/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=3496 CPUtime=0.01 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 357 0 0 0 1 0 0 0 18 0 1 0 70928856 3579904 341 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 874 341 135 292 0 498 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3496 [startup+0.101913 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12882 /proc/meminfo: memFree=1677648/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=4932 CPUtime=0.09 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 890 0 0 0 9 0 0 0 18 0 1 0 70928856 5050368 793 1992294400 134512640 135709839 4294956240 18446744073709551615 134570115 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 1233 793 133 292 0 938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4932 [startup+0.301931 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12882 /proc/meminfo: memFree=1677648/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=5436 CPUtime=0.29 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 997 0 0 0 29 0 0 0 19 0 1 0 70928856 5566464 900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 1359 900 135 292 0 1064 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5436 [startup+0.701966 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12882 /proc/meminfo: memFree=1677648/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=5632 CPUtime=0.69 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 1090 0 0 0 68 1 0 0 23 0 1 0 70928856 5767168 961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 1408 961 136 292 0 1113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5632 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1674248/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=5764 CPUtime=1.49 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 1139 0 0 0 148 1 0 0 25 0 1 0 70928856 5902336 1010 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 1441 1010 136 292 0 1146 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5764 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1673288/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=8944 CPUtime=3.08 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 1902 0 0 0 306 2 0 0 25 0 1 0 70928856 9158656 1773 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 2236 1773 136 292 0 1941 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8944 [startup+6.30146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1670024/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=10924 CPUtime=6.28 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 2403 0 0 0 624 4 0 0 25 0 1 0 70928856 11186176 2274 1992294400 134512640 135709839 4294956240 18446744073709551615 134574102 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 2731 2274 136 292 0 2436 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10924 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1663248/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=17128 CPUtime=12.69 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 3959 0 0 0 1262 7 0 0 25 0 1 0 70928856 17539072 3830 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 4282 3830 136 292 0 3987 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17128 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1650832/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=29148 CPUtime=25.48 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 6963 0 0 0 2535 13 0 0 25 0 1 0 70928856 29847552 6834 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 7287 6834 136 292 0 6992 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29148 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12883 /proc/meminfo: memFree=1626832/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=53324 CPUtime=51.08 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 12984 0 0 0 5085 23 0 0 25 0 1 0 70928856 54603776 12855 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 13331 12855 136 292 0 13036 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53324 [startup+102.306 s] /proc/loadavg: 1.08 1.02 1.01 2/65 12885 /proc/meminfo: memFree=1584720/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=95024 CPUtime=102.26 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 23412 0 0 0 10186 40 0 0 25 0 1 0 70928856 97304576 23283 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 23756 23283 136 292 0 23461 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95024 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1559632/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=120536 CPUtime=162.24 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 29839 0 0 0 16164 60 0 0 25 0 1 0 70928856 123428864 29670 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 30134 29670 136 292 0 29839 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 120536 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1554384/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=125428 CPUtime=166.24 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 31063 0 0 0 16563 61 0 0 25 0 1 0 70928856 128438272 30894 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 31357 30894 136 292 0 31062 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 125428 [startup+179.102 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1541456/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=139420 CPUtime=179.04 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 34545 0 0 0 17835 69 0 0 25 0 1 0 70928856 142766080 34376 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 34855 34376 136 292 0 34560 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 139420 [startup+182.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1537168/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=143512 CPUtime=182.24 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 35568 0 0 0 18153 71 0 0 25 0 1 0 70928856 146956288 35399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 35878 35399 136 292 0 35583 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 143512 [startup+183.901 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1534288/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=145492 CPUtime=183.83 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 36087 0 0 0 18312 71 0 0 25 0 1 0 70928856 148983808 35918 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 36373 35918 136 292 0 36078 0 Current children cumulated CPU time (s) 183.83 Current children cumulated vsize (KiB) 145492 [startup+184.701 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1532944/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=146548 CPUtime=184.64 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 36327 0 0 0 18392 72 0 0 25 0 1 0 70928856 150065152 36158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 36637 36158 136 292 0 36342 0 Current children cumulated CPU time (s) 184.64 Current children cumulated vsize (KiB) 146548 [startup+185.502 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1532944/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=147340 CPUtime=185.44 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 36527 0 0 0 18472 72 0 0 25 0 1 0 70928856 150876160 36358 1992294400 134512640 135709839 4294956240 18446744073709551615 134572328 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 36835 36358 136 292 0 36540 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 147340 [startup+185.905 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1531856/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=147736 CPUtime=185.84 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194304 36632 0 0 0 18512 72 0 0 25 0 1 0 70928856 151281664 36463 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 36934 36463 136 292 0 36639 0 Current children cumulated CPU time (s) 185.84 Current children cumulated vsize (KiB) 147736 [startup+186.001 s] /proc/loadavg: 1.02 1.01 1.00 2/65 12885 /proc/meminfo: memFree=1531856/2055920 swapFree=4192956/4192956 [pid=12882] ppid=12880 vsize=0 CPUtime=185.93 /proc/12882/stat : 12882 (wbo) R 12880 12882 12308 0 -1 4194308 36670 0 0 0 18521 72 0 0 25 0 1 0 70928856 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/12882/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 185.93 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 186.022 CPU time (s): 185.968 CPU user time (s): 185.218 CPU system time (s): 0.749886 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 147736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 185.218 system time used= 0.749886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36670 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= 2 involuntary context switches= 339 runsolver used 0.159975 second user time and 0.379942 second system time The end
Begin job on node41 at 2009-06-16 21:56:41 IDJOB=1875468 IDBENCH=24990 IDSOLVER=698 FILE ID=node41/1875468-1245182201 PBS_JOBID= 9363885 Free space on /tmp= 65960 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875468-1245182201/watcher-1875468-1245182201 -o /tmp/evaluation-result-1875468-1245182201/solver-1875468-1245182201 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875468-1245182201.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1082680767 node41.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1678128 kB Buffers: 55216 kB Cached: 242284 kB SwapCached: 0 kB Active: 162812 kB Inactive: 147616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1678128 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2696 kB Writeback: 0 kB Mapped: 22716 kB Slab: 53388 kB Committed_AS: 56000 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875468-1245182201.opb Free space on /tmp at the end= 65960 MiB End job on node41 at 2009-06-16 21:59:47