Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | OPT | 20 | 1115.42 | 1115.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
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 | 47.4058 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
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 | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
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.27 c Converting 19314 PB-constraints to clauses... 0.19/0.27 c -- Unit propagations: (none) 0.19/0.27 c -- Detecting intervals from adjacent constraints: ====== 0.19/0.27 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.19/0.29 c ---[ 0]---> Adder-cost: 1210 maxlim: 582 bits: 10/10 0.39/0.43 c ==================================[MINISAT+]================================== 0.39/0.43 c | Conflicts | Original | Learnt | Progress | 0.39/0.43 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.43 c ============================================================================== 0.39/0.43 c | 0 | 27693 78422 | 9231 0 0 nan | 0.000 % | 0.39/0.44 c | 101 | 27686 78399 | 10154 100 1140 11.4 | 0.268 % | 0.39/0.46 c | 251 | 27660 78303 | 11169 247 2952 12.0 | 0.328 % | 0.49/0.50 c | 476 | 27635 78222 | 12286 469 4390 9.4 | 0.402 % | 0.49/0.57 c | 813 | 27610 78141 | 13515 802 8038 10.0 | 0.477 % | 0.59/0.65 c | 1321 | 27610 78141 | 14866 1310 24696 18.9 | 0.477 % | 0.69/0.73 c | 2081 | 27610 78141 | 16353 2070 112175 54.2 | 0.477 % | 0.79/0.87 c | 3220 | 27610 78141 | 17988 3209 210778 65.7 | 0.477 % | 1.10/1.11 c | 4928 | 27610 78141 | 19787 4917 453840 92.3 | 0.477 % | 1.29/1.36 c | 7490 | 27610 78141 | 21766 7479 681455 91.1 | 0.477 % | 1.99/2.06 c | 11337 | 27610 78141 | 23942 11326 1533187 135.4 | 0.477 % | 2.49/2.54 c ============================================================================== 2.49/2.54 c [1mFound solution: 29[0m 2.49/2.54 o 29 2.49/2.55 c ---[ 0]---> Sorter-cost:27428 Base: 2.69/2.70 c ==================================[MINISAT+]================================== 2.69/2.70 c | Conflicts | Original | Learnt | Progress | 2.69/2.70 c | | Clauses Literals | Max Clauses Literals LPC | | 2.69/2.70 c ============================================================================== 2.69/2.70 c | 13979 | 57491 147898 | 19163 13968 1969219 141.0 | 0.477 % | 2.69/2.73 c | 14079 | 57491 147898 | 21079 14068 1990996 141.5 | 1.840 % | 2.69/2.76 c | 14230 | 57491 147898 | 23187 14219 2010430 141.4 | 1.840 % | 2.79/2.81 c | 14456 | 57491 147898 | 25505 14445 2026074 140.3 | 1.840 % | 2.79/2.86 c | 14793 | 57491 147898 | 28056 14782 2046671 138.5 | 1.840 % | 2.89/2.91 c | 15299 | 57491 147898 | 30862 15288 2079427 136.0 | 1.840 % | 2.89/2.98 c | 16060 | 57491 147898 | 33948 16049 2114859 131.8 | 1.840 % | 3.09/3.10 c | 17201 | 57491 147898 | 37343 17190 2162169 125.8 | 1.840 % | 3.30/3.36 c ============================================================================== 3.30/3.36 c [1mFound solution: 24[0m 3.30/3.36 o 24 3.30/3.37 c ---[ 0]---> Sorter-cost: 0 Base: 3.49/3.51 c ==================================[MINISAT+]================================== 3.49/3.51 c | Conflicts | Original | Learnt | Progress | 3.49/3.51 c | | Clauses Literals | Max Clauses Literals LPC | | 3.49/3.51 c ============================================================================== 3.49/3.51 c | 18530 | 57520 147967 | 19173 18519 2297217 124.0 | 1.840 % | 3.49/3.54 c | 18630 | 57520 147967 | 21090 18619 2303314 123.7 | 1.842 % | 3.49/3.58 c | 18784 | 57520 147967 | 23199 18773 2315911 123.4 | 1.842 % | 3.59/3.62 c | 19010 | 57520 147967 | 25519 18999 2331514 122.7 | 1.842 % | 3.59/3.68 c | 19349 | 57520 147967 | 28071 19338 2362818 122.2 | 1.842 % | 3.69/3.78 c | 19856 | 57520 147967 | 30878 19845 2408837 121.4 | 1.842 % | 3.89/3.92 c | 20617 | 57520 147967 | 33966 20606 2472360 120.0 | 1.842 % | 4.09/4.10 c | 21759 | 57520 147967 | 37362 21748 2563872 117.9 | 1.842 % | 4.39/4.45 c | 23467 | 57520 147967 | 41099 23456 2736053 116.6 | 1.842 % | 5.19/5.22 c | 26029 | 57520 147967 | 45208 26018 3054712 117.4 | 1.842 % | 5.99/6.08 c | 29873 | 57520 147967 | 49729 29862 3378170 113.1 | 1.842 % | 7.59/7.61 c | 35639 | 57520 147967 | 54702 35628 3949366 110.9 | 1.842 % | 10.38/10.43 c | 44291 | 57520 147967 | 60173 44280 5151441 116.3 | 1.842 % | 14.98/15.02 c | 57266 | 57520 147967 | 66190 57255 6711772 117.2 | 1.842 % | 20.68/20.77 c | 76729 | 57520 147967 | 72809 24909 1847528 74.2 | 1.842 % | 32.08/32.15 c | 105921 | 57520 147967 | 80090 54101 4374971 80.9 | 1.842 % | 49.48/49.54 c | 149710 | 57520 147967 | 88099 36527 2216240 60.7 | 1.842 % | 64.67/64.70 c ============================================================================== 64.67/64.70 c [1mFound solution: 23[0m 64.67/64.70 o 23 64.67/64.70 c ---[ 0]---> Sorter-cost: 0 Base: 64.77/64.87 c ==================================[MINISAT+]================================== 64.77/64.87 c | Conflicts | Original | Learnt | Progress | 64.77/64.87 c | | Clauses Literals | Max Clauses Literals LPC | | 64.77/64.87 c ============================================================================== 64.77/64.87 c | 188966 | 57505 147933 | 19168 75783 5419681 71.5 | 1.842 % | 65.07/65.18 c | 189067 | 57505 147933 | 21084 12233 659667 53.9 | 1.906 % | 65.17/65.20 c | 189217 | 57505 147933 | 23193 12383 677720 54.7 | 1.906 % | 65.17/65.27 c | 189442 | 57505 147933 | 25512 12608 701126 55.6 | 1.906 % | 65.27/65.32 c | 189779 | 57505 147933 | 28063 12945 742350 57.3 | 1.906 % | 65.27/65.37 c | 190288 | 57505 147933 | 30870 13454 775687 57.7 | 1.906 % | 65.47/65.52 c | 191047 | 57505 147933 | 33957 14213 843094 59.3 | 1.906 % | 65.77/65.82 c | 192186 | 57505 147933 | 37353 15352 964940 62.9 | 1.906 % | 66.16/66.22 c | 193896 | 57505 147933 | 41088 17062 1164896 68.3 | 1.906 % | 66.86/66.94 c | 196458 | 57505 147933 | 45197 19624 1501122 76.5 | 1.906 % | 68.17/68.23 c | 200304 | 57505 147933 | 49716 23470 2182583 93.0 | 1.906 % | 69.96/70.00 c | 206070 | 57505 147933 | 54688 29236 3116033 106.6 | 1.906 % | 73.45/73.58 c | 214719 | 57505 147933 | 60157 37885 4315265 113.9 | 1.906 % | 78.55/78.69 c | 227693 | 57505 147933 | 66173 50859 6065911 119.3 | 1.906 % | 85.05/85.11 c | 247154 | 57505 147933 | 72790 19478 1375352 70.6 | 1.906 % | 95.55/95.70 c | 276348 | 57505 147933 | 80069 48672 4173860 85.8 | 1.906 % | 112.85/112.94 c | 320137 | 57505 147933 | 88076 29934 2146909 71.7 | 1.906 % | 133.55/133.61 c | 385821 | 57505 147933 | 96884 23663 1050423 44.4 | 1.906 % | 154.95/155.05 c ============================================================================== 154.95/155.05 c [1mFound solution: 22[0m 154.95/155.05 o 22 154.95/155.06 c ---[ 0]---> Sorter-cost: 0 Base: 155.14/155.22 c ==================================[MINISAT+]================================== 155.14/155.22 c | Conflicts | Original | Learnt | Progress | 155.14/155.22 c | | Clauses Literals | Max Clauses Literals LPC | | 155.14/155.22 c ============================================================================== 155.14/155.22 c | 445325 | 57519 147969 | 19173 83167 6031935 72.5 | 1.906 % | 155.44/155.56 c | 445428 | 57519 147969 | 21090 11565 478342 41.4 | 1.909 % | 155.54/155.62 c | 445579 | 57519 147969 | 23199 11716 488943 41.7 | 1.909 % | 155.54/155.69 c | 445804 | 57519 147969 | 25519 11941 523037 43.8 | 1.909 % | 155.74/155.80 c | 446141 | 57519 147969 | 28071 12278 550261 44.8 | 1.909 % | 155.84/155.92 c | 446647 | 57519 147969 | 30878 12784 591048 46.2 | 1.909 % | 156.05/156.11 c | 447406 | 57519 147969 | 33966 13543 643780 47.5 | 1.909 % | 156.24/156.37 c | 448547 | 57519 147969 | 37362 14684 731766 49.8 | 1.909 % | 156.64/156.72 c | 450255 | 57519 147969 | 41099 16392 883465 53.9 | 1.909 % | 157.04/157.15 c | 452819 | 57519 147969 | 45208 18956 1068754 56.4 | 1.909 % | 158.14/158.27 c | 456664 | 57519 147969 | 49729 22801 1484467 65.1 | 1.909 % | 159.54/159.63 c | 462430 | 57519 147969 | 54702 28567 2067246 72.4 | 1.909 % | 162.24/162.35 c | 471079 | 57519 147969 | 60173 37216 2729691 73.3 | 1.909 % | 166.14/166.26 c | 484054 | 57519 147969 | 66190 50191 3523474 70.2 | 1.909 % | 173.75/173.87 c | 503516 | 57519 147969 | 72809 69653 4573594 65.7 | 1.909 % | 184.14/184.24 c | 532709 | 57519 147969 | 80090 46375 2413032 52.0 | 1.909 % | 200.74/200.83 c | 576498 | 57519 147969 | 88099 29924 1577494 52.7 | 1.909 % | 227.03/227.13 c | 642186 | 57519 147969 | 96909 28233 1274204 45.1 | 1.909 % | 275.61/275.79 c | 740712 | 57519 147969 | 106600 48083 6157809 128.1 | 1.909 % | 341.70/341.85 c | 888504 | 57519 147969 | 117260 28682 1592495 55.5 | 1.909 % | 447.09/447.27 c | 1110187 | 57519 147969 | 128986 66733 4869179 73.0 | 1.909 % | 515.27/515.43 c ============================================================================== 515.27/515.43 c [1mFound solution: 21[0m 515.27/515.43 o 21 515.27/515.43 c ---[ 0]---> Sorter-cost: 0 Base: 515.47/515.64 c ==================================[MINISAT+]================================== 515.47/515.64 c | Conflicts | Original | Learnt | Progress | 515.47/515.64 c | | Clauses Literals | Max Clauses Literals LPC | | 515.47/515.64 c ============================================================================== 515.47/515.64 c | 1245656 | 52254 135681 | 17418 99727 7052530 70.7 | 1.909 % | 516.47/516.67 c | 1245757 | 52254 135681 | 19159 12072 678370 56.2 | 15.082 % | 516.57/516.70 c | 1245908 | 52254 135681 | 21075 12223 688398 56.3 | 15.082 % | 516.57/516.73 c | 1246133 | 52254 135681 | 23183 12448 703400 56.5 | 15.082 % | 516.57/516.76 c | 1246470 | 52254 135681 | 25501 12785 716145 56.0 | 15.082 % | 516.67/516.81 c | 1246978 | 52254 135681 | 28051 13293 764130 57.5 | 15.082 % | 516.78/516.97 c | 1247738 | 52254 135681 | 30857 14053 821054 58.4 | 15.082 % | 516.97/517.16 c | 1248877 | 52254 135681 | 33942 15192 900036 59.2 | 15.082 % | 517.27/517.44 c | 1250585 | 52254 135681 | 37337 16900 1046642 61.9 | 15.082 % | 517.77/517.94 c | 1253148 | 52254 135681 | 41070 19463 1254273 64.4 | 15.082 % | 518.87/519.05 c | 1256992 | 52254 135681 | 45177 23307 1793828 77.0 | 15.082 % | 520.37/520.50 c | 1262759 | 52254 135681 | 49695 29074 2359571 81.2 | 15.082 % | 523.07/523.23 c | 1271408 | 52254 135681 | 54665 37723 3019719 80.0 | 15.082 % | 527.67/527.83 c | 1284382 | 52254 135681 | 60131 50697 3819440 75.3 | 15.082 % | 534.38/534.51 c | 1303843 | 52254 135681 | 66144 26159 1435817 54.9 | 15.082 % | 544.77/544.93 c | 1333038 | 52254 135681 | 72759 55354 3350243 60.5 | 15.082 % | 561.67/561.83 c | 1376827 | 52254 135681 | 80035 44648 1931003 43.2 | 15.082 % | 586.17/586.31 c | 1442513 | 52254 135681 | 88038 45198 3173344 70.2 | 15.082 % | 619.56/619.73 c | 1541039 | 52254 135681 | 96842 72727 3528428 48.5 | 15.082 % | 677.55/677.75 c | 1688829 | 52254 135681 | 106526 60438 3062526 50.7 | 15.082 % | 773.44/773.64 c | 1910513 | 52254 135681 | 117179 107255 5261057 49.1 | 15.082 % | 874.23/874.44 c ============================================================================== 874.23/874.44 c [1mFound solution: 20[0m 874.23/874.44 o 20 874.23/874.45 c ---[ 0]---> Sorter-cost: 0 Base: 874.42/874.61 c ==================================[MINISAT+]================================== 874.42/874.61 c | Conflicts | Original | Learnt | Progress | 874.42/874.61 c | | Clauses Literals | Max Clauses Literals LPC | | 874.42/874.61 c ============================================================================== 874.42/874.61 c | 2167778 | 52265 135709 | 17421 69898 3578595 51.2 | 15.082 % | 875.02/875.28 c | 2167879 | 52265 135709 | 19163 11989 483626 40.3 | 15.082 % | 875.12/875.33 c | 2168033 | 52265 135709 | 21079 12143 497410 41.0 | 15.083 % | 875.12/875.39 c | 2168261 | 52265 135709 | 23187 12371 521356 42.1 | 15.082 % | 875.22/875.46 c | 2168598 | 52265 135709 | 25506 12708 569251 44.8 | 15.082 % | 875.33/875.58 c | 2169106 | 52265 135709 | 28056 13216 629986 47.7 | 15.082 % | 875.62/875.88 c | 2169865 | 52265 135709 | 30862 13975 712099 51.0 | 15.082 % | 875.92/876.18 c | 2171005 | 52265 135709 | 33948 15115 887284 58.7 | 15.082 % | 876.43/876.65 c | 2172713 | 52265 135709 | 37343 16823 1110536 66.0 | 15.082 % | 877.12/877.39 c | 2175276 | 52265 135709 | 41077 19386 1382453 71.3 | 15.082 % | 878.22/878.49 c | 2179120 | 52265 135709 | 45185 23230 1673688 72.0 | 15.082 % | 880.12/880.35 c | 2184886 | 52265 135709 | 49704 28996 2045063 70.5 | 15.082 % | 882.92/883.18 c | 2193536 | 52265 135709 | 54674 37646 2514595 66.8 | 15.082 % | 887.22/887.50 c | 2206511 | 52265 135709 | 60142 50621 3259465 64.4 | 15.082 % | 893.12/893.37 c | 2225972 | 52265 135709 | 66156 25273 1081562 42.8 | 15.082 % | 901.62/901.89 c | 2255164 | 52265 135709 | 72771 54465 2613412 48.0 | 15.082 % | 915.71/915.90 c | 2298956 | 52265 135709 | 80049 38716 2695941 69.6 | 15.082 % | 938.61/938.81 c | 2364641 | 52231 135638 | 88053 43704 1914412 43.8 | 15.153 % | 975.41/975.66 c | 2463172 | 52231 135638 | 96859 73997 3889049 52.6 | 15.153 % | 1032.40/1032.65 c | 2610961 | 52231 135638 | 106545 71726 3744895 52.2 | 15.153 % | 1115.38/1115.62 c ============================================================================== 1115.38/1115.62 c [1mOptimal solution: 20[0m 1115.38/1115.62 s OPTIMUM FOUND 1115.38/1115.62 v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 x1388 x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 x2067 x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 x3410 -x422 -x3437 -x3464 -x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -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 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 x875 x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -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 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 x82 x81 x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 x251 x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -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 -x539 -x540 x542 -x541 -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 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 x1389 x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 x1545 -x1546 -x1547 -x1548 -x1550 x1552 x1553 -x1554 -x1555 -x1557 x1559 -x1560 -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 x1571 x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 x1606 -x1608 -x1609 -x1610 -x1611 x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 x2133 -x2134 x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 x2208 -x2210 -x2211 -x2212 -x2213 x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 x2238 -x2239 -x2240 -x2241 x2243 x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -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 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -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 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -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 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 x4259 x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 x4389 -x4390 -x4391 -x4392 x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 x4414 -x4415 -x4416 -x4417 x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 x5199 -x5200 -x5201 -x5202 x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 x5228 -x5230 -x5231 -x5232 -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 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5368 -x5369 -x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 x5407 x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 x5467 -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 x5493 x5495 -x5497 x5499 1115.38/1115.62 c _______________________________________________________________________________ 1115.38/1115.62 c 1115.38/1115.62 c restarts : 116 1115.38/1115.62 c conflicts : 2811604 (2521 /sec) 1115.38/1115.62 c decisions : 7605810 (6819 /sec) 1115.38/1115.62 c propagations : 0 (0 /sec) 1115.38/1115.62 c inspects : 0 (0 /sec) 1115.38/1115.62 c CPU time : 1115.35 s 1115.38/1115.62 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-3721601-1338558038/watcher-3721601-1338558038 -o /tmp/evaluation-result-3721601-1338558038/solver-3721601-1338558038 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721601-1338558038.opb running on 4 cores: 1,3,5,7 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: 2.00 2.01 2.00 4/177 24417 /proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=1400 CPUtime=0 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 196 0 0 0 0 0 0 0 20 0 1 0 321928161 1433600 153 33554432000 134512640 135395479 4293767536 4293766368 134618678 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 350 153 75 216 0 132 0 [startup+0.09406 s] /proc/loadavg: 2.00 2.01 2.00 4/177 24417 /proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=3236 CPUtime=0.09 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 321928161 3313664 628 33554432000 134512640 135395479 4293767536 4293766504 135031278 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 809 628 75 216 0 591 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.100587 s] /proc/loadavg: 2.00 2.01 2.00 4/177 24417 /proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=3372 CPUtime=0.09 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 692 0 0 0 9 0 0 0 20 0 1 0 321928161 3452928 649 33554432000 134512640 135395479 4293767536 4293766172 135007481 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 843 649 75 216 0 625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3372 [startup+0.300187 s] /proc/loadavg: 2.00 2.01 2.00 4/177 24417 /proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=8040 CPUtime=0.29 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 1891 0 0 0 28 1 0 0 20 0 1 0 321928161 8232960 1848 33554432000 134512640 135395479 4293767536 4293627340 134838067 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 2010 1848 89 216 0 1792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8040 [startup+0.700178 s] /proc/loadavg: 2.00 2.01 2.00 4/177 24417 /proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=9680 CPUtime=0.69 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 2342 0 0 0 68 1 0 0 20 0 1 0 321928161 9912320 2231 33554432000 134512640 135395479 4293767536 4293765888 134580756 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 2420 2231 123 216 0 2202 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9680 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 2.00 3/178 24418 /proc/meminfo: memFree=28070760/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=10864 CPUtime=1.49 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 2627 0 0 0 148 1 0 0 20 0 1 0 321928161 11124736 2516 33554432000 134512640 135395479 4293767536 4293765408 134574149 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 2716 2516 123 216 0 2498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10864 [startup+3.10018 s] /proc/loadavg: 2.00 2.01 2.00 3/178 24418 /proc/meminfo: memFree=28064304/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=19468 CPUtime=3.09 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 4790 0 0 0 308 1 0 0 20 0 1 0 321928161 19935232 4666 33554432000 134512640 135395479 4293767536 4293765756 135010894 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 4867 4666 124 216 0 4649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19468 [startup+6.30019 s] /proc/loadavg: 2.00 2.01 2.00 3/178 24418 /proc/meminfo: memFree=28050184/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=25732 CPUtime=6.29 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 6360 0 0 0 627 2 0 0 20 0 1 0 321928161 26349568 6236 33554432000 134512640 135395479 4293767536 4293765888 134580732 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 /proc/24417/statm: 6433 6236 124 216 0 6215 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25732 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.00 3/178 24418 /proc/meminfo: memFree=28037908/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=36892 CPUtime=12.68 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 9138 0 0 0 1266 2 0 0 20 0 1 0 321928161 37777408 9014 33554432000 134512640 135395479 4293767536 4293765436 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 9223 9014 124 216 0 9005 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36892 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24418 /proc/meminfo: memFree=28018332/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=44548 CPUtime=25.48 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11040 0 0 0 2545 3 0 0 20 0 1 0 321928161 45617152 10916 33554432000 134512640 135395479 4293767536 4293765888 134580970 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 11137 10916 124 216 0 10919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44548 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24418 /proc/meminfo: memFree=28007512/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=45044 CPUtime=51.08 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11166 0 0 0 5105 3 0 0 20 0 1 0 321928161 46125056 11047 33554432000 134512640 135395479 4293767536 4293765888 134580756 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 11261 11047 124 216 0 11043 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45044 [startup+102.307 s] /proc/loadavg: 2.04 2.01 2.00 3/177 24418 /proc/meminfo: memFree=28001280/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=48164 CPUtime=102.26 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11907 0 0 0 10222 4 0 0 20 0 1 0 321928161 49319936 11788 33554432000 134512640 135395479 4293767536 4293765888 134581150 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 12041 11788 124 216 0 11823 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48164 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 24418 /proc/meminfo: memFree=27996304/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=49056 CPUtime=162.24 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 12125 0 0 0 16220 4 0 0 20 0 1 0 321928161 50233344 12032 33554432000 134512640 135395479 4293767536 4293765856 134572724 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 12264 12032 124 216 0 12046 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49056 [startup+222.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 24419 /proc/meminfo: memFree=27994688/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=49596 CPUtime=222.23 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 12236 0 0 0 22219 4 0 0 20 0 1 0 321928161 50786304 12143 33554432000 134512640 135395479 4293767536 4293765840 134580268 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 12399 12143 124 216 0 12181 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49596 [startup+282.3 s] /proc/loadavg: 2.07 2.04 2.00 3/177 24419 /proc/meminfo: memFree=27963360/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=68040 CPUtime=282.21 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 16802 0 0 0 28215 6 0 0 20 0 1 0 321928161 69672960 16729 33554432000 134512640 135395479 4293767536 4293765888 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17010 16729 124 216 0 16792 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 68040 [startup+342.3 s] /proc/loadavg: 2.07 2.04 2.00 3/177 24419 /proc/meminfo: memFree=27962736/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=68436 CPUtime=342.2 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 16908 0 0 0 34214 6 0 0 20 0 1 0 321928161 70078464 16835 33554432000 134512640 135395479 4293767536 4293765856 134573398 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17109 16835 124 216 0 16891 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 68436 [startup+402.3 s] /proc/loadavg: 2.10 2.06 2.01 3/177 24419 /proc/meminfo: memFree=27962240/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=69032 CPUtime=402.19 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17049 0 0 0 40213 6 0 0 20 0 1 0 321928161 70688768 16968 33554432000 134512640 135395479 4293767536 4293765856 134573350 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17258 16968 124 216 0 17040 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 69032 [startup+462.3 s] /proc/loadavg: 2.04 2.05 2.00 3/177 24419 /proc/meminfo: memFree=27958332/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=69276 CPUtime=462.18 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17098 0 0 0 46212 6 0 0 20 0 1 0 321928161 70938624 17017 33554432000 134512640 135395479 4293767536 4293765888 134580915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17319 17017 124 216 0 17101 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 69276 [startup+522.3 s] /proc/loadavg: 2.06 2.05 2.00 3/176 24419 /proc/meminfo: memFree=27957844/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=69768 CPUtime=522.17 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17202 0 0 0 52211 6 0 0 20 0 1 0 321928161 71442432 17121 33554432000 134512640 135395479 4293767536 4293765856 134573350 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17442 17121 124 216 0 17224 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 69768 [startup+582.3 s] /proc/loadavg: 2.06 2.06 2.00 3/178 24423 /proc/meminfo: memFree=27957268/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=69932 CPUtime=582.16 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17233 0 0 0 58210 6 0 0 20 0 1 0 321928161 71610368 17152 33554432000 134512640 135395479 4293767536 4293765888 134580970 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17483 17152 124 216 0 17265 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 69932 [startup+642.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 24423 /proc/meminfo: memFree=27957152/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70096 CPUtime=642.16 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17265 0 0 0 64210 6 0 0 20 0 1 0 321928161 71778304 17184 33554432000 134512640 135395479 4293767536 4293765888 134581170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17524 17184 124 216 0 17306 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 70096 [startup+702.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 24423 /proc/meminfo: memFree=27956656/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70668 CPUtime=702.15 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 70209 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765504 134580212 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17667 17315 124 216 0 17449 0 Current children cumulated CPU time (s) 702.15 Current children cumulated vsize (KiB) 70668 [startup+762.307 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24423 /proc/meminfo: memFree=27956656/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70668 CPUtime=762.14 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 76208 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765888 134581150 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17667 17315 124 216 0 17449 0 Current children cumulated CPU time (s) 762.14 Current children cumulated vsize (KiB) 70668 [startup+822.3 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24423 /proc/meminfo: memFree=27955540/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70668 CPUtime=822.13 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 82207 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765888 134580950 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17667 17315 124 216 0 17449 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 70668 [startup+882.3 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27955168/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70912 CPUtime=882.12 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17438 0 0 0 88206 6 0 0 20 0 1 0 321928161 72613888 17357 33554432000 134512640 135395479 4293767536 4293765888 134580886 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17728 17357 124 216 0 17510 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 70912 [startup+942.3 s] /proc/loadavg: 2.08 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27929924/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=70912 CPUtime=942.11 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17438 0 0 0 94205 6 0 0 20 0 1 0 321928161 72613888 17357 33554432000 134512640 135395479 4293767536 4293766000 134588612 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17728 17357 124 216 0 17510 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 70912 [startup+1002.3 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27929800/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71076 CPUtime=1002.1 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17473 0 0 0 100204 6 0 0 20 0 1 0 321928161 72781824 17392 33554432000 134512640 135395479 4293767536 4293765888 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17769 17392 124 216 0 17551 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 71076 [startup+1062.3 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27929352/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71236 CPUtime=1062.09 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17503 0 0 0 106203 6 0 0 20 0 1 0 321928161 72945664 17422 33554432000 134512640 135395479 4293767536 4293765888 134581053 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17809 17422 124 216 0 17591 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 71236 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 2.05 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27929600/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71236 CPUtime=1074.89 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17503 0 0 0 107483 6 0 0 20 0 1 0 321928161 72945664 17422 33554432000 134512640 135395479 4293767536 4293765888 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17809 17422 124 216 0 17591 0 Current children cumulated CPU time (s) 1074.89 Current children cumulated vsize (KiB) 71236 [startup+1100.7 s] /proc/loadavg: 2.10 2.07 2.00 3/177 24424 /proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1100.49 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 110043 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1100.49 Current children cumulated vsize (KiB) 71316 [startup+1107.1 s] /proc/loadavg: 2.09 2.07 2.00 3/177 24424 /proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1106.88 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 110682 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134581183 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1106.88 Current children cumulated vsize (KiB) 71316 [startup+1110.3 s] /proc/loadavg: 2.08 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1110.08 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111002 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765408 134574107 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1110.08 Current children cumulated vsize (KiB) 71316 [startup+1113.5 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27928732/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1113.28 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111322 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1113.28 Current children cumulated vsize (KiB) 71316 [startup+1114.31 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27927616/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1114.09 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111403 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1114.09 Current children cumulated vsize (KiB) 71316 [startup+1115.1 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27927616/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1114.88 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111482 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765504 134579871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1114.88 Current children cumulated vsize (KiB) 71316 [startup+1115.5 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27926500/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1115.28 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111522 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765408 134574442 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1115.28 Current children cumulated vsize (KiB) 71316 [startup+1115.6 s] /proc/loadavg: 2.07 2.06 2.00 3/177 24424 /proc/meminfo: memFree=27926500/32873844 swapFree=7628/7628 [pid=24417] ppid=24415 vsize=71316 CPUtime=1115.38 cores=1,3,5,7 /proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111532 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765856 134572776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/24417/statm: 17829 17428 124 216 0 17611 0 Current children cumulated CPU time (s) 1115.38 Current children cumulated vsize (KiB) 71316 Child status: 30 Real time (s): 1115.63 CPU time (s): 1115.42 CPU user time (s): 1115.35 CPU system time (s): 0.069989 CPU usage (%): 99.9818 Max. virtual memory (cumulated for all children) (KiB): 71316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1115.35 system time used= 0.069989 maximum resident set size= 69716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17512 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= 31 involuntary context switches= 1210 runsolver used 2.09368 second user time and 5.72013 second system time The end
Begin job on node143 at 2012-06-01 15:40:38 IDJOB=3721601 IDBENCH=25021 IDSOLVER=2306 FILE ID=node143/3721601-1338558038 RUNJOBID= node143-1338554380-23594 PBS_JOBID= 14635841 Free space on /tmp= 68544 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721601-1338558038/watcher-3721601-1338558038 -o /tmp/evaluation-result-3721601-1338558038/solver-3721601-1338558038 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721601-1338558038.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1984486270 node143.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 : 2666.787 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 : 5333.57 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 : 2666.787 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 : 5331.91 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 : 2666.787 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 : 5331.91 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 : 2666.787 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 : 5331.91 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 : 2666.787 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 : 5331.90 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 : 2666.787 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 : 5298.57 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 : 2666.787 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 : 5331.91 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 : 2666.787 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28084972 kB Buffers: 332312 kB Cached: 3508972 kB SwapCached: 112 kB Active: 1951144 kB Inactive: 1947504 kB Active(anon): 49144 kB Inactive(anon): 10916 kB Active(file): 1902000 kB Inactive(file): 1936588 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108424 kB Dirty: 5580 kB Writeback: 0 kB AnonPages: 64784 kB Mapped: 10712 kB Shmem: 160 kB Slab: 754592 kB SReclaimable: 196916 kB SUnreclaim: 557676 kB KernelStack: 1472 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 173248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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-3721601-1338558038.opb Free space on /tmp at the end= 68544 MiB End job on node143 at 2012-06-01 15:59:14