Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 25 | 258.723 | 258.805 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680428-1277459712.opb. 0.00/0.00 c Instance file HOME/instance-2680428-1277459712.opb 0.00/0.00 c File size is 328518 bytes. 0.01/0.05 c Highest Coefficient sum: 64 0.01/0.05 c ============================[ Problem Statistics ]============================= 0.01/0.05 c | | 0.01/0.05 c | Parsing time: 0.05 s | 0.01/0.05 c | Number Variables: 3973 | 0.01/0.05 c | Number Clauses: 11097 | 0.01/0.05 c | Number Cardinality: 0 | 0.01/0.05 c | Number PB Constraints: 0 | 0.01/0.10 c ============================[ Search Statistics ]============================== 0.01/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.10 c =============================================================================== 0.01/0.10 c | 0 | 3698 11157 26767 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 30 0.09/0.10 o 30 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.10 c =============================================================================== 0.09/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.22 c =============================================================================== 0.19/0.22 c New solution: 29 0.19/0.22 o 29 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s 0.19/0.22 c =============================================================================== 0.19/0.22 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.31 c | 590 | 3698 11159 30579 | 6050 590 39 | 6.922 % | 0.29/0.39 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.72 c | 1660 | 3698 11159 30579 | 8052 1660 47 | 6.923 % | 0.89/0.98 c | 2419 | 3698 11159 30579 | 8857 2419 50 | 6.922 % | 1.39/1.45 c | 3558 | 3698 11159 30579 | 9743 3558 52 | 6.923 % | 1.99/2.04 c | 5266 | 3698 11159 30579 | 10717 5266 57 | 6.922 % | 2.99/3.01 c | 7828 | 3698 11159 30579 | 11789 7828 57 | 6.922 % | 4.40/4.42 c | 11672 | 3698 11159 30579 | 12968 11672 58 | 6.922 % | 6.99/7.02 c | 17438 | 3698 11159 30579 | 14265 10331 57 | 6.922 % | 10.09/10.14 c | 26088 | 3698 11159 30579 | 15692 11007 62 | 6.922 % | 14.98/15.08 c | 39063 | 3698 11159 30579 | 17261 15383 63 | 6.922 % | 23.38/23.47 c | 58526 | 3698 11159 30579 | 18987 16204 72 | 6.922 % | 36.28/36.36 c | 87718 | 3698 11159 30579 | 20886 14663 69 | 6.922 % | 53.67/53.71 c | 131507 | 3698 11159 30579 | 22974 12250 80 | 6.922 % | 53.97/54.05 c =============================================================================== 53.97/54.05 c New solution: 28 53.97/54.05 o 28 53.97/54.05 c Elapsed CPU time: 53.4059 s Remaining CPU time: 126.594 s 53.97/54.05 c =============================================================================== 53.97/54.05 c | 132465 | 3698 11160 32485 | 5000 13208 78 | 6.922 % | 54.07/54.16 c | 132566 | 3698 11160 32485 | 5500 3403 69 | 6.923 % | 54.18/54.22 c | 132716 | 3698 11160 32485 | 6050 3553 68 | 6.922 % | 54.28/54.32 c | 132943 | 3698 11160 32485 | 6655 3780 67 | 6.923 % | 54.37/54.43 c | 133280 | 3698 11160 32485 | 7320 4117 65 | 6.923 % | 54.58/54.61 c | 133786 | 3698 11160 32485 | 8052 4623 65 | 6.922 % | 54.67/54.71 c =============================================================================== 54.67/54.71 c New solution: 27 54.67/54.71 o 27 54.67/54.71 c Elapsed CPU time: 54.0558 s Remaining CPU time: 125.944 s 54.67/54.71 c =============================================================================== 54.67/54.71 c | 134048 | 3698 11161 34391 | 5000 4885 64 | 6.922 % | 54.67/54.76 c | 134149 | 3698 11161 34391 | 5500 4986 63 | 6.922 % | 54.77/54.81 c | 134299 | 3698 11161 34391 | 6050 5136 63 | 6.922 % | 54.88/54.90 c | 134525 | 3698 11161 34391 | 6655 5362 62 | 6.922 % | 54.98/55.02 c | 134862 | 3698 11161 34391 | 7320 5699 62 | 6.922 % | 55.18/55.22 c | 135368 | 3698 11161 34391 | 8052 6205 61 | 6.922 % | 55.47/55.54 c | 136128 | 3698 11161 34391 | 8857 6965 59 | 6.923 % | 55.88/55.93 c | 137269 | 3698 11161 34391 | 9743 8106 61 | 6.922 % | 56.58/56.60 c | 138977 | 3698 11161 34391 | 10717 9814 61 | 6.922 % | 57.47/57.54 c | 141540 | 3698 11161 34391 | 11789 12377 58 | 6.922 % | 58.87/58.96 c | 145384 | 3698 11161 34391 | 12968 10033 55 | 6.922 % | 61.58/61.70 c | 151150 | 3698 11161 34391 | 14265 8667 54 | 6.922 % | 64.78/64.80 c | 159801 | 3698 11161 34391 | 15692 9434 57 | 6.922 % | 69.57/69.67 c | 172775 | 3698 11161 34391 | 17261 13729 61 | 6.922 % | 78.67/78.79 c | 192238 | 3698 11161 34391 | 18987 14859 91 | 6.922 % | 90.76/90.80 c | 221430 | 3698 11161 34391 | 20886 13494 87 | 6.922 % | 108.36/108.48 c | 265219 | 3698 11161 34391 | 22974 11019 59 | 6.922 % | 138.25/138.30 c | 330903 | 3698 11161 34391 | 25272 23182 78 | 6.922 % | 179.04/179.19 c | 429429 | 3698 11161 34391 | 27799 12977 76 | 6.922 % | 181.93/182.06 c There are 275 assigned variables. 107 in cost function. 182.93/183.00 c core #1 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 45 Core Weight: 1 Total Weight: 2 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #2 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 71 Core Weight: 1 Total Weight: 3 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #3 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 50 Core Weight: 1 Total Weight: 4 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #4 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 31 Core Weight: 1 Total Weight: 5 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #5 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 31 Core Weight: 1 Total Weight: 6 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #6 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 51 Core Weight: 1 Total Weight: 7 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #7 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 31 Core Weight: 1 Total Weight: 8 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #8 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 51 Core Weight: 1 Total Weight: 9 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #9 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 31 Core Weight: 1 Total Weight: 10 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #10 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 51 Core Weight: 1 Total Weight: 11 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #11 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 31 Core Weight: 1 Total Weight: 12 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #12 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 49 Core Weight: 1 Total Weight: 13 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #13 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 30 Core Weight: 1 Total Weight: 14 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #14 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 124 Core Weight: 1 Total Weight: 15 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #15 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 6 Core Weight: 1 Total Weight: 16 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #16 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 26 Core Weight: 1 Total Weight: 17 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #17 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 14 Core Weight: 1 Total Weight: 18 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #18 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 502 Core Weight: 1 Total Weight: 19 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #19 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 6 Core Weight: 1 Total Weight: 20 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c core #20 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c Core size: 7 Core Weight: 1 Total Weight: 21 182.93/183.00 c 182.93/183.00 c 182.93/183.00 c ============================[ Search Statistics ]============================== 182.93/183.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.00 c =============================================================================== 182.93/183.00 c | 0 | 1485 11832 22516 | 5000 0 nan | 0.000 % | 182.93/183.01 c =============================================================================== 182.93/183.04 c core #21 182.93/183.04 c 182.93/183.04 c 182.93/183.04 c Core size: 290 Core Weight: 1 Total Weight: 22 182.93/183.04 c 182.93/183.04 c 182.93/183.04 c ============================[ Search Statistics ]============================== 182.93/183.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.04 c =============================================================================== 182.93/183.04 c | 0 | 1966 11833 23757 | 5000 0 nan | 0.000 % | 182.93/183.07 c =============================================================================== 183.03/183.10 c core #22 183.03/183.10 c 183.03/183.10 c 183.03/183.10 c Core size: 545 Core Weight: 1 Total Weight: 23 183.03/183.10 c 183.03/183.10 c 183.03/183.10 c ============================[ Search Statistics ]============================== 183.03/183.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.10 c =============================================================================== 183.03/183.10 c | 0 | 2621 11834 25371 | 5000 0 nan | 0.000 % | 183.03/183.12 c | 101 | 2621 11834 25371 | 5500 101 39 | 47.061 % | 183.03/183.16 c | 251 | 2621 11834 25371 | 6050 251 52 | 47.061 % | 183.13/183.23 c | 477 | 2621 11834 25371 | 6655 477 66 | 47.061 % | 183.23/183.33 c | 817 | 2621 11834 25371 | 7320 817 71 | 47.061 % | 183.44/183.53 c | 1328 | 2621 11834 25371 | 8052 1328 71 | 47.061 % | 183.64/183.71 c =============================================================================== 183.64/183.76 c core #23 183.64/183.76 c 183.64/183.76 c 183.64/183.76 c Core size: 978 Core Weight: 1 Total Weight: 24 183.64/183.76 c 183.64/183.76 c 183.64/183.76 c ============================[ Search Statistics ]============================== 183.64/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.76 c =============================================================================== 183.64/183.76 c | 0 | 3389 11836 27113 | 5000 0 nan | 0.000 % | 183.64/183.79 c | 100 | 3389 11836 27113 | 5500 100 91 | 38.970 % | 183.73/183.84 c | 250 | 3389 11836 27113 | 6050 250 113 | 38.970 % | 183.83/183.90 c | 475 | 3389 11836 27113 | 6655 475 84 | 38.970 % | 183.93/184.02 c | 813 | 3389 11836 27113 | 7320 813 72 | 38.970 % | 184.13/184.20 c | 1319 | 3389 11836 27113 | 8052 1319 72 | 38.970 % | 184.53/184.61 c | 2078 | 3389 11836 27113 | 8857 2078 104 | 38.970 % | 185.03/185.19 c | 3222 | 3389 11836 27113 | 9743 3222 109 | 38.970 % | 186.13/186.21 c | 4930 | 3389 11836 27113 | 10717 4930 110 | 38.970 % | 188.04/188.12 c | 7493 | 3389 11836 27113 | 11789 7493 119 | 38.970 % | 191.03/191.10 c | 11337 | 3389 11836 27113 | 12968 11337 132 | 38.970 % | 196.73/196.86 c | 17105 | 3389 11836 27113 | 14265 9346 148 | 38.970 % | 206.42/206.54 c | 25756 | 3389 11836 27113 | 15692 9743 118 | 38.970 % | 218.92/219.08 c | 38733 | 3389 11836 27113 | 17261 13693 151 | 38.970 % | 226.92/227.05 c =============================================================================== 227.92/228.06 c core #24 227.92/228.06 c 227.92/228.06 c 227.92/228.06 c Core size: 920 Core Weight: 1 Total Weight: 25 227.92/228.06 c 227.92/228.06 c 227.92/228.06 c ============================[ Search Statistics ]============================== 227.92/228.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.92/228.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.92/228.06 c =============================================================================== 227.92/228.06 c | 0 | 4080 11838 28498 | 5000 0 nan | 0.000 % | 228.02/228.11 c | 103 | 4080 11838 28498 | 5500 103 132 | 34.657 % | 228.11/228.23 c | 254 | 4080 11838 28498 | 6050 254 105 | 34.657 % | 228.22/228.34 c | 481 | 4080 11838 28498 | 6655 481 90 | 34.657 % | 228.42/228.50 c | 818 | 4080 11838 28498 | 7320 818 86 | 34.657 % | 228.73/228.81 c | 1325 | 4080 11838 28498 | 8052 1325 79 | 34.657 % | 229.01/229.19 c | 2085 | 4080 11838 28498 | 8857 2085 96 | 34.658 % | 229.72/229.82 c | 3224 | 4080 11838 28498 | 9743 3224 113 | 34.657 % | 230.92/231.09 c | 4935 | 4080 11838 28498 | 10717 4935 132 | 34.657 % | 232.72/232.81 c | 7502 | 4080 11838 28498 | 11789 7502 149 | 34.657 % | 235.22/235.40 c | 11350 | 4080 11838 28498 | 12968 11350 146 | 34.657 % | 239.51/239.62 c | 17116 | 4080 11838 28498 | 14265 9293 117 | 34.657 % | 247.21/247.34 c | 25769 | 4080 11838 28498 | 15692 9460 120 | 34.657 % | 258.21/258.32 c | 38745 | 4080 11838 28498 | 17261 13171 164 | 34.657 % | 258.61/258.77 c =============================================================================== 258.61/258.78 c #cores: 24 258.61/258.78 c Final Weight: 25 258.61/258.78 o 25 258.61/258.78 s OPTIMUM FOUND 258.61/258.78 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 258.61/258.78 c Total CPU time: 256.234 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-2680428-1277459712/watcher-2680428-1277459712 -o /tmp/evaluation-result-2680428-1277459712/solver-2680428-1277459712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680428-1277459712.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 27053 /proc/meminfo: memFree=1841244/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=3380 CPUtime=0 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 87259244 3461120 317 1992294400 134512640 135752675 4289691024 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 845 317 138 303 0 459 0 [startup+0.0136249 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27053 /proc/meminfo: memFree=1841244/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=3540 CPUtime=0.01 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 440 0 0 0 1 0 0 0 20 0 1 0 87259244 3624960 358 1992294400 134512640 135752675 4289691024 18446744073709551615 135378894 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 885 358 146 303 0 499 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3540 [startup+0.101638 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27053 /proc/meminfo: memFree=1841244/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=4884 CPUtime=0.09 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 936 0 0 0 9 0 0 0 20 0 1 0 87259244 5001216 773 1992294400 134512640 135752675 4289691024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 1221 773 142 303 0 916 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4884 [startup+0.301666 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27053 /proc/meminfo: memFree=1841244/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=4884 CPUtime=0.29 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 943 0 0 0 28 1 0 0 20 0 1 0 87259244 5001216 780 1992294400 134512640 135752675 4289691024 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 1221 780 145 303 0 916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4884 [startup+0.701723 s] /proc/loadavg: 1.00 1.00 0.95 3/106 27053 /proc/meminfo: memFree=1841244/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=4884 CPUtime=0.69 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 943 0 0 0 67 2 0 0 21 0 1 0 87259244 5001216 780 1992294400 134512640 135752675 4289691024 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 1221 780 145 303 0 916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4884 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1838508/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=5144 CPUtime=1.49 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 1015 0 0 0 146 3 0 0 23 0 1 0 87259244 5267456 852 1992294400 134512640 135752675 4289691024 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 1286 852 145 303 0 981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5144 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1837268/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=6704 CPUtime=3.09 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 1410 0 0 0 303 6 0 0 25 0 1 0 87259244 6864896 1247 1992294400 134512640 135752675 4289691024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 1676 1247 145 303 0 1371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6704 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1834292/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=9512 CPUtime=6.29 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 2090 0 0 0 618 11 0 0 25 0 1 0 87259244 9740288 1927 1992294400 134512640 135752675 4289691024 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 2378 1927 145 303 0 2073 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9512 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1828092/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=15632 CPUtime=12.68 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 3629 0 0 0 1251 17 0 0 25 0 1 0 87259244 16007168 3466 1992294400 134512640 135752675 4289691024 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 3908 3466 145 303 0 3603 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15632 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1815816/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=27460 CPUtime=25.48 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 6598 0 0 0 2516 32 0 0 25 0 1 0 87259244 28119040 6435 1992294400 134512640 135752675 4289691024 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 6865 6435 145 303 0 6560 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27460 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27054 /proc/meminfo: memFree=1791636/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=52072 CPUtime=51.07 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 12732 0 0 0 5049 58 0 0 25 0 1 0 87259244 53321728 12569 1992294400 134512640 135752675 4289691024 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 13018 12569 145 303 0 12713 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52072 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27056 /proc/meminfo: memFree=1743524/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=99392 CPUtime=102.27 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 24549 0 0 0 10110 117 0 0 25 0 1 0 87259244 101777408 24386 1992294400 134512640 135752675 4289691024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 24848 24386 145 303 0 24543 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 99392 [startup+162.302 s] /proc/loadavg: 1.03 1.01 0.96 2/107 27058 /proc/meminfo: memFree=1687724/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=155484 CPUtime=162.24 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 38567 0 0 0 16044 180 0 0 25 0 1 0 87259244 159215616 38404 1992294400 134512640 135752675 4289691024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 38871 38404 145 303 0 38566 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 155484 [startup+222.301 s] /proc/loadavg: 1.01 1.01 0.96 2/107 27060 /proc/meminfo: memFree=1654120/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=188468 CPUtime=222.22 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 46846 0 0 0 21999 223 0 0 25 0 1 0 87259244 192991232 46683 1992294400 134512640 135752675 4289691024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 47117 46683 146 303 0 46812 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 188468 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.01 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1647052/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=195492 CPUtime=230.22 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 48570 0 0 0 22794 228 0 0 25 0 1 0 87259244 200183808 48407 1992294400 134512640 135752675 4289691024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 48873 48407 146 303 0 48568 0 Current children cumulated CPU time (s) 230.22 Current children cumulated vsize (KiB) 195492 [startup+243.108 s] /proc/loadavg: 1.01 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1640232/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=202268 CPUtime=243.02 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 50268 0 0 0 24066 236 0 0 25 0 1 0 87259244 207122432 50105 1992294400 134512640 135752675 4289691024 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 50567 50105 146 303 0 50262 0 Current children cumulated CPU time (s) 243.02 Current children cumulated vsize (KiB) 202268 [startup+249.501 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1636388/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=207160 CPUtime=249.41 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 51481 0 0 0 24701 240 0 0 25 0 1 0 87259244 212131840 51318 1992294400 134512640 135752675 4289691024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 51790 51318 146 303 0 51485 0 Current children cumulated CPU time (s) 249.41 Current children cumulated vsize (KiB) 207160 [startup+252.7 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1633288/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=209940 CPUtime=252.61 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 52192 0 0 0 25019 242 0 0 25 0 1 0 87259244 214978560 52029 1992294400 134512640 135752675 4289691024 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 52485 52029 146 303 0 52180 0 Current children cumulated CPU time (s) 252.61 Current children cumulated vsize (KiB) 209940 [startup+255.901 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1630808/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=212452 CPUtime=255.81 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 52796 0 0 0 25336 245 0 0 25 0 1 0 87259244 217550848 52633 1992294400 134512640 135752675 4289691024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 53113 52633 146 303 0 52808 0 Current children cumulated CPU time (s) 255.81 Current children cumulated vsize (KiB) 212452 [startup+257.501 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1629072/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=213640 CPUtime=257.41 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 53104 0 0 0 25495 246 0 0 25 0 1 0 87259244 218767360 52941 1992294400 134512640 135752675 4289691024 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 53410 52941 146 303 0 53105 0 Current children cumulated CPU time (s) 257.41 Current children cumulated vsize (KiB) 213640 [startup+258.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1629072/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=214304 CPUtime=258.21 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 53279 0 0 0 25575 246 0 0 25 0 1 0 87259244 219447296 53116 1992294400 134512640 135752675 4289691024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 53576 53116 146 303 0 53271 0 Current children cumulated CPU time (s) 258.21 Current children cumulated vsize (KiB) 214304 [startup+258.701 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1628080/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=214700 CPUtime=258.61 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202496 53360 0 0 0 25615 246 0 0 25 0 1 0 87259244 219852800 53197 1992294400 134512640 135752675 4289691024 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27053/statm: 53675 53197 146 303 0 53370 0 Current children cumulated CPU time (s) 258.61 Current children cumulated vsize (KiB) 214700 [startup+258.801 s] /proc/loadavg: 1.00 1.00 0.96 2/107 27060 /proc/meminfo: memFree=1628080/2059040 swapFree=4140632/4192956 [pid=27053] ppid=27051 vsize=0 CPUtime=258.71 /proc/27053/stat : 27053 (wbo1.4b) R 27051 27053 26433 0 -1 4202500 53374 0 0 0 25623 248 0 0 25 0 1 0 87259244 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27053/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 258.71 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 258.805 CPU time (s): 258.723 CPU user time (s): 256.234 CPU system time (s): 2.48862 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 214700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 256.234 system time used= 2.48862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53374 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2825 runsolver used 0.45793 second user time and 1.20482 second system time The end
Begin job on node049 at 2010-06-25 11:55:12 IDJOB=2680428 IDBENCH=24990 IDSOLVER=1190 FILE ID=node049/2680428-1277459712 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_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-2680428-1277459712/watcher-2680428-1277459712 -o /tmp/evaluation-result-2680428-1277459712/solver-2680428-1277459712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680428-1277459712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1157272844 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: 1841772 kB Buffers: 41408 kB Cached: 75960 kB SwapCached: 5652 kB Active: 58464 kB Inactive: 72604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1841772 kB SwapTotal: 4192956 kB SwapFree: 4140632 kB Dirty: 2960 kB Writeback: 16 kB AnonPages: 12400 kB Mapped: 11944 kB Slab: 64088 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184764 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:59:31