Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -21 | 181.21 | 181.261 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 43 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 3102 |
Sum of products size | 6204 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702544-1278569622.opb. 0.00/0.00 c Instance file HOME/instance-2702544-1278569622.opb 0.00/0.00 c File size is 255995 bytes. 0.01/0.04 c Highest Coefficient sum: 43 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 3302 | 0.01/0.04 c | Number Clauses: 3102 | 0.01/0.04 c | Number Cardinality: 400 | 0.01/0.04 c | Number PB Constraints: 3102 | 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6604 15310 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 200 0.01/0.05 o 200 0.01/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6605 15510 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 199 0.01/0.05 o 199 0.01/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6606 15710 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 198 0.01/0.05 o 198 0.01/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6607 15910 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 197 0.01/0.05 o 197 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 2 | 200 6608 16110 | 5000 2 198 | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 196 0.01/0.05 o 196 0.01/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 3 | 200 6609 16310 | 5000 3 198 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 195 0.01/0.06 o 195 0.01/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 8 | 200 6610 16510 | 5000 8 197 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 194 0.01/0.06 o 194 0.01/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 15 | 200 6611 16710 | 5000 15 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 193 0.01/0.06 o 193 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 21 | 200 6612 16910 | 5000 21 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 192 0.01/0.06 o 192 0.01/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 51 | 200 6613 17110 | 5000 51 196 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 191 0.01/0.07 o 191 0.01/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 129 | 200 6614 17310 | 5000 129 195 | 0.000 % | 0.01/0.08 c | 229 | 200 6614 17310 | 5500 229 194 | 93.943 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: 190 0.01/0.08 o 190 0.01/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 272 | 200 6615 17510 | 5000 272 194 | 93.943 % | 0.01/0.09 c | 372 | 200 6615 17510 | 5500 372 195 | 93.943 % | 0.09/0.11 c | 523 | 200 6615 17510 | 6050 523 194 | 93.943 % | 0.09/0.14 c | 751 | 200 6615 17510 | 6655 751 194 | 93.943 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 189 0.09/0.14 o 189 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 760 | 200 6616 17710 | 5000 760 194 | 93.943 % | 0.09/0.16 c | 860 | 200 6616 17710 | 5500 860 194 | 93.943 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 188 0.09/0.17 o 188 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 1009 | 200 6617 17910 | 5000 1009 195 | 93.943 % | 0.09/0.19 c | 1109 | 200 6617 17910 | 5500 1109 194 | 93.943 % | 0.19/0.22 c | 1259 | 200 6617 17910 | 6050 1259 194 | 93.943 % | 0.19/0.28 c | 1484 | 200 6617 17910 | 6655 1484 194 | 93.943 % | 0.29/0.37 c | 1822 | 200 6617 17910 | 7320 1822 195 | 93.943 % | 0.39/0.49 c | 2328 | 200 6617 17910 | 8052 2328 198 | 93.943 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 187 0.49/0.52 o 187 0.49/0.52 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 2452 | 200 6618 18110 | 5000 2452 198 | 93.943 % | 0.49/0.55 c | 2554 | 200 6618 18110 | 5500 2554 199 | 93.943 % | 0.49/0.57 c | 2704 | 200 6618 18110 | 6050 2704 199 | 93.943 % | 0.59/0.62 c | 2930 | 200 6618 18110 | 6655 2930 198 | 93.943 % | 0.69/0.75 c | 3269 | 200 6618 18110 | 7320 3269 198 | 93.943 % | 0.89/0.91 c | 3776 | 200 6618 18110 | 8052 3776 198 | 93.943 % | 1.19/1.21 c | 4537 | 200 6618 18110 | 8857 4537 197 | 93.943 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: 186 1.49/1.54 o 186 1.49/1.54 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 5506 | 200 6619 18310 | 5000 5506 196 | 93.943 % | 1.59/1.63 c | 5607 | 200 6619 18310 | 5500 5607 196 | 93.943 % | 1.69/1.75 c | 5757 | 200 6619 18310 | 6050 5757 196 | 93.943 % | 1.79/1.88 c | 5984 | 200 6619 18310 | 6655 5984 196 | 93.943 % | 2.10/2.11 c | 6321 | 200 6619 18310 | 7320 6321 197 | 93.943 % | 2.39/2.43 c | 6827 | 200 6619 18310 | 8052 6827 197 | 93.943 % | 2.89/2.94 c | 7588 | 200 6619 18310 | 8857 7588 200 | 93.943 % | 3.69/3.70 c | 8727 | 200 6619 18310 | 9743 8727 199 | 93.943 % | 4.49/4.51 c | 10436 | 200 6619 18310 | 10717 10436 198 | 93.943 % | 4.69/4.74 c =============================================================================== 4.69/4.74 c New solution: 185 4.69/4.74 o 185 4.69/4.74 c Elapsed CPU time: 4.70129 s Remaining CPU time: 175.299 s 4.69/4.74 c =============================================================================== 4.69/4.74 c | 10645 | 200 6620 18510 | 5000 10645 198 | 93.943 % | 4.79/4.89 c | 10746 | 200 6620 18510 | 5500 5424 199 | 93.943 % | 4.99/5.01 c | 10899 | 200 6620 18510 | 6050 5577 199 | 93.943 % | 5.09/5.14 c | 11124 | 200 6620 18510 | 6655 5802 200 | 93.943 % | 5.28/5.30 c | 11461 | 200 6620 18510 | 7320 6139 200 | 93.943 % | 5.40/5.43 c | 11967 | 200 6620 18510 | 8052 6645 199 | 93.943 % | 5.69/5.75 c | 12728 | 200 6620 18510 | 8857 7406 198 | 93.943 % | 6.39/6.49 c | 13868 | 200 6620 18510 | 9743 8546 197 | 93.943 % | 6.99/7.10 c =============================================================================== 6.99/7.10 c New solution: 184 6.99/7.10 o 184 6.99/7.10 c Elapsed CPU time: 7.03593 s Remaining CPU time: 172.964 s 6.99/7.10 c =============================================================================== 6.99/7.10 c | 15019 | 200 6621 18710 | 5000 9697 196 | 93.943 % | 7.09/7.19 c | 15119 | 200 6621 18710 | 5500 4949 193 | 93.943 % | 7.19/7.22 c | 15270 | 200 6621 18710 | 6050 5100 193 | 93.943 % | 7.29/7.32 c | 15495 | 200 6621 18710 | 6655 5325 194 | 93.943 % | 7.39/7.45 c | 15834 | 200 6621 18710 | 7320 5664 195 | 93.943 % | 7.59/7.62 c | 16341 | 200 6621 18710 | 8052 6171 195 | 93.943 % | 7.99/8.01 c | 17101 | 200 6621 18710 | 8857 6931 194 | 93.943 % | 8.98/9.02 c | 18241 | 200 6621 18710 | 9743 8071 194 | 93.943 % | 10.19/10.29 c | 19950 | 200 6621 18710 | 10717 9780 193 | 93.943 % | 11.79/11.83 c | 22512 | 200 6621 18710 | 11789 12342 193 | 93.943 % | 16.29/16.33 c | 26357 | 200 6621 18710 | 12968 8651 191 | 93.943 % | 23.19/23.26 c | 32123 | 200 6621 18710 | 14265 14417 190 | 93.943 % | 27.58/27.62 c =============================================================================== 27.58/27.62 c New solution: 183 27.58/27.62 o 183 27.58/27.62 c Elapsed CPU time: 27.4388 s Remaining CPU time: 152.561 s 27.58/27.62 c =============================================================================== 27.58/27.62 c | 37800 | 200 6622 18910 | 5000 11318 189 | 93.943 % | 27.68/27.77 c | 37904 | 200 6622 18910 | 5500 5763 189 | 93.943 % | 27.78/27.83 c | 38054 | 200 6622 18910 | 6050 5913 190 | 93.943 % | 27.89/27.97 c | 38279 | 200 6622 18910 | 6655 6138 189 | 93.943 % | 28.09/28.12 c | 38617 | 200 6622 18910 | 7320 6476 189 | 93.943 % | 28.28/28.39 c =============================================================================== 28.28/28.39 c New solution: 182 28.28/28.39 o 182 28.28/28.39 c Elapsed CPU time: 28.1987 s Remaining CPU time: 151.801 s 28.28/28.39 c =============================================================================== 28.28/28.39 c | 39046 | 200 6623 19110 | 5000 6905 189 | 93.943 % | 28.38/28.41 c | 39147 | 200 6623 19110 | 5500 7006 189 | 93.943 % | 28.38/28.49 c | 39298 | 200 6623 19110 | 6050 7157 190 | 93.943 % | 28.49/28.60 c | 39523 | 200 6623 19110 | 6655 7382 191 | 93.943 % | 28.68/28.79 c | 39864 | 200 6623 19110 | 7320 7723 193 | 93.943 % | 29.08/29.20 c | 40372 | 200 6623 19110 | 8052 8231 193 | 93.943 % | 29.70/29.79 c | 41133 | 200 6623 19110 | 8857 8992 193 | 93.943 % | 30.69/30.77 c | 42275 | 200 6623 19110 | 9743 10134 193 | 93.943 % | 31.98/32.00 c | 43984 | 200 6623 19110 | 10717 11843 192 | 93.943 % | 33.99/34.10 c =============================================================================== 33.99/34.10 c New solution: 181 33.99/34.10 o 181 33.99/34.10 c Elapsed CPU time: 33.8719 s Remaining CPU time: 146.128 s 33.99/34.10 c =============================================================================== 33.99/34.10 c | 46000 | 200 6624 19310 | 5000 13859 192 | 93.943 % | 34.28/34.31 c | 46102 | 200 6624 19310 | 5500 7032 194 | 93.943 % | 34.38/34.44 c | 46253 | 200 6624 19310 | 6050 7183 194 | 93.943 % | 34.58/34.61 c | 46481 | 200 6624 19310 | 6655 7411 194 | 93.943 % | 34.78/34.82 c | 46818 | 200 6624 19310 | 7320 7748 193 | 93.943 % | 34.97/35.05 c | 47324 | 200 6624 19310 | 8052 8254 194 | 93.943 % | 35.47/35.60 c | 48083 | 200 6624 19310 | 8857 9013 197 | 93.943 % | 36.47/36.51 c | 49222 | 200 6624 19310 | 9743 10152 201 | 93.943 % | 37.78/37.86 c | 50931 | 200 6624 19310 | 10717 11861 210 | 93.943 % | 41.68/41.72 c | 53494 | 200 6624 19310 | 11789 7422 220 | 93.943 % | 43.17/43.22 c | 57340 | 200 6624 19310 | 12968 11268 214 | 93.943 % | 50.27/50.33 c | 63107 | 200 6624 19310 | 14265 8909 191 | 93.943 % | 58.57/58.64 c | 71759 | 200 6624 19310 | 15692 8792 186 | 93.943 % | 60.87/60.96 c =============================================================================== 60.87/60.96 c New solution: 180 60.87/60.96 o 180 60.87/60.96 c Elapsed CPU time: 60.5898 s Remaining CPU time: 119.41 s 60.87/60.96 c =============================================================================== 60.87/60.96 c | 76608 | 200 6625 19510 | 5000 13641 186 | 93.943 % | 61.17/61.28 c | 76711 | 200 6625 19510 | 5500 6924 187 | 93.943 % | 61.27/61.31 c | 76863 | 200 6625 19510 | 6050 7076 187 | 93.943 % | 61.57/61.64 c | 77088 | 200 6625 19510 | 6655 7301 187 | 93.943 % | 61.66/61.77 c | 77425 | 200 6625 19510 | 7320 7638 188 | 93.943 % | 61.97/62.07 c | 77931 | 200 6625 19510 | 8052 8144 189 | 93.943 % | 62.57/62.66 c | 78692 | 200 6625 19510 | 8857 8905 192 | 93.943 % | 63.07/63.17 c | 79831 | 200 6625 19510 | 9743 10044 195 | 93.943 % | 63.97/64.05 c | 81540 | 200 6625 19510 | 10717 11753 194 | 93.943 % | 65.77/65.88 c | 84102 | 200 6625 19510 | 11789 7316 198 | 93.943 % | 68.47/68.53 c | 87946 | 200 6625 19510 | 12968 11160 196 | 93.943 % | 73.06/73.15 c | 93713 | 200 6625 19510 | 14265 8801 190 | 93.943 % | 81.07/81.15 c | 102363 | 200 6625 19510 | 15692 17451 188 | 93.943 % | 88.76/88.87 c | 115338 | 200 6625 19510 | 17261 11450 186 | 93.943 % | 108.96/109.07 c =============================================================================== 108.96/109.07 c New solution: 179 108.96/109.07 o 179 108.96/109.07 c Elapsed CPU time: 108.454 s Remaining CPU time: 71.5465 s 108.96/109.07 c =============================================================================== 108.96/109.07 c | 131657 | 200 6626 19710 | 5000 17499 185 | 93.943 % | 109.16/109.27 c | 131757 | 200 6626 19710 | 5500 4475 184 | 93.943 % | 109.26/109.33 c | 131908 | 200 6626 19710 | 6050 4626 184 | 93.943 % | 109.36/109.40 c | 132134 | 200 6626 19710 | 6655 4852 184 | 93.943 % | 109.46/109.56 c | 132472 | 200 6626 19710 | 7320 5190 184 | 93.943 % | 109.66/109.70 c | 132978 | 200 6626 19710 | 8052 5696 185 | 93.943 % | 109.97/110.02 c | 133738 | 200 6626 19710 | 8857 6456 187 | 93.943 % | 110.66/110.76 c | 134878 | 200 6626 19710 | 9743 7596 188 | 93.943 % | 111.55/111.69 c | 136588 | 200 6626 19710 | 10717 9306 189 | 93.943 % | 112.66/112.78 c | 139151 | 200 6626 19710 | 11789 11869 189 | 93.943 % | 115.66/115.72 c | 142996 | 200 6626 19710 | 12968 8178 210 | 93.943 % | 118.55/118.67 c | 148762 | 200 6626 19710 | 14265 13944 210 | 93.943 % | 124.85/124.97 c | 157415 | 200 6626 19710 | 15692 13824 201 | 93.943 % | 138.55/138.68 c | 170391 | 200 6626 19710 | 17261 17314 188 | 93.943 % | 158.55/158.62 c | 189852 | 200 6626 19710 | 18987 16234 187 | 93.943 % | 178.34/178.45 c | 219045 | 200 6626 19710 | 20886 10691 184 | 93.943 % | 180.94/181.01 c There are 3102 assigned variables. 0 in cost function. 181.14/181.23 c core #1 181.14/181.23 c #cores: 1 181.14/181.23 c Final Weight: 179 181.14/181.23 o 179 181.14/181.23 s OPTIMUM FOUND 181.14/181.23 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 181.14/181.24 c Total CPU time: 180.229 s
OK -21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702544-1278569622/watcher-2702544-1278569622 -o /tmp/evaluation-result-2702544-1278569622/solver-2702544-1278569622 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702544-1278569622.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29024 /proc/meminfo: memFree=1680428/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=3252 CPUtime=0 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 25175939 3330048 315 1992294400 134512640 135751879 4293237216 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 813 315 143 303 0 445 0 [startup+0.018399 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29024 /proc/meminfo: memFree=1680428/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=3552 CPUtime=0.01 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 474 0 0 0 1 0 0 0 20 0 1 0 25175939 3637248 392 1992294400 134512640 135751879 4293237216 18446744073709551615 135118138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 888 393 159 303 0 520 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3552 [startup+0.101406 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29024 /proc/meminfo: memFree=1680428/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=4396 CPUtime=0.09 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 791 0 0 0 9 0 0 0 20 0 1 0 25175939 4501504 646 1992294400 134512640 135751879 4293237216 18446744073709551615 135209077 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 1099 646 147 303 0 794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4396 [startup+0.301422 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29024 /proc/meminfo: memFree=1680428/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=5168 CPUtime=0.29 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 995 0 0 0 29 0 0 0 20 0 1 0 25175939 5292032 850 1992294400 134512640 135751879 4293237216 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 1292 850 147 303 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5168 [startup+0.701455 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29024 /proc/meminfo: memFree=1680428/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=6724 CPUtime=0.69 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 1379 0 0 0 68 1 0 0 21 0 1 0 25175939 6885376 1235 1992294400 134512640 135751879 4293237216 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 1681 1235 147 303 0 1376 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6724 [startup+1.50152 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29025 /proc/meminfo: memFree=1675460/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=8796 CPUtime=1.49 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 1889 0 0 0 147 2 0 0 23 0 1 0 25175939 9007104 1744 1992294400 134512640 135751879 4293237216 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 2199 1744 147 303 0 1894 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8796 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29025 /proc/meminfo: memFree=1673228/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=11024 CPUtime=3.09 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 2470 0 0 0 306 3 0 0 25 0 1 0 25175939 11288576 2325 1992294400 134512640 135751879 4293237216 18446744073709551615 134616829 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 2756 2325 147 303 0 2451 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11024 [startup+6.30091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29025 /proc/meminfo: memFree=1667772/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=15968 CPUtime=6.29 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 3692 0 0 0 624 5 0 0 25 0 1 0 25175939 16351232 3547 1992294400 134512640 135751879 4293237216 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 3992 3547 148 303 0 3687 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15968 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29026 /proc/meminfo: memFree=1657852/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=25080 CPUtime=12.69 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 5955 0 0 0 1259 10 0 0 25 0 1 0 25175939 25681920 5811 1992294400 134512640 135751879 4293237216 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 6270 5814 148 303 0 5965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25080 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29026 /proc/meminfo: memFree=1647684/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=35316 CPUtime=25.48 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 8520 0 0 0 2532 16 0 0 25 0 1 0 25175939 36163584 8375 1992294400 134512640 135751879 4293237216 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 8829 8375 148 303 0 8524 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35316 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29026 /proc/meminfo: memFree=1621768/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=61340 CPUtime=51.07 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 15005 0 0 0 5078 29 0 0 25 0 1 0 25175939 62812160 14860 1992294400 134512640 135751879 4293237216 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 15335 14860 148 303 0 15030 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61340 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29028 /proc/meminfo: memFree=1568324/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=114304 CPUtime=102.27 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 28178 0 0 0 10171 56 0 0 25 0 1 0 25175939 117047296 28033 1992294400 134512640 135751879 4293237216 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 28576 28033 148 303 0 28271 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 114304 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 29030 /proc/meminfo: memFree=1511036/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=172156 CPUtime=162.25 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 42635 0 0 0 16140 85 0 0 25 0 1 0 25175939 176287744 42490 1992294400 134512640 135751879 4293237216 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 43039 42490 148 303 0 42734 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 172156 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.11 1.03 1.01 2/107 29030 /proc/meminfo: memFree=1503844/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=179344 CPUtime=166.24 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 44401 0 0 0 16537 87 0 0 25 0 1 0 25175939 183648256 44256 1992294400 134512640 135751879 4293237216 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 44836 44256 148 303 0 44531 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 179344 [startup+172.708 s] /proc/loadavg: 1.09 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1496280/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=186236 CPUtime=172.65 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 46128 0 0 0 17174 91 0 0 25 0 1 0 25175939 190705664 45983 1992294400 134512640 135751879 4293237216 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 46559 45983 148 303 0 46254 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 186236 [startup+175.902 s] /proc/loadavg: 1.09 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1491568/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=190972 CPUtime=175.85 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 47293 0 0 0 17492 93 0 0 25 0 1 0 25175939 195555328 47148 1992294400 134512640 135751879 4293237216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 47743 47148 148 303 0 47438 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 190972 [startup+179.101 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1488716/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=194428 CPUtime=179.04 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 48158 0 0 0 17809 95 0 0 25 0 1 0 25175939 199094272 48013 1992294400 134512640 135751879 4293237216 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 48607 48013 148 303 0 48302 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 194428 [startup+179.901 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1487972/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=195840 CPUtime=179.84 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 48525 0 0 0 17889 95 0 0 25 0 1 0 25175939 200540160 48380 1992294400 134512640 135751879 4293237216 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 48960 48380 148 303 0 48655 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 195840 [startup+180.701 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1486360/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=196480 CPUtime=180.64 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 48671 0 0 0 17968 96 0 0 25 0 1 0 25175939 201195520 48526 1992294400 134512640 135751879 4293237216 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 49120 48526 148 303 0 48815 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 196480 [startup+181.101 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1486360/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=197296 CPUtime=181.04 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 48872 0 0 0 18008 96 0 0 25 0 1 0 25175939 202031104 48727 1992294400 134512640 135751879 4293237216 18446744073709551615 134521818 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 49324 48727 149 303 0 49019 0 Current children cumulated CPU time (s) 181.04 Current children cumulated vsize (KiB) 197296 [startup+181.201 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29030 /proc/meminfo: memFree=1486360/2059040 swapFree=4139412/4192956 [pid=29024] ppid=29022 vsize=197296 CPUtime=181.14 /proc/29024/stat : 29024 (wbo1.4b) R 29022 29024 28215 0 -1 4202496 48872 0 0 0 18018 96 0 0 25 0 1 0 25175939 202031104 48727 1992294400 134512640 135751879 4293237216 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29024/statm: 49324 48727 149 303 0 49019 0 Current children cumulated CPU time (s) 181.14 Current children cumulated vsize (KiB) 197296 Child status: 0 Real time (s): 181.261 CPU time (s): 181.21 CPU user time (s): 180.229 CPU system time (s): 0.98185 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 197296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.229 system time used= 0.98185 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48886 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= 2184 runsolver used 0.316951 second user time and 0.85087 second system time The end
Begin job on node003 at 2010-07-08 08:13:42 IDJOB=2702544 IDBENCH=48207 IDSOLVER=1161 FILE ID=node003/2702544-1278569622 PBS_JOBID= 11239582 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702544-1278569622/watcher-2702544-1278569622 -o /tmp/evaluation-result-2702544-1278569622/solver-2702544-1278569622 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702544-1278569622.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=1109529179 node003.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.224 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.44 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.224 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681336 kB Buffers: 77868 kB Cached: 208140 kB SwapCached: 9476 kB Active: 161092 kB Inactive: 141336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681336 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2768 kB Writeback: 12 kB AnonPages: 12060 kB Mapped: 12008 kB Slab: 53256 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179696 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702544-1278569622.opb Free space on /tmp at the end= 62568 MiB End job on node003 at 2010-07-08 08:16:44