Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | No Cert. | 1800.09 | 1776.34 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb |
MD5SUM | c2512385eceb0464b223bc1effdca67c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7962 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6502 |
Optimality of the best value was proved | YES |
Number of variables | 10757 |
Total number of constraints | 124 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 124 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3861 |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 263 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 529632 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 263 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 529632 |
Number of bits of the biggest sum of numbers | 20 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4101341-1466222247.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.72/0.43 c ... done. Wall clock time 0.327s. 0.72/0.43 c declared #vars 10757 0.72/0.44 c #constraints 248 0.72/0.44 c constraints type 0.72/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122 0.72/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 122 0.72/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 0.72/0.44 c 248 constraints processed. 0.72/0.44 c objective function length is 10757 literals 1.31/0.78 c SATISFIABLE 1.31/0.78 c OPTIMIZING... 1.31/0.78 c Got one! Elapsed wall clock time (in seconds):0.672 1.31/0.78 o 9642 3.70/2.79 c cleaning 2821 clauses out of 5646 with flag 27027/5646 6.38/5.35 c cleaning 4413 clauses out of 8825 with flag 73709/11646 9.47/8.35 c cleaning 5703 clauses out of 11409 with flag 143137/18643 12.89/11.67 c cleaning 6831 clauses out of 13706 with flag 219323/26643 15.90/14.61 c cleaning 7851 clauses out of 15875 with flag 297055/35643 20.54/18.94 c cleaning 9007 clauses out of 18026 with flag 421629/45645 21.74/20.17 c Got one! Elapsed wall clock time (in seconds):20.064 21.74/20.17 o 9545 22.52/20.88 c cleaning 7289 clauses out of 14669 with flag 11858/51295 25.14/23.24 c cleaning 6645 clauses out of 13377 with flag 60906/57292 28.52/26.11 c cleaning 6856 clauses out of 13732 with flag 114540/64292 32.73/30.31 c cleaning 7430 clauses out of 14876 with flag 171840/72292 36.33/33.89 c cleaning 8190 clauses out of 16446 with flag 230903/81292 40.13/37.61 c cleaning 9082 clauses out of 18256 with flag 311712/91292 44.14/41.68 c cleaning 10069 clauses out of 20174 with flag 396995/102292 48.34/45.80 c cleaning 11042 clauses out of 22105 with flag 504008/114292 54.29/51.31 c cleaning 12019 clauses out of 24063 with flag 627220/127292 60.49/57.56 c cleaning 13019 clauses out of 26046 with flag 820748/141294 67.19/64.26 c cleaning 14003 clauses out of 28025 with flag 1006502/156292 73.09/70.16 c cleaning 14984 clauses out of 30023 with flag 1195411/172293 80.96/77.49 c cleaning 15964 clauses out of 32038 with flag 1321428/189292 87.86/84.30 c cleaning 17016 clauses out of 34074 with flag 1469093/207292 89.06/85.59 c Got one! Elapsed wall clock time (in seconds):85.481 89.06/85.59 o 9538 90.00/86.48 c cleaning 11461 clauses out of 22942 with flag 14163/213176 93.30/89.78 c cleaning 8720 clauses out of 17480 with flag 54819/219175 96.60/93.07 c cleaning 7871 clauses out of 15760 with flag 113836/226175 99.50/95.98 c cleaning 7944 clauses out of 15890 with flag 178454/234176 102.61/99.04 c cleaning 8447 clauses out of 16945 with flag 265854/243175 106.50/102.99 c cleaning 9144 clauses out of 18498 with flag 332527/253175 110.60/107.02 c cleaning 10161 clauses out of 20354 with flag 413487/264175 117.46/113.12 c cleaning 11093 clauses out of 22193 with flag 510190/276175 121.96/117.62 c cleaning 11973 clauses out of 24100 with flag 633950/289175 127.96/123.60 c cleaning 13053 clauses out of 26130 with flag 772936/303178 133.86/129.54 c cleaning 14021 clauses out of 28075 with flag 931479/318176 141.06/136.02 c cleaning 15014 clauses out of 30053 with flag 1103574/334175 147.66/142.63 c cleaning 16000 clauses out of 32039 with flag 1261974/351175 154.86/149.83 c cleaning 17009 clauses out of 34039 with flag 1447558/369175 162.96/157.95 c cleaning 18007 clauses out of 36030 with flag 1606876/388175 171.76/166.71 c cleaning 18900 clauses out of 38023 with flag 1809986/408175 174.47/169.45 c Got one! Elapsed wall clock time (in seconds):169.34 174.47/169.45 o 9244 174.47/169.49 c Got one! Elapsed wall clock time (in seconds):169.385 174.47/169.49 o 9100 176.29/171.27 c cleaning 15759 clauses out of 31602 with flag 49457/420654 178.39/173.33 c cleaning 10862 clauses out of 21845 with flag 127409/426656 180.89/175.81 c cleaning 8974 clauses out of 17981 with flag 190857/433654 184.19/179.13 c cleaning 8476 clauses out of 17007 with flag 255009/441654 187.49/182.47 c cleaning 8745 clauses out of 17536 with flag 315580/450659 191.69/186.67 c cleaning 9335 clauses out of 18786 with flag 395417/460654 197.41/191.47 c cleaning 10177 clauses out of 20451 with flag 507033/471654 202.50/196.51 c cleaning 11129 clauses out of 22279 with flag 616215/483659 208.00/202.07 c cleaning 12071 clauses out of 24147 with flag 750283/496656 213.70/207.74 c cleaning 12989 clauses out of 26074 with flag 892272/510654 219.60/213.66 c cleaning 14012 clauses out of 28085 with flag 1027260/525654 226.30/220.31 c cleaning 15025 clauses out of 30073 with flag 1212377/541654 233.00/227.04 c cleaning 16001 clauses out of 32049 with flag 1499670/558655 238.71/232.77 c Got one! Elapsed wall clock time (in seconds):232.664 238.71/232.77 o 9088 240.51/234.52 c cleaning 18668 clauses out of 37363 with flag 50064/579970 243.11/237.20 c cleaning 12288 clauses out of 24696 with flag 108991/585971 245.71/239.78 c cleaning 9668 clauses out of 19407 with flag 157347/592970 249.69/243.29 c cleaning 8844 clauses out of 17739 with flag 230507/600970 253.78/247.38 c cleaning 8853 clauses out of 17895 with flag 299437/609970 257.48/251.01 c cleaning 9508 clauses out of 19042 with flag 398960/619970 261.69/255.22 c cleaning 10254 clauses out of 20536 with flag 475975/630972 266.19/259.71 c cleaning 11132 clauses out of 22280 with flag 593921/642970 270.80/264.33 c cleaning 12067 clauses out of 24148 with flag 747978/655970 275.70/269.24 c cleaning 13023 clauses out of 26081 with flag 877783/669970 281.52/275.08 c cleaning 14027 clauses out of 28059 with flag 1022477/684971 287.71/281.24 c cleaning 15013 clauses out of 30034 with flag 1171953/700973 295.41/288.92 c cleaning 16005 clauses out of 32020 with flag 1327733/717972 303.25/296.21 c cleaning 16983 clauses out of 34013 with flag 1550613/735970 310.95/303.97 c cleaning 18011 clauses out of 36030 with flag 1760226/754970 320.05/313.06 c cleaning 18978 clauses out of 38019 with flag 1971279/774970 325.95/319.00 c Got one! Elapsed wall clock time (in seconds):318.895 325.95/319.00 o 8824 328.15/321.11 c cleaning 19366 clauses out of 38770 with flag 53804/794699 330.85/323.85 c cleaning 12687 clauses out of 25404 with flag 106892/800699 333.25/326.29 c cleaning 9845 clauses out of 19717 with flag 181198/807699 336.24/329.25 c cleaning 8918 clauses out of 17873 with flag 247562/815700 339.65/332.68 c cleaning 8974 clauses out of 17958 with flag 321535/824703 343.25/336.21 c cleaning 9473 clauses out of 18982 with flag 399666/834701 347.15/340.12 c cleaning 10247 clauses out of 20507 with flag 483383/845699 351.95/344.95 c cleaning 11116 clauses out of 22260 with flag 591272/857699 357.61/350.35 c cleaning 12066 clauses out of 24147 with flag 719307/870702 363.11/355.83 c cleaning 13026 clauses out of 26078 with flag 971241/884699 368.51/361.25 c cleaning 13997 clauses out of 28053 with flag 1237356/899700 374.51/367.24 c cleaning 15015 clauses out of 30056 with flag 1432756/915700 380.51/373.22 c cleaning 15987 clauses out of 32042 with flag 1596501/932701 388.60/381.35 c cleaning 17008 clauses out of 34054 with flag 1779386/950700 397.40/390.15 c cleaning 18002 clauses out of 36045 with flag 1960357/969699 405.99/398.28 c cleaning 19008 clauses out of 38044 with flag 2131486/989700 417.09/409.34 c cleaning 19946 clauses out of 40035 with flag 2290402/1010699 426.48/418.74 c cleaning 20992 clauses out of 42089 with flag 2497658/1032699 436.78/429.00 c cleaning 22031 clauses out of 44097 with flag 2706518/1055699 439.18/431.41 c Got one! Elapsed wall clock time (in seconds):431.297 439.18/431.41 o 8668 439.18/431.48 c Got one! Elapsed wall clock time (in seconds):431.369 439.18/431.48 o 8224 441.07/433.35 c cleaning 16268 clauses out of 32541 with flag 45716/1066174 442.97/435.21 c cleaning 11117 clauses out of 22274 with flag 110423/1072175 444.87/437.19 c cleaning 9072 clauses out of 18156 with flag 180400/1079174 447.78/440.03 c cleaning 8499 clauses out of 17084 with flag 292307/1087174 451.93/443.96 c cleaning 8786 clauses out of 17587 with flag 439370/1096176 455.53/447.53 c cleaning 9385 clauses out of 18800 with flag 538871/1106175 458.93/450.92 c cleaning 10191 clauses out of 20414 with flag 659677/1117174 462.93/454.96 c cleaning 11068 clauses out of 22226 with flag 823566/1129177 467.63/459.65 c cleaning 12057 clauses out of 24155 with flag 1044767/1142174 472.93/464.94 c cleaning 13000 clauses out of 26098 with flag 1218884/1156174 479.32/471.37 c cleaning 14050 clauses out of 28100 with flag 1342162/1171176 487.85/479.44 c cleaning 15006 clauses out of 30050 with flag 1511274/1187176 496.15/487.78 c cleaning 15990 clauses out of 32046 with flag 1702671/1204178 504.94/496.59 c cleaning 16989 clauses out of 34054 with flag 1970497/1222176 513.84/505.49 c cleaning 18029 clauses out of 36067 with flag 2213231/1241178 522.18/513.54 c cleaning 19018 clauses out of 38036 with flag 2391709/1261176 530.58/521.98 c cleaning 19978 clauses out of 40016 with flag 2633100/1282174 538.89/530.30 c cleaning 21013 clauses out of 42039 with flag 2859954/1304175 549.08/540.44 c cleaning 22013 clauses out of 44027 with flag 3095704/1327176 559.59/550.41 c cleaning 22953 clauses out of 46013 with flag 3344768/1351175 570.39/561.24 c cleaning 24007 clauses out of 48059 with flag 3613951/1376174 581.29/572.18 c cleaning 25013 clauses out of 50054 with flag 3847919/1402176 592.48/583.34 c cleaning 25895 clauses out of 52039 with flag 4127347/1429174 604.14/594.61 c cleaning 27072 clauses out of 54149 with flag 4395257/1457179 615.34/605.86 c cleaning 28016 clauses out of 56072 with flag 4792394/1486174 627.14/617.66 c cleaning 29029 clauses out of 58057 with flag 5180576/1516175 639.34/629.82 c cleaning 29992 clauses out of 60028 with flag 5632838/1547175 654.78/644.73 c cleaning 30997 clauses out of 62035 with flag 6010798/1579174 668.78/658.76 c cleaning 31923 clauses out of 64039 with flag 6451616/1612175 683.08/672.75 c cleaning 33034 clauses out of 66115 with flag 6907324/1646174 698.08/687.79 c cleaning 34017 clauses out of 68081 with flag 7466567/1681174 713.77/703.44 c cleaning 34958 clauses out of 70064 with flag 7937686/1717174 731.56/720.86 c cleaning 36043 clauses out of 72106 with flag 8442067/1754174 747.96/737.27 c cleaning 37022 clauses out of 74063 with flag 9029930/1792174 763.97/753.08 c cleaning 37999 clauses out of 76043 with flag 9501247/1831176 781.47/770.58 c cleaning 39007 clauses out of 78042 with flag 9978881/1871174 798.61/787.33 c cleaning 39989 clauses out of 80036 with flag 10462757/1912175 818.22/806.67 c cleaning 40991 clauses out of 82050 with flag 11048705/1954178 838.72/827.19 c cleaning 41953 clauses out of 84055 with flag 11665395/1997174 863.02/851.10 c cleaning 43034 clauses out of 86102 with flag 12404800/2041174 886.68/874.44 c cleaning 44019 clauses out of 88070 with flag 13129132/2086176 909.02/896.31 c cleaning 44873 clauses out of 90049 with flag 13657920/2132174 932.23/919.21 c cleaning 46046 clauses out of 92176 with flag 14222128/2179174 954.91/941.31 c cleaning 47023 clauses out of 94132 with flag 14759288/2227176 977.21/963.66 c cleaning 48028 clauses out of 96107 with flag 15479884/2276174 998.56/984.84 c cleaning 49026 clauses out of 98081 with flag 16235591/2326176 1024.85/1010.83 c cleaning 49995 clauses out of 100054 with flag 16932617/2377175 1052.60/1037.96 c cleaning 51003 clauses out of 102061 with flag 18161407/2429177 1076.77/1061.95 c cleaning 52002 clauses out of 104058 with flag 18925869/2482177 1105.77/1090.64 c cleaning 53015 clauses out of 106053 with flag 19820856/2536174 1133.31/1117.68 c cleaning 53978 clauses out of 108038 with flag 20550753/2591174 1162.94/1146.90 c cleaning 55008 clauses out of 110060 with flag 21341558/2647174 1191.97/1175.65 c cleaning 55984 clauses out of 112053 with flag 22347185/2704175 1220.06/1203.48 c cleaning 57021 clauses out of 114071 with flag 23090063/2762177 1249.01/1231.98 c cleaning 58008 clauses out of 116047 with flag 24101385/2821174 1282.01/1264.64 c cleaning 59014 clauses out of 118039 with flag 24987772/2881174 1311.60/1293.75 c cleaning 59997 clauses out of 120026 with flag 25945968/2942175 1331.28/1313.22 c Got one! Elapsed wall clock time (in seconds):1313.11 1331.28/1313.22 o 8223 1334.38/1316.30 c cleaning 53951 clauses out of 107923 with flag 56358/2990069 1336.88/1318.86 c cleaning 29958 clauses out of 59970 with flag 149902/2996067 1339.38/1321.38 c cleaning 18410 clauses out of 37011 with flag 231988/3003066 1342.70/1324.57 c cleaning 13278 clauses out of 26603 with flag 333321/3011068 1345.79/1327.66 c cleaning 11038 clauses out of 22326 with flag 418430/3020069 1350.29/1332.14 c cleaning 10583 clauses out of 21285 with flag 480111/3030066 1354.49/1336.34 c cleaning 10837 clauses out of 21702 with flag 557495/3041066 1359.97/1341.79 c cleaning 11407 clauses out of 22865 with flag 654968/3053066 1365.97/1347.72 c cleaning 12197 clauses out of 24458 with flag 778000/3066066 1371.47/1353.25 c cleaning 13004 clauses out of 26262 with flag 897200/3080067 1377.93/1359.61 c cleaning 14006 clauses out of 28257 with flag 1048812/3095066 1384.12/1365.83 c cleaning 15078 clauses out of 30251 with flag 1206640/3111066 1391.41/1373.02 c cleaning 16084 clauses out of 32175 with flag 1336800/3128068 1397.11/1378.78 c Got one! Elapsed wall clock time (in seconds):1378.672 1397.11/1378.78 o 8070 1399.51/1381.11 c cleaning 18533 clauses out of 37135 with flag 56084/3149112 1401.56/1383.20 c cleaning 12259 clauses out of 24602 with flag 130216/3155112 1404.57/1386.13 c cleaning 9610 clauses out of 19344 with flag 215948/3162113 1408.16/1389.72 c cleaning 8823 clauses out of 17737 with flag 291068/3170116 1412.15/1393.66 c cleaning 8904 clauses out of 17910 with flag 363606/3179112 1416.66/1398.18 c cleaning 9458 clauses out of 19006 with flag 466786/3189112 1420.75/1402.25 c cleaning 10262 clauses out of 20548 with flag 567548/3200112 1426.13/1407.50 c cleaning 11108 clauses out of 22286 with flag 660079/3212112 1431.13/1412.51 c cleaning 12077 clauses out of 24180 with flag 768954/3225114 1436.43/1417.80 c cleaning 13042 clauses out of 26101 with flag 945266/3239112 1443.01/1424.30 c cleaning 14031 clauses out of 28062 with flag 1061370/3254115 1449.21/1430.51 c cleaning 15009 clauses out of 30029 with flag 1191765/3270113 1455.68/1436.94 c cleaning 15998 clauses out of 32019 with flag 1373451/3287112 1464.57/1445.71 c cleaning 16982 clauses out of 34024 with flag 1506282/3305115 1474.37/1455.31 c cleaning 18006 clauses out of 36041 with flag 1663035/3324114 1483.97/1464.69 c cleaning 18981 clauses out of 38034 with flag 1827554/3344113 1494.94/1475.35 c cleaning 20002 clauses out of 40053 with flag 2050462/3365113 1505.98/1486.21 c cleaning 21013 clauses out of 42050 with flag 2301845/3387112 1516.28/1496.46 c cleaning 21996 clauses out of 44038 with flag 2602201/3410113 1526.40/1506.40 c cleaning 22944 clauses out of 46042 with flag 2820538/3434113 1538.04/1517.90 c cleaning 24030 clauses out of 48098 with flag 3045878/3459113 1551.23/1530.91 c cleaning 24994 clauses out of 50067 with flag 3352545/3485112 1563.69/1543.30 c cleaning 25999 clauses out of 52074 with flag 3613631/3512113 1575.69/1555.16 c cleaning 27026 clauses out of 54077 with flag 3903465/3540115 1588.00/1567.26 c cleaning 28019 clauses out of 56048 with flag 4227161/3569112 1600.06/1579.04 c cleaning 28972 clauses out of 58029 with flag 4686768/3599112 1613.50/1592.30 c cleaning 30005 clauses out of 60057 with flag 5166366/3630112 1626.26/1604.92 c cleaning 31023 clauses out of 62053 with flag 5549347/3662113 1641.46/1619.86 c cleaning 32005 clauses out of 64031 with flag 5932985/3695114 1661.90/1639.97 c cleaning 32973 clauses out of 66025 with flag 6261237/3729113 1678.85/1656.67 c cleaning 34021 clauses out of 68054 with flag 6669388/3764115 1693.71/1671.23 c cleaning 34946 clauses out of 70034 with flag 7099792/3800116 1710.49/1687.62 c cleaning 35984 clauses out of 72089 with flag 7554171/3837117 1727.78/1704.79 c cleaning 37033 clauses out of 74100 with flag 8016743/3875112 1744.39/1721.18 c cleaning 38018 clauses out of 76068 with flag 8455891/3914113 1761.93/1738.59 c cleaning 38880 clauses out of 78051 with flag 8980062/3954114 1767.32/1743.89 c Got one! Elapsed wall clock time (in seconds):1743.778 1767.32/1743.89 o 8067 1769.12/1745.70 c cleaning 29019 clauses out of 58152 with flag 64047/3973095 1771.48/1747.94 c cleaning 17560 clauses out of 35133 with flag 136823/3979095 1773.87/1750.36 c cleaning 12198 clauses out of 24576 with flag 225553/3986098 1776.83/1753.22 c cleaning 10158 clauses out of 20375 with flag 283737/3994095 1779.72/1756.11 c cleaning 9521 clauses out of 19217 with flag 347008/4003095 1783.16/1759.59 c cleaning 9811 clauses out of 19696 with flag 423927/4013095 1788.07/1764.45 c cleaning 10383 clauses out of 20886 with flag 509319/4024096 1792.56/1768.87 c cleaning 11204 clauses out of 22502 with flag 660496/4036095 1797.16/1773.45 c cleaning 12148 clauses out of 24302 with flag 767898/4049099 1800.09/1776.30 c starts : 6479 1800.09/1776.30 c conflicts : 4056455 1800.09/1776.30 c decisions : 42070295 1800.09/1776.30 c propagations : 573618389 1800.09/1776.30 c inspects : 5160481687 1800.09/1776.30 c shortcuts : 0 1800.09/1776.30 c learnt literals : 0 1800.09/1776.30 c learnt binary clauses : 655 1800.09/1776.30 c learnt ternary clauses : 1829 1800.09/1776.30 c learnt constraints : 4056455 1800.09/1776.30 c ignored constraints : 0 1800.09/1776.30 c root simplifications : 0 1800.09/1776.30 c removed literals (reason simplification) : 0 1800.09/1776.30 c reason swapping (by a shorter reason) : 0 1800.09/1776.30 c Calls to reduceDB : 199 1800.09/1776.30 c Number of update (reduction) of LBD : 3076490 1800.09/1776.30 c Imported unit clauses : 0 1800.09/1776.30 c number of reductions to clauses (during analyze) : 0 1800.09/1776.30 c number of learned constraints concerned by reduction : 0 1800.09/1776.30 c number of learning phase by resolution : 0 1800.09/1776.30 c number of learning phase by cutting planes : 0 1800.09/1776.30 c speed (assignments/second) : 323013.15493097337 1800.09/1776.30 c non guided choices 19209 1800.09/1776.31 c learnt constraints type 1800.09/1776.31 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 655 1800.09/1776.31 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18855 1800.09/1776.31 s SATISFIABLE 1800.09/1776.31 c Found 12 solution(s) 1800.09/1776.32 v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -xc timeout 1800.09/1776.33 2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -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 -x3329 -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 -x3356 -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 -x3383 -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 -x3410 -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 -x3437 -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 -x3464 -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 -x3491 -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 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -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 -x4675 -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 -x4702 -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 -x4729 -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 -x4756 -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 -x4783 -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 -x4810 -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 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 -x10754 -x10755 -x10756 -x10757 1800.09/1776.33 c objective function=8067 1800.09/1776.33 c Total wall clock time (in seconds): 1776.227
FAILED ERROR: unsatisfied constraint on line 53 0=1 Falsified constraint is: +1*x189[=0] +1*x190[=0] +1*x616[=0] +1*x617[=0] +1*x618[=0] +1*x619[=0] +1*x620[=0] +1*x798[=0] +1*x799[=0] +1*x800[=0] +1*x801[=0] +1*x802[=0] +1*x803[=0] +1*x804[=0] +1*x805[=0] +1*x806[=0] +1*x1493[=0] +1*x1686[=0] +1*x2098[=0] +1*x2099[=0] +1*x2100[=0] +1*x2101[=0] +1*x2102[=0] +1*x2103[=0] +1*x2104[=0] +1*x2105[=0] +1*x2106[=0] +1*x2107[=0] +1*x2108[=0] +1*x2109[=0] +1*x2110[=0] +1*x2111[=0] +1*x2112[=0] +1*x2113[=0] +1*x2114[=0] +1*x2115[=0] +1*x2116[=0] +1*x2117[=0] +1*x2118[=0] +1*x2119[=0] +1*x2120[=0] +1*x2121[=0] +1*x2122[=0] +1*x2123[=0] +1*x2124[=0] +1*x2125[=0] +1*x2126[=0] +1*x2127[=0] +1*x2128[=0] +1*x2129[=0] +1*x2130[=0] +1*x2131[=0] +1*x2132[=0] +1*x2133[=0] +1*x2134[=0] +1*x2135[=0] +1*x2136[=0] +1*x2137[=0] +1*x2138[=0] +1*x2139[=0] +1*x2140[=0] +1*x2141[=0] +1*x2142[=0] +1*x2143[=0] +1*x2144[=0] +1*x2145[=0] +1*x2146[=0] +1*x2147[=0] +1*x2148[=0] +1*x2149[=0] +1*x2150[=0] +1*x2151[=0] +1*x2152[=0] +1*x2153[=0] +1*x2154[=0] +1*x2155[=0] +1*x2156[=0] +1*x2157[=0] +1*x2158[=0] +1*x2159[=0] +1*x2160[=0] +1*x2161[=0] +1*x2162[=0] +1*x2163[=0] +1*x2164[=0] +1*x2165[=0] +1*x2166[=0] +1*x2167[=0] +1*x2168[=0] +1*x2169[=0] +1*x2170[=0] +1*x2171[=0] +1*x2172[=0] +1*x2173[=0] +1*x2174[=0] +1*x2175[=0] +1*x2176[=0] +1*x2177[=0] +1*x2178[=0] +1*x2179[=0] +1*x2180[=0] +1*x2181[=0] +1*x2182[=0] +1*x2183[=0] +1*x2184[=0] +1*x2185[=0] +1*x2186[=0] +1*x2187[=0] +1*x2188[=0] +1*x2189[=0] +1*x2190[=0] +1*x2191[=0] +1*x2192[=0] +1*x2193[=0] +1*x2194[=0] +1*x2195[=0] +1*x2196[=0] +1*x2197[=0] +1*x2198[=0] +1*x2199[=0] +1*x2200[=0] +1*x2201[=0] +1*x2202[=0] +1*x2203[=0] +1*x2204[=0] +1*x2205[=0] +1*x2206[=0] +1*x2207[=0] +1*x2208[=0] +1*x2209[=0] +1*x2210[=0] +1*x2211[=0] +1*x2212[=0] +1*x2213[=0] +1*x2214[=0] +1*x2215[=0] +1*x2216[=0] +1*x2217[=0] +1*x2218[=0] +1*x2219[=0] +1*x2220[=0] +1*x2221[=0] +1*x2222[=0] +1*x2223[=0] +1*x2224[=0] +1*x2225[=0] +1*x2226[=0] +1*x2227[=0] +1*x2228[=0] +1*x2229[=0] +1*x2230[=0] +1*x2231[=0] +1*x2232[=0] +1*x2233[=0] +1*x2234[=0] +1*x2235[=0] +1*x2236[=0] +1*x2237[=0] +1*x2238[=0] +1*x2239[=0] +1*x2240[=0] +1*x2241[=0] +1*x2242[=0] +1*x2243[=0] +1*x2244[=0] +1*x2245[=0] +1*x2246[=0] +1*x2247[=0] +1*x2248[=0] +1*x2249[=0] +1*x2250[=0] +1*x2251[=0] +1*x2252[=0] +1*x2253[=0] +1*x2254[=0] +1*x2255[=0] +1*x2256[=0] +1*x2257[=0] +1*x2258[=0] +1*x2259[=0] +1*x2260[=0] +1*x2261[=0] +1*x2262[=0] +1*x2263[=0] +1*x2264[=0] +1*x2265[=0] +1*x2266[=0] +1*x2267[=0] +1*x2268[=0] +1*x2269[=0] +1*x2270[=0] +1*x2271[=0] +1*x2272[=0] +1*x2273[=0] +1*x2274[=0] +1*x2275[=0] +1*x2276[=0] +1*x2277[=0] +1*x2278[=0] +1*x2279[=0] +1*x2280[=0] +1*x2281[=0] +1*x2282[=0] +1*x2283[=0] +1*x2284[=0] +1*x2285[=0] +1*x2286[=0] +1*x2287[=0] +1*x2288[=0] +1*x2289[=0] +1*x2290[=0] +1*x2291[=0] +1*x2292[=0] +1*x2293[=0] +1*x2294[=0] +1*x2295[=0] +1*x2296[=0] +1*x2297[=0] +1*x2298[=0] +1*x2299[=0] +1*x2300[=0] +1*x2301[=0] +1*x2302[=0] +1*x2303[=0] +1*x2304[=0] = 1
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4101341-1466222247/watcher-4101341-1466222247 -o /tmp/evaluation-result-4101341-1466222247/solver-4101341-1466222247 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101341-1466222247.opb pid=5053 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.12 2.06 3/194 5056 /proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 24275245 98570240 978 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 24065 978 744 9 0 16771 0 [pid=5056/tid=5057] ppid=5053 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 24275246 98570240 978 33554432000 1073741824 1073778376 140733656988032 139895109815848 249650038144 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100061 s] /proc/loadavg: 2.06 2.12 2.06 3/194 5056 /proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 4414 0 1 0 8 2 0 0 20 0 18 0 24275245 9787879424 6044 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2389619 6048 2131 9 0 2380296 0 [pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2379 0 1 0 6 1 0 0 20 0 18 0 24275246 9787879424 6048 33554432000 1073741824 1073778376 140733656988032 139895109819296 249653421325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200352 s] /proc/loadavg: 2.06 2.12 2.06 3/194 5056 /proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9558476 CPUtime=0.3 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 4991 0 1 0 28 2 0 0 20 0 18 0 24275245 9787879424 6990 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2389619 6990 2222 9 0 2380296 0 [pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2396 0 1 0 16 1 0 0 20 0 18 0 24275246 9787879424 6990 33554432000 1073741824 1073778376 140733656988032 139895109813144 139894953428481 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300366 s] /proc/loadavg: 2.06 2.12 2.06 3/194 5056 /proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9558476 CPUtime=0.54 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 7254 0 1 0 51 3 0 0 20 0 18 0 24275245 9787879424 12514 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2389619 12514 2234 9 0 2380296 0 [pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 24275246 9787879424 12514 33554432000 1073741824 1073778376 140733656988032 139895109797760 139894953872786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700284 s] /proc/loadavg: 2.06 2.12 2.06 3/194 5056 /proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=1.31 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 9458 0 1 0 127 4 0 0 20 0 19 0 24275245 9856040960 28791 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 28791 2250 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2453 0 1 0 65 2 0 0 20 0 19 0 24275246 9856040960 28791 33554432000 1073741824 1073778376 140733656988032 139895109820792 139894953987517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9625040 [startup+1.5008 s] /proc/loadavg: 2.05 2.11 2.06 3/213 5075 /proc/meminfo: memFree=30517708/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=2.39 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 11135 0 1 0 234 5 0 0 20 0 19 0 24275245 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 33663 2259 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1.47 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2468 0 1 0 144 3 0 0 20 0 19 0 24275246 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139895109819640 139894954151800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 4689 0 0 0 52 1 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 2701 0 0 0 35 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 9625040 [startup+3.10082 s] /proc/loadavg: 2.05 2.11 2.06 3/213 5075 /proc/meminfo: memFree=30461916/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=4.16 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 12183 0 1 0 405 11 0 0 20 0 19 0 24275245 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 52695 2277 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=3.03 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2486 0 1 0 300 3 0 0 20 0 19 0 24275246 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139895109820264 139894954033181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.58 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 5535 0 0 0 57 1 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 2705 0 0 0 36 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.16 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 2.05 2.11 2.06 3/213 5075 /proc/meminfo: memFree=30333956/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=7.39 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 12186 0 1 0 728 11 0 0 20 0 19 0 24275245 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 52695 2277 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2489 0 1 0 619 3 0 0 20 0 19 0 24275246 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139895109818704 139894954179176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 5535 0 0 0 59 2 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 ################ # More data... # ################ [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 268440 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1684.62 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.01 2.06 2.08 3/213 5141 /proc/meminfo: memFree=28790500/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=1745.62 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40257 0 1 0 174187 375 0 0 20 0 19 0 24275245 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 271282 2288 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1707.51 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3470 0 1 0 170714 37 0 0 20 0 19 0 24275246 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954198812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.87 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1279 0 0 0 340 47 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.25 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 294 31 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.75 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2510 0 0 0 330 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.54 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1914 0 0 0 309 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.8 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 342 38 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.6 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1391 0 0 0 313 47 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.29 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2000 0 0 0 292 37 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.61 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 316 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2904 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6 /proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1745.62 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1776.3 s] /proc/loadavg: 2.09 2.08 2.08 3/213 5209 /proc/meminfo: memFree=30513368/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40294 0 1 0 179633 376 0 0 20 0 19 0 24275245 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 271028 2288 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1761.18 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3477 0 1 0 176079 39 0 0 20 0 19 0 24275246 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954028717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1282 0 0 0 345 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 303 32 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2513 0 0 0 336 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1918 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.89 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 351 38 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.7 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1392 0 0 0 323 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.37 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 300 37 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2007 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2912 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6 /proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5056 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1776.3 s] /proc/loadavg: 2.09 2.08 2.08 3/213 5209 /proc/meminfo: memFree=30513368/32872528 swapFree=190484/190484 [pid=5056] ppid=5053 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6 /proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40294 0 1 0 179633 376 0 0 20 0 19 0 24275245 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5056/statm: 2406260 271028 2288 9 0 2396937 0 [pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1761.18 cores=0,2,4,6 /proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3477 0 1 0 176079 39 0 0 20 0 19 0 24275246 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954028717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1282 0 0 0 345 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 303 32 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2513 0 0 0 336 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6 /proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1918 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.89 cores=0,2,4,6 /proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 351 38 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.7 cores=0,2,4,6 /proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1392 0 0 0 323 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.37 cores=0,2,4,6 /proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 300 37 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6 /proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2007 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6 /proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2912 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6 /proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5056 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=829600 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=221358 # CPU time returned by wait4() is 1796.05 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1776.34 CPU time (s): 1800.09 CPU user time (s): 1796.33 CPU system time (s): 3.76 CPU usage (%): 101.337 Max. virtual memory (cumulated for all children) (KiB): 9626516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.83 system time used= 4.22136 maximum resident set size= 2998816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40339 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40713 involuntary context switches= 24643 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.7624 second user time and 12.834 second system time The end
Begin job on node102 at 2016-06-18 05:57:27 IDJOB=4101341 IDBENCH=1732 IDSOLVER=2546 FILE ID=node102/4101341-1466222247 RUNJOBID= node102-1466206108-2932 PBS_JOBID= 19918170 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101341-1466222247/watcher-4101341-1466222247 -o /tmp/evaluation-result-4101341-1466222247/solver-4101341-1466222247 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101341-1466222247.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c2512385eceb0464b223bc1effdca67c RANDOM SEED=1684796143 node102.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.746 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.49 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.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30656776 kB Buffers: 97344 kB Cached: 108596 kB SwapCached: 1828 kB Active: 1139512 kB Inactive: 129072 kB Active(anon): 1063104 kB Inactive(anon): 1504 kB Active(file): 76408 kB Inactive(file): 127568 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67099020 kB Dirty: 1368 kB Writeback: 0 kB AnonPages: 1345984 kB Mapped: 15404 kB Shmem: 0 kB Slab: 599872 kB SReclaimable: 43392 kB SUnreclaim: 556480 kB KernelStack: 1760 kB PageTables: 6992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2001632 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1124352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node102 at 2016-06-18 06:27:04