Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 23 | 191.502 | 191.564 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 2.99154 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
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 | 2136 |
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 | 2136 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2136 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680421-1277459520.opb. 0.00/0.00 c Instance file HOME/instance-2680421-1277459520.opb 0.00/0.00 c File size is 373906 bytes. 0.01/0.06 c Highest Coefficient sum: 64 0.01/0.06 c ============================[ Problem Statistics ]============================= 0.01/0.06 c | | 0.01/0.06 c | Parsing time: 0.06 s | 0.01/0.06 c | Number Variables: 4427 | 0.01/0.06 c | Number Clauses: 12661 | 0.01/0.06 c | Number Cardinality: 0 | 0.01/0.06 c | Number PB Constraints: 0 | 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 4020 12737 30258 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 27 0.09/0.12 o 27 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 4020 12738 32394 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 101 | 4020 12738 32394 | 5500 101 59 | 9.194 % | 0.19/0.21 c | 252 | 4020 12738 32394 | 6050 252 42 | 9.194 % | 0.29/0.32 c | 478 | 4020 12738 32394 | 6655 478 45 | 9.195 % | 0.39/0.44 c | 815 | 4020 12738 32394 | 7320 815 45 | 9.194 % | 0.59/0.67 c | 1321 | 4020 12738 32394 | 8052 1321 41 | 9.195 % | 0.89/0.95 c | 2080 | 4020 12738 32394 | 8857 2080 45 | 9.194 % | 1.49/1.53 c | 3219 | 4020 12738 32394 | 9743 3219 44 | 9.194 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c New solution: 26 1.59/1.63 o 26 1.59/1.63 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s 1.59/1.63 c =============================================================================== 1.59/1.63 c | 3520 | 4020 12739 34530 | 5000 3520 43 | 9.194 % | 1.59/1.68 c | 3620 | 4020 12739 34530 | 5500 3620 43 | 9.194 % | 1.70/1.73 c | 3770 | 4020 12739 34530 | 6050 3770 44 | 9.194 % | 1.79/1.85 c | 3996 | 4020 12739 34530 | 6655 3996 44 | 9.194 % | 1.89/1.97 c | 4334 | 4020 12739 34530 | 7320 4334 45 | 9.194 % | 2.10/2.18 c | 4840 | 4020 12739 34530 | 8052 4840 45 | 9.195 % | 2.49/2.54 c | 5599 | 4020 12739 34530 | 8857 5599 44 | 9.194 % | 2.89/2.98 c | 6738 | 4020 12739 34530 | 9743 6738 46 | 9.194 % | 3.59/3.67 c | 8446 | 4020 12739 34530 | 10717 8446 51 | 9.194 % | 4.69/4.74 c | 11008 | 4020 12739 34530 | 11789 11008 52 | 9.194 % | 6.19/6.21 c | 14853 | 4020 12739 34530 | 12968 8068 62 | 9.194 % | 9.39/9.43 c | 20620 | 4020 12739 34530 | 14265 13835 76 | 9.194 % | 12.69/12.76 c | 29269 | 4020 12739 34530 | 15692 14457 73 | 9.194 % | 18.39/18.42 c | 42244 | 4020 12739 34530 | 17261 10401 72 | 9.194 % | 26.49/26.57 c | 61705 | 4020 12739 34530 | 18987 11032 58 | 9.194 % | 38.88/38.96 c | 90899 | 4020 12739 34530 | 20886 19804 64 | 9.194 % | 58.18/58.25 c | 134688 | 4020 12739 34530 | 22974 16519 85 | 9.194 % | 87.26/87.34 c | 200373 | 4020 12739 34530 | 25272 16399 80 | 9.194 % | 135.55/135.62 c | 298900 | 4020 12739 34530 | 27799 21469 67 | 9.194 % | 182.13/182.24 c There are 407 assigned variables. 165 in cost function. 183.03/183.12 c core #1 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 71 Core Weight: 1 Total Weight: 2 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #2 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 46 Core Weight: 1 Total Weight: 3 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #3 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 15 Core Weight: 1 Total Weight: 4 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #4 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 51 Core Weight: 1 Total Weight: 5 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #5 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 30 Core Weight: 1 Total Weight: 6 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #6 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 31 Core Weight: 1 Total Weight: 7 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #7 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 7 Core Weight: 1 Total Weight: 8 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #8 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 51 Core Weight: 1 Total Weight: 9 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #9 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 71 Core Weight: 1 Total Weight: 10 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #10 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 50 Core Weight: 1 Total Weight: 11 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #11 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 29 Core Weight: 1 Total Weight: 12 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #12 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 15 Core Weight: 1 Total Weight: 13 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #13 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 49 Core Weight: 1 Total Weight: 14 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #14 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 7 Core Weight: 1 Total Weight: 15 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #15 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 6 Core Weight: 1 Total Weight: 16 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #16 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 454 Core Weight: 1 Total Weight: 17 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #17 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 12 Core Weight: 1 Total Weight: 18 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c core #18 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c Core size: 6 Core Weight: 1 Total Weight: 19 183.03/183.12 c 183.03/183.12 c 183.03/183.12 c ============================[ Search Statistics ]============================== 183.03/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.12 c =============================================================================== 183.03/183.12 c | 0 | 1171 13346 19219 | 5000 0 nan | 0.000 % | 183.03/183.12 c =============================================================================== 183.03/183.15 c core #19 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c Core size: 321 Core Weight: 1 Total Weight: 20 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c ============================[ Search Statistics ]============================== 183.03/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.15 c =============================================================================== 183.03/183.15 c | 0 | 1732 13347 20681 | 5000 0 nan | 0.000 % | 183.03/183.16 c =============================================================================== 183.03/183.18 c core #20 183.03/183.18 c 183.03/183.18 c 183.03/183.18 c Core size: 344 Core Weight: 1 Total Weight: 21 183.03/183.18 c 183.03/183.18 c 183.03/183.18 c ============================[ Search Statistics ]============================== 183.03/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.18 c =============================================================================== 183.03/183.18 c | 0 | 2191 13348 21980 | 5000 0 nan | 0.000 % | 183.13/183.21 c | 101 | 2191 13348 21980 | 5500 101 44 | 57.743 % | 183.13/183.24 c | 252 | 2191 13348 21980 | 6050 252 44 | 57.743 % | 183.13/183.27 c =============================================================================== 183.23/183.30 c core #21 183.23/183.30 c 183.23/183.30 c 183.23/183.30 c Core size: 688 Core Weight: 1 Total Weight: 22 183.23/183.30 c 183.23/183.30 c 183.23/183.30 c ============================[ Search Statistics ]============================== 183.23/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.30 c =============================================================================== 183.23/183.30 c | 0 | 2783 13349 23293 | 5000 0 nan | 0.000 % | 183.23/183.35 c | 100 | 2783 13349 23293 | 5500 100 104 | 50.717 % | 183.34/183.41 c | 251 | 2783 13349 23293 | 6050 251 90 | 50.717 % | 183.43/183.52 c | 477 | 2783 13349 23293 | 6655 477 99 | 50.717 % | 183.64/183.72 c | 817 | 2783 13349 23293 | 7320 817 98 | 50.717 % | 183.83/184.00 c | 1323 | 2783 13349 23293 | 8052 1323 98 | 50.717 % | 184.23/184.37 c | 2082 | 2783 13349 23293 | 8857 2082 104 | 50.717 % | 185.03/185.16 c | 3222 | 2783 13349 23293 | 9743 3222 107 | 50.717 % | 186.23/186.32 c | 4930 | 2783 13349 23293 | 10717 4930 112 | 50.717 % | 187.83/187.92 c | 7495 | 2783 13349 23293 | 11789 7495 108 | 50.717 % | 189.53/189.61 c =============================================================================== 189.63/189.77 c core #22 189.63/189.77 c 189.63/189.77 c 189.63/189.77 c Core size: 739 Core Weight: 1 Total Weight: 23 189.63/189.77 c 189.63/189.77 c 189.63/189.77 c ============================[ Search Statistics ]============================== 189.63/189.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.63/189.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.63/189.77 c =============================================================================== 189.63/189.77 c | 0 | 3519 13350 24894 | 5000 0 nan | 0.000 % | 189.73/189.82 c | 103 | 3519 13350 24894 | 5500 103 186 | 43.956 % | 189.73/189.87 c | 253 | 3519 13350 24894 | 6050 253 137 | 43.956 % | 189.93/190.02 c | 478 | 3519 13350 24894 | 6655 478 170 | 43.956 % | 190.13/190.23 c | 817 | 3519 13350 24894 | 7320 817 157 | 43.956 % | 190.33/190.43 c | 1325 | 3519 13350 24894 | 8052 1325 137 | 43.956 % | 190.73/190.83 c | 2085 | 3519 13350 24894 | 8857 2085 147 | 43.956 % | 191.34/191.43 c | 3225 | 3519 13350 24894 | 9743 3225 144 | 43.956 % | 191.43/191.54 c =============================================================================== 191.43/191.54 c #cores: 22 191.43/191.54 c Final Weight: 23 191.43/191.54 o 23 191.43/191.54 s OPTIMUM FOUND 191.43/191.54 v -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 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 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -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 -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 -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 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -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 -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 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 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -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 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -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 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -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 -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 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -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 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -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 -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 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -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 x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -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 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 x4303 -x4305 -x4307 x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 x4417 x4419 x4421 -x4423 x4425 x4427 -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 -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 -x1 -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 -x2 -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 -x3 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -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 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -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 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -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 -x12 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -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 -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -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 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 x1549 -x1551 -x43 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 -x1583 -x47 -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 -x48 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 -x2241 -x2243 -x80 -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 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x81 -x2373 -x2375 -x2377 -x2379 -x2381 -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 -x82 -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 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -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 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x86 -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 -x87 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x90 -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 -x91 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x99 -x2989 -x2991 -x2993 -x100 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x108 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x120 -x3523 -x3525 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -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 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x147 -x4106 -x4108 -x4110 -x148 -x4112 -x149 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 x4278 -x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 x4302 x160 -x4304 -x4306 x4308 x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 -x4368 -x166 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 -x4394 x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 x4420 x171 -x4422 x4424 x172 x4426 x173 x174 191.43/191.54 c Total CPU time: 189.232 s
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680421-1277459520/watcher-2680421-1277459520 -o /tmp/evaluation-result-2680421-1277459520/solver-2680421-1277459520 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680421-1277459520.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 0.95 3/106 27020 /proc/meminfo: memFree=1841676/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=3416 CPUtime=0 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 398 0 0 0 0 0 0 0 25 0 1 0 87240045 3497984 316 1992294400 134512640 135752675 4286674192 18446744073709551615 135378796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 854 316 138 303 0 457 0 [startup+0.017167 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27020 /proc/meminfo: memFree=1841676/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=3864 CPUtime=0.01 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 497 0 0 0 1 0 0 0 25 0 1 0 87240045 3956736 415 1992294400 134512640 135752675 4286674192 18446744073709551615 134633288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 966 415 152 303 0 569 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3864 [startup+0.101179 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27020 /proc/meminfo: memFree=1841676/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=5224 CPUtime=0.09 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 1019 0 0 0 9 0 0 0 25 0 1 0 87240045 5349376 845 1992294400 134512640 135752675 4286674192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 1306 845 141 303 0 1001 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5224 [startup+0.301206 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27020 /proc/meminfo: memFree=1841676/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=5356 CPUtime=0.29 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 1038 0 0 0 28 1 0 0 25 0 1 0 87240045 5484544 864 1992294400 134512640 135752675 4286674192 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 1339 864 145 303 0 1034 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5356 [startup+0.701263 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27020 /proc/meminfo: memFree=1841676/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=5356 CPUtime=0.69 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 1038 0 0 0 68 1 0 0 25 0 1 0 87240045 5484544 864 1992294400 134512640 135752675 4286674192 18446744073709551615 134616024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 1339 864 145 303 0 1034 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5356 [startup+1.50138 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27021 /proc/meminfo: memFree=1838568/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=5356 CPUtime=1.49 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 1038 0 0 0 147 2 0 0 25 0 1 0 87240045 5484544 864 1992294400 134512640 135752675 4286674192 18446744073709551615 134611513 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 1339 864 145 303 0 1034 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5356 [startup+3.1016 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27021 /proc/meminfo: memFree=1837948/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=6408 CPUtime=3.09 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 1305 0 0 0 303 6 0 0 25 0 1 0 87240045 6561792 1131 1992294400 134512640 135752675 4286674192 18446744073709551615 134605438 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 1602 1131 145 303 0 1297 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6408 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27021 /proc/meminfo: memFree=1835096/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=9424 CPUtime=6.29 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 2053 0 0 0 620 9 0 0 25 0 1 0 87240045 9650176 1879 1992294400 134512640 135752675 4286674192 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 2356 1879 145 303 0 2051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9424 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27021 /proc/meminfo: memFree=1829020/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=15188 CPUtime=12.69 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 3506 0 0 0 1252 17 0 0 25 0 1 0 87240045 15552512 3332 1992294400 134512640 135752675 4286674192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 3797 3332 145 303 0 3492 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15188 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27023 /proc/meminfo: memFree=1817488/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=26320 CPUtime=25.49 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 6285 0 0 0 2516 33 0 0 25 0 1 0 87240045 26951680 6111 1992294400 134512640 135752675 4286674192 18446744073709551615 134605457 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 6580 6111 145 303 0 6275 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26320 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27023 /proc/meminfo: memFree=1793308/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=50612 CPUtime=51.07 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 12366 0 0 0 5049 58 0 0 25 0 1 0 87240045 51826688 12192 1992294400 134512640 135752675 4286674192 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 12653 12192 145 303 0 12348 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 50612 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27025 /proc/meminfo: memFree=1747304/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=95964 CPUtime=102.27 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 23682 0 0 0 10104 123 0 0 25 0 1 0 87240045 98267136 23508 1992294400 134512640 135752675 4286674192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 23991 23508 145 303 0 23686 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 95964 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27025 /proc/meminfo: memFree=1704524/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=139096 CPUtime=162.24 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 34442 0 0 0 16027 197 0 0 25 0 1 0 87240045 142434304 34268 1992294400 134512640 135752675 4286674192 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 34774 34268 145 303 0 34469 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 139096 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27025 /proc/meminfo: memFree=1701176/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=142252 CPUtime=166.24 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 35252 0 0 0 16423 201 0 0 25 0 1 0 87240045 145666048 35078 1992294400 134512640 135752675 4286674192 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 35563 35078 145 303 0 35258 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 142252 [startup+179.101 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1688528/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=155488 CPUtime=179.03 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 38545 0 0 0 17688 215 0 0 25 0 1 0 87240045 159219712 38371 1992294400 134512640 135752675 4286674192 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 38872 38371 145 303 0 38567 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 155488 [startup+185.501 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1684064/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=158436 CPUtime=185.43 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 39463 0 0 0 18323 220 0 0 25 0 1 0 87240045 162238464 39156 1992294400 134512640 135752675 4286674192 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 39609 39156 146 303 0 39304 0 Current children cumulated CPU time (s) 185.43 Current children cumulated vsize (KiB) 158436 [startup+188.701 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1684064/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=158436 CPUtime=188.63 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 39467 0 0 0 18641 222 0 0 25 0 1 0 87240045 162238464 39160 1992294400 134512640 135752675 4286674192 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 39609 39160 146 303 0 39304 0 Current children cumulated CPU time (s) 188.63 Current children cumulated vsize (KiB) 158436 [startup+190.308 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1684064/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=158436 CPUtime=190.23 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 39485 0 0 0 18800 223 0 0 25 0 1 0 87240045 162238464 39178 1992294400 134512640 135752675 4286674192 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 39609 39178 146 303 0 39304 0 Current children cumulated CPU time (s) 190.23 Current children cumulated vsize (KiB) 158436 [startup+191.101 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1684064/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=158436 CPUtime=191.03 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 39485 0 0 0 18879 224 0 0 25 0 1 0 87240045 162238464 39178 1992294400 134512640 135752675 4286674192 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 39609 39178 146 303 0 39304 0 Current children cumulated CPU time (s) 191.03 Current children cumulated vsize (KiB) 158436 [startup+191.501 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27027 /proc/meminfo: memFree=1684064/2059040 swapFree=4140632/4192956 [pid=27020] ppid=27018 vsize=158436 CPUtime=191.43 /proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26433 0 -1 4202496 39485 0 0 0 18918 225 0 0 25 0 1 0 87240045 162238464 39178 1992294400 134512640 135752675 4286674192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27020/statm: 39609 39178 146 303 0 39304 0 Current children cumulated CPU time (s) 191.43 Current children cumulated vsize (KiB) 158436 Child status: 0 Real time (s): 191.564 CPU time (s): 191.502 CPU user time (s): 189.232 CPU system time (s): 2.26965 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 159176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 189.232 system time used= 2.26965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39486 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= 4 involuntary context switches= 2089 runsolver used 0.292955 second user time and 0.939857 second system time The end
Begin job on node049 at 2010-06-25 11:52:00 IDJOB=2680421 IDBENCH=24983 IDSOLVER=1190 FILE ID=node049/2680421-1277459520 PBS_JOBID= 11188119 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680421-1277459520/watcher-2680421-1277459520 -o /tmp/evaluation-result-2680421-1277459520/solver-2680421-1277459520 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680421-1277459520.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=1874531242 node049.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842080 kB Buffers: 41140 kB Cached: 75876 kB SwapCached: 5652 kB Active: 58464 kB Inactive: 72304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842080 kB SwapTotal: 4192956 kB SwapFree: 4140632 kB Dirty: 2992 kB Writeback: 16 kB AnonPages: 12296 kB Mapped: 11940 kB Slab: 64088 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183956 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node049 at 2010-06-25 11:55:12