Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | OPT | 20 | 1073.75 | 1073.94 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
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 | 20 |
Best CPU time to get the best result obtained on this benchmark | 97.9001 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
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 | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
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 Parsing PB file... 0.19/0.29 c Converting 21273 PB-constraints to clauses... 0.19/0.29 c -- Unit propagations: (none) 0.19/0.29 c -- Detecting intervals from adjacent constraints: ========= 0.19/0.29 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.29/0.32 c ---[ 0]---> Adder-cost: 1282 maxlim: 618 bits: 10/10 0.39/0.47 c ==================================[MINISAT+]================================== 0.39/0.47 c | Conflicts | Original | Learnt | Progress | 0.39/0.47 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.47 c ============================================================================== 0.39/0.47 c | 0 | 30173 85211 | 10057 0 0 nan | 0.000 % | 0.39/0.49 c | 100 | 30166 85188 | 11062 99 2161 21.8 | 0.205 % | 0.49/0.52 c | 250 | 30130 85066 | 12168 243 3534 14.5 | 0.287 % | 0.49/0.56 c | 475 | 30113 85005 | 13385 465 5611 12.1 | 0.314 % | 0.59/0.61 c | 812 | 30081 84897 | 14724 797 10400 13.0 | 0.397 % | 0.59/0.69 c | 1318 | 30072 84868 | 16196 1302 27232 20.9 | 0.424 % | 0.69/0.72 c | 2078 | 30072 84868 | 17816 2062 44275 21.5 | 0.424 % | 0.79/0.88 c | 3217 | 30072 84868 | 19598 3201 125499 39.2 | 0.424 % | 1.10/1.14 c | 4925 | 30072 84868 | 21558 4909 318394 64.9 | 0.424 % | 1.49/1.51 c | 7487 | 29998 84615 | 23713 7449 656438 88.1 | 0.602 % | 1.99/2.07 c | 11336 | 29998 84615 | 26085 11298 1092614 96.7 | 0.602 % | 2.99/3.02 c | 17103 | 29998 84615 | 28693 17065 1853924 108.6 | 0.602 % | 5.08/5.15 c | 25754 | 29998 84615 | 31563 25716 3262564 126.9 | 0.602 % | 5.39/5.45 c ============================================================================== 5.39/5.45 c [1mFound solution: 31[0m 5.39/5.45 o 31 5.39/5.45 c ---[ 0]---> Sorter-cost:29182 Base: 5.58/5.63 c ==================================[MINISAT+]================================== 5.58/5.63 c | Conflicts | Original | Learnt | Progress | 5.58/5.63 c | | Clauses Literals | Max Clauses Literals LPC | | 5.58/5.63 c ============================================================================== 5.58/5.63 c | 26837 | 62149 159678 | 20716 26799 3430399 128.0 | 0.602 % | 5.58/5.66 c | 26937 | 62149 159678 | 22787 13500 1744203 129.2 | 0.158 % | 5.69/5.70 c | 27089 | 62149 159678 | 25066 13652 1759476 128.9 | 0.158 % | 5.69/5.75 c | 27315 | 62149 159678 | 27572 13878 1785196 128.6 | 0.158 % | 5.79/5.82 c | 27652 | 62149 159678 | 30330 14215 1831005 128.8 | 0.158 % | 5.89/5.95 c | 28158 | 62149 159678 | 33363 14721 1949978 132.5 | 0.158 % | 6.09/6.12 c | 28918 | 62149 159678 | 36699 15481 2110255 136.3 | 0.158 % | 6.19/6.28 c | 30057 | 62149 159678 | 40369 16620 2228856 134.1 | 0.158 % | 6.29/6.31 c ============================================================================== 6.29/6.31 c [1mFound solution: 27[0m 6.29/6.31 o 27 6.29/6.32 c ---[ 0]---> Sorter-cost: 0 Base: 6.39/6.48 c ==================================[MINISAT+]================================== 6.39/6.48 c | Conflicts | Original | Learnt | Progress | 6.39/6.48 c | | Clauses Literals | Max Clauses Literals LPC | | 6.39/6.48 c ============================================================================== 6.39/6.48 c | 30156 | 62173 159738 | 20724 16719 2236433 133.8 | 0.158 % | 6.50/6.51 c | 30257 | 62173 159738 | 22796 16820 2250746 133.8 | 0.162 % | 6.50/6.53 c | 30407 | 62173 159738 | 25076 16970 2261310 133.3 | 0.162 % | 6.50/6.56 c | 30633 | 62173 159738 | 27583 17196 2275180 132.3 | 0.162 % | 6.60/6.60 c | 30972 | 62173 159738 | 30342 17535 2293015 130.8 | 0.162 % | 6.69/6.70 c | 31479 | 62173 159738 | 33376 18042 2330500 129.2 | 0.162 % | 6.79/6.89 c | 32238 | 62173 159738 | 36713 18801 2399563 127.6 | 0.162 % | 6.99/7.08 c | 33377 | 62173 159738 | 40385 19940 2522161 126.5 | 0.162 % | 7.29/7.37 c | 35085 | 62173 159738 | 44423 21648 2754537 127.2 | 0.162 % | 7.99/8.00 c | 37647 | 62173 159738 | 48866 24210 3141199 129.7 | 0.162 % | 8.70/8.78 c | 41492 | 62173 159738 | 53752 28055 3485201 124.2 | 0.162 % | 10.09/10.15 c | 47259 | 62173 159738 | 59127 33822 4085091 120.8 | 0.162 % | 10.19/10.29 c ============================================================================== 10.19/10.29 c [1mFound solution: 24[0m 10.19/10.29 o 24 10.19/10.29 c ---[ 0]---> Sorter-cost: 0 Base: 10.39/10.46 c ==================================[MINISAT+]================================== 10.39/10.46 c | Conflicts | Original | Learnt | Progress | 10.39/10.46 c | | Clauses Literals | Max Clauses Literals LPC | | 10.39/10.46 c ============================================================================== 10.39/10.46 c | 47886 | 62167 159725 | 20722 34401 4132776 120.1 | 0.162 % | 10.49/10.53 c | 47989 | 62167 159725 | 22794 14146 1267059 89.6 | 0.232 % | 10.49/10.57 c | 48139 | 62167 159725 | 25073 14296 1291708 90.4 | 0.232 % | 10.59/10.63 c | 48366 | 62167 159725 | 27580 14523 1313943 90.5 | 0.232 % | 10.59/10.67 c | 48703 | 62167 159725 | 30339 14860 1330659 89.5 | 0.232 % | 10.69/10.75 c | 49212 | 62167 159725 | 33372 15369 1362001 88.6 | 0.232 % | 10.89/10.96 c | 49971 | 62167 159725 | 36710 16128 1500527 93.0 | 0.232 % | 11.19/11.28 c | 51111 | 62167 159725 | 40381 17268 1772263 102.6 | 0.232 % | 11.69/11.71 c | 52820 | 62167 159725 | 44419 18977 1940622 102.3 | 0.232 % | 12.29/12.32 c | 55383 | 62167 159725 | 48861 21540 2143624 99.5 | 0.232 % | 13.09/13.11 c | 59231 | 62167 159725 | 53747 25388 2439960 96.1 | 0.232 % | 14.99/15.04 c | 64998 | 62167 159725 | 59122 31155 3126900 100.4 | 0.232 % | 18.49/18.55 c | 73647 | 62167 159725 | 65034 39804 3987748 100.2 | 0.232 % | 24.20/24.25 c | 86621 | 62167 159725 | 71537 52778 5271813 99.9 | 0.232 % | 34.38/34.46 c | 106082 | 62167 159725 | 78691 72239 6727043 93.1 | 0.232 % | 44.29/44.31 c ============================================================================== 44.29/44.31 c [1mFound solution: 23[0m 44.29/44.31 o 23 44.29/44.32 c ---[ 0]---> Sorter-cost: 0 Base: 44.39/44.48 c ==================================[MINISAT+]================================== 44.39/44.48 c | Conflicts | Original | Learnt | Progress | 44.39/44.48 c | | Clauses Literals | Max Clauses Literals LPC | | 44.39/44.48 c ============================================================================== 44.39/44.48 c | 128754 | 62181 159761 | 20727 35147 2303083 65.5 | 0.232 % | 44.59/44.61 c | 128854 | 62181 159761 | 22799 17087 1093276 64.0 | 0.236 % | 44.59/44.64 c | 129005 | 62181 159761 | 25079 17238 1100625 63.8 | 0.236 % | 44.69/44.73 c | 129230 | 62181 159761 | 27587 17463 1137657 65.1 | 0.236 % | 44.79/44.82 c | 129567 | 62181 159761 | 30346 17800 1189354 66.8 | 0.236 % | 44.89/44.98 c | 130073 | 62181 159761 | 33381 18306 1237795 67.6 | 0.236 % | 45.09/45.16 c | 130834 | 62181 159761 | 36719 19067 1280279 67.1 | 0.236 % | 45.49/45.57 c | 131974 | 62181 159761 | 40391 20207 1457479 72.1 | 0.236 % | 45.89/45.94 c | 133682 | 62181 159761 | 44430 21915 1577029 72.0 | 0.236 % | 46.59/46.66 c | 136247 | 62181 159761 | 48873 24480 1907770 77.9 | 0.236 % | 47.48/47.56 c | 140094 | 62181 159761 | 53760 28327 2297911 81.1 | 0.236 % | 48.58/48.66 c | 145860 | 62181 159761 | 59136 34093 2580502 75.7 | 0.236 % | 51.28/51.35 c | 154512 | 62181 159761 | 65050 42745 3482569 81.5 | 0.236 % | 52.48/52.53 c ============================================================================== 52.48/52.53 c [1mFound solution: 22[0m 52.48/52.53 o 22 52.48/52.53 c ---[ 0]---> Sorter-cost: 0 Base: 52.68/52.71 c ==================================[MINISAT+]================================== 52.68/52.71 c | Conflicts | Original | Learnt | Progress | 52.68/52.71 c | | Clauses Literals | Max Clauses Literals LPC | | 52.68/52.71 c ============================================================================== 52.68/52.71 c | 158152 | 61921 159150 | 20640 41585 3335899 80.2 | 0.236 % | 52.78/52.82 c | 158253 | 61921 159150 | 22704 14421 1080491 74.9 | 0.883 % | 52.78/52.86 c | 158403 | 61921 159150 | 24974 14571 1092375 75.0 | 0.883 % | 52.88/52.92 c | 158630 | 61921 159150 | 27471 14798 1113412 75.2 | 0.883 % | 52.98/53.03 c | 158967 | 61921 159150 | 30219 15135 1145373 75.7 | 0.883 % | 53.08/53.19 c | 159473 | 61921 159150 | 33240 15641 1217013 77.8 | 0.883 % | 53.28/53.38 c | 160232 | 61921 159150 | 36565 16400 1280655 78.1 | 0.883 % | 53.68/53.75 c | 161371 | 61921 159150 | 40221 17539 1390233 79.3 | 0.883 % | 54.18/54.21 c | 163079 | 61921 159150 | 44243 19247 1539415 80.0 | 0.883 % | 54.78/54.86 c | 165643 | 61921 159150 | 48668 21811 1745676 80.0 | 0.883 % | 56.18/56.28 c | 169487 | 61921 159150 | 53534 25655 2201883 85.8 | 0.883 % | 58.07/58.11 c | 175253 | 61921 159150 | 58888 31421 2750587 87.5 | 0.883 % | 60.37/60.49 c | 183904 | 61921 159150 | 64777 40072 3325764 83.0 | 0.883 % | 64.57/64.66 c | 196878 | 61921 159150 | 71254 53046 4115117 77.6 | 0.883 % | 72.17/72.25 c | 216340 | 61921 159150 | 78380 72508 5556075 76.6 | 0.883 % | 82.76/82.89 c | 245533 | 61921 159150 | 86218 43689 2416593 55.3 | 0.883 % | 97.56/97.64 c | 289323 | 61921 159150 | 94840 87479 5154681 58.9 | 0.883 % | 107.77/107.88 c ============================================================================== 107.77/107.88 c [1mFound solution: 21[0m 107.77/107.88 o 21 107.77/107.89 c ---[ 0]---> Sorter-cost: 0 Base: 107.96/108.06 c ==================================[MINISAT+]================================== 107.96/108.06 c | Conflicts | Original | Learnt | Progress | 107.96/108.06 c | | Clauses Literals | Max Clauses Literals LPC | | 107.96/108.06 c ============================================================================== 107.96/108.06 c | 318799 | 61934 159183 | 20644 45976 2337197 50.8 | 0.883 % | 108.16/108.25 c | 318899 | 61934 159183 | 22708 11557 609751 52.8 | 0.886 % | 108.16/108.27 c | 319049 | 61934 159183 | 24979 11707 622774 53.2 | 0.886 % | 108.26/108.31 c | 319275 | 61934 159183 | 27477 11933 637712 53.4 | 0.886 % | 108.26/108.36 c | 319612 | 61934 159183 | 30224 12270 654477 53.3 | 0.886 % | 108.36/108.48 c | 320122 | 61934 159183 | 33247 12780 690897 54.1 | 0.886 % | 108.56/108.67 c | 320883 | 61934 159183 | 36572 13541 777054 57.4 | 0.886 % | 108.87/108.92 c | 322026 | 61934 159183 | 40229 14684 956513 65.1 | 0.886 % | 109.16/109.26 c | 323734 | 61934 159183 | 44252 16392 1083632 66.1 | 0.886 % | 109.87/109.98 c | 326296 | 61934 159183 | 48677 18954 1355895 71.5 | 0.886 % | 110.97/111.08 c | 330140 | 61934 159183 | 53545 22798 1711786 75.1 | 0.886 % | 112.16/112.25 c | 335906 | 61934 159183 | 58899 28564 2114864 74.0 | 0.886 % | 115.16/115.24 c | 344555 | 61934 159183 | 64789 37213 2829352 76.0 | 0.886 % | 119.66/119.73 c | 357531 | 61934 159183 | 71268 50189 3947141 78.6 | 0.886 % | 127.86/127.95 c | 376992 | 61934 159183 | 78395 69650 5622025 80.7 | 0.886 % | 139.25/139.33 c | 406184 | 61934 159183 | 86235 41720 2930785 70.2 | 0.886 % | 158.05/158.12 c | 449975 | 61934 159183 | 94858 85511 6684129 78.2 | 0.886 % | 190.05/190.18 c | 515660 | 61934 159183 | 104344 75675 6997666 92.5 | 0.886 % | 200.15/200.24 c ============================================================================== 200.15/200.24 c [1mFound solution: 20[0m 200.15/200.24 o 20 200.15/200.24 c ---[ 0]---> Sorter-cost: 0 Base: 200.34/200.43 c ==================================[MINISAT+]================================== 200.34/200.43 c | Conflicts | Original | Learnt | Progress | 200.34/200.43 c | | Clauses Literals | Max Clauses Literals LPC | | 200.34/200.43 c ============================================================================== 200.34/200.43 c | 532905 | 61912 159131 | 20637 92828 7974945 85.9 | 0.886 % | 201.04/201.20 c | 533005 | 61912 159131 | 22700 12847 596007 46.4 | 0.963 % | 201.15/201.23 c | 533156 | 61912 159131 | 24970 12998 605135 46.6 | 0.963 % | 201.15/201.27 c | 533382 | 61912 159131 | 27467 13224 616995 46.7 | 0.963 % | 201.25/201.33 c | 533720 | 61912 159131 | 30214 13562 632458 46.6 | 0.963 % | 201.34/201.41 c | 534229 | 61912 159131 | 33236 14071 669357 47.6 | 0.963 % | 201.44/201.57 c | 534988 | 61912 159131 | 36559 14830 721845 48.7 | 0.963 % | 201.84/201.91 c | 536129 | 61912 159131 | 40215 15971 850616 53.3 | 0.963 % | 202.25/202.37 c | 537838 | 61912 159131 | 44237 17680 1071256 60.6 | 0.963 % | 202.94/203.09 c | 540404 | 61912 159131 | 48660 20246 1445704 71.4 | 0.963 % | 204.14/204.25 c | 544250 | 61912 159131 | 53527 24092 1845931 76.6 | 0.963 % | 205.84/205.99 c | 550017 | 61912 159131 | 58879 29859 2396549 80.3 | 0.963 % | 208.74/208.89 c | 558666 | 61912 159131 | 64767 38508 3205520 83.2 | 0.963 % | 212.44/212.55 c | 571645 | 61912 159131 | 71244 51487 4196660 81.5 | 0.963 % | 220.04/220.16 c | 591109 | 61912 159131 | 78368 70951 5496287 77.5 | 0.963 % | 230.94/231.01 c | 620303 | 61912 159131 | 86205 45981 2706673 58.9 | 0.963 % | 248.44/248.56 c | 664092 | 61912 159131 | 94826 27674 1776367 64.2 | 0.963 % | 273.33/273.41 c | 729776 | 61890 159087 | 104309 93356 7072978 75.8 | 0.967 % | 322.52/322.60 c | 828303 | 61890 159087 | 114740 28927 1929007 66.7 | 0.967 % | 379.61/379.79 c | 976093 | 61890 159087 | 126214 87000 5232658 60.1 | 0.967 % | 476.50/476.66 c | 1197781 | 61890 159087 | 138835 102107 6516693 63.8 | 0.967 % | 632.47/632.65 c | 1530306 | 61890 159087 | 152718 91216 5397257 59.2 | 0.967 % | 875.53/875.79 c | 2029096 | 61854 159015 | 167990 81497 5777937 70.9 | 1.026 % | 1073.69/1073.93 c ============================================================================== 1073.69/1073.93 c [1mOptimal solution: 20[0m 1073.69/1073.93 s OPTIMUM FOUND 1073.69/1073.93 v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 -x49 -x1339 x52 -x1351 -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 -x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 -x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 x2772 -x356 -x2830 x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 x3992 -x4004 -x4006 -x4018 -x4020 -x4032 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 -x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 x33 x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -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 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 x877 x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -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 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 -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 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 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 -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 -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 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 -x1445 -x1446 -x1447 -x1448 x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 -x1485 -x1487 -x1488 -x1489 -x1490 x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 x1508 -x1509 x1510 -x1511 -x1513 -x1515 -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 -x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 -x1555 -x1557 -x1558 -x1559 -x1560 x1562 -x1564 -x1565 -x1566 -x1567 x1569 x1571 -x1572 -x1573 -x1574 -x1576 x1578 -x1579 -x1580 -x1581 -x1583 -x1585 -x1586 -x1587 -x1588 x1590 x1592 -x1593 -x1594 -x1595 x1597 -x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 -x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 -x1632 -x1634 -x1635 -x1636 -x1637 x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 x1655 -x1656 -x1657 -x1658 -x1660 -x1662 -x1663 -x1664 -x1665 -x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1676 -x1677 -x1678 -x1679 -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 -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 -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 -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 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 -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 -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 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 x2129 -x2131 -x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 -x2143 -x2145 -x2146 -x2147 -x2148 -x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 -x2164 -x2166 -x2167 -x2168 -x2169 -x2171 -x2173 -x2174 -x2175 -x2176 x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 -x2192 -x2194 -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 -x2206 x2208 -x2209 x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 -x2220 -x2222 -x2223 -x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 -x2257 -x2258 -x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 x2269 -x2271 -x2272 -x2273 -x2274 -x2276 -x2278 -x2279 -x2280 -x2281 -x2283 -x2285 -x2286 -x2287 -x2288 -x2290 -x2292 -x2293 -x2294 -x2295 -x2297 -x2299 -x2300 -x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 x2311 -x2313 -x2314 -x2315 -x2316 -x2318 x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 -x2330 x2332 x2334 -x2335 -x2336 -x2337 -x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 -x2360 x2362 -x2363 -x2364 -x2365 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 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 -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 -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 -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 -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 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4339 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4367 -x4368 x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 x4567 x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 x4597 -x4598 -x4599 -x4600 x4602 x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5160 -x5161 -x5162 -x5163 x5165 -x5167 -x5169 -x5170 -x5171 -x5172 -x5174 -x5176 -x5177 -x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5193 -x5195 -x5197 -x5198 -x5199 -x5200 x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 x5228 -x5229 x5230 -x5231 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 x5275 -x5276 -x5277 -x5278 x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 x5340 -x5341 -x5342 -x5343 -x5345 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 x5829 -x5830 x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 x5841 -x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 -x5886 -x5888 -x5889 -x5890 -x5891 -x5893 x5895 -x5896 x5897 -x5898 x5900 -x5902 -x5903 -x5904 -x5905 x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 -x5937 -x5938 -x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950 -x5952 x5954 x5955 -x5956 -x5957 -x5959 -x5961 -x5962 -x5963 -x5964 x5966 -x5968 -x5969 -x5970 -x5971 x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 x5987 x5989 x5991 -x5992 -x5993 -x5994 -x5996 x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 x6015 -x6017 -x6018 -x6019 -x6020 -x6022 x6024 -x6025 x6026 -x6027 1073.69/1073.94 c _______________________________________________________________________________ 1073.69/1073.94 c 1073.69/1073.94 c restarts : 119 1073.69/1073.94 c conflicts : 2372487 (2210 /sec) 1073.69/1073.94 c decisions : 7051888 (6568 /sec) 1073.69/1073.94 c propagations : 0 (0 /sec) 1073.69/1073.94 c inspects : 0 (0 /sec) 1073.69/1073.94 c CPU time : 1073.65 s 1073.69/1073.94 c _______________________________________________________________________________
OK 20
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721595-1338558031/watcher-3721595-1338558031 -o /tmp/evaluation-result-3721595-1338558031/solver-3721595-1338558031 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721595-1338558031.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.98 4/179 19113 /proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=1404 CPUtime=0 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 193 0 0 0 0 0 0 0 20 0 1 0 321928471 1437696 150 33554432000 134512640 135395479 4290949152 4290947936 134569966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 351 150 75 216 0 133 0 [startup+0.0748271 s] /proc/loadavg: 1.92 1.99 1.98 4/179 19113 /proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=2756 CPUtime=0.07 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 554 0 0 0 7 0 0 0 20 0 1 0 321928471 2822144 511 33554432000 134512640 135395479 4290949152 4290948120 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 689 512 75 216 0 471 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2756 [startup+0.100252 s] /proc/loadavg: 1.92 1.99 1.98 4/179 19113 /proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=3384 CPUtime=0.09 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 687 0 0 0 9 0 0 0 20 0 1 0 321928471 3465216 644 33554432000 134512640 135395479 4290949152 4290947516 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 846 644 75 216 0 628 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3384 [startup+0.300187 s] /proc/loadavg: 1.92 1.99 1.98 4/179 19113 /proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=7816 CPUtime=0.29 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 1812 0 0 0 29 0 0 0 20 0 1 0 321928471 8003584 1769 33554432000 134512640 135395479 4290949152 4290947680 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 1954 1769 87 216 0 1736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7816 [startup+0.700218 s] /proc/loadavg: 1.92 1.99 1.98 4/179 19113 /proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=10292 CPUtime=0.69 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 2519 0 0 0 68 1 0 0 20 0 1 0 321928471 10539008 2407 33554432000 134512640 135395479 4290949152 4290947504 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 2573 2407 123 216 0 2355 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10292 [startup+1.50022 s] /proc/loadavg: 1.92 1.99 1.98 3/180 19114 /proc/meminfo: memFree=28313980/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=10556 CPUtime=1.49 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 2571 0 0 0 148 1 0 0 20 0 1 0 321928471 10809344 2459 33554432000 134512640 135395479 4290949152 4290946872 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 2639 2459 123 216 0 2421 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10556 [startup+3.10023 s] /proc/loadavg: 1.92 1.99 1.98 3/180 19114 /proc/meminfo: memFree=28310996/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=16180 CPUtime=3.09 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 3966 0 0 0 308 1 0 0 20 0 1 0 321928471 16568320 3854 33554432000 134512640 135395479 4290949152 4290947052 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 4045 3854 123 216 0 3827 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16180 [startup+6.30023 s] /proc/loadavg: 1.93 1.99 1.98 3/180 19114 /proc/meminfo: memFree=28278312/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=26260 CPUtime=6.29 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 6419 0 0 0 627 2 0 0 20 0 1 0 321928471 26890240 6290 33554432000 134512640 135395479 4290949152 4290947504 134580938 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 6565 6290 124 216 0 6347 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26260 [startup+12.7002 s] /proc/loadavg: 1.93 1.99 1.98 3/180 19114 /proc/meminfo: memFree=28264664/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=30236 CPUtime=12.69 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 7434 0 0 0 1267 2 0 0 20 0 1 0 321928471 30961664 7292 33554432000 134512640 135395479 4290949152 4290947024 134573950 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 7559 7292 124 216 0 7341 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30236 [startup+25.5003 s] /proc/loadavg: 2.03 2.00 1.99 3/180 19114 /proc/meminfo: memFree=28237740/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=37348 CPUtime=25.49 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 9204 0 0 0 2546 3 0 0 20 0 1 0 321928471 38244352 9062 33554432000 134512640 135395479 4290949152 4290947504 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 9337 9062 124 216 0 9119 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37348 [startup+51.1003 s] /proc/loadavg: 2.02 2.00 1.99 3/179 19114 /proc/meminfo: memFree=28199580/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=46700 CPUtime=51.08 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 11489 0 0 0 5104 4 0 0 20 0 1 0 321928471 47820800 11345 33554432000 134512640 135395479 4290949152 4290947472 134580430 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 11675 11345 124 216 0 11457 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46700 [startup+102.306 s] /proc/loadavg: 2.09 2.02 2.00 3/179 19114 /proc/meminfo: memFree=28155600/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=47988 CPUtime=102.27 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 11764 0 0 0 10223 4 0 0 20 0 1 0 321928471 49139712 11621 33554432000 134512640 135395479 4290949152 4290947408 134568477 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 11997 11621 124 216 0 11779 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 47988 [startup+162.3 s] /proc/loadavg: 2.10 2.03 2.00 3/179 19115 /proc/meminfo: memFree=28152560/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=52072 CPUtime=162.25 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 12729 0 0 0 16220 5 0 0 20 0 1 0 321928471 53321728 12586 33554432000 134512640 135395479 4290949152 4290947120 134576869 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 13018 12586 124 216 0 12800 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 52072 [startup+222.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 19115 /proc/meminfo: memFree=28143064/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=57576 CPUtime=222.24 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 14056 0 0 0 22219 5 0 0 20 0 1 0 321928471 58957824 13981 33554432000 134512640 135395479 4290949152 4290947504 134581036 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 14394 13981 124 216 0 14176 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 57576 [startup+282.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 19115 /proc/meminfo: memFree=28142628/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=58748 CPUtime=282.23 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 14345 0 0 0 28218 5 0 0 20 0 1 0 321928471 60157952 14262 33554432000 134512640 135395479 4290949152 4290947120 134576837 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 14687 14262 124 216 0 14469 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 58748 [startup+342.3 s] /proc/loadavg: 2.08 2.04 2.00 3/179 19115 /proc/meminfo: memFree=28130108/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=62952 CPUtime=342.21 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15374 0 0 0 34216 5 0 0 20 0 1 0 321928471 64462848 15291 33554432000 134512640 135395479 4290949152 4290947504 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 15738 15291 124 216 0 15520 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 62952 [startup+402.3 s] /proc/loadavg: 2.09 2.04 2.00 3/179 19115 /proc/meminfo: memFree=28099908/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=63468 CPUtime=402.21 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15543 0 0 0 40215 6 0 0 20 0 1 0 321928471 64991232 15493 33554432000 134512640 135395479 4290949152 4290947120 134579868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 15867 15493 124 216 0 15649 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 63468 [startup+462.3 s] /proc/loadavg: 2.14 2.06 2.01 3/179 19116 /proc/meminfo: memFree=28077000/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=64020 CPUtime=462.2 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15660 0 0 0 46214 6 0 0 20 0 1 0 321928471 65556480 15602 33554432000 134512640 135395479 4290949152 4290947472 134572595 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 16005 15602 124 216 0 15787 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 64020 [startup+522.3 s] /proc/loadavg: 2.10 2.06 2.01 3/179 19116 /proc/meminfo: memFree=28057932/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=65796 CPUtime=522.19 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16029 0 0 0 52213 6 0 0 20 0 1 0 321928471 67375104 15971 33554432000 134512640 135395479 4290949152 4290947120 134579554 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 16449 15971 124 216 0 16231 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 65796 [startup+582.3 s] /proc/loadavg: 2.04 2.05 2.00 3/180 19119 /proc/meminfo: memFree=28035100/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=68972 CPUtime=582.18 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16774 0 0 0 58212 6 0 0 20 0 1 0 321928471 70627328 16716 33554432000 134512640 135395479 4290949152 4290947456 134580297 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 17243 16716 124 216 0 17025 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 68972 [startup+642.3 s] /proc/loadavg: 2.01 2.04 2.00 3/179 19119 /proc/meminfo: memFree=28020236/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=69336 CPUtime=642.18 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16853 0 0 0 64212 6 0 0 20 0 1 0 321928471 71000064 16795 33554432000 134512640 135395479 4290949152 4290947504 134580750 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 17334 16795 124 216 0 17116 0 Current children cumulated CPU time (s) 642.18 Current children cumulated vsize (KiB) 69336 [startup+702.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 19119 /proc/meminfo: memFree=28000156/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=73368 CPUtime=702.17 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 17895 0 0 0 70210 7 0 0 20 0 1 0 321928471 75128832 17837 33554432000 134512640 135395479 4290949152 4290947504 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 18342 17837 124 216 0 18124 0 Current children cumulated CPU time (s) 702.17 Current children cumulated vsize (KiB) 73368 [startup+762.307 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19120 /proc/meminfo: memFree=27986196/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=76044 CPUtime=762.15 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18539 0 0 0 76208 7 0 0 20 0 1 0 321928471 77869056 18494 33554432000 134512640 135395479 4290949152 4290947024 134574480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 19011 18494 124 216 0 18793 0 Current children cumulated CPU time (s) 762.15 Current children cumulated vsize (KiB) 76044 [startup+822.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 19120 /proc/meminfo: memFree=27975408/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=76124 CPUtime=822.14 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18549 0 0 0 82207 7 0 0 20 0 1 0 321928471 77950976 18504 33554432000 134512640 135395479 4290949152 4290947504 134580959 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 19031 18504 124 216 0 18813 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 76124 [startup+882.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 19120 /proc/meminfo: memFree=27965736/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=76124 CPUtime=882.13 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18549 0 0 0 88206 7 0 0 20 0 1 0 321928471 77950976 18504 33554432000 134512640 135395479 4290949152 4290947504 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 19031 18504 124 216 0 18813 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 76124 [startup+942.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 19120 /proc/meminfo: memFree=27939912/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=89640 CPUtime=942.12 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 21959 0 0 0 94203 9 0 0 20 0 1 0 321928471 91791360 21914 33554432000 134512640 135395479 4290949152 4290947504 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22410 21914 124 216 0 22192 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 89640 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 19120 /proc/meminfo: memFree=27932892/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=89640 CPUtime=1002.11 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 21963 0 0 0 100202 9 0 0 20 0 1 0 321928471 91791360 21924 33554432000 134512640 135395479 4290949152 4290947120 134576754 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22410 21924 124 216 0 22192 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 89640 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27925384/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90092 CPUtime=1062.1 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22046 0 0 0 106201 9 0 0 20 0 1 0 321928471 92254208 22006 33554432000 134512640 135395479 4290949152 4290947120 134578836 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22523 22006 124 216 0 22305 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 90092 Solver just ended. Dumping a history of the last processes samples [startup+1068.7 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27924020/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90092 CPUtime=1068.49 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22067 0 0 0 106840 9 0 0 20 0 1 0 321928471 92254208 22027 33554432000 134512640 135395479 4290949152 4290947456 134580268 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22523 22027 124 216 0 22305 0 Current children cumulated CPU time (s) 1068.49 Current children cumulated vsize (KiB) 90092 [startup+1071.9 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27923772/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90304 CPUtime=1071.69 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22101 0 0 0 107160 9 0 0 20 0 1 0 321928471 92471296 22061 33554432000 134512640 135395479 4290949152 4290947472 134572684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22576 22061 124 216 0 22358 0 Current children cumulated CPU time (s) 1071.69 Current children cumulated vsize (KiB) 90304 [startup+1072.7 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90304 CPUtime=1072.49 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107240 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134580396 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22576 22062 124 216 0 22358 0 Current children cumulated CPU time (s) 1072.49 Current children cumulated vsize (KiB) 90304 [startup+1073.5 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90304 CPUtime=1073.3 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107321 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134568552 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22576 22062 124 216 0 22358 0 Current children cumulated CPU time (s) 1073.3 Current children cumulated vsize (KiB) 90304 [startup+1073.9 s] /proc/loadavg: 2.00 2.02 2.00 3/179 19121 /proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124 [pid=19113] ppid=19111 vsize=90304 CPUtime=1073.69 cores=0,2,4,6 /proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107360 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134568472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/19113/statm: 22576 22062 124 216 0 22358 0 Current children cumulated CPU time (s) 1073.69 Current children cumulated vsize (KiB) 90304 Child status: 30 Real time (s): 1073.94 CPU time (s): 1073.75 CPU user time (s): 1073.65 CPU system time (s): 0.097985 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 90304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1073.65 system time used= 0.097985 maximum resident set size= 88252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22105 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= 40 involuntary context switches= 1139 runsolver used 4.53031 second user time and 9.8725 second system time The end
Begin job on node134 at 2012-06-01 15:40:31 IDJOB=3721595 IDBENCH=25015 IDSOLVER=2306 FILE ID=node134/3721595-1338558031 RUNJOBID= node134-1338552572-18273 PBS_JOBID= 14635850 Free space on /tmp= 70352 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721595-1338558031/watcher-3721595-1338558031 -o /tmp/evaluation-result-3721595-1338558031/solver-3721595-1338558031 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721595-1338558031.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=390904254 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28323188 kB Buffers: 432620 kB Cached: 3166136 kB SwapCached: 76 kB Active: 1743716 kB Inactive: 1917632 kB Active(anon): 54300 kB Inactive(anon): 10508 kB Active(file): 1689416 kB Inactive(file): 1907124 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 9864 kB Writeback: 0 kB AnonPages: 69328 kB Mapped: 11420 kB Shmem: 96 kB Slab: 752948 kB SReclaimable: 194644 kB SUnreclaim: 558304 kB KernelStack: 1488 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 177664 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721595-1338558031.opb Free space on /tmp at the end= 70348 MiB End job on node134 at 2012-06-01 15:58:25