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