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) | 4527113 | 3600.36 | 3565.97 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb |
| MD5SUM | f134d089c54411466f2bcbd6371e604a |
| 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 | 3892789 |
| Best CPU time to get the best result obtained on this benchmark | 737.579 |
| 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 | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| 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.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 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 2106806208 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.11 --- Begin Solver configuration --- 0.14/0.11 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.11 Learn all clauses as in MiniSAT 0.14/0.11 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.11 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.11 No reason simplification 0.14/0.11 Glucose 2.1 dynamic restart strategy 0.14/0.11 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.11 timeout=2147483s 0.14/0.11 DB Simplification allowed=false 0.14/0.11 Listener: none 0.14/0.11 --- 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-4432464-1721139784.opb 0.14/0.12 c reading problem ... 0.14/0.12 c objective function found 0.55/0.35 c ... done. Wall clock time 0.237s. 0.55/0.35 c declared #vars 9940 0.55/0.35 c #constraints 24512 0.55/0.35 c constraints type 0.55/0.35 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 0.55/0.35 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.55/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 0.55/0.35 c org.sat4j.specs.Constr$1 => 2 0.55/0.35 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.55/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 0.55/0.35 c 24512 constraints processed. 0.55/0.36 c objective function length is 9730 literals 1.30/0.75 c SATISFIABLE 1.30/0.75 c OPTIMIZING... 1.30/0.75 c Got one! Elapsed wall clock time (in seconds):0.631 1.30/0.76 o 4647051 1.69/0.93 c Got one! Elapsed wall clock time (in seconds):0.806 1.69/0.93 o 4535839 1.69/0.98 c Got one! Elapsed wall clock time (in seconds):0.862 1.69/0.98 o 4535569 1.90/1.01 c Got one! Elapsed wall clock time (in seconds):0.899 1.90/1.01 o 4535053 1.90/1.05 c Got one! Elapsed wall clock time (in seconds):0.934 1.90/1.05 o 4534027 1.90/1.08 c Got one! Elapsed wall clock time (in seconds):0.969 1.90/1.08 o 4531869 2.10/1.14 c Got one! Elapsed wall clock time (in seconds):1.021 2.10/1.15 o 4531543 2.10/1.17 c Got one! Elapsed wall clock time (in seconds):1.052 2.10/1.17 o 4529581 2.29/1.21 c Got one! Elapsed wall clock time (in seconds):1.094 2.29/1.21 o 4527423 3.61/2.39 c cleaning 2743 clauses out of 5523 with flag 10319/5523 5.05/3.68 c cleaning 4369 clauses out of 8780 with flag 22857/11523 5.85/4.45 c Got one! Elapsed wall clock time (in seconds):4.335 5.85/4.45 o 4527113 7.07/5.61 c cleaning 4888 clauses out of 9775 with flag 5765/16887 13.83/12.39 c cleaning 5444 clauses out of 10888 with flag 32523/22888 20.45/18.78 c cleaning 6216 clauses out of 12444 with flag 70475/29888 24.88/22.98 c cleaning 7082 clauses out of 14190 with flag 103594/37888 26.19/24.08 c cleaning 8042 clauses out of 16107 with flag 122143/46888 27.62/25.28 c cleaning 9025 clauses out of 18064 with flag 142209/56887 29.05/26.59 c cleaning 10007 clauses out of 20039 with flag 164280/67887 30.73/28.07 c cleaning 10999 clauses out of 22032 with flag 188374/79887 32.33/29.63 c cleaning 11994 clauses out of 24034 with flag 214452/92888 33.92/31.29 c cleaning 12997 clauses out of 26039 with flag 242567/106887 35.86/33.17 c cleaning 14007 clauses out of 28043 with flag 272690/121888 37.89/35.13 c cleaning 14994 clauses out of 30035 with flag 304825/137887 40.15/37.37 c cleaning 15994 clauses out of 32029 with flag 340750/154887 42.25/39.48 c cleaning 16992 clauses out of 34036 with flag 376796/172888 44.54/41.79 c cleaning 17996 clauses out of 36044 with flag 414831/191888 46.98/44.14 c cleaning 19002 clauses out of 38048 with flag 454907/211888 51.78/48.87 c cleaning 19962 clauses out of 39936 with flag 519687/232887 54.28/51.38 c cleaning 20981 clauses out of 41974 with flag 563866/254887 57.11/54.17 c cleaning 21987 clauses out of 43994 with flag 610021/277888 60.01/57.02 c cleaning 22992 clauses out of 46007 with flag 658161/301888 63.43/60.41 c cleaning 24002 clauses out of 48009 with flag 713078/326887 66.52/63.54 c cleaning 24993 clauses out of 50008 with flag 766858/352888 69.87/66.80 c cleaning 26005 clauses out of 52014 with flag 821683/379887 73.34/70.21 c cleaning 27002 clauses out of 54009 with flag 878061/407887 76.63/73.58 c cleaning 27993 clauses out of 56007 with flag 936215/436887 80.18/77.09 c cleaning 29002 clauses out of 58015 with flag 997243/466888 83.87/80.75 c cleaning 29999 clauses out of 60012 with flag 1062326/497887 87.75/84.57 c cleaning 31001 clauses out of 62013 with flag 1131308/529887 91.74/88.51 c cleaning 31993 clauses out of 64012 with flag 1198417/562887 95.93/92.71 c cleaning 33002 clauses out of 66020 with flag 1267169/596888 100.12/96.96 c cleaning 34004 clauses out of 68018 with flag 1339599/631888 105.85/102.21 c cleaning 34993 clauses out of 70008 with flag 1417928/667887 110.94/107.30 c cleaning 36006 clauses out of 72016 with flag 1495201/704888 116.12/112.43 c cleaning 37000 clauses out of 74010 with flag 1575654/742888 120.81/117.16 c cleaning 37999 clauses out of 76010 with flag 1658819/781888 125.68/121.95 c cleaning 38996 clauses out of 78011 with flag 1745245/821888 130.53/126.85 c cleaning 40002 clauses out of 80014 with flag 1828677/862887 139.02/135.30 c cleaning 40977 clauses out of 81961 with flag 1935592/904888 144.18/140.55 c cleaning 41983 clauses out of 83983 with flag 2022340/947887 151.14/147.49 c cleaning 42995 clauses out of 85999 with flag 2123840/991887 157.12/153.45 c cleaning 43994 clauses out of 88004 with flag 2223046/1036887 163.81/160.04 c cleaning 44995 clauses out of 90008 with flag 2324992/1082887 170.29/166.58 c cleaning 45998 clauses out of 92013 with flag 2431920/1129887 178.80/174.91 c cleaning 46994 clauses out of 94002 with flag 2550931/1177887 184.95/181.13 c cleaning 47994 clauses out of 96008 with flag 2652249/1226887 191.23/187.45 c cleaning 49000 clauses out of 98014 with flag 2757059/1276887 198.06/194.17 c cleaning 50005 clauses out of 100014 with flag 2866602/1327887 205.99/201.69 c cleaning 50997 clauses out of 101996 with flag 2983858/1379887 213.18/208.81 c cleaning 51993 clauses out of 103997 with flag 3096706/1432888 219.81/215.44 c cleaning 52998 clauses out of 106004 with flag 3206038/1486888 226.50/222.18 c cleaning 54001 clauses out of 108005 with flag 3316540/1541887 233.58/229.22 c cleaning 54998 clauses out of 110004 with flag 3433946/1597887 241.76/237.31 c cleaning 55995 clauses out of 112006 with flag 3565721/1654887 249.65/245.26 c cleaning 56997 clauses out of 114012 with flag 3689158/1712888 258.43/254.05 c cleaning 58000 clauses out of 116012 with flag 3826272/1771887 266.11/261.75 c cleaning 58998 clauses out of 118012 with flag 3948196/1831887 274.69/270.30 c cleaning 60006 clauses out of 120015 with flag 4083928/1892888 282.67/278.32 c cleaning 60994 clauses out of 122009 with flag 4214037/1954888 291.34/286.76 c cleaning 61996 clauses out of 124014 with flag 4344370/2017887 299.13/294.50 c cleaning 63001 clauses out of 126019 with flag 4473259/2081888 307.33/302.56 c cleaning 63996 clauses out of 128017 with flag 4603707/2146887 315.26/310.51 c cleaning 64994 clauses out of 130021 with flag 4736730/2212887 323.45/318.61 c cleaning 66002 clauses out of 132027 with flag 4871323/2279887 331.42/326.61 c cleaning 67003 clauses out of 134025 with flag 5007543/2347887 340.23/335.05 c cleaning 68000 clauses out of 136022 with flag 5146965/2416887 348.82/343.58 c cleaning 69000 clauses out of 138022 with flag 5287575/2486887 357.41/352.15 c cleaning 70003 clauses out of 140022 with flag 5429901/2557887 366.20/360.99 c cleaning 70998 clauses out of 142020 with flag 5574191/2629888 375.12/369.73 c cleaning 72000 clauses out of 144021 with flag 5720576/2702887 384.00/378.64 c cleaning 72999 clauses out of 146021 with flag 5868889/2776887 393.50/388.04 c cleaning 73995 clauses out of 148022 with flag 6019131/2851887 402.58/397.18 c cleaning 74996 clauses out of 150028 with flag 6171530/2927888 412.33/406.86 c cleaning 76002 clauses out of 152032 with flag 6325816/3004888 421.92/416.44 c cleaning 76997 clauses out of 154030 with flag 6482109/3082888 431.72/426.14 c cleaning 78005 clauses out of 156033 with flag 6640384/3161888 441.80/436.25 c cleaning 79004 clauses out of 158028 with flag 6800676/3241888 452.32/446.64 c cleaning 79997 clauses out of 160023 with flag 6963038/3322887 464.30/458.57 c cleaning 81005 clauses out of 162027 with flag 7129579/3404888 474.79/469.08 c cleaning 81996 clauses out of 164022 with flag 7309731/3487888 486.38/480.55 c cleaning 83002 clauses out of 166026 with flag 7485034/3571888 497.63/491.69 c cleaning 84003 clauses out of 168023 with flag 7656206/3656887 508.91/502.96 c cleaning 84995 clauses out of 170020 with flag 7829265/3742887 519.95/513.62 c cleaning 86005 clauses out of 172025 with flag 8004220/3829887 530.97/524.61 c cleaning 87000 clauses out of 174021 with flag 8180500/3917888 542.16/535.89 c cleaning 87996 clauses out of 176020 with flag 8358847/4006887 554.15/547.75 c cleaning 89005 clauses out of 178024 with flag 8545675/4096887 568.03/561.45 c cleaning 89997 clauses out of 180019 with flag 8760099/4187887 580.12/573.65 c cleaning 91009 clauses out of 182023 with flag 8963344/4279888 592.00/585.46 c cleaning 92000 clauses out of 184013 with flag 9170166/4372887 603.98/597.34 c cleaning 93002 clauses out of 186013 with flag 9374490/4466887 615.53/608.96 c cleaning 93998 clauses out of 188011 with flag 9584966/4561887 629.24/622.51 c cleaning 94997 clauses out of 190014 with flag 9791386/4657888 642.32/635.46 c cleaning 96000 clauses out of 192017 with flag 9994960/4754888 655.84/648.31 c cleaning 97002 clauses out of 194016 with flag 10211161/4852887 668.77/661.29 c cleaning 97999 clauses out of 196014 with flag 10439439/4951887 681.45/673.91 c cleaning 99002 clauses out of 198015 with flag 10665046/5051887 694.69/687.05 c cleaning 100001 clauses out of 200013 with flag 10888467/5152887 709.21/701.43 c cleaning 101005 clauses out of 202014 with flag 11125110/5254889 725.14/717.21 c cleaning 101996 clauses out of 204006 with flag 11355569/5357887 740.77/732.70 c cleaning 102996 clauses out of 206010 with flag 11566003/5461887 756.92/748.76 c cleaning 104003 clauses out of 208015 with flag 11778766/5566888 773.26/764.95 c cleaning 105003 clauses out of 210011 with flag 11992960/5672887 790.91/782.02 c cleaning 105997 clauses out of 212008 with flag 12209243/5779887 808.63/799.65 c cleaning 107000 clauses out of 214011 with flag 12427741/5887887 825.84/816.86 c cleaning 108001 clauses out of 216011 with flag 12648265/5996887 843.50/834.44 c cleaning 108998 clauses out of 218010 with flag 12871064/6106887 862.22/853.09 c cleaning 110000 clauses out of 220013 with flag 13095862/6217888 880.76/871.47 c cleaning 111000 clauses out of 222012 with flag 13322472/6329887 898.99/889.54 c cleaning 112002 clauses out of 224012 with flag 13551250/6442887 917.23/907.77 c cleaning 113000 clauses out of 226010 with flag 13782274/6556887 937.20/926.72 c cleaning 114001 clauses out of 228010 with flag 14015092/6671887 955.71/945.24 c cleaning 114998 clauses out of 230009 with flag 14250431/6787887 973.27/962.89 c cleaning 116000 clauses out of 232011 with flag 14488549/6904887 990.85/980.39 c cleaning 117001 clauses out of 234011 with flag 14728627/7022887 1013.14/1002.53 c cleaning 118001 clauses out of 236011 with flag 14983831/7141888 1040.76/1030.00 c cleaning 118997 clauses out of 238009 with flag 15260474/7261887 1070.89/1060.03 c cleaning 120001 clauses out of 240013 with flag 15549234/7382888 1101.73/1090.75 c cleaning 120998 clauses out of 242012 with flag 15845041/7504888 1133.61/1121.35 c cleaning 122001 clauses out of 244013 with flag 16138556/7627887 1163.76/1151.25 c cleaning 123002 clauses out of 246012 with flag 16428004/7751887 1193.78/1181.17 c cleaning 124005 clauses out of 248010 with flag 16728422/7876887 1224.78/1211.95 c cleaning 125000 clauses out of 250005 with flag 17023143/8002887 1256.51/1243.43 c cleaning 125999 clauses out of 252006 with flag 17334061/8129888 1289.18/1275.81 c cleaning 126999 clauses out of 254006 with flag 17642975/8257887 1320.65/1307.30 c cleaning 128002 clauses out of 256008 with flag 17952245/8386888 1352.42/1338.96 c cleaning 129000 clauses out of 258006 with flag 18259906/8516888 1385.57/1371.29 c cleaning 129998 clauses out of 260005 with flag 18585225/8647887 1418.62/1404.07 c cleaning 131005 clauses out of 262009 with flag 18919902/8779889 1452.05/1437.41 c cleaning 131992 clauses out of 264002 with flag 19248763/8912887 1485.30/1470.40 c cleaning 132997 clauses out of 266010 with flag 19575682/9046887 1518.15/1503.06 c cleaning 134006 clauses out of 268013 with flag 19891842/9181887 1551.84/1536.43 c cleaning 134995 clauses out of 270007 with flag 20219193/9317887 1587.06/1571.35 c cleaning 135999 clauses out of 272012 with flag 20548817/9454887 1621.89/1605.97 c cleaning 137007 clauses out of 274014 with flag 20877938/9592888 1656.72/1639.36 c cleaning 137995 clauses out of 276006 with flag 21209050/9731887 1691.29/1673.68 c cleaning 139006 clauses out of 278012 with flag 21540723/9871888 1721.79/1703.88 c cleaning 139997 clauses out of 280005 with flag 21858238/10012887 1756.87/1738.61 c cleaning 140996 clauses out of 282009 with flag 22195843/10154888 1791.49/1773.14 c cleaning 141998 clauses out of 284012 with flag 22536111/10297887 1827.21/1808.85 c cleaning 143002 clauses out of 286015 with flag 22880774/10441888 1863.82/1845.34 c cleaning 144007 clauses out of 288013 with flag 23242292/10586888 1900.90/1882.19 c cleaning 145000 clauses out of 290005 with flag 23606808/10732887 1938.47/1919.58 c cleaning 146001 clauses out of 292005 with flag 23960892/10879887 1974.39/1955.22 c cleaning 146995 clauses out of 294005 with flag 24319847/11027888 2012.13/1992.71 c cleaning 147994 clauses out of 296009 with flag 24696622/11176887 2050.03/2029.60 c cleaning 149006 clauses out of 298016 with flag 25063553/11326888 2084.08/2063.44 c cleaning 150002 clauses out of 300010 with flag 25419485/11477888 2120.89/2100.06 c cleaning 150996 clauses out of 302007 with flag 25790917/11629887 2158.75/2137.70 c cleaning 152003 clauses out of 304011 with flag 26165566/11782887 2196.49/2175.44 c cleaning 152999 clauses out of 306008 with flag 26529373/11936887 2235.31/2214.06 c cleaning 153999 clauses out of 308010 with flag 26903760/12091888 2271.40/2249.93 c cleaning 155002 clauses out of 310009 with flag 27259797/12247887 2309.30/2287.66 c cleaning 156000 clauses out of 312007 with flag 27653018/12404887 2346.45/2324.52 c cleaning 156999 clauses out of 314009 with flag 28061946/12562889 2390.19/2367.83 c cleaning 158003 clauses out of 316009 with flag 28523867/12721888 2438.88/2416.14 c cleaning 158993 clauses out of 318005 with flag 28942691/12881887 2490.84/2466.61 c cleaning 159995 clauses out of 320012 with flag 29342358/13042887 2542.56/2517.76 c cleaning 161002 clauses out of 322017 with flag 29772430/13204887 2592.57/2567.45 c cleaning 162003 clauses out of 324016 with flag 30208204/13367888 2641.87/2616.21 c cleaning 163001 clauses out of 326013 with flag 30656912/13531888 2693.63/2667.64 c cleaning 163998 clauses out of 328012 with flag 31075078/13696888 2745.21/2718.82 c cleaning 165004 clauses out of 330014 with flag 31519355/13862888 2797.54/2770.84 c cleaning 166001 clauses out of 332010 with flag 32014984/14029888 2823.77/2796.74 c cleaning 166997 clauses out of 334008 with flag 32371333/14197887 2867.65/2839.38 c cleaning 168002 clauses out of 336012 with flag 32784730/14366888 2913.85/2885.56 c cleaning 169002 clauses out of 338009 with flag 33193192/14536887 2961.32/2932.53 c cleaning 169999 clauses out of 340008 with flag 33605634/14707888 3010.13/2981.20 c cleaning 170998 clauses out of 342008 with flag 34021316/14879887 3056.29/3026.95 c cleaning 172002 clauses out of 344010 with flag 34437542/15052887 3104.24/3074.76 c cleaning 172999 clauses out of 346009 with flag 34857803/15226888 3153.08/3123.23 c cleaning 174000 clauses out of 348010 with flag 35292945/15401888 3205.98/3175.98 c cleaning 174997 clauses out of 350010 with flag 35804415/15577888 3262.32/3230.74 c cleaning 176003 clauses out of 352013 with flag 36326678/15754888 3289.22/3257.31 c cleaning 176991 clauses out of 354010 with flag 36694855/15932888 3314.47/3282.43 c cleaning 178000 clauses out of 356019 with flag 37053959/16111888 3340.72/3308.53 c cleaning 178998 clauses out of 358018 with flag 37419381/16291887 3366.64/3334.14 c cleaning 180003 clauses out of 360021 with flag 37783141/16472888 3395.18/3362.37 c cleaning 180993 clauses out of 362018 with flag 38169276/16654888 3421.72/3388.75 c cleaning 182006 clauses out of 364024 with flag 38537010/16837887 3449.13/3416.04 c cleaning 183004 clauses out of 366019 with flag 38905918/17021888 3475.24/3441.82 c cleaning 184007 clauses out of 368015 with flag 39276955/17206888 3504.46/3470.92 c cleaning 185004 clauses out of 370007 with flag 39650077/17392887 3532.98/3499.11 c cleaning 185996 clauses out of 372003 with flag 40025928/17579887 3561.12/3527.14 c cleaning 186996 clauses out of 374007 with flag 40403176/17767887 3589.57/3555.38 c cleaning 188003 clauses out of 376011 with flag 40782430/17956887 3600.05/3565.82 c starts : 164351 3600.05/3565.82 c conflicts : 18039594 3600.05/3565.82 c decisions : 25737591 3600.05/3565.82 c propagations : 1259283256 3600.05/3565.82 c inspects : 7688250252 3600.05/3565.82 c shortcuts : 0 3600.05/3565.82 c learnt literals : 258 3600.05/3565.82 c learnt binary clauses : 158 3600.05/3565.82 c learnt ternary clauses : 657 3600.05/3565.82 c learnt constraints : 18039336 3600.05/3565.82 c ignored constraints : 0 3600.05/3565.82 c root simplifications : 0 3600.05/3565.82 c removed literals (reason simplification) : 0 3600.05/3565.82 c reason swapping (by a shorter reason) : 0 3600.05/3565.82 c Calls to reduceDB : 187 3600.05/3565.82 c Number of update (reduction) of LBD : 469889 3600.05/3565.82 c Imported unit clauses : 0 3600.05/3565.82 c No decision after first conflict : false 3600.05/3565.82 c number of reductions to clauses (during analyze) : 0 3600.05/3565.82 c number of learned constraints concerned by reduction : 0 3600.05/3565.82 c number of learning phase by resolution : 0 3600.05/3565.82 c number of learning phase by cutting planes : 0 3600.05/3565.82 c number of rounding to 1 operations : 0 3600.05/3565.82 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3565.82 c number of reductions of the coefficients by power 2 : 0 3600.05/3565.82 c number of right shift for reduction by power 2 : 0 3600.05/3565.82 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3565.82 c number of ending skipping : 0 3600.05/3565.82 c number of internal skipping : 0 3600.05/3565.82 c number of derivation steps : 0 3600.05/3565.82 c number of skipped derivation steps : 0 3600.05/3565.82 c number of remaining unassigned : 0 3600.05/3565.82 c number of remaining assigned : 0 3600.05/3565.82 c number of falsified literals weakened from reason : 0 3600.05/3565.82 c number of falsified literals weakened from conflict : 0 3600.05/3565.82 c time for arithmetic operations : 0 3600.05/3565.82 c minimum degree of deleted constraints : null 3600.05/3565.82 c maximum degree of deleted constraints : null 3600.05/3565.82 c number of deleted constraints : 0 3600.05/3565.82 c speed (assignments/second) : 353191.04796175513 3600.05/3565.82 c non guided choices : 260 3600.26/3565.93 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 270557 3600.26/3565.93 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 158 3600.26/3565.93 s SATISFIABLE 3600.26/3565.93 c Found 10 solution(s) 3600.26/3565.93 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.26/3565.94 c objective function=4527113 3600.26/3565.94 c Total wall clock time (in seconds): 3565.821
OK 4527113
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 (61991 MiB free)
memory of node 1: 64473 MiB (61438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432464-1721139784/watcher-4432464-1721139784 -o /tmp/evaluation-result-4432464-1721139784/solver-4432464-1721139784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861248 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432464-1721139784.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=861302, runsolver pid=861294
Current StackSize limit: 8192 KiB
[startup+0.101684 s]*
/proc/loadavg: 1.35 1.73 2.34 8/325 861376
/proc/meminfo: memFree=126225340/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=18975048 memory=64452 CPUtime=0.14 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 7142 0 0 0 12 2 0 0 20 0 18 0 166142219 19430449152 16113 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4743762 16113 5607 1 0 549346 0
[pid=861302/tid=861305] ppid=861294 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 5702 0 0 0 8 1 0 0 20 0 18 0 166142219 19430449152 16113 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=18975048 memory=3640 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19430449152 16113 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19430449152 16113 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64452 KiB
[startup+0.213164 s]*
/proc/loadavg: 1.35 1.73 2.34 13/325 861376
/proc/meminfo: memFree=126149900/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=18976156 memory=86628 CPUtime=0.36 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 8581 0 0 0 33 3 0 0 20 0 18 0 166142219 19431583744 21657 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4744039 21657 5836 1 0 550520 0
[pid=861302/tid=861305] ppid=861294 vsize=18976156 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 5845 0 0 0 18 1 0 0 20 0 18 0 166142219 19431583744 21657 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=18976156 memory=3640 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19431583744 21657 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=18976156 memory=15819993166120615 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19431583744 21657 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18976156 KiB
Current children cumulated memory: 86628 KiB
[startup+0.311848 s]*
/proc/loadavg: 1.35 1.73 2.34 13/325 861376
/proc/meminfo: memFree=126030920/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=18975048 memory=114412 CPUtime=0.55 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 9179 0 0 0 52 3 0 0 20 0 18 0 166142219 19430449152 28603 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4743762 28603 5836 1 0 550673 0
[pid=861302/tid=861305] ppid=861294 vsize=18975048 memory=-8673202168395047612 CPUtime=0.3 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 5870 0 0 0 28 2 0 0 20 0 18 0 166142219 19430449152 28603 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19430449152 28603 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19430449152 28603 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114412 KiB
[startup+0.700837 s]
/proc/loadavg: 1.35 1.73 2.34 14/329 861380
/proc/meminfo: memFree=125892636/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19041612 memory=134520 CPUtime=1.3 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 9588 0 0 0 127 3 0 0 20 0 19 0 166142219 19498610688 33630 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4760403 33630 5873 1 0 551176 0
[pid=861302/tid=861305] ppid=861294 vsize=19041612 memory=5496 CPUtime=0.68 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 5976 0 0 0 66 2 0 0 20 0 19 0 166142219 19498610688 33630 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19041612 memory=12180 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 166142221 19498610688 33630 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19041612 memory=280743490413224 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166142222 19498610688 33630 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19041612 memory=752916018769133950 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166142257 19498610688 33630 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134520 KiB
[startup+1.50084 s]
/proc/loadavg: 1.35 1.73 2.34 10/332 861383
/proc/meminfo: memFree=125756540/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=187668 CPUtime=2.71 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 14704 0 0 0 267 4 0 0 20 0 20 0 166142219 19566772224 46917 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 46917 5889 1 0 552663 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=12180 CPUtime=1.43 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 6678 0 0 0 141 2 0 0 20 0 20 0 166142219 19566772224 46917 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 46917 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 46917 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=4580 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 46917 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187668 KiB
[startup+3.10584 s]
/proc/loadavg: 1.35 1.73 2.34 9/333 861384
/proc/meminfo: memFree=125452996/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=188876 CPUtime=4.54 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 17610 0 0 0 449 5 0 0 20 0 20 0 166142219 19566772224 47219 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 47219 5889 1 0 552927 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=0 CPUtime=3.01 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 7716 0 0 0 299 2 0 0 20 0 20 0 166142219 19566772224 47219 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 47219 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 47219 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 47219 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188876 KiB
[startup+6.30084 s]
/proc/loadavg: 1.56 1.77 2.35 8/333 861385
/proc/meminfo: memFree=124740484/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=194984 CPUtime=7.76 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 18513 0 0 0 771 5 0 0 20 0 20 0 166142219 19566772224 48746 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 48746 5889 1 0 552951 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=0 CPUtime=6.15 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 7846 0 0 0 613 2 0 0 20 0 20 0 166142219 19566772224 48746 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=5937264260880947284 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 48746 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=194972 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 48746 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=187668 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 48746 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194984 KiB
[startup+12.7002 s]
/proc/loadavg: 1.84 1.82 2.36 9/333 861387
/proc/meminfo: memFree=123338704/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=342844 CPUtime=14.23 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 20609 0 0 0 1415 8 0 0 20 0 20 0 166142219 19566772224 85711 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 85711 5889 1 0 552951 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=342804 CPUtime=12.33 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 8535 0 0 0 1231 2 0 0 20 0 20 0 166142219 19566772224 85711 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=260652 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 85711 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 85711 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 85711 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 342844 KiB
[startup+25.5003 s]
/proc/loadavg: 2.25 1.91 2.38 8/333 861388
/proc/meminfo: memFree=120577728/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=763732 CPUtime=28.06 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 36962 0 0 0 2788 18 0 0 20 0 20 0 166142219 19566772224 190933 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 190933 5921 1 0 675358 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=342804 CPUtime=24.81 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 11077 0 0 0 2477 4 0 0 20 0 20 0 166142219 19566772224 190933 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 190933 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=713904 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 190933 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 190933 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 28.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 763732 KiB
[startup+51.106 s]
/proc/loadavg: 2.94 2.11 2.44 8/334 861394
/proc/meminfo: memFree=116447244/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=1107752 CPUtime=54.08 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 46335 0 0 0 5382 26 0 0 20 0 20 0 166142219 19566772224 276938 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 276938 5929 1 0 675366 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=2308 CPUtime=50.01 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 12618 0 0 0 4997 4 0 0 20 0 20 0 166142219 19566772224 276938 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=962212 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 276938 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.12 4.21 4.18 7/331 863169
/proc/meminfo: memFree=81634264/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774284 CPUtime=3253.93 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 288698 0 0 0 325139 254 0 0 20 0 20 0 166142219 19566772224 1943571 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943571 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7557440 CPUtime=3174.91 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 58960 0 0 0 317419 72 0 0 20 0 20 0 166142219 19566772224 1943571 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=7557440 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943571 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=7561292 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 989 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943571 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=7774284 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943571 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3253.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.23 4.19 7/331 863181
/proc/meminfo: memFree=81633004/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774288 CPUtime=3314.37 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 292899 0 0 0 331182 255 0 0 20 0 20 0 166142219 19566772224 1943572 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943572 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7774288 CPUtime=3234.16 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 59803 0 0 0 323344 72 0 0 20 0 20 0 166142219 19566772224 1943572 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=7774288 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943572 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 989 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943572 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943572 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3314.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.24 4.19 7/331 863192
/proc/meminfo: memFree=81632284/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774292 CPUtime=3374.82 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 294266 0 0 0 337225 257 0 0 20 0 20 0 166142219 19566772224 1943573 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943573 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7774292 CPUtime=3293.47 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 60118 0 0 0 329275 72 0 0 20 0 20 0 166142219 19566772224 1943573 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=7774292 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943573 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=26024 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1036 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943573 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=7774292 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943573 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3374.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.30 4.21 6/330 863270
/proc/meminfo: memFree=95293032/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774340 CPUtime=3435.46 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 295685 0 0 0 343287 259 0 0 20 0 20 0 166142219 19566772224 1943585 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943585 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7774292 CPUtime=3352.48 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 60500 0 0 0 335176 72 0 0 20 0 20 0 166142219 19566772224 1943585 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943585 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=7774340 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1036 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943585 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=7774340 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943585 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3435.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.32 4.22 6/331 863284
/proc/meminfo: memFree=95283616/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774344 CPUtime=3495.89 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 296288 0 0 0 349329 260 0 0 20 0 20 0 166142219 19566772224 1943586 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943586 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7774292 CPUtime=3411.78 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 60529 0 0 0 341106 72 0 0 20 0 20 0 166142219 19566772224 1943586 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943586 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=7774344 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1036 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943586 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=7774344 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943586 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3495.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.35 4.24 6/332 863362
/proc/meminfo: memFree=109782400/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774360 CPUtime=3556.33 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 296732 0 0 0 355371 262 0 0 20 0 20 0 166142219 19566772224 1943590 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943590 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=7774344 CPUtime=3471.05 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 60565 0 0 0 347033 72 0 0 20 0 20 0 166142219 19566772224 1943590 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=7774356 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943590 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1036 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943590 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=7774360 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943590 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3556.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3565.8 s]
/proc/loadavg: 4.39 4.34 4.24 6/332 863369
/proc/meminfo: memFree=109659672/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19108176 memory=7774376 CPUtime=3600.05 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 297730 0 0 0 359742 263 0 0 20 0 20 0 166142219 19566772224 1943594 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4777044 1943594 5959 1 0 1957661 0
[pid=861302/tid=861305] ppid=861294 vsize=19108176 memory=39896 CPUtime=3514.12 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 61254 0 0 0 351340 72 0 0 20 0 20 0 166142219 19566772224 1943594 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19108176 memory=19432 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1943594 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1037 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 1943594 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861377] ppid=861294 vsize=19108176 memory=2196 CPUtime=0 cores=5,7
/proc/861302/task/861377/stat : 861377 (Timer-0) S 861294 861302 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142257 19566772224 1943594 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7774376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3565.97 s]
# the end of solver process 861302 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.69 s, system=2.66358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3565.91 s]
/proc/loadavg: 4.39 4.34 4.24 6/332 863369
/proc/meminfo: memFree=109659672/131524600 swapFree=131071996/131071996
[pid=861302] ppid=861294 vsize=19307868 memory=7775232 CPUtime=3600.26 cores=5,7
/proc/861302/stat : 861302 (java) S 861294 861302 861235 0 -1 1077936128 301343 0 0 0 359763 263 0 0 20 0 21 0 166142219 19771256832 1943808 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
/proc/861302/statm: 4826967 1943808 5974 1 0 1958581 0
[pid=861302/tid=861305] ppid=861294 vsize=19307868 memory=5496 CPUtime=3514.22 cores=5,7
/proc/861302/task/861305/stat : 861305 (java) R 861294 861302 861235 0 -1 4194368 61562 0 0 0 351350 72 0 0 20 0 21 0 166142219 19771256832 1943808 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861355] ppid=861294 vsize=19307868 memory=7774376 CPUtime=0 cores=5,7
/proc/861302/task/861355/stat : 861355 (Finalizer) S 861294 861302 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 166142221 19771256832 1943808 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
[pid=861302/tid=861367] ppid=861294 vsize=19307868 memory=1844 CPUtime=0 cores=5,7
/proc/861302/task/861367/stat : 861367 (Common-Cleaner) S 861294 861302 861235 0 -1 1077936192 1037 0 0 0 0 0 0 0 20 0 21 0 166142222 19771256832 1943808 134679101440 93895773835264 93895773838960 140734571712880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93895773846776 93895773847568 93895802732544 140734571721735 140734571721825 140734571721825 140734571728840 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7775232 KiB
Child status: 143
Real time (s): 3565.97
CPU time (s): 3600.36
CPU user time (s): 3597.69
CPU system time (s): 2.66358
CPU usage (%): 100.964
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7776592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.69
system time used= 2.66358
maximum resident set size= 7776628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115850
involuntary context switches= 13524
# summary of solver processes directly reported to runsolver:
# pid: 861302
# total CPU time (s): 3600.36
# total CPU user time (s): 3597.69
# total CPU system time (s): 2.66358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38847 second user time and 18.0931 second system time
The end
Begin job on nodeC021 at 2024-07-16 16:23:16 IDJOB=4432464 IDBENCH=155609 IDSOLVER=3058 FILE ID=nodeC021/4432464-1721139784 RUNJOBID= nodeC021-1721139796-861248 SLURM_JOB_ID= 7505719 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432464-1721139784/watcher-4432464-1721139784 -o /tmp/evaluation-result-4432464-1721139784/solver-4432464-1721139784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861248 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432464-1721139784.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a RANDOM SEED=1779244128 nodeC021.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 : 3630.771 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.42 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 : 3620.187 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.23 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 : 3525.721 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.42 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 : 3625.669 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.23 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 : 3557.390 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.42 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 : 3639.468 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.23 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 : 3581.237 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.42 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 : 3528.689 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126397668 kB MemAvailable: 129682844 kB Buffers: 415792 kB Cached: 3670320 kB SwapCached: 0 kB Active: 764744 kB Inactive: 3687020 kB Active(anon): 1448 kB Inactive(anon): 401592 kB Active(file): 763296 kB Inactive(file): 3285428 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6736 kB Writeback: 0 kB AnonPages: 364680 kB Mapped: 104392 kB Shmem: 37720 kB KReclaimable: 152548 kB Slab: 267220 kB SReclaimable: 152548 kB SUnreclaim: 114672 kB KernelStack: 3856 kB PageTables: 10276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 716508 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63040 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 256724 kB DirectMap2M: 23633920 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890048 MiB End job on nodeC021 at 2024-07-16 17:22:42