Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 3447571 | 3600.31 | 3570.67 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_4.opb |
| MD5SUM | 9e5b0b67365644613b47988ddf91495e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3437313 |
| Best CPU time to get the best result obtained on this benchmark | 711.141 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 77399784670 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 77399784670 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.06 c version CUSTOM.v20240707 0.00/0.07 c java.runtime.name OpenJDK Runtime Environment 0.00/0.07 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.07 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.14/0.12 --- Begin Solver configuration --- 0.14/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 Learn all clauses as in MiniSAT 0.14/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 No reason simplification 0.14/0.12 Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 timeout=2147483s 0.14/0.12 DB Simplification allowed=false 0.14/0.12 Listener: none 0.14/0.12 --- End Solver configuration --- 0.14/0.12 c Pseudo Boolean Optimization by upper bound 0.14/0.12 c --- Begin Solver configuration --- 0.14/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 c Learn all clauses as in MiniSAT 0.14/0.12 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 c No reason simplification 0.14/0.12 c Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 c timeout=2147483s 0.14/0.12 c DB Simplification allowed=false 0.14/0.12 c Listener: none 0.14/0.12 c --- End Solver configuration --- 0.14/0.12 c solving HOME/instance-4432465-1721141430.opb 0.14/0.12 c reading problem ... 0.14/0.12 c objective function found 0.54/0.36 c ... done. Wall clock time 0.235s. 0.54/0.36 c declared #vars 9940 0.54/0.36 c #constraints 24512 0.54/0.36 c constraints type 0.54/0.36 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 0.54/0.36 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.54/0.36 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 0.54/0.36 c org.sat4j.specs.Constr$1 => 2 0.54/0.36 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.54/0.37 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 0.54/0.37 c 24512 constraints processed. 0.54/0.38 c objective function length is 9730 literals 1.09/0.64 c SATISFIABLE 1.09/0.64 c OPTIMIZING... 1.09/0.65 c Got one! Elapsed wall clock time (in seconds):0.526 1.09/0.65 o 3471965 1.29/0.71 c Got one! Elapsed wall clock time (in seconds):0.581 1.29/0.71 o 3466175 1.29/0.75 c Got one! Elapsed wall clock time (in seconds):0.626 1.29/0.75 o 3464927 1.29/0.79 c Got one! Elapsed wall clock time (in seconds):0.67 1.29/0.80 o 3464177 1.48/0.84 c Got one! Elapsed wall clock time (in seconds):0.712 1.48/0.84 o 3463505 1.48/0.87 c Got one! Elapsed wall clock time (in seconds):0.749 1.48/0.88 o 3462929 1.89/1.02 c Got one! Elapsed wall clock time (in seconds):0.906 1.89/1.02 o 3462803 1.89/1.07 c Got one! Elapsed wall clock time (in seconds):0.948 1.89/1.07 o 3458369 1.89/1.09 c Got one! Elapsed wall clock time (in seconds):0.969 1.89/1.09 o 3457729 2.09/1.11 c Got one! Elapsed wall clock time (in seconds):0.987 2.09/1.11 o 3457153 2.09/1.12 c Got one! Elapsed wall clock time (in seconds):1.006 2.09/1.12 o 3456481 2.27/1.27 c Got one! Elapsed wall clock time (in seconds):1.149 2.27/1.27 o 3455699 2.27/1.29 c Got one! Elapsed wall clock time (in seconds):1.168 2.27/1.29 o 3454483 2.80/1.59 c Got one! Elapsed wall clock time (in seconds):1.471 2.80/1.59 o 3454101 3.28/1.98 c Got one! Elapsed wall clock time (in seconds):1.863 3.28/1.98 o 3453929 3.42/2.01 c Got one! Elapsed wall clock time (in seconds):1.888 3.42/2.01 o 3450209 3.42/2.04 c Got one! Elapsed wall clock time (in seconds):1.908 3.42/2.04 o 3449569 3.42/2.05 c Got one! Elapsed wall clock time (in seconds):1.924 3.42/2.05 o 3448993 3.60/2.12 c Got one! Elapsed wall clock time (in seconds):2.0 3.60/2.12 o 3447571 4.58/3.00 c cleaning 3418 clauses out of 6836 with flag 7397/6836 6.76/4.97 c cleaning 4696 clauses out of 9418 with flag 23829/12836 9.22/7.22 c cleaning 5858 clauses out of 11723 with flag 46026/19837 10.30/8.21 c cleaning 6926 clauses out of 13865 with flag 62110/27837 11.40/9.33 c cleaning 7958 clauses out of 15939 with flag 80172/36837 12.74/10.65 c cleaning 8983 clauses out of 17981 with flag 100284/46837 14.14/12.08 c cleaning 9991 clauses out of 19998 with flag 122386/57837 15.73/13.65 c cleaning 10989 clauses out of 22007 with flag 146505/69837 18.16/15.95 c cleaning 11989 clauses out of 24018 with flag 179640/82837 20.06/17.73 c cleaning 12987 clauses out of 26029 with flag 207765/96837 22.65/20.13 c cleaning 14017 clauses out of 28040 with flag 241793/111836 24.95/22.23 c cleaning 15010 clauses out of 30023 with flag 273973/127836 27.16/24.42 c cleaning 16000 clauses out of 32013 with flag 308129/144836 29.62/26.80 c cleaning 17001 clauses out of 34013 with flag 344320/162836 32.02/29.28 c cleaning 18003 clauses out of 36013 with flag 382618/181837 34.72/31.96 c cleaning 18998 clauses out of 38010 with flag 422950/201837 37.55/34.78 c cleaning 20006 clauses out of 40012 with flag 465306/222837 40.57/37.78 c cleaning 21001 clauses out of 42006 with flag 509691/244837 43.79/40.93 c cleaning 22002 clauses out of 44005 with flag 556026/267837 47.00/44.12 c cleaning 23002 clauses out of 46004 with flag 604415/291838 50.64/47.76 c cleaning 23995 clauses out of 48001 with flag 656201/316837 54.20/51.28 c cleaning 25003 clauses out of 50005 with flag 708710/342836 58.49/55.53 c cleaning 25999 clauses out of 52002 with flag 771892/369836 62.74/59.70 c cleaning 26993 clauses out of 54003 with flag 835533/397836 66.89/63.87 c cleaning 28003 clauses out of 56009 with flag 897613/426837 71.37/68.24 c cleaning 28992 clauses out of 58006 with flag 961001/456837 76.06/72.82 c cleaning 30001 clauses out of 60007 with flag 1026733/487836 80.45/77.21 c cleaning 31000 clauses out of 62006 with flag 1092037/519836 84.94/81.75 c cleaning 32002 clauses out of 64008 with flag 1158957/552838 89.52/86.39 c cleaning 33002 clauses out of 66004 with flag 1227693/586836 94.92/91.38 c cleaning 33991 clauses out of 68002 with flag 1299659/621836 100.10/96.50 c cleaning 35000 clauses out of 70010 with flag 1373538/657836 105.28/101.66 c cleaning 36003 clauses out of 72009 with flag 1448616/694836 110.37/106.75 c cleaning 37001 clauses out of 74007 with flag 1525307/732837 115.63/111.95 c cleaning 37997 clauses out of 76005 with flag 1603775/771836 121.11/117.40 c cleaning 38997 clauses out of 78009 with flag 1684583/811837 126.67/122.94 c cleaning 40002 clauses out of 80012 with flag 1767203/852837 132.36/128.67 c cleaning 41001 clauses out of 82010 with flag 1851560/894837 138.29/134.59 c cleaning 41995 clauses out of 84008 with flag 1938110/937836 144.17/140.47 c cleaning 42997 clauses out of 86013 with flag 2027001/981836 150.46/146.61 c cleaning 44003 clauses out of 88016 with flag 2117991/1026836 156.44/152.68 c cleaning 45005 clauses out of 90014 with flag 2210596/1072837 162.73/158.97 c cleaning 45998 clauses out of 92008 with flag 2305924/1119836 169.52/165.62 c cleaning 47003 clauses out of 94011 with flag 2402864/1167837 175.80/171.99 c cleaning 47993 clauses out of 96007 with flag 2501363/1216836 182.68/178.81 c cleaning 49006 clauses out of 98014 with flag 2601930/1266836 189.77/185.88 c cleaning 50005 clauses out of 100009 with flag 2704582/1317837 196.75/192.86 c cleaning 50995 clauses out of 102003 with flag 2809373/1369836 204.13/200.11 c cleaning 52001 clauses out of 104009 with flag 2916245/1422837 211.31/207.36 c cleaning 53005 clauses out of 106009 with flag 3025138/1476838 219.25/214.84 c cleaning 53995 clauses out of 108003 with flag 3136156/1531837 227.03/222.53 c cleaning 55002 clauses out of 110007 with flag 3249327/1587836 234.70/230.22 c cleaning 56002 clauses out of 112005 with flag 3364152/1644836 242.89/238.48 c cleaning 56998 clauses out of 114004 with flag 3480911/1702837 251.42/246.84 c cleaning 57998 clauses out of 116005 with flag 3599783/1761836 259.80/255.25 c cleaning 58996 clauses out of 118008 with flag 3720645/1821837 268.28/263.74 c cleaning 59999 clauses out of 120011 with flag 3843479/1882836 277.33/272.75 c cleaning 61002 clauses out of 122012 with flag 3968459/1944836 285.81/281.24 c cleaning 61997 clauses out of 124010 with flag 4095691/2007836 295.07/290.38 c cleaning 63005 clauses out of 126014 with flag 4224392/2071837 304.15/299.41 c cleaning 63998 clauses out of 128009 with flag 4355648/2136837 313.52/308.63 c cleaning 64997 clauses out of 130011 with flag 4488812/2202837 322.59/317.77 c cleaning 66002 clauses out of 132013 with flag 4623921/2269836 332.19/327.28 c cleaning 67000 clauses out of 134012 with flag 4760811/2337837 341.56/336.63 c cleaning 68003 clauses out of 136012 with flag 4899561/2406837 351.68/346.63 c cleaning 68997 clauses out of 138008 with flag 5040182/2476836 361.86/356.81 c cleaning 70002 clauses out of 140012 with flag 5182829/2547837 372.60/366.96 c cleaning 71003 clauses out of 142009 with flag 5327488/2619836 382.92/377.12 c cleaning 71999 clauses out of 144006 with flag 5474376/2692836 393.48/387.73 c cleaning 73004 clauses out of 146008 with flag 5623330/2766837 404.27/398.33 c cleaning 73989 clauses out of 148003 with flag 5775552/2841836 414.89/409.05 c cleaning 75004 clauses out of 150016 with flag 5928875/2917838 425.36/419.40 c cleaning 75996 clauses out of 152011 with flag 6083866/2994837 435.73/429.81 c cleaning 77006 clauses out of 154015 with flag 6240829/3072837 448.40/442.45 c cleaning 77997 clauses out of 156008 with flag 6400969/3151836 460.33/454.18 c cleaning 78987 clauses out of 157981 with flag 6566038/3231837 472.09/465.97 c cleaning 79993 clauses out of 159993 with flag 6728878/3312836 483.98/477.79 c cleaning 80997 clauses out of 162001 with flag 6894443/3394837 495.76/489.42 c cleaning 81998 clauses out of 164004 with flag 7061920/3477837 508.45/501.31 c cleaning 83001 clauses out of 166006 with flag 7231280/3561837 520.40/513.25 c cleaning 83992 clauses out of 168004 with flag 7402606/3646836 532.61/525.37 c cleaning 85004 clauses out of 170013 with flag 7575917/3732837 544.61/537.48 c cleaning 85993 clauses out of 172008 with flag 7751473/3819836 557.07/549.89 c cleaning 87006 clauses out of 174015 with flag 7929075/3907836 569.54/562.32 c cleaning 88001 clauses out of 176009 with flag 8108328/3996836 582.50/575.23 c cleaning 88997 clauses out of 178009 with flag 8289284/4086837 594.97/587.76 c cleaning 90006 clauses out of 180012 with flag 8472558/4177837 608.24/600.91 c cleaning 90993 clauses out of 182005 with flag 8659840/4269836 622.14/614.61 c cleaning 91996 clauses out of 184013 with flag 8847633/4362837 636.00/628.37 c cleaning 93005 clauses out of 186017 with flag 9037798/4456837 650.19/641.54 c cleaning 94004 clauses out of 188011 with flag 9236369/4551836 664.44/655.73 c cleaning 94998 clauses out of 190007 with flag 9429641/4647836 678.49/669.67 c cleaning 95999 clauses out of 192010 with flag 9629565/4744837 694.06/685.26 c cleaning 97002 clauses out of 194012 with flag 9845136/4842838 714.38/705.58 c cleaning 97901 clauses out of 195807 with flag 10110892/4941836 730.11/721.11 c cleaning 98952 clauses out of 197905 with flag 10319064/5041837 745.63/736.43 c cleaning 99971 clauses out of 199953 with flag 10522007/5142837 761.46/752.13 c cleaning 100986 clauses out of 201982 with flag 10726913/5244837 777.55/768.19 c cleaning 101990 clauses out of 203995 with flag 10933812/5347836 795.24/784.87 c cleaning 102995 clauses out of 206005 with flag 11142714/5451836 811.87/801.39 c cleaning 104005 clauses out of 208010 with flag 11353539/5556836 828.59/817.92 c cleaning 104996 clauses out of 210006 with flag 11566334/5662837 845.11/834.37 c cleaning 105994 clauses out of 212009 with flag 11781284/5769836 862.13/851.29 c cleaning 107001 clauses out of 214015 with flag 11998088/5877836 878.72/867.76 c cleaning 107998 clauses out of 216014 with flag 12216926/5986836 896.54/885.57 c cleaning 109006 clauses out of 218016 with flag 12437820/6096836 913.70/902.69 c cleaning 110001 clauses out of 220011 with flag 12660729/6207837 932.49/920.51 c cleaning 111000 clauses out of 222009 with flag 12885673/6319836 950.04/938.04 c cleaning 111999 clauses out of 224009 with flag 13112635/6432836 967.67/955.63 c cleaning 112997 clauses out of 226010 with flag 13341581/6546836 986.18/974.28 c cleaning 114001 clauses out of 228014 with flag 13572501/6661837 1004.56/992.59 c cleaning 115000 clauses out of 230012 with flag 13805570/6777836 1022.66/1010.53 c cleaning 116002 clauses out of 232012 with flag 14040538/6894836 1041.50/1029.36 c cleaning 116998 clauses out of 234011 with flag 14277661/7012837 1060.64/1048.48 c cleaning 118004 clauses out of 236013 with flag 14516674/7131837 1079.83/1067.53 c cleaning 119002 clauses out of 238008 with flag 14757618/7251836 1099.18/1086.89 c cleaning 119999 clauses out of 240007 with flag 15000580/7372837 1118.62/1106.15 c cleaning 120997 clauses out of 242007 with flag 15245666/7494836 1139.07/1125.51 c cleaning 122000 clauses out of 244010 with flag 15492772/7617836 1158.79/1145.17 c cleaning 122997 clauses out of 246011 with flag 15741818/7741837 1178.40/1164.63 c cleaning 124004 clauses out of 248013 with flag 15992885/7866836 1198.40/1184.52 c cleaning 125003 clauses out of 250009 with flag 16245900/7992836 1218.75/1204.84 c cleaning 126000 clauses out of 252006 with flag 16501012/8119836 1239.22/1225.22 c cleaning 126998 clauses out of 254007 with flag 16757900/8247837 1258.99/1244.93 c cleaning 127999 clauses out of 256008 with flag 17016933/8376836 1279.64/1265.57 c cleaning 129003 clauses out of 258009 with flag 17277926/8506836 1300.64/1286.46 c cleaning 129994 clauses out of 260006 with flag 17541036/8637836 1321.68/1307.30 c cleaning 131002 clauses out of 262013 with flag 17806107/8769837 1343.20/1328.76 c cleaning 131999 clauses out of 264011 with flag 18073174/8902837 1365.69/1350.08 c cleaning 133000 clauses out of 266011 with flag 18342239/9036836 1386.94/1371.42 c cleaning 133999 clauses out of 268011 with flag 18613489/9171836 1410.88/1395.24 c cleaning 135000 clauses out of 270012 with flag 18886705/9307836 1432.55/1416.74 c cleaning 136001 clauses out of 272012 with flag 19161625/9444836 1454.25/1438.36 c cleaning 137005 clauses out of 274012 with flag 19438796/9582837 1476.35/1460.44 c cleaning 137997 clauses out of 276006 with flag 19717913/9721836 1499.68/1483.78 c cleaning 138998 clauses out of 278010 with flag 19999070/9861837 1522.78/1506.86 c cleaning 140006 clauses out of 280012 with flag 20282287/10002837 1545.72/1529.77 c cleaning 141002 clauses out of 282005 with flag 20567452/10144836 1568.71/1552.69 c cleaning 141999 clauses out of 284003 with flag 20854751/10287836 1591.60/1575.49 c cleaning 142995 clauses out of 286005 with flag 21144295/10431837 1614.91/1598.79 c cleaning 144000 clauses out of 288009 with flag 21435570/10576836 1638.33/1622.10 c cleaning 145001 clauses out of 290010 with flag 21728900/10722837 1661.55/1645.14 c cleaning 146002 clauses out of 292008 with flag 22024234/10869836 1685.52/1669.01 c cleaning 146999 clauses out of 294006 with flag 22321587/11017836 1711.58/1693.80 c cleaning 148003 clauses out of 296008 with flag 22621036/11166837 1735.60/1717.86 c cleaning 148997 clauses out of 298004 with flag 22922474/11316836 1759.55/1741.72 c cleaning 150003 clauses out of 300008 with flag 23226027/11467837 1783.57/1765.73 c cleaning 150993 clauses out of 302005 with flag 23531416/11619837 1808.35/1790.59 c cleaning 151999 clauses out of 304012 with flag 23838934/11772837 1833.27/1815.40 c cleaning 153000 clauses out of 306013 with flag 24148250/11926837 1858.39/1840.58 c cleaning 154003 clauses out of 308012 with flag 24459482/12081836 1883.24/1865.44 c cleaning 154998 clauses out of 310010 with flag 24772885/12237837 1908.99/1891.23 c cleaning 155998 clauses out of 312012 with flag 25088508/12394837 1934.95/1917.24 c cleaning 156997 clauses out of 314014 with flag 25406110/12552837 1960.53/1942.77 c cleaning 158001 clauses out of 316017 with flag 25725564/12711837 1985.69/1967.87 c cleaning 159005 clauses out of 318016 with flag 26047096/12871837 2011.47/1993.63 c cleaning 160003 clauses out of 320010 with flag 26370736/13032836 2038.50/2020.66 c cleaning 161004 clauses out of 322007 with flag 26696365/13194836 2065.82/2047.80 c cleaning 161998 clauses out of 324004 with flag 27024148/13357837 2092.38/2074.25 c cleaning 162999 clauses out of 326006 with flag 27353895/13521837 2119.10/2100.92 c cleaning 163998 clauses out of 328008 with flag 27685483/13686838 2144.82/2126.59 c cleaning 164997 clauses out of 330009 with flag 28018981/13852837 2171.61/2153.31 c cleaning 166002 clauses out of 332011 with flag 28354651/14019836 2199.62/2181.30 c cleaning 167001 clauses out of 334009 with flag 28692344/14187836 2226.97/2208.51 c cleaning 167998 clauses out of 336008 with flag 29032325/14356836 2255.62/2235.84 c cleaning 168996 clauses out of 338010 with flag 29374202/14526836 2283.58/2263.85 c cleaning 170000 clauses out of 340015 with flag 29718165/14697837 2311.91/2292.03 c cleaning 170998 clauses out of 342014 with flag 30064059/14869836 2340.17/2319.98 c cleaning 172000 clauses out of 344017 with flag 30411737/15042837 2368.67/2348.47 c cleaning 173006 clauses out of 346017 with flag 30761676/15216837 2397.49/2377.05 c cleaning 174002 clauses out of 348011 with flag 31113586/15391837 2426.62/2405.92 c cleaning 174997 clauses out of 350008 with flag 31467557/15567836 2455.18/2434.48 c cleaning 176000 clauses out of 352012 with flag 31823214/15744837 2484.59/2463.65 c cleaning 176999 clauses out of 354012 with flag 32180906/15922837 2514.86/2493.86 c cleaning 178002 clauses out of 356013 with flag 32540689/16101837 2545.17/2523.98 c cleaning 179000 clauses out of 358011 with flag 32902297/16281837 2575.65/2554.14 c cleaning 180002 clauses out of 360010 with flag 33266335/16462836 2606.75/2585.10 c cleaning 180995 clauses out of 362008 with flag 33632082/16644836 2637.54/2615.73 c cleaning 182002 clauses out of 364013 with flag 33999937/16827836 2669.46/2646.25 c cleaning 183001 clauses out of 366012 with flag 34370132/17011837 2700.28/2677.00 c cleaning 184000 clauses out of 368010 with flag 34742099/17196836 2731.11/2707.77 c cleaning 184995 clauses out of 370010 with flag 35116248/17382836 2763.40/2739.86 c cleaning 186002 clauses out of 372015 with flag 35492381/17569836 2794.68/2771.09 c cleaning 186999 clauses out of 374013 with flag 35870318/17757836 2825.72/2801.80 c cleaning 187997 clauses out of 376014 with flag 36250465/17946836 2857.36/2833.26 c cleaning 189002 clauses out of 378017 with flag 36632377/18136836 2889.51/2865.28 c cleaning 190005 clauses out of 380015 with flag 37016296/18327836 2920.91/2896.53 c cleaning 190999 clauses out of 382010 with flag 37402215/18519836 2953.92/2929.37 c cleaning 192003 clauses out of 384011 with flag 37789898/18712836 2986.19/2961.35 c cleaning 193002 clauses out of 386008 with flag 38180035/18906836 3019.57/2994.66 c cleaning 194001 clauses out of 388007 with flag 38572011/19101837 3052.87/3027.71 c cleaning 195002 clauses out of 390006 with flag 38966190/19297837 3086.44/3061.02 c cleaning 195992 clauses out of 392003 with flag 39362199/19494836 3121.54/3093.89 c cleaning 196997 clauses out of 394012 with flag 39760192/19692837 3154.72/3126.97 c cleaning 197997 clauses out of 396014 with flag 40160558/19891836 3188.53/3160.45 c cleaning 199000 clauses out of 398018 with flag 40562738/20091837 3222.47/3194.28 c cleaning 200003 clauses out of 400017 with flag 40966664/20292836 3256.54/3228.24 c cleaning 201004 clauses out of 402015 with flag 41372679/20494837 3292.41/3263.95 c cleaning 202005 clauses out of 404010 with flag 41780771/20697836 3326.50/3297.94 c cleaning 202993 clauses out of 406006 with flag 42190764/20901837 3362.05/3333.25 c cleaning 204000 clauses out of 408012 with flag 42602859/21106836 3397.11/3368.30 c cleaning 205002 clauses out of 410012 with flag 43017060/21312836 3433.12/3404.05 c cleaning 206001 clauses out of 412010 with flag 43433437/21519836 3470.34/3441.13 c cleaning 206999 clauses out of 414010 with flag 43851587/21727837 3507.07/3477.79 c cleaning 208002 clauses out of 416011 with flag 44271940/21936837 3546.01/3516.42 c cleaning 208994 clauses out of 418009 with flag 44694069/22146837 3582.79/3553.30 c cleaning 209999 clauses out of 420014 with flag 45118373/22357836 3600.01/3570.51 c starts : 357 3600.01/3570.52 c conflicts : 22472698 3600.01/3570.52 c decisions : 24622587 3600.01/3570.52 c propagations : 284899833 3600.01/3570.52 c inspects : 4364581524 3600.01/3570.52 c shortcuts : 0 3600.01/3570.52 c learnt literals : 245 3600.01/3570.52 c learnt binary clauses : 122 3600.01/3570.52 c learnt ternary clauses : 496 3600.01/3570.52 c learnt constraints : 22472453 3600.01/3570.52 c ignored constraints : 0 3600.01/3570.52 c root simplifications : 0 3600.01/3570.52 c removed literals (reason simplification) : 0 3600.01/3570.52 c reason swapping (by a shorter reason) : 0 3600.01/3570.52 c Calls to reduceDB : 207 3600.01/3570.52 c Number of update (reduction) of LBD : 142917 3600.01/3570.52 c Imported unit clauses : 0 3600.01/3570.52 c No decision after first conflict : false 3600.01/3570.52 c number of reductions to clauses (during analyze) : 0 3600.01/3570.52 c number of learned constraints concerned by reduction : 0 3600.01/3570.52 c number of learning phase by resolution : 0 3600.01/3570.52 c number of learning phase by cutting planes : 0 3600.01/3570.52 c number of rounding to 1 operations : 0 3600.01/3570.52 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3570.52 c number of reductions of the coefficients by power 2 : 0 3600.01/3570.52 c number of right shift for reduction by power 2 : 0 3600.01/3570.52 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3570.52 c number of ending skipping : 0 3600.01/3570.52 c number of internal skipping : 0 3600.01/3570.52 c number of derivation steps : 0 3600.01/3570.52 c number of skipped derivation steps : 0 3600.01/3570.52 c number of remaining unassigned : 0 3600.01/3570.52 c number of remaining assigned : 0 3600.01/3570.52 c number of falsified literals weakened from reason : 0 3600.01/3570.52 c number of falsified literals weakened from conflict : 0 3600.01/3570.52 c time for arithmetic operations : 0 3600.01/3570.52 c minimum degree of deleted constraints : null 3600.01/3570.52 c maximum degree of deleted constraints : null 3600.01/3570.52 c number of deleted constraints : 0 3600.01/3570.52 c speed (assignments/second) : 79800.8571104454 3600.01/3570.52 c non guided choices : 112 3600.21/3570.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 324755 3600.21/3570.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 122 3600.21/3570.61 s SATISFIABLE 3600.21/3570.61 c Found 19 solution(s) 3600.21/3570.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 x921 x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 x936 x937 x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 x948 x949 -x950 -x951 x952 x953 x954 -x955 -x956 x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 x966 x967 x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 x1844 x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 x1875 -x1876 -x1877 -x1878 x1879 x1880 x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 x2817 x2818 x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -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 3600.21/3570.64 c objective function=3447571 3600.21/3570.64 c Total wall clock time (in seconds): 3570.509
OK 3447571
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59065 MiB free)
memory of node 1: 64473 MiB (59067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432465-1721141430/watcher-4432465-1721141430 -o /tmp/evaluation-result-4432465-1721141430/solver-4432465-1721141430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861879 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432465-1721141430.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=863970, runsolver pid=863967
Current StackSize limit: 8192 KiB
[startup+0.100465 s]*
/proc/loadavg: 4.14 4.25 4.19 7/309 863988
/proc/meminfo: memFree=124752304/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=18975048 memory=66788 CPUtime=0.14 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 7618 0 0 0 12 2 0 0 20 0 18 0 166313872 19430449152 16697 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4743762 16697 5662 1 0 549337 0
[pid=863970/tid=863972] ppid=863967 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 1077936192 6182 0 0 0 7 1 0 0 20 0 18 0 166313872 19430449152 16697 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=18975048 memory=219966341476 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 16697 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=18975048 memory=15825495019252260 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 16697 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66788 KiB
[startup+0.208133 s]*
/proc/loadavg: 4.14 4.25 4.19 7/309 864002
/proc/meminfo: memFree=124732332/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=18975048 memory=85776 CPUtime=0.34 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 8862 0 0 0 31 3 0 0 20 0 18 0 166313872 19430449152 21444 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4743762 21444 5827 1 0 550302 0
[pid=863970/tid=863972] ppid=863967 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 1077936192 6350 0 0 0 17 2 0 0 20 0 18 0 166313872 19430449152 21444 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=18975048 memory=15997 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 21444 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 21444 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85776 KiB
[startup+0.315089 s]*
/proc/loadavg: 4.14 4.25 4.19 6/309 864002
/proc/meminfo: memFree=124697260/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=18975048 memory=116452 CPUtime=0.54 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 9668 0 0 0 51 3 0 0 20 0 18 0 166313872 19430449152 29113 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4743762 29113 5827 1 0 550682 0
[pid=863970/tid=863972] ppid=863967 vsize=18975048 memory=6720659930950680681 CPUtime=0.27 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 6380 0 0 0 24 3 0 0 20 0 18 0 166313872 19430449152 29113 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 29113 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166313875 19430449152 29113 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116452 KiB
[startup+0.705137 s]
/proc/loadavg: 4.14 4.25 4.19 6/310 864003
/proc/meminfo: memFree=124675436/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19041612 memory=144624 CPUtime=1.29 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 11425 0 0 0 125 4 0 0 20 0 19 0 166313872 19498610688 36156 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4760403 36156 5881 1 0 552175 0
[pid=863970/tid=863972] ppid=863967 vsize=19041612 memory=41432 CPUtime=0.62 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 6517 0 0 0 59 3 0 0 20 0 19 0 166313872 19498610688 36156 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19041612 memory=13184 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 166313875 19498610688 36156 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19041612 memory=2164 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166313875 19498610688 36156 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19041612 memory=32812 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166313911 19498610688 36156 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 144624 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.25 4.19 7/310 864003
/proc/meminfo: memFree=124617436/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=192856 CPUtime=2.8 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 13974 0 0 0 274 6 0 0 20 0 20 0 166313872 19566772224 48214 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 48214 5881 1 0 554089 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=13184 CPUtime=1.4 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 6529 0 0 0 136 4 0 0 20 0 20 0 166313872 19566772224 48214 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 48214 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 48214 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 48214 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192856 KiB
[startup+3.10914 s]
/proc/loadavg: 4.14 4.25 4.19 8/308 864022
/proc/meminfo: memFree=124459484/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=230984 CPUtime=4.88 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 18794 0 0 0 481 7 0 0 20 0 20 0 166313872 19566772224 57746 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 57746 5881 1 0 554166 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 7681 0 0 0 292 4 0 0 20 0 20 0 166313872 19566772224 57746 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=153604 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 57746 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=-8671506712875082428 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 57746 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 57746 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 230984 KiB
[startup+6.30023 s]
/proc/loadavg: 4.21 4.27 4.19 8/333 864060
/proc/meminfo: memFree=124021548/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=357488 CPUtime=8.22 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 20254 0 0 0 812 10 0 0 20 0 20 0 166313872 19566772224 89372 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 89372 5881 1 0 554172 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=0 CPUtime=6.01 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 8038 0 0 0 597 4 0 0 20 0 20 0 166313872 19566772224 89372 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 89372 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 89372 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=7103765963494097283 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 89372 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 357488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.26 4.19 5/332 864127
/proc/meminfo: memFree=126520916/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=398084 CPUtime=14.83 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 26660 0 0 0 1471 12 0 0 20 0 20 0 166313872 19566772224 99521 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 99521 5913 1 0 554234 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=13184 CPUtime=12.35 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 9120 0 0 0 1231 4 0 0 20 0 20 0 166313872 19566772224 99521 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=398084 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 99521 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 99521 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 99521 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 398084 KiB
[startup+25.5011 s]
/proc/loadavg: 4.37 4.30 4.20 5/332 864128
/proc/meminfo: memFree=124201700/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=592064 CPUtime=28.32 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 43233 0 0 0 2814 18 0 0 20 0 20 0 166313872 19566772224 148016 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 148016 5921 1 0 556259 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=398084 CPUtime=24.91 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) S 863967 863970 861869 0 -1 1077936192 11967 0 0 0 2487 4 0 0 20 0 20 0 166313872 19566772224 148016 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=359776 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 148016 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=554380 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 148016 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 148016 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 592064 KiB
[startup+51.1058 s]
/proc/loadavg: 4.38 4.31 4.21 7/332 864133
/proc/meminfo: memFree=120740864/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=1130304 CPUtime=54.11 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 47435 0 0 0 5383 28 0 0 20 0 20 0 166313872 19566772224 282576 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 282576 5921 1 0 662778 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=849468 CPUtime=49.97 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 13608 0 0 0 4990 7 0 0 20 0 20 0 166313872 19566772224 282576 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=359776 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 282576 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.37 4.31 4.28 5/333 865897
/proc/meminfo: memFree=85793168/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670184 CPUtime=3250.65 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 258999 0 0 0 324785 280 0 0 20 0 20 0 166313872 19566772224 1917546 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917546 5921 1 0 2301833 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=2164 CPUtime=3182.77 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 49500 0 0 0 318190 87 0 0 20 0 20 0 166313872 19566772224 1917546 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=7248236 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917546 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=7670184 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1161 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917546 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=41544 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917546 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3250.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.44 4.33 4.29 5/333 865908
/proc/meminfo: memFree=85792224/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3310.95 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 260184 0 0 0 330814 281 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=7670220 CPUtime=3242.05 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 49700 0 0 0 324117 88 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=-8671506712875082428 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=7670200 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1161 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3310.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.29 4.27 5/332 865919
/proc/meminfo: memFree=85791300/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3371.13 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 260744 0 0 0 336830 283 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=41544 CPUtime=3301.49 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 49889 0 0 0 330061 88 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1161 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3371.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.31 4.28 5/330 865930
/proc/meminfo: memFree=85790392/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3431.42 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 261660 0 0 0 342857 285 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=41544 CPUtime=3360.69 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 50374 0 0 0 335981 88 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1168 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3431.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.30 4.27 5/330 866009
/proc/meminfo: memFree=100403996/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3491.71 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 264439 0 0 0 348884 287 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=41544 CPUtime=3419.66 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 51268 0 0 0 341878 88 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3491.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.25 4.26 5/330 866019
/proc/meminfo: memFree=100401944/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3551.85 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 265722 0 0 0 354896 289 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=41544 CPUtime=3479.02 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 52101 0 0 0 347813 89 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3551.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3570.5 s]
/proc/loadavg: 4.11 4.23 4.25 5/332 866099
/proc/meminfo: memFree=108502580/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3600.01 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 266833 0 0 0 359711 290 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4777044 1917595 5921 1 0 2301837 0
[pid=863970/tid=863972] ppid=863967 vsize=19108176 memory=7670380 CPUtime=3526.49 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 52811 0 0 0 352560 89 0 0 20 0 20 0 166313872 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 166313875 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=864003] ppid=863967 vsize=19108176 memory=7670380 CPUtime=0 cores=0,2
/proc/863970/task/864003/stat : 864003 (Timer-0) S 863967 863970 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166313911 19566772224 1917595 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7670380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.67 s]
# the end of solver process 863970 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.38 s, system=2.92878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3570.61 s]
/proc/loadavg: 4.11 4.23 4.25 5/332 866099
/proc/meminfo: memFree=108502580/131524600 swapFree=131071996/131071996
[pid=863970] ppid=863967 vsize=19307868 memory=7671204 CPUtime=3600.21 cores=0,2
/proc/863970/stat : 863970 (java) S 863967 863970 861869 0 -1 1077936128 269728 0 0 0 359731 290 0 0 20 0 21 0 166313872 19771256832 1917801 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
/proc/863970/statm: 4826967 1917801 5920 1 0 2302775 0
[pid=863970/tid=863972] ppid=863967 vsize=19307868 memory=-8671506712875082428 CPUtime=3526.57 cores=0,2
/proc/863970/task/863972/stat : 863972 (java) R 863967 863970 861869 0 -1 4194368 52995 0 0 0 352568 89 0 0 20 0 21 0 166313872 19771256832 1917801 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863981] ppid=863967 vsize=19307868 memory=2724 CPUtime=0 cores=0,2
/proc/863970/task/863981/stat : 863981 (Finalizer) S 863967 863970 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 166313875 19771256832 1917801 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
[pid=863970/tid=863988] ppid=863967 vsize=19307868 memory=4884 CPUtime=0 cores=0,2
/proc/863970/task/863988/stat : 863988 (Common-Cleaner) S 863967 863970 861869 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 21 0 166313875 19771256832 1917801 134679101440 94334647406592 94334647410288 140729511465184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94334647418104 94334647418896 94334663471104 140729511474183 140729511474273 140729511474273 140729511481288 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7671204 KiB
Child status: 143
Real time (s): 3570.67
CPU time (s): 3600.31
CPU user time (s): 3597.38
CPU system time (s): 2.92878
CPU usage (%): 100.83
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7671204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 2.92878
maximum resident set size= 7672216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114658
involuntary context switches= 29525
# summary of solver processes directly reported to runsolver:
# pid: 863970
# total CPU time (s): 3600.31
# total CPU user time (s): 3597.38
# total CPU system time (s): 2.92878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21553 second user time and 17.4738 second system time
The end
Begin job on nodeC035 at 2024-07-16 16:50:43 IDJOB=4432465 IDBENCH=155624 IDSOLVER=3058 FILE ID=nodeC035/4432465-1721141430 RUNJOBID= nodeC035-1721137841-861879 SLURM_JOB_ID= 7505712 Free space on /tmp= 889988 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432465-1721141430/watcher-4432465-1721141430 -o /tmp/evaluation-result-4432465-1721141430/solver-4432465-1721141430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861879 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432465-1721141430.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e RANDOM SEED=780762676 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.868 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.881 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.832 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.348 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.545 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.497 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.570 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.029 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120971292 kB MemAvailable: 121650268 kB Buffers: 396988 kB Cached: 1118448 kB SwapCached: 0 kB Active: 790680 kB Inactive: 9148388 kB Active(anon): 1544 kB Inactive(anon): 8459860 kB Active(file): 789136 kB Inactive(file): 688528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2012 kB Writeback: 0 kB AnonPages: 8423664 kB Mapped: 125000 kB Shmem: 37724 kB KReclaimable: 82268 kB Slab: 187852 kB SReclaimable: 82268 kB SUnreclaim: 105584 kB KernelStack: 4992 kB PageTables: 26264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11688440 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64224 kB HardwareCorrupted: 0 kB AnonHugePages: 8091648 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 199380 kB DirectMap2M: 18448384 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890012 MiB End job on nodeC035 at 2024-07-16 17:50:13