Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 25 | 345.968 | 346.07 |
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 | 4.06038 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1906 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655785-1276634097.opb. 0.00/0.00 c Instance file HOME/instance-2655785-1276634097.opb 0.00/0.00 c File size is 328518 bytes. 0.00/0.05 c Highest Coefficient sum: 64 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 3973 | 0.00/0.05 c | Number Clauses: 11097 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 3698 11157 26767 | 5000 0 nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c New solution: 30 0.00/0.10 o 30 0.00/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 3698 11158 28673 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 100 | 3698 11158 28673 | 5500 100 70 | 6.922 % | 0.09/0.18 c | 250 | 3698 11158 28673 | 6050 250 45 | 6.922 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 29 0.19/0.21 o 29 0.19/0.21 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 339 | 3698 11159 30579 | 5000 339 43 | 6.922 % | 0.19/0.25 c | 439 | 3698 11159 30579 | 5500 439 41 | 6.923 % | 0.29/0.30 c | 590 | 3698 11159 30579 | 6050 590 39 | 6.922 % | 0.29/0.38 c | 815 | 3698 11159 30579 | 6655 815 40 | 6.923 % | 0.49/0.51 c | 1153 | 3698 11159 30579 | 7320 1153 42 | 6.922 % | 0.69/0.71 c | 1660 | 3698 11159 30579 | 8052 1660 47 | 6.923 % | 0.89/0.97 c | 2419 | 3698 11159 30579 | 8857 2419 50 | 6.922 % | 1.39/1.43 c | 3558 | 3698 11159 30579 | 9743 3558 52 | 6.923 % | 1.99/2.01 c | 5266 | 3698 11159 30579 | 10717 5266 57 | 6.922 % | 2.89/2.96 c | 7828 | 3698 11159 30579 | 11789 7828 57 | 6.922 % | 4.29/4.36 c | 11672 | 3698 11159 30579 | 12968 11672 58 | 6.922 % | 6.88/6.93 c | 17438 | 3698 11159 30579 | 14265 10331 57 | 6.922 % | 10.00/10.03 c | 26088 | 3698 11159 30579 | 15692 11007 62 | 6.922 % | 14.89/14.94 c | 39063 | 3698 11159 30579 | 17261 15383 63 | 6.922 % | 23.19/23.29 c | 58526 | 3698 11159 30579 | 18987 16204 72 | 6.922 % | 36.08/36.19 c | 87718 | 3698 11159 30579 | 20886 14663 69 | 6.922 % | 53.47/53.50 c | 131507 | 3698 11159 30579 | 22974 12250 80 | 6.922 % | 53.77/53.83 c =============================================================================== 53.77/53.83 c New solution: 28 53.77/53.83 o 28 53.77/53.83 c Elapsed CPU time: 53.2439 s Remaining CPU time: 126.756 s 53.77/53.83 c =============================================================================== 53.77/53.83 c | 132465 | 3698 11160 32485 | 5000 13208 78 | 6.922 % | 53.88/53.98 c | 132566 | 3698 11160 32485 | 5500 3403 69 | 6.923 % | 53.98/54.03 c | 132716 | 3698 11160 32485 | 6050 3553 68 | 6.922 % | 54.08/54.13 c | 132943 | 3698 11160 32485 | 6655 3780 67 | 6.923 % | 54.18/54.25 c | 133280 | 3698 11160 32485 | 7320 4117 65 | 6.923 % | 54.37/54.43 c | 133786 | 3698 11160 32485 | 8052 4623 65 | 6.922 % | 54.47/54.53 c =============================================================================== 54.47/54.53 c New solution: 27 54.47/54.53 o 27 54.47/54.53 c Elapsed CPU time: 53.9318 s Remaining CPU time: 126.068 s 54.47/54.53 c =============================================================================== 54.47/54.53 c | 134048 | 3698 11161 34391 | 5000 4885 64 | 6.922 % | 54.47/54.58 c | 134149 | 3698 11161 34391 | 5500 4986 63 | 6.922 % | 54.57/54.62 c | 134299 | 3698 11161 34391 | 6050 5136 63 | 6.922 % | 54.67/54.72 c | 134525 | 3698 11161 34391 | 6655 5362 62 | 6.922 % | 54.78/54.83 c | 134862 | 3698 11161 34391 | 7320 5699 62 | 6.922 % | 54.98/55.03 c | 135368 | 3698 11161 34391 | 8052 6205 61 | 6.922 % | 55.28/55.34 c | 136128 | 3698 11161 34391 | 8857 6965 59 | 6.923 % | 55.68/55.73 c | 137269 | 3698 11161 34391 | 9743 8106 61 | 6.922 % | 56.27/56.39 c | 138977 | 3698 11161 34391 | 10717 9814 61 | 6.922 % | 57.29/57.33 c | 141540 | 3698 11161 34391 | 11789 12377 58 | 6.922 % | 58.67/58.74 c | 145384 | 3698 11161 34391 | 12968 10033 55 | 6.922 % | 61.37/61.44 c | 151150 | 3698 11161 34391 | 14265 8667 54 | 6.922 % | 64.47/64.51 c | 159801 | 3698 11161 34391 | 15692 9434 57 | 6.922 % | 69.28/69.33 c | 172775 | 3698 11161 34391 | 17261 13729 61 | 6.922 % | 78.27/78.36 c | 192238 | 3698 11161 34391 | 18987 14859 91 | 6.922 % | 90.17/90.27 c | 221430 | 3698 11161 34391 | 20886 13494 87 | 6.922 % | 108.06/108.18 c | 265219 | 3698 11161 34391 | 22974 11019 59 | 6.922 % | 137.85/137.90 c | 330903 | 3698 11161 34391 | 25272 23182 78 | 6.922 % | 178.94/179.02 c | 429429 | 3698 11161 34391 | 27799 12977 76 | 6.922 % | 182.04/182.10 c There are 275 assigned variables. 107 in cost function. 182.94/183.08 c core #1 182.94/183.08 c core #2 182.94/183.08 c core #3 182.94/183.08 c core #4 182.94/183.08 c core #5 182.94/183.08 c core #6 182.94/183.08 c core #7 182.94/183.08 c core #8 182.94/183.08 c core #9 182.94/183.08 c core #10 182.94/183.08 c core #11 182.94/183.08 c core #12 182.94/183.08 c core #13 182.94/183.08 c core #14 182.94/183.08 c core #15 182.94/183.08 c core #16 182.94/183.08 c core #17 182.94/183.08 c core #18 182.94/183.08 c core #19 182.94/183.08 c core #20 182.94/183.08 c ============================[ Search Statistics ]============================== 182.94/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.08 c =============================================================================== 182.94/183.08 c | 0 | 1491 11858 24413 | 5000 0 nan | 0.000 % | 182.94/183.09 c =============================================================================== 183.04/183.12 c core #21 183.04/183.12 c ============================[ Search Statistics ]============================== 183.04/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.12 c =============================================================================== 183.04/183.12 c | 0 | 1987 11892 25855 | 5000 0 nan | 0.000 % | 183.04/183.14 c =============================================================================== 183.04/183.18 c core #22 183.04/183.18 c ============================[ Search Statistics ]============================== 183.04/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.18 c =============================================================================== 183.04/183.18 c | 0 | 2807 12092 28334 | 5000 0 nan | 0.000 % | 183.14/183.20 c | 100 | 2807 12092 28334 | 5500 100 50 | 45.357 % | 183.14/183.26 c | 252 | 2807 12092 28334 | 6050 252 61 | 45.357 % | 183.23/183.38 c | 477 | 2807 12092 28334 | 6655 477 57 | 45.357 % | 183.44/183.53 c | 815 | 2804 12092 28334 | 7320 813 56 | 45.435 % | 183.65/183.72 c =============================================================================== 183.65/183.78 c core #23 183.65/183.78 c ============================[ Search Statistics ]============================== 183.65/183.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.78 c =============================================================================== 183.65/183.78 c | 0 | 3994 12558 32027 | 5000 0 nan | 0.000 % | 183.75/183.82 c | 106 | 3994 12558 32027 | 5500 106 106 | 35.141 % | 183.75/183.89 c | 258 | 3994 12558 32027 | 6050 258 84 | 35.141 % | 183.94/184.09 c | 485 | 3994 12558 32027 | 6655 485 81 | 35.141 % | 184.24/184.31 c | 822 | 3994 12558 32027 | 7320 822 68 | 35.141 % | 184.53/184.68 c | 1328 | 3994 12558 32027 | 8052 1328 80 | 35.141 % | 185.14/185.23 c | 2088 | 3994 12558 32027 | 8857 2088 98 | 35.141 % | 186.14/186.24 c | 3228 | 3994 12558 32027 | 9743 3228 96 | 35.142 % | 187.53/187.69 c | 4936 | 3994 12558 32027 | 10717 4936 113 | 35.141 % | 189.14/189.25 c | 7501 | 3994 12558 32027 | 11789 7501 104 | 35.141 % | 192.44/192.52 c | 11345 | 3994 12558 32027 | 12968 11345 110 | 35.141 % | 197.13/197.26 c | 17111 | 3994 12558 32027 | 14265 9423 89 | 35.141 % | 205.23/205.30 c | 25762 | 3994 12558 32027 | 15692 9638 111 | 35.141 % | 219.23/219.30 c | 38736 | 3994 12558 32027 | 17261 13576 154 | 35.141 % | 234.62/234.77 c =============================================================================== 235.73/235.88 c core #24 235.73/235.88 c ============================[ Search Statistics ]============================== 235.73/235.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.73/235.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.73/235.88 c =============================================================================== 235.73/235.88 c | 0 | 5206 13120 35759 | 5000 0 nan | 0.000 % | 235.83/235.94 c | 103 | 5206 13120 35759 | 5500 103 193 | 29.362 % | 235.83/235.98 c | 255 | 5206 13120 35759 | 6050 255 122 | 29.362 % | 236.02/236.12 c | 480 | 5206 13120 35759 | 6655 480 133 | 29.362 % | 236.22/236.36 c | 817 | 5206 13120 35759 | 7320 817 123 | 29.362 % | 236.73/236.80 c | 1324 | 5206 13120 35759 | 8052 1324 134 | 29.362 % | 237.32/237.46 c | 2084 | 5206 13120 35759 | 8857 2084 122 | 29.362 % | 238.32/238.42 c | 3223 | 5206 13120 35759 | 9743 3223 134 | 29.362 % | 239.83/239.96 c | 4931 | 5206 13120 35759 | 10717 4931 135 | 29.362 % | 242.03/242.14 c | 7496 | 5206 13120 35759 | 11789 7496 135 | 29.362 % | 246.12/246.20 c | 11342 | 5206 13120 35759 | 12968 11342 132 | 29.362 % | 251.02/251.15 c | 17108 | 5206 13120 35759 | 14265 9216 134 | 29.362 % | 259.32/259.40 c | 25757 | 5206 13120 35759 | 15692 9401 120 | 29.362 % | 269.91/270.09 c | 38733 | 5206 13120 35759 | 17261 13125 146 | 29.362 % | 288.90/289.02 c | 58195 | 5206 13120 35759 | 18987 12712 200 | 29.362 % | 320.80/320.99 c | 87387 | 5206 13120 35759 | 20886 20171 140 | 29.362 % | 345.89/346.04 c =============================================================================== 345.89/346.04 c #cores: 24 345.89/346.04 c Final Weight: 25 345.89/346.04 o 25 345.89/346.04 s OPTIMUM FOUND 345.89/346.04 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 345.89/346.04 c Total CPU time: 342.965 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655785-1276634097/watcher-2655785-1276634097 -o /tmp/evaluation-result-2655785-1276634097/solver-2655785-1276634097 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655785-1276634097.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 11184 /proc/meminfo: memFree=1723632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=3380 CPUtime=0 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 405 0 0 0 0 0 0 0 18 0 1 0 4702526 3461120 323 1992294400 134512640 135751879 4288313440 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 845 323 143 303 0 459 0 [startup+0.105806 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11184 /proc/meminfo: memFree=1723632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=4884 CPUtime=0.09 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 939 0 0 0 9 0 0 0 21 0 1 0 4702526 5001216 776 1992294400 134512640 135751879 4288313440 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1221 776 146 303 0 916 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4884 [startup+0.200816 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11184 /proc/meminfo: memFree=1723632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=4884 CPUtime=0.19 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 940 0 0 0 18 1 0 0 21 0 1 0 4702526 5001216 777 1992294400 134512640 135751879 4288313440 18446744073709551615 134606374 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1221 777 147 303 0 916 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4884 [startup+0.300827 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11184 /proc/meminfo: memFree=1723632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=4884 CPUtime=0.29 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 944 0 0 0 27 2 0 0 21 0 1 0 4702526 5001216 781 1992294400 134512640 135751879 4288313440 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1221 781 147 303 0 916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4884 [startup+0.70087 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11184 /proc/meminfo: memFree=1723632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=4884 CPUtime=0.69 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 944 0 0 0 66 3 0 0 22 0 1 0 4702526 5001216 781 1992294400 134512640 135751879 4288313440 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1221 781 147 303 0 916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4884 [startup+1.50096 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1721020/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=5144 CPUtime=1.49 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 1022 0 0 0 145 4 0 0 25 0 1 0 4702526 5267456 859 1992294400 134512640 135751879 4288313440 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1286 859 147 303 0 981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5144 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1719656/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=6860 CPUtime=3.09 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 1422 0 0 0 303 6 0 0 25 0 1 0 4702526 7024640 1259 1992294400 134512640 135751879 4288313440 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 1715 1259 147 303 0 1410 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6860 [startup+6.30148 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1716556/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=9512 CPUtime=6.29 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 2107 0 0 0 620 9 0 0 25 0 1 0 4702526 9740288 1944 1992294400 134512640 135751879 4288313440 18446744073709551615 134605963 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 2378 1944 148 303 0 2073 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9512 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1710108/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=15740 CPUtime=12.69 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 3661 0 0 0 1252 17 0 0 25 0 1 0 4702526 16117760 3498 1992294400 134512640 135751879 4288313440 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 3935 3498 148 303 0 3630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15740 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1697832/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=27748 CPUtime=25.48 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 6647 0 0 0 2517 31 0 0 25 0 1 0 4702526 28413952 6484 1992294400 134512640 135751879 4288313440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 6937 6484 148 303 0 6632 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27748 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11185 /proc/meminfo: memFree=1673528/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=52324 CPUtime=51.07 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 12799 0 0 0 5053 54 0 0 25 0 1 0 4702526 53579776 12636 1992294400 134512640 135751879 4288313440 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 13081 12636 148 303 0 12776 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52324 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11187 /proc/meminfo: memFree=1625292/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=99940 CPUtime=102.27 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 24682 0 0 0 10111 116 0 0 25 0 1 0 4702526 102338560 24519 1992294400 134512640 135751879 4288313440 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 24985 24519 148 303 0 24680 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 99940 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1569616/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=155876 CPUtime=162.25 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 38660 0 0 0 16041 184 0 0 25 0 1 0 4702526 159617024 38497 1992294400 134512640 135751879 4288313440 18446744073709551615 134607671 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 38969 38497 148 303 0 38664 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 155876 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11191 /proc/meminfo: memFree=1539732/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=185108 CPUtime=222.23 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 46006 0 0 0 21996 227 0 0 25 0 1 0 4702526 189550592 45843 1992294400 134512640 135751879 4288313440 18446744073709551615 134608147 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 46277 45843 151 303 0 45972 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 185108 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11191 /proc/meminfo: memFree=1505632/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=219660 CPUtime=282.21 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 54624 0 0 0 27959 262 0 0 25 0 1 0 4702526 224931840 54461 1992294400 134512640 135751879 4288313440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 54915 54461 151 303 0 54610 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 219660 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1466696/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=258008 CPUtime=342.19 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64214 0 0 0 33923 296 0 0 25 0 1 0 4702526 264200192 64051 1992294400 134512640 135751879 4288313440 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 64502 64051 151 303 0 64197 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 258008 Solver just ended. Dumping a history of the last processes samples [startup+342.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1466696/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=258140 CPUtime=342.29 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64228 0 0 0 33933 296 0 0 25 0 1 0 4702526 264335360 64065 1992294400 134512640 135751879 4288313440 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 64535 64065 151 303 0 64230 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 258140 [startup+344.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1466076/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=259196 CPUtime=343.9 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64492 0 0 0 34093 297 0 0 25 0 1 0 4702526 265416704 64329 1992294400 134512640 135751879 4288313440 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 64799 64329 151 303 0 64494 0 Current children cumulated CPU time (s) 343.9 Current children cumulated vsize (KiB) 259196 [startup+344.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1465332/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=259724 CPUtime=344.69 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64637 0 0 0 34172 297 0 0 25 0 1 0 4702526 265957376 64474 1992294400 134512640 135751879 4288313440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 64931 64474 151 303 0 64626 0 Current children cumulated CPU time (s) 344.69 Current children cumulated vsize (KiB) 259724 [startup+345.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1464588/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=260252 CPUtime=345.49 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64765 0 0 0 34252 297 0 0 25 0 1 0 4702526 266498048 64602 1992294400 134512640 135751879 4288313440 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 65063 64602 151 303 0 64758 0 Current children cumulated CPU time (s) 345.49 Current children cumulated vsize (KiB) 260252 [startup+346.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1464588/2059040 swapFree=4192956/4192956 [pid=11184] ppid=11182 vsize=260516 CPUtime=345.89 /proc/11184/stat : 11184 (wbo1.4b) R 11182 11184 10926 0 -1 4202496 64829 0 0 0 34292 297 0 0 25 0 1 0 4702526 266768384 64666 1992294400 134512640 135751879 4288313440 18446744073709551615 134610764 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11184/statm: 65129 64666 151 303 0 64824 0 Current children cumulated CPU time (s) 345.89 Current children cumulated vsize (KiB) 260516 Child status: 0 Real time (s): 346.07 CPU time (s): 345.968 CPU user time (s): 342.965 CPU system time (s): 3.00354 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 260516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 342.965 system time used= 3.00354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64836 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= 6 involuntary context switches= 633 runsolver used 0.619905 second user time and 1.59576 second system time The end
Begin job on node037 at 2010-06-15 22:34:57 IDJOB=2655785 IDBENCH=24990 IDSOLVER=1161 FILE ID=node037/2655785-1276634097 PBS_JOBID= 11172372 Free space on /tmp= 62584 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655785-1276634097/watcher-2655785-1276634097 -o /tmp/evaluation-result-2655785-1276634097/solver-2655785-1276634097 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655785-1276634097.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1529843242 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: 1724160 kB Buffers: 52296 kB Cached: 146848 kB SwapCached: 0 kB Active: 124412 kB Inactive: 134300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1724160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2996 kB Writeback: 0 kB AnonPages: 59512 kB Mapped: 15384 kB Slab: 54500 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181488 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 22:40:43